Trace number 3381060

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-R4095-patched (fixed)SAT 970.625 121.653

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-15-29-sat.cnf
MD5SUM89115b5a973735d51018fb3202154f32
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.022995
Satisfiable
(Un)Satisfiability was proved
Number of variables435
Number of clauses3270
Sum of the clauses size12615
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23045
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5225

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3381060-1305502582/watcher-3381060-1305502582 -o /tmp/evaluation-result-3381060-1305502582/solver-3381060-1305502582 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381060-1305502582.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: 8.31 8.17 8.10 2/354 5566
/proc/meminfo: memFree=23420256/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=21272 CPUtime=0 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 629 0 0 0 0 0 0 0 25 0 1 0 642674083 21782528 557 33554432000 4194304 4964800 140735955914288 18446744073709551615 4607744 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/5566/statm: 5318 557 399 189 0 192 0
[pid=5566/tid=5567] ppid=5564 vsize=184920 CPUtime=0 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 8 0 642674084 189358080 858 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402542 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=184920 CPUtime=0 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 38 0 0 0 0 0 0 0 25 0 8 0 642674084 189358080 859 33554432000 4194304 4964800 140735955914288 18446744073709551615 233509958341 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=184920 CPUtime=0 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 44 0 0 0 0 0 0 0 25 0 8 0 642674084 189358080 860 33554432000 4194304 4964800 140735955914288 18446744073709551615 233509958689 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=184920 CPUtime=0 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 28 0 0 0 0 0 0 0 25 0 8 0 642674084 189358080 861 33554432000 4194304 4964800 140735955914288 18446744073709551615 233522113433 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=184920 CPUtime=0 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 8 0 642674084 189358080 861 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=184920 CPUtime=0 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) S 5564 5566 5204 0 -1 4202560 32 0 0 0 0 0 0 0 18 0 8 0 642674084 189358080 861 33554432000 4194304 4964800 140735955914288 18446744073709551615 233522113433 0 0 4096 18946 18446604448587628736 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=184920 CPUtime=0 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) S 5564 5566 5204 0 -1 4202560 37 0 0 0 0 0 0 0 25 0 8 0 642674084 189358080 862 33554432000 4194304 4964800 140735955914288 18446744073709551615 233522113433 0 0 4096 18946 18446604448587628736 0 0 -1 2 0 0 0

[startup+0.0959811 s]
/proc/loadavg: 8.31 8.17 8.10 2/354 5566
/proc/meminfo: memFree=23420256/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=317184 CPUtime=0.55 cores=0-7
/proc/5566/stat : 5566 (claspmt) S 5564 5566 5204 0 -1 4202496 2584 0 0 0 53 2 0 0 18 0 8 0 642674083 324796416 2498 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402542 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 79296 2498 464 189 0 73645 0
[pid=5566/tid=5567] ppid=5564 vsize=317184 CPUtime=0.07 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) D 5564 5566 5204 0 -1 4202560 176 0 0 0 7 0 0 0 18 0 8 0 642674084 324796416 2498 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510340791 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=317184 CPUtime=0.08 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) D 5564 5566 5204 0 -1 4202560 303 0 0 0 8 0 0 0 25 0 8 0 642674084 324796416 2499 33554432000 4194304 4964800 140735955914288 18446744073709551615 233509958689 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=382852 CPUtime=0.05 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 155 0 0 0 5 0 0 0 18 0 8 0 642674084 392040448 2617 33554432000 4194304 4964800 140735955914288 18446744073709551615 4332545 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=382852 CPUtime=0.12 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 293 0 0 0 12 0 0 0 18 0 8 0 642674084 392040448 2893 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402542 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=382852 CPUtime=0.14 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 315 0 0 0 14 0 0 0 18 0 8 0 642674084 392040448 2963 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402591 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=382852 CPUtime=0.14 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 379 0 0 0 14 0 0 0 18 0 8 0 642674084 392040448 2963 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402591 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=383248 CPUtime=0.21 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 450 0 0 0 21 0 0 0 18 0 8 0 642674084 392445952 3389 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 317184

