Trace number 1043123

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
casper zaoSAT 382.126 385.218

DiagnosticValue
CHECKS15470000

General information on the benchmark

Namecsp/magicSquare/
normalized-magicSquare-18_glb.xml
MD5SUM8c9a9485571326f274e2bac46160c372
Bench CategoryGLOBAL (global constraints)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark382.126
Satisfiable
(Un)Satisfiability was proved
Number of variables324
Number of constraints39
Maximum constraint arity324
Maximum domain size324
Number of constraints which are defined in extension0
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)alldifferent(1),weightedsum(38)

Solver Data (download as text)

0.00/0.21	c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.21	c Parsing = 1
0.00/0.21	c Building = 1
0.00/0.21	c [ NumberOfVariables = 324 ]
0.00/0.21	c [ NumberOfConstraints = 39 ]
0.00/0.21	c [ SizeOfSearchSpace(log2) = 2702.11 ]
0.00/0.21	c SymmetrySearch = 1
0.00/0.21	c [ Found 7.43178e+08 symmetries ]
0.00/0.21	c InitialPropagation = 1
0.00/0.21	c [ SizeOfSearchSpace(log2) = 2701.77 ]
0.00/0.21	c InitialSAC = 1
2.37/2.41	c [ SizeOfSearchSpace(log2) = 2701.77 ]
2.37/2.41	c Search(DomWDeg) = 1
382.00/385.19	s SATISFIABLE
382.00/385.19	v 222 149 175 179 297 316 321 322 323 324 7 16 3 5 6 2 1 257 275 307 226 152 82 298 115 266 187 289 244 19 126 238 4 11 72 14 214 287 182 144 203 265 20 274 37 107 22 195 104 251 319 125 131 45 271 242 75 190 43 221 177 296 96 151 223 108 268 174 262 51 13 64 101 99 170 294 112 49 181 252 73 279 261 253 67 69 199 248 59 159 122 208 10 184 236 30 228 48 216 320 189 130 123 109 140 12 312 308 162 105 314 23 84 46 88 192 24 111 154 102 273 50 291 292 311 303 277 256 173 281 133 100 198 229 163 317 302 197 38 93 81 36 9 42 220 201 33 295 230 206 309 26 87 225 54 255 65 234 113 32 71 269 194 169 166 286 70 29 282 241 188 283 66 114 219 211 213 85 53 56 217 158 68 263 106 143 280 249 278 172 62 207 80 25 129 310 157 21 155 63 276 156 52 136 153 165 171 160 124 306 161 119 118 258 231 121 128 247 232 83 176 167 137 58 150 91 259 139 120 135 142 210 313 138 57 86 164 89 74 205 103 90 180 18 117 168 224 284 212 300 304 250 97 127 132 183 254 193 61 78 147 28 191 204 235 200 60 299 290 146 76 92 301 47 260 202 116 55 227 8 196 178 270 243 185 31 293 145 98 34 134 41 267 209 79 44 237 15 239 186 285 245 218 305 17 272 39 95 94 35 246 110 77 40 141 27 215 148 264 240 233 318 288 315
382.00/385.19	d CHECKS 15469962
382.00/385.19	c [ TotalFails = 764355 ]
382.00/385.19	c [ NumberOfRestarts = 12 ]
382.00/385.19	c [ TotalTime = 359.448 secs ]

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043123-1215024751/watcher-1043123-1215024751 -o /tmp/evaluation-result-1043123-1215024751/solver-1043123-1215024751 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1043123-1215024751.xml 480025050 

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.08 2.03 1.99 4/72 21444
/proc/meminfo: memFree=1755272/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=100020 CPUtime=0.19
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 1795 0 0 0 19 0 0 0 19 0 1 0 1981448950 102420480 1748 996147200 134512640 135477443 4294956224 18446744073709551615 134946707 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 25005 1748 512 235 0 23706 0

