Trace number 3322435

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
claspmt 2.0-R4095SAT 871.855 109.274

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-16-31-sat.cnf
MD5SUM34c6b89fff5c4d1bd23006ea2314b10d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.030994
Satisfiable
(Un)Satisfiability was proved
Number of variables496
Number of clauses3976
Sum of the clauses size15376
Maximum clause length31
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23720
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5256

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...385457/instance-3322435-1304385457.cnf
0.00/0.00	c Solving...
871.43/109.24	c Answer: 1
871.43/109.24	v -1 -2 -3 -4 -5 -6 -7 -8 -9 10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21
871.43/109.24	v -22 23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39
871.43/109.24	v 40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57
871.43/109.24	v -58 -59 -60 61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75
871.43/109.24	v -76 -77 -78 -79 80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 92 -93 -94
871.43/109.24	v -95 -96 97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110
871.43/109.24	v -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 123 -124 -125
871.43/109.24	v -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 139 -140
871.43/109.24	v -141 -142 -143 -144 145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155
871.43/109.24	v -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 170
871.43/109.24	v -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 185
871.43/109.24	v -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200
871.43/109.24	v 201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215
871.43/109.24	v -216 -217 218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230
871.43/109.24	v -231 -232 -233 -234 -235 -236 -237 -238 239 -240 -241 -242 -243 -244 -245
871.43/109.24	v -246 -247 -248 249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260
871.43/109.24	v -261 -262 -263 -264 -265 -266 -267 -268 -269 270 -271 -272 -273 -274 275
871.43/109.24	v -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290
871.43/109.24	v -291 -292 -293 -294 -295 -296 -297 -298 -299 300 -301 -302 -303 -304 -305
871.43/109.24	v -306 -307 -308 309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320
871.43/109.24	v -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 333 -334 -335
871.43/109.24	v -336 -337 -338 -339 340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350
871.43/109.24	v -351 -352 -353 -354 -355 -356 -357 358 -359 -360 -361 -362 -363 -364 -365
871.43/109.24	v -366 -367 -368 -369 -370 -371 -372 -373 -374 375 -376 -377 -378 -379 -380
871.43/109.24	v -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395
871.43/109.24	v 396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410
871.43/109.24	v -411 -412 413 -414 -415 -416 -417 -418 -419 -420 -421 -422 423 -424 -425
871.43/109.24	v -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440
871.43/109.24	v -441 -442 -443 -444 -445 -446 447 -448 -449 -450 -451 -452 -453 -454 -455
871.43/109.24	v -456 -457 -458 459 -460 -461 -462 -463 -464 -465 466 -467 -468 -469 -470
871.43/109.24	v -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485
871.43/109.24	v -486 -487 -488 -489 -490 -491 -492 493 -494 -495 -496 0
871.43/109.27	s SATISFIABLE
871.43/109.27	
871.43/109.27	c Models        : 1+    
871.43/109.27	c Time          : 109.252s (Solving: 109.25s 1st Model: 109.24s Unsat: 0.00s)
871.43/109.27	c CPU Time      : 871.830s

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3322435-1304385457/watcher-3322435-1304385457 -o /tmp/evaluation-result-3322435-1304385457/solver-3322435-1304385457 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322435-1304385457.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.42 7.97 7.96 2/288 9832
/proc/meminfo: memFree=17581428/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=54016 CPUtime=0 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 937 0 0 0 0 0 0 0 25 0 8 0 6155093 55312384 843 33554432000 4194304 4964704 140736850955616 18446744073709551615 4364416 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9832/statm: 13504 843 443 189 0 7853 0
[pid=9832/tid=9833] ppid=9830 vsize=54016 CPUtime=0 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 8 0 6155094 55312384 843 33554432000 4194304 4964704 140736850955616 18446744073709551615 218892381081 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=54016 CPUtime=0 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) S 9830 9832 9806 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 8 0 6155094 55312384 843 33554432000 4194304 4964704 140736850955616 18446744073709551615 218892381081 0 0 4096 18946 18446604453874870976 0 0 -1 6 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=54016 CPUtime=0 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) S 9830 9832 9806 0 -1 4202560 31 0 0 0 0 0 0 0 25 0 8 0 6155094 55312384 843 33554432000 4194304 4964704 140736850955616 18446744073709551615 218892381081 0 0 4096 18946 18446604453874870976 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=54016 CPUtime=0 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) S 9830 9832 9806 0 -1 4202560 29 0 0 0 0 0 0 0 25 0 8 0 6155094 55312384 843 33554432000 4194304 4964704 140736850955616 18446744073709551615 218892381081 0 0 4096 18946 18446604453874870976 0 0 -1 6 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=54016 CPUtime=0 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) S 9830 9832 9806 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 8 0 6155094 55312384 843 33554432000 4194304 4964704 140736850955616 18446744073709551615 218892381081 0 0 4096 18946 18446604453874870976 0 0 -1 6 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=54016 CPUtime=0 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) S 9830 9832 9806 0 -1 4202560 38 0 0 0 0 0 0 0 25 0 8 0 6155094 55312384 843 33554432000 4194304 4964704 140736850955616 18446744073709551615 218892381081 0 0 4096 18946 18446604453874870976 0 0 -1 6 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=54016 CPUtime=0 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) S 9830 9832 9806 0 -1 4202560 35 0 0 0 0 0 0 0 25 0 8 0 6155094 55312384 843 33554432000 4194304 4964704 140736850955616 18446744073709551615 218892381081 0 0 4096 18946 18446604453874870976 0 0 -1 6 0 0 0

