Trace number 1043749

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 zitoSAT 455.393 459.337

DiagnosticValue
CHECKS16141600

General information on the benchmark

Namecsp/magicSquare/
normalized-magicSquare-17_glb.xml
MD5SUM59c987f6631c613813e79e7f44cdd8bc
Bench CategoryGLOBAL (global constraints)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark455.393
Satisfiable
(Un)Satisfiability was proved
Number of variables289
Number of constraints37
Maximum constraint arity289
Maximum domain size289
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(36)

Solver Data (download as text)

0.18/0.21	c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.21	c Parsing = 1
0.18/0.21	c Building = 1
0.18/0.21	c [ NumberOfVariables = 289 ]
0.18/0.21	c [ NumberOfConstraints = 37 ]
0.18/0.21	c [ SizeOfSearchSpace(log2) = 2362.55 ]
0.18/0.21	c SymmetrySearch = 1
0.18/0.21	c [ Found 4.12877e+07 symmetries ]
0.18/0.21	c InitialPropagation = 1
0.18/0.21	c [ SizeOfSearchSpace(log2) = 2362.25 ]
0.18/0.21	c InitialSAC = 1
1.48/1.50	c [ SizeOfSearchSpace(log2) = 2362.25 ]
1.48/1.50	c Search(DomWDeg) = 1
455.34/459.31	s SATISFIABLE
455.34/459.31	v 5 216 263 271 278 281 284 285 31 288 1 2 8 6 4 13 229 223 34 115 256 123 244 129 233 128 121 48 142 162 29 116 268 94 134 122 287 137 85 259 17 178 35 171 7 65 206 214 36 269 243 92 155 238 249 195 135 83 165 251 43 12 97 79 272 148 219 32 105 22 102 213 82 151 179 199 158 74 222 49 187 75 276 141 230 124 152 163 265 107 37 73 118 186 228 90 3 211 234 180 111 183 106 237 45 247 132 232 101 117 196 173 176 157 260 154 41 24 67 280 221 202 262 52 267 96 140 220 282 209 126 47 25 10 15 11 217 261 87 175 198 51 131 245 56 55 78 172 33 120 167 164 255 100 40 208 21 257 104 103 246 239 57 60 89 273 181 248 80 159 108 61 200 38 274 258 20 254 46 77 264 252 189 58 99 98 169 150 59 110 18 190 53 145 146 197 138 185 23 72 224 266 277 212 201 204 95 64 133 76 139 27 177 192 193 231 54 215 205 191 68 166 184 63 194 50 112 227 14 136 143 236 253 156 218 88 144 81 225 153 182 30 127 70 226 26 125 86 240 279 161 119 283 71 62 210 109 66 9 69 93 242 28 114 188 203 250 207 174 130 289 84 19 235 39 16 113 42 270 44 170 149 241 275 160 147 168 91 286
455.34/459.31	d CHECKS 16141640
455.34/459.31	c [ TotalFails = 729739 ]
455.34/459.31	c [ NumberOfRestarts = 12 ]
455.34/459.32	c [ TotalTime = 428.581 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-1043749-1215024712/watcher-1043749-1215024712 -o /tmp/evaluation-result-1043749-1215024712/solver-1043749-1215024712 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1043749-1215024712.xml 1460060584 

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.98 1.99 4/72 7633
/proc/meminfo: memFree=1754488/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=2328 CPUtime=0
/proc/7633/stat : 7633 (casperzito) D 7631 7633 6790 0 -1 4194304 57 0 0 0 0 0 0 0 18 0 1 0 408088581 2383872 41 996147200 134512640 135472138 4294956224 18446744073709551615 3810084 0 2147483391 4096 0 18446744072099937270 0 0 17 1 0 0
/proc/7633/statm: 582 41 31 234 0 14 0

[startup+0.107303 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 7633
/proc/meminfo: memFree=1754488/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=99936 CPUtime=0.09
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 1574 0 0 0 9 0 0 0 18 0 1 0 408088581 102334464 1534 996147200 134512640 135472138 4294956224 18446744073709551615 134940691 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 24984 1534 504 234 0 23686 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 99936

[startup+0.201314 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 7633
/proc/meminfo: memFree=1754488/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=99936 CPUtime=0.18
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 1574 0 0 0 18 0 0 0 18 0 1 0 408088581 102334464 1534 996147200 134512640 135472138 4294956224 18446744073709551615 135011124 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 24984 1534 504 234 0 23686 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 99936

[startup+0.301328 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 7633
/proc/meminfo: memFree=1754488/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=99936 CPUtime=0.28
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 1574 0 0 0 28 0 0 0 19 0 1 0 408088581 102334464 1534 996147200 134512640 135472138 4294956224 18446744073709551615 135012377 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 24984 1534 504 234 0 23686 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 99936

[startup+0.701386 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 7633
/proc/meminfo: memFree=1754488/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=99936 CPUtime=0.68
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 1575 0 0 0 68 0 0 0 23 0 1 0 408088581 102334464 1535 996147200 134512640 135472138 4294956224 18446744073709551615 135011124 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 24984 1535 504 234 0 23686 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 99936

[startup+1.5015 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 7634
/proc/meminfo: memFree=1750256/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=99936 CPUtime=1.48
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 1576 0 0 0 147 1 0 0 25 0 1 0 408088581 102334464 1536 996147200 134512640 135472138 4294956224 18446744073709551615 134940672 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 24984 1536 504 234 0 23686 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 99936

[startup+3.10174 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 7634
/proc/meminfo: memFree=1743600/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=99936 CPUtime=3.06
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 5829 0 0 0 303 3 0 0 25 0 1 0 408088581 102334464 5789 996147200 134512640 135472138 4294956224 18446744073709551615 134881790 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 24984 5789 514 234 0 23686 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 99936

[startup+6.30118 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 7634
/proc/meminfo: memFree=1733040/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=99936 CPUtime=6.24
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 5829 0 0 0 621 3 0 0 25 0 1 0 408088581 102334464 5789 996147200 134512640 135472138 4294956224 18446744073709551615 135011134 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 24984 5789 514 234 0 23686 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 99936

[startup+12.7021 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 7634
/proc/meminfo: memFree=1709232/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=162440 CPUtime=12.57
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 11744 0 0 0 1251 6 0 0 25 0 1 0 408088581 166338560 11704 996147200 134512640 135472138 4294956224 18446744073709551615 134964695 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 40610 11704 514 234 0 39312 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 162440

[startup+25.5019 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 7634
/proc/meminfo: memFree=1701616/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=162440 CPUtime=25.24
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 13682 0 0 0 2517 7 0 0 25 0 1 0 408088581 166338560 13642 996147200 134512640 135472138 4294956224 18446744073709551615 134940697 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 40610 13642 514 234 0 39312 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 162440

[startup+51.1015 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 7634
/proc/meminfo: memFree=1689584/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=162440 CPUtime=50.61
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 16680 0 0 0 5052 9 0 0 25 0 1 0 408088581 166338560 16640 996147200 134512640 135472138 4294956224 18446744073709551615 134940691 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 40610 16640 514 234 0 39312 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 162440

[startup+102.302 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 7634
/proc/meminfo: memFree=1675120/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=162440 CPUtime=101.33
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 20267 0 0 0 10122 11 0 0 25 0 1 0 408088581 166338560 20227 996147200 134512640 135472138 4294956224 18446744073709551615 134965414 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 40610 20227 514 234 0 39312 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 162440

[startup+162.301 s]
/proc/loadavg: 2.12 2.02 2.01 3/73 7634
/proc/meminfo: memFree=1674928/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=162440 CPUtime=160.77
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 20275 0 0 0 16066 11 0 0 25 0 1 0 408088581 166338560 20235 996147200 134512640 135472138 4294956224 18446744073709551615 134964669 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 40610 20235 514 234 0 39312 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 162440

[startup+222.307 s]
/proc/loadavg: 2.15 2.04 2.01 3/73 7634
/proc/meminfo: memFree=1662128/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=162440 CPUtime=220.23
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 23981 0 0 0 22010 13 0 0 25 0 1 0 408088581 166338560 23941 996147200 134512640 135472138 4294956224 18446744073709551615 135012510 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 40610 23941 514 234 0 39312 0
Current children cumulated CPU time (s) 220.23
Current children cumulated vsize (KiB) 162440

[startup+282.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/73 7634
/proc/meminfo: memFree=1654704/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=287444 CPUtime=279.71
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 25377 0 0 0 27957 14 0 0 25 0 1 0 408088581 294342656 25337 996147200 134512640 135472138 4294956224 18446744073709551615 134581662 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 71861 25337 514 234 0 70563 0
Current children cumulated CPU time (s) 279.71
Current children cumulated vsize (KiB) 287444

[startup+342.302 s]
/proc/loadavg: 2.13 2.05 2.01 3/73 7634
/proc/meminfo: memFree=1654640/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=287444 CPUtime=339.24
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 25377 0 0 0 33910 14 0 0 25 0 1 0 408088581 294342656 25337 996147200 134512640 135472138 4294956224 18446744073709551615 135012364 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 71861 25337 514 234 0 70563 0
Current children cumulated CPU time (s) 339.24
Current children cumulated vsize (KiB) 287444

[startup+402.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/73 7634
/proc/meminfo: memFree=1654576/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=287444 CPUtime=398.79
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 25377 0 0 0 39865 14 0 0 25 0 1 0 408088581 294342656 25337 996147200 134512640 135472138 4294956224 18446744073709551615 134945671 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 71861 25337 514 234 0 70563 0
Current children cumulated CPU time (s) 398.79
Current children cumulated vsize (KiB) 287444

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

[startup+409.601 s]
/proc/loadavg: 2.04 2.04 2.00 3/73 7634
/proc/meminfo: memFree=1654576/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=287444 CPUtime=406.03
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 25377 0 0 0 40589 14 0 0 25 0 1 0 408088581 294342656 25337 996147200 134512640 135472138 4294956224 18446744073709551615 134945659 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 71861 25337 514 234 0 70563 0
Current children cumulated CPU time (s) 406.03
Current children cumulated vsize (KiB) 287444

[startup+435.202 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 7634
/proc/meminfo: memFree=1654576/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=287444 CPUtime=431.43
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 25377 0 0 0 43129 14 0 0 25 0 1 0 408088581 294342656 25337 996147200 134512640 135472138 4294956224 18446744073709551615 134882209 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 71861 25337 514 234 0 70563 0
Current children cumulated CPU time (s) 431.43
Current children cumulated vsize (KiB) 287444

[startup+448.002 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 7634
/proc/meminfo: memFree=1654576/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=287444 CPUtime=444.13
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 25377 0 0 0 44399 14 0 0 25 0 1 0 408088581 294342656 25337 996147200 134512640 135472138 4294956224 18446744073709551615 135262942 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 71861 25337 514 234 0 70563 0
Current children cumulated CPU time (s) 444.13
Current children cumulated vsize (KiB) 287444

[startup+454.407 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 7634
/proc/meminfo: memFree=1654512/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=287444 CPUtime=450.48
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 25377 0 0 0 45034 14 0 0 25 0 1 0 408088581 294342656 25337 996147200 134512640 135472138 4294956224 18446744073709551615 134964659 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 71861 25337 514 234 0 70563 0
Current children cumulated CPU time (s) 450.48
Current children cumulated vsize (KiB) 287444

[startup+457.601 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 7634
/proc/meminfo: memFree=1654512/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=287444 CPUtime=453.66
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 25377 0 0 0 45352 14 0 0 25 0 1 0 408088581 294342656 25337 996147200 134512640 135472138 4294956224 18446744073709551615 134965403 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 71861 25337 514 234 0 70563 0
Current children cumulated CPU time (s) 453.66
Current children cumulated vsize (KiB) 287444

[startup+458.401 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 7634
/proc/meminfo: memFree=1654512/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=287444 CPUtime=454.45
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 25377 0 0 0 45431 14 0 0 25 0 1 0 408088581 294342656 25337 996147200 134512640 135472138 4294956224 18446744073709551615 134881886 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 71861 25337 514 234 0 70563 0
Current children cumulated CPU time (s) 454.45
Current children cumulated vsize (KiB) 287444

[startup+458.806 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 7634
/proc/meminfo: memFree=1654512/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=287444 CPUtime=454.85
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 25377 0 0 0 45471 14 0 0 25 0 1 0 408088581 294342656 25337 996147200 134512640 135472138 4294956224 18446744073709551615 134945816 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 71861 25337 514 234 0 70563 0
Current children cumulated CPU time (s) 454.85
Current children cumulated vsize (KiB) 287444

[startup+459.202 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 7634
/proc/meminfo: memFree=1654512/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=287444 CPUtime=455.24
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 25377 0 0 0 45510 14 0 0 25 0 1 0 408088581 294342656 25337 996147200 134512640 135472138 4294956224 18446744073709551615 134868640 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 71861 25337 514 234 0 70563 0
Current children cumulated CPU time (s) 455.24
Current children cumulated vsize (KiB) 287444

[startup+459.302 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 7634
/proc/meminfo: memFree=1654512/2055920 swapFree=4180288/4192956
[pid=7633] ppid=7631 vsize=287444 CPUtime=455.34
/proc/7633/stat : 7633 (casperzito) R 7631 7633 6790 0 -1 4194304 25377 0 0 0 45520 14 0 0 25 0 1 0 408088581 294342656 25337 996147200 134512640 135472138 4294956224 18446744073709551615 135010927 0 0 4096 0 0 0 0 17 1 0 0
/proc/7633/statm: 71861 25337 514 234 0 70563 0
Current children cumulated CPU time (s) 455.34
Current children cumulated vsize (KiB) 287444

Child status: 0
Real time (s): 459.337
CPU time (s): 455.393
CPU user time (s): 455.227
CPU system time (s): 0.165974
CPU usage (%): 99.1413
Max. virtual memory (cumulated for all children) (KiB): 287444

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

runsolver used 0.555915 second user time and 1.3368 second system time

The end

Launcher Data (download as text)

Begin job on node49 at 2008-07-02 20:51:52
IDJOB=1043749
IDBENCH=53646
IDSOLVER=362
FILE ID=node49/1043749-1215024712
PBS_JOBID= 7874371
Free space on /tmp= 66536 MiB

SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/magicSquare/normalized-magicSquare-17_glb.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043749-1215024712/watcher-1043749-1215024712 -o /tmp/evaluation-result-1043749-1215024712/solver-1043749-1215024712 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/casperzito HOME/instance-1043749-1215024712.xml 1460060584 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 59c987f6631c613813e79e7f44cdd8bc
RANDOM SEED=1460060584

node49.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.249
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.249
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:       1754968 kB
Buffers:         20668 kB
Cached:         150456 kB
SwapCached:       6084 kB
Active:         173348 kB
Inactive:        66360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754968 kB
SwapTotal:     4192956 kB
SwapFree:      4180288 kB
Dirty:            2896 kB
Writeback:           0 kB
Mapped:          76068 kB
Slab:            46244 kB
Committed_AS:   838312 kB
PageTables:       1936 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 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 node49 at 2008-07-02 20:59:32