Trace number 3381282

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
borg-sat 11.03.02-par-industrial (fixed)SAT 294.341 40.667

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
MD5SUMf874c09c5787bb3c6a16f7a5f9ea0ad4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.1187
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of clauses120147
Sum of the clauses size314766
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247183
Number of clauses of size 372906
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 558

Solver Data 

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

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-3381282-1305511532/watcher-3381282-1305511532 -o /tmp/evaluation-result-3381282-1305511532/solver-3381282-1305511532 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3381282-1305511532.cnf -seed 1852038563 -budget 40000 -cores 8 

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: 9.04 8.51 8.19 1/431 5559
/proc/meminfo: memFree=14987272/32951124 swapFree=67111348/67111528
[pid=5559] ppid=5557 vsize=15384 CPUtime=0 cores=0-7
/proc/5559/stat : 5559 (python) R 5557 5559 3867 0 -1 4202496 788 0 0 0 0 0 0 0 20 0 1 0 662750935 15753216 677 33554432000 4194304 5683644 140736353734384 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5559/statm: 3846 677 322 364 0 333 0

[startup+0.052408 s]
/proc/loadavg: 9.04 8.51 8.19 1/431 5559
/proc/meminfo: memFree=14987272/32951124 swapFree=67111348/67111528
[pid=5559] ppid=5557 vsize=23180 CPUtime=0.02 cores=0-7
/proc/5559/stat : 5559 (python) S 5557 5559 3867 0 -1 4202496 1322 0 0 0 2 0 0 0 20 0 1 0 662750935 23736320 1172 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/5559/statm: 5795 1172 432 364 0 722 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23180

[startup+0.100399 s]
/proc/loadavg: 9.04 8.51 8.19 1/431 5559
/proc/meminfo: memFree=14987272/32951124 swapFree=67111348/67111528
[pid=5559] ppid=5557 vsize=87700 CPUtime=0.06 cores=0-7
/proc/5559/stat : 5559 (python) R 5557 5559 3867 0 -1 4202496 2632 0 0 0 5 1 0 0 18 0 1 0 662750935 89804800 2350 33554432000 4194304 5683644 140736353734384 18446744073709551615 212682751671 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5559/statm: 21925 2351 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87700

[startup+0.300368 s]
/proc/loadavg: 9.04 8.51 8.19 1/431 5559
/proc/meminfo: memFree=14987272/32951124 swapFree=67111348/67111528
[pid=5559] ppid=5557 vsize=135748 CPUtime=0.19 cores=0-7
/proc/5559/stat : 5559 (python) S 5557 5559 3867 0 -1 4202496 5966 935 1 0 14 5 0 0 18 0 1 0 662750935 139005952 4150 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687671301 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/5559/statm: 33937 4150 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135748

[startup+0.700311 s]
/proc/loadavg: 9.04 8.51 8.19 1/431 5559
/proc/meminfo: memFree=14987272/32951124 swapFree=67111348/67111528
[pid=5559] ppid=5557 vsize=281020 CPUtime=0.42 cores=0-7
/proc/5559/stat : 5559 (python) R 5557 5559 3867 0 -1 4202496 9894 935 1 0 32 10 0 0 17 0 1 0 662750935 287764480 7573 33554432000 4194304 5683644 140736353734384 18446744073709551615 4444983 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5559/statm: 70255 7574 1761 364 0 6179 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 281020

[startup+1.50014 s]
/proc/loadavg: 8.48 8.40 8.15 2/432 5637
/proc/meminfo: memFree=14946784/32951124 swapFree=67111348/67111528
[pid=5559] ppid=5557 vsize=301448 CPUtime=1.23 cores=0-7
/proc/5559/stat : 5559 (python) R 5557 5559 3867 0 -1 4202496 17888 935 1 0 111 12 0 0 18 0 1 0 662750935 308682752 12747 33554432000 4194304 5683644 140736353734384 18446744073709551615 46979244158592 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5559/statm: 75362 12747 1826 364 0 11286 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 301448

[startup+3.10087 s]
/proc/loadavg: 8.48 8.40 8.15 2/432 5718
/proc/meminfo: memFree=14934096/32951124 swapFree=67111348/67111528
[pid=5559] ppid=5557 vsize=301448 CPUtime=2.83 cores=0-7
/proc/5559/stat : 5559 (python) R 5557 5559 3867 0 -1 4202496 17889 935 1 0 271 12 0 0 21 0 1 0 662750935 308682752 12748 33554432000 4194304 5683644 140736353734384 18446744073709551615 4314432 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5559/statm: 75362 12748 1827 364 0 11286 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 301448

