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/201007050905/inescp-1.0/randaaa8ea.cudf.easy.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/easy//randaaa8ea.cudf /home/misc2010/tmp/201007050905/inescp-1.0/randaaa8ea.cudf.easy.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: 0.99 1.13 1.05 6/38 29004 /proc/meminfo: memFree=475592/1048576 swapFree=2095456/2097144 [pid=29002] ppid=29001 vsize=2388 CPUtime=0 /proc/29002/stat : 29002 (inescp-1.0) S 29001 29002 24102 769 24102 4194304 362 0 0 0 0 0 0 0 18 0 1 0 525141570 2445312 261 1283457024 134512640 135191968 4291045232 18446744073709551615 4158970270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29002/statm: 597 261 222 166 0 29 0 [pid=29003] ppid=29002 vsize=4004 CPUtime=0 /proc/29003/stat : 29003 (cudf-solver.py) R 29002 29002 24102 769 24102 4202496 748 0 0 0 0 0 0 0 25 0 1 0 525141570 4100096 644 1283457024 134512640 135539072 4294314640 18446744073709551615 4159007533 0 65536 16781318 0 0 0 0 17 0 0 0 0 /proc/29003/statm: 1001 644 348 251 0 302 0 [pid=29004] ppid=29003 vsize=4004 CPUtime=0 /proc/29004/stat : 29004 (cudf-solver.py) R 29003 29002 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 1 0 525141571 4100096 303 1283457024 134512640 135539072 4294314640 18446744073709551615 4159007533 0 65536 16781318 0 0 0 0 17 0 0 0 0 /proc/29004/statm: 1001 303 7 251 0 302 0 [startup+0.148072 s] /proc/loadavg: 0.99 1.13 1.05 6/38 29004 /proc/meminfo: memFree=475592/1048576 swapFree=2095456/2097144 [pid=29002] ppid=29001 vsize=2388 CPUtime=0 /proc/29002/stat : 29002 (inescp-1.0) S 29001 29002 24102 769 24102 4194304 362 0 0 0 0 0 0 0 18 0 1 0 525141570 2445312 261 1283457024 134512640 135191968 4291045232 18446744073709551615 4158970270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29002/statm: 597 261 222 166 0 29 0 [pid=29003] ppid=29002 vsize=4004 CPUtime=0 /proc/29003/stat : 29003 (cudf-solver.py) S 29002 29002 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525141570 4100096 644 1283457024 134512640 135539072 4294314640 18446744073709551615 4159388062 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29003/statm: 1001 644 348 251 0 302 0 [pid=29004] ppid=29003 vsize=864560 CPUtime=0.13 /proc/29004/stat : 29004 (java) S 29003 29002 24102 769 24102 4202496 4600 0 1 0 12 1 0 0 25 0 9 0 525141571 885309440 3673 1283457024 134512640 134550932 4287640432 18446744073709551615 4160218258 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29004/statm: 216140 3673 1892 10 0 210478 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 870952 [startup+0.208075 s] /proc/loadavg: 0.99 1.13 1.05 6/38 29004 /proc/meminfo: memFree=475592/1048576 swapFree=2095456/2097144 [pid=29002] ppid=29001 vsize=2388 CPUtime=0 /proc/29002/stat : 29002 (inescp-1.0) S 29001 29002 24102 769 24102 4194304 362 0 0 0 0 0 0 0 18 0 1 0 525141570 2445312 261 1283457024 134512640 135191968 4291045232 18446744073709551615 4158970270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29002/statm: 597 261 222 166 0 29 0 [pid=29003] ppid=29002 vsize=4004 CPUtime=0 /proc/29003/stat : 29003 (cudf-solver.py) S 29002 29002 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525141570 4100096 644 1283457024 134512640 135539072 4294314640 18446744073709551615 4159388062 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29003/statm: 1001 644 348 251 0 302 0 [pid=29004] ppid=29003 vsize=864560 CPUtime=0.19 /proc/29004/stat : 29004 (java) S 29003 29002 24102 769 24102 4202496 4658 0 1 0 18 1 0 0 25 0 9 0 525141571 885309440 3731 1283457024 134512640 134550932 4287640432 18446744073709551615 4160218258 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29004/statm: 216140 3731 1892 10 0 210478 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 870952 [startup+0.308087 s] /proc/loadavg: 0.99 1.13 1.05 6/38 29004 /proc/meminfo: memFree=475592/1048576 swapFree=2095456/2097144 [pid=29002] ppid=29001 vsize=2388 CPUtime=0 /proc/29002/stat : 29002 (inescp-1.0) S 29001 29002 24102 769 24102 4194304 362 0 0 0 0 0 0 0 18 0 1 0 525141570 2445312 261 1283457024 134512640 135191968 4291045232 18446744073709551615 4158970270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29002/statm: 597 261 222 166 0 29 0 [pid=29003] ppid=29002 vsize=4004 CPUtime=0 /proc/29003/stat : 29003 (cudf-solver.py) S 29002 29002 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525141570 4100096 644 1283457024 134512640 135539072 4294314640 18446744073709551615 4159388062 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29003/statm: 1001 644 348 251 0 302 0 [pid=29004] ppid=29003 vsize=864560 CPUtime=0.29 /proc/29004/stat : 29004 (java) S 29003 29002 24102 769 24102 4202496 4722 0 1 0 28 1 0 0 25 0 9 0 525141571 885309440 3795 1283457024 134512640 134550932 4287640432 18446744073709551615 4160218258 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29004/statm: 216140 3795 1892 10 0 210478 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 870952 [startup+0.708174 s] /proc/loadavg: 0.99 1.13 1.05 6/38 29004 /proc/meminfo: memFree=475592/1048576 swapFree=2095456/2097144 [pid=29002] ppid=29001 vsize=2388 CPUtime=0 /proc/29002/stat : 29002 (inescp-1.0) S 29001 29002 24102 769 24102 4194304 362 0 0 0 0 0 0 0 18 0 1 0 525141570 2445312 261 1283457024 134512640 135191968 4291045232 18446744073709551615 4158970270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29002/statm: 597 261 222 166 0 29 0 [pid=29003] ppid=29002 vsize=4004 CPUtime=0 /proc/29003/stat : 29003 (cudf-solver.py) S 29002 29002 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525141570 4100096 644 1283457024 134512640 135539072 4294314640 18446744073709551615 4159388062 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29003/statm: 1001 644 348 251 0 302 0 [pid=29004] ppid=29003 vsize=865116 CPUtime=0.69 /proc/29004/stat : 29004 (java) S 29003 29002 24102 769 24102 4202496 8927 0 1 0 67 2 0 0 25 0 9 0 525141571 885878784 7750 1283457024 134512640 134550932 4287640432 18446744073709551615 4160218258 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29004/statm: 216279 7750 2715 10 0 210617 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 871508 [startup+1.50832 s] /proc/loadavg: 0.99 1.13 1.05 2/47 29013 /proc/meminfo: memFree=443196/1048576 swapFree=2095456/2097144 [pid=29002] ppid=29001 vsize=2388 CPUtime=0 /proc/29002/stat : 29002 (inescp-1.0) S 29001 29002 24102 769 24102 4194304 362 0 0 0 0 0 0 0 18 0 1 0 525141570 2445312 261 1283457024 134512640 135191968 4291045232 18446744073709551615 4158970270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29002/statm: 597 261 222 166 0 29 0 [pid=29003] ppid=29002 vsize=4004 CPUtime=0 /proc/29003/stat : 29003 (cudf-solver.py) S 29002 29002 24102 769 24102 4202496 749 0 0 0 0 0 0 0 25 0 1 0 525141570 4100096 644 1283457024 134512640 135539072 4294314640 18446744073709551615 4159388062 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29003/statm: 1001 644 348 251 0 302 0 [pid=29004] ppid=29003 vsize=865484 CPUtime=1.49 /proc/29004/stat : 29004 (java) S 29003 29002 24102 769 24102 4202496 16451 0 1 0 145 4 0 0 25 0 9 0 525141571 886255616 15033 1283457024 134512640 134550932 4287640432 18446744073709551615 4160218258 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29004/statm: 216371 15033 2718 10 0 210709 0 [pid=29004/tid=29006] ppid=29003 vsize=865484 CPUtime=0.93 /proc/29004/task/29006/stat : 29006 (java) R 29003 29002 24102 769 24102 4202560 3590 0 1 0 92 1 0 0 25 0 9 0 525141572 886255616 15033 1283457024 134512640 134550932 4287640432 18446744073709551615 4124455963 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29004/tid=29007] ppid=29003 vsize=865484 CPUtime=0.48 /proc/29004/task/29007/stat : 29007 (java) S 29003 29002 24102 769 24102 4202560 11298 0 0 0 46 2 0 0 17 0 9 0 525141572 886255616 15033 1283457024 134512640 134550932 4287640432 18446744073709551615 4160232456 0 0 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=29004/tid=29008] ppid=29003 vsize=865484 CPUtime=0 /proc/29004/task/29008/stat : 29008 (java) S 29003 29002 24102 769 24102 4202560 15 0 0 0 0 0 0 0 15 0 9 0 525141572 886255616 15033 1283457024 134512640 134550932 4287640432 18446744073709551615 4160231664 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=29004/tid=29009] ppid=29003 vsize=865484 CPUtime=0 /proc/29004/task/29009/stat : 29009 (java) S 29003 29002 24102 769 24102 4202560 8 0 0 0 0 0 0 0 15 0 9 0 525141572 886255616 15033 1283457024 134512640 134550932 4287640432 18446744073709551615 4160231664 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=29004/tid=29010] ppid=29003 vsize=865484 CPUtime=0 /proc/29004/task/29010/stat : 29010 (java) S 29003 29002 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 525141573 886255616 15033 1283457024 134512640 134550932 4287640432 18446744073709551615 4160239952 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=29004/tid=29011] ppid=29003 vsize=865484 CPUtime=0.06 /proc/29004/task/29011/stat : 29011 (java) S 29003 29002 24102 769 24102 4202560 447 0 0 0 6 0 0 0 17 0 9 0 525141573 886255616 15033 1283457024 134512640 134550932 4287640432 18446744073709551615 4160231664 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=29004/tid=29012] ppid=29003 vsize=865484 CPUtime=0 /proc/29004/task/29012/stat : 29012 (java) S 29003 29002 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 9 0 525141573 886255616 15033 1283457024 134512640 134550932 4287640432 18446744073709551615 4160231664 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=29004/tid=29013] ppid=29003 vsize=865484 CPUtime=0 /proc/29004/task/29013/stat : 29013 (java) S 29003 29002 24102 769 24102 4202560 0 0 0 0 0 0 0 0 15 0 9 0 525141573 886255616 15033 1283457024 134512640 134550932 4287640432 18446744073709551615 4160232456 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 871876 [startup+3.10454 s] /proc/loadavg: 0.99 1.13 1.05 2/40 29016 /proc/meminfo: memFree=471144/1048576 swapFree=2095456/2097144 [pid=29002] ppid=29001 vsize=2388 CPUtime=0 /proc/29002/stat : 29002 (inescp-1.0) S 29001 29002 24102 769 24102 4194304 362 0 0 0 0 0 0 0 18 0 1 0 525141570 2445312 261 1283457024 134512640 135191968 4291045232 18446744073709551615 4158970270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29002/statm: 597 261 222 166 0 29 0 [pid=29003] ppid=29002 vsize=4004 CPUtime=2.07 /proc/29003/stat : 29003 (cudf-solver.py) S 29002 29002 24102 769 24102 4202496 807 18864 0 1 0 0 192 15 17 0 1 0 525141570 4100096 644 1283457024 134512640 135539072 4294314640 18446744073709551615 4159388062 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29003/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 2.07 Current children cumulated vsize (KiB) 6392 heavy processes: Solver just ended. Dumping a history of the last processes samples [startup+3.90473 s] /proc/loadavg: 0.99 1.13 1.05 2/40 29018 /proc/meminfo: memFree=463704/1048576 swapFree=2095456/2097144 [pid=29002] ppid=29001 vsize=2388 CPUtime=0 /proc/29002/stat : 29002 (inescp-1.0) S 29001 29002 24102 769 24102 4194304 362 0 0 0 0 0 0 0 18 0 1 0 525141570 2445312 261 1283457024 134512640 135191968 4291045232 18446744073709551615 4158970270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29002/statm: 597 261 222 166 0 29 0 [pid=29003] ppid=29002 vsize=4004 CPUtime=2.07 /proc/29003/stat : 29003 (cudf-solver.py) S 29002 29002 24102 769 24102 4202496 807 18864 0 1 0 0 192 15 17 0 1 0 525141570 4100096 644 1283457024 134512640 135539072 4294314640 18446744073709551615 4159388062 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29003/statm: 1001 644 348 251 0 302 0 [pid=29017] ppid=29003 vsize=2896 CPUtime=0 /proc/29017/stat : 29017 (sh) S 29003 29002 24102 769 24102 4194304 360 0 0 0 0 0 0 0 17 0 1 0 525141783 2965504 324 1283457024 134512640 135191968 4293452304 18446744073709551615 4158732702 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29017/statm: 724 324 221 166 0 156 0 [pid=29018] ppid=29017 vsize=26192 CPUtime=1.77 /proc/29018/stat : 29018 (msuncore) R 29017 29002 24102 769 24102 4202496 18359 0 0 0 171 6 0 0 24 0 1 0 525141783 26820608 6345 1283457024 134512640 135858300 4294402848 18446744073709551615 134620078 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/29018/statm: 6548 6345 137 329 0 6217 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 35480 [startup+4.30479 s] /proc/loadavg: 0.99 1.13 1.05 2/40 29018 /proc/meminfo: memFree=447708/1048576 swapFree=2095456/2097144 [pid=29002] ppid=29001 vsize=2388 CPUtime=0 /proc/29002/stat : 29002 (inescp-1.0) S 29001 29002 24102 769 24102 4194304 362 0 0 0 0 0 0 0 18 0 1 0 525141570 2445312 261 1283457024 134512640 135191968 4291045232 18446744073709551615 4158970270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29002/statm: 597 261 222 166 0 29 0 [pid=29003] ppid=29002 vsize=4004 CPUtime=2.07 /proc/29003/stat : 29003 (cudf-solver.py) S 29002 29002 24102 769 24102 4202496 807 18864 0 1 0 0 192 15 17 0 1 0 525141570 4100096 644 1283457024 134512640 135539072 4294314640 18446744073709551615 4159388062 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/29003/statm: 1001 644 348 251 0 302 0 [pid=29017] ppid=29003 vsize=2896 CPUtime=0 /proc/29017/stat : 29017 (sh) S 29003 29002 24102 769 24102 4194304 360 0 0 0 0 0 0 0 17 0 1 0 525141783 2965504 324 1283457024 134512640 135191968 4293452304 18446744073709551615 4158732702 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29017/statm: 724 324 221 166 0 156 0 [pid=29018] ppid=29017 vsize=26192 CPUtime=2.17 /proc/29018/stat : 29018 (msuncore) R 29017 29002 24102 769 24102 4202496 18359 0 0 0 211 6 0 0 25 0 1 0 525141783 26820608 6345 1283457024 134512640 135858300 4294402848 18446744073709551615 134664343 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/29018/statm: 6548 6345 137 329 0 6217 0 Current children cumulated CPU time (s) 4.24 Current children cumulated vsize (KiB) 35480 [startup+4.75284 s] /proc/loadavg: 0.99 1.13 1.05 2/40 29018 /proc/meminfo: memFree=447708/1048576 swapFree=2095456/2097144 [pid=29002] ppid=29001 vsize=2388 CPUtime=0 /proc/29002/stat : 29002 (inescp-1.0) R 29001 29002 24102 769 24102 4194304 362 0 0 0 0 0 0 0 18 0 1 0 525141570 2445312 261 1283457024 134512640 135191968 4291045232 18446744073709551615 4158970270 0 65536 4 65538 0 0 0 17 0 0 0 0 /proc/29002/statm: 597 261 222 166 0 29 0 [pid=29003] ppid=29002 vsize=0 CPUtime=4.7 /proc/29003/stat : 29003 (cudf-solver.py) Z 29002 29002 24102 769 24102 4202508 2399 38079 0 1 8 0 440 22 15 0 1 0 525141570 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/29003/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.7 Current children cumulated vsize (KiB) 2388 Child status: 0 Real time (s): 4.75336 CPU time (s): 4.70829 CPU user time (s): 4.48428 CPU system time (s): 0.224014 CPU usage (%): 99.0519 Max. virtual memory (cumulated for all children) (KiB): 872196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.48428 system time used= 0.224014 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40851 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= 1169 involuntary context switches= 1175 runsolver used 0 second user time and 0 second system time The end