[startup+0.0792329 s]
/proc/loadavg: 7.42 7.97 7.96 2/288 9832
/proc/meminfo: memFree=17581428/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=448148 CPUtime=0.41 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 2702 0 0 0 40 1 0 0 18 0 8 0 6155093 458903552 2608 33554432000 4194304 4964704 140736850955616 18446744073709551615 4653526 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 112037 2610 464 189 0 106386 0
[pid=9832/tid=9833] ppid=9830 vsize=448148 CPUtime=0.05 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 243 0 0 0 5 0 0 0 18 0 8 0 6155094 458903552 2610 33554432000 4194304 4964704 140736850955616 18446744073709551615 218880226337 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=448148 CPUtime=0.06 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 353 0 0 0 6 0 0 0 18 0 8 0 6155094 458903552 2610 33554432000 4194304 4964704 140736850955616 18446744073709551615 4654527 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=448148 CPUtime=0.04 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 155 0 0 0 4 0 0 0 25 0 8 0 6155094 458903552 2610 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=448148 CPUtime=0.05 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 324 0 0 0 5 0 0 0 18 0 8 0 6155094 458903552 2611 33554432000 4194304 4964704 140736850955616 18446744073709551615 4653140 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=448148 CPUtime=0.04 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 241 0 0 0 4 0 0 0 18 0 8 0 6155094 458903552 2611 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=448148 CPUtime=0.02 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 89 0 0 0 2 0 0 0 25 0 8 0 6155094 458903552 2611 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321069 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=448148 CPUtime=0.04 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 358 0 0 0 4 0 0 0 18 0 8 0 6155094 458903552 2612 33554432000 4194304 4964704 140736850955616 18446744073709551615 4660077 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 448148