[startup+6.30123 s]
/proc/loadavg: 8.48 8.40 8.15 10/456 5910
/proc/meminfo: memFree=14807592/32951124 swapFree=67111348/67111528
[pid=5559] ppid=5557 vsize=447032 CPUtime=4.08 cores=0-7
/proc/5559/stat : 5559 (python) S 5557 5559 3867 0 -1 4202496 23687 935 1 0 394 14 0 0 25 0 9 0 662750935 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699502027 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5559/statm: 111758 12341 1889 364 0 47655 0
[pid=5875] ppid=5559 vsize=299460 CPUtime=0 cores=0-7
/proc/5875/stat : 5875 (python) S 5559 5559 3867 0 -1 4202560 813 0 0 0 0 0 0 0 18 0 1 0 662751353 306647040 10776 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695375 0 0 16781312 514 11085566231724392707 0 0 17 1 0 0 0
/proc/5875/statm: 74865 10776 358 364 0 10783 0
[pid=5878] ppid=5875 vsize=12204 CPUtime=2.09 cores=0-7
/proc/5878/stat : 5878 (lingeling) R 5875 5878 5878 0 -1 4202496 3410 0 0 0 209 0 0 0 25 0 1 0 662751353 12496896 2215 33554432000 4194304 4352236 140733260536016 18446744073709551615 4328429 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/5878/statm: 3051 2215 129 39 0 2131 0
[pid=5880] ppid=5559 vsize=309716 CPUtime=0 cores=0-7
/proc/5880/stat : 5880 (python) S 5559 5559 3867 0 -1 4202560 753 0 0 0 0 0 0 0 15 0 1 0 662751355 317149184 10769 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 2187306863941353731 0 0 17 2 0 0 0
/proc/5880/statm: 77429 10769 347 364 0 13344 0
[pid=5883] ppid=5880 vsize=43404 CPUtime=2.08 cores=0-7
/proc/5883/stat : 5883 (cryptominisat-2) R 5880 5883 5883 0 -1 4202496 5762 0 0 0 208 0 0 0 25 0 1 0 662751356 44445696 4567 33554432000 4194304 4677096 140733801584256 18446744073709551615 4319729 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5883/statm: 10851 4567 383 118 0 5810 0
[pid=5886] ppid=5559 vsize=319972 CPUtime=0 cores=0-7
/proc/5886/stat : 5886 (python) S 5559 5559 3867 0 -1 4202560 751 0 0 0 0 0 0 0 18 0 1 0 662751358 327651328 10773 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3545058863587754242 0 0 17 1 0 0 0
/proc/5886/statm: 79993 10773 347 364 0 15905 0
[pid=5888] ppid=5886 vsize=12212 CPUtime=2.06 cores=0-7
/proc/5888/stat : 5888 (lingeling) R 5886 5888 5888 0 -1 4202496 3413 0 0 0 206 0 0 0 25 0 1 0 662751358 12505088 2217 33554432000 4194304 4352236 140735157312880 18446744073709551615 4328105 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/5888/statm: 3053 2217 129 39 0 2133 0
[pid=5890] ppid=5559 vsize=330228 CPUtime=0 cores=0-7
/proc/5890/stat : 5890 (python) S 5559 5559 3867 0 -1 4202560 761 0 0 0 0 0 0 0 18 0 1 0 662751360 338153472 10777 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 1078413103445541124 0 0 17 1 0 0 0
/proc/5890/statm: 82557 10777 347 364 0 18466 0
[pid=5893] ppid=5890 vsize=12204 CPUtime=2.03 cores=0-7
/proc/5893/stat : 5893 (lingeling) R 5890 5893 5893 0 -1 4202496 3411 0 0 0 203 0 0 0 25 0 1 0 662751360 12496896 2216 33554432000 4194304 4352236 140736980802896 18446744073709551615 4328832 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/5893/statm: 3051 2216 129 39 0 2131 0
[pid=5897] ppid=5559 vsize=406020 CPUtime=0 cores=0-7
/proc/5897/stat : 5897 (python) S 5559 5559 3867 0 -1 4202560 768 0 0 0 0 0 0 0 18 0 1 0 662751363 415764480 10783 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 8015410083968024836 0 0 17 1 0 0 0
/proc/5897/statm: 101505 10783 347 364 0 37411 0
[pid=5899] ppid=5897 vsize=8088 CPUtime=1.97 cores=0-7
/proc/5899/stat : 5899 (SApperloT-base) R 5897 5899 5899 0 -1 4202496 1953 0 0 0 197 0 0 0 25 0 1 0 662751363 8282112 1686 33554432000 134512640 135674940 4291213072 18446744073709551615 134564304 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/5899/statm: 2022 1686 99 284 0 1736 0
[pid=5902] ppid=5559 vsize=416276 CPUtime=0 cores=0-7
/proc/5902/stat : 5902 (python) S 5559 5559 3867 0 -1 4202560 780 0 0 0 0 0 0 0 18 0 1 0 662751365 426266624 10787 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 18253634926672871423 0 0 17 4 0 0 0
/proc/5902/statm: 104069 10787 347 364 0 39972 0
[pid=5904] ppid=5902 vsize=19360 CPUtime=1.98 cores=0-7
/proc/5904/stat : 5904 (precosat) R 5902 5904 5904 0 -1 4202496 4982 0 0 0 197 1 0 0 25 0 1 0 662751366 19824640 4704 33554432000 4194304 4890832 140735551462224 18446744073709551615 4291965 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/5904/statm: 4840 4704 85 171 0 4667 0
[pid=5905] ppid=5559 vsize=426532 CPUtime=0 cores=0-7
/proc/5905/stat : 5905 (python) S 5559 5559 3867 0 -1 4202560 791 0 0 0 0 0 0 0 15 0 1 0 662751368 436768768 10791 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 8556056444019900675 0 0 17 0 0 0 0
/proc/5905/statm: 106633 10791 347 364 0 42533 0
[pid=5907] ppid=5905 vsize=43404 CPUtime=1.96 cores=0-7
/proc/5907/stat : 5907 (cryptominisat-2) R 5905 5907 5907 0 -1 4202496 5737 0 0 0 195 1 0 0 25 0 1 0 662751368 44445696 4539 33554432000 4194304 4677096 140736650377392 18446744073709551615 4318905 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5907/statm: 10851 4539 383 118 0 5810 0
[pid=5908] ppid=5559 vsize=436788 CPUtime=0 cores=0-7
/proc/5908/stat : 5908 (python) S 5559 5559 3867 0 -1 4202560 827 0 0 0 0 0 0 0 18 0 1 0 662751371 447270912 10801 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 18253638774963568639 0 0 17 4 0 0 0
/proc/5908/statm: 109197 10801 353 364 0 45094 0
[pid=5910] ppid=5908 vsize=12204 CPUtime=1.91 cores=0-7
/proc/5910/stat : 5910 (lingeling) R 5908 5910 5910 0 -1 4202496 3423 0 0 0 191 0 0 0 25 0 1 0 662751371 12496896 2215 33554432000 4194304 4352236 140734955415712 18446744073709551615 4328100 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/5910/statm: 3051 2215 129 39 0 2131 0
[pid=5559/tid=5876] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5876/stat : 5876 (python) S 5557 5559 3867 0 -1 4202560 24 935 0 0 0 0 0 0 25 0 9 0 662751353 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5882] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5882/stat : 5882 (python) S 5557 5559 3867 0 -1 4202560 21 935 0 0 0 0 0 0 20 0 9 0 662751355 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5887] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5887/stat : 5887 (python) S 5557 5559 3867 0 -1 4202560 24 935 0 0 0 0 0 0 21 0 9 0 662751358 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5891] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5891/stat : 5891 (python) S 5557 5559 3867 0 -1 4202560 19 935 0 0 0 0 0 0 19 0 9 0 662751360 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 5 0 0 0
[pid=5559/tid=5898] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5898/stat : 5898 (python) S 5557 5559 3867 0 -1 4202560 25 935 0 0 0 0 0 0 19 0 9 0 662751363 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5903] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5903/stat : 5903 (python) S 5557 5559 3867 0 -1 4202560 27 935 0 0 0 0 0 0 21 0 9 0 662751366 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5906] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5906/stat : 5906 (python) S 5557 5559 3867 0 -1 4202560 28 935 0 0 0 0 0 0 23 0 9 0 662751368 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5909] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5909/stat : 5909 (python) S 5557 5559 3867 0 -1 4202560 30 935 0 0 0 0 0 0 25 0 9 0 662751371 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20.16
Current children cumulated vsize (KiB) 3555104