[startup+0.488252 s]
/proc/loadavg: 8.31 8.17 8.10 2/354 5566
/proc/meminfo: memFree=23420256/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=383776 CPUtime=3.66 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 4798 0 0 0 363 3 0 0 18 0 8 0 642674083 392986624 4712 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402591 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 96074 5045 464 189 0 90423 0
[pid=5566/tid=5567] ppid=5564 vsize=384296 CPUtime=0.52 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 471 0 0 0 52 0 0 0 18 0 8 0 642674084 393519104 5045 33554432000 4194304 4964800 140735955914288 18446744073709551615 233509958689 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=384296 CPUtime=0.52 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 801 0 0 0 52 0 0 0 25 0 8 0 642674084 393519104 5045 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660503 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=384296 CPUtime=0.5 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 424 0 0 0 50 0 0 0 18 0 8 0 642674084 393519104 5045 33554432000 4194304 4964800 140735955914288 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=384296 CPUtime=0.52 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) D 5564 5566 5204 0 -1 4202560 568 0 0 0 52 0 0 0 18 0 8 0 642674084 393519104 5045 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510340791 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=384296 CPUtime=0.52 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) D 5564 5566 5204 0 -1 4202560 542 0 0 0 51 1 0 0 18 0 8 0 642674084 393519104 5045 33554432000 4194304 4964800 140735955914288 18446744073709551615 233509958341 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=384296 CPUtime=0.51 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 638 0 0 0 51 0 0 0 18 0 8 0 642674084 393519104 5045 33554432000 4194304 4964800 140735955914288 18446744073709551615 233509958689 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=384296 CPUtime=0.51 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 591 0 0 0 51 0 0 0 18 0 8 0 642674084 393519104 5045 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660165 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 383776

[startup+0.573336 s]
/proc/loadavg: 8.31 8.17 8.10 2/354 5566
/proc/meminfo: memFree=23420256/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=384692 CPUtime=4.33 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 5549 0 0 0 429 4 0 0 18 0 8 0 642674083 393924608 5463 33554432000 4194304 4964800 140735955914288 18446744073709551615 4332557 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 96173 5463 464 189 0 90522 0
[pid=5566/tid=5567] ppid=5564 vsize=384692 CPUtime=0.54 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 527 0 0 0 54 0 0 0 18 0 8 0 642674084 393924608 5463 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402591 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=384692 CPUtime=0.6 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 880 0 0 0 60 0 0 0 25 0 8 0 642674084 393924608 5751 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402591 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=384692 CPUtime=0.67 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 475 0 0 0 67 0 0 0 18 0 8 0 642674084 393924608 5758 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402591 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=384956 CPUtime=0.8 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 757 0 0 0 80 0 0 0 19 0 8 0 642674084 394194944 6308 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=384956 CPUtime=0.8 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 783 0 0 0 79 1 0 0 19 0 8 0 642674084 394194944 6310 33554432000 4194304 4964800 140735955914288 18446744073709551615 4683980 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=384956 CPUtime=0.79 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 780 0 0 0 79 0 0 0 19 0 8 0 642674084 394194944 6310 33554432000 4194304 4964800 140735955914288 18446744073709551615 4684040 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=384956 CPUtime=0.79 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 771 0 0 0 79 0 0 0 18 0 8 0 642674084 394194944 6310 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 384692

[startup+0.910836 s]
/proc/loadavg: 8.31 8.17 8.10 2/354 5566
/proc/meminfo: memFree=23420256/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=385748 CPUtime=7.14 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 7130 0 0 0 709 5 0 0 18 0 8 0 642674083 395005952 7044 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402591 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 96437 7044 464 189 0 90786 0
[pid=5566/tid=5567] ppid=5564 vsize=385748 CPUtime=0.89 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 754 0 0 0 89 0 0 0 19 0 8 0 642674084 395005952 7044 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=385748 CPUtime=0.89 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 1069 0 0 0 89 0 0 0 25 0 8 0 642674084 395005952 7044 33554432000 4194304 4964800 140735955914288 18446744073709551615 4642509 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=385748 CPUtime=0.87 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 609 0 0 0 87 0 0 0 19 0 8 0 642674084 395005952 7044 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402591 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=385748 CPUtime=0.9 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 855 0 0 0 90 0 0 0 19 0 8 0 642674084 395005952 7044 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=385748 CPUtime=0.9 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 887 0 0 0 89 1 0 0 19 0 8 0 642674084 395005952 7044 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402591 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=385748 CPUtime=0.89 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 828 0 0 0 89 0 0 0 19 0 8 0 642674084 395005952 7044 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=385748 CPUtime=0.89 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 850 0 0 0 89 0 0 0 18 0 8 0 642674084 395005952 7044 33554432000 4194304 4964800 140735955914288 18446744073709551615 4627278 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 385748

