Trace number 3380718

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 18693.2 2341.6

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes8.cnf
MD5SUMca42736a2fe4e8cf2cba6dd1668e0ad6
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark30.53
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...488971/instance-3380718-1305488971.cnf
0.09/0.11	c Solving...
18692.33/2341.39	c Answer: 1
18692.33/2341.39	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 19 -20 -21
18692.33/2341.39	v -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 37 -38 -39
18692.33/2341.39	v -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 56 -57
18692.33/2341.39	v -58 -59 -60 -61 -62 -63 64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75
18692.33/2341.39	v -76 -77 -78 -79 -80 -81 -82 -83 -84 85 -86 -87 -88 -89 -90 -91 -92 -93
18692.33/2341.39	v -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 107 -108 -109
18692.33/2341.39	v -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 122 -123 -124
18692.33/2341.39	v -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139
18692.33/2341.39	v -140 -141 -142 -143 -144 -145 -146 -147 148 -149 -150 -151 -152 -153 -154
18692.33/2341.39	v -155 -156 157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169
18692.33/2341.39	v -170 -171 -172 -173 -174 -175 -176 -177 178 -179 -180 -181 -182 -183 -184
18692.33/2341.39	v -185 -186 -187 -188 -189 -190 -191 -192 193 -194 -195 -196 -197 -198 -199
18692.33/2341.39	v -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 211 -212 -213 -214
18692.33/2341.39	v -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229
18692.33/2341.39	v -230 -231 -232 -233 -234 235 -236 -237 -238 -239 -240 -241 -242 -243 -244
18692.33/2341.39	v -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 259
18692.33/2341.39	v -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274
18692.33/2341.39	v -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 285 -286 -287 -288 -289
18692.33/2341.39	v -290 -291 -292 293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304
18692.33/2341.39	v -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 316 -317 -318 -319
18692.33/2341.39	v -320 -321 -322 -323 -324 -325 -326 -327 328 -329 -330 -331 -332 -333 -334
18692.33/2341.39	v -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 346 -347 -348 -349
18692.33/2341.39	v -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364
18692.33/2341.39	v -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 375 -376 -377 -378 -379
18692.33/2341.39	v -380 -381 -382 -383 -384 -385 -386 -387 -388 389 -390 -391 -392 -393 -394
18692.33/2341.39	v -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409
18692.33/2341.39	v -410 -411 -412 -413 414 -415 -416 -417 -418 -419 -420 -421 422 -423 -424
18692.33/2341.39	v -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439
18692.33/2341.39	v -440 441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454
18692.33/2341.39	v -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469
18692.33/2341.39	v -470 -471 -472 -473 -474 475 -476 -477 -478 -479 -480 481 -482 -483 -484
18692.33/2341.39	v -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 499
18692.33/2341.39	v -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514
18692.33/2341.39	v -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 525 -526 -527 -528 -529
18692.33/2341.39	v -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 541 -542 -543 -544
18692.33/2341.39	v -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559
18692.33/2341.39	v -560 -561 562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574
18692.33/2341.39	v -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 589
18692.33/2341.39	v -590 -591 -592 -593 594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604
18692.33/2341.39	v -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 615 -616 -617 -618 -619
18692.33/2341.39	v -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634
18692.33/2341.39	v -635 -636 -637 -638 -639 -640 641 -642 -643 -644 -645 -646 -647 -648 -649
18692.33/2341.39	v -650 -651 -652 -653 -654 -655 -656 657 -658 -659 -660 -661 -662 -663 -664
18692.33/2341.39	v -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679
18692.33/2341.39	v 680 -681 -682 -683 -684 -685 -686 687 -688 -689 -690 -691 -692 -693 -694
18692.33/2341.39	v -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709
18692.33/2341.39	v -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 721 -722 -723 -724
18692.33/2341.39	v -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739
18692.33/2341.39	v -740 -741 -742 -743 -744 -745 -746 -747 748 -749 -750 -751 -752 -753 -754
18692.33/2341.39	v -755 -756 -757 -758 -759 -760 0
18693.09/2341.60	s SATISFIABLE
18693.09/2341.60	
18693.09/2341.60	c Models        : 1+    
18693.09/2341.60	c Time          : 2341.419s (Solving: 2341.30s 1st Model: 2341.27s Unsat: 0.00s)
18693.09/2341.60	c CPU Time      : 18693.010s

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-3380718-1305488971/watcher-3380718-1305488971 -o /tmp/evaluation-result-3380718-1305488971/solver-3380718-1305488971 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380718-1305488971.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.47 7.91 7.96 2/414 10612
/proc/meminfo: memFree=19292500/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=22616 CPUtime=0 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 1038 0 0 0 0 0 0 0 23 0 1 0 660495717 23158784 874 33554432000 4194304 4964800 140736061817232 18446744073709551615 242970550016 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10612/statm: 5654 876 386 189 0 528 0

