Trace number 3381286

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 388.355 53.2851

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_32.renamed-as.sat05-1919.cnf
MD5SUM833432e05c2a1599e13dca28680b5df9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark216.737
Satisfiable
(Un)Satisfiability was proved
Number of variables1024
Number of clauses161664
Sum of the clauses size423264
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 263584
Number of clauses of size 398016
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 564

Solver Data 

0.32/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.32/0.47	c INFO: solving HOME/instance-3381286-1305511616.cnf
0.32/0.47	c INFO: computing task features
0.81/0.95	c INFO: computed variable-clause graph statistics
0.81/0.97	c INFO: computed clause balance statistics
3.01/3.12	c INFO: computed variable balance statistics
5.01/5.10	c INFO: computed small-clause counts
5.01/5.11	c INFO: computed Horn-clause counts
5.01/5.14	c INFO: computed variable graph statistics
5.01/5.14	c INFO: collected features for HOME/instance-3381286-1305511616.cnf in 4.66 s
5.01/5.16	c INFO: running lingeling-276@0 for 97 with 4995 remaining (b = 0.20)
5.01/5.19	c INFO: running cryptominisat-2.9.0@0 for 485 with 4995 remaining (b = 0.27)
5.11/5.21	c INFO: running lingeling-276@0 for 582 with 4995 remaining (b = 0.34)
5.11/5.24	c INFO: running lingeling-276@0 for 1261 with 4995 remaining (b = 0.41)
5.11/5.26	c INFO: running SApperloT@0 for 97 with 4995 remaining (b = 0.03)
5.11/5.29	c INFO: running precosat-570@0 for 291 with 4995 remaining (b = 0.12)
5.21/5.32	c INFO: running cryptominisat-2.9.0@0 for 1649 with 4995 remaining (b = 0.43)
5.21/5.35	c INFO: running lingeling-276@0 for 1261 with 4995 remaining (b = 0.32)
387.77/53.25	s SATISFIABLE
387.77/53.25	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 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 959 -960 -961 -962 -963 -964 -965 966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 1024 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-3381286-1305511616/watcher-3381286-1305511616 -o /tmp/evaluation-result-3381286-1305511616/solver-3381286-1305511616 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3381286-1305511616.cnf -seed 1383330867 -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: 7.55 7.99 7.99 2/447 21566
/proc/meminfo: memFree=24939548/32951124 swapFree=53501244/67111528
[pid=21566] ppid=21564 vsize=16240 CPUtime=0.01 cores=0-7
/proc/21566/stat : 21566 (python) R 21564 21566 20784 0 -1 4202496 1046 0 0 0 1 0 0 0 24 0 1 0 662764286 16629760 918 33554432000 4194304 5683644 140735550219216 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21566/statm: 4060 918 381 364 0 547 0

[startup+0.025105 s]
/proc/loadavg: 7.55 7.99 7.99 2/447 21566
/proc/meminfo: memFree=24939548/32951124 swapFree=53501244/67111528
[pid=21566] ppid=21564 vsize=16536 CPUtime=0.01 cores=0-7
/proc/21566/stat : 21566 (python) R 21564 21566 20784 0 -1 4202496 1190 0 0 0 1 0 0 0 24 0 1 0 662764286 16932864 1050 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634513408 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21566/statm: 4134 1050 417 364 0 621 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16536

[startup+0.101101 s]
/proc/loadavg: 7.55 7.99 7.99 2/447 21566
/proc/meminfo: memFree=24939548/32951124 swapFree=53501244/67111528
[pid=21566] ppid=21564 vsize=104232 CPUtime=0.08 cores=0-7
/proc/21566/stat : 21566 (python) R 21564 21566 20784 0 -1 4202496 3065 0 0 0 6 2 0 0 17 0 1 0 662764286 106733568 2748 33554432000 4194304 5683644 140735550219216 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21566/statm: 26057 2747 847 364 0 1805 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 104232

[startup+0.301062 s]
/proc/loadavg: 7.55 7.99 7.99 2/447 21566
/proc/meminfo: memFree=24939548/32951124 swapFree=53501244/67111528
[pid=21566] ppid=21564 vsize=187740 CPUtime=0.24 cores=0-7
/proc/21566/stat : 21566 (python) R 21564 21566 20784 0 -1 4202496 6798 934 1 0 18 6 0 0 17 0 1 0 662764286 192245760 4860 33554432000 4194304 5683644 140735550219216 18446744073709551615 216629552616 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21566/statm: 46935 4860 1380 364 0 3723 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 187740

[startup+0.700985 s]
/proc/loadavg: 7.55 7.99 7.99 2/447 21566
/proc/meminfo: memFree=24939548/32951124 swapFree=53501244/67111528
[pid=21566] ppid=21564 vsize=293276 CPUtime=0.61 cores=0-7
/proc/21566/stat : 21566 (python) R 21564 21566 20784 0 -1 4202496 12939 934 1 0 52 9 0 0 17 0 1 0 662764286 300314624 10621 33554432000 4194304 5683644 140735550219216 18446744073709551615 47141927981567 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21566/statm: 73319 10621 1761 364 0 9243 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 293276

[startup+1.50084 s]
/proc/loadavg: 7.55 7.99 7.99 2/448 21571
/proc/meminfo: memFree=24885848/32951124 swapFree=53501244/67111528
[pid=21566] ppid=21564 vsize=310100 CPUtime=1.41 cores=0-7
/proc/21566/stat : 21566 (python) R 21564 21566 20784 0 -1 4202496 21021 934 1 0 131 10 0 0 19 0 1 0 662764286 317542400 14910 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634175399 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21566/statm: 77525 14910 1826 364 0 13449 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 310100