[startup+12.7011 s]
/proc/loadavg: 8.56 8.42 8.16 10/457 5928
/proc/meminfo: memFree=14770392/32951124 swapFree=67111348/67111528
[pid=5559] ppid=5557 vsize=447032 CPUtime=4.08 cores=0-7
/proc/5559/stat : 5559 (python) S 5557 5559 3867 0 -1 4202496 23687 935 1 0 394 14 0 0 25 0 9 0 662750935 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699502027 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5559/statm: 111758 12341 1889 364 0 47655 0
[pid=5875] ppid=5559 vsize=299460 CPUtime=0.01 cores=0-7
/proc/5875/stat : 5875 (python) S 5559 5559 3867 0 -1 4202560 987 0 0 0 0 1 0 0 18 0 1 0 662751353 306647040 10799 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695375 0 0 16781312 514 11085566231724392707 0 0 17 1 0 0 0
/proc/5875/statm: 74865 10799 381 364 0 10783 0
[pid=5878] ppid=5875 vsize=13256 CPUtime=8.45 cores=0-7
/proc/5878/stat : 5878 (lingeling) R 5875 5878 5878 0 -1 4202496 3702 0 0 0 845 0 0 0 25 0 1 0 662751353 13574144 2507 33554432000 4194304 4352236 140733260536016 18446744073709551615 4241442 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/5878/statm: 3314 2507 129 39 0 2394 0
[pid=5880] ppid=5559 vsize=309716 CPUtime=0.02 cores=0-7
/proc/5880/stat : 5880 (python) S 5559 5559 3867 0 -1 4202560 917 0 0 0 1 1 0 0 15 0 1 0 662751355 317149184 10792 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 2187306863941353731 0 0 17 2 0 0 0
/proc/5880/statm: 77429 10792 370 364 0 13344 0
[pid=5883] ppid=5880 vsize=56188 CPUtime=8.46 cores=0-7
/proc/5883/stat : 5883 (cryptominisat-2) R 5880 5883 5883 0 -1 4202496 9691 0 0 0 846 0 0 0 25 0 1 0 662751356 57536512 7489 33554432000 4194304 4677096 140733801584256 18446744073709551615 4337464 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5883/statm: 14047 7489 388 118 0 9006 0
[pid=5886] ppid=5559 vsize=319972 CPUtime=0.01 cores=0-7
/proc/5886/stat : 5886 (python) S 5559 5559 3867 0 -1 4202560 931 0 0 0 1 0 0 0 18 0 1 0 662751358 327651328 10795 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3545058863587754242 0 0 17 1 0 0 0
/proc/5886/statm: 79993 10795 369 364 0 15905 0
[pid=5888] ppid=5886 vsize=13096 CPUtime=8.46 cores=0-7
/proc/5888/stat : 5888 (lingeling) R 5886 5888 5888 0 -1 4202496 3634 0 0 0 846 0 0 0 25 0 1 0 662751358 13410304 2438 33554432000 4194304 4352236 140735157312880 18446744073709551615 4241440 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/5888/statm: 3274 2438 129 39 0 2354 0
[pid=5890] ppid=5559 vsize=330228 CPUtime=0.01 cores=0-7
/proc/5890/stat : 5890 (python) S 5559 5559 3867 0 -1 4202560 940 0 0 0 0 1 0 0 18 0 1 0 662751360 338153472 10799 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 1078413103445541124 0 0 17 1 0 0 0
/proc/5890/statm: 82557 10799 369 364 0 18466 0
[pid=5893] ppid=5890 vsize=13364 CPUtime=8.43 cores=0-7
/proc/5893/stat : 5893 (lingeling) R 5890 5893 5893 0 -1 4202496 3701 0 0 0 843 0 0 0 25 0 1 0 662751360 13684736 2506 33554432000 4194304 4352236 140736980802896 18446744073709551615 4241440 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/5893/statm: 3341 2506 129 39 0 2421 0
[pid=5897] ppid=5559 vsize=406020 CPUtime=0.02 cores=0-7
/proc/5897/stat : 5897 (python) S 5559 5559 3867 0 -1 4202560 951 0 0 0 1 1 0 0 18 0 1 0 662751363 415764480 10806 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 8015410083968024836 0 0 17 1 0 0 0
/proc/5897/statm: 101505 10806 370 364 0 37411 0
[pid=5899] ppid=5897 vsize=14352 CPUtime=8.27 cores=0-7
/proc/5899/stat : 5899 (SApperloT-base) R 5897 5899 5899 0 -1 4202496 3511 0 0 0 826 1 0 0 25 0 1 0 662751363 14696448 3211 33554432000 134512640 135674940 4291213072 18446744073709551615 134564247 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/5899/statm: 3588 3211 99 284 0 3302 0
[pid=5902] ppid=5559 vsize=416276 CPUtime=0.01 cores=0-7
/proc/5902/stat : 5902 (python) S 5559 5559 3867 0 -1 4202560 960 0 0 0 0 1 0 0 18 0 1 0 662751365 426266624 10809 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 18253634926672838913 0 0 17 4 0 0 0
/proc/5902/statm: 104069 10809 369 364 0 39972 0
[pid=5904] ppid=5902 vsize=19428 CPUtime=8.29 cores=0-7
/proc/5904/stat : 5904 (precosat) R 5902 5904 5904 0 -1 4202496 5640 0 0 0 828 1 0 0 25 0 1 0 662751366 19894272 4736 33554432000 4194304 4890832 140735551462224 18446744073709551615 4238594 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/5904/statm: 4857 4736 85 171 0 4684 0
[pid=5905] ppid=5559 vsize=426532 CPUtime=0.02 cores=0-7
/proc/5905/stat : 5905 (python) S 5559 5559 3867 0 -1 4202560 964 0 0 0 1 1 0 0 15 0 1 0 662751368 436768768 10814 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 8556056444019900675 0 0 17 0 0 0 0
/proc/5905/statm: 106633 10814 370 364 0 42533 0

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