[startup+0.0273651 s]
/proc/loadavg: 7.47 7.91 7.96 2/414 10612
/proc/meminfo: memFree=19292500/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=24076 CPUtime=0.02 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 1442 0 0 0 2 0 0 0 23 0 1 0 660495717 24653824 1190 33554432000 4194304 4964800 140736061817232 18446744073709551615 4607570 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10612/statm: 6019 1190 399 189 0 893 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24076

[startup+0.10035 s]
/proc/loadavg: 7.47 7.91 7.96 2/414 10612
/proc/meminfo: memFree=19292500/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=24340 CPUtime=0.09 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 1536 0 0 0 9 0 0 0 23 0 1 0 660495717 24924160 1284 33554432000 4194304 4964800 140736061817232 18446744073709551615 4600353 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/10612/statm: 6085 1284 400 189 0 959 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24340

[startup+0.332243 s]
/proc/loadavg: 7.47 7.91 7.96 2/414 10612
/proc/meminfo: memFree=19292500/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=384888 CPUtime=1.5 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 4610 0 0 0 147 3 0 0 18 0 8 0 660495717 394125312 4253 33554432000 4194304 4964800 140736061817232 18446744073709551615 242970655214 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/10612/statm: 96330 4658 464 189 0 90679 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 384888

[startup+0.92382 s]
/proc/loadavg: 7.47 7.91 7.96 2/414 10612
/proc/meminfo: memFree=19292500/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=387432 CPUtime=7.64 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 8833 0 0 0 759 5 0 0 19 0 8 0 660495717 396730368 8476 33554432000 4194304 4964800 140736061817232 18446744073709551615 4321150 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/10612/statm: 96858 8476 464 189 0 91207 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 387432

[startup+1.50107 s]
/proc/loadavg: 7.47 7.91 7.96 9/422 10620
/proc/meminfo: memFree=19258884/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=387432 CPUtime=10.9 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 9458 0 0 0 1085 5 0 0 19 0 8 0 660495717 396730368 9101 33554432000 4194304 4964800 140736061817232 18446744073709551615 4321076 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/10612/statm: 96858 9101 464 189 0 91207 0
[pid=10612/tid=10614] ppid=10610 vsize=387432 CPUtime=1.35 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 871 0 0 0 134 1 0 0 19 0 8 0 660495729 396730368 9111 33554432000 4194304 4964800 140736061817232 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=387432 CPUtime=1.34 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 1097 0 0 0 134 0 0 0 19 0 8 0 660495729 396730368 9111 33554432000 4194304 4964800 140736061817232 18446744073709551615 4321165 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=387432 CPUtime=1.34 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 913 0 0 0 134 0 0 0 19 0 8 0 660495729 396730368 9111 33554432000 4194304 4964800 140736061817232 18446744073709551615 4673275 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=387432 CPUtime=1.35 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 841 0 0 0 135 0 0 0 19 0 8 0 660495729 396730368 9111 33554432000 4194304 4964800 140736061817232 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=387432 CPUtime=1.38 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 366 0 0 0 138 0 0 0 25 0 8 0 660495729 396730368 9111 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670417 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=387432 CPUtime=1.34 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 1249 0 0 0 134 0 0 0 19 0 8 0 660495729 396730368 9111 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=387432 CPUtime=1.33 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 1689 0 0 0 133 0 0 0 19 0 8 0 660495729 396730368 9112 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.9
Current children cumulated vsize (KiB) 387432

