Trace number 3321502

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 3257.82 407.997

General information on the benchmark

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

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-3321502-1304356342/watcher-3321502-1304356342 -o /tmp/evaluation-result-3321502-1304356342/solver-3321502-1304356342 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3321502-1304356342.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: 1.81 4.46 5.71 2/277 12366
/proc/meminfo: memFree=10407080/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=22352 CPUtime=0 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 946 0 0 0 0 0 0 0 23 0 1 0 547236833 22888448 780 33554432000 4194304 4964704 140734295398480 18446744073709551615 216634176197 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12366/statm: 5588 782 386 189 0 462 0

[startup+0.093751 s]
/proc/loadavg: 1.81 4.46 5.71 2/277 12366
/proc/meminfo: memFree=10407080/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=24332 CPUtime=0.09 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 1525 0 0 0 9 0 0 0 23 0 1 0 547236833 24915968 1271 33554432000 4194304 4964704 140734295398480 18446744073709551615 4600392 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12366/statm: 6083 1271 400 189 0 957 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24332

[startup+0.100752 s]
/proc/loadavg: 1.81 4.46 5.71 2/277 12366
/proc/meminfo: memFree=10407080/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=24464 CPUtime=0.09 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 1544 0 0 0 9 0 0 0 23 0 1 0 547236833 25051136 1290 33554432000 4194304 4964704 140734295398480 18446744073709551615 216634176197 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/12366/statm: 6116 1290 400 189 0 990 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24464

[startup+0.477935 s]
/proc/loadavg: 1.81 4.46 5.71 2/277 12366
/proc/meminfo: memFree=10407080/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=386884 CPUtime=3.59 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 7475 0 0 0 356 3 0 0 18 0 8 0 547236833 396169216 7117 33554432000 4194304 4964704 140734295398480 18446744073709551615 216634620447 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 96721 7118 464 189 0 91070 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 386884

[startup+0.769969 s]
/proc/loadavg: 1.81 4.46 5.71 2/277 12366
/proc/meminfo: memFree=10407080/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=388204 CPUtime=7.24 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 9991 0 0 0 719 5 0 0 19 0 8 0 547236833 397520896 9633 33554432000 4194304 4964704 140734295398480 18446744073709551615 4658308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 97084 9633 464 189 0 91433 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 388204

[startup+1.50047 s]
/proc/loadavg: 2.31 4.52 5.72 9/285 12374
/proc/meminfo: memFree=10368720/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=388608 CPUtime=10.99 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 10794 0 0 0 1093 6 0 0 20 0 8 0 547236833 397934592 10436 33554432000 4194304 4964704 140734295398480 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 97152 10436 464 189 0 91501 0
[pid=12366/tid=12368] ppid=12364 vsize=388608 CPUtime=1.34 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 1126 0 0 0 134 0 0 0 19 0 8 0 547236845 397934592 10438 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=388608 CPUtime=1.35 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 1227 0 0 0 135 0 0 0 18 0 8 0 547236845 397934592 10438 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=388608 CPUtime=1.34 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 1064 0 0 0 134 0 0 0 19 0 8 0 547236845 397934592 10439 33554432000 4194304 4964704 140734295398480 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=388608 CPUtime=1.32 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 1213 0 0 0 132 0 0 0 25 0 8 0 547236845 397934592 10439 33554432000 4194304 4964704 140734295398480 18446744073709551615 4668484 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=388608 CPUtime=1.38 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 393 0 0 0 138 0 0 0 20 0 8 0 547236845 397934592 10440 33554432000 4194304 4964704 140734295398480 18446744073709551615 4334301 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=388608 CPUtime=1.35 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 1274 0 0 0 135 0 0 0 19 0 8 0 547236845 397934592 10440 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=388608 CPUtime=1.36 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 1844 0 0 0 135 1 0 0 19 0 8 0 547236845 397934592 10440 33554432000 4194304 4964704 140734295398480 18446744073709551615 4365931 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.99
Current children cumulated vsize (KiB) 388608