[startup+0.286075 s]
/proc/loadavg: 2.08 2.03 1.99 4/72 21444
/proc/meminfo: memFree=1755272/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=100020 CPUtime=0.27
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 1795 0 0 0 27 0 0 0 19 0 1 0 1981448950 102420480 1748 996147200 134512640 135477443 4294956224 18446744073709551615 134946707 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 25005 1748 512 235 0 23706 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 100020

[startup+0.301072 s]
/proc/loadavg: 2.08 2.03 1.99 4/72 21444
/proc/meminfo: memFree=1755272/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=100020 CPUtime=0.28
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 1795 0 0 0 28 0 0 0 19 0 1 0 1981448950 102420480 1748 996147200 134512640 135477443 4294956224 18446744073709551615 135017140 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 25005 1748 512 235 0 23706 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 100020

[startup+0.401086 s]
/proc/loadavg: 2.08 2.03 1.99 4/72 21444
/proc/meminfo: memFree=1755272/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=100020 CPUtime=0.38
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 1795 0 0 0 38 0 0 0 20 0 1 0 1981448950 102420480 1748 996147200 134512640 135477443 4294956224 18446744073709551615 134946707 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 25005 1748 512 235 0 23706 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 100020

[startup+0.7011 s]
/proc/loadavg: 2.08 2.03 1.99 4/72 21444
/proc/meminfo: memFree=1755272/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=100020 CPUtime=0.68
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 1796 0 0 0 68 0 0 0 23 0 1 0 1981448950 102420480 1749 996147200 134512640 135477443 4294956224 18446744073709551615 135018413 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 25005 1749 512 235 0 23706 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 100020

[startup+1.50115 s]
/proc/loadavg: 2.08 2.03 1.99 3/73 21445
/proc/meminfo: memFree=1750208/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=100020 CPUtime=1.47
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 1796 0 0 0 147 0 0 0 25 0 1 0 1981448950 102420480 1749 996147200 134512640 135477443 4294956224 18446744073709551615 134874656 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 25005 1749 512 235 0 23706 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 100020

[startup+3.10125 s]
/proc/loadavg: 2.08 2.03 1.99 3/73 21445
/proc/meminfo: memFree=1750016/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=100020 CPUtime=3.06
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 4467 0 0 0 305 1 0 0 25 0 1 0 1981448950 102420480 4420 996147200 134512640 135477443 4294956224 18446744073709551615 135017136 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 25005 4420 523 235 0 23706 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 100020

[startup+6.30146 s]
/proc/loadavg: 2.08 2.03 1.99 3/73 21445
/proc/meminfo: memFree=1688896/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=162524 CPUtime=6.23
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 17065 0 0 0 617 6 0 0 25 0 1 0 1981448950 166424576 17018 996147200 134512640 135477443 4294956224 18446744073709551615 134946707 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 40631 17018 523 235 0 39332 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 162524

[startup+12.7029 s]
/proc/loadavg: 2.06 2.03 1.99 3/73 21445
/proc/meminfo: memFree=1668672/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=162524 CPUtime=12.57
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 22099 0 0 0 1249 8 0 0 25 0 1 0 1981448950 166424576 22052 996147200 134512640 135477443 4294956224 18446744073709551615 134965951 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 40631 22052 523 235 0 39332 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 162524

[startup+25.5067 s]
/proc/loadavg: 2.05 2.03 1.99 3/73 21445
/proc/meminfo: memFree=1664896/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=162524 CPUtime=25.27
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 23059 0 0 0 2518 9 0 0 25 0 1 0 1981448950 166424576 23012 996147200 134512640 135477443 4294956224 18446744073709551615 135017136 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 40631 23012 523 235 0 39332 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 162524

[startup+51.1013 s]
/proc/loadavg: 2.03 2.02 1.99 3/73 21445
/proc/meminfo: memFree=1648960/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=50.63
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 27019 0 0 0 5053 10 0 0 25 0 1 0 1981448950 294428672 26972 996147200 134512640 135477443 4294956224 18446744073709551615 135018499 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 26972 523 235 0 70583 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 287528

