runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-310353-1178871751 -o ROOT/results/node18/solver-310353-1178871751 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/310353-1178871751/MiraXTv2_dyn /tmp/evaluation/310353-1178871751/instance-310353-1178871751.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.85 0.97 0.99 3/77 9510
/proc/meminfo: memFree=1781752/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=3920 CPUtime=0
/proc/9510/stat : 9510 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194304 313 0 0 0 0 0 0 0 18 0 1 0 335092478 4014080 289 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134579235 0 0 4096 0 0 0 0 17 1 0 0
/proc/9510/statm: 980 294 205 20 0 338 0
[startup+0.088788 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 9510
/proc/meminfo: memFree=1781752/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=5320 CPUtime=0.08
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 583 0 0 0 8 0 0 0 18 0 2 0 335092478 5447680 558 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 1330 558 218 20 0 688 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5320
[startup+0.10279 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 9510
/proc/meminfo: memFree=1781752/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=5452 CPUtime=0.09
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 597 0 0 0 9 0 0 0 18 0 2 0 335092478 5582848 572 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 1363 572 218 20 0 721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5452
[startup+0.301809 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 9510
/proc/meminfo: memFree=1781752/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=6112 CPUtime=0.29
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 782 0 0 0 29 0 0 0 18 0 2 0 335092478 6258688 757 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 1528 757 218 20 0 886 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6112
[startup+0.702848 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 9510
/proc/meminfo: memFree=1781752/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=8088 CPUtime=0.69
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 1113 0 0 0 69 0 0 0 18 0 2 0 335092478 8282112 1088 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 2022 1088 218 20 0 1380 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8088
[startup+1.50192 s]
/proc/loadavg: 0.85 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1777128/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=9948 CPUtime=1.49
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 1609 0 0 0 149 0 0 0 18 0 2 0 335092478 10186752 1584 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 2487 1584 218 20 0 1845 0
[pid=9510/tid=9512] ppid=9508 vsize=9948 CPUtime=1.47
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 1191 0 0 0 147 0 0 0 25 0 2 0 335092479 10186752 1584 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526701 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9948
[startup+3.10108 s]
/proc/loadavg: 0.85 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1775784/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=12224 CPUtime=3.09
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 2224 0 0 0 308 1 0 0 18 0 2 0 335092478 12517376 2199 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 3056 2199 218 20 0 2414 0
[pid=9510/tid=9512] ppid=9508 vsize=12224 CPUtime=3.07
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 1806 0 0 0 306 1 0 0 25 0 2 0 335092479 12517376 2199 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526438 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12224
[startup+6.30139 s]
/proc/loadavg: 0.86 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1769192/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=17052 CPUtime=6.29
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 3488 0 0 0 627 2 0 0 18 0 2 0 335092478 17461248 3427 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 4263 3427 218 20 0 3621 0
[pid=9510/tid=9512] ppid=9508 vsize=17052 CPUtime=6.28
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 3070 0 0 0 626 2 0 0 25 0 2 0 335092479 17461248 3427 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134521714 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17052
[startup+12.702 s]
/proc/loadavg: 0.87 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1764328/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=22152 CPUtime=12.69
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 4849 0 0 0 1266 3 0 0 18 0 2 0 335092478 22683648 4703 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 5538 4703 218 20 0 4896 0
[pid=9510/tid=9512] ppid=9508 vsize=22152 CPUtime=12.67
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 4431 0 0 0 1265 2 0 0 25 0 2 0 335092479 22683648 4703 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22152
[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1756264/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=29408 CPUtime=25.48
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 6862 0 0 0 2544 4 0 0 18 0 2 0 335092478 30113792 6549 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 7352 6549 218 20 0 6710 0
[pid=9510/tid=9512] ppid=9508 vsize=29408 CPUtime=25.47
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 6444 0 0 0 2543 4 0 0 25 0 2 0 335092479 30113792 6549 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29408
[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1750312/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=34616 CPUtime=51.07
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 8535 0 0 0 5102 5 0 0 18 0 2 0 335092478 35446784 7898 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 8654 7898 218 20 0 8012 0
[pid=9510/tid=9512] ppid=9508 vsize=34616 CPUtime=51.06
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 8117 0 0 0 5101 5 0 0 25 0 2 0 335092479 35446784 7898 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34616
[startup+102.307 s]
/proc/loadavg: 0.97 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1746920/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=38108 CPUtime=102.26
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 9939 0 0 0 10220 6 0 0 18 0 2 0 335092478 39022592 8812 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 9527 8812 218 20 0 8885 0
[pid=9510/tid=9512] ppid=9508 vsize=38108 CPUtime=102.25
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 9521 0 0 0 10219 6 0 0 25 0 2 0 335092479 39022592 8812 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 38108
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1744616/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=41032 CPUtime=162.25
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 11316 0 0 0 16217 8 0 0 18 0 2 0 335092478 42016768 9458 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 10258 9458 218 20 0 9616 0
[pid=9510/tid=9512] ppid=9508 vsize=41032 CPUtime=162.23
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 10898 0 0 0 16215 8 0 0 25 0 2 0 335092479 42016768 9458 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 41032
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1743144/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=42100 CPUtime=222.23
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 12077 0 0 0 22214 9 0 0 18 0 2 0 335092478 43110400 9691 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 10525 9691 218 20 0 9883 0
[pid=9510/tid=9512] ppid=9508 vsize=42100 CPUtime=222.22
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 11659 0 0 0 22213 9 0 0 25 0 2 0 335092479 43110400 9691 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 42100
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1742568/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=42692 CPUtime=282.22
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 12921 0 0 0 28212 10 0 0 18 0 2 0 335092478 43716608 9841 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 10673 9841 218 20 0 10031 0
[pid=9510/tid=9512] ppid=9508 vsize=42692 CPUtime=282.21
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 12503 0 0 0 28211 10 0 0 25 0 2 0 335092479 43716608 9841 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526686 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 42692
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1739432/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=45684 CPUtime=342.21
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 14311 0 0 0 34209 12 0 0 18 0 2 0 335092478 46780416 10598 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 11421 10598 218 20 0 10779 0
[pid=9510/tid=9512] ppid=9508 vsize=45684 CPUtime=342.19
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 13893 0 0 0 34208 11 0 0 25 0 2 0 335092479 46780416 10598 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 45684
[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1738280/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=46768 CPUtime=402.19
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 15254 0 0 0 40206 13 0 0 18 0 2 0 335092478 47890432 10897 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 11692 10897 218 20 0 11050 0
[pid=9510/tid=9512] ppid=9508 vsize=46768 CPUtime=402.18
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 14836 0 0 0 40205 13 0 0 25 0 2 0 335092479 47890432 10897 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 46768
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1737768/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=47376 CPUtime=462.18
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 15957 0 0 0 46204 14 0 0 18 0 2 0 335092478 48513024 11029 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 11844 11029 218 20 0 11202 0
[pid=9510/tid=9512] ppid=9508 vsize=47376 CPUtime=462.16
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 15539 0 0 0 46202 14 0 0 25 0 2 0 335092479 48513024 11029 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 47376
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1737512/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=47508 CPUtime=522.16
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 16598 0 0 0 52202 14 0 0 18 0 2 0 335092478 48648192 11091 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 11877 11091 218 20 0 11235 0
[pid=9510/tid=9512] ppid=9508 vsize=47508 CPUtime=522.14
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 16180 0 0 0 52200 14 0 0 25 0 2 0 335092479 48648192 11091 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526686 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 47508
[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1736552/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=48460 CPUtime=582.14
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 17497 0 0 0 58199 15 0 0 18 0 2 0 335092478 49623040 11319 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 12115 11319 218 20 0 11473 0
[pid=9510/tid=9512] ppid=9508 vsize=48460 CPUtime=582.13
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 17079 0 0 0 58198 15 0 0 25 0 2 0 335092479 49623040 11319 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 48460
[startup+642.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1736360/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=48632 CPUtime=642.14
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 18225 0 0 0 64198 16 0 0 18 0 2 0 335092478 49799168 11364 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 12158 11364 218 20 0 11516 0
[pid=9510/tid=9512] ppid=9508 vsize=48632 CPUtime=642.12
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 17807 0 0 0 64196 16 0 0 25 0 2 0 335092479 49799168 11364 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 48632
[startup+702.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1736360/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=48632 CPUtime=702.11
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 18779 0 0 0 70195 16 0 0 18 0 2 0 335092478 49799168 11398 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 12158 11398 218 20 0 11516 0
[pid=9510/tid=9512] ppid=9508 vsize=48632 CPUtime=702.1
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 18361 0 0 0 70194 16 0 0 25 0 2 0 335092479 49799168 11398 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 48632
[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1736104/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=48900 CPUtime=762.1
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 19451 0 0 0 76193 17 0 0 18 0 2 0 335092478 50073600 11454 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 12225 11454 218 20 0 11583 0
[pid=9510/tid=9512] ppid=9508 vsize=48900 CPUtime=762.09
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 19033 0 0 0 76192 17 0 0 25 0 2 0 335092479 50073600 11454 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 48900
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1735272/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=49852 CPUtime=822.08
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 20237 0 0 0 82190 18 0 0 18 0 2 0 335092478 51048448 11705 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 12463 11705 218 20 0 11821 0
[pid=9510/tid=9512] ppid=9508 vsize=49852 CPUtime=822.07
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 19819 0 0 0 82189 18 0 0 25 0 2 0 335092479 51048448 11705 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526435 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 49852
[startup+882.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1733800/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=51048 CPUtime=882.08
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 21096 0 0 0 88188 20 0 0 18 0 2 0 335092478 52273152 12024 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 12762 12024 218 20 0 12120 0
[pid=9510/tid=9512] ppid=9508 vsize=51048 CPUtime=882.05
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 20678 0 0 0 88186 19 0 0 25 0 2 0 335092479 52273152 12024 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526691 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 51048
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1733480/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=51872 CPUtime=942.05
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 21835 0 0 0 94185 20 0 0 18 0 2 0 335092478 53116928 12127 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 12968 12127 218 20 0 12326 0
[pid=9510/tid=9512] ppid=9508 vsize=51872 CPUtime=942.04
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 21417 0 0 0 94184 20 0 0 25 0 2 0 335092479 53116928 12127 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 51872
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1733352/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=52032 CPUtime=1002.04
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 22419 0 0 0 100183 21 0 0 18 0 2 0 335092478 53280768 12160 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 13008 12160 218 20 0 12366 0
[pid=9510/tid=9512] ppid=9508 vsize=52032 CPUtime=1002.03
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 22001 0 0 0 100182 21 0 0 25 0 2 0 335092479 53280768 12160 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134565535 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 52032
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1733032/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=52336 CPUtime=1062.03
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 23049 0 0 0 106181 22 0 0 18 0 2 0 335092478 53592064 12236 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 13084 12236 218 20 0 12442 0
[pid=9510/tid=9512] ppid=9508 vsize=52336 CPUtime=1062.01
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 22631 0 0 0 106179 22 0 0 25 0 2 0 335092479 53592064 12236 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526290 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 52336
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9512
/proc/meminfo: memFree=1732904/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=52336 CPUtime=1122.01
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 23722 0 0 0 112178 23 0 0 18 0 2 0 335092478 53592064 12258 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 13084 12258 218 20 0 12442 0
[pid=9510/tid=9512] ppid=9508 vsize=52336 CPUtime=1122
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 23304 0 0 0 112177 23 0 0 25 0 2 0 335092479 53592064 12258 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526686 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 52336
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9514
/proc/meminfo: memFree=1732456/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=52872 CPUtime=1182
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 24426 0 0 0 118176 24 0 0 18 0 2 0 335092478 54140928 12398 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 13218 12398 218 20 0 12576 0
[pid=9510/tid=9512] ppid=9508 vsize=52872 CPUtime=1181.98
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 24008 0 0 0 118174 24 0 0 25 0 2 0 335092479 54140928 12398 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 52872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 9514
/proc/meminfo: memFree=1731688/2055920 swapFree=4144420/4192956
[pid=9510] ppid=9508 vsize=53532 CPUtime=1200.09
/proc/9510/stat : 9510 (MiraXTv2_dyn) S 9508 9510 9438 0 -1 4194304 24784 0 0 0 119985 24 0 0 18 0 2 0 335092478 54816768 12568 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9510/statm: 13383 12568 218 20 0 12741 0
[pid=9510/tid=9512] ppid=9508 vsize=53532 CPUtime=1200.08
/proc/9510/task/9512/stat : 9512 (MiraXTv2_dyn) R 9508 9510 9438 0 -1 4194368 24366 0 0 0 119984 24 0 0 25 0 2 0 335092479 54816768 12568 18446744073709551615 134512640 134597668 4294956656 18446744073709551615 134526296 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 53532
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.42
CPU time (s): 1200.12
CPU user time (s): 1199.86
CPU system time (s): 0.253961
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 53532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.86
system time used= 0.253961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24784
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= 1047
runsolver used 1.26681 second user time and 3.10653 second system time
The end
Begin job on node18 on Fri May 11 08:22:31 UTC 2007
IDJOB= 310353
IDBENCH= 20284
IDSOLVER= 129
FILE ID= node18/310353-1178871751
PBS_JOBID= 5251056
Free space on /tmp= 66556 MiB
SOLVER NAME= MiraXT v2
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v1170/unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf
COMMAND LINE= /tmp/evaluation/310353-1178871751/MiraXTv2_dyn /tmp/evaluation/310353-1178871751/instance-310353-1178871751.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-310353-1178871751 -o ROOT/results/node18/solver-310353-1178871751 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/310353-1178871751/MiraXTv2_dyn /tmp/evaluation/310353-1178871751/instance-310353-1178871751.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 19894e180d089892cac2d8b0cea80a17
RANDOM SEED= 972941688
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node18.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.234
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.234
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: 1781968 kB
Buffers: 46948 kB
Cached: 137400 kB
SwapCached: 18496 kB
Active: 112180 kB
Inactive: 100172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1781968 kB
SwapTotal: 4192956 kB
SwapFree: 4144420 kB
Dirty: 4140 kB
Writeback: 0 kB
Mapped: 29876 kB
Slab: 47124 kB
Committed_AS: 8755260 kB
PageTables: 1776 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= 66556 MiB
End job on node18 on Fri May 11 08:42:34 UTC 2007