[startup+1.50047 s]
/proc/loadavg: 8.31 8.17 8.10 2/354 5566
/proc/meminfo: memFree=23420256/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=451940 CPUtime=11.74 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 9465 0 0 0 1168 6 0 0 19 0 8 0 642674083 462786560 9379 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670640 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 112985 9379 464 189 0 107334 0
[pid=5566/tid=5567] ppid=5564 vsize=451940 CPUtime=1.46 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 1017 0 0 0 146 0 0 0 20 0 8 0 642674084 462786560 9379 33554432000 4194304 4964800 140735955914288 18446744073709551615 4342186 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=451940 CPUtime=1.46 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 1457 0 0 0 146 0 0 0 25 0 8 0 642674084 462786560 9379 33554432000 4194304 4964800 140735955914288 18446744073709551615 4325293 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=451940 CPUtime=1.45 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 766 0 0 0 145 0 0 0 20 0 8 0 642674084 462786560 9379 33554432000 4194304 4964800 140735955914288 18446744073709551615 4363605 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=451940 CPUtime=1.47 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 1318 0 0 0 147 0 0 0 20 0 8 0 642674084 462786560 9379 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660422 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=451940 CPUtime=1.47 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 1166 0 0 0 146 1 0 0 18 0 8 0 642674084 462786560 9379 33554432000 4194304 4964800 140735955914288 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=451940 CPUtime=1.46 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 1031 0 0 0 146 0 0 0 20 0 8 0 642674084 462786560 9379 33554432000 4194304 4964800 140735955914288 18446744073709551615 4342941 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=451940 CPUtime=1.46 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 1160 0 0 0 146 0 0 0 18 0 8 0 642674084 462786560 9379 33554432000 4194304 4964800 140735955914288 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.74
Current children cumulated vsize (KiB) 451940

[startup+3.10119 s]
/proc/loadavg: 8.37 8.18 8.11 9/362 5574
/proc/meminfo: memFree=23376832/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=453416 CPUtime=24.51 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 12300 0 0 0 2443 8 0 0 23 0 8 0 642674083 464297984 12214 33554432000 4194304 4964800 140735955914288 18446744073709551615 4334301 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 113354 12214 464 189 0 107703 0
[pid=5566/tid=5567] ppid=5564 vsize=453416 CPUtime=3.07 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 1347 0 0 0 306 1 0 0 25 0 8 0 642674084 464297984 12214 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=453416 CPUtime=3.07 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 1731 0 0 0 306 1 0 0 25 0 8 0 642674084 464297984 12214 33554432000 4194304 4964800 140735955914288 18446744073709551615 4654476 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=453416 CPUtime=3.04 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 988 0 0 0 304 0 0 0 25 0 8 0 642674084 464297984 12214 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=453416 CPUtime=3.04 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 1871 0 0 0 304 0 0 0 25 0 8 0 642674084 464297984 12214 33554432000 4194304 4964800 140735955914288 18446744073709551615 233509953691 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=453416 CPUtime=3.06 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 1961 0 0 0 305 1 0 0 21 0 8 0 642674084 464297984 12214 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=453416 CPUtime=3.07 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 1306 0 0 0 306 1 0 0 25 0 8 0 642674084 464297984 12214 33554432000 4194304 4964800 140735955914288 18446744073709551615 4332496 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=453416 CPUtime=3.07 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 1425 0 0 0 306 1 0 0 22 0 8 0 642674084 464297984 12214 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660236 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) 453416

[startup+6.30062 s]
/proc/loadavg: 8.34 8.18 8.11 9/362 5574
/proc/meminfo: memFree=23363324/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=454568 CPUtime=50.04 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 15404 0 0 0 4993 11 0 0 25 0 8 0 642674083 465477632 15275 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 113642 15275 464 189 0 107991 0
[pid=5566/tid=5567] ppid=5564 vsize=454568 CPUtime=6.26 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 1810 0 0 0 625 1 0 0 25 0 8 0 642674084 465477632 15275 33554432000 4194304 4964800 140735955914288 18446744073709551615 4342228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=454568 CPUtime=6.26 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 2039 0 0 0 625 1 0 0 25 0 8 0 642674084 465477632 15275 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402591 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=454568 CPUtime=6.24 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 1324 0 0 0 624 0 0 0 21 0 8 0 642674084 465477632 15275 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=454568 CPUtime=6.21 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 2179 0 0 0 620 1 0 0 25 0 8 0 642674084 465477632 15275 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=454568 CPUtime=6.27 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 2655 0 0 0 625 2 0 0 25 0 8 0 642674084 465477632 15275 33554432000 4194304 4964800 140735955914288 18446744073709551615 233510402591 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=454568 CPUtime=6.26 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 1790 0 0 0 625 1 0 0 21 0 8 0 642674084 465477632 15276 33554432000 4194304 4964800 140735955914288 18446744073709551615 4332499 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=454568 CPUtime=6.26 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 1659 0 0 0 625 1 0 0 25 0 8 0 642674084 465477632 15276 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 2 0 0 0

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

