Trace number 3321508

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095SAT 21599 2703.35

General information on the benchmark

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321508-1304357179/watcher-3321508-1304357179 -o /tmp/evaluation-result-3321508-1304357179/solver-3321508-1304357179 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3321508-1304357179.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.39 5.75 5.15 1/260 29136
/proc/meminfo: memFree=26356464/32950928 swapFree=65762292/67111528
[pid=29136] ppid=29134 vsize=22112 CPUtime=0 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 857 0 0 0 0 0 0 0 24 0 1 0 625948585 22642688 746 33554432000 4194304 4964704 140733645624448 18446744073709551615 260905054917 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29136/statm: 5528 748 386 189 0 402 0

[startup+0.0103531 s]
/proc/loadavg: 7.39 5.75 5.15 1/260 29136
/proc/meminfo: memFree=26356464/32950928 swapFree=65762292/67111528
[pid=29136] ppid=29134 vsize=22352 CPUtime=0 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 967 0 0 0 0 0 0 0 24 0 1 0 625948585 22888448 802 33554432000 4194304 4964704 140733645624448 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29136/statm: 5588 803 386 189 0 462 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 22352

[startup+0.100324 s]
/proc/loadavg: 7.39 5.75 5.15 1/260 29136
/proc/meminfo: memFree=26356464/32950928 swapFree=65762292/67111528
[pid=29136] ppid=29134 vsize=24340 CPUtime=0.09 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 1538 0 0 0 9 0 0 0 24 0 1 0 625948585 24924160 1285 33554432000 4194304 4964704 140733645624448 18446744073709551615 4600431 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/29136/statm: 6085 1285 400 189 0 959 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24340

[startup+0.30029 s]
/proc/loadavg: 7.39 5.75 5.15 1/260 29136
/proc/meminfo: memFree=26356464/32950928 swapFree=65762292/67111528
[pid=29136] ppid=29134 vsize=254768 CPUtime=1.26 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 4293 0 0 0 125 1 0 0 25 0 8 0 625948585 260882432 3937 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670454 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 63692 3938 464 189 0 58041 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 254768

[startup+0.700217 s]
/proc/loadavg: 7.39 5.75 5.15 1/260 29136
/proc/meminfo: memFree=26356464/32950928 swapFree=65762292/67111528
[pid=29136] ppid=29134 vsize=258244 CPUtime=4.46 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 7384 0 0 0 444 2 0 0 25 0 8 0 625948585 264441856 7028 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670312 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 64561 7028 464 189 0 58910 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 258244

[startup+1.50107 s]
/proc/loadavg: 7.39 5.75 5.15 9/268 29144
/proc/meminfo: memFree=26323176/32950928 swapFree=65762292/67111528
[pid=29136] ppid=29134 vsize=260588 CPUtime=10.86 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 9935 0 0 0 1082 4 0 0 25 0 8 0 625948585 266842112 9579 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 65147 9579 464 189 0 59496 0
[pid=29136/tid=29138] ppid=29134 vsize=260588 CPUtime=1.35 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 939 0 0 0 135 0 0 0 19 0 8 0 625948597 266842112 9579 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=260588 CPUtime=1.35 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 1086 0 0 0 135 0 0 0 25 0 8 0 625948597 266842112 9579 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=260588 CPUtime=1.32 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 849 0 0 0 132 0 0 0 25 0 8 0 625948597 266842112 9579 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=260588 CPUtime=1.28 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 1058 0 0 0 128 0 0 0 25 0 8 0 625948597 266842112 9579 33554432000 4194304 4964704 140733645624448 18446744073709551615 4660064 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=260588 CPUtime=1.37 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 557 0 0 0 137 0 0 0 25 0 8 0 625948597 266842112 9579 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670291 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=260588 CPUtime=1.33 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 1175 0 0 0 133 0 0 0 25 0 8 0 625948597 266842112 9579 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=260588 CPUtime=1.34 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 1674 0 0 0 134 0 0 0 25 0 8 0 625948597 266842112 9579 33554432000 4194304 4964704 140733645624448 18446744073709551615 4627341 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.86
Current children cumulated vsize (KiB) 260588

