Trace number 3380707

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)SAT 6239.37 781.763

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.03 8.04 8.00 2/414 10489
/proc/meminfo: memFree=19292240/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=22908 CPUtime=0.01 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 1182 0 0 0 1 0 0 0 23 0 1 0 660369026 23457792 929 33554432000 4194304 4964800 140734035180896 18446744073709551615 4615855 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/10489/statm: 5727 930 397 189 0 601 0

[startup+0.0220751 s]
/proc/loadavg: 8.03 8.04 8.00 2/414 10489
/proc/meminfo: memFree=19292240/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=24068 CPUtime=0.02 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 1442 0 0 0 2 0 0 0 23 0 1 0 660369026 24645632 1189 33554432000 4194304 4964800 140734035180896 18446744073709551615 4607198 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/10489/statm: 6017 1189 399 189 0 891 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24068

[startup+0.101052 s]
/proc/loadavg: 8.03 8.04 8.00 2/414 10489
/proc/meminfo: memFree=19292240/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=24464 CPUtime=0.1 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 1543 0 0 0 10 0 0 0 23 0 1 0 660369026 25051136 1290 33554432000 4194304 4964800 140734035180896 18446744073709551615 4600360 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/10489/statm: 6116 1291 400 189 0 990 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 24464

[startup+0.300979 s]
/proc/loadavg: 8.03 8.04 8.00 2/414 10489
/proc/meminfo: memFree=19292240/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=319112 CPUtime=1.26 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 4302 0 0 0 123 3 0 0 18 0 8 0 660369026 326770688 3950 33554432000 4194304 4964800 140734035180896 18446744073709551615 4660209 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10489/statm: 79778 3953 464 189 0 74127 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 319112

[startup+0.700911 s]
/proc/loadavg: 8.03 8.04 8.00 2/414 10489
/proc/meminfo: memFree=19292240/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=321848 CPUtime=4.44 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 7461 0 0 0 440 4 0 0 18 0 8 0 660369026 329572352 7109 33554432000 4194304 4964800 140734035180896 18446744073709551615 4659328 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10489/statm: 80462 7109 464 189 0 74811 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 321848

[startup+1.50078 s]
/proc/loadavg: 8.03 8.04 8.00 9/422 10497
/proc/meminfo: memFree=19257152/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=324236 CPUtime=10.72 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 10398 0 0 0 1063 9 0 0 19 0 8 0 660369026 332017664 10046 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670357 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/10489/statm: 81059 10046 464 189 0 75408 0
[pid=10489/tid=10491] ppid=10487 vsize=324236 CPUtime=1.34 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 1047 0 0 0 134 0 0 0 19 0 8 0 660369038 332017664 10046 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=324236 CPUtime=1.33 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 1151 0 0 0 133 0 0 0 19 0 8 0 660369038 332017664 10046 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=324236 CPUtime=1.33 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 1020 0 0 0 132 1 0 0 19 0 8 0 660369038 332017664 10047 33554432000 4194304 4964800 140734035180896 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=324236 CPUtime=1.24 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 1153 0 0 0 123 1 0 0 19 0 8 0 660369038 332017664 10047 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=324236 CPUtime=1.35 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 342 0 0 0 135 0 0 0 18 0 8 0 660369038 332017664 10047 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=324236 CPUtime=1.32 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 1293 0 0 0 131 1 0 0 19 0 8 0 660369038 332017664 10047 33554432000 4194304 4964800 140734035180896 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=324236 CPUtime=1.3 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 1820 0 0 0 129 1 0 0 19 0 8 0 660369038 332017664 10047 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.72
Current children cumulated vsize (KiB) 324236