[startup+3.10119 s]
/proc/loadavg: 2.31 4.52 5.72 9/285 12374
/proc/meminfo: memFree=10364256/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=389940 CPUtime=23.71 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 12993 0 0 0 2364 7 0 0 24 0 8 0 547236833 399298560 12635 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 97485 12635 466 189 0 91834 0
[pid=12366/tid=12368] ppid=12364 vsize=389940 CPUtime=2.92 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 1436 0 0 0 292 0 0 0 23 0 8 0 547236845 399298560 12635 33554432000 4194304 4964704 140734295398480 18446744073709551615 4660077 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=389940 CPUtime=2.95 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 1428 0 0 0 295 0 0 0 20 0 8 0 547236845 399298560 12635 33554432000 4194304 4964704 140734295398480 18446744073709551615 4627197 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=389940 CPUtime=2.93 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 1306 0 0 0 293 0 0 0 24 0 8 0 547236845 399298560 12635 33554432000 4194304 4964704 140734295398480 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=389940 CPUtime=2.92 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 1493 0 0 0 292 0 0 0 25 0 8 0 547236845 399298560 12635 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=389940 CPUtime=2.97 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 589 0 0 0 297 0 0 0 24 0 8 0 547236845 399298560 12635 33554432000 4194304 4964704 140734295398480 18446744073709551615 4627272 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=389940 CPUtime=2.94 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 1521 0 0 0 294 0 0 0 23 0 8 0 547236845 399298560 12635 33554432000 4194304 4964704 140734295398480 18446744073709551615 4653526 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=389940 CPUtime=2.95 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 2383 0 0 0 294 1 0 0 23 0 8 0 547236845 399298560 12635 33554432000 4194304 4964704 140734295398480 18446744073709551615 4321025 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.71
Current children cumulated vsize (KiB) 389940

[startup+6.30062 s]
/proc/loadavg: 2.76 4.58 5.74 9/285 12374
/proc/meminfo: memFree=10347144/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=393540 CPUtime=49.27 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 16619 0 0 0 4918 9 0 0 25 0 8 0 547236833 402984960 16261 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 98385 16261 466 189 0 92734 0
[pid=12366/tid=12368] ppid=12364 vsize=393540 CPUtime=6.09 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 1944 0 0 0 608 1 0 0 22 0 8 0 547236845 402984960 16261 33554432000 4194304 4964704 140734295398480 18446744073709551615 4333247 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=393540 CPUtime=6.15 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 1928 0 0 0 614 1 0 0 22 0 8 0 547236845 402984960 16261 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=393540 CPUtime=6.12 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 1698 0 0 0 612 0 0 0 25 0 8 0 547236845 402984960 16261 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=393540 CPUtime=6.11 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 1889 0 0 0 611 0 0 0 25 0 8 0 547236845 402984960 16261 33554432000 4194304 4964704 140734295398480 18446744073709551615 4627401 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=393540 CPUtime=6.17 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 1007 0 0 0 616 1 0 0 25 0 8 0 547236845 402984960 16261 33554432000 4194304 4964704 140734295398480 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=393540 CPUtime=6.14 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 1844 0 0 0 614 0 0 0 25 0 8 0 547236845 402984960 16261 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=393540 CPUtime=6.14 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 3200 0 0 0 613 1 0 0 25 0 8 0 547236845 402984960 16261 33554432000 4194304 4964704 140734295398480 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.27
Current children cumulated vsize (KiB) 393540

[startup+12.7005 s]
/proc/loadavg: 3.18 4.63 5.75 9/285 12375
/proc/meminfo: memFree=10317008/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=399172 CPUtime=100.39 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 23857 0 0 0 10026 13 0 0 25 0 8 0 547236833 408752128 23499 33554432000 4194304 4964704 140734295398480 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 99793 23499 466 189 0 94142 0
[pid=12366/tid=12368] ppid=12364 vsize=399172 CPUtime=12.42 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 2921 0 0 0 1241 1 0 0 25 0 8 0 547236845 408752128 23499 33554432000 4194304 4964704 140734295398480 18446744073709551615 4660364 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=399172 CPUtime=12.55 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 2909 0 0 0 1254 1 0 0 25 0 8 0 547236845 408752128 23499 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=399172 CPUtime=12.53 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 2266 0 0 0 1252 1 0 0 25 0 8 0 547236845 408752128 23499 33554432000 4194304 4964704 140734295398480 18446744073709551615 4653541 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=399172 CPUtime=12.52 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 2777 0 0 0 1251 1 0 0 25 0 8 0 547236845 408752128 23499 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=399172 CPUtime=12.57 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 1673 0 0 0 1256 1 0 0 25 0 8 0 547236845 408752128 23499 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=399172 CPUtime=12.54 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 2651 0 0 0 1253 1 0 0 25 0 8 0 547236845 408752128 23499 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=399172 CPUtime=12.54 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 4862 0 0 0 1252 2 0 0 19 0 8 0 547236845 408752128 23499 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670466 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.39
Current children cumulated vsize (KiB) 399172