[startup+3.10078 s]
/proc/loadavg: 7.39 5.75 5.15 9/268 29144
/proc/meminfo: memFree=26316356/32950928 swapFree=65762292/67111528
[pid=29136] ppid=29134 vsize=262048 CPUtime=23.64 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 11939 0 0 0 2359 5 0 0 25 0 8 0 625948585 268337152 11583 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 65512 11583 466 189 0 59861 0
[pid=29136/tid=29138] ppid=29134 vsize=262048 CPUtime=2.94 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 1210 0 0 0 294 0 0 0 24 0 8 0 625948597 268337152 11583 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=262048 CPUtime=2.94 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 1411 0 0 0 294 0 0 0 19 0 8 0 625948597 268337152 11583 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=262048 CPUtime=2.92 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 1126 0 0 0 292 0 0 0 25 0 8 0 625948597 268337152 11583 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=262048 CPUtime=2.87 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 1205 0 0 0 287 0 0 0 25 0 8 0 625948597 268337152 11583 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=262048 CPUtime=2.97 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 735 0 0 0 297 0 0 0 25 0 8 0 625948597 268337152 11583 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=262048 CPUtime=2.93 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 1349 0 0 0 293 0 0 0 25 0 8 0 625948597 268337152 11583 33554432000 4194304 4964704 140733645624448 18446744073709551615 260905499167 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=262048 CPUtime=2.94 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 2075 0 0 0 293 1 0 0 25 0 8 0 625948597 268337152 11583 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320993 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.64
Current children cumulated vsize (KiB) 262048

[startup+6.30119 s]
/proc/loadavg: 7.44 5.78 5.16 9/268 29144
/proc/meminfo: memFree=26305940/32950928 swapFree=65762292/67111528
[pid=29136] ppid=29134 vsize=265520 CPUtime=49.2 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 16074 0 0 0 4913 7 0 0 19 0 8 0 625948585 271892480 15718 33554432000 4194304 4964704 140733645624448 18446744073709551615 4627301 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 66380 15718 466 189 0 60729 0
[pid=29136/tid=29138] ppid=29134 vsize=265520 CPUtime=6.15 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 1656 0 0 0 614 1 0 0 25 0 8 0 625948597 271892480 15718 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=265520 CPUtime=6.14 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 2206 0 0 0 614 0 0 0 25 0 8 0 625948597 271892480 15718 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=265520 CPUtime=6.11 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 1526 0 0 0 611 0 0 0 25 0 8 0 625948597 271892480 15718 33554432000 4194304 4964704 140733645624448 18446744073709551615 4363332 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=265520 CPUtime=6.04 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 1697 0 0 0 604 0 0 0 25 0 8 0 625948597 271892480 15718 33554432000 4194304 4964704 140733645624448 18446744073709551615 4627540 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=265520 CPUtime=6.17 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 1224 0 0 0 617 0 0 0 25 0 8 0 625948597 271892480 15718 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=265520 CPUtime=6.12 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 1707 0 0 0 612 0 0 0 25 0 8 0 625948597 271892480 15718 33554432000 4194304 4964704 140733645624448 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=265520 CPUtime=6.14 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 2886 0 0 0 613 1 0 0 25 0 8 0 625948597 271892480 15718 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.2
Current children cumulated vsize (KiB) 265520

[startup+12.701 s]
/proc/loadavg: 7.48 5.82 5.18 9/268 29144
/proc/meminfo: memFree=26270872/32950928 swapFree=65762292/67111528
[pid=29136] ppid=29134 vsize=273680 CPUtime=100.33 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 23073 0 0 0 10022 11 0 0 25 0 8 0 625948585 280248320 22717 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670454 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 68420 22717 466 189 0 62769 0
[pid=29136/tid=29138] ppid=29134 vsize=273680 CPUtime=12.53 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 2589 0 0 0 1252 1 0 0 25 0 8 0 625948597 280248320 22717 33554432000 4194304 4964704 140733645624448 18446744073709551615 4660420 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=273680 CPUtime=12.54 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 3402 0 0 0 1253 1 0 0 25 0 8 0 625948597 280248320 22717 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=273680 CPUtime=12.52 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 2062 0 0 0 1251 1 0 0 25 0 8 0 625948597 280248320 22717 33554432000 4194304 4964704 140733645624448 18446744073709551615 4321232 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=273680 CPUtime=12.39 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 2438 0 0 0 1238 1 0 0 25 0 8 0 625948597 280248320 22717 33554432000 4194304 4964704 140733645624448 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=273680 CPUtime=12.57 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 1996 0 0 0 1256 1 0 0 25 0 8 0 625948597 280248320 22717 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=273680 CPUtime=12.52 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 2315 0 0 0 1252 0 0 0 25 0 8 0 625948597 280248320 22717 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=273680 CPUtime=12.54 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 4270 0 0 0 1252 2 0 0 25 0 8 0 625948597 280248320 22717 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.33
Current children cumulated vsize (KiB) 273680

