0.00/0.00 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
0.29/0.34 c Building = 1
0.79/0.82 c [ NumberOfVariables = 120 ]
0.79/0.82 c [ NumberOfConstraints = 22 ]
0.79/0.82 c [ SizeOfSearchSpace(log2) = 564.053 ]
0.79/0.82 c SymmetrySearch = 1
15.39/15.43 c InitialPropagation = 1
16.19/16.26 c [ SizeOfSearchSpace(log2) = 558.13 ]
16.19/16.26 c InitialSAC = (Timeout)
85.46/85.56 c [ SizeOfSearchSpace(log2) = 558.13 ]
85.46/85.56 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-1076658-1215189154/watcher-1076658-1215189154 -o /tmp/evaluation-result-1076658-1215189154/solver-1076658-1215189154 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1076658-1215189154.xml 1186728310
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/79 28197
/proc/meminfo: memFree=1734200/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=5348 CPUtime=0
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 227 0 0 0 0 0 0 0 18 0 1 0 674644434 5476352 202 996147200 134512640 135472138 4294956224 18446744073709551615 6348052 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 1337 202 165 234 0 27 0
[startup+0.0792301 s]
/proc/loadavg: 2.00 2.00 2.00 4/79 28197
/proc/meminfo: memFree=1734200/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=8408 CPUtime=0.07
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 1212 0 0 0 7 0 0 0 18 0 1 0 674644434 8609792 1172 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 2102 1172 364 234 0 804 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8408
[startup+0.101232 s]
/proc/loadavg: 2.00 2.00 2.00 4/79 28197
/proc/meminfo: memFree=1734200/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=8408 CPUtime=0.09
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 1212 0 0 0 9 0 0 0 18 0 1 0 674644434 8609792 1172 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 2102 1172 364 234 0 804 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8408
[startup+0.301253 s]
/proc/loadavg: 2.00 2.00 2.00 4/79 28197
/proc/meminfo: memFree=1734200/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=11844 CPUtime=0.29
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 2076 0 0 0 28 1 0 0 19 0 1 0 674644434 12128256 2036 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 2961 2036 365 234 0 1663 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11844
[startup+0.701298 s]
/proc/loadavg: 2.00 2.00 2.00 4/79 28197
/proc/meminfo: memFree=1734200/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=115012 CPUtime=0.69
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 3887 0 0 0 67 2 0 0 23 0 1 0 674644434 117772288 3847 996147200 134512640 135472138 4294956224 18446744073709551615 134606189 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28753 3847 403 234 0 27455 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 115012
[startup+1.50139 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 28198
/proc/meminfo: memFree=1706032/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=167680 CPUtime=1.49
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 17096 0 0 0 139 10 0 0 25 0 1 0 674644434 171704320 17056 996147200 134512640 135472138 4294956224 18446744073709551615 6813307 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 41920 17057 432 234 0 40622 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 167680
[startup+3.10157 s]
/proc/loadavg: 2.08 2.02 2.01 3/80 28198
/proc/meminfo: memFree=1624240/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=273676 CPUtime=3.09
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 43571 0 0 0 283 26 0 0 25 0 1 0 674644434 280244224 43531 996147200 134512640 135472138 4294956224 18446744073709551615 6813307 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 68419 43532 432 234 0 67121 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 273676
[startup+6.30193 s]
/proc/loadavg: 2.08 2.02 2.01 3/80 28198
/proc/meminfo: memFree=1430960/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=453196 CPUtime=6.29
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 88444 0 0 0 578 51 0 0 25 0 1 0 674644434 464072704 88404 996147200 134512640 135472138 4294956224 18446744073709551615 6813253 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 113299 88404 432 234 0 112001 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 453196
[startup+12.7026 s]
/proc/loadavg: 2.07 2.02 2.00 3/80 28198
/proc/meminfo: memFree=1051128/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=842800 CPUtime=12.68
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 171637 0 0 0 1177 91 0 0 25 0 1 0 674644434 863027200 170977 996147200 134512640 135472138 4294956224 18446744073709551615 134535390 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 210700 170977 439 234 0 209402 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 842800
[startup+25.5011 s]
/proc/loadavg: 2.06 2.01 2.00 3/80 28198
/proc/meminfo: memFree=1717624/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=25.48
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 173437 0 0 0 2445 103 0 0 25 0 1 0 674644434 117407744 4217 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4217 457 234 0 27366 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 114656
[startup+51.1019 s]
/proc/loadavg: 2.10 2.03 2.01 3/80 28198
/proc/meminfo: memFree=1717496/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=51.07
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 173463 0 0 0 5004 103 0 0 25 0 1 0 674644434 117407744 4243 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4243 457 234 0 27366 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 114656
[startup+102.307 s]
/proc/loadavg: 2.10 2.04 2.01 3/80 28198
/proc/meminfo: memFree=1715768/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=102.26
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 173931 0 0 0 10123 103 0 0 25 0 1 0 674644434 117407744 4711 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4711 493 234 0 27366 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 114656
[startup+162.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/80 28198
/proc/meminfo: memFree=1715128/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=162.24
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174039 0 0 0 16120 104 0 0 25 0 1 0 674644434 117407744 4819 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4819 493 234 0 27366 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 114656
[startup+222.302 s]
/proc/loadavg: 2.08 2.05 2.01 3/80 28198
/proc/meminfo: memFree=1715256/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=222.23
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174076 0 0 0 22119 104 0 0 25 0 1 0 674644434 117407744 4856 996147200 134512640 135472138 4294956224 18446744073709551615 134577882 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4856 493 234 0 27366 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 114656
[startup+282.302 s]
/proc/loadavg: 2.08 2.05 2.01 3/80 28198
/proc/meminfo: memFree=1715192/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=282.21
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174076 0 0 0 28117 104 0 0 25 0 1 0 674644434 117407744 4856 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4856 493 234 0 27366 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 114656
[startup+342.301 s]
/proc/loadavg: 2.07 2.06 2.00 3/80 28198
/proc/meminfo: memFree=1715192/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=342.19
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174076 0 0 0 34115 104 0 0 25 0 1 0 674644434 117407744 4856 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4856 493 234 0 27366 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 114656
[startup+402.301 s]
/proc/loadavg: 2.17 2.09 2.02 3/80 28198
/proc/meminfo: memFree=1715256/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=402.17
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174076 0 0 0 40113 104 0 0 25 0 1 0 674644434 117407744 4856 996147200 134512640 135472138 4294956224 18446744073709551615 134585122 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4856 493 234 0 27366 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 114656
[startup+462.302 s]
/proc/loadavg: 2.17 2.11 2.02 3/80 28198
/proc/meminfo: memFree=1715192/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=462.16
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174076 0 0 0 46112 104 0 0 25 0 1 0 674644434 117407744 4856 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4856 493 234 0 27366 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 114656
[startup+522.301 s]
/proc/loadavg: 2.19 2.13 2.04 3/80 28198
/proc/meminfo: memFree=1715192/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=522.14
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174076 0 0 0 52110 104 0 0 25 0 1 0 674644434 117407744 4856 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4856 493 234 0 27366 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 114656
[startup+582.301 s]
/proc/loadavg: 2.07 2.11 2.03 3/80 28198
/proc/meminfo: memFree=1715128/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=582.12
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174076 0 0 0 58108 104 0 0 25 0 1 0 674644434 117407744 4856 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4856 493 234 0 27366 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 114656
[startup+642.302 s]
/proc/loadavg: 2.12 2.11 2.03 3/80 28198
/proc/meminfo: memFree=1715128/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=642.11
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174076 0 0 0 64107 104 0 0 25 0 1 0 674644434 117407744 4856 996147200 134512640 135472138 4294956224 18446744073709551615 134604944 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4856 493 234 0 27366 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 114656
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.00 2.04 2.01 3/80 28198
/proc/meminfo: memFree=1715000/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=882.03
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174076 0 0 0 88099 104 0 0 25 0 1 0 674644434 117407744 4856 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4856 493 234 0 27366 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 114656
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/80 28198
/proc/meminfo: memFree=1715000/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=942.02
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 94098 104 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585158 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 114656
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/80 28198
/proc/meminfo: memFree=1715000/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1002
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 100096 104 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 114656
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/80 28199
/proc/meminfo: memFree=1714936/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1061.98
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 106094 104 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 114656
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 28200
/proc/meminfo: memFree=1714872/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1121.96
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 112092 104 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134616936 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 114656
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 28200
/proc/meminfo: memFree=1714872/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1181.95
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 118091 104 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 114656
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 28200
/proc/meminfo: memFree=1714872/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1241.93
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 124089 104 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 114656
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 28200
/proc/meminfo: memFree=1714744/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1301.92
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 130088 104 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 114656
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 28228
/proc/meminfo: memFree=1722800/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1361.87
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 136082 105 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 1 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 114656
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/80 28328
/proc/meminfo: memFree=1722104/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1421.27
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 142020 107 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1421.27
Current children cumulated vsize (KiB) 114656
[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/80 28328
/proc/meminfo: memFree=1722168/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1480.7
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 147963 107 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1480.7
Current children cumulated vsize (KiB) 114656
[startup+1542.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/80 28328
/proc/meminfo: memFree=1722104/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1540.13
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 153906 107 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1540.13
Current children cumulated vsize (KiB) 114656
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/80 28328
/proc/meminfo: memFree=1722168/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1599.56
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 159849 107 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585095 0 0 4096 0 0 0 0 17 0 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1599.56
Current children cumulated vsize (KiB) 114656
[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/80 28328
/proc/meminfo: memFree=1722104/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1658.99
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 165792 107 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 0 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1658.99
Current children cumulated vsize (KiB) 114656
[startup+1722.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/80 28334
/proc/meminfo: memFree=1722104/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1718.41
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 171733 108 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1718.41
Current children cumulated vsize (KiB) 114656
[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/80 28334
/proc/meminfo: memFree=1722040/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1777.84
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 177676 108 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 135262880 0 0 4096 0 0 0 0 17 0 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1777.84
Current children cumulated vsize (KiB) 114656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.7 s]
/proc/loadavg: 2.14 2.08 2.01 3/80 28334
/proc/meminfo: memFree=1722040/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1800.03
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 179895 108 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 114656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1804.7 s]
/proc/loadavg: 2.14 2.08 2.01 3/80 28334
/proc/meminfo: memFree=1722040/2055920 swapFree=4178892/4192956
[pid=28197] ppid=28195 vsize=114656 CPUtime=1800.03
/proc/28197/stat : 28197 (casperzito) R 28195 28197 26608 0 -1 4194304 174077 0 0 0 179895 108 0 0 25 0 1 0 674644434 117407744 4857 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/28197/statm: 28664 4857 493 234 0 27366 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 114656
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.71
CPU time (s): 1800.04
CPU user time (s): 1798.95
CPU system time (s): 1.08783
CPU usage (%): 99.7412
Max. virtual memory (cumulated for all children) (KiB): 842800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.08783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174077
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= 12048
runsolver used 2.35664 second user time and 5.85411 second system time
The end
Begin job on node86 at 2008-07-04 18:32:35
IDJOB=1076658
IDBENCH=56596
IDSOLVER=362
FILE ID=node86/1076658-1215189154
PBS_JOBID= 7881540
Free space on /tmp= 66548 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg10-12_ext.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076658-1215189154/watcher-1076658-1215189154 -o /tmp/evaluation-result-1076658-1215189154/solver-1076658-1215189154 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1076658-1215189154.xml 1186728310
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= ccd3962fadde28be4037bce110f3708a
RANDOM SEED=1186728310
node86.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.220
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.220
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: 1734680 kB
Buffers: 66696 kB
Cached: 176064 kB
SwapCached: 6392 kB
Active: 172832 kB
Inactive: 98056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1734680 kB
SwapTotal: 4192956 kB
SwapFree: 4178892 kB
Dirty: 6092 kB
Writeback: 0 kB
Mapped: 34124 kB
Slab: 33776 kB
Committed_AS: 1257544 kB
PageTables: 3596 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= 66548 MiB
End job on node86 at 2008-07-04 19:02:41