runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-309246-1178867755 -o ROOT/results/node3/solver-309246-1178867755 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/309246-1178867755/MiraXTv2_dyn /tmp/evaluation/309246-1178867755/instance-309246-1178867755.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: 0.92 0.98 0.99 3/77 16642
/proc/meminfo: memFree=1827360/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=3920 CPUtime=0
/proc/16642/stat : 16642 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194304 318 0 0 0 0 0 0 0 18 0 1 0 362813229 4014080 293 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134584784 0 0 4096 0 0 0 0 17 0 0 0
/proc/16642/statm: 980 293 206 20 0 338 0
[startup+0.031432 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16642
/proc/meminfo: memFree=1827360/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=4992 CPUtime=0.02
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 504 0 0 0 2 0 0 0 18 0 2 0 362813229 5111808 479 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 1248 479 218 20 0 606 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4992
[startup+0.102444 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16642
/proc/meminfo: memFree=1827360/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=5256 CPUtime=0.09
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 567 0 0 0 9 0 0 0 18 0 2 0 362813229 5382144 542 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 1314 542 218 20 0 672 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5256
[startup+0.302486 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16642
/proc/meminfo: memFree=1827360/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=6584 CPUtime=0.29
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 767 0 0 0 29 0 0 0 18 0 2 0 362813229 6742016 742 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 1646 742 218 20 0 1004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6584
[startup+0.70154 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16642
/proc/meminfo: memFree=1827360/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=7848 CPUtime=0.69
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 1101 0 0 0 69 0 0 0 18 0 2 0 362813229 8036352 1077 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 1962 1077 218 20 0 1320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7848
[startup+1.50167 s]
/proc/loadavg: 0.92 0.98 0.99 2/79 16644
/proc/meminfo: memFree=1822864/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=9420 CPUtime=1.49
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 1539 0 0 0 149 0 0 0 18 0 2 0 362813229 9646080 1514 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 2355 1514 218 20 0 1713 0
[pid=16642/tid=16644] ppid=16640 vsize=9420 CPUtime=1.48
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 1141 0 0 0 148 0 0 0 25 0 2 0 362813230 9646080 1514 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134565535 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9420
[startup+3.10193 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 16644
/proc/meminfo: memFree=1821264/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=12084 CPUtime=3.09
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 2208 0 0 0 309 0 0 0 18 0 2 0 362813229 12374016 2183 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 3021 2183 218 20 0 2379 0
[pid=16642/tid=16644] ppid=16640 vsize=12084 CPUtime=3.07
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 1810 0 0 0 307 0 0 0 25 0 2 0 362813230 12374016 2183 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526473 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12084
[startup+6.30145 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 16644
/proc/meminfo: memFree=1815056/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=15884 CPUtime=6.29
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 3223 0 0 0 628 1 0 0 18 0 2 0 362813229 16265216 3162 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 3971 3162 218 20 0 3329 0
[pid=16642/tid=16644] ppid=16640 vsize=15884 CPUtime=6.27
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 2825 0 0 0 626 1 0 0 25 0 2 0 362813230 16265216 3162 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15884
[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.99 2/79 16644
/proc/meminfo: memFree=1811408/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=20260 CPUtime=12.68
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 4406 0 0 0 1266 2 0 0 18 0 2 0 362813229 20746240 4260 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 5065 4260 218 20 0 4423 0
[pid=16642/tid=16644] ppid=16640 vsize=20260 CPUtime=12.66
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 4008 0 0 0 1264 2 0 0 25 0 2 0 362813230 20746240 4260 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526354 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20260
[startup+25.5026 s]
/proc/loadavg: 0.95 0.98 0.99 2/79 16644
/proc/meminfo: memFree=1803728/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=27572 CPUtime=25.48
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 6420 0 0 0 2544 4 0 0 18 0 2 0 362813229 28233728 6107 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 6893 6107 218 20 0 6251 0
[pid=16642/tid=16644] ppid=16640 vsize=27572 CPUtime=25.47
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 6022 0 0 0 2543 4 0 0 25 0 2 0 362813230 28233728 6107 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526461 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27572
[startup+51.1027 s]
/proc/loadavg: 0.96 0.98 0.99 2/79 16644
/proc/meminfo: memFree=1799504/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=31440 CPUtime=51.07
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 7689 0 0 0 5102 5 0 0 18 0 2 0 362813229 32194560 7049 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 7860 7049 218 20 0 7218 0
[pid=16642/tid=16644] ppid=16640 vsize=31440 CPUtime=51.05
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 7291 0 0 0 5100 5 0 0 25 0 2 0 362813230 32194560 7049 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526701 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31440
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/79 16644
/proc/meminfo: memFree=1795600/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=34936 CPUtime=102.23
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 9277 0 0 0 10218 5 0 0 18 0 2 0 362813229 35774464 7993 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 8734 7993 218 20 0 8092 0
[pid=16642/tid=16644] ppid=16640 vsize=34936 CPUtime=102.21
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 8879 0 0 0 10216 5 0 0 25 0 2 0 362813230 35774464 7993 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 34936
[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16644
/proc/meminfo: memFree=1794192/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=36312 CPUtime=162.19
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 10314 0 0 0 16213 6 0 0 18 0 2 0 362813229 37183488 8355 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 9078 8355 218 20 0 8436 0
[pid=16642/tid=16644] ppid=16640 vsize=36312 CPUtime=162.18
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 9916 0 0 0 16212 6 0 0 25 0 2 0 362813230 37183488 8355 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526703 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 36312
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16644
/proc/meminfo: memFree=1791824/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=39072 CPUtime=222.17
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 11531 0 0 0 22210 7 0 0 18 0 2 0 362813229 40009728 8952 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 9768 8952 218 20 0 9126 0
[pid=16642/tid=16644] ppid=16640 vsize=39072 CPUtime=222.15
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 11133 0 0 0 22208 7 0 0 25 0 2 0 362813230 40009728 8952 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526680 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 39072
[startup+282.302 s]
/proc/loadavg: 1.06 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1791248/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=39512 CPUtime=282.15
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 12306 0 0 0 28207 8 0 0 18 0 2 0 362813229 40460288 9093 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 9878 9093 218 20 0 9236 0
[pid=16642/tid=16644] ppid=16640 vsize=39512 CPUtime=282.13
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 11908 0 0 0 28205 8 0 0 25 0 2 0 362813230 40460288 9093 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 39512
[startup+342.302 s]
/proc/loadavg: 1.07 1.01 1.00 2/79 16644
/proc/meminfo: memFree=1790608/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=40248 CPUtime=342.13
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 13098 0 0 0 34204 9 0 0 18 0 2 0 362813229 41213952 9235 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 10062 9235 218 20 0 9420 0
[pid=16642/tid=16644] ppid=16640 vsize=40248 CPUtime=342.12
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 12700 0 0 0 34203 9 0 0 25 0 2 0 362813230 41213952 9235 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526461 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 40248
[startup+402.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/79 16644
/proc/meminfo: memFree=1789904/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=40944 CPUtime=402.11
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 13945 0 0 0 40201 10 0 0 18 0 2 0 362813229 41926656 9416 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 10236 9416 218 20 0 9594 0
[pid=16642/tid=16644] ppid=16640 vsize=40944 CPUtime=402.09
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 13547 0 0 0 40200 9 0 0 25 0 2 0 362813230 41926656 9416 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526461 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 40944
[startup+462.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1788880/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=41876 CPUtime=462.08
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 14775 0 0 0 46197 11 0 0 18 0 2 0 362813229 42881024 9652 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 10469 9652 218 20 0 9827 0
[pid=16642/tid=16644] ppid=16640 vsize=41876 CPUtime=462.07
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 14377 0 0 0 46196 11 0 0 25 0 2 0 362813230 42881024 9652 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 41876
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1788240/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=42552 CPUtime=522.06
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 15478 0 0 0 52194 12 0 0 18 0 2 0 362813229 43573248 9839 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 10638 9839 218 20 0 9996 0
[pid=16642/tid=16644] ppid=16640 vsize=42552 CPUtime=522.05
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 15080 0 0 0 52193 12 0 0 25 0 2 0 362813230 43573248 9839 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134529989 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 42552
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1787856/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=42832 CPUtime=582.05
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 16251 0 0 0 58192 13 0 0 18 0 2 0 362813229 43859968 9916 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 10708 9916 218 20 0 10066 0
[pid=16642/tid=16644] ppid=16640 vsize=42832 CPUtime=582.03
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 15853 0 0 0 58190 13 0 0 25 0 2 0 362813230 43859968 9916 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526317 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 42832
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1787152/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=43524 CPUtime=642.03
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 17135 0 0 0 64189 14 0 0 18 0 2 0 362813229 44568576 10092 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 10881 10092 218 20 0 10239 0
[pid=16642/tid=16644] ppid=16640 vsize=43524 CPUtime=642.02
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 16737 0 0 0 64188 14 0 0 25 0 2 0 362813230 44568576 10092 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526438 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 43524
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1786896/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=43840 CPUtime=702
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 17846 0 0 0 70186 14 0 0 18 0 2 0 362813229 44892160 10175 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 10960 10175 218 20 0 10318 0
[pid=16642/tid=16644] ppid=16640 vsize=43840 CPUtime=701.98
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 17448 0 0 0 70184 14 0 0 25 0 2 0 362813230 44892160 10175 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 43840
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1786576/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=44140 CPUtime=761.98
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 18562 0 0 0 76183 15 0 0 18 0 2 0 362813229 45199360 10252 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 11035 10252 218 20 0 10393 0
[pid=16642/tid=16644] ppid=16640 vsize=44140 CPUtime=761.97
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 18164 0 0 0 76182 15 0 0 25 0 2 0 362813230 45199360 10252 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 44140
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1785488/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=45088 CPUtime=821.96
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 19467 0 0 0 82180 16 0 0 18 0 2 0 362813229 46170112 10509 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 11272 10509 218 20 0 10630 0
[pid=16642/tid=16644] ppid=16640 vsize=45088 CPUtime=821.94
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 19069 0 0 0 82178 16 0 0 25 0 2 0 362813230 46170112 10509 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 45088
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1784976/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=45512 CPUtime=881.94
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 20154 0 0 0 88177 17 0 0 18 0 2 0 362813229 46604288 10635 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 11378 10635 218 20 0 10736 0
[pid=16642/tid=16644] ppid=16640 vsize=45512 CPUtime=881.92
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 19756 0 0 0 88175 17 0 0 25 0 2 0 362813230 46604288 10635 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526461 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 45512
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1784784/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=45816 CPUtime=941.92
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 20772 0 0 0 94174 18 0 0 18 0 2 0 362813229 46915584 10687 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 11454 10687 218 20 0 10812 0
[pid=16642/tid=16644] ppid=16640 vsize=45816 CPUtime=941.9
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 20374 0 0 0 94173 17 0 0 25 0 2 0 362813230 46915584 10687 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 45816
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1783312/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=47292 CPUtime=1001.9
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 21717 0 0 0 100171 19 0 0 18 0 2 0 362813229 48427008 11062 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 11823 11062 218 20 0 11181 0
[pid=16642/tid=16644] ppid=16640 vsize=47292 CPUtime=1001.88
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 21319 0 0 0 100170 18 0 0 25 0 2 0 362813230 48427008 11062 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526686 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 47292
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1782480/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=48100 CPUtime=1061.88
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 22402 0 0 0 106168 20 0 0 18 0 2 0 362813229 49254400 11267 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 12025 11267 218 20 0 11383 0
[pid=16642/tid=16644] ppid=16640 vsize=48100 CPUtime=1061.86
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 22004 0 0 0 106167 19 0 0 25 0 2 0 362813230 49254400 11267 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 48100
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16644
/proc/meminfo: memFree=1782288/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=48496 CPUtime=1121.85
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 23109 0 0 0 112165 20 0 0 18 0 2 0 362813229 49659904 11300 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 12124 11300 218 20 0 11482 0
[pid=16642/tid=16644] ppid=16640 vsize=48496 CPUtime=1121.84
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 22711 0 0 0 112164 20 0 0 25 0 2 0 362813230 49659904 11300 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 48496
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16646
/proc/meminfo: memFree=1782160/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=48676 CPUtime=1181.83
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 23737 0 0 0 118162 21 0 0 18 0 2 0 362813229 49844224 11344 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 12169 11344 218 20 0 11527 0
[pid=16642/tid=16644] ppid=16640 vsize=48676 CPUtime=1181.82
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 23339 0 0 0 118161 21 0 0 25 0 2 0 362813230 49844224 11344 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 48676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16646
/proc/meminfo: memFree=1782096/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=48676 CPUtime=1200.03
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 23843 0 0 0 119982 21 0 0 18 0 2 0 362813229 49844224 11352 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 12169 11352 218 20 0 11527 0
[pid=16642/tid=16644] ppid=16640 vsize=48676 CPUtime=1200.02
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 23445 0 0 0 119981 21 0 0 25 0 2 0 362813230 49844224 11352 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526438 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 48676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 16646
/proc/meminfo: memFree=1782096/2055920 swapFree=4138684/4192956
[pid=16642] ppid=16640 vsize=48676 CPUtime=1200.03
/proc/16642/stat : 16642 (MiraXTv2_dyn) S 16640 16642 15356 0 -1 4194304 23843 0 0 0 119982 21 0 0 18 0 2 0 362813229 49844224 11352 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/16642/statm: 12169 11352 218 20 0 11527 0
[pid=16642/tid=16644] ppid=16640 vsize=48676 CPUtime=1200.02
/proc/16642/task/16644/stat : 16644 (MiraXTv2_dyn) R 16640 16642 15356 0 -1 4194368 23445 0 0 0 119981 21 0 0 25 0 2 0 362813230 49844224 11352 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526438 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 48676
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.52
CPU time (s): 1200.06
CPU user time (s): 1199.83
CPU system time (s): 0.226965
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 48676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.83
system time used= 0.226965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23843
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= 13
involuntary context switches= 22461
runsolver used 1.3148 second user time and 3.06053 second system time
The end
Begin job on node3 on Fri May 11 07:15:55 UTC 2007
IDJOB= 309246
IDBENCH= 20253
IDSOLVER= 129
FILE ID= node3/309246-1178867755
PBS_JOBID= 5251029
Free space on /tmp= 66561 MiB
SOLVER NAME= MiraXT v2
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v990/unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/309246-1178867755/MiraXTv2_dyn /tmp/evaluation/309246-1178867755/instance-309246-1178867755.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-309246-1178867755 -o ROOT/results/node3/solver-309246-1178867755 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/309246-1178867755/MiraXTv2_dyn /tmp/evaluation/309246-1178867755/instance-309246-1178867755.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 358d57727acfd6fba0e9cd4766c6d2fc
RANDOM SEED= 15434932
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node3.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.270
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.270
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: 1827576 kB
Buffers: 40644 kB
Cached: 121720 kB
SwapCached: 18176 kB
Active: 114208 kB
Inactive: 72568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1827576 kB
SwapTotal: 4192956 kB
SwapFree: 4138684 kB
Dirty: 3972 kB
Writeback: 0 kB
Mapped: 30164 kB
Slab: 27140 kB
Committed_AS: 11482244 kB
PageTables: 1780 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= 66561 MiB
End job on node3 on Fri May 11 07:35:57 UTC 2007