[startup+25.5007 s]
/proc/loadavg: 7.60 5.93 5.22 9/268 29144
/proc/meminfo: memFree=26244300/32950928 swapFree=65762292/67111528
[pid=29136] ppid=29134 vsize=282176 CPUtime=202.58 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 29948 0 0 0 20243 15 0 0 25 0 8 0 625948585 288948224 29592 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670269 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 70544 29592 466 189 0 64893 0
[pid=29136/tid=29138] ppid=29134 vsize=282176 CPUtime=25.32 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 3321 0 0 0 2530 2 0 0 25 0 8 0 625948597 288948224 29592 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=282176 CPUtime=25.33 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 4879 0 0 0 2532 1 0 0 25 0 8 0 625948597 288948224 29592 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=282176 CPUtime=25.31 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 2688 0 0 0 2530 1 0 0 25 0 8 0 625948597 288948224 29592 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=282176 CPUtime=25.07 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 3089 0 0 0 2506 1 0 0 25 0 8 0 625948597 288948224 29592 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=282176 CPUtime=25.36 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 2898 0 0 0 2535 1 0 0 25 0 8 0 625948597 288948224 29592 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=282176 CPUtime=25.32 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 2932 0 0 0 2531 1 0 0 25 0 8 0 625948597 288948224 29592 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=282176 CPUtime=25.34 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 5519 0 0 0 2532 2 0 0 25 0 8 0 625948597 288948224 29592 33554432000 4194304 4964704 140733645624448 18446744073709551615 4660369 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 202.58
Current children cumulated vsize (KiB) 282176

[startup+51.101 s]
/proc/loadavg: 7.81 6.11 5.30 9/268 29145
/proc/meminfo: memFree=26194416/32950928 swapFree=65762292/67111528
[pid=29136] ppid=29134 vsize=297024 CPUtime=407.15 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 42893 0 0 0 40690 25 0 0 25 0 8 0 625948585 304152576 42074 33554432000 4194304 4964704 140733645624448 18446744073709551615 4332393 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 74256 42074 466 189 0 68605 0
[pid=29136/tid=29138] ppid=29134 vsize=297024 CPUtime=50.91 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 4737 0 0 0 5088 3 0 0 25 0 8 0 625948597 304152576 42074 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=297024 CPUtime=50.94 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 6708 0 0 0 5091 3 0 0 25 0 8 0 625948597 304152576 42074 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=297024 CPUtime=50.91 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 4075 0 0 0 5089 2 0 0 25 0 8 0 625948597 304152576 42074 33554432000 4194304 4964704 140733645624448 18446744073709551615 4627540 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=297024 CPUtime=50.46 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 4648 0 0 0 5044 2 0 0 25 0 8 0 625948597 304152576 42074 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=297024 CPUtime=50.96 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 4211 0 0 0 5094 2 0 0 25 0 8 0 625948597 304152576 42074 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=297024 CPUtime=50.92 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 4154 0 0 0 5089 3 0 0 25 0 8 0 625948597 304152576 42074 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=297024 CPUtime=50.94 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 8500 0 0 0 5090 4 0 0 25 0 8 0 625948597 304152576 42074 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.15

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