[startup+0.101228 s]
/proc/loadavg: 7.42 7.97 7.96 2/288 9832
/proc/meminfo: memFree=17581428/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=448148 CPUtime=0.59 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 3007 0 0 0 57 2 0 0 18 0 8 0 6155093 458903552 2913 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320976 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 112037 2913 464 189 0 106386 0
[pid=9832/tid=9833] ppid=9830 vsize=448148 CPUtime=0.08 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 256 0 0 0 8 0 0 0 18 0 8 0 6155094 458903552 2913 33554432000 4194304 4964704 140736850955616 18446744073709551615 218880670239 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=448148 CPUtime=0.08 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 395 0 0 0 8 0 0 0 18 0 8 0 6155094 458903552 2913 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=448148 CPUtime=0.06 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 188 0 0 0 6 0 0 0 25 0 8 0 6155094 458903552 2913 33554432000 4194304 4964704 140736850955616 18446744073709551615 4342918 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=448148 CPUtime=0.07 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 390 0 0 0 7 0 0 0 18 0 8 0 6155094 458903552 2913 33554432000 4194304 4964704 140736850955616 18446744073709551615 218880670239 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=448148 CPUtime=0.06 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 312 0 0 0 6 0 0 0 18 0 8 0 6155094 458903552 2913 33554432000 4194304 4964704 140736850955616 18446744073709551615 4343128 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=448148 CPUtime=0.04 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 124 0 0 0 4 0 0 0 25 0 8 0 6155094 458903552 2913 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=448148 CPUtime=0.06 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 385 0 0 0 6 0 0 0 18 0 8 0 6155094 458903552 2913 33554432000 4194304 4964704 140736850955616 18446744073709551615 218880670239 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 448148

[startup+0.301196 s]
/proc/loadavg: 7.42 7.97 7.96 2/288 9832
/proc/meminfo: memFree=17581428/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=448804 CPUtime=2.18 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 4284 0 0 0 216 2 0 0 18 0 8 0 6155093 459575296 4190 33554432000 4194304 4964704 140736850955616 18446744073709551615 4653459 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 112201 4190 464 189 0 106550 0
[pid=9832/tid=9833] ppid=9830 vsize=448804 CPUtime=0.28 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 344 0 0 0 28 0 0 0 18 0 8 0 6155094 459575296 4190 33554432000 4194304 4964704 140736850955616 18446744073709551615 4359840 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=448804 CPUtime=0.28 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 658 0 0 0 28 0 0 0 18 0 8 0 6155094 459575296 4192 33554432000 4194304 4964704 140736850955616 18446744073709551615 218880226337 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=448804 CPUtime=0.25 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 306 0 0 0 25 0 0 0 18 0 8 0 6155094 459575296 4192 33554432000 4194304 4964704 140736850955616 18446744073709551615 218880223988 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=448804 CPUtime=0.27 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 570 0 0 0 27 0 0 0 18 0 8 0 6155094 459575296 4192 33554432000 4194304 4964704 140736850955616 18446744073709551615 4654474 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=448804 CPUtime=0.26 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 492 0 0 0 26 0 0 0 18 0 8 0 6155094 459575296 4192 33554432000 4194304 4964704 140736850955616 18446744073709551615 4653112 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=448804 CPUtime=0.23 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 271 0 0 0 23 0 0 0 25 0 8 0 6155094 459575296 4193 33554432000 4194304 4964704 140736850955616 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=448804 CPUtime=0.26 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 565 0 0 0 26 0 0 0 18 0 8 0 6155094 459575296 4193 33554432000 4194304 4964704 140736850955616 18446744073709551615 4660097 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 448804

[startup+0.701125 s]
/proc/loadavg: 7.42 7.97 7.96 2/288 9832
/proc/meminfo: memFree=17581428/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=449732 CPUtime=5.38 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 6403 0 0 0 535 3 0 0 18 0 8 0 6155093 460525568 6309 33554432000 4194304 4964704 140736850955616 18446744073709551615 4332418 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 112433 6309 464 189 0 106782 0
[pid=9832/tid=9833] ppid=9830 vsize=449732 CPUtime=0.68 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 509 0 0 0 68 0 0 0 18 0 8 0 6155094 460525568 6309 33554432000 4194304 4964704 140736850955616 18446744073709551615 4684680 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=449732 CPUtime=0.68 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 986 0 0 0 68 0 0 0 18 0 8 0 6155094 460525568 6309 33554432000 4194304 4964704 140736850955616 18446744073709551615 218880226337 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=449732 CPUtime=0.65 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 456 0 0 0 65 0 0 0 18 0 8 0 6155094 460525568 6309 33554432000 4194304 4964704 140736850955616 18446744073709551615 4660075 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=449732 CPUtime=0.67 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 982 0 0 0 67 0 0 0 18 0 8 0 6155094 460525568 6310 33554432000 4194304 4964704 140736850955616 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=449732 CPUtime=0.66 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 877 0 0 0 66 0 0 0 18 0 8 0 6155094 460525568 6311 33554432000 4194304 4964704 140736850955616 18446744073709551615 4668904 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=449732 CPUtime=0.63 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 583 0 0 0 63 0 0 0 25 0 8 0 6155094 460525568 6311 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320924 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=449732 CPUtime=0.66 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 734 0 0 0 66 0 0 0 18 0 8 0 6155094 460525568 6311 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 449732