[startup+3.10058 s]
/proc/loadavg: 7.03 7.87 7.95 2/448 21571
/proc/meminfo: memFree=24884732/32951124 swapFree=53501244/67111528
[pid=21566] ppid=21564 vsize=310100 CPUtime=3.01 cores=0-7
/proc/21566/stat : 21566 (python) R 21564 21566 20784 0 -1 4202496 21021 934 1 0 291 10 0 0 22 0 1 0 662764286 317542400 14910 33554432000 4194304 5683644 140735550219216 18446744073709551615 47141757268269 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/21566/statm: 77525 14910 1826 364 0 13449 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 310100

[startup+6.30097 s]
/proc/loadavg: 7.03 7.87 7.95 9/472 21596
/proc/meminfo: memFree=24793036/32951124 swapFree=53501244/67111528
[pid=21566] ppid=21564 vsize=454992 CPUtime=5.25 cores=0-7
/proc/21566/stat : 21566 (python) S 21564 21566 20784 0 -1 4202496 26316 934 1 0 513 12 0 0 22 0 9 0 662764286 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21566/statm: 113748 14463 1889 364 0 49645 0
[pid=21573] ppid=21566 vsize=307420 CPUtime=0 cores=0-7
/proc/21573/stat : 21573 (python) S 21566 21566 20784 0 -1 4202560 814 0 0 0 0 0 0 0 18 0 1 0 662764803 314798080 12766 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535439 0 0 16781312 514 7651734793331146751 0 0 17 1 0 0 0
/proc/21573/statm: 76855 12766 358 364 0 12773 0
[pid=21575] ppid=21573 vsize=12208 CPUtime=1.12 cores=0-7
/proc/21575/stat : 21575 (lingeling) R 21573 21575 21575 0 -1 4202496 3738 0 0 0 112 0 0 0 25 0 1 0 662764803 12500992 2216 33554432000 4194304 4352236 140736461332880 18446744073709551615 4328411 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/21575/statm: 3052 2216 129 39 0 2132 0
[pid=21576] ppid=21566 vsize=317676 CPUtime=0 cores=0-7
/proc/21576/stat : 21576 (python) S 21566 21566 20784 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 662764805 325300224 12759 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 12666910517948809475 0 0 17 1 0 0 0
/proc/21576/statm: 79419 12759 347 364 0 15334 0
[pid=21578] ppid=21576 vsize=53380 CPUtime=1.09 cores=0-7
/proc/21578/stat : 21578 (cryptominisat-2) R 21576 21578 21578 0 -1 4202496 7094 0 0 0 109 0 0 0 25 0 1 0 662764806 54661120 6694 33554432000 4194304 4677096 140734781088480 18446744073709551615 4465920 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21578/statm: 13345 6694 374 118 0 8304 0
[pid=21579] ppid=21566 vsize=393468 CPUtime=0 cores=0-7
/proc/21579/stat : 21579 (python) S 21566 21566 20784 0 -1 4202560 716 0 0 0 0 0 0 0 18 0 1 0 662764808 402911232 12881 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 7651730945040449535 0 0 17 1 0 0 0
/proc/21579/statm: 98367 12881 348 364 0 34279 0
[pid=21581] ppid=21579 vsize=12208 CPUtime=1.07 cores=0-7
/proc/21581/stat : 21581 (lingeling) R 21579 21581 21581 0 -1 4202496 3724 0 0 0 107 0 0 0 24 0 1 0 662764808 12500992 2216 33554432000 4194304 4352236 140737241330944 18446744073709551615 4328068 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/21581/statm: 3052 2216 129 39 0 2132 0
[pid=21582] ppid=21566 vsize=403724 CPUtime=0 cores=0-7
/proc/21582/stat : 21582 (python) S 21566 21566 20784 0 -1 4202560 729 0 0 0 0 0 0 0 18 0 1 0 662764810 413413376 12856 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 13762864675853172735 0 0 17 6 0 0 0
/proc/21582/statm: 100931 12856 348 364 0 36840 0
[pid=21584] ppid=21582 vsize=12208 CPUtime=1.03 cores=0-7
/proc/21584/stat : 21584 (lingeling) R 21582 21584 21584 0 -1 4202496 3723 0 0 0 103 0 0 0 25 0 1 0 662764810 12500992 2212 33554432000 4194304 4352236 140737317234032 18446744073709551615 4208777 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/21584/statm: 3052 2212 125 39 0 2132 0
[pid=21585] ppid=21566 vsize=413980 CPUtime=0 cores=0-7
/proc/21585/stat : 21585 (python) S 21566 21566 20784 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 662764813 423915520 12883 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 7651727096749752319 0 0 17 4 0 0 0
/proc/21585/statm: 103495 12883 348 364 0 39401 0
[pid=21587] ppid=21585 vsize=8104 CPUtime=1.02 cores=0-7
/proc/21587/stat : 21587 (SApperloT-base) R 21585 21587 21587 0 -1 4202496 1897 0 0 0 102 0 0 0 24 0 1 0 662764813 8298496 1642 33554432000 134512640 135674940 4289738000 18446744073709551615 134564219 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21587/statm: 2026 1642 99 284 0 1740 0
[pid=21588] ppid=21566 vsize=424236 CPUtime=0 cores=0-7
/proc/21588/stat : 21588 (python) S 21566 21566 20784 0 -1 4202560 730 0 0 0 0 0 0 0 21 0 1 0 662764815 434417664 12905 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 12894531140253122559 0 0 17 6 0 0 0
/proc/21588/statm: 106059 12905 344 364 0 41962 0
[pid=21590] ppid=21588 vsize=24848 CPUtime=0.97 cores=0-7
/proc/21590/stat : 21590 (precosat) R 21588 21590 21590 0 -1 4202496 6351 0 0 0 96 1 0 0 25 0 1 0 662764816 25444352 6074 33554432000 4194304 4890832 140736707140080 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/21590/statm: 6212 6074 85 171 0 6039 0
[pid=21591] ppid=21566 vsize=434492 CPUtime=0 cores=0-7
/proc/21591/stat : 21591 (python) S 21566 21566 20784 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 662764818 444919808 12924 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 5537144959821381889 0 0 17 0 0 0 0
/proc/21591/statm: 108623 12924 348 364 0 44523 0
[pid=21593] ppid=21591 vsize=47420 CPUtime=0.94 cores=0-7
/proc/21593/stat : 21593 (cryptominisat-2) R 21591 21593 21593 0 -1 4202496 5681 0 0 0 94 0 0 0 23 0 1 0 662764819 48558080 5409 33554432000 4194304 4677096 140735012591136 18446744073709551615 4462168 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/21593/statm: 11855 5409 368 118 0 6814 0
[pid=21594] ppid=21566 vsize=444748 CPUtime=0 cores=0-7
/proc/21594/stat : 21594 (python) S 21566 21566 20784 0 -1 4202560 773 0 0 0 0 0 0 0 21 0 1 0 662764821 455421952 12920 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 10763622080286031871 0 0 17 6 0 0 0
/proc/21594/statm: 111187 12920 350 364 0 47084 0
[pid=21596] ppid=21594 vsize=12208 CPUtime=0.94 cores=0-7
/proc/21596/stat : 21596 (lingeling) R 21594 21596 21596 0 -1 4202496 3737 0 0 0 94 0 0 0 25 0 1 0 662764821 12500992 2213 33554432000 4194304 4352236 140734701252048 18446744073709551615 4267768 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/21596/statm: 3052 2213 125 39 0 2132 0
[pid=21566/tid=21574] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21574/stat : 21574 (python) S 21564 21566 20784 0 -1 4202560 24 934 0 0 0 0 0 0 25 0 9 0 662764803 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 0 0 0 0
[pid=21566/tid=21577] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21577/stat : 21577 (python) S 21564 21566 20784 0 -1 4202560 23 934 0 0 0 0 0 0 18 0 9 0 662764805 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 3 0 0 0
[pid=21566/tid=21580] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21580/stat : 21580 (python) S 21564 21566 20784 0 -1 4202560 70 934 0 0 0 0 0 0 19 0 9 0 662764808 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 6 0 0 0
[pid=21566/tid=21583] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21583/stat : 21583 (python) S 21564 21566 20784 0 -1 4202560 32 934 0 0 0 0 0 0 21 0 9 0 662764810 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 0 0 0 0
[pid=21566/tid=21586] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21586/stat : 21586 (python) S 21564 21566 20784 0 -1 4202560 32 934 0 0 0 0 0 0 18 0 9 0 662764813 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 4 0 0 0
[pid=21566/tid=21589] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21589/stat : 21589 (python) S 21564 21566 20784 0 -1 4202560 33 934 0 0 0 0 0 0 22 0 9 0 662764816 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 6 0 0 0
[pid=21566/tid=21592] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21592/stat : 21592 (python) S 21564 21566 20784 0 -1 4202560 35 934 0 0 0 0 0 0 20 0 9 0 662764818 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 6 0 0 0
[pid=21566/tid=21595] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21595/stat : 21595 (python) S 21564 21566 20784 0 -1 4202560 34 934 0 0 0 0 0 0 22 0 9 0 662764821 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.43
Current children cumulated vsize (KiB) 3777320

