runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-455847-1179050535 -o ROOT/results/node16/solver-455847-1179050535 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/455847-1179050535/MiraXTv3_dyn /tmp/evaluation/455847-1179050535/instance-455847-1179050535.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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.84 1.97 1.82 3/77 17863
/proc/meminfo: memFree=1684288/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=3920 CPUtime=0
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 3 0 352971123 4014080 274 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 980 276 216 20 0 338 0
[pid=17863/tid=17864] ppid=17861 vsize=3920 CPUtime=0
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 12 0 0 0 0 0 0 0 19 0 3 0 352971123 4014080 278 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134537213 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=3920 CPUtime=0
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 3 0 352971123 4014080 278 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8052696 0 0 4096 0 0 0 0 -1 0 0 0
[startup+0.091527 s]
/proc/loadavg: 1.84 1.97 1.82 3/77 17863
/proc/meminfo: memFree=1684288/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=6488 CPUtime=0.17
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 569 0 0 0 17 0 0 0 18 0 3 0 352971123 6643712 544 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 1622 544 218 20 0 980 0
[pid=17863/tid=17864] ppid=17861 vsize=6488 CPUtime=0.08
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 100 0 0 0 8 0 0 0 17 0 3 0 352971123 6643712 544 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526426 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=6488 CPUtime=0.08
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 178 0 0 0 8 0 0 0 17 0 3 0 352971123 6643712 544 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 6488
[startup+0.102524 s]
/proc/loadavg: 1.84 1.97 1.82 3/77 17863
/proc/meminfo: memFree=1684288/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=6668 CPUtime=0.19
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 615 0 0 0 19 0 0 0 18 0 3 0 352971123 6828032 590 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 1667 590 218 20 0 1025 0
[pid=17863/tid=17864] ppid=17861 vsize=6668 CPUtime=0.09
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 121 0 0 0 9 0 0 0 17 0 3 0 352971123 6828032 590 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=6668 CPUtime=0.09
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 203 0 0 0 9 0 0 0 17 0 3 0 352971123 6828032 590 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6668
[startup+0.302482 s]
/proc/loadavg: 1.84 1.97 1.82 3/77 17863
/proc/meminfo: memFree=1684288/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=7404 CPUtime=0.59
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 943 0 0 0 59 0 0 0 18 0 3 0 352971123 7581696 918 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 1851 918 218 20 0 1209 0
[pid=17863/tid=17864] ppid=17861 vsize=7404 CPUtime=0.29
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 240 0 0 0 29 0 0 0 17 0 3 0 352971123 7581696 918 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=7404 CPUtime=0.29
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 412 0 0 0 29 0 0 0 18 0 3 0 352971123 7581696 918 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 7404
[startup+0.702408 s]
/proc/loadavg: 1.84 1.97 1.82 3/77 17863
/proc/meminfo: memFree=1684288/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=9648 CPUtime=1.38
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 1428 0 0 0 138 0 0 0 18 0 3 0 352971123 9879552 1403 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 2412 1403 218 20 0 1770 0
[pid=17863/tid=17864] ppid=17861 vsize=9648 CPUtime=0.69
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 464 0 0 0 69 0 0 0 17 0 3 0 352971123 9879552 1403 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=9648 CPUtime=0.69
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 673 0 0 0 69 0 0 0 19 0 3 0 352971123 9879552 1403 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526480 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9648
[startup+1.50123 s]
/proc/loadavg: 1.84 1.97 1.82 3/80 17866
/proc/meminfo: memFree=1678184/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=13164 CPUtime=2.98
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 1995 0 0 0 297 1 0 0 18 0 3 0 352971123 13479936 1970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 3291 1970 218 20 0 2649 0
[pid=17863/tid=17864] ppid=17861 vsize=13164 CPUtime=1.48
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 726 0 0 0 148 0 0 0 18 0 3 0 352971123 13479936 1970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=13164 CPUtime=1.48
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 978 0 0 0 148 0 0 0 19 0 3 0 352971123 13479936 1970 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 13164
[startup+3.10189 s]
/proc/loadavg: 1.85 1.97 1.82 3/80 17866
/proc/meminfo: memFree=1676392/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=14960 CPUtime=6.18
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 2536 0 0 0 617 1 0 0 18 0 3 0 352971123 15319040 2440 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 3740 2440 218 20 0 3098 0
[pid=17863/tid=17864] ppid=17861 vsize=14960 CPUtime=3.08
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 938 0 0 0 308 0 0 0 25 0 3 0 352971123 15319040 2440 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526341 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=14960 CPUtime=3.07
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 1307 0 0 0 307 0 0 0 25 0 3 0 352971123 15319040 2440 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 14960
[startup+6.30121 s]
/proc/loadavg: 1.85 1.97 1.82 3/80 17866
/proc/meminfo: memFree=1670632/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=20268 CPUtime=12.56
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 3979 0 0 0 1254 2 0 0 18 0 3 0 352971123 20754432 3785 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 5067 3785 218 20 0 4425 0
[pid=17863/tid=17864] ppid=17861 vsize=20268 CPUtime=6.29
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 1567 0 0 0 628 1 0 0 25 0 3 0 352971123 20754432 3785 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=20268 CPUtime=6.26
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 2121 0 0 0 626 0 0 0 23 0 3 0 352971123 20754432 3785 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526347 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 20268
[startup+12.7019 s]
/proc/loadavg: 1.87 1.97 1.82 3/80 17866
/proc/meminfo: memFree=1663016/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=26676 CPUtime=25.33
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 5848 0 0 0 2529 4 0 0 18 0 3 0 352971123 27316224 5432 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 6669 5432 218 20 0 6027 0
[pid=17863/tid=17864] ppid=17861 vsize=26676 CPUtime=12.68
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 2532 0 0 0 1266 2 0 0 25 0 3 0 352971123 27316224 5432 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=26676 CPUtime=12.63
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 3025 0 0 0 1262 1 0 0 24 0 3 0 352971123 27316224 5432 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 26676
[startup+25.5021 s]
/proc/loadavg: 1.89 1.97 1.83 3/80 17866
/proc/meminfo: memFree=1660264/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=29656 CPUtime=50.88
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 6928 0 0 0 5083 5 0 0 18 0 3 0 352971123 30367744 6168 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 7414 6168 218 20 0 6772 0
[pid=17863/tid=17864] ppid=17861 vsize=29656 CPUtime=25.48
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 3068 0 0 0 2546 2 0 0 25 0 3 0 352971123 30367744 6168 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=29656 CPUtime=25.38
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 3569 0 0 0 2536 2 0 0 25 0 3 0 352971123 30367744 6168 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 29656
[startup+51.1027 s]
/proc/loadavg: 1.93 1.97 1.83 3/80 17866
/proc/meminfo: memFree=1651624/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=38428 CPUtime=101.96
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 9710 0 0 0 10188 8 0 0 18 0 3 0 352971123 39350272 8308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 9607 8308 218 20 0 8965 0
[pid=17863/tid=17864] ppid=17861 vsize=38428 CPUtime=51.06
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 4512 0 0 0 5102 4 0 0 25 0 3 0 352971123 39350272 8308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=38428 CPUtime=50.88
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 4907 0 0 0 5085 3 0 0 25 0 3 0 352971123 39350272 8308 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 38428
[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.83 3/80 17866
/proc/meminfo: memFree=1647848/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=42416 CPUtime=204.16
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 11971 0 0 0 20406 10 0 0 18 0 3 0 352971123 43433984 9187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 10604 9187 218 20 0 9962 0
[pid=17863/tid=17864] ppid=17861 vsize=42416 CPUtime=102.25
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 5800 0 0 0 10220 5 0 0 25 0 3 0 352971123 43433984 9187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=42416 CPUtime=101.89
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 5880 0 0 0 10185 4 0 0 25 0 3 0 352971123 43433984 9187 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.16
Current children cumulated vsize (KiB) 42416
[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.84 3/80 17866
/proc/meminfo: memFree=1645224/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=45216 CPUtime=323.85
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 13991 0 0 0 32373 12 0 0 18 0 3 0 352971123 46301184 9802 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 11304 9802 218 20 0 10662 0
[pid=17863/tid=17864] ppid=17861 vsize=45216 CPUtime=162.21
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 6776 0 0 0 16215 6 0 0 25 0 3 0 352971123 46301184 9802 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=45216 CPUtime=161.63
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 6924 0 0 0 16157 6 0 0 25 0 3 0 352971123 46301184 9802 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526410 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.85
Current children cumulated vsize (KiB) 45216
Solver just ended. Dumping a history of the last processes samples
[startup+166.301 s]
/proc/loadavg: 1.99 1.97 1.84 3/80 17866
/proc/meminfo: memFree=1645224/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=45216 CPUtime=331.79
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 14019 0 0 0 33167 12 0 0 18 0 3 0 352971123 46301184 9830 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 11304 9830 218 20 0 10662 0
[pid=17863/tid=17864] ppid=17861 vsize=45216 CPUtime=166.18
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 6803 0 0 0 16612 6 0 0 25 0 3 0 352971123 46301184 9830 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=45216 CPUtime=165.61
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 6925 0 0 0 16555 6 0 0 25 0 3 0 352971123 46301184 9830 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 331.79
Current children cumulated vsize (KiB) 45216
[startup+167.902 s]
/proc/loadavg: 1.99 1.97 1.84 3/80 17866
/proc/meminfo: memFree=1645224/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=45348 CPUtime=334.99
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 14047 0 0 0 33487 12 0 0 18 0 3 0 352971123 46436352 9858 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 11337 9858 218 20 0 10695 0
[pid=17863/tid=17864] ppid=17861 vsize=45348 CPUtime=167.78
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 6830 0 0 0 16772 6 0 0 25 0 3 0 352971123 46436352 9858 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=45348 CPUtime=167.21
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 6926 0 0 0 16715 6 0 0 25 0 3 0 352971123 46436352 9858 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 334.99
Current children cumulated vsize (KiB) 45348
[startup+168.702 s]
/proc/loadavg: 1.99 1.97 1.84 3/80 17866
/proc/meminfo: memFree=1645224/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=45348 CPUtime=336.56
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 14056 0 0 0 33644 12 0 0 18 0 3 0 352971123 46436352 9867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 11337 9867 218 20 0 10695 0
[pid=17863/tid=17864] ppid=17861 vsize=45348 CPUtime=168.55
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 6836 0 0 0 16849 6 0 0 19 0 3 0 352971123 46436352 9867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=45348 CPUtime=168
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 6929 0 0 0 16794 6 0 0 25 0 3 0 352971123 46436352 9867 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 336.56
Current children cumulated vsize (KiB) 45348
[startup+169.503 s]
/proc/loadavg: 1.99 1.97 1.84 3/80 17866
/proc/meminfo: memFree=1644776/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=45348 CPUtime=338.16
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 14267 0 0 0 33804 12 0 0 18 0 3 0 352971123 46436352 9870 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 11337 9870 218 20 0 10695 0
[pid=17863/tid=17864] ppid=17861 vsize=45348 CPUtime=169.35
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 6941 0 0 0 16929 6 0 0 25 0 3 0 352971123 46436352 9870 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=45348 CPUtime=168.8
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 7035 0 0 0 16874 6 0 0 25 0 3 0 352971123 46436352 9870 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 338.16
Current children cumulated vsize (KiB) 45348
[startup+169.703 s]
/proc/loadavg: 1.99 1.97 1.84 3/80 17866
/proc/meminfo: memFree=1644776/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=45348 CPUtime=338.53
/proc/17863/stat : 17863 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194304 14267 0 0 0 33841 12 0 0 18 0 3 0 352971123 46436352 9870 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/17863/statm: 11337 9870 218 20 0 10695 0
[pid=17863/tid=17864] ppid=17861 vsize=45348 CPUtime=169.54
/proc/17863/task/17864/stat : 17864 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194368 6941 0 0 0 16948 6 0 0 25 0 3 0 352971123 46436352 9870 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=17863/tid=17865] ppid=17861 vsize=45348 CPUtime=168.98
/proc/17863/task/17865/stat : 17865 (MiraXTv3_dyn) S 17861 17863 17532 0 -1 4194368 7035 0 0 0 16892 6 0 0 17 0 3 0 352971123 46436352 9870 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 338.53
Current children cumulated vsize (KiB) 45348
[startup+169.803 s]
/proc/loadavg: 1.99 1.97 1.84 3/80 17866
/proc/meminfo: memFree=1644776/2055920 swapFree=4143424/4192956
[pid=17863] ppid=17861 vsize=35480 CPUtime=338.65
/proc/17863/stat : 17863 (MiraXTv3_dyn) R 17861 17863 17532 0 -1 4194304 14270 0 0 0 33853 12 0 0 17 0 1 0 352971123 36331520 7798 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7638568 0 0 4096 0 0 0 0 17 1 0 0
/proc/17863/statm: 8870 7798 220 20 0 8228 0
Current children cumulated CPU time (s) 338.65
Current children cumulated vsize (KiB) 35480
Child status: 20
Real time (s): 169.827
CPU time (s): 338.69
CPU user time (s): 338.554
CPU system time (s): 0.135979
CPU usage (%): 199.432
Max. virtual memory (cumulated for all children) (KiB): 45348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 338.554
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14273
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= 89
involuntary context switches= 6368
runsolver used 0.166974 second user time and 0.45893 second system time
The end
Begin job on node16 on Sun May 13 10:02:15 UTC 2007
IDJOB= 455847
IDBENCH= 20438
IDSOLVER= 196
FILE ID= node16/455847-1179050535
PBS_JOBID= 5253314
Free space on /tmp= 66536 MiB
SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/spence/medium/s73-100.cnf
COMMAND LINE= /tmp/evaluation/455847-1179050535/MiraXTv3_dyn /tmp/evaluation/455847-1179050535/instance-455847-1179050535.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-455847-1179050535 -o ROOT/results/node16/solver-455847-1179050535 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/455847-1179050535/MiraXTv3_dyn /tmp/evaluation/455847-1179050535/instance-455847-1179050535.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= e3db629d913d76ea47534f9df94ead1b
RANDOM SEED= 305251344
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node16.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.232
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.232
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: 1684504 kB
Buffers: 44904 kB
Cached: 234416 kB
SwapCached: 18112 kB
Active: 137156 kB
Inactive: 167388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1684504 kB
SwapTotal: 4192956 kB
SwapFree: 4143424 kB
Dirty: 3936 kB
Writeback: 0 kB
Mapped: 30152 kB
Slab: 52328 kB
Committed_AS: 14315184 kB
PageTables: 1868 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= 66536 MiB
End job on node16 on Sun May 13 10:05:05 UTC 2007