runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1724158-1240693037/watcher-1724158-1240693037 -o /tmp/evaluation-result-1724158-1240693037/solver-1724158-1240693037 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/TNM HOME/instance-1724158-1240693037.cnf 1232109389
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): 1800 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.00 1.01 1.06 3/64 21404
/proc/meminfo: memFree=1775856/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=450932 CPUtime=0
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 108 0 0 0 0 0 0 0 18 0 1 0 97337076 461754368 93 1992294400 134512640 135094415 4294956208 18446744073709551615 134596542 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 112733 93 49 142 0 111612 0
[startup+0.0108449 s]
/proc/loadavg: 1.00 1.01 1.06 3/64 21404
/proc/meminfo: memFree=1775856/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=451064 CPUtime=0
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 97337076 461889536 133 1992294400 134512640 135094415 4294956208 18446744073709551615 134596542 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 112766 133 49 142 0 111645 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 451064
[startup+0.101861 s]
/proc/loadavg: 1.00 1.01 1.06 3/64 21404
/proc/meminfo: memFree=1775856/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=452384 CPUtime=0.09
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 731 0 0 0 9 0 0 0 18 0 1 0 97337076 463241216 716 1992294400 134512640 135094415 4294956208 18446744073709551615 134596542 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 113096 716 49 142 0 111975 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 452384
[startup+0.301895 s]
/proc/loadavg: 1.00 1.01 1.06 3/64 21404
/proc/meminfo: memFree=1775856/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=455420 CPUtime=0.29
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 2005 0 0 0 29 0 0 0 19 0 1 0 97337076 466350080 1990 1992294400 134512640 135094415 4294956208 18446744073709551615 134596542 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 113855 1990 49 142 0 112734 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 455420
[startup+0.701965 s]
/proc/loadavg: 1.00 1.01 1.06 3/64 21404
/proc/meminfo: memFree=1775856/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=472444 CPUtime=0.69
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 7892 0 0 0 66 3 0 0 22 0 1 0 97337076 483782656 7876 1992294400 134512640 135094415 4294956208 18446744073709551615 134579382 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 118111 7879 49 142 0 116990 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 472444
[startup+1.50111 s]
/proc/loadavg: 1.00 1.01 1.06 2/65 21405
/proc/meminfo: memFree=1732392/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=481948 CPUtime=1.48
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 10890 0 0 0 144 4 0 0 25 0 1 0 97337076 493514752 10874 1992294400 134512640 135094415 4294956208 18446744073709551615 134523837 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 120487 10874 49 142 0 119366 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 481948
[startup+3.10139 s]
/proc/loadavg: 1.00 1.01 1.06 2/65 21405
/proc/meminfo: memFree=1732200/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=483268 CPUtime=3.09
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 13171 0 0 0 304 5 0 0 25 0 1 0 97337076 494866432 13155 1992294400 134512640 135094415 4294956208 18446744073709551615 134579382 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 120817 13156 50 142 0 119696 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 483268
[startup+6.30195 s]
/proc/loadavg: 1.00 1.01 1.06 2/65 21405
/proc/meminfo: memFree=1701872/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=486568 CPUtime=6.29
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18394 0 0 0 621 8 0 0 25 0 1 0 97337076 498245632 18378 1992294400 134512640 135094415 4294956208 18446744073709551615 134528107 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 121642 18378 50 142 0 120521 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 486568
[startup+12.7011 s]
/proc/loadavg: 1.00 1.01 1.06 2/65 21405
/proc/meminfo: memFree=1701936/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=486568 CPUtime=12.69
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18394 0 0 0 1261 8 0 0 25 0 1 0 97337076 498245632 18378 1992294400 134512640 135094415 4294956208 18446744073709551615 134526761 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 121642 18378 50 142 0 120521 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 486568
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.05 2/65 21405
/proc/meminfo: memFree=1701936/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=25.49
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 2541 8 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134527055 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 490468
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.05 2/65 21405
/proc/meminfo: memFree=1701936/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=51.08
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 5100 8 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134528824 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 490468
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.05 2/65 21405
/proc/meminfo: memFree=1702000/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=102.26
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 10218 8 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134528571 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 490468
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/65 21405
/proc/meminfo: memFree=1702000/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=162.23
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 16215 8 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134527256 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 490468
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/65 21405
/proc/meminfo: memFree=1702000/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=222.21
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 22213 8 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134526679 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 490468
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/65 21411
/proc/meminfo: memFree=1701808/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=282.18
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 28210 8 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134526681 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 490468
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 21411
/proc/meminfo: memFree=1701808/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=342.17
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 34208 9 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134528851 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 490468
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 21411
/proc/meminfo: memFree=1701744/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=402.15
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 40206 9 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134526901 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 490468
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 21411
/proc/meminfo: memFree=1701744/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=462.12
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 46203 9 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134528798 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 490468
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 21411
/proc/meminfo: memFree=1701680/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=522.1
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 52201 9 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134527003 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 490468
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21411
/proc/meminfo: memFree=1701680/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=582.08
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 58199 9 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134527896 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 490468
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21411
/proc/meminfo: memFree=1701680/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=642.06
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 64197 9 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134528646 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 490468
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21411
/proc/meminfo: memFree=1701680/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=702.04
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 70194 10 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134528851 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 490468
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21411
/proc/meminfo: memFree=1701616/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=762.02
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 76192 10 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134528676 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 490468
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21411
/proc/meminfo: memFree=1701616/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=822
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 82190 10 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134527795 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 490468
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21411
/proc/meminfo: memFree=1701552/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=881.97
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 88187 10 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134527102 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 490468
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21411
/proc/meminfo: memFree=1701552/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=941.95
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 94185 10 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134528851 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 490468
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21411
/proc/meminfo: memFree=1701488/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=1001.94
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 100183 11 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134526281 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 490468
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21411
/proc/meminfo: memFree=1701488/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=1061.92
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 106181 11 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134527784 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 490468
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21411
/proc/meminfo: memFree=1701424/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=1121.89
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 112178 11 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134526318 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 490468
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21411
/proc/meminfo: memFree=1701552/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=1181.87
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 118176 11 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134528824 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 490468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21411
/proc/meminfo: memFree=1701552/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=1200.07
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 119996 11 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134528494 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 490468
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/65 21411
/proc/meminfo: memFree=1701552/2055920 swapFree=4181888/4192956
[pid=21404] ppid=21402 vsize=490468 CPUtime=1200.07
/proc/21404/stat : 21404 (TNM) R 21402 21404 21222 0 -1 4194304 18395 0 0 0 119996 11 0 0 25 0 1 0 97337076 502239232 18379 1992294400 134512640 135094415 4294956208 18446744073709551615 134528494 0 0 4096 0 0 0 0 17 1 0 0
/proc/21404/statm: 122617 18379 50 142 0 121496 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 490468
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.52
CPU time (s): 1200.09
CPU user time (s): 1199.96
CPU system time (s): 0.12898
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 490468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.96
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18395
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= 2
involuntary context switches= 2317
runsolver used 0.913861 second user time and 2.6126 second system time
The end
Begin job on node18 at 2009-04-25 22:57:18
IDJOB=1724158
IDBENCH=71758
IDSOLVER=532
FILE ID=node18/1724158-1240693037
PBS_JOBID= 9186728
Free space on /tmp= 66140 MiB
SOLVER NAME= TNM 2009-03-22
BENCH NAME= SAT_RACE06/simon-s03-fifo8-300.cnf
COMMAND LINE= HOME/TNM BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1724158-1240693037/watcher-1724158-1240693037 -o /tmp/evaluation-result-1724158-1240693037/solver-1724158-1240693037 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/TNM HOME/instance-1724158-1240693037.cnf 1232109389
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bc88ff447c824a634465ac9483a47d5c
RANDOM SEED=1232109389
node18.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.280
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.280
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: 1776272 kB
Buffers: 32920 kB
Cached: 189160 kB
SwapCached: 5176 kB
Active: 130712 kB
Inactive: 99592 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1776272 kB
SwapTotal: 4192956 kB
SwapFree: 4181888 kB
Dirty: 13724 kB
Writeback: 0 kB
Mapped: 13912 kB
Slab: 35436 kB
Committed_AS: 372668 kB
PageTables: 1372 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= 66132 MiB
End job on node18 at 2009-04-25 23:17:21