[startup+3.1008 s]
/proc/loadavg: 7.47 7.91 7.96 9/422 10620
/proc/meminfo: memFree=19252432/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=389148 CPUtime=23.58 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 11676 0 0 0 2352 6 0 0 18 0 8 0 660495717 398487552 11319 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/10612/statm: 97287 11319 466 189 0 91636 0
[pid=10612/tid=10614] ppid=10610 vsize=389148 CPUtime=2.93 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 1155 0 0 0 292 1 0 0 23 0 8 0 660495729 398487552 11319 33554432000 4194304 4964800 140736061817232 18446744073709551615 4653491 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=389148 CPUtime=2.93 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 1327 0 0 0 292 1 0 0 23 0 8 0 660495729 398487552 11319 33554432000 4194304 4964800 140736061817232 18446744073709551615 4627278 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=389148 CPUtime=2.93 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 1083 0 0 0 293 0 0 0 23 0 8 0 660495729 398487552 11319 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=389148 CPUtime=2.94 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 1120 0 0 0 294 0 0 0 22 0 8 0 660495729 398487552 11319 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=389148 CPUtime=2.97 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 573 0 0 0 297 0 0 0 25 0 8 0 660495729 398487552 11319 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=389148 CPUtime=2.93 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 1506 0 0 0 292 1 0 0 23 0 8 0 660495729 398487552 11319 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=389148 CPUtime=2.92 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 2309 0 0 0 291 1 0 0 25 0 8 0 660495729 398487552 11319 33554432000 4194304 4964800 140736061817232 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.58
Current children cumulated vsize (KiB) 389148

[startup+6.30125 s]
/proc/loadavg: 7.67 7.95 7.97 9/422 10621
/proc/meminfo: memFree=19234436/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=393096 CPUtime=48.64 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 16058 0 0 0 4855 9 0 0 25 0 8 0 660495717 402530304 15701 33554432000 4194304 4964800 140736061817232 18446744073709551615 4631252 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/10612/statm: 98274 15701 466 189 0 92623 0
[pid=10612/tid=10614] ppid=10610 vsize=393096 CPUtime=6.13 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 1451 0 0 0 612 1 0 0 25 0 8 0 660495729 402530304 15701 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=393096 CPUtime=6.13 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 2036 0 0 0 612 1 0 0 25 0 8 0 660495729 402530304 15701 33554432000 4194304 4964800 140736061817232 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=393096 CPUtime=6 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 1392 0 0 0 600 0 0 0 25 0 8 0 660495729 402530304 15701 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=393096 CPUtime=6.13 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 1709 0 0 0 613 0 0 0 25 0 8 0 660495729 402530304 15701 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=393096 CPUtime=5.9 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 1224 0 0 0 590 0 0 0 25 0 8 0 660495729 402530304 15701 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=393096 CPUtime=6.03 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 2010 0 0 0 602 1 0 0 25 0 8 0 660495729 402530304 15701 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=393096 CPUtime=6.11 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 3210 0 0 0 610 1 0 0 25 0 8 0 660495729 402530304 15701 33554432000 4194304 4964800 140736061817232 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 48.64
Current children cumulated vsize (KiB) 393096

[startup+12.7011 s]
/proc/loadavg: 7.70 7.95 7.97 9/422 10621
/proc/meminfo: memFree=19202476/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=400052 CPUtime=99.72 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 23410 0 0 0 9958 14 0 0 25 0 8 0 660495717 409653248 23053 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10612/statm: 100013 23053 466 189 0 94362 0
[pid=10612/tid=10614] ppid=10610 vsize=400052 CPUtime=12.51 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 2443 0 0 0 1250 1 0 0 25 0 8 0 660495729 409653248 23053 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=400052 CPUtime=12.53 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 3155 0 0 0 1251 2 0 0 25 0 8 0 660495729 409653248 23053 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=400052 CPUtime=12.4 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 1951 0 0 0 1239 1 0 0 25 0 8 0 660495729 409653248 23053 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=400052 CPUtime=12.53 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 2425 0 0 0 1253 0 0 0 25 0 8 0 660495729 409653248 23053 33554432000 4194304 4964800 140736061817232 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=400052 CPUtime=12.23 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 1941 0 0 0 1222 1 0 0 25 0 8 0 660495729 409653248 23053 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=400052 CPUtime=12.42 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 2614 0 0 0 1241 1 0 0 25 0 8 0 660495729 409653248 23053 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=400052 CPUtime=12.51 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 5101 0 0 0 1248 3 0 0 25 0 8 0 660495729 409653248 23053 33554432000 4194304 4964800 140736061817232 18446744073709551615 4320921 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 99.72
Current children cumulated vsize (KiB) 400052