[startup+3.1005 s]
/proc/loadavg: 8.02 8.04 8.00 9/422 10497
/proc/meminfo: memFree=19249460/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=326032 CPUtime=23.21 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 12618 0 0 0 2308 13 0 0 24 0 8 0 660369026 333856768 12266 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/10489/statm: 81508 12266 466 189 0 75857 0
[pid=10489/tid=10491] ppid=10487 vsize=326032 CPUtime=2.93 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 1286 0 0 0 293 0 0 0 23 0 8 0 660369038 333856768 12266 33554432000 4194304 4964800 140734035180896 18446744073709551615 4379948 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=326032 CPUtime=2.93 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 1402 0 0 0 292 1 0 0 24 0 8 0 660369038 333856768 12266 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=326032 CPUtime=2.93 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 1231 0 0 0 292 1 0 0 24 0 8 0 660369038 333856768 12266 33554432000 4194304 4964800 140734035180896 18446744073709551615 4684145 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=326032 CPUtime=2.65 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 1462 0 0 0 264 1 0 0 22 0 8 0 660369038 333856768 12266 33554432000 4194304 4964800 140734035180896 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=326032 CPUtime=2.95 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 587 0 0 0 295 0 0 0 20 0 8 0 660369038 333856768 12266 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=326032 CPUtime=2.92 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 1538 0 0 0 290 2 0 0 23 0 8 0 660369038 333856768 12266 33554432000 4194304 4964800 140734035180896 18446744073709551615 4658520 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=326032 CPUtime=2.9 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 2354 0 0 0 289 1 0 0 23 0 8 0 660369038 333856768 12266 33554432000 4194304 4964800 140734035180896 18446744073709551615 4627540 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.21
Current children cumulated vsize (KiB) 326032

[startup+6.30095 s]
/proc/loadavg: 8.02 8.04 8.00 9/422 10497
/proc/meminfo: memFree=19235576/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=328688 CPUtime=48.68 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 15973 0 0 0 4853 15 0 0 25 0 8 0 660369026 336576512 15621 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/10489/statm: 82172 15621 466 189 0 76521 0
[pid=10489/tid=10491] ppid=10487 vsize=328688 CPUtime=6.14 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 1646 0 0 0 613 1 0 0 25 0 8 0 660369038 336576512 15621 33554432000 4194304 4964800 140734035180896 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=328688 CPUtime=6.13 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 1964 0 0 0 611 2 0 0 25 0 8 0 660369038 336576512 15621 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=328688 CPUtime=6.13 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 1528 0 0 0 612 1 0 0 25 0 8 0 660369038 336576512 15621 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=328688 CPUtime=5.77 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 1792 0 0 0 576 1 0 0 25 0 8 0 660369038 336576512 15621 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=328688 CPUtime=6.16 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 1033 0 0 0 615 1 0 0 25 0 8 0 660369038 336576512 15621 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=328688 CPUtime=6.12 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 1904 0 0 0 610 2 0 0 25 0 8 0 660369038 336576512 15621 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=328688 CPUtime=6.1 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 3032 0 0 0 608 2 0 0 25 0 8 0 660369038 336576512 15621 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.68
Current children cumulated vsize (KiB) 328688

[startup+12.7008 s]
/proc/loadavg: 8.02 8.04 8.00 9/422 10497
/proc/meminfo: memFree=19202476/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=335176 CPUtime=99.74 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 23384 0 0 0 9954 20 0 0 25 0 8 0 660369026 343220224 23032 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/10489/statm: 83794 23032 466 189 0 78143 0
[pid=10489/tid=10491] ppid=10487 vsize=335176 CPUtime=12.53 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 2534 0 0 0 1251 2 0 0 21 0 8 0 660369038 343220224 23032 33554432000 4194304 4964800 140734035180896 18446744073709551615 4660177 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=335176 CPUtime=12.52 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 2918 0 0 0 1250 2 0 0 25 0 8 0 660369038 343220224 23032 33554432000 4194304 4964800 140734035180896 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=335176 CPUtime=12.53 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 2103 0 0 0 1251 2 0 0 25 0 8 0 660369038 343220224 23032 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=335176 CPUtime=12.17 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 2780 0 0 0 1215 2 0 0 21 0 8 0 660369038 343220224 23032 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=335176 CPUtime=12.55 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 1707 0 0 0 1254 1 0 0 25 0 8 0 660369038 343220224 23032 33554432000 4194304 4964800 140734035180896 18446744073709551615 4628033 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=335176 CPUtime=12.52 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 2635 0 0 0 1249 3 0 0 25 0 8 0 660369038 343220224 23032 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670378 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=335176 CPUtime=12.5 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 4873 0 0 0 1247 3 0 0 25 0 8 0 660369038 343220224 23032 33554432000 4194304 4964800 140734035180896 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 99.74
Current children cumulated vsize (KiB) 335176

