0.00/0.00 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
0.19/0.21 c Building = 1
0.59/0.60 c [ NumberOfVariables = 425 ]
0.59/0.60 c [ NumberOfConstraints = 8688 ]
0.59/0.60 c [ SizeOfSearchSpace(log2) = 2020.83 ]
0.59/0.60 c SymmetrySearch = 1
0.79/0.87 c [ Found 1.87427e+144 symmetries ]
0.79/0.88 c InitialPropagation = 1
0.79/0.89 c [ SizeOfSearchSpace(log2) = 2012.23 ]
0.79/0.89 c InitialSAC = 1
0.99/1.02 c [ SizeOfSearchSpace(log2) = 2012.23 ]
0.99/1.02 c Search(SampleFF) :
94.55/94.67 c [ Sampling domwdeg ]
94.55/94.67 c [ Sampling impacts ]
94.55/94.67 c [ Sampling la ]
94.55/94.67 c [ SamplingScores: ]
94.55/94.67 c [ domwdeg+min = 1.89584e-39 | domwdeg+rnd = 4.93591e-09 ]
94.55/94.67 c [ impacts+min = 2.46161e-179 | impacts+rnd = 2.21836e-15 ]
94.55/94.67 c [ la+min = 9.94724e-214 | la+rnd = 4.0755e-34 ]
94.55/94.67 c [ domwdeg = 2.46795e-09 | impacts = 1.10918e-15 | la = 2.03775e-34 ]
94.55/94.67 c [ min = 6.31946e-40 | rand = 1.10918e-15 ]
94.55/94.67 c [ restarting at (0.141429,9.09152e-48) ]
94.94/95.03 c [ restarting at (0.353571,9.16225e-42) ]
95.84/95.92 c [ restarting at (0.883929,2.44722e-40) ]
98.04/98.13 c [ restarting at (2.20982,3.25375e-39) ]
103.54/103.66 c [ restarting at (5.52455,6.99284e-39) ]
117.34/117.48 c [ restarting at (13.8114,2.27414e-38) ]
151.92/152.04 c [ restarting at (34.5285,9.35111e-38) ]
238.29/238.43 c [ restarting at (86.3211,2.66416e-37) ]
454.12/454.39 c [ restarting at (215.803,9.55314e-37) ]
991.83/994.25 c [ restarting at (539.507,2.75384e-36) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1089014-1215261053/watcher-1089014-1215261053 -o /tmp/evaluation-result-1089014-1215261053/solver-1089014-1215261053 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1089014-1215261053.xml 1015856183
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.93 2.04 2.03 4/81 26318
/proc/meminfo: memFree=1515672/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=5352 CPUtime=0
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 213 0 0 0 0 0 0 0 18 0 1 0 2005077664 5480448 188 996147200 134512640 135477443 4294956224 18446744073709551615 8709193 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 1338 189 155 235 0 27 0
[startup+0.039305 s]
/proc/loadavg: 1.93 2.04 2.03 4/81 26318
/proc/meminfo: memFree=1515672/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=5836 CPUtime=0.03
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 573 0 0 0 3 0 0 0 18 0 1 0 2005077664 5976064 533 996147200 134512640 135477443 4294956224 18446744073709551615 9180795 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 1459 533 369 235 0 160 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5836
[startup+0.101312 s]
/proc/loadavg: 1.93 2.04 2.03 4/81 26318
/proc/meminfo: memFree=1515672/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=6496 CPUtime=0.09
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 745 0 0 0 9 0 0 0 18 0 1 0 2005077664 6651904 705 996147200 134512640 135477443 4294956224 18446744073709551615 9178861 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 1624 705 369 235 0 325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6496
[startup+0.301336 s]
/proc/loadavg: 1.93 2.04 2.03 4/81 26318
/proc/meminfo: memFree=1515672/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=101448 CPUtime=0.29
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 3125 0 0 0 23 6 0 0 19 0 1 0 2005077664 103882752 1239 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25362 1239 419 235 0 24063 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 101448
[startup+0.701383 s]
/proc/loadavg: 1.93 2.04 2.03 4/81 26318
/proc/meminfo: memFree=1515672/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103948 CPUtime=0.69
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 11063 0 0 0 42 27 0 0 23 0 1 0 2005077664 106442752 2335 996147200 134512640 135477443 4294956224 18446744073709551615 134529789 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25987 2335 455 235 0 24688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103948
[startup+1.50148 s]
/proc/loadavg: 1.93 2.04 2.03 3/82 26319
/proc/meminfo: memFree=1506768/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103788 CPUtime=1.48
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 11581 0 0 0 121 27 0 0 25 0 1 0 2005077664 106278912 2760 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25947 2760 490 235 0 24648 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 103788
[startup+3.10167 s]
/proc/loadavg: 1.93 2.04 2.03 3/82 26319
/proc/meminfo: memFree=1506320/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103788 CPUtime=3.08
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 11589 0 0 0 281 27 0 0 25 0 1 0 2005077664 106278912 2768 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25947 2768 496 235 0 24648 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 103788
[startup+6.30105 s]
/proc/loadavg: 1.94 2.03 2.03 3/82 26319
/proc/meminfo: memFree=1506256/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103788 CPUtime=6.29
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 11590 0 0 0 601 28 0 0 25 0 1 0 2005077664 106278912 2769 996147200 134512640 135477443 4294956224 18446744073709551615 135270826 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25947 2769 496 235 0 24648 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103788
[startup+12.7018 s]
/proc/loadavg: 1.94 2.03 2.03 3/82 26319
/proc/meminfo: memFree=1506144/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103788 CPUtime=12.69
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 11624 0 0 0 1241 28 0 0 25 0 1 0 2005077664 106278912 2803 996147200 134512640 135477443 4294956224 18446744073709551615 135268048 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25947 2803 496 235 0 24648 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103788
[startup+25.5013 s]
/proc/loadavg: 1.95 2.03 2.03 3/82 26319
/proc/meminfo: memFree=1505760/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103788 CPUtime=25.48
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 11760 0 0 0 2520 28 0 0 25 0 1 0 2005077664 106278912 2939 996147200 134512640 135477443 4294956224 18446744073709551615 134934592 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25947 2939 497 235 0 24648 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 103788
[startup+51.1023 s]
/proc/loadavg: 1.97 2.03 2.03 3/82 26319
/proc/meminfo: memFree=1505632/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=51.07
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 11822 0 0 0 5079 28 0 0 25 0 1 0 2005077664 106283008 3001 996147200 134512640 135477443 4294956224 18446744073709551615 134673664 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3001 497 235 0 24649 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 103792
[startup+102.306 s]
/proc/loadavg: 1.98 2.02 2.02 3/82 26319
/proc/meminfo: memFree=1503328/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=102.25
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 10197 28 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 103792
[startup+162.302 s]
/proc/loadavg: 1.99 2.02 2.02 3/82 26319
/proc/meminfo: memFree=1503328/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=162.22
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 16194 28 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 103792
[startup+222.302 s]
/proc/loadavg: 1.99 2.01 2.01 3/82 26319
/proc/meminfo: memFree=1503264/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=222.2
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 22192 28 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 103792
[startup+282.302 s]
/proc/loadavg: 1.99 2.00 2.01 3/82 26319
/proc/meminfo: memFree=1503264/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=282.18
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 28189 29 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 103792
[startup+342.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/82 26319
/proc/meminfo: memFree=1503264/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=342.16
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 34187 29 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 103792
[startup+402.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/82 26319
/proc/meminfo: memFree=1503264/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=402.13
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 40184 29 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 103792
[startup+462.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/82 26319
/proc/meminfo: memFree=1503264/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=462.11
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 46182 29 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 103792
[startup+522.303 s]
/proc/loadavg: 1.96 1.98 1.99 3/75 26372
/proc/meminfo: memFree=1529880/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=521.85
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 52155 30 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 521.85
Current children cumulated vsize (KiB) 103792
[startup+582.303 s]
/proc/loadavg: 1.98 1.98 1.99 3/75 26372
/proc/meminfo: memFree=1525016/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=581.6
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 58130 30 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 581.6
Current children cumulated vsize (KiB) 103792
[startup+642.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26372
/proc/meminfo: memFree=1520472/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=641.37
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 64107 30 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 641.37
Current children cumulated vsize (KiB) 103792
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1509024/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=880.39
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 88009 30 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 880.39
Current children cumulated vsize (KiB) 103792
[startup+942.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1507168/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=940.15
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 93985 30 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 134583136 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 940.15
Current children cumulated vsize (KiB) 103792
[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1504992/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=999.9
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 99960 30 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208708 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 999.9
Current children cumulated vsize (KiB) 103792
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1503072/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1059.67
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 105936 31 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1059.67
Current children cumulated vsize (KiB) 103792
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1501472/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1119.42
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 111911 31 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1119.42
Current children cumulated vsize (KiB) 103792
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1499104/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1179.18
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 117887 31 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1179.18
Current children cumulated vsize (KiB) 103792
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1497056/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1238.94
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 123863 31 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1238.94
Current children cumulated vsize (KiB) 103792
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1495200/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1298.7
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 129839 31 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1298.7
Current children cumulated vsize (KiB) 103792
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1493408/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1358.45
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 135814 31 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1358.45
Current children cumulated vsize (KiB) 103792
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1491488/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1418.23
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 141791 32 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1418.23
Current children cumulated vsize (KiB) 103792
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1489504/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1477.98
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 147766 32 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1477.98
Current children cumulated vsize (KiB) 103792
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1488928/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1537.73
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 153741 32 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208598 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1537.73
Current children cumulated vsize (KiB) 103792
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1488928/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1597.49
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 159717 32 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 134586768 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1597.49
Current children cumulated vsize (KiB) 103792
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1488864/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1657.25
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 165693 32 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1657.25
Current children cumulated vsize (KiB) 103792
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1488736/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1717.01
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 171669 32 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1717.01
Current children cumulated vsize (KiB) 103792
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1488608/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1776.76
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 177644 32 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1776.76
Current children cumulated vsize (KiB) 103792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1488608/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1800.07
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 179975 32 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 134934592 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 103792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1805.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 26374
/proc/meminfo: memFree=1488608/2055920 swapFree=4179912/4192956
[pid=26318] ppid=26316 vsize=103792 CPUtime=1800.07
/proc/26318/stat : 26318 (casperzao) R 26316 26318 25943 0 -1 4194304 12344 0 0 0 179975 32 0 0 25 0 1 0 2005077664 106283008 3523 996147200 134512640 135477443 4294956224 18446744073709551615 134934592 0 0 4096 0 0 0 0 17 0 0 0
/proc/26318/statm: 25948 3523 498 235 0 24649 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 103792
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.71
CPU time (s): 1800.08
CPU user time (s): 1799.75
CPU system time (s): 0.32695
CPU usage (%): 99.6882
Max. virtual memory (cumulated for all children) (KiB): 104080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.32695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12344
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= 21126
runsolver used 1.58576 second user time and 4.99624 second system time
The end
Begin job on node53 at 2008-07-05 14:30:53
IDJOB=1089014
IDBENCH=58188
IDSOLVER=361
FILE ID=node53/1089014-1215261053
PBS_JOBID= 7882123
Free space on /tmp= 65124 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/graphColoring/register/fpsol/normalized-fpsol2-i-3-27.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1089014-1215261053/watcher-1089014-1215261053 -o /tmp/evaluation-result-1089014-1215261053/solver-1089014-1215261053 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1089014-1215261053.xml 1015856183
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e31576dea5e6c1512da28f76b6ab241b
RANDOM SEED=1015856183
node53.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.222
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.222
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: 1516152 kB
Buffers: 85084 kB
Cached: 320180 kB
SwapCached: 7428 kB
Active: 257876 kB
Inactive: 217288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1516152 kB
SwapTotal: 4192956 kB
SwapFree: 4179912 kB
Dirty: 3888 kB
Writeback: 0 kB
Mapped: 85620 kB
Slab: 49808 kB
Committed_AS: 4067052 kB
PageTables: 1928 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= 65116 MiB
End job on node53 at 2008-07-05 15:01:01