[pid=5908] ppid=5559 vsize=436788 CPUtime=0.11 cores=0-7
/proc/5908/stat : 5908 (python) S 5559 5559 3867 0 -1 4202560 1021 0 0 0 6 5 0 0 18 0 1 0 662751371 447270912 10824 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3611394319941861633 0 0 17 4 0 0 0
/proc/5908/statm: 109197 10824 376 364 0 45094 0
[pid=5910] ppid=5908 vsize=18572 CPUtime=35.79 cores=0-7
/proc/5910/stat : 5910 (lingeling) R 5908 5910 5910 0 -1 4202496 5015 0 0 0 3578 1 0 0 25 0 1 0 662751371 19017728 3807 33554432000 4194304 4352236 140734955415712 18446744073709551615 4328085 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/5910/statm: 4643 3807 129 39 0 3723 0
[pid=5559/tid=5876] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5876/stat : 5876 (python) S 5557 5559 3867 0 -1 4202560 24 935 0 0 0 0 0 0 25 0 9 0 662751353 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5882] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5882/stat : 5882 (python) S 5557 5559 3867 0 -1 4202560 21 935 0 0 0 0 0 0 20 0 9 0 662751355 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5887] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5887/stat : 5887 (python) S 5557 5559 3867 0 -1 4202560 24 935 0 0 0 0 0 0 21 0 9 0 662751358 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5891] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5891/stat : 5891 (python) S 5557 5559 3867 0 -1 4202560 19 935 0 0 0 0 0 0 19 0 9 0 662751360 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 5 0 0 0
[pid=5559/tid=5898] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5898/stat : 5898 (python) S 5557 5559 3867 0 -1 4202560 25 935 0 0 0 0 0 0 19 0 9 0 662751363 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5903] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5903/stat : 5903 (python) S 5557 5559 3867 0 -1 4202560 27 935 0 0 0 0 0 0 21 0 9 0 662751366 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5906] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5906/stat : 5906 (python) S 5557 5559 3867 0 -1 4202560 28 935 0 0 0 0 0 0 23 0 9 0 662751368 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5909] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5909/stat : 5909 (python) S 5557 5559 3867 0 -1 4202560 30 935 0 0 0 0 0 0 25 0 9 0 662751371 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 291.53
Current children cumulated vsize (KiB) 3642784

