runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-334989-1173603058 -o ROOT/results/node3/solver-334989-1173603058 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/334989-1173603058/UnitMarch_32_bits /tmp/evaluation/334989-1173603058/instance-334989-1173603058.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: 1.00 1.00 1.00 3/77 6570
/proc/meminfo: memFree=1663912/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=2092 CPUtime=0
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 402 0 0 0 0 0 0 0 18 0 1 0 380261150 2142208 385 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990859 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 523 387 91 214 0 306 0
[startup+0.105878 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6570
/proc/meminfo: memFree=1663912/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=3964 CPUtime=0.1
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 856 0 0 0 10 0 0 0 18 0 1 0 380261150 4059136 806 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990859 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 991 806 92 214 0 774 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3964
[startup+0.201889 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6570
/proc/meminfo: memFree=1663912/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=5408 CPUtime=0.19
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 1277 0 0 0 19 0 0 0 19 0 1 0 380261150 5537792 1162 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990859 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 1352 1163 92 214 0 1135 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5408
[startup+0.301896 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6570
/proc/meminfo: memFree=1663912/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=6860 CPUtime=0.29
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 1651 0 0 0 29 0 0 0 19 0 1 0 380261150 7024640 1536 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990859 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 1715 1536 92 214 0 1498 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6860
[startup+0.701928 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 6570
/proc/meminfo: memFree=1663912/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=12784 CPUtime=0.69
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 3269 0 0 0 68 1 0 0 23 0 1 0 380261150 13090816 3025 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990859 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 3196 3026 92 214 0 2979 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12784
[startup+1.50199 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6571
/proc/meminfo: memFree=1647136/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=24632 CPUtime=1.49
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 6509 0 0 0 146 3 0 0 25 0 1 0 380261150 25223168 6008 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990859 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 6158 6008 92 214 0 5941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24632
[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6571
/proc/meminfo: memFree=1630752/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=52292 CPUtime=3.09
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 13977 0 0 0 302 7 0 0 25 0 1 0 380261150 53547008 11938 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990859 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 13073 11938 92 214 0 12856 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52292
[startup+6.30139 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6571
/proc/meminfo: memFree=1581344/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=103912 CPUtime=6.29
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 27967 0 0 0 616 13 0 0 25 0 1 0 380261150 106405888 23879 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990859 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 25978 23879 92 214 0 25761 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103912
[startup+12.7019 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 6571
/proc/meminfo: memFree=1498912/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=12.69
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 45710 0 0 0 1247 22 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529501 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 173116
[startup+25.502 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 6571
/proc/meminfo: memFree=1499104/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=25.48
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 46089 0 0 0 2526 22 0 0 25 0 1 0 380261150 177270784 41479 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517126 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41479 97 214 0 43062 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 173116
[startup+51.1011 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 6571
/proc/meminfo: memFree=1499040/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=51.06
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 46863 0 0 0 5083 23 0 0 25 0 1 0 380261150 177270784 41479 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517126 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41479 97 214 0 43062 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 173116
[startup+102.301 s]
/proc/loadavg: 1.12 1.04 1.01 2/78 6571
/proc/meminfo: memFree=1499040/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=102.25
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 48428 0 0 0 10201 24 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517126 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 173116
[startup+162.301 s]
/proc/loadavg: 1.08 1.04 1.01 2/78 6571
/proc/meminfo: memFree=1498976/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=162.23
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 50264 0 0 0 16198 25 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529625 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 173116
[startup+222.305 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 6571
/proc/meminfo: memFree=1498912/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=222.21
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 52082 0 0 0 22195 26 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529633 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 173116
[startup+282.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 6571
/proc/meminfo: memFree=1498848/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=282.2
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 53900 0 0 0 28192 28 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529625 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 173116
[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 6571
/proc/meminfo: memFree=1498784/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=342.18
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 55718 0 0 0 34189 29 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529693 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 173116
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6571
/proc/meminfo: memFree=1498720/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=402.16
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 57536 0 0 0 40186 30 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529605 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 173116
[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6571
/proc/meminfo: memFree=1498656/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=462.15
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 59354 0 0 0 46183 32 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529625 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 173116
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6571
/proc/meminfo: memFree=1498592/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=522.13
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 61190 0 0 0 52180 33 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529560 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 173116
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6571
/proc/meminfo: memFree=1498528/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=582.12
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 63008 0 0 0 58177 35 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529683 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 173116
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 6693
/proc/meminfo: memFree=1497072/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=642.05
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 64809 0 0 0 64168 37 0 0 25 0 1 0 380261150 177270784 41479 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517120 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41479 97 214 0 43062 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 173116
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6769
/proc/meminfo: memFree=1497824/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=702
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 66626 0 0 0 70162 38 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517103 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 173116
[startup+762.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6769
/proc/meminfo: memFree=1497888/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=761.99
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 68444 0 0 0 76160 39 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517145 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 173116
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6769
/proc/meminfo: memFree=1498016/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=821.97
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 70280 0 0 0 82156 41 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529605 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 173116
[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6769
/proc/meminfo: memFree=1498016/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=881.96
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 72098 0 0 0 88154 42 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529654 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 173116
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6769
/proc/meminfo: memFree=1497952/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=941.94
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 73916 0 0 0 94150 44 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529605 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 173116
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6769
/proc/meminfo: memFree=1497888/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=1001.92
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 75734 0 0 0 100147 45 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517126 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 173116
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6769
/proc/meminfo: memFree=1497824/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=1061.91
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 77552 0 0 0 106144 47 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517126 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 173116
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6769
/proc/meminfo: memFree=1497760/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=1121.9
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 79370 0 0 0 112141 49 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529766 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 173116
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6769
/proc/meminfo: memFree=1497696/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=1181.88
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 81188 0 0 0 118138 50 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529625 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 173116
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6769
/proc/meminfo: memFree=1497696/2055920 swapFree=4158660/4192956
[pid=6570] ppid=6568 vsize=173116 CPUtime=1200.08
/proc/6570/stat : 6570 (UnitMarch_32_bi) R 6568 6570 6005 0 -1 4194304 81746 0 0 0 119958 50 0 0 25 0 1 0 380261150 177270784 41496 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990999 0 0 4096 0 0 0 0 17 1 0 0
/proc/6570/statm: 43279 41496 97 214 0 43062 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 173116
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.53
CPU time (s): 1200.12
CPU user time (s): 1199.58
CPU system time (s): 0.534918
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 173116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.58
system time used= 0.534918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81746
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= 6
involuntary context switches= 24830
runsolver used 1.37379 second user time and 2.99154 second system time
The end
Begin job on node3 on Sun Mar 11 08:51:03 UTC 2007
IDJOB= 334989
IDBENCH= 24641
IDSOLVER= 97
FILE ID= node3/334989-1173603058
PBS_JOBID= 4101244
Free space on /tmp= 66317 MiB
SOLVER NAME= UnitMarch 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/334989-1173603058/UnitMarch_32_bits /tmp/evaluation/334989-1173603058/instance-334989-1173603058.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-334989-1173603058 -o ROOT/results/node3/solver-334989-1173603058 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/334989-1173603058/UnitMarch_32_bits /tmp/evaluation/334989-1173603058/instance-334989-1173603058.cnf
META MD5SUM SOLVER= cd0143c15836d32fe9acb8d523a59b67
MD5SUM BENCH= 181c4935b6e4cd791aedd030930111fa
RANDOM SEED= 701448474
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node3.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.241
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.241
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: 1664384 kB
Buffers: 6588 kB
Cached: 293892 kB
SwapCached: 2120 kB
Active: 237892 kB
Inactive: 85228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1664384 kB
SwapTotal: 4192956 kB
SwapFree: 4158660 kB
Dirty: 36076 kB
Writeback: 0 kB
Mapped: 30844 kB
Slab: 54116 kB
Committed_AS: 1548996 kB
PageTables: 1656 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= 66317 MiB
End job on node3 on Sun Mar 11 09:11:06 UTC 2007