[startup+25.5009 s]
/proc/loadavg: 7.74 7.95 7.97 9/422 10621
/proc/meminfo: memFree=19182156/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=403440 CPUtime=201.87 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 29779 0 0 0 20167 20 0 0 25 0 8 0 660495717 413122560 29418 33554432000 4194304 4964800 140736061817232 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10612/statm: 100860 29418 466 189 0 95209 0
[pid=10612/tid=10614] ppid=10610 vsize=403440 CPUtime=25.3 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 3233 0 0 0 2528 2 0 0 25 0 8 0 660495729 413122560 29419 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=403440 CPUtime=25.33 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 4182 0 0 0 2531 2 0 0 25 0 8 0 660495729 413122560 29419 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=403440 CPUtime=25.1 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 2540 0 0 0 2509 1 0 0 25 0 8 0 660495729 413122560 29419 33554432000 4194304 4964800 140736061817232 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=403440 CPUtime=25.33 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 3166 0 0 0 2532 1 0 0 25 0 8 0 660495729 413122560 29420 33554432000 4194304 4964800 140736061817232 18446744073709551615 242970211361 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=403440 CPUtime=24.96 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 2538 0 0 0 2495 1 0 0 25 0 8 0 660495729 413122560 29420 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=403440 CPUtime=25.19 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 3286 0 0 0 2515 4 0 0 25 0 8 0 660495729 413122560 29420 33554432000 4194304 4964800 140736061817232 18446744073709551615 4627497 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=403440 CPUtime=25.29 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 6618 0 0 0 2525 4 0 0 25 0 8 0 660495729 413122560 29420 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 201.87
Current children cumulated vsize (KiB) 403440

[startup+51.1155 s]
/proc/loadavg: 7.90 7.97 7.98 9/422 10622
/proc/meminfo: memFree=19139708/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=410048 CPUtime=406.37 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 39758 0 0 0 40608 29 0 0 19 0 8 0 660495717 419889152 38903 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670496 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10612/statm: 102512 38903 466 189 0 96861 0
[pid=10612/tid=10614] ppid=10610 vsize=410048 CPUtime=50.9 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 4551 0 0 0 5088 2 0 0 25 0 8 0 660495729 419889152 38903 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=410048 CPUtime=50.94 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 6350 0 0 0 5091 3 0 0 25 0 8 0 660495729 419889152 38903 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=410048 CPUtime=50.35 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 3233 0 0 0 5033 2 0 0 19 0 8 0 660495729 419889152 38903 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=410048 CPUtime=50.95 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 4036 0 0 0 5093 2 0 0 25 0 8 0 660495729 419889152 38903 33554432000 4194304 4964800 140736061817232 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=410048 CPUtime=50.57 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 3690 0 0 0 5055 2 0 0 25 0 8 0 660495729 419889152 38903 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=410048 CPUtime=50.78 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 4053 0 0 0 5072 6 0 0 25 0 8 0 660495729 419889152 38903 33554432000 4194304 4964800 140736061817232 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=410048 CPUtime=50.89 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 8844 0 0 0 5084 5 0 0 25 0 8 0 660495729 419889152 38903 33554432000 4194304 4964800 140736061817232 18446744073709551615 4644872 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.37

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

/proc/loadavg: 8.15 8.11 8.05 9/422 10693
/proc/meminfo: memFree=18723028/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=816020 CPUtime=18061.4 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 151272 0 0 0 1805908 233 0 0 25 0 8 0 660495717 835604480 142748 33554432000 4194304 4964800 140736061817232 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10612/statm: 204005 142748 466 189 0 198354 0
[pid=10612/tid=10614] ppid=10610 vsize=816020 CPUtime=2244.55 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 23631 0 0 0 224430 25 0 0 25 0 8 0 660495729 835604480 142748 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=816020 CPUtime=2261.14 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 32467 0 0 0 226097 17 0 0 25 0 8 0 660495729 835604480 142748 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=816020 CPUtime=2260.33 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 11793 0 0 0 225981 52 0 0 25 0 8 0 660495729 835604480 142748 33554432000 4194304 4964800 140736061817232 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=816020 CPUtime=2253.79 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 15543 0 0 0 225366 13 0 0 25 0 8 0 660495729 835604480 142748 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=816020 CPUtime=2259.1 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 14971 0 0 0 225896 14 0 0 25 0 8 0 660495729 835604480 142748 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=816020 CPUtime=2261.05 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 11776 0 0 0 226070 35 0 0 25 0 8 0 660495729 835604480 142748 33554432000 4194304 4964800 140736061817232 18446744073709551615 4660187 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=816020 CPUtime=2261.5 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 28634 0 0 0 226096 54 0 0 25 0 8 0 660495729 835604480 142748 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 18061.4
Current children cumulated vsize (KiB) 816020