[startup+25.5006 s]
/proc/loadavg: 8.02 8.04 8.00 9/422 10497
/proc/meminfo: memFree=19177324/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=340432 CPUtime=201.88 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 29914 0 0 0 20163 25 0 0 25 0 8 0 660369026 348602368 29562 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320864 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10489/statm: 85108 29562 466 189 0 79457 0
[pid=10489/tid=10491] ppid=10487 vsize=340432 CPUtime=25.31 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 3483 0 0 0 2529 2 0 0 25 0 8 0 660369038 348602368 29562 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=340432 CPUtime=25.16 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 3942 0 0 0 2514 2 0 0 25 0 8 0 660369038 348602368 29562 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=340432 CPUtime=25.32 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 2593 0 0 0 2530 2 0 0 25 0 8 0 660369038 348602368 29562 33554432000 4194304 4964800 140734035180896 18446744073709551615 4321047 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=340432 CPUtime=24.97 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 3314 0 0 0 2494 3 0 0 25 0 8 0 660369038 348602368 29562 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=340432 CPUtime=25.34 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 2548 0 0 0 2533 1 0 0 25 0 8 0 660369038 348602368 29562 33554432000 4194304 4964800 140734035180896 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=340432 CPUtime=25.31 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 3348 0 0 0 2527 4 0 0 25 0 8 0 660369038 348602368 29562 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=340432 CPUtime=25.29 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 6321 0 0 0 2525 4 0 0 20 0 8 0 660369038 348602368 29562 33554432000 4194304 4964800 140734035180896 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 201.88
Current children cumulated vsize (KiB) 340432

[startup+51.1012 s]
/proc/loadavg: 8.13 8.06 8.01 9/422 10498
/proc/meminfo: memFree=19120924/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=478840 CPUtime=406.17 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 44827 0 0 0 40577 40 0 0 25 0 8 0 660369026 490332160 43996 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10489/statm: 119710 43996 466 189 0 114059 0
[pid=10489/tid=10491] ppid=10487 vsize=478840 CPUtime=50.91 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 4930 0 0 0 5087 4 0 0 25 0 8 0 660369038 490332160 43996 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=478840 CPUtime=50.61 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 5574 0 0 0 5058 3 0 0 25 0 8 0 660369038 490332160 43996 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=478840 CPUtime=50.9 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 4212 0 0 0 5087 3 0 0 25 0 8 0 660369038 490332160 43996 33554432000 4194304 4964800 140734035180896 18446744073709551615 4363296 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=478840 CPUtime=50.34 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 4596 0 0 0 5027 7 0 0 25 0 8 0 660369038 490332160 43996 33554432000 4194304 4964800 140734035180896 18446744073709551615 4653680 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=478840 CPUtime=50.88 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 4134 0 0 0 5085 3 0 0 25 0 8 0 660369038 490332160 43996 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=478840 CPUtime=50.9 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 5642 0 0 0 5084 6 0 0 25 0 8 0 660369038 490332160 43996 33554432000 4194304 4964800 140734035180896 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=478840 CPUtime=50.89 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 9520 0 0 0 5083 6 0 0 25 0 8 0 660369038 490332160 43996 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 406.17

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