[startup+1.50098 s]
/proc/loadavg: 7.42 7.97 7.96 9/296 9840
/proc/meminfo: memFree=17554412/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=453004 CPUtime=11.75 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 10928 0 0 0 1169 6 0 0 18 0 8 0 6155093 463876096 10834 33554432000 4194304 4964704 140736850955616 18446744073709551615 4683941 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 113251 10834 464 189 0 107600 0
[pid=9832/tid=9833] ppid=9830 vsize=453004 CPUtime=1.48 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 921 0 0 0 147 1 0 0 20 0 8 0 6155094 463876096 10834 33554432000 4194304 4964704 140736850955616 18446744073709551615 4333247 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=453004 CPUtime=1.47 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 1875 0 0 0 147 0 0 0 20 0 8 0 6155094 463876096 10834 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=453004 CPUtime=1.45 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 922 0 0 0 145 0 0 0 20 0 8 0 6155094 463876096 10834 33554432000 4194304 4964704 140736850955616 18446744073709551615 218880232450 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=453004 CPUtime=1.47 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 1684 0 0 0 146 1 0 0 18 0 8 0 6155094 463876096 10834 33554432000 4194304 4964704 140736850955616 18446744073709551615 4627341 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=453004 CPUtime=1.47 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 1583 0 0 0 146 1 0 0 19 0 8 0 6155094 463876096 10834 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=453004 CPUtime=1.42 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 1153 0 0 0 142 0 0 0 25 0 8 0 6155094 463876096 10834 33554432000 4194304 4964704 140736850955616 18446744073709551615 4343414 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=453004 CPUtime=1.45 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 1218 0 0 0 145 0 0 0 20 0 8 0 6155094 463876096 10834 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.75
Current children cumulated vsize (KiB) 453004

[startup+3.10071 s]
/proc/loadavg: 7.42 7.97 7.96 9/296 9840
/proc/meminfo: memFree=17534820/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=454760 CPUtime=24.51 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 13911 0 0 0 2442 9 0 0 21 0 8 0 6155093 465674240 13817 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 113690 13817 464 189 0 108039 0
[pid=9832/tid=9833] ppid=9830 vsize=454760 CPUtime=3.07 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 1092 0 0 0 306 1 0 0 18 0 8 0 6155094 465674240 13817 33554432000 4194304 4964704 140736850955616 18446744073709551615 4333108 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=454760 CPUtime=3.07 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 2448 0 0 0 307 0 0 0 25 0 8 0 6155094 465674240 13817 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=454760 CPUtime=3.05 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 1199 0 0 0 304 1 0 0 25 0 8 0 6155094 465674240 13817 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=454760 CPUtime=3.06 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 2209 0 0 0 305 1 0 0 19 0 8 0 6155094 465674240 13817 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=454760 CPUtime=3.06 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 2003 0 0 0 305 1 0 0 23 0 8 0 6155094 465674240 13817 33554432000 4194304 4964704 140736850955616 18446744073709551615 4660372 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=454760 CPUtime=3 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 1341 0 0 0 300 0 0 0 18 0 8 0 6155094 465674240 13817 33554432000 4194304 4964704 140736850955616 18446744073709551615 4653475 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=454760 CPUtime=3.05 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 1673 0 0 0 304 1 0 0 18 0 8 0 6155094 465674240 13817 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 454760