/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 5570 0 0 0 10160 8 0 0 22 0 8 0 642674084 478003200 36120 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660177 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=466800 CPUtime=102.79 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 7251 0 0 0 10268 11 0 0 18 0 8 0 642674084 478003200 36120 33554432000 4194304 4964800 140735955914288 18446744073709551615 4362371 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=466800 CPUtime=102.78 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 3979 0 0 0 10271 7 0 0 18 0 8 0 642674084 478003200 36120 33554432000 4194304 4964800 140735955914288 18446744073709551615 4332560 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=466800 CPUtime=102.8 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 3414 0 0 0 10273 7 0 0 25 0 8 0 642674084 478003200 36120 33554432000 4194304 4964800 140735955914288 18446744073709551615 4321088 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 821.18
Current children cumulated vsize (KiB) 466800

[startup+109.301 s]
/proc/loadavg: 8.09 8.14 8.09 9/362 5577
/proc/meminfo: memFree=23280376/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=466852 CPUtime=872.18 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 37993 0 0 0 87141 77 0 0 25 0 8 0 642674083 478056448 36721 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 116713 36721 464 189 0 111062 0
[pid=5566/tid=5567] ppid=5564 vsize=466852 CPUtime=109.07 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 3581 0 0 0 10895 12 0 0 18 0 8 0 642674084 478056448 36721 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=466852 CPUtime=109.18 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 5287 0 0 0 10909 9 0 0 21 0 8 0 642674084 478056448 36721 33554432000 4194304 4964800 140735955914288 18446744073709551615 4653161 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=466852 CPUtime=109.17 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 4491 0 0 0 10908 9 0 0 25 0 8 0 642674084 478056448 36721 33554432000 4194304 4964800 140735955914288 18446744073709551615 4332488 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=466852 CPUtime=108 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 5638 0 0 0 10792 8 0 0 20 0 8 0 642674084 478056448 36721 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=466852 CPUtime=109.18 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 7654 0 0 0 10906 12 0 0 20 0 8 0 642674084 478056448 36721 33554432000 4194304 4964800 140735955914288 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=466852 CPUtime=109.17 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 4037 0 0 0 10910 7 0 0 25 0 8 0 642674084 478056448 36721 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=466852 CPUtime=109.18 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 3414 0 0 0 10911 7 0 0 25 0 8 0 642674084 478056448 36721 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 872.18
Current children cumulated vsize (KiB) 466852

[startup+115.701 s]
/proc/loadavg: 8.08 8.13 8.09 9/362 5577
/proc/meminfo: memFree=23277912/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=467512 CPUtime=923.26 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 38651 0 0 0 92245 81 0 0 25 0 8 0 642674083 478732288 37108 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 116878 37108 464 189 0 111227 0
[pid=5566/tid=5567] ppid=5564 vsize=467512 CPUtime=115.46 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 3852 0 0 0 11533 13 0 0 21 0 8 0 642674084 478732288 37108 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320849 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=467512 CPUtime=115.56 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 5314 0 0 0 11547 9 0 0 25 0 8 0 642674084 478732288 37108 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=467512 CPUtime=115.57 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 4607 0 0 0 11547 10 0 0 19 0 8 0 642674084 478732288 37108 33554432000 4194304 4964800 140735955914288 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=467512 CPUtime=114.32 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 5644 0 0 0 11423 9 0 0 25 0 8 0 642674084 478732288 37108 33554432000 4194304 4964800 140735955914288 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=467512 CPUtime=115.57 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 7685 0 0 0 11544 13 0 0 25 0 8 0 642674084 478732288 37108 33554432000 4194304 4964800 140735955914288 18446744073709551615 4321054 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=467512 CPUtime=115.57 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 4162 0 0 0 11549 8 0 0 25 0 8 0 642674084 478732288 37108 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670368 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=467512 CPUtime=115.59 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 3420 0 0 0 11551 8 0 0 21 0 8 0 642674084 478732288 37108 33554432000 4194304 4964800 140735955914288 18446744073709551615 4658556 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 923.26
Current children cumulated vsize (KiB) 467512