[startup+2322.3 s]
/proc/loadavg: 8.05 8.08 8.04 9/422 10694
/proc/meminfo: memFree=18721536/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=816340 CPUtime=18540.5 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 151772 0 0 0 1853817 234 0 0 25 0 8 0 660495717 835932160 143119 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670357 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10612/statm: 204085 143119 466 189 0 198434 0
[pid=10612/tid=10614] ppid=10610 vsize=816340 CPUtime=2304.54 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 23828 0 0 0 230429 25 0 0 25 0 8 0 660495729 835932160 143119 33554432000 4194304 4964800 140736061817232 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=816340 CPUtime=2321.12 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 32584 0 0 0 232095 17 0 0 25 0 8 0 660495729 835932160 143119 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=816340 CPUtime=2320.33 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 11814 0 0 0 231981 52 0 0 25 0 8 0 660495729 835932160 143119 33554432000 4194304 4964800 140736061817232 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=816340 CPUtime=2313.74 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 15559 0 0 0 231361 13 0 0 25 0 8 0 660495729 835932160 143119 33554432000 4194304 4964800 140736061817232 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=816340 CPUtime=2318.29 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 14981 0 0 0 231815 14 0 0 25 0 8 0 660495729 835932160 143119 33554432000 4194304 4964800 140736061817232 18446744073709551615 4627309 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=816340 CPUtime=2321.04 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 11834 0 0 0 232069 35 0 0 25 0 8 0 660495729 835932160 143119 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=816340 CPUtime=2321.5 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 28694 0 0 0 232096 54 0 0 25 0 8 0 660495729 835932160 143119 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 18540.5
Current children cumulated vsize (KiB) 816340

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

[startup+2330 s]
/proc/loadavg: 8.05 8.08 8.04 9/422 10695
/proc/meminfo: memFree=18721412/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=816340 CPUtime=18602 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 151812 0 0 0 1859963 235 0 0 25 0 8 0 660495717 835932160 143159 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10612/statm: 204085 143159 466 189 0 198434 0
[pid=10612/tid=10614] ppid=10610 vsize=816340 CPUtime=2312.24 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 23849 0 0 0 231199 25 0 0 25 0 8 0 660495729 835932160 143159 33554432000 4194304 4964800 140736061817232 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=816340 CPUtime=2328.82 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 32589 0 0 0 232865 17 0 0 25 0 8 0 660495729 835932160 143159 33554432000 4194304 4964800 140736061817232 18446744073709551615 4627968 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=816340 CPUtime=2328.03 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 11814 0 0 0 232751 52 0 0 25 0 8 0 660495729 835932160 143159 33554432000 4194304 4964800 140736061817232 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=816340 CPUtime=2321.42 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 15559 0 0 0 232128 14 0 0 25 0 8 0 660495729 835932160 143159 33554432000 4194304 4964800 140736061817232 18446744073709551615 4627272 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=816340 CPUtime=2325.88 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 14981 0 0 0 232574 14 0 0 25 0 8 0 660495729 835932160 143159 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=816340 CPUtime=2328.74 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 11848 0 0 0 232839 35 0 0 25 0 8 0 660495729 835932160 143159 33554432000 4194304 4964800 140736061817232 18446744073709551615 4660283 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=816340 CPUtime=2329.19 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 28694 0 0 0 232865 54 0 0 25 0 8 0 660495729 835932160 143159 33554432000 4194304 4964800 140736061817232 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 18602
Current children cumulated vsize (KiB) 816340