[startup+12.7018 s]
/proc/loadavg: 7.17 7.87 7.95 9/472 21596
/proc/meminfo: memFree=24734896/32951124 swapFree=53501244/67111528
[pid=21566] ppid=21564 vsize=454992 CPUtime=5.25 cores=0-7
/proc/21566/stat : 21566 (python) S 21564 21566 20784 0 -1 4202496 26316 934 1 0 513 12 0 0 22 0 9 0 662764286 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21566/statm: 113748 14463 1889 364 0 49645 0
[pid=21573] ppid=21566 vsize=307420 CPUtime=0.02 cores=0-7
/proc/21573/stat : 21573 (python) S 21566 21566 20784 0 -1 4202560 991 0 0 0 1 1 0 0 18 0 1 0 662764803 314798080 12789 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535439 0 0 16781312 514 7651734793331114241 0 0 17 1 0 0 0
/proc/21573/statm: 76855 12789 381 364 0 12773 0
[pid=21575] ppid=21573 vsize=14096 CPUtime=7.52 cores=0-7
/proc/21575/stat : 21575 (lingeling) R 21573 21575 21575 0 -1 4202496 4210 0 0 0 752 0 0 0 25 0 1 0 662764803 14434304 2688 33554432000 4194304 4352236 140736461332880 18446744073709551615 4328126 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/21575/statm: 3524 2688 129 39 0 2604 0
[pid=21576] ppid=21566 vsize=317676 CPUtime=0.02 cores=0-7
/proc/21576/stat : 21576 (python) S 21566 21566 20784 0 -1 4202560 922 0 0 0 1 1 0 0 15 0 1 0 662764805 325300224 12782 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 12666910517948809475 0 0 17 1 0 0 0
/proc/21576/statm: 79419 12782 370 364 0 15334 0
[pid=21578] ppid=21576 vsize=58140 CPUtime=7.49 cores=0-7
/proc/21578/stat : 21578 (cryptominisat-2) R 21576 21578 21578 0 -1 4202496 10404 0 0 0 749 0 0 0 25 0 1 0 662764806 59535360 7634 33554432000 4194304 4677096 140734781088480 18446744073709551615 4462744 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21578/statm: 14535 7634 388 118 0 9494 0
[pid=21579] ppid=21566 vsize=393468 CPUtime=0.02 cores=0-7
/proc/21579/stat : 21579 (python) S 21566 21566 20784 0 -1 4202560 799 0 0 0 1 1 0 0 18 0 1 0 662764808 402911232 12904 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 7651730945040417025 0 0 17 1 0 0 0
/proc/21579/statm: 98367 12904 371 364 0 34279 0
[pid=21581] ppid=21579 vsize=14140 CPUtime=7.47 cores=0-7
/proc/21581/stat : 21581 (lingeling) R 21579 21581 21581 0 -1 4202496 4207 0 0 0 747 0 0 0 25 0 1 0 662764808 14479360 2699 33554432000 4194304 4352236 140737241330944 18446744073709551615 4328026 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/21581/statm: 3535 2699 129 39 0 2615 0
[pid=21582] ppid=21566 vsize=403724 CPUtime=0.01 cores=0-7
/proc/21582/stat : 21582 (python) S 21566 21566 20784 0 -1 4202560 808 0 0 0 0 1 0 0 18 0 1 0 662764810 413413376 12879 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 13762864675853140228 0 0 17 6 0 0 0
/proc/21582/statm: 100931 12879 371 364 0 36840 0
[pid=21584] ppid=21582 vsize=14576 CPUtime=7.32 cores=0-7
/proc/21584/stat : 21584 (lingeling) R 21582 21584 21584 0 -1 4202496 4319 0 0 0 732 0 0 0 25 0 1 0 662764810 14925824 2808 33554432000 4194304 4352236 140737317234032 18446744073709551615 4328116 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/21584/statm: 3644 2808 129 39 0 2724 0
[pid=21585] ppid=21566 vsize=413980 CPUtime=0.01 cores=0-7
/proc/21585/stat : 21585 (python) S 21566 21566 20784 0 -1 4202560 817 0 0 0 1 0 0 0 18 0 1 0 662764813 423915520 12906 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 7651727096749719810 0 0 17 4 0 0 0
/proc/21585/statm: 103495 12906 371 364 0 39401 0
[pid=21587] ppid=21585 vsize=14852 CPUtime=7.4 cores=0-7
/proc/21587/stat : 21587 (SApperloT-base) R 21585 21587 21587 0 -1 4202496 3582 0 0 0 739 1 0 0 25 0 1 0 662764813 15208448 3294 33554432000 134512640 135674940 4289738000 18446744073709551615 134564274 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/21587/statm: 3713 3294 99 284 0 3427 0
[pid=21588] ppid=21566 vsize=424236 CPUtime=0.01 cores=0-7
/proc/21588/stat : 21588 (python) S 21566 21566 20784 0 -1 4202560 831 0 0 0 1 0 0 0 18 0 1 0 662764815 434417664 12932 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 12894531140253090051 0 0 17 6 0 0 0
/proc/21588/statm: 106059 12932 371 364 0 41962 0
[pid=21590] ppid=21588 vsize=24848 CPUtime=7.31 cores=0-7
/proc/21590/stat : 21590 (precosat) R 21588 21590 21590 0 -1 4202496 6351 0 0 0 730 1 0 0 25 0 1 0 662764816 25444352 6074 33554432000 4194304 4890832 140736707140080 18446744073709551615 4238565 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/21590/statm: 6212 6074 85 171 0 6039 0
[pid=21591] ppid=21566 vsize=434492 CPUtime=0.02 cores=0-7
/proc/21591/stat : 21591 (python) S 21566 21566 20784 0 -1 4202560 842 0 0 0 1 1 0 0 15 0 1 0 662764818 444919808 12947 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 5537144959821381889 0 0 17 0 0 0 0
/proc/21591/statm: 108623 12947 371 364 0 44523 0

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