[startup+25.5012 s]
/proc/loadavg: 4.00 4.76 5.78 9/285 12375
/proc/meminfo: memFree=10289484/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=405652 CPUtime=202.67 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 31471 0 0 0 20250 17 0 0 25 0 8 0 547236833 415387648 30927 33554432000 4194304 4964704 140734295398480 18446744073709551615 4362576 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 101413 30927 466 189 0 95762 0
[pid=12366/tid=12368] ppid=12364 vsize=405652 CPUtime=25.11 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 4021 0 0 0 2509 2 0 0 25 0 8 0 547236845 415387648 30927 33554432000 4194304 4964704 140734295398480 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=405652 CPUtime=25.35 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 4477 0 0 0 2533 2 0 0 25 0 8 0 547236845 415387648 30927 33554432000 4194304 4964704 140734295398480 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=405652 CPUtime=25.33 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 3023 0 0 0 2532 1 0 0 25 0 8 0 547236845 415387648 30927 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=405652 CPUtime=25.31 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 3429 0 0 0 2530 1 0 0 25 0 8 0 547236845 415387648 30927 33554432000 4194304 4964704 140734295398480 18446744073709551615 216634620447 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=405652 CPUtime=25.37 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 2327 0 0 0 2535 2 0 0 25 0 8 0 547236845 415387648 30927 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=405652 CPUtime=25.33 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 3332 0 0 0 2532 1 0 0 25 0 8 0 547236845 415387648 30927 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=405652 CPUtime=25.34 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 6375 0 0 0 2531 3 0 0 25 0 8 0 547236845 415387648 30927 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 202.67
Current children cumulated vsize (KiB) 405652

[startup+51.1107 s]
/proc/loadavg: 5.57 5.07 5.85 9/285 12376
/proc/meminfo: memFree=10251668/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=411296 CPUtime=407.29 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 41112 0 0 0 40704 25 0 0 25 0 8 0 547236833 421167104 40252 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670260 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 102824 40252 466 189 0 97173 0
[pid=12366/tid=12368] ppid=12364 vsize=411296 CPUtime=50.48 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 5330 0 0 0 5044 4 0 0 25 0 8 0 547236845 421167104 40252 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=411296 CPUtime=50.95 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 5820 0 0 0 5093 2 0 0 25 0 8 0 547236845 421167104 40252 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=411296 CPUtime=50.93 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 3988 0 0 0 5091 2 0 0 25 0 8 0 547236845 421167104 40252 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=411296 CPUtime=50.92 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 4376 0 0 0 5090 2 0 0 25 0 8 0 547236845 421167104 40252 33554432000 4194304 4964704 140734295398480 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=411296 CPUtime=50.98 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 3220 0 0 0 5095 3 0 0 25 0 8 0 547236845 421167104 40252 33554432000 4194304 4964704 140734295398480 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=411296 CPUtime=50.94 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 4249 0 0 0 5093 1 0 0 25 0 8 0 547236845 421167104 40252 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=411296 CPUtime=50.95 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 8370 0 0 0 5090 5 0 0 25 0 8 0 547236845 421167104 40252 33554432000 4194304 4964704 140734295398480 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.29

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