[startup+6.30115 s]
/proc/loadavg: 7.55 7.98 7.96 9/296 9840
/proc/meminfo: memFree=17513672/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=456984 CPUtime=50.07 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 18808 0 0 0 4994 13 0 0 25 0 8 0 6155093 467951616 18714 33554432000 4194304 4964704 140736850955616 18446744073709551615 4653264 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 114246 18714 464 189 0 108595 0
[pid=9832/tid=9833] ppid=9830 vsize=456984 CPUtime=6.26 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 1468 0 0 0 625 1 0 0 25 0 8 0 6155094 467951616 18714 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=456984 CPUtime=6.27 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 3731 0 0 0 626 1 0 0 25 0 8 0 6155094 467951616 18714 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=456984 CPUtime=6.25 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 1425 0 0 0 624 1 0 0 21 0 8 0 6155094 467951616 18714 33554432000 4194304 4964704 140736850955616 18446744073709551615 4627910 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=456984 CPUtime=6.26 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 2666 0 0 0 624 2 0 0 25 0 8 0 6155094 467951616 18714 33554432000 4194304 4964704 140736850955616 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=456984 CPUtime=6.26 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 3364 0 0 0 624 2 0 0 21 0 8 0 6155094 467951616 18714 33554432000 4194304 4964704 140736850955616 18446744073709551615 4343434 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=456984 CPUtime=6.18 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 1740 0 0 0 617 1 0 0 25 0 8 0 6155094 467951616 18714 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321097 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=456984 CPUtime=6.25 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 1962 0 0 0 624 1 0 0 21 0 8 0 6155094 467951616 18714 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0

################
# More data... #
################

/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 7831 0 0 0 5096 6 0 0 25 0 8 0 6155094 477884416 36090 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=466684 CPUtime=50.53 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 3469 0 0 0 5049 4 0 0 25 0 8 0 6155094 477884416 36090 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=466684 CPUtime=51.01 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 3265 0 0 0 5097 4 0 0 18 0 8 0 6155094 477884416 36090 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.67
Current children cumulated vsize (KiB) 466684

[startup+102.311 s]
/proc/loadavg: 7.93 8.00 7.97 9/296 9843
/proc/meminfo: memFree=17408596/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=471732 CPUtime=816.44 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 45909 0 0 0 81582 62 0 0 25 0 8 0 6155093 483053568 44009 33554432000 4194304 4964704 140736850955616 18446744073709551615 4683978 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 117933 44009 464 189 0 112282 0
[pid=9832/tid=9833] ppid=9830 vsize=471732 CPUtime=102.06 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 4447 0 0 0 10198 8 0 0 18 0 8 0 6155094 483053568 44009 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=471732 CPUtime=102.19 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 8612 0 0 0 10212 7 0 0 20 0 8 0 6155094 483053568 44009 33554432000 4194304 4964704 140736850955616 18446744073709551615 4654511 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=471732 CPUtime=102.16 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 4987 0 0 0 10209 7 0 0 25 0 8 0 6155094 483053568 44009 33554432000 4194304 4964704 140736850955616 18446744073709551615 4684027 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=471732 CPUtime=102.18 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 6753 0 0 0 10210 8 0 0 19 0 8 0 6155094 483053568 44009 33554432000 4194304 4964704 140736850955616 18446744073709551615 4333216 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=471732 CPUtime=102.16 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 8617 0 0 0 10207 9 0 0 25 0 8 0 6155094 483053568 44009 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670281 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=471732 CPUtime=101.23 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 4037 0 0 0 10117 6 0 0 19 0 8 0 6155094 483053568 44009 33554432000 4194304 4964704 140736850955616 18446744073709551615 4660085 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=471732 CPUtime=102.16 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 3615 0 0 0 10211 5 0 0 25 0 8 0 6155094 483053568 44009 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 816.44
Current children cumulated vsize (KiB) 471732

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