[pid=21594] ppid=21566 vsize=444748 CPUtime=0.16 cores=0-7
/proc/21594/stat : 21594 (python) S 21566 21566 20784 0 -1 4202560 875 0 0 0 9 7 0 0 18 0 1 0 662764821 455421952 12947 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 623308743739670784 0 0 17 6 0 0 0
/proc/21594/statm: 111187 12947 377 364 0 47084 0
[pid=21596] ppid=21594 vsize=19792 CPUtime=47.16 cores=0-7
/proc/21596/stat : 21596 (lingeling) R 21594 21596 21596 0 -1 4202496 5656 0 0 0 4716 0 0 0 25 0 1 0 662764821 20267008 4132 33554432000 4194304 4352236 140734701252048 18446744073709551615 4328109 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/21596/statm: 4948 4132 129 39 0 4028 0
[pid=21566/tid=21574] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21574/stat : 21574 (python) S 21564 21566 20784 0 -1 4202560 24 934 0 0 0 0 0 0 25 0 9 0 662764803 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 0 0 0 0
[pid=21566/tid=21577] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21577/stat : 21577 (python) S 21564 21566 20784 0 -1 4202560 23 934 0 0 0 0 0 0 18 0 9 0 662764805 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 3 0 0 0
[pid=21566/tid=21580] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21580/stat : 21580 (python) S 21564 21566 20784 0 -1 4202560 70 934 0 0 0 0 0 0 19 0 9 0 662764808 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 6 0 0 0
[pid=21566/tid=21583] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21583/stat : 21583 (python) S 21564 21566 20784 0 -1 4202560 32 934 0 0 0 0 0 0 21 0 9 0 662764810 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 0 0 0 0
[pid=21566/tid=21586] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21586/stat : 21586 (python) S 21564 21566 20784 0 -1 4202560 32 934 0 0 0 0 0 0 18 0 9 0 662764813 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 4 0 0 0
[pid=21566/tid=21589] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21589/stat : 21589 (python) S 21564 21566 20784 0 -1 4202560 33 934 0 0 0 0 0 0 22 0 9 0 662764816 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 6 0 0 0
[pid=21566/tid=21592] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21592/stat : 21592 (python) S 21564 21566 20784 0 -1 4202560 35 934 0 0 0 0 0 0 20 0 9 0 662764818 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 6 0 0 0
[pid=21566/tid=21595] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21595/stat : 21595 (python) S 21564 21566 20784 0 -1 4202560 34 934 0 0 0 0 0 0 22 0 9 0 662764821 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 383.89
Current children cumulated vsize (KiB) 3887908