[startup+40.501 s]
/proc/loadavg: 8.71 8.46 8.18 10/456 6006
/proc/meminfo: memFree=14721096/32951124 swapFree=67111348/67111528
[pid=5559] ppid=5557 vsize=447032 CPUtime=4.08 cores=0-7
/proc/5559/stat : 5559 (python) S 5557 5559 3867 0 -1 4202496 23687 935 1 0 394 14 0 0 25 0 9 0 662750935 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699502027 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5559/statm: 111758 12341 1889 364 0 47655 0
[pid=5875] ppid=5559 vsize=299460 CPUtime=0.12 cores=0-7
/proc/5875/stat : 5875 (python) S 5559 5559 3867 0 -1 4202560 1003 0 0 0 6 6 0 0 18 0 1 0 662751353 306647040 10799 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695375 0 0 16781312 514 3611394319941861635 0 0 17 1 0 0 0
/proc/5875/statm: 74865 10799 381 364 0 10783 0
[pid=5878] ppid=5875 vsize=18680 CPUtime=36.05 cores=0-7
/proc/5878/stat : 5878 (lingeling) R 5875 5878 5878 0 -1 4202496 5029 0 0 0 3605 0 0 0 25 0 1 0 662751353 19128320 3834 33554432000 4194304 4352236 140733260536016 18446744073709551615 4328009 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/5878/statm: 4670 3834 129 39 0 3750 0
[pid=5880] ppid=5559 vsize=309716 CPUtime=0.12 cores=0-7
/proc/5880/stat : 5880 (python) S 5559 5559 3867 0 -1 4202560 939 0 0 0 6 6 0 0 15 0 1 0 662751355 317149184 10792 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 2187306863941353731 0 0 17 2 0 0 0
/proc/5880/statm: 77429 10792 370 364 0 13344 0
[pid=5883] ppid=5880 vsize=62460 CPUtime=36.15 cores=0-7
/proc/5883/stat : 5883 (cryptominisat-2) R 5880 5883 5883 0 -1 4202496 17764 0 0 0 3613 2 0 0 25 0 1 0 662751356 63959040 9295 33554432000 4194304 4677096 140733801584256 18446744073709551615 4319550 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5883/statm: 15615 9295 388 118 0 10574 0
[pid=5886] ppid=5559 vsize=319972 CPUtime=0.11 cores=0-7
/proc/5886/stat : 5886 (python) S 5559 5559 3867 0 -1 4202560 947 0 0 0 6 5 0 0 18 0 1 0 662751358 327651328 10796 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3611394319941861634 0 0 17 1 0 0 0
/proc/5886/statm: 79993 10796 370 364 0 15905 0
[pid=5888] ppid=5886 vsize=18292 CPUtime=36.26 cores=0-7
/proc/5888/stat : 5888 (lingeling) R 5886 5888 5888 0 -1 4202496 4933 0 0 0 3626 0 0 0 25 0 1 0 662751358 18731008 3737 33554432000 4194304 4352236 140735157312880 18446744073709551615 4328419 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/5888/statm: 4573 3737 129 39 0 3653 0
[pid=5890] ppid=5559 vsize=330228 CPUtime=0.12 cores=0-7
/proc/5890/stat : 5890 (python) S 5559 5559 3867 0 -1 4202560 956 0 0 0 6 6 0 0 18 0 1 0 662751360 338153472 10800 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3611394319941861636 0 0 17 1 0 0 0
/proc/5890/statm: 82557 10800 370 364 0 18466 0
[pid=5893] ppid=5890 vsize=18748 CPUtime=36.22 cores=0-7
/proc/5893/stat : 5893 (lingeling) R 5890 5893 5893 0 -1 4202496 5047 0 0 0 3622 0 0 0 25 0 1 0 662751360 19197952 3852 33554432000 4194304 4352236 140736980802896 18446744073709551615 4328016 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/5893/statm: 4687 3852 129 39 0 3767 0
[pid=5897] ppid=5559 vsize=406020 CPUtime=0.12 cores=0-7
/proc/5897/stat : 5897 (python) S 5559 5559 3867 0 -1 4202560 968 0 0 0 6 6 0 0 18 0 1 0 662751363 415764480 10806 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3611394319941861636 0 0 17 1 0 0 0
/proc/5897/statm: 101505 10806 370 364 0 37411 0
[pid=5899] ppid=5897 vsize=27024 CPUtime=35.61 cores=0-7
/proc/5899/stat : 5899 (SApperloT-base) R 5897 5899 5899 0 -1 4202496 6521 0 0 0 3560 1 0 0 25 0 1 0 662751363 27672576 6156 33554432000 134512640 135674940 4291213072 18446744073709551615 134564660 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/5899/statm: 6756 6156 99 284 0 6470 0
[pid=5902] ppid=5559 vsize=416276 CPUtime=0.11 cores=0-7
/proc/5902/stat : 5902 (python) S 5559 5559 3867 0 -1 4202560 975 0 0 0 6 5 0 0 18 0 1 0 662751365 426266624 10810 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3611394319941861633 0 0 17 4 0 0 0
/proc/5902/statm: 104069 10810 370 364 0 39972 0
[pid=5904] ppid=5902 vsize=24640 CPUtime=35.69 cores=0-7
/proc/5904/stat : 5904 (precosat) R 5902 5904 5904 0 -1 4202496 15087 0 0 0 3564 5 0 0 25 0 1 0 662751366 25231360 5992 33554432000 4194304 4890832 140735551462224 18446744073709551615 4291474 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/5904/statm: 6160 5992 85 171 0 5987 0
[pid=5905] ppid=5559 vsize=426532 CPUtime=0.12 cores=0-7
/proc/5905/stat : 5905 (python) S 5559 5559 3867 0 -1 4202560 991 0 0 0 6 6 0 0 15 0 1 0 662751368 436768768 10814 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 8556056444019900675 0 0 17 0 0 0 0
/proc/5905/statm: 106633 10814 370 364 0 42533 0
[pid=5907] ppid=5905 vsize=62612 CPUtime=36.15 cores=0-7
/proc/5907/stat : 5907 (cryptominisat-2) R 5905 5907 5907 0 -1 4202496 17735 0 0 0 3612 3 0 0 25 0 1 0 662751368 64114688 9255 33554432000 4194304 4677096 140736650377392 18446744073709551615 4318914 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5907/statm: 15653 9255 388 118 0 10612 0
[pid=5908] ppid=5559 vsize=436788 CPUtime=0.11 cores=0-7
/proc/5908/stat : 5908 (python) S 5559 5559 3867 0 -1 4202560 1021 0 0 0 6 5 0 0 18 0 1 0 662751371 447270912 10824 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3611394319941861633 0 0 17 4 0 0 0
/proc/5908/statm: 109197 10824 376 364 0 45094 0
[pid=5910] ppid=5908 vsize=18572 CPUtime=35.99 cores=0-7
/proc/5910/stat : 5910 (lingeling) R 5908 5910 5910 0 -1 4202496 5015 0 0 0 3598 1 0 0 25 0 1 0 662751371 19017728 3807 33554432000 4194304 4352236 140734955415712 18446744073709551615 4328194 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/5910/statm: 4643 3807 129 39 0 3723 0
[pid=5559/tid=5876] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5876/stat : 5876 (python) S 5557 5559 3867 0 -1 4202560 24 935 0 0 0 0 0 0 25 0 9 0 662751353 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5882] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5882/stat : 5882 (python) S 5557 5559 3867 0 -1 4202560 21 935 0 0 0 0 0 0 20 0 9 0 662751355 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5887] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5887/stat : 5887 (python) S 5557 5559 3867 0 -1 4202560 24 935 0 0 0 0 0 0 21 0 9 0 662751358 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5891] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5891/stat : 5891 (python) S 5557 5559 3867 0 -1 4202560 19 935 0 0 0 0 0 0 19 0 9 0 662751360 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 5 0 0 0
[pid=5559/tid=5898] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5898/stat : 5898 (python) S 5557 5559 3867 0 -1 4202560 25 935 0 0 0 0 0 0 19 0 9 0 662751363 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5903] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5903/stat : 5903 (python) S 5557 5559 3867 0 -1 4202560 27 935 0 0 0 0 0 0 21 0 9 0 662751366 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5906] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5906/stat : 5906 (python) S 5557 5559 3867 0 -1 4202560 28 935 0 0 0 0 0 0 23 0 9 0 662751368 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5909] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5909/stat : 5909 (python) S 5557 5559 3867 0 -1 4202560 30 935 0 0 0 0 0 0 25 0 9 0 662751371 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 293.13
Current children cumulated vsize (KiB) 3643052

