0.00/0.14 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.14 c Parsing = 1
0.00/0.14 c Building = 1
0.00/0.15 c [ NumberOfVariables = 2574 ]
0.00/0.15 c [ NumberOfConstraints = 696 ]
0.00/0.15 c [ SizeOfSearchSpace(log2) = 2119 ]
0.00/0.15 c SymmetrySearch = 1
0.88/0.90 c [ Found 1.77568 symmetries ]
0.88/0.96 c InitialPropagation = 1
0.88/0.99 c [ SizeOfSearchSpace(log2) = 2119 ]
0.88/0.99 c InitialSAC = 1
3.66/3.79 c [ SizeOfSearchSpace(log2) = 2119 ]
3.66/3.79 c Search(SampleFF) :
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063568-1215137992/watcher-1063568-1215137992 -o /tmp/evaluation-result-1063568-1215137992/solver-1063568-1215137992 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1063568-1215137992.xml 1538372163
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.01 2.02 4/73 26322
/proc/meminfo: memFree=1764080/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=1056 CPUtime=0
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 1543473242 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 6927140 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 264 26 20 235 0 3 0
[startup+0.211891 s]
/proc/loadavg: 2.00 2.01 2.02 4/73 26322
/proc/meminfo: memFree=1764080/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104800 CPUtime=0.19
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 3001 0 0 0 16 3 0 0 19 0 1 0 1543473242 107315200 2265 996147200 134512640 135477443 4294956224 18446744073709551615 134529775 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26200 2265 456 235 0 24901 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 104800
[startup+0.301901 s]
/proc/loadavg: 2.00 2.01 2.02 4/73 26322
/proc/meminfo: memFree=1764080/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104800 CPUtime=0.28
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 3062 0 0 0 25 3 0 0 19 0 1 0 1543473242 107315200 2326 996147200 134512640 135477443 4294956224 18446744073709551615 134529775 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26200 2326 456 235 0 24901 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 104800
[startup+0.401919 s]
/proc/loadavg: 2.00 2.01 2.02 4/73 26322
/proc/meminfo: memFree=1764080/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104800 CPUtime=0.38
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 3067 0 0 0 35 3 0 0 20 0 1 0 1543473242 107315200 2331 996147200 134512640 135477443 4294956224 18446744073709551615 134529668 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26200 2331 456 235 0 24901 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 104800
[startup+0.701969 s]
/proc/loadavg: 2.00 2.01 2.02 4/73 26322
/proc/meminfo: memFree=1764080/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104800 CPUtime=0.68
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 3077 0 0 0 65 3 0 0 23 0 1 0 1543473242 107315200 2341 996147200 134512640 135477443 4294956224 18446744073709551615 134529739 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26200 2341 456 235 0 24901 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 104800
[startup+1.50111 s]
/proc/loadavg: 2.00 2.01 2.02 3/74 26323
/proc/meminfo: memFree=1756392/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104456 CPUtime=1.47
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 4782 0 0 0 143 4 0 0 25 0 1 0 1543473242 106962944 2329 996147200 134512640 135477443 4294956224 18446744073709551615 134583610 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26114 2329 478 235 0 24815 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 104456
[startup+3.10138 s]
/proc/loadavg: 2.00 2.01 2.02 3/74 26323
/proc/meminfo: memFree=1756328/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104456 CPUtime=3.06
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 4788 0 0 0 302 4 0 0 25 0 1 0 1543473242 106962944 2335 996147200 134512640 135477443 4294956224 18446744073709551615 134879500 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26114 2335 478 235 0 24815 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 104456
[startup+6.30194 s]
/proc/loadavg: 2.00 2.01 2.02 3/74 26323
/proc/meminfo: memFree=1756072/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104456 CPUtime=6.23
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 4872 0 0 0 619 4 0 0 25 0 1 0 1543473242 106962944 2419 996147200 134512640 135477443 4294956224 18446744073709551615 134586012 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26114 2419 498 235 0 24815 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 104456
[startup+12.701 s]
/proc/loadavg: 2.00 2.01 2.02 3/74 26323
/proc/meminfo: memFree=1755944/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104456 CPUtime=12.59
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 4895 0 0 0 1254 5 0 0 25 0 1 0 1543473242 106962944 2442 996147200 134512640 135477443 4294956224 18446744073709551615 135208598 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26114 2442 498 235 0 24815 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 104456
[startup+25.5063 s]
/proc/loadavg: 2.00 2.01 2.02 3/74 26323
/proc/meminfo: memFree=1755560/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=25.3
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 5004 0 0 0 2525 5 0 0 25 0 1 0 1543473242 106999808 2551 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 2551 498 235 0 24824 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 104492
[startup+51.1017 s]
/proc/loadavg: 2.00 2.01 2.01 3/74 26323
/proc/meminfo: memFree=1755432/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=50.7
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 5013 0 0 0 5065 5 0 0 25 0 1 0 1543473242 106999808 2560 996147200 134512640 135477443 4294956224 18446744073709551615 134586023 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 2560 499 235 0 24824 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 104492
[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/74 26323
/proc/meminfo: memFree=1755112/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=101.51
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 5117 0 0 0 10146 5 0 0 25 0 1 0 1543473242 106999808 2664 996147200 134512640 135477443 4294956224 18446744073709551615 8228544 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 2664 499 235 0 24824 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 104492
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26323
/proc/meminfo: memFree=1754152/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=161.05
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 5324 0 0 0 16100 5 0 0 25 0 1 0 1543473242 106999808 2871 996147200 134512640 135477443 4294956224 18446744073709551615 134583584 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 2871 499 235 0 24824 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 104492
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26323
/proc/meminfo: memFree=1753320/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=220.59
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 5541 0 0 0 22054 5 0 0 25 0 1 0 1543473242 106999808 3088 996147200 134512640 135477443 4294956224 18446744073709551615 134879571 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 3088 499 235 0 24824 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 104492
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26323
/proc/meminfo: memFree=1752360/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=280.14
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 5765 0 0 0 28008 6 0 0 25 0 1 0 1543473242 106999808 3312 996147200 134512640 135477443 4294956224 18446744073709551615 134585985 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 3312 499 235 0 24824 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 104492
[startup+342.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/74 26323
/proc/meminfo: memFree=1751400/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=339.69
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 6004 0 0 0 33963 6 0 0 25 0 1 0 1543473242 106999808 3551 996147200 134512640 135477443 4294956224 18446744073709551615 8237256 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 3551 499 235 0 24824 0
Current children cumulated CPU time (s) 339.69
Current children cumulated vsize (KiB) 104492
[startup+402.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/74 26323
/proc/meminfo: memFree=1750376/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=399.22
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 6256 0 0 0 39916 6 0 0 25 0 1 0 1543473242 106999808 3803 996147200 134512640 135477443 4294956224 18446744073709551615 134585566 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 3803 499 235 0 24824 0
Current children cumulated CPU time (s) 399.22
Current children cumulated vsize (KiB) 104492
[startup+462.302 s]
/proc/loadavg: 2.06 2.03 2.00 3/74 26323
/proc/meminfo: memFree=1749288/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=458.77
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 6511 0 0 0 45871 6 0 0 25 0 1 0 1543473242 106999808 4058 996147200 134512640 135477443 4294956224 18446744073709551615 134585553 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 4058 499 235 0 24824 0
Current children cumulated CPU time (s) 458.77
Current children cumulated vsize (KiB) 104492
[startup+522.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/74 26323
/proc/meminfo: memFree=1748264/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=518.32
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 6767 0 0 0 51825 7 0 0 25 0 1 0 1543473242 106999808 4314 996147200 134512640 135477443 4294956224 18446744073709551615 135235237 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 4314 499 235 0 24824 0
Current children cumulated CPU time (s) 518.32
Current children cumulated vsize (KiB) 104492
[startup+582.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 26325
/proc/meminfo: memFree=1747176/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=577.85
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 7027 0 0 0 57778 7 0 0 25 0 1 0 1543473242 106999808 4574 996147200 134512640 135477443 4294956224 18446744073709551615 134879576 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 4574 499 235 0 24824 0
Current children cumulated CPU time (s) 577.85
Current children cumulated vsize (KiB) 104492
[startup+642.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 26325
/proc/meminfo: memFree=1746088/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=637.4
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 7289 0 0 0 63733 7 0 0 25 0 1 0 1543473242 106999808 4836 996147200 134512640 135477443 4294956224 18446744073709551615 8228589 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 4836 499 235 0 24824 0
Current children cumulated CPU time (s) 637.4
Current children cumulated vsize (KiB) 104492
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 26325
/proc/meminfo: memFree=1742824/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=816.02
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 8075 0 0 0 81594 8 0 0 25 0 1 0 1543473242 106999808 5622 996147200 134512640 135477443 4294956224 18446744073709551615 134585521 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 5622 499 235 0 24824 0
Current children cumulated CPU time (s) 816.02
Current children cumulated vsize (KiB) 104492
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 26326
/proc/meminfo: memFree=1741728/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=875.58
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 8336 0 0 0 87549 9 0 0 25 0 1 0 1543473242 106999808 5883 996147200 134512640 135477443 4294956224 18446744073709551615 134673665 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 5883 499 235 0 24824 0
Current children cumulated CPU time (s) 875.58
Current children cumulated vsize (KiB) 104492
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 26326
/proc/meminfo: memFree=1740640/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=935.11
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 8598 0 0 0 93502 9 0 0 25 0 1 0 1543473242 106999808 6145 996147200 134512640 135477443 4294956224 18446744073709551615 134585561 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 6145 499 235 0 24824 0
Current children cumulated CPU time (s) 935.11
Current children cumulated vsize (KiB) 104492
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 26326
/proc/meminfo: memFree=1739552/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=994.66
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 8860 0 0 0 99457 9 0 0 25 0 1 0 1543473242 106999808 6407 996147200 134512640 135477443 4294956224 18446744073709551615 8237256 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 6407 499 235 0 24824 0
Current children cumulated CPU time (s) 994.66
Current children cumulated vsize (KiB) 104492
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 26326
/proc/meminfo: memFree=1738464/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1054.21
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 9123 0 0 0 105411 10 0 0 25 0 1 0 1543473242 106999808 6670 996147200 134512640 135477443 4294956224 18446744073709551615 135235260 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 6670 499 235 0 24824 0
Current children cumulated CPU time (s) 1054.21
Current children cumulated vsize (KiB) 104492
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 26326
/proc/meminfo: memFree=1737312/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1113.75
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 9389 0 0 0 111365 10 0 0 25 0 1 0 1543473242 106999808 6936 996147200 134512640 135477443 4294956224 18446744073709551615 135235247 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 6936 499 235 0 24824 0
Current children cumulated CPU time (s) 1113.75
Current children cumulated vsize (KiB) 104492
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 26326
/proc/meminfo: memFree=1736160/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1173.29
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 9663 0 0 0 117319 10 0 0 25 0 1 0 1543473242 106999808 7210 996147200 134512640 135477443 4294956224 18446744073709551615 134942185 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 7210 499 235 0 24824 0
Current children cumulated CPU time (s) 1173.29
Current children cumulated vsize (KiB) 104492
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 26326
/proc/meminfo: memFree=1734880/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1232.84
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 9943 0 0 0 123273 11 0 0 25 0 1 0 1543473242 106999808 7490 996147200 134512640 135477443 4294956224 18446744073709551615 135235247 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 7490 499 235 0 24824 0
Current children cumulated CPU time (s) 1232.84
Current children cumulated vsize (KiB) 104492
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 26326
/proc/meminfo: memFree=1733856/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1292.38
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 10226 0 0 0 129227 11 0 0 25 0 1 0 1543473242 106999808 7773 996147200 134512640 135477443 4294956224 18446744073709551615 135235257 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 7773 499 235 0 24824 0
Current children cumulated CPU time (s) 1292.38
Current children cumulated vsize (KiB) 104492
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26327
/proc/meminfo: memFree=1732632/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1351.91
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 10513 0 0 0 135180 11 0 0 25 0 1 0 1543473242 106999808 8060 996147200 134512640 135477443 4294956224 18446744073709551615 8228570 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 8060 499 235 0 24824 0
Current children cumulated CPU time (s) 1351.91
Current children cumulated vsize (KiB) 104492
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26327
/proc/meminfo: memFree=1731480/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1411.46
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 10796 0 0 0 141135 11 0 0 25 0 1 0 1543473242 106999808 8343 996147200 134512640 135477443 4294956224 18446744073709551615 8228589 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 8343 499 235 0 24824 0
Current children cumulated CPU time (s) 1411.46
Current children cumulated vsize (KiB) 104492
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 26327
/proc/meminfo: memFree=1730328/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1471.01
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 11079 0 0 0 147089 12 0 0 25 0 1 0 1543473242 106999808 8626 996147200 134512640 135477443 4294956224 18446744073709551615 134879573 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 8626 499 235 0 24824 0
Current children cumulated CPU time (s) 1471.01
Current children cumulated vsize (KiB) 104492
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 26328
/proc/meminfo: memFree=1729488/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1530.55
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 11248 0 0 0 153043 12 0 0 25 0 1 0 1543473242 106999808 8795 996147200 134512640 135477443 4294956224 18446744073709551615 8228603 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 8795 499 235 0 24824 0
Current children cumulated CPU time (s) 1530.55
Current children cumulated vsize (KiB) 104492
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 26328
/proc/meminfo: memFree=1729424/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1590.07
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 11248 0 0 0 158995 12 0 0 25 0 1 0 1543473242 106999808 8795 996147200 134512640 135477443 4294956224 18446744073709551615 134942129 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 8795 499 235 0 24824 0
Current children cumulated CPU time (s) 1590.07
Current children cumulated vsize (KiB) 104492
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 26328
/proc/meminfo: memFree=1729360/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1649.61
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 11248 0 0 0 164949 12 0 0 25 0 1 0 1543473242 106999808 8795 996147200 134512640 135477443 4294956224 18446744073709551615 8237325 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 8795 499 235 0 24824 0
Current children cumulated CPU time (s) 1649.61
Current children cumulated vsize (KiB) 104492
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 26328
/proc/meminfo: memFree=1729296/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1709.14
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 11248 0 0 0 170901 13 0 0 25 0 1 0 1543473242 106999808 8795 996147200 134512640 135477443 4294956224 18446744073709551615 135235287 0 0 4096 0 0 0 0 17 1 0 0
/proc/26322/statm: 26123 8795 499 235 0 24824 0
Current children cumulated CPU time (s) 1709.14
Current children cumulated vsize (KiB) 104492
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 26377
/proc/meminfo: memFree=1651112/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1768.82
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 11248 0 0 0 176868 14 0 0 25 0 1 0 1543473242 106999808 8795 996147200 134512640 135477443 4294956224 18446744073709551615 8228598 0 0 4096 0 0 0 0 17 0 0 0
/proc/26322/statm: 26123 8795 499 235 0 24824 0
Current children cumulated CPU time (s) 1768.82
Current children cumulated vsize (KiB) 104492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.6 s]
/proc/loadavg: 2.03 2.01 2.00 4/82 26377
/proc/meminfo: memFree=1651112/2055920 swapFree=4121324/4192956
[pid=26322] ppid=26320 vsize=104492 CPUtime=1800.09
/proc/26322/stat : 26322 (casperzao) R 26320 26322 24139 0 -1 4194304 11248 0 0 0 179995 14 0 0 25 0 1 0 1543473242 106999808 8795 996147200 134512640 135477443 4294956224 18446744073709551615 134673681 0 0 4096 0 0 0 0 17 0 0 0
/proc/26322/statm: 26123 8795 499 235 0 24824 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 104492
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): 1813.61
CPU time (s): 1800.11
CPU user time (s): 1799.95
CPU system time (s): 0.152976
CPU usage (%): 99.2553
Max. virtual memory (cumulated for all children) (KiB): 104932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11248
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= 39386
runsolver used 1.92971 second user time and 4.69029 second system time
The end
Begin job on node14 at 2008-07-04 04:19:52
IDJOB=1063568
IDBENCH=54779
IDSOLVER=361
FILE ID=node14/1063568-1215137992
PBS_JOBID= 7877311
Free space on /tmp= 66536 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-fiber.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063568-1215137992/watcher-1063568-1215137992 -o /tmp/evaluation-result-1063568-1215137992/solver-1063568-1215137992 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1063568-1215137992.xml 1538372163
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 050fcaedec2bdec60bcc496785fb1b05
RANDOM SEED=1538372163
node14.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.267
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 : 5931.00
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.267
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: 1764560 kB
Buffers: 6992 kB
Cached: 120476 kB
SwapCached: 65720 kB
Active: 160116 kB
Inactive: 73960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1764560 kB
SwapTotal: 4192956 kB
SwapFree: 4121324 kB
Dirty: 3144 kB
Writeback: 0 kB
Mapped: 113364 kB
Slab: 42388 kB
Committed_AS: 3068876 kB
PageTables: 1996 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= 66528 MiB
End job on node14 at 2008-07-04 04:50:08