[startup+53.1017 s]
/proc/loadavg: 7.58 7.89 7.95 10/472 21597
/proc/meminfo: memFree=24662164/32951124 swapFree=53501244/67111528
[pid=21566] ppid=21564 vsize=454992 CPUtime=5.25 cores=0-7
/proc/21566/stat : 21566 (python) S 21564 21566 20784 0 -1 4202496 26316 934 1 0 513 12 0 0 22 0 9 0 662764286 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21566/statm: 113748 14463 1889 364 0 49645 0
[pid=21573] ppid=21566 vsize=307420 CPUtime=0.16 cores=0-7
/proc/21573/stat : 21573 (python) S 21566 21566 20784 0 -1 4202560 1011 0 0 0 8 8 0 0 18 0 1 0 662764803 314798080 12789 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535439 0 0 16781312 514 623308743739670785 0 0 17 1 0 0 0
/proc/21573/statm: 76855 12789 381 364 0 12773 0
[pid=21575] ppid=21573 vsize=19824 CPUtime=47.92 cores=0-7
/proc/21575/stat : 21575 (lingeling) R 21573 21575 21575 0 -1 4202496 5642 0 0 0 4792 0 0 0 25 0 1 0 662764803 20299776 4120 33554432000 4194304 4352236 140736461332880 18446744073709551615 4328114 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/21575/statm: 4956 4120 129 39 0 4036 0
[pid=21576] ppid=21566 vsize=317676 CPUtime=0.19 cores=0-7
/proc/21576/stat : 21576 (python) S 21566 21566 20784 0 -1 4202560 952 0 0 0 10 9 0 0 15 0 1 0 662764805 325300224 12782 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 623308743739670787 0 0 17 3 0 0 0
/proc/21576/statm: 79419 12782 370 364 0 15334 0
[pid=21578] ppid=21576 vsize=91280 CPUtime=47.84 cores=0-7
/proc/21578/stat : 21578 (cryptominisat-2) R 21576 21578 21578 0 -1 4202496 21869 0 0 0 4780 4 0 0 25 0 1 0 662764806 93470720 13261 33554432000 4194304 4677096 140734781088480 18446744073709551615 4319818 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21578/statm: 22820 13261 388 118 0 17779 0
[pid=21579] ppid=21566 vsize=393468 CPUtime=0.16 cores=0-7
/proc/21579/stat : 21579 (python) S 21566 21566 20784 0 -1 4202560 799 0 0 0 9 7 0 0 18 0 1 0 662764808 402911232 12904 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 623308743739670785 0 0 17 1 0 0 0
/proc/21579/statm: 98367 12904 371 364 0 34279 0
[pid=21581] ppid=21579 vsize=19948 CPUtime=47.86 cores=0-7
/proc/21581/stat : 21581 (lingeling) R 21579 21581 21581 0 -1 4202496 5659 0 0 0 4786 0 0 0 25 0 1 0 662764808 20426752 4151 33554432000 4194304 4352236 140737241330944 18446744073709551615 4328423 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/21581/statm: 4987 4151 129 39 0 4067 0
[pid=21582] ppid=21566 vsize=403724 CPUtime=0.15 cores=0-7
/proc/21582/stat : 21582 (python) S 21566 21566 20784 0 -1 4202560 808 0 0 0 7 8 0 0 18 0 1 0 662764810 413413376 12879 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 623308743739670788 0 0 17 6 0 0 0
/proc/21582/statm: 100931 12879 371 364 0 36840 0
[pid=21584] ppid=21582 vsize=19848 CPUtime=47.05 cores=0-7
/proc/21584/stat : 21584 (lingeling) R 21582 21584 21584 0 -1 4202496 5637 0 0 0 4705 0 0 0 25 0 1 0 662764810 20324352 4126 33554432000 4194304 4352236 140737317234032 18446744073709551615 4328087 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/21584/statm: 4962 4126 129 39 0 4042 0
[pid=21585] ppid=21566 vsize=413980 CPUtime=0.88 cores=0-7
/proc/21585/stat : 21585 (python) R 21566 21566 20784 0 -1 4202560 821 0 0 0 69 19 0 0 18 0 1 0 662764813 423915520 12908 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646345535 0 0 16781312 514 0 0 0 17 4 0 0 0
/proc/21585/statm: 103495 12908 371 364 0 39401 0
[pid=21587] ppid=21585 vsize=0 CPUtime=46.91 cores=0-7
/proc/21587/stat : 21587 (SApperloT-base) R 21585 21587 21587 0 -1 4202500 7444 0 0 0 4690 1 0 0 25 0 1 0 662764813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/21587/statm: 0 0 0 0 0 0 0
[pid=21588] ppid=21566 vsize=424236 CPUtime=0.15 cores=0-7
/proc/21588/stat : 21588 (python) S 21566 21566 20784 0 -1 4202560 831 0 0 0 7 8 0 0 18 0 1 0 662764815 434417664 12932 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 623308743739670787 0 0 17 6 0 0 0
/proc/21588/statm: 106059 12932 371 364 0 41962 0
[pid=21590] ppid=21588 vsize=31168 CPUtime=47.3 cores=0-7
/proc/21590/stat : 21590 (precosat) R 21588 21590 21590 0 -1 4202496 15942 0 0 0 4727 3 0 0 25 0 1 0 662764816 31916032 7660 33554432000 4194304 4890832 140736707140080 18446744073709551615 4238544 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/21590/statm: 7792 7660 85 171 0 7619 0
[pid=21591] ppid=21566 vsize=434492 CPUtime=0.18 cores=0-7
/proc/21591/stat : 21591 (python) S 21566 21566 20784 0 -1 4202560 851 0 0 0 9 9 0 0 15 0 1 0 662764818 444919808 12947 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 623308743739670785 0 0 17 0 0 0 0
/proc/21591/statm: 108623 12947 371 364 0 44523 0
[pid=21593] ppid=21591 vsize=91312 CPUtime=47.26 cores=0-7
/proc/21593/stat : 21593 (cryptominisat-2) R 21591 21593 21593 0 -1 4202496 22068 0 0 0 4722 4 0 0 25 0 1 0 662764819 93503488 13354 33554432000 4194304 4677096 140735012591136 18446744073709551615 4319770 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/21593/statm: 22828 13354 388 118 0 17787 0
[pid=21594] ppid=21566 vsize=444748 CPUtime=0.16 cores=0-7
/proc/21594/stat : 21594 (python) S 21566 21566 20784 0 -1 4202560 875 0 0 0 9 7 0 0 18 0 1 0 662764821 455421952 12947 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 623308743739670784 0 0 17 6 0 0 0
/proc/21594/statm: 111187 12947 377 364 0 47084 0
[pid=21596] ppid=21594 vsize=19792 CPUtime=47.55 cores=0-7
/proc/21596/stat : 21596 (lingeling) R 21594 21596 21596 0 -1 4202496 5656 0 0 0 4755 0 0 0 25 0 1 0 662764821 20267008 4132 33554432000 4194304 4352236 140734701252048 18446744073709551615 4207874 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/21596/statm: 4948 4132 129 39 0 4028 0
[pid=21566/tid=21574] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21574/stat : 21574 (python) S 21564 21566 20784 0 -1 4202560 24 934 0 0 0 0 0 0 25 0 9 0 662764803 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 0 0 0 0
[pid=21566/tid=21577] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21577/stat : 21577 (python) S 21564 21566 20784 0 -1 4202560 23 934 0 0 0 0 0 0 18 0 9 0 662764805 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 3 0 0 0
[pid=21566/tid=21580] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21580/stat : 21580 (python) S 21564 21566 20784 0 -1 4202560 70 934 0 0 0 0 0 0 19 0 9 0 662764808 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 6 0 0 0
[pid=21566/tid=21583] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21583/stat : 21583 (python) S 21564 21566 20784 0 -1 4202560 32 934 0 0 0 0 0 0 21 0 9 0 662764810 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 0 0 0 0
[pid=21566/tid=21586] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21586/stat : 21586 (python) S 21564 21566 20784 0 -1 4202560 32 934 0 0 0 0 0 0 18 0 9 0 662764813 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 4 0 0 0
[pid=21566/tid=21589] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21589/stat : 21589 (python) S 21564 21566 20784 0 -1 4202560 33 934 0 0 0 0 0 0 22 0 9 0 662764816 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 6 0 0 0
[pid=21566/tid=21592] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21592/stat : 21592 (python) S 21564 21566 20784 0 -1 4202560 35 934 0 0 0 0 0 0 20 0 9 0 662764818 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 6 0 0 0
[pid=21566/tid=21595] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21595/stat : 21595 (python) S 21564 21566 20784 0 -1 4202560 34 934 0 0 0 0 0 0 22 0 9 0 662764821 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 386.97
Current children cumulated vsize (KiB) 3887908