[startup+40.602 s]
/proc/loadavg: 8.71 8.46 8.18 10/457 6009
/proc/meminfo: memFree=14714212/32951124 swapFree=67111348/67111528
[pid=5559] ppid=5557 vsize=447032 CPUtime=4.08 cores=0-7
/proc/5559/stat : 5559 (python) S 5557 5559 3867 0 -1 4202496 23687 935 1 0 394 14 0 0 25 0 9 0 662750935 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699502027 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5559/statm: 111758 12341 1889 364 0 47655 0
[pid=5875] ppid=5559 vsize=299460 CPUtime=0.12 cores=0-7
/proc/5875/stat : 5875 (python) S 5559 5559 3867 0 -1 4202560 1003 0 0 0 6 6 0 0 18 0 1 0 662751353 306647040 10799 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695375 0 0 16781312 514 3611394319941861635 0 0 17 1 0 0 0
/proc/5875/statm: 74865 10799 381 364 0 10783 0
[pid=5878] ppid=5875 vsize=18680 CPUtime=36.15 cores=0-7
/proc/5878/stat : 5878 (lingeling) R 5875 5878 5878 0 -1 4202496 5029 0 0 0 3615 0 0 0 25 0 1 0 662751353 19128320 3834 33554432000 4194304 4352236 140733260536016 18446744073709551615 4328059 0 0 16781312 17506 0 0 0 17 4 0 0 0
/proc/5878/statm: 4670 3834 129 39 0 3750 0
[pid=5880] ppid=5559 vsize=309716 CPUtime=0.14 cores=0-7
/proc/5880/stat : 5880 (python) S 5559 5559 3867 0 -1 4202560 941 0 0 0 7 7 0 0 15 0 1 0 662751355 317149184 10792 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3611394319941861635 0 0 17 2 0 0 0
/proc/5880/statm: 77429 10792 370 364 0 13344 0
[pid=5883] ppid=5880 vsize=62460 CPUtime=36.24 cores=0-7
/proc/5883/stat : 5883 (cryptominisat-2) R 5880 5883 5883 0 -1 4202496 17775 0 0 0 3622 2 0 0 25 0 1 0 662751356 63959040 9306 33554432000 4194304 4677096 140733801584256 18446744073709551615 4334298 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/5883/statm: 15615 9306 388 118 0 10574 0
[pid=5886] ppid=5559 vsize=319972 CPUtime=0.11 cores=0-7
/proc/5886/stat : 5886 (python) S 5559 5559 3867 0 -1 4202560 947 0 0 0 6 5 0 0 18 0 1 0 662751358 327651328 10796 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3611394319941861634 0 0 17 1 0 0 0
/proc/5886/statm: 79993 10796 370 364 0 15905 0
[pid=5888] ppid=5886 vsize=18292 CPUtime=36.36 cores=0-7
/proc/5888/stat : 5888 (lingeling) R 5886 5888 5888 0 -1 4202496 4933 0 0 0 3636 0 0 0 25 0 1 0 662751358 18731008 3737 33554432000 4194304 4352236 140735157312880 18446744073709551615 4207645 0 0 16781312 17506 0 0 0 17 6 0 0 0
/proc/5888/statm: 4573 3737 129 39 0 3653 0
[pid=5890] ppid=5559 vsize=330228 CPUtime=0.12 cores=0-7
/proc/5890/stat : 5890 (python) S 5559 5559 3867 0 -1 4202560 956 0 0 0 6 6 0 0 18 0 1 0 662751360 338153472 10800 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3611394319941861636 0 0 17 1 0 0 0
/proc/5890/statm: 82557 10800 370 364 0 18466 0
[pid=5893] ppid=5890 vsize=18748 CPUtime=36.33 cores=0-7
/proc/5893/stat : 5893 (lingeling) R 5890 5893 5893 0 -1 4202496 5047 0 0 0 3633 0 0 0 25 0 1 0 662751360 19197952 3852 33554432000 4194304 4352236 140736980802896 18446744073709551615 4328441 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/5893/statm: 4687 3852 129 39 0 3767 0
[pid=5897] ppid=5559 vsize=406020 CPUtime=0.12 cores=0-7
/proc/5897/stat : 5897 (python) S 5559 5559 3867 0 -1 4202560 968 0 0 0 6 6 0 0 18 0 1 0 662751363 415764480 10806 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3611394319941861636 0 0 17 1 0 0 0
/proc/5897/statm: 101505 10806 370 364 0 37411 0
[pid=5899] ppid=5897 vsize=27024 CPUtime=35.71 cores=0-7
/proc/5899/stat : 5899 (SApperloT-base) R 5897 5899 5899 0 -1 4202496 6521 0 0 0 3570 1 0 0 25 0 1 0 662751363 27672576 6156 33554432000 134512640 135674940 4291213072 18446744073709551615 134565128 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/5899/statm: 6756 6156 99 284 0 6470 0
[pid=5902] ppid=5559 vsize=416276 CPUtime=0.11 cores=0-7
/proc/5902/stat : 5902 (python) S 5559 5559 3867 0 -1 4202560 975 0 0 0 6 5 0 0 18 0 1 0 662751365 426266624 10810 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3611394319941861633 0 0 17 4 0 0 0
/proc/5902/statm: 104069 10810 370 364 0 39972 0
[pid=5904] ppid=5902 vsize=24640 CPUtime=35.8 cores=0-7
/proc/5904/stat : 5904 (precosat) R 5902 5904 5904 0 -1 4202496 15107 0 0 0 3575 5 0 0 25 0 1 0 662751366 25231360 6012 33554432000 4194304 4890832 140735551462224 18446744073709551615 4213100 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/5904/statm: 6160 6012 85 171 0 5987 0
[pid=5905] ppid=5559 vsize=426532 CPUtime=0.12 cores=0-7
/proc/5905/stat : 5905 (python) S 5559 5559 3867 0 -1 4202560 991 0 0 0 6 6 0 0 15 0 1 0 662751368 436768768 10814 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 8556056444019900675 0 0 17 0 0 0 0
/proc/5905/statm: 106633 10814 370 364 0 42533 0
[pid=5907] ppid=5905 vsize=62612 CPUtime=36.26 cores=0-7
/proc/5907/stat : 5907 (cryptominisat-2) R 5905 5907 5907 0 -1 4202496 17750 0 0 0 3623 3 0 0 25 0 1 0 662751368 64114688 9270 33554432000 4194304 4677096 140736650377392 18446744073709551615 4318902 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/5907/statm: 15653 9270 388 118 0 10612 0
[pid=5908] ppid=5559 vsize=436788 CPUtime=0.11 cores=0-7
/proc/5908/stat : 5908 (python) S 5559 5559 3867 0 -1 4202560 1021 0 0 0 6 5 0 0 18 0 1 0 662751371 447270912 10824 33554432000 4194304 5683644 140736353734384 18446744073709551615 212687695430 0 0 16781312 514 3611394319941861633 0 0 17 4 0 0 0
/proc/5908/statm: 109197 10824 376 364 0 45094 0
[pid=5910] ppid=5908 vsize=18572 CPUtime=36.1 cores=0-7
/proc/5910/stat : 5910 (lingeling) R 5908 5910 5910 0 -1 4202496 5015 0 0 0 3609 1 0 0 25 0 1 0 662751371 19017728 3807 33554432000 4194304 4352236 140734955415712 18446744073709551615 4328090 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/5910/statm: 4643 3807 129 39 0 3723 0
[pid=5559/tid=5876] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5876/stat : 5876 (python) S 5557 5559 3867 0 -1 4202560 24 935 0 0 0 0 0 0 25 0 9 0 662751353 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5882] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5882/stat : 5882 (python) S 5557 5559 3867 0 -1 4202560 21 935 0 0 0 0 0 0 20 0 9 0 662751355 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5887] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5887/stat : 5887 (python) S 5557 5559 3867 0 -1 4202560 24 935 0 0 0 0 0 0 21 0 9 0 662751358 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5891] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5891/stat : 5891 (python) S 5557 5559 3867 0 -1 4202560 19 935 0 0 0 0 0 0 19 0 9 0 662751360 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 5 0 0 0
[pid=5559/tid=5898] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5898/stat : 5898 (python) S 5557 5559 3867 0 -1 4202560 25 935 0 0 0 0 0 0 19 0 9 0 662751363 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5903] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5903/stat : 5903 (python) S 5557 5559 3867 0 -1 4202560 27 935 0 0 0 0 0 0 21 0 9 0 662751366 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5906] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5906/stat : 5906 (python) S 5557 5559 3867 0 -1 4202560 28 935 0 0 0 0 0 0 23 0 9 0 662751368 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 0 0 0 0
[pid=5559/tid=5909] ppid=5557 vsize=447032 CPUtime=0 cores=0-7
/proc/5559/task/5909/stat : 5909 (python) S 5557 5559 3867 0 -1 4202560 30 935 0 0 0 0 0 0 25 0 9 0 662751371 457760768 12341 33554432000 4194304 5683644 140736353734384 18446744073709551615 212699498929 0 0 16781312 2 18446604444348723456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 293.98
Current children cumulated vsize (KiB) 3643052