/proc/loadavg: 8.10 6.95 6.44 9/285 12383
/proc/meminfo: memFree=10083024/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=443276 CPUtime=2733.96 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 84096 0 0 0 273325 71 0 0 25 0 8 0 547236833 453914624 82341 33554432000 4194304 4964704 140734295398480 18446744073709551615 4627248 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 110819 82341 466 189 0 105168 0
[pid=12366/tid=12368] ppid=12364 vsize=443276 CPUtime=340.9 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 11082 0 0 0 34082 8 0 0 25 0 8 0 547236845 453914624 82341 33554432000 4194304 4964704 140734295398480 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=443276 CPUtime=342.13 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 11350 0 0 0 34208 5 0 0 25 0 8 0 547236845 453914624 82341 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=443276 CPUtime=342.11 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 8390 0 0 0 34202 9 0 0 25 0 8 0 547236845 453914624 82341 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=443276 CPUtime=342.09 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 8887 0 0 0 34203 6 0 0 25 0 8 0 547236845 453914624 82341 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=443276 CPUtime=342.15 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 7396 0 0 0 34208 7 0 0 25 0 8 0 547236845 453914624 82341 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=443276 CPUtime=342.06 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 9130 0 0 0 34200 6 0 0 25 0 8 0 547236845 453914624 82341 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=443276 CPUtime=340.19 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 17494 0 0 0 34003 16 0 0 25 0 8 0 547236845 453914624 82341 33554432000 4194304 4964704 140734295398480 18446744073709551615 4660064 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2733.96
Current children cumulated vsize (KiB) 443276

[startup+402.301 s]
/proc/loadavg: 8.04 7.14 6.54 9/285 12385
/proc/meminfo: memFree=10068824/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=445372 CPUtime=3213.37 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 87758 0 0 0 321261 76 0 0 25 0 8 0 547236833 456060928 85738 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670255 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 111343 85738 466 189 0 105692 0
[pid=12366/tid=12368] ppid=12364 vsize=445372 CPUtime=400.88 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 11744 0 0 0 40079 9 0 0 25 0 8 0 547236845 456060928 85738 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670416 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=445372 CPUtime=402.13 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 11564 0 0 0 40207 6 0 0 25 0 8 0 547236845 456060928 85738 33554432000 4194304 4964704 140734295398480 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=445372 CPUtime=402.1 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 8658 0 0 0 40201 9 0 0 25 0 8 0 547236845 456060928 85738 33554432000 4194304 4964704 140734295398480 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=445372 CPUtime=402.09 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 9183 0 0 0 40202 7 0 0 25 0 8 0 547236845 456060928 85738 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=445372 CPUtime=402.14 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 7875 0 0 0 40207 7 0 0 25 0 8 0 547236845 456060928 85738 33554432000 4194304 4964704 140734295398480 18446744073709551615 4320963 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=445372 CPUtime=402.06 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 9665 0 0 0 40199 7 0 0 25 0 8 0 547236845 456060928 85738 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=445372 CPUtime=399.65 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 18300 0 0 0 39947 18 0 0 25 0 8 0 547236845 456060928 85738 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3213.37
Current children cumulated vsize (KiB) 445372

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

[startup+403.601 s]
/proc/loadavg: 8.04 7.14 6.54 9/285 12385
/proc/meminfo: memFree=10068824/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=445536 CPUtime=3223.75 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 87766 0 0 0 322299 76 0 0 25 0 8 0 547236833 456228864 85746 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 111384 85746 466 189 0 105733 0
[pid=12366/tid=12368] ppid=12364 vsize=445536 CPUtime=402.18 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 11744 0 0 0 40209 9 0 0 25 0 8 0 547236845 456228864 85746 33554432000 4194304 4964704 140734295398480 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=445536 CPUtime=403.43 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 11564 0 0 0 40337 6 0 0 25 0 8 0 547236845 456228864 85746 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=445536 CPUtime=403.4 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 8658 0 0 0 40331 9 0 0 25 0 8 0 547236845 456228864 85746 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=445536 CPUtime=403.39 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 9190 0 0 0 40332 7 0 0 25 0 8 0 547236845 456228864 85746 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=445536 CPUtime=403.44 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 7876 0 0 0 40337 7 0 0 25 0 8 0 547236845 456228864 85746 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=445536 CPUtime=403.36 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 9665 0 0 0 40329 7 0 0 25 0 8 0 547236845 456228864 85746 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=445536 CPUtime=400.94 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 18300 0 0 0 40076 18 0 0 25 0 8 0 547236845 456228864 85746 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3223.75
Current children cumulated vsize (KiB) 445536