[startup+118.9 s]
/proc/loadavg: 8.08 8.13 8.09 9/362 5577
/proc/meminfo: memFree=23277064/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=467512 CPUtime=948.8 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 39005 0 0 0 94797 83 0 0 25 0 8 0 642674083 478732288 37462 33554432000 4194304 4964800 140735955914288 18446744073709551615 4653307 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 116878 37462 464 189 0 111227 0
[pid=5566/tid=5567] ppid=5564 vsize=467512 CPUtime=118.65 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 4024 0 0 0 11852 13 0 0 25 0 8 0 642674084 478732288 37462 33554432000 4194304 4964800 140735955914288 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=467512 CPUtime=118.77 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 5318 0 0 0 11867 10 0 0 23 0 8 0 642674084 478732288 37462 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=467512 CPUtime=118.77 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 4607 0 0 0 11866 11 0 0 25 0 8 0 642674084 478732288 37462 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660447 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=467512 CPUtime=117.48 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 5711 0 0 0 11739 9 0 0 22 0 8 0 642674084 478732288 37462 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=467512 CPUtime=118.76 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 7778 0 0 0 11863 13 0 0 21 0 8 0 642674084 478732288 37462 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=467512 CPUtime=118.76 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 4176 0 0 0 11868 8 0 0 25 0 8 0 642674084 478732288 37462 33554432000 4194304 4964800 140735955914288 18446744073709551615 4332478 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=467512 CPUtime=118.78 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 3424 0 0 0 11870 8 0 0 25 0 8 0 642674084 478732288 37462 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670496 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 948.8
Current children cumulated vsize (KiB) 467512

[startup+120.513 s]
/proc/loadavg: 8.08 8.13 8.09 9/362 5577
/proc/meminfo: memFree=23276692/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=467876 CPUtime=961.67 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 39094 0 0 0 96083 84 0 0 18 0 8 0 642674083 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670363 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 116969 37466 464 189 0 111318 0
[pid=5566/tid=5567] ppid=5564 vsize=467876 CPUtime=120.26 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 4101 0 0 0 12013 13 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=467876 CPUtime=120.38 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 5318 0 0 0 12028 10 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 233509957768 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=467876 CPUtime=120.39 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 4607 0 0 0 12028 11 0 0 19 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4332465 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=467876 CPUtime=119.07 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 5712 0 0 0 11898 9 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4359865 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=467876 CPUtime=120.37 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 7785 0 0 0 12024 13 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=467876 CPUtime=120.37 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 4176 0 0 0 12029 8 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4332557 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=467876 CPUtime=120.39 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 3428 0 0 0 12031 8 0 0 19 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 961.67
Current children cumulated vsize (KiB) 467876

[startup+121.301 s]
/proc/loadavg: 8.08 8.13 8.09 9/362 5577
/proc/meminfo: memFree=23276692/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=467876 CPUtime=967.96 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 39094 0 0 0 96712 84 0 0 19 0 8 0 642674083 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660195 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 116969 37466 464 189 0 111318 0
[pid=5566/tid=5567] ppid=5564 vsize=467876 CPUtime=121.05 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 4101 0 0 0 12092 13 0 0 19 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=467876 CPUtime=121.17 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 5318 0 0 0 12107 10 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=467876 CPUtime=121.17 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 4607 0 0 0 12106 11 0 0 20 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4363332 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=467876 CPUtime=119.85 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 5712 0 0 0 11976 9 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660236 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=467876 CPUtime=121.16 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 7785 0 0 0 12103 13 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4654511 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=467876 CPUtime=121.16 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 4176 0 0 0 12108 8 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4456496 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=467876 CPUtime=121.18 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 3428 0 0 0 12110 8 0 0 21 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 967.96
Current children cumulated vsize (KiB) 467876

[startup+121.501 s]
/proc/loadavg: 8.15 8.15 8.10 9/362 5577
/proc/meminfo: memFree=23276692/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=467876 CPUtime=969.6 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 39094 0 0 0 96876 84 0 0 19 0 8 0 642674083 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320970 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 116969 37466 464 189 0 111318 0
[pid=5566/tid=5567] ppid=5564 vsize=467876 CPUtime=121.26 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 4101 0 0 0 12113 13 0 0 19 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4332418 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=467876 CPUtime=121.38 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 5318 0 0 0 12128 10 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4654555 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=467876 CPUtime=121.39 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 4607 0 0 0 12128 11 0 0 21 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=467876 CPUtime=120.05 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 5712 0 0 0 11996 9 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4660114 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=467876 CPUtime=121.37 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 7785 0 0 0 12124 13 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4658556 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=467876 CPUtime=121.37 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 4176 0 0 0 12129 8 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4332496 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=467876 CPUtime=121.39 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 3428 0 0 0 12131 8 0 0 21 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 969.6
Current children cumulated vsize (KiB) 467876