/proc/loadavg: 8.02 8.05 8.00 9/422 10517
/proc/meminfo: memFree=18856356/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=583856 CPUtime=6085.2 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 112579 0 0 0 608393 127 0 0 25 0 8 0 660369026 597868544 109530 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10489/statm: 145964 109530 466 189 0 140313 0
[pid=10489/tid=10491] ppid=10487 vsize=583856 CPUtime=754.66 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 13054 0 0 0 75454 12 0 0 25 0 8 0 660369038 597868544 109530 33554432000 4194304 4964800 140734035180896 18446744073709551615 4321065 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=583856 CPUtime=760.91 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 16034 0 0 0 76081 10 0 0 25 0 8 0 660369038 597868544 109530 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=583856 CPUtime=762.08 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 10454 0 0 0 76193 15 0 0 25 0 8 0 660369038 597868544 109530 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=583856 CPUtime=759.98 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 10553 0 0 0 75985 13 0 0 25 0 8 0 660369038 597868544 109530 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=583856 CPUtime=761.64 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 11871 0 0 0 76144 20 0 0 25 0 8 0 660369038 597868544 109530 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=583856 CPUtime=762.09 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 11127 0 0 0 76196 13 0 0 25 0 8 0 660369038 597868544 109530 33554432000 4194304 4964800 140734035180896 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=583856 CPUtime=762.07 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 27006 0 0 0 76184 23 0 0 25 0 8 0 660369038 597868544 109530 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6085.2
Current children cumulated vsize (KiB) 583856

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

[startup+767.901 s]
/proc/loadavg: 8.02 8.05 8.00 9/422 10517
/proc/meminfo: memFree=18851768/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=649860 CPUtime=6129.8 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 113743 0 0 0 612850 130 0 0 25 0 8 0 660369026 665456640 110694 33554432000 4194304 4964800 140734035180896 18446744073709551615 4628024 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10489/statm: 162465 110694 466 189 0 156814 0
[pid=10489/tid=10491] ppid=10487 vsize=649860 CPUtime=760.24 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 13527 0 0 0 76011 13 0 0 25 0 8 0 660369038 665456640 110694 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=649860 CPUtime=766.41 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 16091 0 0 0 76631 10 0 0 25 0 8 0 660369038 665456640 110694 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320996 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=649860 CPUtime=767.66 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 10496 0 0 0 76751 15 0 0 25 0 8 0 660369038 665456640 110694 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=649860 CPUtime=765.57 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 10555 0 0 0 76544 13 0 0 25 0 8 0 660369038 665456640 110694 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=649860 CPUtime=767.21 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 11871 0 0 0 76701 20 0 0 25 0 8 0 660369038 665456640 110694 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=649860 CPUtime=767.68 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 11302 0 0 0 76754 14 0 0 25 0 8 0 660369038 665456640 110694 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=649860 CPUtime=767.65 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 27407 0 0 0 76742 23 0 0 25 0 8 0 660369038 665456640 110694 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6129.8
Current children cumulated vsize (KiB) 649860

[startup+774.301 s]
/proc/loadavg: 8.02 8.05 8.00 9/422 10517
/proc/meminfo: memFree=18850776/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=715396 CPUtime=6181 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 114003 0 0 0 617970 130 0 0 25 0 8 0 660369026 732565504 110954 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10489/statm: 178849 110954 466 189 0 173198 0
[pid=10489/tid=10491] ppid=10487 vsize=715396 CPUtime=766.66 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 13527 0 0 0 76653 13 0 0 25 0 8 0 660369038 732565504 110954 33554432000 4194304 4964800 140734035180896 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=715396 CPUtime=772.74 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 16326 0 0 0 77264 10 0 0 25 0 8 0 660369038 732565504 110954 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=715396 CPUtime=774.08 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 10496 0 0 0 77393 15 0 0 25 0 8 0 660369038 732565504 110954 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=715396 CPUtime=771.98 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 10571 0 0 0 77185 13 0 0 25 0 8 0 660369038 732565504 110954 33554432000 4194304 4964800 140734035180896 18446744073709551615 4334283 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=715396 CPUtime=773.63 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 11871 0 0 0 77343 20 0 0 25 0 8 0 660369038 732565504 110954 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=715396 CPUtime=774.09 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 11311 0 0 0 77395 14 0 0 25 0 8 0 660369038 732565504 110954 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=715396 CPUtime=774.07 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 27407 0 0 0 77384 23 0 0 25 0 8 0 660369038 732565504 110954 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6181
Current children cumulated vsize (KiB) 715396