[startup+2336.4 s]
/proc/loadavg: 8.04 8.08 8.04 9/422 10695
/proc/meminfo: memFree=18720420/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=816340 CPUtime=18653.1 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 151863 0 0 0 1865075 235 0 0 25 0 8 0 660495717 835932160 143210 33554432000 4194304 4964800 140736061817232 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10612/statm: 204085 143210 466 189 0 198434 0
[pid=10612/tid=10614] ppid=10610 vsize=816340 CPUtime=2318.64 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 23849 0 0 0 231839 25 0 0 25 0 8 0 660495729 835932160 143210 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=816340 CPUtime=2335.21 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 32610 0 0 0 233504 17 0 0 25 0 8 0 660495729 835932160 143210 33554432000 4194304 4964800 140736061817232 18446744073709551615 4660177 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=816340 CPUtime=2334.44 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 11814 0 0 0 233392 52 0 0 25 0 8 0 660495729 835932160 143210 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=816340 CPUtime=2327.82 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 15586 0 0 0 232768 14 0 0 25 0 8 0 660495729 835932160 143210 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=816340 CPUtime=2332.19 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 14981 0 0 0 233205 14 0 0 25 0 8 0 660495729 835932160 143210 33554432000 4194304 4964800 140736061817232 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=816340 CPUtime=2335.14 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 11851 0 0 0 233479 35 0 0 25 0 8 0 660495729 835932160 143210 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=816340 CPUtime=2335.6 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 28694 0 0 0 233506 54 0 0 25 0 8 0 660495729 835932160 143210 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 18653.1
Current children cumulated vsize (KiB) 816340

[startup+2339.6 s]
/proc/loadavg: 8.04 8.08 8.04 9/422 10695
/proc/meminfo: memFree=18720172/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=816340 CPUtime=18678.6 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 151965 0 0 0 1867629 235 0 0 25 0 8 0 660495717 835932160 143248 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10612/statm: 204085 143248 466 189 0 198434 0
[pid=10612/tid=10614] ppid=10610 vsize=816340 CPUtime=2321.83 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 23945 0 0 0 232158 25 0 0 20 0 8 0 660495729 835932160 143248 33554432000 4194304 4964800 140736061817232 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=816340 CPUtime=2338.41 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 32610 0 0 0 233824 17 0 0 25 0 8 0 660495729 835932160 143248 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=816340 CPUtime=2337.63 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 11814 0 0 0 233711 52 0 0 25 0 8 0 660495729 835932160 143248 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=816340 CPUtime=2331.02 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 15592 0 0 0 233088 14 0 0 25 0 8 0 660495729 835932160 143248 33554432000 4194304 4964800 140736061817232 18446744073709551615 4359851 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=816340 CPUtime=2335.35 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 14981 0 0 0 233521 14 0 0 25 0 8 0 660495729 835932160 143248 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=816340 CPUtime=2338.34 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 11851 0 0 0 233799 35 0 0 25 0 8 0 660495729 835932160 143248 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=816340 CPUtime=2338.8 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 28694 0 0 0 233826 54 0 0 25 0 8 0 660495729 835932160 143248 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 18678.6
Current children cumulated vsize (KiB) 816340

[startup+2340.4 s]
/proc/loadavg: 8.04 8.08 8.04 9/422 10695
/proc/meminfo: memFree=18720172/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=816340 CPUtime=18685 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 151967 0 0 0 1868267 235 0 0 25 0 8 0 660495717 835932160 143250 33554432000 4194304 4964800 140736061817232 18446744073709551615 4380034 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10612/statm: 204085 143250 466 189 0 198434 0
[pid=10612/tid=10614] ppid=10610 vsize=816340 CPUtime=2322.63 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 23945 0 0 0 232238 25 0 0 22 0 8 0 660495729 835932160 143250 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=816340 CPUtime=2339.21 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 32610 0 0 0 233904 17 0 0 25 0 8 0 660495729 835932160 143250 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=816340 CPUtime=2338.43 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 11814 0 0 0 233791 52 0 0 25 0 8 0 660495729 835932160 143250 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=816340 CPUtime=2331.82 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 15592 0 0 0 233168 14 0 0 25 0 8 0 660495729 835932160 143250 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=816340 CPUtime=2336.13 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 14981 0 0 0 233599 14 0 0 25 0 8 0 660495729 835932160 143250 33554432000 4194304 4964800 140736061817232 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=816340 CPUtime=2339.14 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 11853 0 0 0 233879 35 0 0 25 0 8 0 660495729 835932160 143250 33554432000 4194304 4964800 140736061817232 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=816340 CPUtime=2339.6 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 28694 0 0 0 233906 54 0 0 25 0 8 0 660495729 835932160 143250 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 18685
Current children cumulated vsize (KiB) 816340

