runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-301785-1178842108 -o ROOT/results/node4/solver-301785-1178842108 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/301785-1178842108/MiraXTv1_dyn /tmp/evaluation/301785-1178842108/instance-301785-1178842108.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.91 0.97 0.99 3/77 14625
/proc/meminfo: memFree=1857176/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=3788 CPUtime=0
/proc/14625/stat : 14625 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194304 352 0 0 0 0 0 0 0 18 0 1 0 360248534 3878912 327 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14625/statm: 947 335 202 20 0 305 0
[startup+0.066774 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 14625
/proc/meminfo: memFree=1857176/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=5700 CPUtime=0.05
/proc/14625/stat : 14625 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194304 875 0 0 0 5 0 0 0 18 0 1 0 360248534 5836800 850 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583921 0 0 4096 0 0 0 0 17 1 0 0
/proc/14625/statm: 1425 850 207 20 0 783 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5700
[startup+0.101777 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 14625
/proc/meminfo: memFree=1857176/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=5700 CPUtime=0.09
/proc/14625/stat : 14625 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194304 875 0 0 0 9 0 0 0 18 0 1 0 360248534 5836800 850 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134587739 0 0 4096 0 0 0 0 17 1 0 0
/proc/14625/statm: 1425 850 207 20 0 783 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5700
[startup+0.301796 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 14625
/proc/meminfo: memFree=1857176/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=10164 CPUtime=0.29
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 1485 0 0 0 29 0 0 0 18 0 2 0 360248534 10407936 1371 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 2541 1371 218 20 0 1899 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10164
[startup+0.701833 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 14625
/proc/meminfo: memFree=1857176/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=12672 CPUtime=0.69
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 2155 0 0 0 68 1 0 0 18 0 2 0 360248534 12976128 2041 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 3168 2041 218 20 0 2526 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12672
[startup+1.50191 s]
/proc/loadavg: 0.91 0.97 0.99 2/79 14627
/proc/meminfo: memFree=1847880/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=17556 CPUtime=1.49
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 3404 0 0 0 148 1 0 0 18 0 2 0 360248534 17977344 3290 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 4389 3290 218 20 0 3747 0
[pid=14625/tid=14627] ppid=14623 vsize=17556 CPUtime=1.32
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 2346 0 0 0 131 1 0 0 25 0 2 0 360248551 17977344 3290 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11023995 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17556
[startup+3.10106 s]
/proc/loadavg: 0.91 0.97 0.99 2/79 14627
/proc/meminfo: memFree=1841608/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=22500 CPUtime=3.09
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 4524 0 0 0 307 2 0 0 18 0 2 0 360248534 23040000 4410 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 5625 4410 218 20 0 4983 0
[pid=14625/tid=14627] ppid=14623 vsize=22500 CPUtime=2.91
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 3466 0 0 0 290 1 0 0 25 0 2 0 360248551 23040000 4410 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11023995 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22500
[startup+6.30137 s]
/proc/loadavg: 0.92 0.97 0.99 2/79 14627
/proc/meminfo: memFree=1828552/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=37632 CPUtime=6.29
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 8353 0 0 0 625 4 0 0 18 0 2 0 360248534 38535168 8239 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 9408 8239 218 20 0 8766 0
[pid=14625/tid=14627] ppid=14623 vsize=37632 CPUtime=6.11
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 7295 0 0 0 608 3 0 0 25 0 2 0 360248551 38535168 8239 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11023995 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37632
[startup+12.702 s]
/proc/loadavg: 0.93 0.97 0.99 2/79 14627
/proc/meminfo: memFree=1814792/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=49644 CPUtime=12.69
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 11594 0 0 0 1263 6 0 0 18 0 2 0 360248534 50835456 11361 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 12411 11361 218 20 0 11769 0
[pid=14625/tid=14627] ppid=14623 vsize=49644 CPUtime=12.51
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 10536 0 0 0 1246 5 0 0 25 0 2 0 360248551 50835456 11361 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49644
[startup+25.5012 s]
/proc/loadavg: 0.94 0.97 0.99 2/79 14627
/proc/meminfo: memFree=1797192/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=64964 CPUtime=25.48
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 15636 0 0 0 2540 8 0 0 18 0 2 0 360248534 66523136 15242 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 16241 15242 218 20 0 15599 0
[pid=14625/tid=14627] ppid=14623 vsize=64964 CPUtime=25.32
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 14578 0 0 0 2524 8 0 0 25 0 2 0 360248551 66523136 15242 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64964
[startup+51.1017 s]
/proc/loadavg: 0.96 0.97 0.99 3/79 14627
/proc/meminfo: memFree=1783240/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=78244 CPUtime=51.08
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 19238 0 0 0 5097 11 0 0 18 0 2 0 360248534 80121856 18536 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 19561 18536 218 20 0 18919 0
[pid=14625/tid=14627] ppid=14623 vsize=78244 CPUtime=50.9
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 18180 0 0 0 5080 10 0 0 25 0 2 0 360248551 80121856 18536 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 78244
[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/79 14627
/proc/meminfo: memFree=1770952/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=90424 CPUtime=102.27
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 22888 0 0 0 10214 13 0 0 18 0 2 0 360248534 92594176 21602 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 22606 21602 218 20 0 21964 0
[pid=14625/tid=14627] ppid=14623 vsize=90424 CPUtime=102.1
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 21830 0 0 0 10198 12 0 0 25 0 2 0 360248551 92594176 21602 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 90424
[startup+162.301 s]
/proc/loadavg: 1.06 0.99 0.99 2/79 14627
/proc/meminfo: memFree=1769672/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=91936 CPUtime=162.25
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 23851 0 0 0 16211 14 0 0 18 0 2 0 360248534 94142464 21971 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 22984 21971 218 20 0 22342 0
[pid=14625/tid=14627] ppid=14623 vsize=91936 CPUtime=162.08
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 22793 0 0 0 16195 13 0 0 25 0 2 0 360248551 94142464 21971 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 91936
[startup+222.301 s]
/proc/loadavg: 1.02 0.99 0.99 3/79 14627
/proc/meminfo: memFree=1765448/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=96036 CPUtime=222.23
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 25455 0 0 0 22208 15 0 0 18 0 2 0 360248534 98340864 22981 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 24009 22981 218 20 0 23367 0
[pid=14625/tid=14627] ppid=14623 vsize=96036 CPUtime=222.07
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 24397 0 0 0 22192 15 0 0 25 0 2 0 360248551 98340864 22981 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 96036
[startup+282.302 s]
/proc/loadavg: 1.01 0.99 0.99 2/79 14627
/proc/meminfo: memFree=1765384/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=96036 CPUtime=282.22
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 26118 0 0 0 28206 16 0 0 18 0 2 0 360248534 98340864 22984 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 24009 22984 218 20 0 23367 0
[pid=14625/tid=14627] ppid=14623 vsize=96036 CPUtime=282.05
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 25060 0 0 0 28190 15 0 0 25 0 2 0 360248551 98340864 22984 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 96036
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/79 14627
/proc/meminfo: memFree=1764680/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=96700 CPUtime=342.21
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 26838 0 0 0 34204 17 0 0 18 0 2 0 360248534 99020800 23176 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 24175 23176 218 20 0 23533 0
[pid=14625/tid=14627] ppid=14623 vsize=96700 CPUtime=342.03
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 25780 0 0 0 34187 16 0 0 25 0 2 0 360248551 99020800 23176 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 96700
[startup+402.301 s]
/proc/loadavg: 1.08 1.00 1.00 2/79 14627
/proc/meminfo: memFree=1764040/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=97444 CPUtime=402.19
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 27389 0 0 0 40201 18 0 0 18 0 2 0 360248534 99782656 23331 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 24361 23331 218 20 0 23719 0
[pid=14625/tid=14627] ppid=14623 vsize=97444 CPUtime=402.02
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 26331 0 0 0 40185 17 0 0 25 0 2 0 360248551 99782656 23331 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 97444
[startup+462.302 s]
/proc/loadavg: 1.10 1.02 1.00 2/79 14627
/proc/meminfo: memFree=1761800/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=99740 CPUtime=462.18
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 28358 0 0 0 46199 19 0 0 18 0 2 0 360248534 102133760 23904 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 24935 23904 218 20 0 24293 0
[pid=14625/tid=14627] ppid=14623 vsize=99740 CPUtime=462
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 27300 0 0 0 46182 18 0 0 25 0 2 0 360248551 102133760 23904 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 99740
[startup+522.302 s]
/proc/loadavg: 1.10 1.03 1.00 2/79 14627
/proc/meminfo: memFree=1754632/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=106788 CPUtime=522.16
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 30600 0 0 0 52195 21 0 0 18 0 2 0 360248534 109350912 25684 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 26697 25684 218 20 0 26055 0
[pid=14625/tid=14627] ppid=14623 vsize=106788 CPUtime=521.99
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 29542 0 0 0 52178 21 0 0 25 0 2 0 360248551 109350912 25684 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 106788
[startup+582.301 s]
/proc/loadavg: 1.14 1.05 1.01 2/79 14627
/proc/meminfo: memFree=1754184/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=107316 CPUtime=582.14
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 31382 0 0 0 58192 22 0 0 18 0 2 0 360248534 109891584 25800 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 26829 25800 218 20 0 26187 0
[pid=14625/tid=14627] ppid=14623 vsize=107316 CPUtime=581.98
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 30324 0 0 0 58176 22 0 0 25 0 2 0 360248551 109891584 25800 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526480 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 107316
[startup+642.301 s]
/proc/loadavg: 1.05 1.04 1.00 2/79 14627
/proc/meminfo: memFree=1754184/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=107316 CPUtime=642.14
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 31784 0 0 0 64191 23 0 0 18 0 2 0 360248534 109891584 25800 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 26829 25800 218 20 0 26187 0
[pid=14625/tid=14627] ppid=14623 vsize=107316 CPUtime=641.96
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 30726 0 0 0 64174 22 0 0 25 0 2 0 360248551 109891584 25800 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 107316
[startup+702.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/79 14627
/proc/meminfo: memFree=1754248/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=107316 CPUtime=702.11
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 31785 0 0 0 70188 23 0 0 18 0 2 0 360248534 109891584 25801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 26829 25801 218 20 0 26187 0
[pid=14625/tid=14627] ppid=14623 vsize=107316 CPUtime=701.95
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 30727 0 0 0 70172 23 0 0 25 0 2 0 360248551 109891584 25801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565893 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 107316
[startup+762.306 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 14627
/proc/meminfo: memFree=1754184/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=107308 CPUtime=762.11
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 31785 0 0 0 76187 24 0 0 18 0 2 0 360248534 109883392 25801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 26827 25801 218 20 0 26185 0
[pid=14625/tid=14627] ppid=14623 vsize=107308 CPUtime=761.93
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 30727 0 0 0 76170 23 0 0 25 0 2 0 360248551 109883392 25801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 107308
[startup+822.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 14627
/proc/meminfo: memFree=1754248/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=107300 CPUtime=822.09
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 31785 0 0 0 82185 24 0 0 18 0 2 0 360248534 109875200 25801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 26825 25801 218 20 0 26183 0
[pid=14625/tid=14627] ppid=14623 vsize=107300 CPUtime=821.91
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 30727 0 0 0 82168 23 0 0 25 0 2 0 360248551 109875200 25801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 107300
[startup+882.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 14627
/proc/meminfo: memFree=1754248/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=107300 CPUtime=882.06
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 31785 0 0 0 88182 24 0 0 18 0 2 0 360248534 109875200 25801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 26825 25801 218 20 0 26183 0
[pid=14625/tid=14627] ppid=14623 vsize=107300 CPUtime=881.9
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 30727 0 0 0 88166 24 0 0 25 0 2 0 360248551 109875200 25801 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 107300
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14627
/proc/meminfo: memFree=1752648/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=108900 CPUtime=942.05
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 32246 0 0 0 94180 25 0 0 18 0 2 0 360248534 111513600 26195 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 27225 26195 218 20 0 26583 0
[pid=14625/tid=14627] ppid=14623 vsize=108900 CPUtime=941.89
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 31188 0 0 0 94164 25 0 0 25 0 2 0 360248551 111513600 26195 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 108900
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14627
/proc/meminfo: memFree=1750088/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=111320 CPUtime=1002.04
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 33280 0 0 0 100178 26 0 0 18 0 2 0 360248534 113991680 26827 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 27830 26827 218 20 0 27188 0
[pid=14625/tid=14627] ppid=14623 vsize=111320 CPUtime=1001.87
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 32222 0 0 0 100162 25 0 0 25 0 2 0 360248551 113991680 26827 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 111320
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14627
/proc/meminfo: memFree=1749384/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=112040 CPUtime=1062.03
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 33990 0 0 0 106176 27 0 0 18 0 2 0 360248534 114728960 27001 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 28010 27001 218 20 0 27368 0
[pid=14625/tid=14627] ppid=14623 vsize=112040 CPUtime=1061.85
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 32932 0 0 0 106159 26 0 0 25 0 2 0 360248551 114728960 27001 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 112040
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14627
/proc/meminfo: memFree=1749384/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=112040 CPUtime=1122.01
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 34394 0 0 0 112174 27 0 0 18 0 2 0 360248534 114728960 27003 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 28010 27003 218 20 0 27368 0
[pid=14625/tid=14627] ppid=14623 vsize=112040 CPUtime=1121.84
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 33336 0 0 0 112157 27 0 0 25 0 2 0 360248551 114728960 27003 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 112040
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14627
/proc/meminfo: memFree=1747016/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=114440 CPUtime=1182
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 35388 0 0 0 118171 29 0 0 18 0 2 0 360248534 117186560 27595 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 28610 27595 218 20 0 27968 0
[pid=14625/tid=14627] ppid=14623 vsize=114440 CPUtime=1181.83
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 34330 0 0 0 118155 28 0 0 25 0 2 0 360248551 117186560 27595 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 114440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14627
/proc/meminfo: memFree=1747016/2055920 swapFree=4141212/4192956
[pid=14625] ppid=14623 vsize=114440 CPUtime=1200.1
/proc/14625/stat : 14625 (MiraXTv1_dyn) S 14623 14625 13138 0 -1 4194304 35522 0 0 0 119981 29 0 0 18 0 2 0 360248534 117186560 27595 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/14625/statm: 28610 27595 218 20 0 27968 0
[pid=14625/tid=14627] ppid=14623 vsize=114440 CPUtime=1199.92
/proc/14625/task/14627/stat : 14627 (MiraXTv1_dyn) R 14623 14625 13138 0 -1 4194368 34464 0 0 0 119964 28 0 0 25 0 2 0 360248551 117186560 27595 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 114440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.43
CPU time (s): 1200.13
CPU user time (s): 1199.82
CPU system time (s): 0.311952
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 114440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.82
system time used= 0.311952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35522
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= 2291
runsolver used 1.27381 second user time and 3.09853 second system time
The end
Begin job on node4 on Fri May 11 00:08:28 UTC 2007
IDJOB= 301785
IDBENCH= 20067
IDSOLVER= 130
FILE ID= node4/301785-1178842108
PBS_JOBID= 5250981
Free space on /tmp= 66560 MiB
SOLVER NAME= MiraXT v1
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v1100/unif-k5-r20-v1100-c22000-S811174248-16.cnf
COMMAND LINE= /tmp/evaluation/301785-1178842108/MiraXTv1_dyn /tmp/evaluation/301785-1178842108/instance-301785-1178842108.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-301785-1178842108 -o ROOT/results/node4/solver-301785-1178842108 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/301785-1178842108/MiraXTv1_dyn /tmp/evaluation/301785-1178842108/instance-301785-1178842108.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 501f8679d94954afbc271fea6b765cd5
RANDOM SEED= 683686448
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node4.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.218
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 : 5931.00
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.218
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: 1857392 kB
Buffers: 38460 kB
Cached: 84652 kB
SwapCached: 15676 kB
Active: 85880 kB
Inactive: 60804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1857392 kB
SwapTotal: 4192956 kB
SwapFree: 4141212 kB
Dirty: 4468 kB
Writeback: 0 kB
Mapped: 30012 kB
Slab: 37304 kB
Committed_AS: 9884508 kB
PageTables: 1816 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= 66560 MiB
End job on node4 on Fri May 11 00:28:30 UTC 2007