[startup+105.501 s]
/proc/loadavg: 7.94 8.00 7.97 9/296 9843
/proc/meminfo: memFree=17406896/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=471724 CPUtime=841.97 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 46650 0 0 0 84135 62 0 0 25 0 8 0 6155093 483045376 44733 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670255 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 117931 44733 464 189 0 112280 0
[pid=9832/tid=9833] ppid=9830 vsize=471724 CPUtime=105.25 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 4502 0 0 0 10516 9 0 0 25 0 8 0 6155094 483045376 44733 33554432000 4194304 4964704 140736850955616 18446744073709551615 4332656 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=471724 CPUtime=105.39 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 8854 0 0 0 10532 7 0 0 25 0 8 0 6155094 483045376 44733 33554432000 4194304 4964704 140736850955616 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=471724 CPUtime=105.36 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 5055 0 0 0 10529 7 0 0 25 0 8 0 6155094 483045376 44733 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=471724 CPUtime=105.37 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 6802 0 0 0 10529 8 0 0 25 0 8 0 6155094 483045376 44733 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=471724 CPUtime=105.36 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 8678 0 0 0 10526 10 0 0 25 0 8 0 6155094 483045376 44733 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=471724 CPUtime=104.4 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 4130 0 0 0 10433 7 0 0 25 0 8 0 6155094 483045376 44733 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321352 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=471724 CPUtime=105.36 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 3744 0 0 0 10531 5 0 0 19 0 8 0 6155094 483045376 44733 33554432000 4194304 4964704 140736850955616 18446744073709551615 4658272 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 841.97
Current children cumulated vsize (KiB) 471724

[startup+107.1 s]
/proc/loadavg: 7.94 8.00 7.97 9/296 9843
/proc/meminfo: memFree=17406648/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=472100 CPUtime=854.67 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 46719 0 0 0 85404 63 0 0 25 0 8 0 6155093 483430400 44737 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320976 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 118025 44737 464 189 0 112374 0
[pid=9832/tid=9833] ppid=9830 vsize=472100 CPUtime=106.84 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 4502 0 0 0 10675 9 0 0 25 0 8 0 6155094 483430400 44737 33554432000 4194304 4964704 140736850955616 18446744073709551615 4362248 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=472100 CPUtime=106.98 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 8854 0 0 0 10691 7 0 0 25 0 8 0 6155094 483430400 44737 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=472100 CPUtime=106.94 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 5124 0 0 0 10687 7 0 0 25 0 8 0 6155094 483430400 44737 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=472100 CPUtime=106.96 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 6802 0 0 0 10688 8 0 0 25 0 8 0 6155094 483430400 44737 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=472100 CPUtime=106.95 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 8678 0 0 0 10685 10 0 0 25 0 8 0 6155094 483430400 44737 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=472100 CPUtime=105.98 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 4130 0 0 0 10591 7 0 0 25 0 8 0 6155094 483430400 44737 33554432000 4194304 4964704 140736850955616 18446744073709551615 4332519 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=472100 CPUtime=106.95 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 3744 0 0 0 10689 6 0 0 23 0 8 0 6155094 483430400 44737 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 854.67
Current children cumulated vsize (KiB) 472100

