runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-339010-1178915122 -o ROOT/results/node14/solver-339010-1178915122 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/339010-1178915122/MiraXTv3_dyn /tmp/evaluation/339010-1178915122/instance-339010-1178915122.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.01 1.71 3/77 32029
/proc/meminfo: memFree=1561976/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=3788 CPUtime=0
/proc/32029/stat : 32029 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 339429988 3878912 341 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32029/statm: 947 350 202 20 0 305 0
[startup+0.093071 s]
/proc/loadavg: 1.98 2.01 1.71 3/77 32029
/proc/meminfo: memFree=1561976/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=9144 CPUtime=0.08
/proc/32029/stat : 32029 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194304 1735 0 0 0 8 0 0 0 18 0 1 0 339429988 9363456 1710 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0
/proc/32029/statm: 2286 1710 206 20 0 1644 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9144
[startup+0.101071 s]
/proc/loadavg: 1.98 2.01 1.71 3/77 32029
/proc/meminfo: memFree=1561976/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=9276 CPUtime=0.09
/proc/32029/stat : 32029 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194304 1797 0 0 0 9 0 0 0 18 0 1 0 339429988 9498624 1772 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0
/proc/32029/statm: 2319 1772 206 20 0 1677 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9276
[startup+0.301091 s]
/proc/loadavg: 1.98 2.01 1.71 3/77 32029
/proc/meminfo: memFree=1561976/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=14908 CPUtime=0.29
/proc/32029/stat : 32029 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194304 3117 0 0 0 28 1 0 0 19 0 1 0 339429988 15265792 3092 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0
/proc/32029/statm: 3727 3092 206 20 0 3085 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14908
[startup+0.70113 s]
/proc/loadavg: 1.98 2.01 1.71 3/77 32029
/proc/meminfo: memFree=1561976/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=15300 CPUtime=0.69
/proc/32029/stat : 32029 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194304 3218 0 0 0 68 1 0 0 22 0 1 0 339429988 15667200 3193 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583901 0 0 4096 0 0 0 0 17 1 0 0
/proc/32029/statm: 3825 3193 207 20 0 3183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15300
[startup+1.5012 s]
/proc/loadavg: 1.98 2.01 1.71 2/78 32030
/proc/meminfo: memFree=1547632/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=60920 CPUtime=1.59
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 8262 0 0 0 154 5 0 0 25 0 3 0 339429988 62382080 7835 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 15230 7835 218 20 0 14588 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 60920
[startup+3.10137 s]
/proc/loadavg: 1.98 2.01 1.71 3/80 32032
/proc/meminfo: memFree=1528992/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=68608 CPUtime=4.76
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 10659 0 0 0 468 8 0 0 25 0 3 0 339429988 70254592 10123 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 17185 10124 218 20 0 16543 0
[pid=32029/tid=32031] ppid=32027 vsize=68740 CPUtime=1.9
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 3384 0 0 0 187 3 0 0 17 0 3 0 339430107 70389760 10124 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526030 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=68740 CPUtime=1.67
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 3188 0 0 0 164 3 0 0 17 0 3 0 339430107 70389760 10124 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 68608
[startup+6.30167 s]
/proc/loadavg: 1.98 2.01 1.71 3/80 32032
/proc/meminfo: memFree=1505512/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=91392 CPUtime=11.14
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 16355 0 0 0 1100 14 0 0 25 0 3 0 339429988 93585408 15819 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 22848 15819 218 20 0 22206 0
[pid=32029/tid=32031] ppid=32027 vsize=91392 CPUtime=5.08
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 6196 0 0 0 503 5 0 0 17 0 3 0 339430107 93585408 15819 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565887 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=91392 CPUtime=4.86
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 6071 0 0 0 480 6 0 0 16 0 3 0 339430107 93585408 15819 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.14
Current children cumulated vsize (KiB) 91392
[startup+12.7023 s]
/proc/loadavg: 1.98 2.01 1.71 3/80 32032
/proc/meminfo: memFree=1481128/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=111340 CPUtime=23.9
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 21840 0 0 0 2371 19 0 0 25 0 3 0 339429988 114012160 21231 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 27835 21231 218 20 0 27193 0
[pid=32029/tid=32031] ppid=32027 vsize=111340 CPUtime=11.48
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 8828 0 0 0 1140 8 0 0 16 0 3 0 339430107 114012160 21231 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=111340 CPUtime=11.23
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 8924 0 0 0 1114 9 0 0 16 0 3 0 339430107 114012160 21231 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526347 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.9
Current children cumulated vsize (KiB) 111340
[startup+25.5015 s]
/proc/loadavg: 1.99 2.01 1.72 3/80 32032
/proc/meminfo: memFree=1432808/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=155476 CPUtime=49.4
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 33239 0 0 0 4909 31 0 0 25 0 3 0 339429988 159207424 32298 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 38869 32298 218 20 0 38227 0
[pid=32029/tid=32031] ppid=32027 vsize=155476 CPUtime=24.2
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 14396 0 0 0 2408 12 0 0 17 0 3 0 339430107 159207424 32298 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32027 vsize=155476 CPUtime=24
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 14755 0 0 0 2384 16 0 0 18 0 3 0 339430107 159207424 32298 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.4
Current children cumulated vsize (KiB) 155476
[startup+51.1019 s]
/proc/loadavg: 2.06 2.02 1.73 3/80 32032
/proc/meminfo: memFree=1385512/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=202604 CPUtime=100.47
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 45655 0 0 0 10003 44 0 0 25 0 3 0 339429988 207466496 44157 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 50651 44157 218 20 0 50009 0
[pid=32029/tid=32031] ppid=32027 vsize=202604 CPUtime=49.7
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 22321 0 0 0 4951 19 0 0 19 0 3 0 339430107 207466496 44157 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32027 vsize=202604 CPUtime=49.59
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 19246 0 0 0 4936 23 0 0 19 0 3 0 339430107 207466496 44157 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 100.47
Current children cumulated vsize (KiB) 202604
[startup+102.306 s]
/proc/loadavg: 2.03 2.02 1.74 3/80 32032
/proc/meminfo: memFree=1353960/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=233124 CPUtime=202.54
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 54691 0 0 0 20201 53 0 0 25 0 3 0 339429988 238718976 52070 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 58281 52070 218 20 0 57639 0
[pid=32029/tid=32031] ppid=32027 vsize=233124 CPUtime=100.65
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 25996 0 0 0 10043 22 0 0 25 0 3 0 339430107 238718976 52070 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32027 vsize=233124 CPUtime=100.69
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 24607 0 0 0 10041 28 0 0 25 0 3 0 339430107 238718976 52070 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.54
Current children cumulated vsize (KiB) 233124
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 1.75 3/80 32032
/proc/meminfo: memFree=1324584/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=263416 CPUtime=322.11
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 63167 0 0 0 32148 63 0 0 25 0 3 0 339429988 269737984 59289 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 65854 59289 218 20 0 65212 0
[pid=32029/tid=32031] ppid=32027 vsize=263416 CPUtime=160.48
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 29845 0 0 0 16022 26 0 0 25 0 3 0 339430107 269737984 59289 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=263416 CPUtime=160.43
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 29234 0 0 0 16009 34 0 0 25 0 3 0 339430107 269737984 59289 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565740 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 322.11
Current children cumulated vsize (KiB) 263416
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.76 3/80 32032
/proc/meminfo: memFree=1302824/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=283564 CPUtime=441.55
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 69512 0 0 0 44083 72 0 0 25 0 3 0 339429988 290369536 64721 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 70891 64721 218 20 0 70249 0
[pid=32029/tid=32031] ppid=32027 vsize=283564 CPUtime=220.3
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 31302 0 0 0 22001 29 0 0 19 0 3 0 339430107 290369536 64721 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=283564 CPUtime=220.06
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 34122 0 0 0 21966 40 0 0 25 0 3 0 339430107 290369536 64721 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134517109 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 441.55
Current children cumulated vsize (KiB) 283564
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 1.78 3/80 32032
/proc/meminfo: memFree=1260264/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=329440 CPUtime=561.24
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 81738 0 0 0 56037 87 0 0 25 0 3 0 339429988 337346560 76019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 82360 76020 218 20 0 81718 0
[pid=32029/tid=32031] ppid=32027 vsize=329440 CPUtime=280.27
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 35894 0 0 0 27991 36 0 0 19 0 3 0 339430107 337346560 76020 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=329440 CPUtime=279.77
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 41757 0 0 0 27929 48 0 0 16 0 3 0 339430107 337346560 76020 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 561.24
Current children cumulated vsize (KiB) 329440
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.79 3/80 32032
/proc/meminfo: memFree=1201576/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=384848 CPUtime=680.84
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 96318 0 0 0 67979 105 0 0 25 0 3 0 339429988 394084352 89973 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 96212 89973 218 20 0 95570 0
[pid=32029/tid=32031] ppid=32027 vsize=384848 CPUtime=340.15
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 43490 0 0 0 33970 45 0 0 25 0 3 0 339430107 394084352 89973 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=384848 CPUtime=339.5
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 48740 0 0 0 33892 58 0 0 25 0 3 0 339430107 394084352 89973 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 680.84
Current children cumulated vsize (KiB) 384848
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.80 3/80 32032
/proc/meminfo: memFree=1201576/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=384848 CPUtime=800.54
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 96797 0 0 0 79947 107 0 0 25 0 3 0 339429988 394084352 89978 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 96212 89978 218 20 0 95570 0
[pid=32029/tid=32031] ppid=32027 vsize=384848 CPUtime=400.11
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 43807 0 0 0 39965 46 0 0 25 0 3 0 339430107 394084352 89978 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134528906 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=384848 CPUtime=399.23
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 48902 0 0 0 39865 58 0 0 25 0 3 0 339430107 394084352 89978 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 800.54
Current children cumulated vsize (KiB) 384848
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 1.81 3/80 32032
/proc/meminfo: memFree=1189416/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=397136 CPUtime=920.13
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 100832 0 0 0 91902 111 0 0 25 0 3 0 339429988 406667264 93047 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 99284 93047 218 20 0 98642 0
[pid=32029/tid=32031] ppid=32027 vsize=397136 CPUtime=460.08
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 44205 0 0 0 45961 47 0 0 19 0 3 0 339430107 406667264 93047 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=397136 CPUtime=458.85
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 52539 0 0 0 45824 61 0 0 25 0 3 0 339430107 406667264 93047 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 920.13
Current children cumulated vsize (KiB) 397136
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 1.82 3/80 32032
/proc/meminfo: memFree=1189352/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=397136 CPUtime=1039.74
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 101327 0 0 0 103863 111 0 0 25 0 3 0 339429988 406667264 93056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 99284 93056 218 20 0 98642 0
[pid=32029/tid=32031] ppid=32027 vsize=397136 CPUtime=520.02
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 44614 0 0 0 51955 47 0 0 25 0 3 0 339430107 406667264 93056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=397136 CPUtime=518.53
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 52625 0 0 0 51791 62 0 0 25 0 3 0 339430107 406667264 93056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1039.74
Current children cumulated vsize (KiB) 397136
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 32032
/proc/meminfo: memFree=1189352/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=397136 CPUtime=1159.39
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 101897 0 0 0 115827 112 0 0 25 0 3 0 339429988 406667264 93052 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 99284 93052 218 20 0 98642 0
[pid=32029/tid=32031] ppid=32027 vsize=397136 CPUtime=579.98
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 45020 0 0 0 57950 48 0 0 17 0 3 0 339430107 406667264 93052 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=397136 CPUtime=578.21
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 52789 0 0 0 57759 62 0 0 18 0 3 0 339430107 406667264 93052 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1159.39
Current children cumulated vsize (KiB) 397136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+602.702 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 32032
/proc/meminfo: memFree=1189288/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=397136 CPUtime=1200.11
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 102060 0 0 0 119898 113 0 0 25 0 3 0 339429988 406667264 93053 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 99284 93053 218 20 0 98642 0
[pid=32029/tid=32031] ppid=32027 vsize=397136 CPUtime=600.39
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 45102 0 0 0 59991 48 0 0 25 0 3 0 339430107 406667264 93053 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565817 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=397136 CPUtime=598.53
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 52870 0 0 0 59791 62 0 0 25 0 3 0 339430107 406667264 93053 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 397136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+602.702 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 32032
/proc/meminfo: memFree=1189288/2055920 swapFree=4145896/4192956
[pid=32029] ppid=32027 vsize=397136 CPUtime=1200.11
/proc/32029/stat : 32029 (MiraXTv3_dyn) S 32027 32029 31030 0 -1 4194304 102060 0 0 0 119898 113 0 0 25 0 3 0 339429988 406667264 93053 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 99284 93053 218 20 0 98642 0
[pid=32029/tid=32031] ppid=32027 vsize=397136 CPUtime=600.39
/proc/32029/task/32031/stat : 32031 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 45102 0 0 0 59991 48 0 0 25 0 3 0 339430107 406667264 93053 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565817 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32029/tid=32032] ppid=32027 vsize=397136 CPUtime=598.53
/proc/32029/task/32032/stat : 32032 (MiraXTv3_dyn) R 32027 32029 31030 0 -1 4194368 52870 0 0 0 59791 62 0 0 25 0 3 0 339430107 406667264 93053 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 397136
Child ended because it received signal 15 (SIGTERM)
Real time (s): 602.776
CPU time (s): 1200.19
CPU user time (s): 1199
CPU system time (s): 1.18982
CPU usage (%): 199.111
Max. virtual memory (cumulated for all children) (KiB): 397136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199
system time used= 1.18982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102060
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2620
involuntary context switches= 22356
runsolver used 0.597909 second user time and 1.60576 second system time
The end
Begin job on node14 on Fri May 11 20:25:22 UTC 2007
IDJOB= 339010
IDBENCH= 24736
IDSOLVER= 128
FILE ID= node14/339010-1178915122
PBS_JOBID= 5251100
Free space on /tmp= 66550 MiB
SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest05/others/sgp_5-5-6.sat05-2675.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/339010-1178915122/MiraXTv3_dyn /tmp/evaluation/339010-1178915122/instance-339010-1178915122.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-339010-1178915122 -o ROOT/results/node14/solver-339010-1178915122 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/339010-1178915122/MiraXTv3_dyn /tmp/evaluation/339010-1178915122/instance-339010-1178915122.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 531549e214a293ad3adf6ddff17eb882
RANDOM SEED= 537929435
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.227
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.227
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1562192 kB
Buffers: 45220 kB
Cached: 378968 kB
SwapCached: 15092 kB
Active: 142116 kB
Inactive: 306164 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1562192 kB
SwapTotal: 4192956 kB
SwapFree: 4145896 kB
Dirty: 7056 kB
Writeback: 0 kB
Mapped: 30152 kB
Slab: 30972 kB
Committed_AS: 9590796 kB
PageTables: 1784 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66550 MiB
End job on node14 on Fri May 11 20:35:27 UTC 2007