[startup+405.2 s]
/proc/loadavg: 8.04 7.14 6.54 9/285 12385
/proc/meminfo: memFree=10068700/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=445536 CPUtime=3236.6 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 87786 0 0 0 323584 76 0 0 25 0 8 0 547236833 456228864 85766 33554432000 4194304 4964704 140734295398480 18446744073709551615 4684004 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 111384 85766 466 189 0 105733 0
[pid=12366/tid=12368] ppid=12364 vsize=445536 CPUtime=403.79 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 11744 0 0 0 40370 9 0 0 25 0 8 0 547236845 456228864 85766 33554432000 4194304 4964704 140734295398480 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=445536 CPUtime=405.04 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 11570 0 0 0 40498 6 0 0 25 0 8 0 547236845 456228864 85766 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=445536 CPUtime=405.01 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 8658 0 0 0 40492 9 0 0 25 0 8 0 547236845 456228864 85766 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=445536 CPUtime=405 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 9190 0 0 0 40493 7 0 0 25 0 8 0 547236845 456228864 85766 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=445536 CPUtime=405.05 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 7876 0 0 0 40498 7 0 0 25 0 8 0 547236845 456228864 85766 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=445536 CPUtime=404.97 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 9679 0 0 0 40490 7 0 0 25 0 8 0 547236845 456228864 85766 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=445536 CPUtime=402.52 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 18300 0 0 0 40234 18 0 0 25 0 8 0 547236845 456228864 85766 33554432000 4194304 4964704 140734295398480 18446744073709551615 4342167 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3236.6
Current children cumulated vsize (KiB) 445536

[startup+406.801 s]
/proc/loadavg: 8.03 7.15 6.55 9/285 12385
/proc/meminfo: memFree=10068576/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=445536 CPUtime=3249.32 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 87825 0 0 0 324856 76 0 0 25 0 8 0 547236833 456228864 85805 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 111384 85805 466 189 0 105733 0
[pid=12366/tid=12368] ppid=12364 vsize=445536 CPUtime=405.38 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 11744 0 0 0 40529 9 0 0 25 0 8 0 547236845 456228864 85805 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=445536 CPUtime=406.63 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 11589 0 0 0 40657 6 0 0 25 0 8 0 547236845 456228864 85805 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=445536 CPUtime=406.6 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 8658 0 0 0 40651 9 0 0 25 0 8 0 547236845 456228864 85805 33554432000 4194304 4964704 140734295398480 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=445536 CPUtime=406.59 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 9210 0 0 0 40652 7 0 0 25 0 8 0 547236845 456228864 85805 33554432000 4194304 4964704 140734295398480 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=445536 CPUtime=406.64 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 7876 0 0 0 40657 7 0 0 25 0 8 0 547236845 456228864 85805 33554432000 4194304 4964704 140734295398480 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=445536 CPUtime=406.56 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 9679 0 0 0 40649 7 0 0 25 0 8 0 547236845 456228864 85805 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=445536 CPUtime=404.1 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 18300 0 0 0 40392 18 0 0 25 0 8 0 547236845 456228864 85805 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3249.32
Current children cumulated vsize (KiB) 445536

[startup+407.601 s]
/proc/loadavg: 8.03 7.15 6.55 9/285 12385
/proc/meminfo: memFree=10068452/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=445536 CPUtime=3255.71 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 87826 0 0 0 325495 76 0 0 25 0 8 0 547236833 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4320942 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 111384 85806 466 189 0 105733 0
[pid=12366/tid=12368] ppid=12364 vsize=445536 CPUtime=406.18 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 11744 0 0 0 40609 9 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=445536 CPUtime=407.43 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 11589 0 0 0 40737 6 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=445536 CPUtime=407.4 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 8658 0 0 0 40731 9 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=445536 CPUtime=407.39 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 9211 0 0 0 40732 7 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=445536 CPUtime=407.44 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 7876 0 0 0 40737 7 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=445536 CPUtime=407.36 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 9679 0 0 0 40729 7 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=445536 CPUtime=404.89 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 18300 0 0 0 40471 18 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670450 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3255.71
Current children cumulated vsize (KiB) 445536