[startup+777.501 s]
/proc/loadavg: 8.02 8.05 8.00 9/422 10517
/proc/meminfo: memFree=18850404/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=715396 CPUtime=6206.48 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 114055 0 0 0 620518 130 0 0 25 0 8 0 660369026 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4627556 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10489/statm: 178849 111006 466 189 0 173198 0
[pid=10489/tid=10491] ppid=10487 vsize=715396 CPUtime=769.84 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 13527 0 0 0 76971 13 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=715396 CPUtime=775.9 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 16378 0 0 0 77580 10 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=715396 CPUtime=777.26 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 10496 0 0 0 77711 15 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=715396 CPUtime=775.17 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 10571 0 0 0 77504 13 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=715396 CPUtime=776.81 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 11871 0 0 0 77661 20 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=715396 CPUtime=777.28 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 11311 0 0 0 77714 14 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=715396 CPUtime=777.25 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 27407 0 0 0 77702 23 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6206.48
Current children cumulated vsize (KiB) 715396

[startup+779.101 s]
/proc/loadavg: 8.02 8.05 8.00 9/422 10517
/proc/meminfo: memFree=18850524/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=715396 CPUtime=6219.24 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 114055 0 0 0 621794 130 0 0 25 0 8 0 660369026 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10489/statm: 178849 111006 466 189 0 173198 0
[pid=10489/tid=10491] ppid=10487 vsize=715396 CPUtime=771.44 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 13527 0 0 0 77131 13 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=715396 CPUtime=777.46 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 16378 0 0 0 77736 10 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=715396 CPUtime=778.86 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 10496 0 0 0 77871 15 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4628014 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=715396 CPUtime=776.77 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 10571 0 0 0 77664 13 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=715396 CPUtime=778.41 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 11871 0 0 0 77821 20 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=715396 CPUtime=778.88 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 11311 0 0 0 77874 14 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=715396 CPUtime=778.85 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 27407 0 0 0 77862 23 0 0 25 0 8 0 660369038 732565504 111006 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6219.24
Current children cumulated vsize (KiB) 715396

[startup+780.701 s]
/proc/loadavg: 8.02 8.05 8.00 9/422 10518
/proc/meminfo: memFree=18850524/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=715396 CPUtime=6232.02 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 114105 0 0 0 623072 130 0 0 25 0 8 0 660369026 732565504 111056 33554432000 4194304 4964800 140734035180896 18446744073709551615 4660384 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10489/statm: 178849 111056 466 189 0 173198 0
[pid=10489/tid=10491] ppid=10487 vsize=715396 CPUtime=773.04 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 13527 0 0 0 77291 13 0 0 25 0 8 0 660369038 732565504 111056 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=715396 CPUtime=779.05 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 16427 0 0 0 77895 10 0 0 25 0 8 0 660369038 732565504 111056 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=715396 CPUtime=780.46 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 10496 0 0 0 78031 15 0 0 25 0 8 0 660369038 732565504 111056 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=715396 CPUtime=778.37 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 10572 0 0 0 77824 13 0 0 25 0 8 0 660369038 732565504 111056 33554432000 4194304 4964800 140734035180896 18446744073709551615 4627320 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=715396 CPUtime=780.01 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 11871 0 0 0 77981 20 0 0 25 0 8 0 660369038 732565504 111056 33554432000 4194304 4964800 140734035180896 18446744073709551615 4653150 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=715396 CPUtime=780.48 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 11311 0 0 0 78034 14 0 0 25 0 8 0 660369038 732565504 111056 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=715396 CPUtime=780.45 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 27407 0 0 0 78022 23 0 0 25 0 8 0 660369038 732565504 111056 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6232.02
Current children cumulated vsize (KiB) 715396