[startup+53.2017 s]
/proc/loadavg: 7.58 7.89 7.95 10/472 21597
/proc/meminfo: memFree=24662164/32951124 swapFree=53501244/67111528
[pid=21566] ppid=21564 vsize=454992 CPUtime=5.25 cores=0-7
/proc/21566/stat : 21566 (python) S 21564 21566 20784 0 -1 4202496 26316 934 1 0 513 12 0 0 22 0 9 0 662764286 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646342091 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21566/statm: 113748 14463 1889 364 0 49645 0
[pid=21573] ppid=21566 vsize=307420 CPUtime=0.16 cores=0-7
/proc/21573/stat : 21573 (python) S 21566 21566 20784 0 -1 4202560 1011 0 0 0 8 8 0 0 18 0 1 0 662764803 314798080 12789 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535439 0 0 16781312 514 623308743739670785 0 0 17 1 0 0 0
/proc/21573/statm: 76855 12789 381 364 0 12773 0
[pid=21575] ppid=21573 vsize=19824 CPUtime=48.02 cores=0-7
/proc/21575/stat : 21575 (lingeling) R 21573 21575 21575 0 -1 4202496 5642 0 0 0 4802 0 0 0 25 0 1 0 662764803 20299776 4120 33554432000 4194304 4352236 140736461332880 18446744073709551615 4328026 0 0 16781312 17506 0 0 0 17 2 0 0 0
/proc/21575/statm: 4956 4120 129 39 0 4036 0
[pid=21576] ppid=21566 vsize=317676 CPUtime=0.19 cores=0-7
/proc/21576/stat : 21576 (python) S 21566 21566 20784 0 -1 4202560 952 0 0 0 10 9 0 0 15 0 1 0 662764805 325300224 12782 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 12666910517948809475 0 0 17 3 0 0 0
/proc/21576/statm: 79419 12782 370 364 0 15334 0
[pid=21578] ppid=21576 vsize=91280 CPUtime=47.94 cores=0-7
/proc/21578/stat : 21578 (cryptominisat-2) R 21576 21578 21578 0 -1 4202496 21884 0 0 0 4790 4 0 0 25 0 1 0 662764806 93470720 13276 33554432000 4194304 4677096 140734781088480 18446744073709551615 4319830 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/21578/statm: 22820 13276 388 118 0 17779 0
[pid=21579] ppid=21566 vsize=393468 CPUtime=0.16 cores=0-7
/proc/21579/stat : 21579 (python) S 21566 21566 20784 0 -1 4202560 799 0 0 0 9 7 0 0 18 0 1 0 662764808 402911232 12904 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 623308743739670785 0 0 17 1 0 0 0
/proc/21579/statm: 98367 12904 371 364 0 34279 0
[pid=21581] ppid=21579 vsize=19948 CPUtime=47.96 cores=0-7
/proc/21581/stat : 21581 (lingeling) R 21579 21581 21581 0 -1 4202496 5659 0 0 0 4796 0 0 0 25 0 1 0 662764808 20426752 4151 33554432000 4194304 4352236 140737241330944 18446744073709551615 4328100 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/21581/statm: 4987 4151 129 39 0 4067 0
[pid=21582] ppid=21566 vsize=403724 CPUtime=0.15 cores=0-7
/proc/21582/stat : 21582 (python) S 21566 21566 20784 0 -1 4202560 808 0 0 0 7 8 0 0 18 0 1 0 662764810 413413376 12879 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 623308743739670788 0 0 17 6 0 0 0
/proc/21582/statm: 100931 12879 371 364 0 36840 0
[pid=21584] ppid=21582 vsize=19848 CPUtime=47.15 cores=0-7
/proc/21584/stat : 21584 (lingeling) R 21582 21584 21584 0 -1 4202496 5637 0 0 0 4715 0 0 0 25 0 1 0 662764810 20324352 4126 33554432000 4194304 4352236 140737317234032 18446744073709551615 4328114 0 0 16781312 17506 0 0 0 17 7 0 0 0
/proc/21584/statm: 4962 4126 129 39 0 4042 0
[pid=21585] ppid=21566 vsize=413980 CPUtime=0.98 cores=0-7
/proc/21585/stat : 21585 (python) R 21566 21566 20784 0 -1 4202560 821 0 0 0 78 20 0 0 18 0 1 0 662764813 423915520 12908 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646345535 0 0 16781312 514 0 0 0 17 4 0 0 0
/proc/21585/statm: 103495 12908 371 364 0 39401 0
[pid=21587] ppid=21585 vsize=0 CPUtime=46.91 cores=0-7
/proc/21587/stat : 21587 (SApperloT-base) R 21585 21587 21587 0 -1 4202500 7444 0 0 0 4690 1 0 0 25 0 1 0 662764813 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/21587/statm: 0 0 0 0 0 0 0
[pid=21588] ppid=21566 vsize=424236 CPUtime=0.15 cores=0-7
/proc/21588/stat : 21588 (python) S 21566 21566 20784 0 -1 4202560 831 0 0 0 7 8 0 0 18 0 1 0 662764815 434417664 12932 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 623308743739670787 0 0 17 6 0 0 0
/proc/21588/statm: 106059 12932 371 364 0 41962 0
[pid=21590] ppid=21588 vsize=31168 CPUtime=47.4 cores=0-7
/proc/21590/stat : 21590 (precosat) R 21588 21590 21590 0 -1 4202496 15942 0 0 0 4737 3 0 0 25 0 1 0 662764816 31916032 7660 33554432000 4194304 4890832 140736707140080 18446744073709551615 4273359 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/21590/statm: 7792 7660 85 171 0 7619 0
[pid=21591] ppid=21566 vsize=434492 CPUtime=0.18 cores=0-7
/proc/21591/stat : 21591 (python) S 21566 21566 20784 0 -1 4202560 851 0 0 0 9 9 0 0 15 0 1 0 662764818 444919808 12947 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 5537144959821381889 0 0 17 0 0 0 0
/proc/21591/statm: 108623 12947 371 364 0 44523 0
[pid=21593] ppid=21591 vsize=91312 CPUtime=47.36 cores=0-7
/proc/21593/stat : 21593 (cryptominisat-2) R 21591 21593 21593 0 -1 4202496 22083 0 0 0 4732 4 0 0 25 0 1 0 662764819 93503488 13369 33554432000 4194304 4677096 140735012591136 18446744073709551615 4319804 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/21593/statm: 22828 13369 388 118 0 17787 0
[pid=21594] ppid=21566 vsize=444748 CPUtime=0.16 cores=0-7
/proc/21594/stat : 21594 (python) S 21566 21566 20784 0 -1 4202560 875 0 0 0 9 7 0 0 18 0 1 0 662764821 455421952 12947 33554432000 4194304 5683644 140735550219216 18446744073709551615 216634535494 0 0 16781312 514 623308743739670784 0 0 17 6 0 0 0
/proc/21594/statm: 111187 12947 377 364 0 47084 0
[pid=21596] ppid=21594 vsize=19792 CPUtime=47.65 cores=0-7
/proc/21596/stat : 21596 (lingeling) R 21594 21596 21596 0 -1 4202496 5656 0 0 0 4765 0 0 0 25 0 1 0 662764821 20267008 4132 33554432000 4194304 4352236 140734701252048 18446744073709551615 4328114 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/21596/statm: 4948 4132 129 39 0 4028 0
[pid=21566/tid=21574] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21574/stat : 21574 (python) S 21564 21566 20784 0 -1 4202560 24 934 0 0 0 0 0 0 25 0 9 0 662764803 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 0 0 0 0
[pid=21566/tid=21577] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21577/stat : 21577 (python) S 21564 21566 20784 0 -1 4202560 23 934 0 0 0 0 0 0 18 0 9 0 662764805 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 3 0 0 0
[pid=21566/tid=21580] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21580/stat : 21580 (python) S 21564 21566 20784 0 -1 4202560 70 934 0 0 0 0 0 0 19 0 9 0 662764808 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 6 0 0 0
[pid=21566/tid=21583] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21583/stat : 21583 (python) S 21564 21566 20784 0 -1 4202560 32 934 0 0 0 0 0 0 21 0 9 0 662764810 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 0 0 0 0
[pid=21566/tid=21586] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21586/stat : 21586 (python) S 21564 21566 20784 0 -1 4202560 32 934 0 0 0 0 0 0 18 0 9 0 662764813 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 4 0 0 0
[pid=21566/tid=21589] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21589/stat : 21589 (python) S 21564 21566 20784 0 -1 4202560 33 934 0 0 0 0 0 0 22 0 9 0 662764816 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 6 0 0 0
[pid=21566/tid=21592] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21592/stat : 21592 (python) S 21564 21566 20784 0 -1 4202560 35 934 0 0 0 0 0 0 20 0 9 0 662764818 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 6 0 0 0
[pid=21566/tid=21595] ppid=21564 vsize=454992 CPUtime=0 cores=0-7
/proc/21566/task/21595/stat : 21595 (python) S 21564 21566 20784 0 -1 4202560 34 934 0 0 0 0 0 0 22 0 9 0 662764821 465911808 14463 33554432000 4194304 5683644 140735550219216 18446744073709551615 216646338993 0 0 16781312 2 18446604453214893056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 387.77
Current children cumulated vsize (KiB) 3887908