[startup+407.801 s]
/proc/loadavg: 8.03 7.15 6.55 9/285 12385
/proc/meminfo: memFree=10068452/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=445536 CPUtime=3257.31 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 87826 0 0 0 325655 76 0 0 25 0 8 0 547236833 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4628042 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12366/statm: 111384 85806 466 189 0 105733 0
[pid=12366/tid=12368] ppid=12364 vsize=445536 CPUtime=406.38 cores=0-7
/proc/12366/task/12368/stat : 12368 (claspmt) R 12364 12366 11828 0 -1 4202560 11744 0 0 0 40629 9 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12366/tid=12369] ppid=12364 vsize=445536 CPUtime=407.63 cores=0-7
/proc/12366/task/12369/stat : 12369 (claspmt) R 12364 12366 11828 0 -1 4202560 11589 0 0 0 40757 6 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12366/tid=12370] ppid=12364 vsize=445536 CPUtime=407.6 cores=0-7
/proc/12366/task/12370/stat : 12370 (claspmt) R 12364 12366 11828 0 -1 4202560 8658 0 0 0 40751 9 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12366/tid=12371] ppid=12364 vsize=445536 CPUtime=407.59 cores=0-7
/proc/12366/task/12371/stat : 12371 (claspmt) R 12364 12366 11828 0 -1 4202560 9211 0 0 0 40752 7 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4321023 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12366/tid=12372] ppid=12364 vsize=445536 CPUtime=407.64 cores=0-7
/proc/12366/task/12372/stat : 12372 (claspmt) R 12364 12366 11828 0 -1 4202560 7876 0 0 0 40757 7 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12366/tid=12373] ppid=12364 vsize=445536 CPUtime=407.56 cores=0-7
/proc/12366/task/12373/stat : 12373 (claspmt) R 12364 12366 11828 0 -1 4202560 9679 0 0 0 40749 7 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12366/tid=12374] ppid=12364 vsize=445536 CPUtime=405.09 cores=0-7
/proc/12366/task/12374/stat : 12374 (claspmt) R 12364 12366 11828 0 -1 4202560 18300 0 0 0 40491 18 0 0 25 0 8 0 547236845 456228864 85806 33554432000 4194304 4964704 140734295398480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3257.31
Current children cumulated vsize (KiB) 445536

[startup+407.901 s]
/proc/loadavg: 8.03 7.15 6.55 9/285 12385
/proc/meminfo: memFree=10068452/32951124 swapFree=67111524/67111528
[pid=12366] ppid=12364 vsize=443912 CPUtime=3257.71 cores=0-7
/proc/12366/stat : 12366 (claspmt) R 12364 12366 11828 0 -1 4202496 87839 0 0 0 325695 76 0 0 25 0 1 0 547236833 454565888 85537 33554432000 4194304 4964704 140734295398480 18446744073709551615 216634172398 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/12366/statm: 110978 85537 476 189 0 105327 0
Current children cumulated CPU time (s) 3257.71
Current children cumulated vsize (KiB) 443912

Child status: 10
Real time (s): 407.997
CPU time (s): 3257.82
CPU user time (s): 3257.03
CPU system time (s): 0.790879
CPU usage (%): 798.491
Max. virtual memory (cumulated for all children) (KiB): 445536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3257.03
system time used= 0.790879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87840
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= 19141
involuntary context switches= 14899

runsolver used 1.08883 second user time and 2.5986 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-02 19:12:22
IDJOB=3321502
IDBENCH=71444
IDSOLVER=1711
FILE ID=node103/3321502-1304356342
RUNJOBID= node103-1304349970-11842
PBS_JOBID= 13178676
Free space on /tmp= 73464 MiB

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

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

MD5SUM BENCH= aa71b1c0a084106bad56c0f4d6c26bee
RANDOM SEED=2141832489

node103.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.858
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.71
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.858
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.858
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.858
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.77
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.858
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.75
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.858
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.858
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.83
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.858
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:     32951124 kB
MemFree:      10407360 kB
Buffers:       2135952 kB
Cached:        8268412 kB
SwapCached:          4 kB
Active:       13263100 kB
Inactive:      8655436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10407360 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            1632 kB
Writeback:           0 kB
AnonPages:    11514192 kB
Mapped:          25784 kB
Slab:           519952 kB
PageTables:      38552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 50012232 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= 73464 MiB
End job on node103 at 2011-05-02 19:19:10