runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1723411-1240685711/watcher-1723411-1240685711 -o /tmp/evaluation-result-1723411-1240685711/solver-1723411-1240685711 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SApperloT-hrp -seed=2088392570 HOME/instance-1723411-1240685711.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): 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: 0.99 0.97 0.98 3/65 20050
/proc/meminfo: memFree=1718016/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=2316 CPUtime=0
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 96600993 2371584 292 1992294400 134512640 135712473 4294956208 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 579 293 95 292 0 284 0
[startup+0.00908908 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 20050
/proc/meminfo: memFree=1718016/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=2580 CPUtime=0
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 373 0 0 0 0 0 0 0 20 0 1 0 96600993 2641920 357 1992294400 134512640 135712473 4294956208 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 645 358 95 292 0 350 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2580
[startup+0.101098 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 20050
/proc/meminfo: memFree=1718016/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=6984 CPUtime=0.09
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 1526 0 0 0 9 0 0 0 20 0 1 0 96600993 7151616 1509 1992294400 134512640 135712473 4294956208 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 1746 1509 105 292 0 1451 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6984
[startup+0.301118 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 20050
/proc/meminfo: memFree=1718016/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=7304 CPUtime=0.29
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 1609 0 0 0 29 0 0 0 22 0 1 0 96600993 7479296 1592 1992294400 134512640 135712473 4294956208 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 1826 1592 105 292 0 1531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7304
[startup+0.701161 s]
/proc/loadavg: 0.99 0.97 0.98 3/65 20050
/proc/meminfo: memFree=1718016/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=7436 CPUtime=0.69
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 1646 0 0 0 69 0 0 0 25 0 1 0 96600993 7614464 1629 1992294400 134512640 135712473 4294956208 18446744073709551615 134564133 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 1859 1629 105 292 0 1564 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7436
[startup+1.50125 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20051
/proc/meminfo: memFree=1711672/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=7700 CPUtime=1.49
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 1716 0 0 0 149 0 0 0 25 0 1 0 96600993 7884800 1699 1992294400 134512640 135712473 4294956208 18446744073709551615 134564140 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 1925 1699 105 292 0 1630 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7700
[startup+3.10142 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20051
/proc/meminfo: memFree=1710136/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=9808 CPUtime=3.08
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 2235 0 0 0 308 0 0 0 25 0 1 0 96600993 10043392 2218 1992294400 134512640 135712473 4294956208 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 2452 2218 109 292 0 2157 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9808
[startup+6.30176 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20051
/proc/meminfo: memFree=1708152/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=11524 CPUtime=6.29
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 2653 0 0 0 628 1 0 0 25 0 1 0 96600993 11800576 2636 1992294400 134512640 135712473 4294956208 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 2881 2636 109 292 0 2586 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11524
[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20051
/proc/meminfo: memFree=1705144/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=13908 CPUtime=12.68
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 3246 0 0 0 1267 1 0 0 25 0 1 0 96600993 14241792 3229 1992294400 134512640 135712473 4294956208 18446744073709551615 134564117 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 3477 3229 110 292 0 3182 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13908
[startup+25.5018 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20051
/proc/meminfo: memFree=1699832/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=19628 CPUtime=25.48
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 4776 0 0 0 2545 3 0 0 25 0 1 0 96600993 20099072 4644 1992294400 134512640 135712473 4294956208 18446744073709551615 134564198 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 4907 4644 110 292 0 4612 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19628
[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20051
/proc/meminfo: memFree=1690936/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=28180 CPUtime=51.07
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 6916 0 0 0 5103 4 0 0 25 0 1 0 96600993 28856320 6784 1992294400 134512640 135712473 4294956208 18446744073709551615 134564382 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 7045 6784 110 292 0 6750 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28180
[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20051
/proc/meminfo: memFree=1654392/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=65104 CPUtime=102.26
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 16100 0 0 0 10215 11 0 0 25 0 1 0 96600993 66666496 15903 1992294400 134512640 135712473 4294956208 18446744073709551615 134564314 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 16276 15903 110 292 0 15981 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 65104
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20051
/proc/meminfo: memFree=1646520/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=73004 CPUtime=162.24
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 18056 0 0 0 16210 14 0 0 25 0 1 0 96600993 74756096 17859 1992294400 134512640 135712473 4294956208 18446744073709551615 134568451 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 18251 17859 110 292 0 17956 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 73004
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20051
/proc/meminfo: memFree=1625912/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=93568 CPUtime=222.23
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 23179 0 0 0 22205 18 0 0 25 0 1 0 96600993 95813632 22982 1992294400 134512640 135712473 4294956208 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 23392 22982 110 292 0 23097 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 93568
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20051
/proc/meminfo: memFree=1605112/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=114452 CPUtime=282.21
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 28367 0 0 0 28199 22 0 0 25 0 1 0 96600993 117198848 28170 1992294400 134512640 135712473 4294956208 18446744073709551615 134564354 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 28613 28170 110 292 0 28318 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 114452
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20051
/proc/meminfo: memFree=1591864/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=127884 CPUtime=342.19
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 31676 0 0 0 34195 24 0 0 25 0 1 0 96600993 130953216 31479 1992294400 134512640 135712473 4294956208 18446744073709551615 134603311 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 31971 31479 110 292 0 31676 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 127884
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1566704/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=153524 CPUtime=402.17
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 38017 0 0 0 40187 30 0 0 25 0 1 0 96600993 157208576 37691 1992294400 134512640 135712473 4294956208 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 38381 37691 110 292 0 38086 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 153524
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1565936/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=154524 CPUtime=462.16
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 38203 0 0 0 46186 30 0 0 25 0 1 0 96600993 158232576 37877 1992294400 134512640 135712473 4294956208 18446744073709551615 134564627 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 38631 37877 110 292 0 38336 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 154524
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1565040/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=156060 CPUtime=522.14
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 38471 0 0 0 52184 30 0 0 25 0 1 0 96600993 159805440 38145 1992294400 134512640 135712473 4294956208 18446744073709551615 134564603 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 39015 38145 110 292 0 38720 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 156060
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1564336/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=156828 CPUtime=582.12
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 38632 0 0 0 58182 30 0 0 25 0 1 0 96600993 160591872 38306 1992294400 134512640 135712473 4294956208 18446744073709551615 134564133 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 39207 38306 110 292 0 38912 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 156828
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1564144/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=157084 CPUtime=642.1
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 38670 0 0 0 64180 30 0 0 25 0 1 0 96600993 160854016 38344 1992294400 134512640 135712473 4294956208 18446744073709551615 135142851 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 39271 38344 110 292 0 38976 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 157084
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1564088/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=157084 CPUtime=702.08
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 38679 0 0 0 70178 30 0 0 25 0 1 0 96600993 160854016 38353 1992294400 134512640 135712473 4294956208 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 39271 38353 110 292 0 38976 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 157084
[startup+762.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1563768/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=157340 CPUtime=762.06
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 38740 0 0 0 76176 30 0 0 25 0 1 0 96600993 161116160 38414 1992294400 134512640 135712473 4294956208 18446744073709551615 134564055 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 39335 38414 110 292 0 39040 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 157340
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1563064/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=158236 CPUtime=822.05
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 38920 0 0 0 82174 31 0 0 25 0 1 0 96600993 162033664 38594 1992294400 134512640 135712473 4294956208 18446744073709551615 134554447 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 39559 38594 110 292 0 39264 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 158236
[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1562872/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=158492 CPUtime=882.03
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 38964 0 0 0 88172 31 0 0 25 0 1 0 96600993 162295808 38638 1992294400 134512640 135712473 4294956208 18446744073709551615 134564208 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 39623 38638 110 292 0 39328 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 158492
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1562360/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=159004 CPUtime=942.01
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 39069 0 0 0 94170 31 0 0 25 0 1 0 96600993 162820096 38743 1992294400 134512640 135712473 4294956208 18446744073709551615 134564108 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 39751 38743 110 292 0 39456 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 159004
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1562232/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=159004 CPUtime=1001.99
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 39097 0 0 0 100168 31 0 0 25 0 1 0 96600993 162820096 38771 1992294400 134512640 135712473 4294956208 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 39751 38771 110 292 0 39456 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 159004
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1561784/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=159516 CPUtime=1061.98
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 39202 0 0 0 106167 31 0 0 25 0 1 0 96600993 163344384 38876 1992294400 134512640 135712473 4294956208 18446744073709551615 134564354 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 39879 38876 110 292 0 39584 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 159516
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1561208/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=160028 CPUtime=1121.96
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 39326 0 0 0 112165 31 0 0 25 0 1 0 96600993 163868672 39000 1992294400 134512640 135712473 4294956208 18446744073709551615 134568117 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 40007 39000 110 292 0 39712 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 160028
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1560056/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=161572 CPUtime=1181.94
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 39615 0 0 0 118163 31 0 0 25 0 1 0 96600993 165449728 39289 1992294400 134512640 135712473 4294956208 18446744073709551615 134563041 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 40393 39289 110 292 0 40098 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 161572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 20057
/proc/meminfo: memFree=1559992/2055920 swapFree=4191900/4192956
[pid=20050] ppid=20048 vsize=161572 CPUtime=1200.04
/proc/20050/stat : 20050 (SApperloT-hrp) R 20048 20050 19887 0 -1 4194304 39629 0 0 0 119973 31 0 0 25 0 1 0 96600993 165449728 39303 1992294400 134512640 135712473 4294956208 18446744073709551615 134564047 0 0 4096 0 0 0 0 17 1 0 0
/proc/20050/statm: 40393 39303 110 292 0 40098 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 161572
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.08
CPU user time (s): 1199.74
CPU system time (s): 0.340948
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 161572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.74
system time used= 0.340948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39629
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= 2489
runsolver used 1.40779 second user time and 2.94855 second system time
The end
Begin job on node81 at 2009-04-25 20:55:12
IDJOB=1723411
IDBENCH=71699
IDSOLVER=510
FILE ID=node81/1723411-1240685711
PBS_JOBID= 9186706
Free space on /tmp= 126388 MiB
SOLVER NAME= SApperloT hrp
BENCH NAME= SAT_RACE06/goldb-heqc-i10mul.cnf
COMMAND LINE= HOME/SApperloT-hrp -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1723411-1240685711/watcher-1723411-1240685711 -o /tmp/evaluation-result-1723411-1240685711/solver-1723411-1240685711 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SApperloT-hrp -seed=2088392570 HOME/instance-1723411-1240685711.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 80e15f28c8e2d72627ec75fe75757317
RANDOM SEED=2088392570
node81.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.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1718432 kB
Buffers: 29792 kB
Cached: 236996 kB
SwapCached: 384 kB
Active: 130864 kB
Inactive: 150244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1718432 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 2984 kB
Writeback: 0 kB
Mapped: 22712 kB
Slab: 42132 kB
Committed_AS: 348992 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126388 MiB
End job on node81 at 2009-04-25 21:15:14