0.00/0.00 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
0.79/0.87 c Building = 1
39.57/39.68 c [ NumberOfVariables = 1500 ]
39.57/39.68 c [ NumberOfConstraints = 25409 ]
39.57/39.69 c [ SizeOfSearchSpace(log2) = 12178.9 ]
39.57/39.69 c SymmetrySearch = 1
45.56/45.67 c InitialPropagation = 1
45.67/45.72 c [ SizeOfSearchSpace(log2) = 12177.9 ]
45.67/45.72 c InitialSAC = 1
46.07/46.13 c [ SizeOfSearchSpace(log2) = 12177.9 ]
46.07/46.15 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-1086011-1215236862/watcher-1086011-1215236862 -o /tmp/evaluation-result-1086011-1215236862/solver-1086011-1215236862 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1086011-1215236862.xml 1861809542
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.92 1.99 1.99 4/80 24546
/proc/meminfo: memFree=1223840/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=5352 CPUtime=0
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 2002660416 5480448 179 996147200 134512640 135477443 4294956224 18446744073709551615 4648212 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 1338 179 152 235 0 27 0
[startup+0.0188679 s]
/proc/loadavg: 1.92 1.99 1.99 4/80 24546
/proc/meminfo: memFree=1223840/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=5752 CPUtime=0.01
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 538 0 0 0 1 0 0 0 18 0 1 0 2002660416 5890048 498 996147200 134512640 135477443 4294956224 18446744073709551615 5113467 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 1438 498 370 235 0 139 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5752
[startup+0.101875 s]
/proc/loadavg: 1.92 1.99 1.99 4/80 24546
/proc/meminfo: memFree=1223840/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=6940 CPUtime=0.09
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 840 0 0 0 9 0 0 0 18 0 1 0 2002660416 7106560 800 996147200 134512640 135477443 4294956224 18446744073709551615 5113467 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 1735 800 370 235 0 436 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6940
[startup+0.301909 s]
/proc/loadavg: 1.92 1.99 1.99 4/80 24546
/proc/meminfo: memFree=1223840/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=9580 CPUtime=0.28
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 1517 0 0 0 28 0 0 0 19 0 1 0 2002660416 9809920 1477 996147200 134512640 135477443 4294956224 18446744073709551615 5113467 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 2395 1477 370 235 0 1096 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9580
[startup+0.701968 s]
/proc/loadavg: 1.92 1.99 1.99 4/80 24546
/proc/meminfo: memFree=1223840/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=14860 CPUtime=0.68
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 2832 0 0 0 67 1 0 0 23 0 1 0 2002660416 15216640 2792 996147200 134512640 135477443 4294956224 18446744073709551615 5113467 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 3715 2792 370 235 0 2416 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14860
[startup+1.50108 s]
/proc/loadavg: 1.92 1.99 1.99 3/81 24547
/proc/meminfo: memFree=1182936/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=361540 CPUtime=1.49
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 15398 0 0 0 141 8 0 0 25 0 1 0 2002660416 370216960 13155 996147200 134512640 135477443 4294956224 18446744073709551615 135218753 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 90385 13155 461 235 0 89086 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 361540
[startup+3.10232 s]
/proc/loadavg: 1.92 1.99 1.99 3/81 24547
/proc/meminfo: memFree=1169624/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=371320 CPUtime=3.09
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 26410 0 0 0 297 12 0 0 25 0 1 0 2002660416 380231680 15644 996147200 134512640 135477443 4294956224 18446744073709551615 134694717 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 92830 15645 461 235 0 91531 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 371320
[startup+6.30179 s]
/proc/loadavg: 1.93 1.99 1.99 3/81 24547
/proc/meminfo: memFree=1148248/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=391152 CPUtime=6.29
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 48361 0 0 0 608 21 0 0 25 0 1 0 2002660416 400539648 20652 996147200 134512640 135477443 4294956224 18446744073709551615 135268706 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 97788 20652 465 235 0 96489 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 391152
[startup+12.7017 s]
/proc/loadavg: 1.93 1.99 1.99 3/81 24547
/proc/meminfo: memFree=1110680/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=428164 CPUtime=12.68
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 89872 0 0 0 1231 37 0 0 25 0 1 0 2002660416 438439936 30000 996147200 134512640 135477443 4294956224 18446744073709551615 135268672 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 107041 30000 465 235 0 105742 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 428164
[startup+25.5016 s]
/proc/loadavg: 1.95 1.99 1.99 3/81 24547
/proc/meminfo: memFree=1032280/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=503252 CPUtime=25.48
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 173397 0 0 0 2479 69 0 0 25 0 1 0 2002660416 515330048 48938 996147200 134512640 135477443 4294956224 18446744073709551615 134694714 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 125813 48938 465 235 0 124514 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 503252
[startup+51.1014 s]
/proc/loadavg: 1.96 1.99 1.99 3/81 24547
/proc/meminfo: memFree=931608/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=51.06
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 292986 0 0 0 4933 173 0 0 25 0 1 0 2002660416 407891968 73403 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73403 509 235 0 98284 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 398332
[startup+102.307 s]
/proc/loadavg: 2.02 2.00 2.00 3/81 24547
/proc/meminfo: memFree=930264/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=102.24
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293323 0 0 0 10051 173 0 0 25 0 1 0 2002660416 407891968 73740 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73740 509 235 0 98284 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 398332
[startup+162.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/81 24547
/proc/meminfo: memFree=930136/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=162.22
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293338 0 0 0 16048 174 0 0 25 0 1 0 2002660416 407891968 73755 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73755 509 235 0 98284 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 398332
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 24547
/proc/meminfo: memFree=930136/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=222.19
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293338 0 0 0 22045 174 0 0 25 0 1 0 2002660416 407891968 73755 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73755 509 235 0 98284 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 398332
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 24547
/proc/meminfo: memFree=929496/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=282.17
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293505 0 0 0 28043 174 0 0 25 0 1 0 2002660416 407891968 73922 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73922 509 235 0 98284 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 398332
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 24547
/proc/meminfo: memFree=929432/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=342.14
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293527 0 0 0 34040 174 0 0 25 0 1 0 2002660416 407891968 73944 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73944 509 235 0 98284 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 398332
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 24547
/proc/meminfo: memFree=929368/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=402.11
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293527 0 0 0 40037 174 0 0 25 0 1 0 2002660416 407891968 73944 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73944 509 235 0 98284 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 398332
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 24547
/proc/meminfo: memFree=929368/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=462.08
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293528 0 0 0 46034 174 0 0 25 0 1 0 2002660416 407891968 73945 996147200 134512640 135477443 4294956224 18446744073709551615 135208674 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73945 509 235 0 98284 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 398332
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 24547
/proc/meminfo: memFree=929304/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=522.05
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293528 0 0 0 52031 174 0 0 25 0 1 0 2002660416 407891968 73945 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73945 509 235 0 98284 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 398332
[startup+582.303 s]
/proc/loadavg: 1.94 1.98 1.99 3/82 24587
/proc/meminfo: memFree=1429712/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=582.03
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293528 0 0 0 58027 176 0 0 25 0 1 0 2002660416 407891968 73945 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73945 509 235 0 98284 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 398332
[startup+642.301 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 24587
/proc/meminfo: memFree=1417488/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=642.01
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293528 0 0 0 64025 176 0 0 25 0 1 0 2002660416 407891968 73945 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73945 509 235 0 98284 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 398332
################
# More data... #
################
[startup+882.303 s]
/proc/loadavg: 2.10 2.08 2.02 4/83 24594
/proc/meminfo: memFree=858632/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=881.9
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293528 0 0 0 88013 177 0 0 25 0 1 0 2002660416 407891968 73945 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73945 509 235 0 98284 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 398332
[startup+942.301 s]
/proc/loadavg: 2.41 2.15 2.05 4/82 24595
/proc/meminfo: memFree=688840/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=941.7
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293528 0 0 0 93993 177 0 0 25 0 1 0 2002660416 407891968 73945 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73945 509 235 0 98284 0
Current children cumulated CPU time (s) 941.7
Current children cumulated vsize (KiB) 398332
[startup+1002.3 s]
/proc/loadavg: 2.78 2.30 2.10 4/82 24595
/proc/meminfo: memFree=688840/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1001.45
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293528 0 0 0 99968 177 0 0 25 0 1 0 2002660416 407891968 73945 996147200 134512640 135477443 4294956224 18446744073709551615 135208632 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73945 509 235 0 98284 0
Current children cumulated CPU time (s) 1001.45
Current children cumulated vsize (KiB) 398332
[startup+1062.3 s]
/proc/loadavg: 2.85 2.41 2.15 4/82 24595
/proc/meminfo: memFree=688840/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1061.19
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293528 0 0 0 105942 177 0 0 25 0 1 0 2002660416 407891968 73945 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73945 509 235 0 98284 0
Current children cumulated CPU time (s) 1061.19
Current children cumulated vsize (KiB) 398332
[startup+1122.3 s]
/proc/loadavg: 2.87 2.50 2.20 4/82 24595
/proc/meminfo: memFree=688776/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1120.93
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293528 0 0 0 111916 177 0 0 25 0 1 0 2002660416 407891968 73945 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73945 509 235 0 98284 0
Current children cumulated CPU time (s) 1120.93
Current children cumulated vsize (KiB) 398332
[startup+1182.3 s]
/proc/loadavg: 3.03 2.62 2.25 4/82 24595
/proc/meminfo: memFree=688776/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1180.69
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293528 0 0 0 117891 178 0 0 25 0 1 0 2002660416 407891968 73945 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73945 509 235 0 98284 0
Current children cumulated CPU time (s) 1180.69
Current children cumulated vsize (KiB) 398332
[startup+1242.3 s]
/proc/loadavg: 2.79 2.63 2.28 3/82 24595
/proc/meminfo: memFree=688648/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1240.44
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293529 0 0 0 123866 178 0 0 25 0 1 0 2002660416 407891968 73946 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73946 509 235 0 98284 0
Current children cumulated CPU time (s) 1240.44
Current children cumulated vsize (KiB) 398332
[startup+1302.3 s]
/proc/loadavg: 2.34 2.53 2.27 3/82 24595
/proc/meminfo: memFree=688520/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1300.19
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293529 0 0 0 129841 178 0 0 25 0 1 0 2002660416 407891968 73946 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73946 509 235 0 98284 0
Current children cumulated CPU time (s) 1300.19
Current children cumulated vsize (KiB) 398332
[startup+1362.3 s]
/proc/loadavg: 2.22 2.46 2.26 3/82 24595
/proc/meminfo: memFree=688520/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1359.93
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293529 0 0 0 135815 178 0 0 25 0 1 0 2002660416 407891968 73946 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73946 509 235 0 98284 0
Current children cumulated CPU time (s) 1359.93
Current children cumulated vsize (KiB) 398332
[startup+1422.31 s]
/proc/loadavg: 2.17 2.41 2.25 3/82 24595
/proc/meminfo: memFree=688520/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1419.68
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293529 0 0 0 141790 178 0 0 25 0 1 0 2002660416 407891968 73946 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73946 509 235 0 98284 0
Current children cumulated CPU time (s) 1419.68
Current children cumulated vsize (KiB) 398332
[startup+1482.3 s]
/proc/loadavg: 2.15 2.36 2.25 3/82 24595
/proc/meminfo: memFree=688520/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1479.42
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293529 0 0 0 147764 178 0 0 25 0 1 0 2002660416 407891968 73946 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73946 509 235 0 98284 0
Current children cumulated CPU time (s) 1479.42
Current children cumulated vsize (KiB) 398332
[startup+1542.3 s]
/proc/loadavg: 2.15 2.32 2.24 3/82 24595
/proc/meminfo: memFree=688584/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1539.17
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293529 0 0 0 153739 178 0 0 25 0 1 0 2002660416 407891968 73946 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73946 509 235 0 98284 0
Current children cumulated CPU time (s) 1539.17
Current children cumulated vsize (KiB) 398332
[startup+1602.3 s]
/proc/loadavg: 2.10 2.27 2.23 3/82 24595
/proc/meminfo: memFree=688520/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1598.93
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293548 0 0 0 159714 179 0 0 25 0 1 0 2002660416 407891968 73965 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73965 509 235 0 98284 0
Current children cumulated CPU time (s) 1598.93
Current children cumulated vsize (KiB) 398332
[startup+1662.3 s]
/proc/loadavg: 2.16 2.25 2.22 3/82 24595
/proc/meminfo: memFree=688520/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1658.67
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293559 0 0 0 165688 179 0 0 25 0 1 0 2002660416 407891968 73976 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73976 509 235 0 98284 0
Current children cumulated CPU time (s) 1658.67
Current children cumulated vsize (KiB) 398332
[startup+1722.3 s]
/proc/loadavg: 2.20 2.24 2.21 3/82 24595
/proc/meminfo: memFree=688520/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1718.42
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293559 0 0 0 171663 179 0 0 25 0 1 0 2002660416 407891968 73976 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73976 509 235 0 98284 0
Current children cumulated CPU time (s) 1718.42
Current children cumulated vsize (KiB) 398332
[startup+1782.3 s]
/proc/loadavg: 2.07 2.19 2.20 3/82 24595
/proc/meminfo: memFree=688264/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1778.17
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293559 0 0 0 177638 179 0 0 25 0 1 0 2002660416 407891968 73976 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73976 509 235 0 98284 0
Current children cumulated CPU time (s) 1778.17
Current children cumulated vsize (KiB) 398332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.3 s]
/proc/loadavg: 2.23 2.22 2.20 4/82 24595
/proc/meminfo: memFree=688264/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1800.08
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293559 0 0 0 179829 179 0 0 25 0 1 0 2002660416 407891968 73976 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73976 509 235 0 98284 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 398332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1804.3 s]
/proc/loadavg: 2.23 2.22 2.20 4/82 24595
/proc/meminfo: memFree=688264/2055920 swapFree=4180256/4192956
[pid=24546] ppid=24544 vsize=398332 CPUtime=1800.08
/proc/24546/stat : 24546 (casperzao) R 24544 24546 22515 0 -1 4194304 293559 0 0 0 179829 179 0 0 25 0 1 0 2002660416 407891968 73976 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 0 0 0
/proc/24546/statm: 99583 73976 509 235 0 98284 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 398332
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.35
CPU time (s): 1800.13
CPU user time (s): 1798.29
CPU system time (s): 1.83872
CPU usage (%): 99.766
Max. virtual memory (cumulated for all children) (KiB): 578180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.29
system time used= 1.83872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293559
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= 16357
runsolver used 2.11468 second user time and 5.33719 second system time
The end
Begin job on node22 at 2008-07-05 07:47:43
IDJOB=1086011
IDBENCH=57740
IDSOLVER=361
FILE ID=node22/1086011-1215236862
PBS_JOBID= 7881840
Free space on /tmp= 66456 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/fapp/fapp12/normalized-fapp12-1500-10.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086011-1215236862/watcher-1086011-1215236862 -o /tmp/evaluation-result-1086011-1215236862/solver-1086011-1215236862 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1086011-1215236862.xml 1861809542
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 029bcf31114915c1681378a4f18ed14e
RANDOM SEED=1861809542
node22.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 : 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.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: 1224256 kB
Buffers: 47540 kB
Cached: 194404 kB
SwapCached: 6596 kB
Active: 690156 kB
Inactive: 84632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1224256 kB
SwapTotal: 4192956 kB
SwapFree: 4180256 kB
Dirty: 6392 kB
Writeback: 0 kB
Mapped: 546396 kB
Slab: 41140 kB
Committed_AS: 4218876 kB
PageTables: 2760 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= 66456 MiB
End job on node22 at 2008-07-05 08:17:49