[startup+2341.2 s]
/proc/loadavg: 8.04 8.08 8.04 9/422 10695
/proc/meminfo: memFree=18720172/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=816340 CPUtime=18691.5 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202496 151968 0 0 0 1868916 235 0 0 25 0 8 0 660495717 835932160 143251 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10612/statm: 204085 143251 466 189 0 198434 0
[pid=10612/tid=10614] ppid=10610 vsize=816340 CPUtime=2323.45 cores=0-7
/proc/10612/task/10614/stat : 10614 (claspmt) R 10610 10612 10540 0 -1 4202560 23945 0 0 0 232320 25 0 0 25 0 8 0 660495729 835932160 143251 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10612/tid=10615] ppid=10610 vsize=816340 CPUtime=2340.03 cores=0-7
/proc/10612/task/10615/stat : 10615 (claspmt) R 10610 10612 10540 0 -1 4202560 32610 0 0 0 233986 17 0 0 25 0 8 0 660495729 835932160 143251 33554432000 4194304 4964800 140736061817232 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10612/tid=10616] ppid=10610 vsize=816340 CPUtime=2339.25 cores=0-7
/proc/10612/task/10616/stat : 10616 (claspmt) R 10610 10612 10540 0 -1 4202560 11814 0 0 0 233873 52 0 0 25 0 8 0 660495729 835932160 143251 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670511 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10612/tid=10617] ppid=10610 vsize=816340 CPUtime=2332.64 cores=0-7
/proc/10612/task/10617/stat : 10617 (claspmt) R 10610 10612 10540 0 -1 4202560 15592 0 0 0 233250 14 0 0 25 0 8 0 660495729 835932160 143251 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10612/tid=10618] ppid=10610 vsize=816340 CPUtime=2336.93 cores=0-7
/proc/10612/task/10618/stat : 10618 (claspmt) R 10610 10612 10540 0 -1 4202560 14981 0 0 0 233679 14 0 0 25 0 8 0 660495729 835932160 143251 33554432000 4194304 4964800 140736061817232 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10612/tid=10619] ppid=10610 vsize=816340 CPUtime=2339.96 cores=0-7
/proc/10612/task/10619/stat : 10619 (claspmt) R 10610 10612 10540 0 -1 4202560 11854 0 0 0 233961 35 0 0 25 0 8 0 660495729 835932160 143251 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10612/tid=10620] ppid=10610 vsize=816340 CPUtime=2340.41 cores=0-7
/proc/10612/task/10620/stat : 10620 (claspmt) R 10610 10612 10540 0 -1 4202560 28694 0 0 0 233987 54 0 0 25 0 8 0 660495729 835932160 143251 33554432000 4194304 4964800 140736061817232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 18691.5
Current children cumulated vsize (KiB) 816340

[startup+2341.6 s]
/proc/loadavg: 8.04 8.08 8.04 9/422 10695
/proc/meminfo: memFree=18720172/32951132 swapFree=67093844/67111528
[pid=10612] ppid=10610 vsize=0 CPUtime=18693.2 cores=0-7
/proc/10612/stat : 10612 (claspmt) R 10610 10612 10540 0 -1 4202500 152002 0 0 0 1869081 238 0 0 25 0 1 0 660495717 0 0 33554432000 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/10612/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 18693.2
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 2341.6
CPU time (s): 18693.2
CPU user time (s): 18690.8
CPU system time (s): 2.38864
CPU usage (%): 798.308
Max. virtual memory (cumulated for all children) (KiB): 816340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18690.8
system time used= 2.38864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152002
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= 60381
involuntary context switches= 88380

runsolver used 8.83966 second user time and 23.0955 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-15 21:49:31
IDJOB=3380718
IDBENCH=71572
IDSOLVER=1865
FILE ID=node128/3380718-1305488971
RUNJOBID= node128-1305488489-10554
PBS_JOBID= 13325400
Free space on /tmp= 73600 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes8.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-3380718-1305488971/watcher-3380718-1305488971 -o /tmp/evaluation-result-3380718-1305488971/solver-3380718-1305488971 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380718-1305488971.cnf

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

MD5SUM BENCH= ca42736a2fe4e8cf2cba6dd1668e0ad6
RANDOM SEED=982265257

node128.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.852
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.70
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.852
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.75
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.852
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.82
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.852
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.75
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.852
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.852
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.75
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.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      19293028 kB
Buffers:        290124 kB
Cached:        3195392 kB
SwapCached:       1440 kB
Active:       11203912 kB
Inactive:      2146400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      19293028 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:            1192 kB
Writeback:           0 kB
AnonPages:     9863768 kB
Mapped:          34980 kB
Slab:           190072 kB
PageTables:      50340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 113659756 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73600 MiB
End job on node128 at 2011-05-15 22:28:32