/proc/loadavg: 8.08 8.04 7.84 9/268 29227
/proc/meminfo: memFree=25722068/32950928 swapFree=65762296/67111528
[pid=29136] ppid=29134 vsize=927536 CPUtime=21432 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 168206 0 0 0 2143002 201 0 0 25 0 8 0 625948585 949796864 159460 33554432000 4194304 4964704 140733645624448 18446744073709551615 4653154 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 231884 159460 466 189 0 226233 0
[pid=29136/tid=29138] ppid=29134 vsize=927536 CPUtime=2677.75 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 29464 0 0 0 267744 31 0 0 25 0 8 0 625948597 949796864 159460 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=927536 CPUtime=2681.95 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 40065 0 0 0 268171 24 0 0 25 0 8 0 625948597 949796864 159460 33554432000 4194304 4964704 140733645624448 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=927536 CPUtime=2681.39 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 12195 0 0 0 268118 21 0 0 25 0 8 0 625948597 949796864 159460 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=927536 CPUtime=2671.86 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 17759 0 0 0 267168 18 0 0 25 0 8 0 625948597 949796864 159460 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=927536 CPUtime=2681.93 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 17324 0 0 0 268178 15 0 0 25 0 8 0 625948597 949796864 159460 33554432000 4194304 4964704 140733645624448 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=927536 CPUtime=2681.91 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 12809 0 0 0 268168 23 0 0 25 0 8 0 625948597 949796864 159460 33554432000 4194304 4964704 140733645624448 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=927536 CPUtime=2673.71 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 24533 0 0 0 267327 44 0 0 25 0 8 0 625948597 949796864 159460 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320921 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21432
Current children cumulated vsize (KiB) 927536

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

[startup+2687.9 s]
/proc/loadavg: 8.07 8.04 7.84 9/268 29227
/proc/meminfo: memFree=25721200/32950928 swapFree=65762296/67111528
[pid=29136] ppid=29134 vsize=927536 CPUtime=21476.8 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 168324 0 0 0 2147478 201 0 0 25 0 8 0 625948585 949796864 159557 33554432000 4194304 4964704 140733645624448 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 231884 159557 466 189 0 226233 0
[pid=29136/tid=29138] ppid=29134 vsize=927536 CPUtime=2683.35 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 29464 0 0 0 268304 31 0 0 25 0 8 0 625948597 949796864 159557 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=927536 CPUtime=2687.55 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 40070 0 0 0 268731 24 0 0 25 0 8 0 625948597 949796864 159557 33554432000 4194304 4964704 140733645624448 18446744073709551615 4669056 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=927536 CPUtime=2686.99 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 12248 0 0 0 268678 21 0 0 25 0 8 0 625948597 949796864 159557 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=927536 CPUtime=2677.41 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 17819 0 0 0 267723 18 0 0 25 0 8 0 625948597 949796864 159557 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=927536 CPUtime=2687.53 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 17324 0 0 0 268738 15 0 0 25 0 8 0 625948597 949796864 159557 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=927536 CPUtime=2687.51 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 12809 0 0 0 268728 23 0 0 25 0 8 0 625948597 949796864 159557 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=927536 CPUtime=2679.31 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 24533 0 0 0 267887 44 0 0 25 0 8 0 625948597 949796864 159557 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21476.8
Current children cumulated vsize (KiB) 927536

[startup+2694.3 s]
/proc/loadavg: 8.06 8.03 7.84 9/268 29228
/proc/meminfo: memFree=25721184/32950928 swapFree=65762296/67111528
[pid=29136] ppid=29134 vsize=927536 CPUtime=21527.9 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 168371 0 0 0 2152592 201 0 0 25 0 8 0 625948585 949796864 159604 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670454 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 231884 159604 466 189 0 226233 0
[pid=29136/tid=29138] ppid=29134 vsize=927536 CPUtime=2689.75 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 29501 0 0 0 268944 31 0 0 25 0 8 0 625948597 949796864 159604 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=927536 CPUtime=2693.95 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 40070 0 0 0 269371 24 0 0 25 0 8 0 625948597 949796864 159604 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=927536 CPUtime=2693.39 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 12248 0 0 0 269318 21 0 0 25 0 8 0 625948597 949796864 159604 33554432000 4194304 4964704 140733645624448 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=927536 CPUtime=2683.76 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 17828 0 0 0 268358 18 0 0 25 0 8 0 625948597 949796864 159604 33554432000 4194304 4964704 140733645624448 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=927536 CPUtime=2693.93 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 17325 0 0 0 269378 15 0 0 25 0 8 0 625948597 949796864 159604 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=927536 CPUtime=2693.91 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 12809 0 0 0 269368 23 0 0 25 0 8 0 625948597 949796864 159604 33554432000 4194304 4964704 140733645624448 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=927536 CPUtime=2685.71 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 24533 0 0 0 268527 44 0 0 25 0 8 0 625948597 949796864 159604 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21527.9
Current children cumulated vsize (KiB) 927536