Child status: 0
Real time (s): 53.2851
CPU time (s): 388.355
CPU user time (s): 387.219
CPU system time (s): 1.13583
CPU usage (%): 728.824
Max. virtual memory (cumulated for all children) (KiB): 3918156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 387.219
system time used= 1.13583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132040
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= 2092
involuntary context switches= 2418

runsolver used 0.287956 second user time and 0.584911 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-16 04:06:57
IDJOB=3381286
IDBENCH=85975
IDSOLVER=1864
FILE ID=node103/3381286-1305511616
RUNJOBID= node103-1305506590-20798
PBS_JOBID= 13325503
Free space on /tmp= 73124 MiB

SOLVER NAME= borg-sat 11.03.02-par-industrial (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.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-3381286-1305511616/watcher-3381286-1305511616 -o /tmp/evaluation-result-3381286-1305511616/solver-3381286-1305511616 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3381286-1305511616.cnf -seed 1383330867 -budget 40000 -cores 8

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

MD5SUM BENCH= 833432e05c2a1599e13dca28680b5df9
RANDOM SEED=1383330867

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24939704 kB
Buffers:        340768 kB
Cached:        4194780 kB
SwapCached:     340184 kB
Active:        2498388 kB
Inactive:      5211612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24939704 kB
SwapTotal:    67111528 kB
SwapFree:     53501244 kB
Dirty:           34680 kB
Writeback:           0 kB
AnonPages:     2845484 kB
Mapped:          21216 kB
Slab:           164792 kB
PageTables:      66012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 137663896 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= 73092 MiB
End job on node103 at 2011-05-16 04:07:50