0.20/0.21 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.20/0.21 c Parsing = 1
0.78/0.82 c Building = 1
137.03/138.17 c [ NumberOfVariables = 1500 ]
137.03/138.17 c [ NumberOfConstraints = 22067 ]
137.03/138.19 c [ SizeOfSearchSpace(log2) = 13416 ]
137.03/138.19 c SymmetrySearch = 1
142.39/143.53 c InitialPropagation = 1
142.39/143.59 c [ SizeOfSearchSpace(log2) = 13409.5 ]
142.39/143.59 c InitialSAC = (Timeout)
174.70/176.18 c [ SizeOfSearchSpace(log2) = 13399.6 ]
174.80/176.22 c Search(DomWDeg) =
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086599-1215240186/watcher-1086599-1215240186 -o /tmp/evaluation-result-1086599-1215240186/solver-1086599-1215240186 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1086599-1215240186.xml 1151346813
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 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: 2.00 2.00 2.00 4/73 1933
/proc/meminfo: memFree=1667064/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=1056 CPUtime=0
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 40 0 0 0 0 0 0 0 21 0 1 0 2002993242 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 7512868 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 264 26 20 235 0 3 0
[startup+0.212388 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 1933
/proc/meminfo: memFree=1667064/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=8212 CPUtime=0.2
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 1169 0 0 0 20 0 0 0 19 0 1 0 2002993242 8409088 1129 996147200 134512640 135477443 4294956224 18446744073709551615 134755060 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 2053 1129 370 235 0 754 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 8212
[startup+0.301396 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 1933
/proc/meminfo: memFree=1667064/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=9400 CPUtime=0.28
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 1447 0 0 0 28 0 0 0 19 0 1 0 2002993242 9625600 1407 996147200 134512640 135477443 4294956224 18446744073709551615 7945965 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 2350 1407 370 235 0 1051 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9400
[startup+0.401406 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 1933
/proc/meminfo: memFree=1667064/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=10588 CPUtime=0.38
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 1755 0 0 0 38 0 0 0 20 0 1 0 2002993242 10842112 1715 996147200 134512640 135477443 4294956224 18446744073709551615 4158759487 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 2647 1715 370 235 0 1348 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 10588
[startup+0.70143 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 1933
/proc/meminfo: memFree=1667064/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=14152 CPUtime=0.67
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 2654 0 0 0 67 0 0 0 23 0 1 0 2002993242 14491648 2614 996147200 134512640 135477443 4294956224 18446744073709551615 134755029 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 3538 2614 370 235 0 2239 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 14152
[startup+1.5015 s]
/proc/loadavg: 2.16 2.03 2.01 3/74 1934
/proc/meminfo: memFree=1583280/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=359116 CPUtime=1.48
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 22800 0 0 0 139 9 0 0 25 0 1 0 2002993242 367734784 21398 996147200 134512640 135477443 4294956224 18446744073709551615 134583214 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 89779 21398 461 235 0 88480 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 359116
[startup+3.10164 s]
/proc/loadavg: 2.16 2.03 2.01 3/74 1934
/proc/meminfo: memFree=1582832/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=361896 CPUtime=3.06
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 28774 0 0 0 295 11 0 0 25 0 1 0 2002993242 370581504 22077 996147200 134512640 135477443 4294956224 18446744073709551615 135269087 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 90474 22077 461 235 0 89175 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 361896
[startup+6.30192 s]
/proc/loadavg: 2.15 2.03 2.01 3/74 1934
/proc/meminfo: memFree=1575600/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=366912 CPUtime=6.23
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 37928 0 0 0 608 15 0 0 25 0 1 0 2002993242 375717888 23351 996147200 134512640 135477443 4294956224 18446744073709551615 135268962 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 91728 23351 461 235 0 90429 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 366912
[startup+12.7015 s]
/proc/loadavg: 2.13 2.03 2.01 3/74 1934
/proc/meminfo: memFree=1566704/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=376564 CPUtime=12.59
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 55707 0 0 0 1236 23 0 0 25 0 1 0 2002993242 385601536 25758 996147200 134512640 135477443 4294956224 18446744073709551615 134694714 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 94141 25758 461 235 0 92842 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 376564
[startup+25.5066 s]
/proc/loadavg: 2.10 2.03 2.01 3/74 1934
/proc/meminfo: memFree=1541936/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=399952 CPUtime=25.3
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 95495 0 0 0 2493 37 0 0 25 0 1 0 2002993242 409550848 31692 996147200 134512640 135477443 4294956224 18446744073709551615 134694731 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 99988 31692 461 235 0 98689 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 399952
[startup+51.1019 s]
/proc/loadavg: 2.07 2.03 2.01 3/74 1934
/proc/meminfo: memFree=1498224/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=442900 CPUtime=50.7
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 170698 0 0 0 5006 64 0 0 25 0 1 0 2002993242 453529600 42539 996147200 134512640 135477443 4294956224 18446744073709551615 135268208 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 110725 42539 465 235 0 109426 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 442900
[startup+102.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/74 1934
/proc/meminfo: memFree=1421488/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=519096 CPUtime=101.51
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 301980 0 0 0 10038 113 0 0 25 0 1 0 2002993242 531554304 61735 996147200 134512640 135477443 4294956224 18446744073709551615 135269072 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 129774 61735 465 235 0 128475 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 519096
[startup+162.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/74 1934
/proc/meminfo: memFree=1341680/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=161.02
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 434485 0 0 0 15889 213 0 0 25 0 1 0 2002993242 406659072 81594 996147200 134512640 135477443 4294956224 18446744073709551615 134694696 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 99282 81594 508 235 0 97983 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 397128
[startup+222.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 1934
/proc/meminfo: memFree=1339952/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=220.55
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 434912 0 0 0 21841 214 0 0 25 0 1 0 2002993242 406659072 82021 996147200 134512640 135477443 4294956224 18446744073709551615 135208563 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 99282 82021 529 235 0 97983 0
Current children cumulated CPU time (s) 220.55
Current children cumulated vsize (KiB) 397128
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 1934
/proc/meminfo: memFree=1339952/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=280.06
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 434913 0 0 0 27792 214 0 0 25 0 1 0 2002993242 406659072 82022 996147200 134512640 135477443 4294956224 18446744073709551615 135208587 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 99282 82022 529 235 0 97983 0
Current children cumulated CPU time (s) 280.06
Current children cumulated vsize (KiB) 397128
[startup+342.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 1934
/proc/meminfo: memFree=1339832/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=339.6
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 434932 0 0 0 33745 215 0 0 25 0 1 0 2002993242 406659072 82041 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 99282 82041 529 235 0 97983 0
Current children cumulated CPU time (s) 339.6
Current children cumulated vsize (KiB) 397128
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 1934
/proc/meminfo: memFree=1339832/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=399.12
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 434932 0 0 0 39697 215 0 0 25 0 1 0 2002993242 406659072 82041 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 99282 82041 529 235 0 97983 0
Current children cumulated CPU time (s) 399.12
Current children cumulated vsize (KiB) 397128
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 1934
/proc/meminfo: memFree=1339512/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=458.64
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435001 0 0 0 45648 216 0 0 25 0 1 0 2002993242 406659072 82110 996147200 134512640 135477443 4294956224 18446744073709551615 135208558 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 99282 82110 529 235 0 97983 0
Current children cumulated CPU time (s) 458.64
Current children cumulated vsize (KiB) 397128
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 1934
/proc/meminfo: memFree=1339512/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=518.16
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435001 0 0 0 51600 216 0 0 25 0 1 0 2002993242 406659072 82110 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 99282 82110 529 235 0 97983 0
Current children cumulated CPU time (s) 518.16
Current children cumulated vsize (KiB) 397128
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 1934
/proc/meminfo: memFree=1339448/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=577.69
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 57552 217 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 577.69
Current children cumulated vsize (KiB) 397128
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 1934
/proc/meminfo: memFree=1339384/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=637.2
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 63503 217 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 637.2
Current children cumulated vsize (KiB) 397128
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.16 2.06 2.01 3/74 1934
/proc/meminfo: memFree=1339320/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=875.27
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 87307 220 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 875.27
Current children cumulated vsize (KiB) 397128
[startup+942.301 s]
/proc/loadavg: 2.06 2.05 2.00 3/74 1934
/proc/meminfo: memFree=1339256/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=934.8
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 93259 221 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 934.8
Current children cumulated vsize (KiB) 397128
[startup+1002.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/82 1976
/proc/meminfo: memFree=1386936/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=994.74
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 99253 221 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 994.74
Current children cumulated vsize (KiB) 397128
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/83 1977
/proc/meminfo: memFree=1257264/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1054.71
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 105250 221 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1054.71
Current children cumulated vsize (KiB) 397128
[startup+1122.3 s]
/proc/loadavg: 2.28 2.08 2.02 3/83 1985
/proc/meminfo: memFree=688232/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1114.69
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 111247 222 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208581 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1114.69
Current children cumulated vsize (KiB) 397128
[startup+1182.3 s]
/proc/loadavg: 2.50 2.19 2.06 4/82 1986
/proc/meminfo: memFree=685472/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1174.67
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 117245 222 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1174.67
Current children cumulated vsize (KiB) 397128
[startup+1242.3 s]
/proc/loadavg: 2.56 2.27 2.09 3/82 1986
/proc/meminfo: memFree=683552/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1234.65
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 123243 222 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1234.65
Current children cumulated vsize (KiB) 397128
[startup+1302.3 s]
/proc/loadavg: 2.24 2.23 2.09 4/83 2027
/proc/meminfo: memFree=1295536/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1294.63
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 129240 223 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1294.63
Current children cumulated vsize (KiB) 397128
[startup+1362.3 s]
/proc/loadavg: 2.15 2.20 2.09 3/83 2027
/proc/meminfo: memFree=1184880/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1354.61
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 135238 223 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1354.61
Current children cumulated vsize (KiB) 397128
[startup+1422.3 s]
/proc/loadavg: 2.05 2.16 2.08 3/83 2027
/proc/meminfo: memFree=1067248/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1414.59
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 141236 223 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1414.59
Current children cumulated vsize (KiB) 397128
[startup+1482.3 s]
/proc/loadavg: 2.05 2.14 2.08 3/82 2029
/proc/meminfo: memFree=881456/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1474.57
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 147234 223 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1474.57
Current children cumulated vsize (KiB) 397128
[startup+1542.3 s]
/proc/loadavg: 2.02 2.12 2.08 3/82 2029
/proc/meminfo: memFree=881520/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1534.55
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 153232 223 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1534.55
Current children cumulated vsize (KiB) 397128
[startup+1602.3 s]
/proc/loadavg: 2.00 2.09 2.07 3/82 2029
/proc/meminfo: memFree=881520/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1594.52
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 159229 223 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208674 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1594.52
Current children cumulated vsize (KiB) 397128
[startup+1662.31 s]
/proc/loadavg: 2.07 2.09 2.07 3/82 2029
/proc/meminfo: memFree=881520/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1654.51
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 165228 223 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208587 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1654.51
Current children cumulated vsize (KiB) 397128
[startup+1722.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/82 2029
/proc/meminfo: memFree=881456/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1714.48
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 171225 223 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1714.48
Current children cumulated vsize (KiB) 397128
[startup+1782.3 s]
/proc/loadavg: 2.09 2.08 2.07 3/82 2029
/proc/meminfo: memFree=881264/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1774.46
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 177223 223 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1774.46
Current children cumulated vsize (KiB) 397128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.9 s]
/proc/loadavg: 2.12 2.09 2.07 3/82 2029
/proc/meminfo: memFree=881264/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1800.06
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 179783 223 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208574 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 397128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1807.9 s]
/proc/loadavg: 2.12 2.09 2.07 3/82 2029
/proc/meminfo: memFree=881264/2055920 swapFree=4180972/4192956
[pid=1933] ppid=1931 vsize=397128 CPUtime=1800.06
/proc/1933/stat : 1933 (casperzao) R 1931 1933 1716 0 -1 4194304 435008 0 0 0 179783 223 0 0 25 0 1 0 2002993242 406659072 82117 996147200 134512640 135477443 4294956224 18446744073709551615 135208574 0 0 4096 0 0 0 0 17 0 0 0
/proc/1933/statm: 99282 82117 529 235 0 97983 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 397128
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.96
CPU time (s): 1800.12
CPU user time (s): 1797.83
CPU system time (s): 2.28765
CPU usage (%): 99.5665
Max. virtual memory (cumulated for all children) (KiB): 578020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.83
system time used= 2.28765
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435008
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= 16
involuntary context switches= 23891
runsolver used 2.24266 second user time and 5.35719 second system time
The end
Begin job on node15 at 2008-07-05 08:43:06
IDJOB=1086599
IDBENCH=57843
IDSOLVER=361
FILE ID=node15/1086599-1215240186
PBS_JOBID= 7881969
Free space on /tmp= 66460 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/fapp/fapp35/normalized-fapp35-1500-3.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086599-1215240186/watcher-1086599-1215240186 -o /tmp/evaluation-result-1086599-1215240186/solver-1086599-1215240186 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1086599-1215240186.xml 1151346813
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e300dafa26bcab4445d58a8b5c31c7b7
RANDOM SEED=1151346813
node15.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.229
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.229
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: 1667544 kB
Buffers: 51992 kB
Cached: 214192 kB
SwapCached: 6020 kB
Active: 248612 kB
Inactive: 79268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1667544 kB
SwapTotal: 4192956 kB
SwapFree: 4180972 kB
Dirty: 5948 kB
Writeback: 0 kB
Mapped: 69720 kB
Slab: 45488 kB
Committed_AS: 3695928 kB
PageTables: 2056 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= 66492 MiB
End job on node15 at 2008-07-05 09:13:16