[startup+2697.5 s]
/proc/loadavg: 8.06 8.03 7.84 9/268 29228
/proc/meminfo: memFree=25720812/32950928 swapFree=65762296/67111528
[pid=29136] ppid=29134 vsize=927536 CPUtime=21553.5 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 168468 0 0 0 2155148 201 0 0 25 0 8 0 625948585 949796864 159637 33554432000 4194304 4964704 140733645624448 18446744073709551615 4631266 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 231884 159637 466 189 0 226233 0
[pid=29136/tid=29138] ppid=29134 vsize=927536 CPUtime=2692.94 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 29597 0 0 0 269263 31 0 0 25 0 8 0 625948597 949796864 159637 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=927536 CPUtime=2697.15 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 40070 0 0 0 269691 24 0 0 25 0 8 0 625948597 949796864 159637 33554432000 4194304 4964704 140733645624448 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=927536 CPUtime=2696.59 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 12248 0 0 0 269638 21 0 0 25 0 8 0 625948597 949796864 159637 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=927536 CPUtime=2686.93 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 17828 0 0 0 268675 18 0 0 25 0 8 0 625948597 949796864 159637 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=927536 CPUtime=2697.13 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 17325 0 0 0 269698 15 0 0 25 0 8 0 625948597 949796864 159637 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=927536 CPUtime=2697.12 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 12810 0 0 0 269689 23 0 0 25 0 8 0 625948597 949796864 159637 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=927536 CPUtime=2688.91 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 24533 0 0 0 268847 44 0 0 25 0 8 0 625948597 949796864 159637 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21553.5
Current children cumulated vsize (KiB) 927536

[startup+2700.7 s]
/proc/loadavg: 8.06 8.03 7.84 9/268 29228
/proc/meminfo: memFree=25720688/32950928 swapFree=65762296/67111528
[pid=29136] ppid=29134 vsize=927536 CPUtime=21579.1 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 168488 0 0 0 2157705 201 0 0 25 0 8 0 625948585 949796864 159657 33554432000 4194304 4964704 140733645624448 18446744073709551615 4321097 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 231884 159657 466 189 0 226233 0
[pid=29136/tid=29138] ppid=29134 vsize=927536 CPUtime=2696.14 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 29597 0 0 0 269583 31 0 0 25 0 8 0 625948597 949796864 159657 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=927536 CPUtime=2700.35 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 40070 0 0 0 270011 24 0 0 25 0 8 0 625948597 949796864 159657 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=927536 CPUtime=2699.79 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 12248 0 0 0 269958 21 0 0 25 0 8 0 625948597 949796864 159657 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=927536 CPUtime=2690.1 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 17834 0 0 0 268992 18 0 0 25 0 8 0 625948597 949796864 159657 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=927536 CPUtime=2700.33 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 17339 0 0 0 270018 15 0 0 25 0 8 0 625948597 949796864 159657 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=927536 CPUtime=2700.31 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 12810 0 0 0 270008 23 0 0 25 0 8 0 625948597 949796864 159657 33554432000 4194304 4964704 140733645624448 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=927536 CPUtime=2692.11 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 24533 0 0 0 269167 44 0 0 25 0 8 0 625948597 949796864 159657 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21579.1
Current children cumulated vsize (KiB) 927536

[startup+2702.3 s]
/proc/loadavg: 8.06 8.03 7.84 9/268 29228
/proc/meminfo: memFree=25720800/32950928 swapFree=65762296/67111528
[pid=29136] ppid=29134 vsize=927536 CPUtime=21591.9 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 168490 0 0 0 2158985 201 0 0 25 0 8 0 625948585 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 231884 159659 466 189 0 226233 0
[pid=29136/tid=29138] ppid=29134 vsize=927536 CPUtime=2697.74 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 29597 0 0 0 269743 31 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=927536 CPUtime=2701.95 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 40070 0 0 0 270171 24 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320897 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=927536 CPUtime=2701.39 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 12249 0 0 0 270118 21 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=927536 CPUtime=2691.7 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 17834 0 0 0 269152 18 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=927536 CPUtime=2701.93 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 17339 0 0 0 270178 15 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=927536 CPUtime=2701.92 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 12810 0 0 0 270169 23 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=927536 CPUtime=2693.71 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 24534 0 0 0 269327 44 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21591.9
Current children cumulated vsize (KiB) 927536

