Trace number 1043752

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 467.941 468.649

DiagnosticValue
CHECKS4933040

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

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 5/92 13539
/proc/meminfo: memFree=828476/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=1052 CPUtime=0
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 40 0 0 0 0 0 0 0 22 0 1 0 658202637 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 10261284 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 263 26 20 234 0 3 0

[startup+0.0699611 s]
/proc/loadavg: 1.92 1.98 1.99 5/92 13539
/proc/meminfo: memFree=828476/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=100016 CPUtime=0.05
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 1783 0 0 0 5 0 0 0 22 0 1 0 658202637 102416384 1736 996147200 134512640 135472138 4294956224 18446744073709551615 134940691 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 25004 1736 505 234 0 23706 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 100016

[startup+0.10196 s]
/proc/loadavg: 1.92 1.98 1.99 5/92 13539
/proc/meminfo: memFree=828476/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=100016 CPUtime=0.08
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 1783 0 0 0 8 0 0 0 22 0 1 0 658202637 102416384 1736 996147200 134512640 135472138 4294956224 18446744073709551615 134940691 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 25004 1736 505 234 0 23706 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 100016

[startup+0.301977 s]
/proc/loadavg: 1.92 1.98 1.99 5/92 13539
/proc/meminfo: memFree=828476/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=100016 CPUtime=0.28
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 1788 0 0 0 28 0 0 0 24 0 1 0 658202637 102416384 1741 996147200 134512640 135472138 4294956224 18446744073709551615 134940691 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 25004 1741 505 234 0 23706 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 100016

[startup+0.70202 s]
/proc/loadavg: 1.92 1.98 1.99 5/92 13539
/proc/meminfo: memFree=828476/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=100016 CPUtime=0.68
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 1789 0 0 0 68 0 0 0 25 0 1 0 658202637 102416384 1742 996147200 134512640 135472138 4294956224 18446744073709551615 134581720 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 25004 1742 505 234 0 23706 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 100016

[startup+1.5011 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 13540
/proc/meminfo: memFree=823412/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=100016 CPUtime=1.48
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 1789 0 0 0 148 0 0 0 25 0 1 0 658202637 102416384 1742 996147200 134512640 135472138 4294956224 18446744073709551615 134940691 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 25004 1742 505 234 0 23706 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 100016

[startup+3.10871 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 13540
/proc/meminfo: memFree=823284/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=100016 CPUtime=3
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 6573 0 0 0 298 2 0 0 25 0 1 0 658202637 102416384 6526 996147200 134512640 135472138 4294956224 18446744073709551615 134940703 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 25004 6526 515 234 0 23706 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 100016

[startup+6.3046 s]
/proc/loadavg: 2.09 2.02 2.01 3/93 13540
/proc/meminfo: memFree=793396/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=162520 CPUtime=5.96
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 9249 0 0 0 593 3 0 0 25 0 1 0 658202637 166420480 9202 996147200 134512640 135472138 4294956224 18446744073709551615 134672496 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 40630 9202 515 234 0 39332 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 162520

[startup+12.7013 s]
/proc/loadavg: 2.08 2.02 2.00 3/93 13540
/proc/meminfo: memFree=749300/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=162520 CPUtime=12.33
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 20235 0 0 0 1226 7 0 0 25 0 1 0 658202637 166420480 20188 996147200 134512640 135472138 4294956224 18446744073709551615 134965328 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 40630 20188 515 234 0 39332 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 162520

[startup+25.5016 s]
/proc/loadavg: 2.06 2.01 2.00 3/93 13540
/proc/meminfo: memFree=749492/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=162520 CPUtime=25.08
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 20235 0 0 0 2501 7 0 0 25 0 1 0 658202637 166420480 20188 996147200 134512640 135472138 4294956224 18446744073709551615 134965403 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 40630 20188 515 234 0 39332 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 162520

[startup+51.1013 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 13540
/proc/meminfo: memFree=737460/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=162520 CPUtime=50.57
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 23300 0 0 0 5049 8 0 0 25 0 1 0 658202637 166420480 23253 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 40630 23253 515 234 0 39332 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 162520

[startup+102.302 s]
/proc/loadavg: 2.06 2.02 2.00 3/81 13583
/proc/meminfo: memFree=776468/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=101.69
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 34507 0 0 0 10156 13 0 0 25 0 1 0 658202637 294424576 34460 996147200 134512640 135472138 4294956224 18446744073709551615 134965400 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 34460 515 234 0 70583 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 287524

[startup+162.302 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 13583
/proc/meminfo: memFree=776212/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=161.67
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 34541 0 0 0 16154 13 0 0 25 0 1 0 658202637 294424576 34494 996147200 134512640 135472138 4294956224 18446744073709551615 134959999 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 34494 515 234 0 70583 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 287524

[startup+222.302 s]
/proc/loadavg: 2.01 2.01 2.00 4/81 13583
/proc/meminfo: memFree=755348/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=221.65
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 39725 0 0 0 22150 15 0 0 25 0 1 0 658202637 294424576 39678 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 39678 515 234 0 70583 0
Current children cumulated CPU time (s) 221.65
Current children cumulated vsize (KiB) 287524

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=281.64
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 28147 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134960020 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 281.64
Current children cumulated vsize (KiB) 287524

[startup+342.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=341.62
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 34145 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134672502 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 341.62
Current children cumulated vsize (KiB) 287524

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732308/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=401.6
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 40143 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134940691 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 401.6
Current children cumulated vsize (KiB) 287524

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=461.58
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46141 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134940683 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 461.58
Current children cumulated vsize (KiB) 287524

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

[startup+464.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=463.38
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46321 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134882211 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 463.38
Current children cumulated vsize (KiB) 287524

[startup+465.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=464.98
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46481 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134882127 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 464.98
Current children cumulated vsize (KiB) 287524

[startup+467.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=466.58
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46641 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134882209 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 466.58
Current children cumulated vsize (KiB) 287524

[startup+468.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=467.38
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46721 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134940663 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 467.38
Current children cumulated vsize (KiB) 287524

[startup+468.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=467.78
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46761 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134881814 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 467.78
Current children cumulated vsize (KiB) 287524

[startup+468.602 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=467.88
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46771 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134580310 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 467.88
Current children cumulated vsize (KiB) 287524

Child status: 0
Real time (s): 468.649
CPU time (s): 467.941
CPU user time (s): 467.739
CPU system time (s): 0.201969
CPU usage (%): 99.8489
Max. virtual memory (cumulated for all children) (KiB): 287524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 467.739
system time used= 0.201969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45467
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= 15
involuntary context switches= 2856

runsolver used 0.570913 second user time and 1.50577 second system time

The end

Launcher Data (download as text)

Begin job on node90 at 2008-07-02 20:52:41
IDJOB=1043752
IDBENCH=53649
IDSOLVER=362
FILE ID=node90/1043752-1215024761
PBS_JOBID= 7874291
Free space on /tmp= 65516 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 8c9a9485571326f274e2bac46160c372
RANDOM SEED=451081631

node90.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.236
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.236
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:        828956 kB
Buffers:         72380 kB
Cached:         937664 kB
SwapCached:      37428 kB
Active:         551016 kB
Inactive:       593644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        828956 kB
SwapTotal:     4192956 kB
SwapFree:      4149808 kB
Dirty:            2884 kB
Writeback:           0 kB
Mapped:         148632 kB
Slab:            67052 kB
Committed_AS:  1447752 kB
PageTables:       2260 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= 65536 MiB
End job on node90 at 2008-07-02 21:00:29