[startup+781.501 s]
/proc/loadavg: 8.02 8.05 8.00 9/422 10518
/proc/meminfo: memFree=18850276/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=715396 CPUtime=6238.4 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 114146 0 0 0 623710 130 0 0 25 0 8 0 660369026 732565504 111097 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/10489/statm: 178849 111097 466 189 0 173198 0
[pid=10489/tid=10491] ppid=10487 vsize=715396 CPUtime=773.84 cores=0-7
/proc/10489/task/10491/stat : 10491 (claspmt) R 10487 10489 10103 0 -1 4202560 13527 0 0 0 77371 13 0 0 25 0 8 0 660369038 732565504 111097 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10489/tid=10492] ppid=10487 vsize=715396 CPUtime=779.83 cores=0-7
/proc/10489/task/10492/stat : 10492 (claspmt) R 10487 10489 10103 0 -1 4202560 16467 0 0 0 77973 10 0 0 25 0 8 0 660369038 732565504 111097 33554432000 4194304 4964800 140734035180896 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10489/tid=10493] ppid=10487 vsize=715396 CPUtime=781.26 cores=0-7
/proc/10489/task/10493/stat : 10493 (claspmt) R 10487 10489 10103 0 -1 4202560 10496 0 0 0 78111 15 0 0 25 0 8 0 660369038 732565504 111097 33554432000 4194304 4964800 140734035180896 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10489/tid=10494] ppid=10487 vsize=715396 CPUtime=779.17 cores=0-7
/proc/10489/task/10494/stat : 10494 (claspmt) R 10487 10489 10103 0 -1 4202560 10573 0 0 0 77904 13 0 0 25 0 8 0 660369038 732565504 111097 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10489/tid=10495] ppid=10487 vsize=715396 CPUtime=780.81 cores=0-7
/proc/10489/task/10495/stat : 10495 (claspmt) R 10487 10489 10103 0 -1 4202560 11871 0 0 0 78061 20 0 0 25 0 8 0 660369038 732565504 111097 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10489/tid=10496] ppid=10487 vsize=715396 CPUtime=781.28 cores=0-7
/proc/10489/task/10496/stat : 10496 (claspmt) R 10487 10489 10103 0 -1 4202560 11311 0 0 0 78114 14 0 0 25 0 8 0 660369038 732565504 111097 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10489/tid=10497] ppid=10487 vsize=715396 CPUtime=781.25 cores=0-7
/proc/10489/task/10497/stat : 10497 (claspmt) R 10487 10489 10103 0 -1 4202560 27407 0 0 0 78102 23 0 0 25 0 8 0 660369038 732565504 111097 33554432000 4194304 4964800 140734035180896 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6238.4
Current children cumulated vsize (KiB) 715396

[startup+781.701 s]
/proc/loadavg: 8.02 8.05 8.00 9/422 10518
/proc/meminfo: memFree=18850276/32951132 swapFree=67093844/67111528
[pid=10489] ppid=10487 vsize=712148 CPUtime=6239.3 cores=0-7
/proc/10489/stat : 10489 (claspmt) R 10487 10489 10103 0 -1 4202496 114156 0 0 0 623800 130 0 0 25 0 1 0 660369026 729239552 110555 33554432000 4194304 4964800 140734035180896 18446744073709551615 242970205627 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10489/statm: 178037 110555 476 189 0 172386 0
Current children cumulated CPU time (s) 6239.3
Current children cumulated vsize (KiB) 712148

Child status: 10
Real time (s): 781.763
CPU time (s): 6239.37
CPU user time (s): 6238.04
CPU system time (s): 1.3278
CPU usage (%): 798.115
Max. virtual memory (cumulated for all children) (KiB): 715396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6238.04
system time used= 1.3278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114157
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= 24080
involuntary context switches= 29003

runsolver used 2.92855 second user time and 7.73982 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-15 21:28:24
IDJOB=3380707
IDBENCH=71444
IDSOLVER=1865
FILE ID=node128/3380707-1305487704
RUNJOBID= node128-1305481204-10117
PBS_JOBID= 13325352
Free space on /tmp= 73600 MiB

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

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

MD5SUM BENCH= aa71b1c0a084106bad56c0f4d6c26bee
RANDOM SEED=1896628395

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      19292784 kB
Buffers:        289972 kB
Cached:        3194632 kB
SwapCached:       1440 kB
Active:       11203952 kB
Inactive:      2146316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      19292784 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:            1228 kB
Writeback:          16 kB
AnonPages:     9864156 kB
Mapped:          35236 kB
Slab:           190136 kB
PageTables:      50524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 113660388 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73600 MiB
End job on node128 at 2011-05-15 21:41:26