[startup+107.9 s]
/proc/loadavg: 7.94 8.00 7.97 9/296 9843
/proc/meminfo: memFree=17406648/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=472100 CPUtime=861.05 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 46719 0 0 0 86041 64 0 0 25 0 8 0 6155093 483430400 44735 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670193 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 118025 44735 464 189 0 112374 0
[pid=9832/tid=9833] ppid=9830 vsize=472100 CPUtime=107.64 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 4502 0 0 0 10755 9 0 0 25 0 8 0 6155094 483430400 44735 33554432000 4194304 4964704 140736850955616 18446744073709551615 218880232352 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=472100 CPUtime=107.77 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 8854 0 0 0 10770 7 0 0 25 0 8 0 6155094 483430400 44735 33554432000 4194304 4964704 140736850955616 18446744073709551615 4342149 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=472100 CPUtime=107.74 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 5124 0 0 0 10767 7 0 0 25 0 8 0 6155094 483430400 44735 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=472100 CPUtime=107.76 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 6802 0 0 0 10768 8 0 0 25 0 8 0 6155094 483430400 44735 33554432000 4194304 4964704 140736850955616 18446744073709551615 4660083 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=472100 CPUtime=107.75 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 8678 0 0 0 10765 10 0 0 25 0 8 0 6155094 483430400 44735 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=472100 CPUtime=106.77 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 4130 0 0 0 10670 7 0 0 25 0 8 0 6155094 483430400 44735 33554432000 4194304 4964704 140736850955616 18446744073709551615 4683983 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=472100 CPUtime=107.75 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 3744 0 0 0 10769 6 0 0 25 0 8 0 6155094 483430400 44735 33554432000 4194304 4964704 140736850955616 18446744073709551615 4653140 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 861.05
Current children cumulated vsize (KiB) 472100

[startup+108.701 s]
/proc/loadavg: 7.94 8.00 7.97 9/296 9843
/proc/meminfo: memFree=17406648/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=471744 CPUtime=867.45 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 46719 0 0 0 86681 64 0 0 25 0 8 0 6155093 483065856 44671 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320966 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 117936 44671 464 189 0 112285 0
[pid=9832/tid=9833] ppid=9830 vsize=471744 CPUtime=108.43 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 4502 0 0 0 10834 9 0 0 18 0 8 0 6155094 483065856 44671 33554432000 4194304 4964704 140736850955616 18446744073709551615 4342232 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=471744 CPUtime=108.57 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 8854 0 0 0 10850 7 0 0 25 0 8 0 6155094 483065856 44671 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=471744 CPUtime=108.55 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 5124 0 0 0 10848 7 0 0 25 0 8 0 6155094 483065856 44671 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320963 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=471744 CPUtime=108.56 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 6802 0 0 0 10848 8 0 0 25 0 8 0 6155094 483065856 44671 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=471744 CPUtime=108.55 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 8678 0 0 0 10845 10 0 0 25 0 8 0 6155094 483065856 44671 33554432000 4194304 4964704 140736850955616 18446744073709551615 4654417 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=471744 CPUtime=107.57 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 4130 0 0 0 10750 7 0 0 25 0 8 0 6155094 483065856 44671 33554432000 4194304 4964704 140736850955616 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=471744 CPUtime=108.55 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 3744 0 0 0 10849 6 0 0 25 0 8 0 6155094 483065856 44671 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 867.45
Current children cumulated vsize (KiB) 471744

[startup+109.101 s]
/proc/loadavg: 7.94 8.00 7.97 10/296 9843
/proc/meminfo: memFree=17406912/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=471744 CPUtime=870.63 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 46719 0 0 0 86999 64 0 0 25 0 8 0 6155093 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4338784 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 117936 44670 464 189 0 112285 0
[pid=9832/tid=9833] ppid=9830 vsize=471744 CPUtime=108.83 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 4502 0 0 0 10874 9 0 0 18 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=471744 CPUtime=108.97 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 8854 0 0 0 10890 7 0 0 25 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=471744 CPUtime=108.94 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 5124 0 0 0 10887 7 0 0 25 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4332519 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=471744 CPUtime=108.96 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 6802 0 0 0 10888 8 0 0 25 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=471744 CPUtime=108.95 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 8678 0 0 0 10885 10 0 0 18 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321054 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=471744 CPUtime=107.96 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 4130 0 0 0 10789 7 0 0 18 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4628010 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=471744 CPUtime=108.95 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 3744 0 0 0 10889 6 0 0 25 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 870.63
Current children cumulated vsize (KiB) 471744