[startup+121.614 s]
/proc/loadavg: 8.15 8.15 8.10 9/362 5577
/proc/meminfo: memFree=23276692/32951124 swapFree=67023148/67111528
[pid=5566] ppid=5564 vsize=467876 CPUtime=970.45 cores=0-7
/proc/5566/stat : 5566 (claspmt) R 5564 5566 5204 0 -1 4202496 39094 0 0 0 96961 84 0 0 19 0 8 0 642674083 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4342918 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/5566/statm: 116969 37466 464 189 0 111318 0
[pid=5566/tid=5567] ppid=5564 vsize=467876 CPUtime=121.36 cores=0-7
/proc/5566/task/5567/stat : 5567 (claspmt) R 5564 5566 5204 0 -1 4202560 4101 0 0 0 12123 13 0 0 19 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=5566/tid=5568] ppid=5564 vsize=467876 CPUtime=121.48 cores=0-7
/proc/5566/task/5568/stat : 5568 (claspmt) R 5564 5566 5204 0 -1 4202560 5318 0 0 0 12138 10 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4678078 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5566/tid=5569] ppid=5564 vsize=467876 CPUtime=121.49 cores=0-7
/proc/5566/task/5569/stat : 5569 (claspmt) R 5564 5566 5204 0 -1 4202560 4607 0 0 0 12138 11 0 0 21 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=5566/tid=5570] ppid=5564 vsize=467876 CPUtime=120.15 cores=0-7
/proc/5566/task/5570/stat : 5570 (claspmt) R 5564 5566 5204 0 -1 4202560 5712 0 0 0 12006 9 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=5566/tid=5571] ppid=5564 vsize=467876 CPUtime=121.47 cores=0-7
/proc/5566/task/5571/stat : 5571 (claspmt) R 5564 5566 5204 0 -1 4202560 7785 0 0 0 12134 13 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5566/tid=5572] ppid=5564 vsize=467876 CPUtime=121.47 cores=0-7
/proc/5566/task/5572/stat : 5572 (claspmt) R 5564 5566 5204 0 -1 4202560 4176 0 0 0 12139 8 0 0 25 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=5566/tid=5573] ppid=5564 vsize=467876 CPUtime=121.49 cores=0-7
/proc/5566/task/5573/stat : 5573 (claspmt) R 5564 5566 5204 0 -1 4202560 3428 0 0 0 12141 8 0 0 21 0 8 0 642674084 479105024 37466 33554432000 4194304 4964800 140735955914288 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 970.45
Current children cumulated vsize (KiB) 467876

Child status: 10
Real time (s): 121.653
CPU time (s): 970.625
CPU user time (s): 969.768
CPU system time (s): 0.857869
CPU usage (%): 797.864
Max. virtual memory (cumulated for all children) (KiB): 467876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 969.768
system time used= 0.857869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39106
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= 132267
involuntary context switches= 4514

runsolver used 0.402938 second user time and 0.954854 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-16 01:36:22
IDJOB=3381060
IDBENCH=83238
IDSOLVER=1865
FILE ID=node145/3381060-1305502582
RUNJOBID= node145-1305497581-5218
PBS_JOBID= 13325442
Free space on /tmp= 73668 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-15-29-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-3381060-1305502582/watcher-3381060-1305502582 -o /tmp/evaluation-result-3381060-1305502582/solver-3381060-1305502582 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381060-1305502582.cnf

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

MD5SUM BENCH= 89115b5a973735d51018fb3202154f32
RANDOM SEED=633810207

node145.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.786
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.57
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.786
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	: 5332.76
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.786
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.74
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.786
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.83
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.786
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.82
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23420536 kB
Buffers:         45924 kB
Cached:         251628 kB
SwapCached:       4796 kB
Active:        6372360 kB
Inactive:      2911276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23420536 kB
SwapTotal:    67111528 kB
SwapFree:     67023148 kB
Dirty:             992 kB
Writeback:           0 kB
AnonPages:     8982272 kB
Mapped:          27956 kB
Slab:           135204 kB
PageTables:      42568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 83668120 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= 73668 MiB
End job on node145 at 2011-05-16 01:38:24