runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/inescp-1.0/412959c6-e965-11de-8ebf-00163e6585dd.cudf.debian-dudf.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/debian-dudf//412959c6-e965-11de-8ebf-00163e6585dd.cudf /home/misc2010/tmp/201007051233/inescp-1.0/412959c6-e965-11de-8ebf-00163e6585dd.cudf.debian-dudf.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.15 1.08 1.03 5/34 10184 /proc/meminfo: memFree=755592/1048576 swapFree=2094612/2097144 [pid=10183] ppid=10182 vsize=2384 CPUtime=0 /proc/10183/stat : 10183 (inescp-1.0) S 10182 10183 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527593073 2441216 261 1283457024 134512640 135191968 4286581472 18446744073709551615 4159089054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10183/statm: 596 261 222 166 0 28 0 [pid=10184] ppid=10183 vsize=3872 CPUtime=0.01 /proc/10184/stat : 10184 (cudf-solver.py) R 10183 10183 3447 769 3447 4202496 713 0 0 0 1 0 0 0 25 0 1 0 527593073 3964928 610 1283457024 134512640 135539072 4288701680 18446744073709551615 135323030 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/10184/statm: 968 610 337 251 0 269 0 [startup+0.16837 s] /proc/loadavg: 1.15 1.08 1.03 5/34 10184 /proc/meminfo: memFree=755592/1048576 swapFree=2094612/2097144 [pid=10183] ppid=10182 vsize=2384 CPUtime=0 /proc/10183/stat : 10183 (inescp-1.0) S 10182 10183 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527593073 2441216 261 1283457024 134512640 135191968 4286581472 18446744073709551615 4159089054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10183/statm: 596 261 222 166 0 28 0 [pid=10184] ppid=10183 vsize=4004 CPUtime=0.01 /proc/10184/stat : 10184 (cudf-solver.py) S 10183 10183 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 527593073 4100096 644 1283457024 134512640 135539072 4288701680 18446744073709551615 4159166878 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/10184/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6388 [startup+0.208377 s] /proc/loadavg: 1.15 1.08 1.03 5/34 10184 /proc/meminfo: memFree=755592/1048576 swapFree=2094612/2097144 [pid=10183] ppid=10182 vsize=2384 CPUtime=0 /proc/10183/stat : 10183 (inescp-1.0) S 10182 10183 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527593073 2441216 261 1283457024 134512640 135191968 4286581472 18446744073709551615 4159089054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10183/statm: 596 261 222 166 0 28 0 [pid=10184] ppid=10183 vsize=4004 CPUtime=0.01 /proc/10184/stat : 10184 (cudf-solver.py) S 10183 10183 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 527593073 4100096 644 1283457024 134512640 135539072 4288701680 18446744073709551615 4159166878 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/10184/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6388 [startup+0.308397 s] /proc/loadavg: 1.15 1.08 1.03 5/34 10184 /proc/meminfo: memFree=755592/1048576 swapFree=2094612/2097144 [pid=10183] ppid=10182 vsize=2384 CPUtime=0 /proc/10183/stat : 10183 (inescp-1.0) S 10182 10183 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527593073 2441216 261 1283457024 134512640 135191968 4286581472 18446744073709551615 4159089054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10183/statm: 596 261 222 166 0 28 0 [pid=10184] ppid=10183 vsize=4004 CPUtime=0.01 /proc/10184/stat : 10184 (cudf-solver.py) S 10183 10183 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 527593073 4100096 644 1283457024 134512640 135539072 4288701680 18446744073709551615 4159166878 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/10184/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6388 [startup+0.708498 s] /proc/loadavg: 1.15 1.08 1.03 5/34 10184 /proc/meminfo: memFree=755592/1048576 swapFree=2094612/2097144 [pid=10183] ppid=10182 vsize=2384 CPUtime=0 /proc/10183/stat : 10183 (inescp-1.0) S 10182 10183 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527593073 2441216 261 1283457024 134512640 135191968 4286581472 18446744073709551615 4159089054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10183/statm: 596 261 222 166 0 28 0 [pid=10184] ppid=10183 vsize=4004 CPUtime=0.01 /proc/10184/stat : 10184 (cudf-solver.py) S 10183 10183 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 527593073 4100096 644 1283457024 134512640 135539072 4288701680 18446744073709551615 4159166878 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/10184/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6388 [startup+1.50873 s] /proc/loadavg: 1.15 1.08 1.03 3/44 10194 /proc/meminfo: memFree=722004/1048576 swapFree=2094612/2097144 [pid=10183] ppid=10182 vsize=2384 CPUtime=0 /proc/10183/stat : 10183 (inescp-1.0) S 10182 10183 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527593073 2441216 261 1283457024 134512640 135191968 4286581472 18446744073709551615 4159089054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10183/statm: 596 261 222 166 0 28 0 [pid=10184] ppid=10183 vsize=4004 CPUtime=0.01 /proc/10184/stat : 10184 (cudf-solver.py) S 10183 10183 3447 769 3447 4202496 749 0 0 0 1 0 0 0 25 0 1 0 527593073 4100096 644 1283457024 134512640 135539072 4288701680 18446744073709551615 4159166878 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/10184/statm: 1001 644 348 251 0 302 0 [pid=10186] ppid=10184 vsize=865492 CPUtime=1.49 /proc/10186/stat : 10186 (java) S 10184 10183 3447 769 3447 4202496 15782 0 1 0 144 5 0 0 25 0 9 0 527593074 886263808 14373 1283457024 134512640 134550932 4287720288 18446744073709551615 4160287890 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10186/statm: 216373 14373 2716 10 0 210711 0 [pid=10186/tid=10187] ppid=10184 vsize=865492 CPUtime=0.96 /proc/10186/task/10187/stat : 10187 (java) R 10184 10183 3447 769 3447 4202560 3475 0 1 0 94 2 0 0 25 0 9 0 527593074 886263808 14373 1283457024 134512640 134550932 4287720288 18446744073709551615 4124855974 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10186/tid=10188] ppid=10184 vsize=865492 CPUtime=0.46 /proc/10186/task/10188/stat : 10188 (java) S 10184 10183 3447 769 3447 4202560 10782 0 0 0 44 2 0 0 17 0 9 0 527593075 886263808 14373 1283457024 134512640 134550932 4287720288 18446744073709551615 4160302088 0 0 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=10186/tid=10189] ppid=10184 vsize=865492 CPUtime=0 /proc/10186/task/10189/stat : 10189 (java) S 10184 10183 3447 769 3447 4202560 15 0 0 0 0 0 0 0 15 0 9 0 527593075 886263808 14373 1283457024 134512640 134550932 4287720288 18446744073709551615 4160301296 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=10186/tid=10190] ppid=10184 vsize=865492 CPUtime=0 /proc/10186/task/10190/stat : 10190 (java) S 10184 10183 3447 769 3447 4202560 8 0 0 0 0 0 0 0 16 0 9 0 527593075 886263808 14373 1283457024 134512640 134550932 4287720288 18446744073709551615 4160301296 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=10186/tid=10191] ppid=10184 vsize=865492 CPUtime=0 /proc/10186/task/10191/stat : 10191 (java) S 10184 10183 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 527593076 886263808 14373 1283457024 134512640 134550932 4287720288 18446744073709551615 4160309584 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=10186/tid=10192] ppid=10184 vsize=865492 CPUtime=0.06 /proc/10186/task/10192/stat : 10192 (java) S 10184 10183 3447 769 3447 4202560 409 0 0 0 6 0 0 0 16 0 9 0 527593076 886263808 14373 1283457024 134512640 134550932 4287720288 18446744073709551615 4160301296 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=10186/tid=10193] ppid=10184 vsize=865492 CPUtime=0 /proc/10186/task/10193/stat : 10193 (java) S 10184 10183 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 527593076 886263808 14373 1283457024 134512640 134550932 4287720288 18446744073709551615 4160301296 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 [pid=10186/tid=10194] ppid=10184 vsize=865492 CPUtime=0 /proc/10186/task/10194/stat : 10194 (java) S 10184 10183 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 9 0 527593076 886263808 14373 1283457024 134512640 134550932 4287720288 18446744073709551615 4160302088 0 4 0 16800975 18446612132872855872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 871880 [startup+3.11066 s] /proc/loadavg: 1.15 1.08 1.03 2/37 10197 /proc/meminfo: memFree=750324/1048576 swapFree=2094612/2097144 [pid=10183] ppid=10182 vsize=2384 CPUtime=0 /proc/10183/stat : 10183 (inescp-1.0) S 10182 10183 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527593073 2441216 261 1283457024 134512640 135191968 4286581472 18446744073709551615 4159089054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10183/statm: 596 261 222 166 0 28 0 [pid=10184] ppid=10183 vsize=4004 CPUtime=2.21 /proc/10184/stat : 10184 (cudf-solver.py) S 10183 10183 3447 769 3447 4202496 807 18639 0 1 1 0 201 19 16 0 1 0 527593073 4100096 644 1283457024 134512640 135539072 4288701680 18446744073709551615 4159166878 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/10184/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 2.21 Current children cumulated vsize (KiB) 6388 heavy processes: Solver just ended. Dumping a history of the last processes samples [startup+3.21067 s] /proc/loadavg: 1.15 1.08 1.03 2/37 10199 /proc/meminfo: memFree=725400/1048576 swapFree=2094612/2097144 [pid=10183] ppid=10182 vsize=2384 CPUtime=0 /proc/10183/stat : 10183 (inescp-1.0) S 10182 10183 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527593073 2441216 261 1283457024 134512640 135191968 4286581472 18446744073709551615 4159089054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10183/statm: 596 261 222 166 0 28 0 [pid=10184] ppid=10183 vsize=4004 CPUtime=2.21 /proc/10184/stat : 10184 (cudf-solver.py) S 10183 10183 3447 769 3447 4202496 807 18639 0 1 1 0 201 19 16 0 1 0 527593073 4100096 644 1283457024 134512640 135539072 4288701680 18446744073709551615 4159166878 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/10184/statm: 1001 644 348 251 0 302 0 [pid=10198] ppid=10184 vsize=2896 CPUtime=0 /proc/10198/stat : 10198 (sh) S 10184 10183 3447 769 3447 4194304 359 0 0 0 0 0 0 0 16 0 1 0 527593296 2965504 323 1283457024 134512640 135191968 4289957552 18446744073709551615 4159166878 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10198/statm: 724 323 221 166 0 156 0 [pid=10199] ppid=10198 vsize=27408 CPUtime=0.97 /proc/10199/stat : 10199 (msuncore) R 10198 10183 3447 769 3447 4202496 16453 0 0 0 93 4 0 0 21 0 1 0 527593296 28065792 6628 1283457024 134512640 135858300 4294732656 18446744073709551615 134670971 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/10199/statm: 6852 6628 137 329 0 6521 0 Current children cumulated CPU time (s) 3.18 Current children cumulated vsize (KiB) 36692 [startup+3.61073 s] /proc/loadavg: 1.15 1.08 1.03 2/37 10199 /proc/meminfo: memFree=725400/1048576 swapFree=2094612/2097144 [pid=10183] ppid=10182 vsize=2384 CPUtime=0 /proc/10183/stat : 10183 (inescp-1.0) S 10182 10183 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527593073 2441216 261 1283457024 134512640 135191968 4286581472 18446744073709551615 4159089054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10183/statm: 596 261 222 166 0 28 0 [pid=10184] ppid=10183 vsize=4004 CPUtime=2.21 /proc/10184/stat : 10184 (cudf-solver.py) S 10183 10183 3447 769 3447 4202496 807 18639 0 1 1 0 201 19 16 0 1 0 527593073 4100096 644 1283457024 134512640 135539072 4288701680 18446744073709551615 4159166878 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/10184/statm: 1001 644 348 251 0 302 0 [pid=10198] ppid=10184 vsize=2896 CPUtime=0 /proc/10198/stat : 10198 (sh) S 10184 10183 3447 769 3447 4194304 359 0 0 0 0 0 0 0 16 0 1 0 527593296 2965504 323 1283457024 134512640 135191968 4289957552 18446744073709551615 4159166878 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10198/statm: 724 323 221 166 0 156 0 [pid=10199] ppid=10198 vsize=27408 CPUtime=1.37 /proc/10199/stat : 10199 (msuncore) R 10198 10183 3447 769 3447 4202496 16453 0 0 0 133 4 0 0 23 0 1 0 527593296 28065792 6628 1283457024 134512640 135858300 4294732656 18446744073709551615 134658582 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/10199/statm: 6852 6628 137 329 0 6521 0 Current children cumulated CPU time (s) 3.58 Current children cumulated vsize (KiB) 36692 [startup+3.81125 s] /proc/loadavg: 1.15 1.08 1.03 2/37 10199 /proc/meminfo: memFree=725400/1048576 swapFree=2094612/2097144 [pid=10183] ppid=10182 vsize=2384 CPUtime=0 /proc/10183/stat : 10183 (inescp-1.0) S 10182 10183 3447 769 3447 4194304 362 0 0 0 0 0 0 0 18 0 1 0 527593073 2441216 261 1283457024 134512640 135191968 4286581472 18446744073709551615 4159089054 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10183/statm: 596 261 222 166 0 28 0 [pid=10184] ppid=10183 vsize=4004 CPUtime=2.21 /proc/10184/stat : 10184 (cudf-solver.py) S 10183 10183 3447 769 3447 4202496 807 18639 0 1 1 0 201 19 16 0 1 0 527593073 4100096 644 1283457024 134512640 135539072 4288701680 18446744073709551615 4159166878 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/10184/statm: 1001 644 348 251 0 302 0 [pid=10198] ppid=10184 vsize=2896 CPUtime=0 /proc/10198/stat : 10198 (sh) S 10184 10183 3447 769 3447 4194304 359 0 0 0 0 0 0 0 16 0 1 0 527593296 2965504 323 1283457024 134512640 135191968 4289957552 18446744073709551615 4159166878 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10198/statm: 724 323 221 166 0 156 0 [pid=10199] ppid=10198 vsize=11592 CPUtime=1.57 /proc/10199/stat : 10199 (msuncore) R 10198 10183 3447 769 3447 4202496 16466 0 0 0 153 4 0 0 24 0 1 0 527593296 11870208 2687 1283457024 134512640 135858300 4294732656 18446744073709551615 134522666 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/10199/statm: 2898 2687 150 329 0 2567 0 Current children cumulated CPU time (s) 3.78 Current children cumulated vsize (KiB) 20876 [startup+3.91082 s] /proc/loadavg: 1.15 1.08 1.03 2/37 10199 /proc/meminfo: memFree=725400/1048576 swapFree=2094612/2097144 [pid=10183] ppid=10182 vsize=0 CPUtime=3.89 /proc/10183/stat : 10183 (inescp-1.0) Z 10182 10183 3447 769 3447 4202508 373 38377 0 1 0 0 363 26 18 0 1 0 527593073 0 0 1283457024 0 0 0 0 0 0 0 4 65536 18446744071564254338 0 0 17 0 0 0 0 /proc/10183/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.89 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 3.91097 CPU time (s): 3.90024 CPU user time (s): 3.63223 CPU system time (s): 0.268016 CPU usage (%): 99.7256 Max. virtual memory (cumulated for all children) (KiB): 872200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.63223 system time used= 0.268016 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38750 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1212 involuntary context switches= 1211 runsolver used 0 second user time and 0 second system time The end