Child status: 0
Real time (s): 40.667
CPU time (s): 294.341
CPU user time (s): 293.502
CPU system time (s): 0.838872
CPU usage (%): 723.783
Max. virtual memory (cumulated for all children) (KiB): 3643052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 293.502
system time used= 0.838872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116667
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3596
involuntary context switches= 2292

runsolver used 0.213967 second user time and 0.466929 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-16 04:05:32
IDJOB=3381282
IDBENCH=85973
IDSOLVER=1864
FILE ID=node139/3381282-1305511532
RUNJOBID= node139-1305505886-3881
PBS_JOBID= 13325500
Free space on /tmp= 73372 MiB

SOLVER NAME= borg-sat 11.03.02-par-industrial (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3381282-1305511532/watcher-3381282-1305511532 -o /tmp/evaluation-result-3381282-1305511532/solver-3381282-1305511532 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3381282-1305511532.cnf -seed 1852038563 -budget 40000 -cores 8

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

MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4
RANDOM SEED=1852038563

node139.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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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	: 5321.49
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	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14987372 kB
Buffers:        336236 kB
Cached:        3156816 kB
SwapCached:          0 kB
Active:       15508376 kB
Inactive:      2120360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14987372 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           33856 kB
Writeback:           0 kB
AnonPages:    14135344 kB
Mapped:          34796 kB
Slab:           205832 kB
PageTables:      59460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 104421740 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= 73340 MiB
End job on node139 at 2011-05-16 04:06:13