[startup+109.201 s]
/proc/loadavg: 7.94 8.00 7.97 10/296 9843
/proc/meminfo: memFree=17406912/32950928 swapFree=67111528/67111528
[pid=9832] ppid=9830 vsize=471744 CPUtime=871.43 cores=0-7
/proc/9832/stat : 9832 (claspmt) R 9830 9832 9806 0 -1 4202496 46719 0 0 0 87079 64 0 0 25 0 8 0 6155093 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4660077 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/9832/statm: 117936 44670 464 189 0 112285 0
[pid=9832/tid=9833] ppid=9830 vsize=471744 CPUtime=108.93 cores=0-7
/proc/9832/task/9833/stat : 9833 (claspmt) R 9830 9832 9806 0 -1 4202560 4502 0 0 0 10884 9 0 0 18 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321352 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9832/tid=9834] ppid=9830 vsize=471744 CPUtime=109.07 cores=0-7
/proc/9832/task/9834/stat : 9834 (claspmt) R 9830 9832 9806 0 -1 4202560 8854 0 0 0 10900 7 0 0 25 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9832/tid=9835] ppid=9830 vsize=471744 CPUtime=109.04 cores=0-7
/proc/9832/task/9835/stat : 9835 (claspmt) R 9830 9832 9806 0 -1 4202560 5124 0 0 0 10897 7 0 0 25 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4659143 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9832/tid=9836] ppid=9830 vsize=471744 CPUtime=109.06 cores=0-7
/proc/9832/task/9836/stat : 9836 (claspmt) R 9830 9832 9806 0 -1 4202560 6802 0 0 0 10898 8 0 0 25 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=9832/tid=9837] ppid=9830 vsize=471744 CPUtime=109.05 cores=0-7
/proc/9832/task/9837/stat : 9837 (claspmt) R 9830 9832 9806 0 -1 4202560 8678 0 0 0 10895 10 0 0 18 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4342193 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=9832/tid=9838] ppid=9830 vsize=471744 CPUtime=108.06 cores=0-7
/proc/9832/task/9838/stat : 9838 (claspmt) R 9830 9832 9806 0 -1 4202560 4130 0 0 0 10799 7 0 0 18 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=9832/tid=9839] ppid=9830 vsize=471744 CPUtime=109.05 cores=0-7
/proc/9832/task/9839/stat : 9839 (claspmt) R 9830 9832 9806 0 -1 4202560 3744 0 0 0 10899 6 0 0 25 0 8 0 6155094 483065856 44670 33554432000 4194304 4964704 140736850955616 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 871.43
Current children cumulated vsize (KiB) 471744

Child status: 10
Real time (s): 109.274
CPU time (s): 871.855
CPU user time (s): 871.202
CPU system time (s): 0.6539
CPU usage (%): 797.863
Max. virtual memory (cumulated for all children) (KiB): 472116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 871.202
system time used= 0.6539
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46730
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= 110098
involuntary context switches= 3983

runsolver used 0.285956 second user time and 0.716891 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-03 03:17:37
IDJOB=3322435
IDBENCH=83201
IDSOLVER=1711
FILE ID=node112/3322435-1304385457
RUNJOBID= node112-1304385457-9820
PBS_JOBID= 13181790
Free space on /tmp= 72380 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-16-31-sat.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3322435-1304385457/watcher-3322435-1304385457 -o /tmp/evaluation-result-3322435-1304385457/solver-3322435-1304385457 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322435-1304385457.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 34c6b89fff5c4d1bd23006ea2314b10d
RANDOM SEED=694787245

node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5180.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      17581948 kB
Buffers:         98304 kB
Cached:        1352496 kB
SwapCached:          0 kB
Active:       14083936 kB
Inactive:      1121068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17581948 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1168 kB
Writeback:           0 kB
AnonPages:    13754088 kB
Mapped:          20456 kB
Slab:            56392 kB
PageTables:      42072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 34984056 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72380 MiB
End job on node112 at 2011-05-03 03:19:26