[startup+2703.1 s]
/proc/loadavg: 8.06 8.03 7.84 9/268 29228
/proc/meminfo: memFree=25720800/32950928 swapFree=65762296/67111528
[pid=29136] ppid=29134 vsize=927536 CPUtime=21598.2 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 168490 0 0 0 2159624 201 0 0 25 0 8 0 625948585 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4653319 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/29136/statm: 231884 159659 466 189 0 226233 0
[pid=29136/tid=29138] ppid=29134 vsize=927536 CPUtime=2698.54 cores=0-7
/proc/29136/task/29138/stat : 29138 (claspmt) R 29134 29136 28615 0 -1 4202560 29597 0 0 0 269823 31 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=29136/tid=29139] ppid=29134 vsize=927536 CPUtime=2702.75 cores=0-7
/proc/29136/task/29139/stat : 29139 (claspmt) R 29134 29136 28615 0 -1 4202560 40070 0 0 0 270251 24 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=29136/tid=29140] ppid=29134 vsize=927536 CPUtime=2702.19 cores=0-7
/proc/29136/task/29140/stat : 29140 (claspmt) R 29134 29136 28615 0 -1 4202560 12249 0 0 0 270198 21 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=29136/tid=29141] ppid=29134 vsize=927536 CPUtime=2692.49 cores=0-7
/proc/29136/task/29141/stat : 29141 (claspmt) R 29134 29136 28615 0 -1 4202560 17834 0 0 0 269231 18 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=29136/tid=29142] ppid=29134 vsize=927536 CPUtime=2702.73 cores=0-7
/proc/29136/task/29142/stat : 29142 (claspmt) R 29134 29136 28615 0 -1 4202560 17339 0 0 0 270258 15 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=29136/tid=29143] ppid=29134 vsize=927536 CPUtime=2702.71 cores=0-7
/proc/29136/task/29143/stat : 29143 (claspmt) R 29134 29136 28615 0 -1 4202560 12810 0 0 0 270248 23 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4653104 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=29136/tid=29144] ppid=29134 vsize=927536 CPUtime=2694.51 cores=0-7
/proc/29136/task/29144/stat : 29144 (claspmt) R 29134 29136 28615 0 -1 4202560 24534 0 0 0 269407 44 0 0 25 0 8 0 625948597 949796864 159659 33554432000 4194304 4964704 140733645624448 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 21598.2
Current children cumulated vsize (KiB) 927536

[startup+2703.3 s]
/proc/loadavg: 8.06 8.03 7.84 9/268 29228
/proc/meminfo: memFree=25720800/32950928 swapFree=65762296/67111528
[pid=29136] ppid=29134 vsize=922664 CPUtime=21598.9 cores=0-7
/proc/29136/stat : 29136 (claspmt) R 29134 29136 28615 0 -1 4202496 168500 0 0 0 2159690 201 0 0 25 0 1 0 625948585 944807936 157982 33554432000 4194304 4964704 140733645624448 18446744073709551615 4313448 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/29136/statm: 230666 157982 476 189 0 225015 0
Current children cumulated CPU time (s) 21598.9
Current children cumulated vsize (KiB) 922664

Child status: 10
Real time (s): 2703.35
CPU time (s): 21599
CPU user time (s): 21596.9
CPU system time (s): 2.05269
CPU usage (%): 798.97
Max. virtual memory (cumulated for all children) (KiB): 927536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21596.9
system time used= 2.05269
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168501
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= 99827
involuntary context switches= 101010

runsolver used 6.22805 second user time and 15.8956 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-02 19:26:19
IDJOB=3321508
IDBENCH=71526
IDSOLVER=1711
FILE ID=node116/3321508-1304357179
RUNJOBID= node116-1304349884-28629
PBS_JOBID= 13178675
Free space on /tmp= 73752 MiB

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

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

MD5SUM BENCH= e7d4dc25f0d8e558fb091b1e566deab7
RANDOM SEED=1369797764

node116.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.826
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.65
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.826
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	: 5226.15
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.826
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.75
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.826
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.826
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.77
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.826
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.826
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.75
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.826
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26356744 kB
Buffers:         56028 kB
Cached:         809460 kB
SwapCached:      25644 kB
Active:        5738796 kB
Inactive:       675860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26356744 kB
SwapTotal:    67111528 kB
SwapFree:     65762292 kB
Dirty:            1316 kB
Writeback:           0 kB
AnonPages:     5533352 kB
Mapped:          10648 kB
Slab:            87388 kB
PageTables:      26048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 40825040 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= 73748 MiB
End job on node116 at 2011-05-02 20:11:23