0.00/0.00 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
0.19/0.25 c Building = 1
15.38/15.43 c [ NumberOfVariables = 400 ]
15.38/15.43 c [ NumberOfConstraints = 7600 ]
15.38/15.43 c [ SizeOfSearchSpace(log2) = 4129.07 ]
15.38/15.43 c SymmetrySearch = 1
15.68/15.72 c InitialPropagation = 1
15.68/15.73 c [ SizeOfSearchSpace(log2) = 4129.07 ]
15.68/15.73 c InitialSAC = 1
15.68/15.78 c [ SizeOfSearchSpace(log2) = 4129.07 ]
15.68/15.78 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-1074710-1215179465/watcher-1074710-1215179465 -o /tmp/evaluation-result-1074710-1215179465/solver-1074710-1215179465 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1074710-1215179465.xml 435965420
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: 1.83 1.28 1.17 3/81 3985
/proc/meminfo: memFree=1442920/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=5352 CPUtime=0
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 215 0 0 0 0 0 0 0 18 0 1 0 1996896334 5480448 190 996147200 134512640 135477443 4294956224 18446744073709551615 6703992 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 1338 190 156 235 0 27 0
[startup+0.011111 s]
/proc/loadavg: 1.83 1.28 1.17 3/81 3985
/proc/meminfo: memFree=1442920/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=5440 CPUtime=0
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 472 0 0 0 0 0 0 0 18 0 1 0 1996896334 5570560 432 996147200 134512640 135477443 4294956224 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 1360 432 362 235 0 61 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5440
[startup+0.102123 s]
/proc/loadavg: 1.83 1.28 1.17 3/81 3985
/proc/meminfo: memFree=1442920/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=6776 CPUtime=0.09
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 818 0 0 0 9 0 0 0 18 0 1 0 1996896334 6938624 778 996147200 134512640 135477443 4294956224 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 1694 778 370 235 0 395 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6776
[startup+0.301146 s]
/proc/loadavg: 1.83 1.28 1.17 3/81 3985
/proc/meminfo: memFree=1442920/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=290028 CPUtime=0.28
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 2141 0 0 0 27 1 0 0 19 0 1 0 1996896334 296988672 1418 996147200 134512640 135477443 4294956224 18446744073709551615 135268132 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 72507 1418 453 235 0 71208 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 290028
[startup+0.701194 s]
/proc/loadavg: 1.83 1.28 1.17 3/81 3985
/proc/meminfo: memFree=1442920/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=293988 CPUtime=0.69
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 9157 0 0 0 65 4 0 0 23 0 1 0 1996896334 301043712 2443 996147200 134512640 135477443 4294956224 18446744073709551615 135258730 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 73497 2443 453 235 0 72198 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 293988
[startup+1.50229 s]
/proc/loadavg: 1.83 1.28 1.17 3/82 3986
/proc/meminfo: memFree=1431712/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=301908 CPUtime=1.49
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 23463 0 0 0 137 12 0 0 25 0 1 0 1996896334 309153792 4481 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 75477 4482 453 235 0 74178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 301908
[startup+3.10148 s]
/proc/loadavg: 1.83 1.28 1.17 3/82 3986
/proc/meminfo: memFree=1420192/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=318012 CPUtime=3.09
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 51778 0 0 0 286 23 0 0 25 0 1 0 1996896334 325644288 8591 996147200 134512640 135477443 4294956224 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 79503 8592 453 235 0 78204 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 318012
[startup+6.30186 s]
/proc/loadavg: 1.84 1.30 1.17 3/82 3986
/proc/meminfo: memFree=1386272/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=349824 CPUtime=6.29
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 109110 0 0 0 579 50 0 0 25 0 1 0 1996896334 358219776 16806 996147200 134512640 135477443 4294956224 18446744073709551615 135268706 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 87456 16807 453 235 0 86157 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 349824
[startup+12.7016 s]
/proc/loadavg: 1.85 1.31 1.18 3/82 3986
/proc/meminfo: memFree=1317984/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=413844 CPUtime=12.69
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 224566 0 0 0 1171 98 0 0 25 0 1 0 1996896334 423776256 33294 996147200 134512640 135477443 4294956224 18446744073709551615 135221409 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 103461 33295 453 235 0 102162 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413844
[startup+25.5011 s]
/proc/loadavg: 1.89 1.34 1.19 3/82 3986
/proc/meminfo: memFree=1281504/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253912 CPUtime=25.48
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 275628 0 0 0 2425 123 0 0 25 0 1 0 1996896334 260005888 40661 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63478 40661 496 235 0 62179 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 253912
[startup+51.1011 s]
/proc/loadavg: 1.92 1.39 1.21 3/82 3986
/proc/meminfo: memFree=1280416/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=51.08
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 275906 0 0 0 4984 124 0 0 25 0 1 0 1996896334 260014080 40939 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 40939 496 235 0 62181 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 253920
[startup+102.306 s]
/proc/loadavg: 1.97 1.48 1.25 3/82 3986
/proc/meminfo: memFree=1280416/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=102.27
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 275906 0 0 0 10103 124 0 0 25 0 1 0 1996896334 260014080 40939 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 40939 496 235 0 62181 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 253920
[startup+162.301 s]
/proc/loadavg: 1.98 1.57 1.29 3/82 3986
/proc/meminfo: memFree=1280352/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=162.25
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 275906 0 0 0 16101 124 0 0 25 0 1 0 1996896334 260014080 40939 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 40939 496 235 0 62181 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 253920
[startup+222.301 s]
/proc/loadavg: 1.99 1.65 1.33 3/82 3986
/proc/meminfo: memFree=1280416/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=222.23
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 275906 0 0 0 22099 124 0 0 25 0 1 0 1996896334 260014080 40939 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 40939 496 235 0 62181 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 253920
[startup+282.301 s]
/proc/loadavg: 1.99 1.71 1.37 3/82 3986
/proc/meminfo: memFree=1279520/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=282.21
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 28097 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 253920
[startup+342.302 s]
/proc/loadavg: 1.99 1.76 1.41 3/82 3986
/proc/meminfo: memFree=1279520/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=342.2
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 34096 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 253920
[startup+402.302 s]
/proc/loadavg: 1.99 1.80 1.44 3/82 3986
/proc/meminfo: memFree=1279520/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=402.18
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 40094 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 253920
[startup+462.302 s]
/proc/loadavg: 1.99 1.83 1.47 3/82 3986
/proc/meminfo: memFree=1279520/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=462.16
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 46092 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 253920
[startup+522.302 s]
/proc/loadavg: 2.03 1.87 1.51 3/82 3986
/proc/meminfo: memFree=1279456/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=522.14
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 52090 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208674 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 253920
[startup+582.302 s]
/proc/loadavg: 2.01 1.89 1.54 3/82 3986
/proc/meminfo: memFree=1279392/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=582.13
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 58089 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 253920
[startup+642.303 s]
/proc/loadavg: 2.00 1.91 1.56 3/82 3992
/proc/meminfo: memFree=1279328/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=642.11
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 64087 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 253920
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 1.94 1.63 3/82 3992
/proc/meminfo: memFree=1279264/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=822.06
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 82082 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208691 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 253920
[startup+882.302 s]
/proc/loadavg: 2.00 1.95 1.65 3/82 3992
/proc/meminfo: memFree=1279328/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=882.04
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 88080 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 134679647 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 253920
[startup+942.302 s]
/proc/loadavg: 2.00 1.96 1.67 3/82 3992
/proc/meminfo: memFree=1279328/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=942.03
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 94079 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 253920
[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.69 3/82 3992
/proc/meminfo: memFree=1279328/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1002.01
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 100077 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 253920
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.71 3/82 3992
/proc/meminfo: memFree=1279328/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1062
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 106076 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 253920
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.72 3/82 3992
/proc/meminfo: memFree=1279328/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1121.98
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 112074 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 253920
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/82 3992
/proc/meminfo: memFree=1279264/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1181.96
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 118072 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 253920
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/82 3992
/proc/meminfo: memFree=1279200/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1241.95
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 124071 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 253920
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/82 3992
/proc/meminfo: memFree=1279264/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1301.94
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 130070 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 253920
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/82 3992
/proc/meminfo: memFree=1279264/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1361.91
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 136067 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 253920
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.78 3/82 3992
/proc/meminfo: memFree=1279264/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1421.9
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 142066 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 253920
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/82 3992
/proc/meminfo: memFree=1279264/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1481.88
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 148064 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 253920
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.81 3/82 3992
/proc/meminfo: memFree=1279264/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1541.86
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 154062 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 253920
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/82 3992
/proc/meminfo: memFree=1279200/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1601.84
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 160060 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 253920
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/82 3992
/proc/meminfo: memFree=1279200/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1661.83
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 166059 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 253920
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/82 3992
/proc/meminfo: memFree=1279136/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1721.81
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 172057 124 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 253920
[startup+1782.3 s]
/proc/loadavg: 1.96 1.96 1.83 3/82 4166
/proc/meminfo: memFree=1512360/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1781.27
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 178002 125 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 0 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1781.27
Current children cumulated vsize (KiB) 253920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.2 s]
/proc/loadavg: 1.97 1.96 1.83 3/82 4166
/proc/meminfo: memFree=1512232/2055920 swapFree=4180584/4192956
[pid=3985] ppid=3983 vsize=253920 CPUtime=1800.01
/proc/3985/stat : 3985 (casperzao) R 3983 3985 3821 0 -1 4194304 276136 0 0 0 179876 125 0 0 25 0 1 0 1996896334 260014080 41169 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/3985/statm: 63480 41169 496 235 0 62181 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 253920
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): 1801.23
CPU time (s): 1800.05
CPU user time (s): 1798.76
CPU system time (s): 1.2838
CPU usage (%): 99.9341
Max. virtual memory (cumulated for all children) (KiB): 441168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.2838
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276136
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= 38905
runsolver used 1.45578 second user time and 5.11422 second system time
The end
Begin job on node75 at 2008-07-04 15:51:06
IDJOB=1074710
IDBENCH=56430
IDSOLVER=361
FILE ID=node75/1074710-1215179465
PBS_JOBID= 7881591
Free space on /tmp= 66560 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-100-1.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074710-1215179465/watcher-1074710-1215179465 -o /tmp/evaluation-result-1074710-1215179465/solver-1074710-1215179465 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1074710-1215179465.xml 435965420
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 4cf62a1b83c7d6776b82d5fd63452e47
RANDOM SEED=435965420
node75.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1443336 kB
Buffers: 70676 kB
Cached: 196228 kB
SwapCached: 6320 kB
Active: 460100 kB
Inactive: 88504 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1443336 kB
SwapTotal: 4192956 kB
SwapFree: 4180584 kB
Dirty: 4148 kB
Writeback: 0 kB
Mapped: 297876 kB
Slab: 48592 kB
Committed_AS: 4576504 kB
PageTables: 2432 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= 66556 MiB
End job on node75 at 2008-07-04 16:21:09