[startup+102.302 s]
/proc/loadavg: 2.01 2.02 1.99 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=101.41
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 10129 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 134971408 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 287528

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/73 21445
/proc/meminfo: memFree=1640384/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=160.89
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 16077 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 134585553 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 160.89
Current children cumulated vsize (KiB) 287528

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=220.43
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 22031 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 134943034 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 220.43
Current children cumulated vsize (KiB) 287528

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=279.98
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 27986 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 135017140 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 279.98
Current children cumulated vsize (KiB) 287528

[startup+342.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=339.53
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 33941 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 134887078 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 339.53
Current children cumulated vsize (KiB) 287528

Solver just ended. Dumping a history of the last processes samples

[startup+358.502 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=355.6
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 35548 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 134874656 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 355.6
Current children cumulated vsize (KiB) 287528

[startup+371.302 s]
/proc/loadavg: 2.00 2.00 1.99 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=368.31
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 36819 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 134583585 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 368.31
Current children cumulated vsize (KiB) 287528

[startup+377.701 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=374.66
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 37454 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 134970646 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 374.66
Current children cumulated vsize (KiB) 287528

[startup+380.902 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=377.83
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 37771 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 134673686 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 377.83
Current children cumulated vsize (KiB) 287528

[startup+382.501 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=379.42
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 37930 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 135208515 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 379.42
Current children cumulated vsize (KiB) 287528

[startup+384.106 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=381.01
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 38089 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 135004916 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 381.01
Current children cumulated vsize (KiB) 287528

[startup+384.901 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=381.8
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 38168 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 134889518 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 381.8
Current children cumulated vsize (KiB) 287528

[startup+385.102 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=287528 CPUtime=382
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29132 0 0 0 38188 12 0 0 25 0 1 0 1981448950 294428672 29085 996147200 134512640 135477443 4294956224 18446744073709551615 134887902 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 71882 29085 523 235 0 70583 0
Current children cumulated CPU time (s) 382
Current children cumulated vsize (KiB) 287528

[startup+385.207 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 21445
/proc/meminfo: memFree=1640320/2055920 swapFree=4180440/4192956
[pid=21444] ppid=21442 vsize=256276 CPUtime=382.11
/proc/21444/stat : 21444 (casperzao) R 21442 21444 20900 0 -1 4194304 29133 0 0 0 38198 13 0 0 25 0 1 0 1981448950 262426624 16154 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21444/statm: 64069 16154 524 235 0 62770 0
Current children cumulated CPU time (s) 382.11
Current children cumulated vsize (KiB) 256276

Child status: 0
Real time (s): 385.218
CPU time (s): 382.126
CPU user time (s): 381.982
CPU system time (s): 0.143978
CPU usage (%): 99.1973
Max. virtual memory (cumulated for all children) (KiB): 287528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 381.982
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29134
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= 8133

runsolver used 0.443932 second user time and 1.06784 second system time

The end

Launcher Data (download as text)

Begin job on node29 at 2008-07-02 20:52:32
IDJOB=1043123
IDBENCH=53649
IDSOLVER=361
FILE ID=node29/1043123-1215024751
PBS_JOBID= 7874412
Free space on /tmp= 66540 MiB

SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/magicSquare/normalized-magicSquare-18_glb.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043123-1215024751/watcher-1043123-1215024751 -o /tmp/evaluation-result-1043123-1215024751/solver-1043123-1215024751 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/casperzao HOME/instance-1043123-1215024751.xml 480025050 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 8c9a9485571326f274e2bac46160c372
RANDOM SEED=480025050

node29.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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1755752 kB
Buffers:         36980 kB
Cached:         181200 kB
SwapCached:       6492 kB
Active:         133216 kB
Inactive:       100064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1755752 kB
SwapTotal:     4192956 kB
SwapFree:      4180440 kB
Dirty:            2924 kB
Writeback:           0 kB
Mapped:          22856 kB
Slab:            52024 kB
Committed_AS:  3380000 kB
PageTables:       1952 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= 66536 MiB
End job on node29 at 2008-07-02 20:58:57