Trace number 3394776

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
Plingeling 587f (fixed)SAT 28979.9 3627.75

General information on the benchmark

NameSAT04/handmade/kexu/frb-0.6/
frb75-13-2.used-as.sat04-878.cnf
MD5SUM00e6f1cbbaaa8f43dc6451d49bfa1cef
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.07184
Satisfiable
(Un)Satisfiability was proved
Number of variables975
Number of clauses34275
Sum of the clauses size69375
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 234200
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575

Solver Data 

28979.85/3627.75	s SATISFIABLE
28979.85/3627.75	v -1 -2 -3 -4 -5 6 -7
28979.85/3627.75	v -8 -9 -10 -11 -12 -13 -14 -15
28979.85/3627.75	v -16 -17 -18 -19 -20 -21 -22 -23
28979.85/3627.75	v -24 -25 26 -27 -28 -29 -30 -31
28979.85/3627.75	v -32 -33 -34 -35 -36 37 -38 -39
28979.85/3627.75	v -40 -41 -42 43 -44 -45 -46 -47
28979.85/3627.75	v -48 -49 -50 -51 -52 53 -54 -55
28979.85/3627.75	v -56 -57 -58 -59 -60 -61 -62 -63
28979.85/3627.75	v -64 -65 -66 -67 -68 -69 -70 -71
28979.85/3627.75	v -72 -73 74 -75 -76 -77 -78 -79
28979.85/3627.75	v -80 -81 -82 -83 -84 85 -86 -87
28979.85/3627.75	v -88 -89 -90 -91 -92 -93 -94 -95
28979.85/3627.75	v -96 -97 -98 -99 -100 -101 -102 -103
28979.85/3627.75	v 104 -105 -106 -107 -108 -109 -110 -111
28979.85/3627.75	v -112 -113 114 -115 -116 -117 -118 119
28979.85/3627.75	v -120 -121 -122 -123 -124 -125 -126 -127
28979.85/3627.75	v -128 -129 -130 -131 -132 -133 -134 -135
28979.85/3627.75	v -136 -137 138 -139 -140 -141 -142 -143
28979.85/3627.75	v -144 -145 -146 -147 -148 -149 -150 151
28979.85/3627.75	v -152 -153 -154 -155 -156 -157 -158 -159
28979.85/3627.75	v -160 -161 162 -163 -164 -165 -166 -167
28979.85/3627.75	v -168 -169 -170 -171 -172 -173 -174 -175
28979.85/3627.75	v -176 -177 -178 -179 -180 181 -182 -183
28979.85/3627.75	v 184 -185 -186 -187 -188 -189 -190 -191
28979.85/3627.75	v -192 -193 -194 -195 -196 -197 -198 -199
28979.85/3627.75	v -200 -201 202 -203 -204 -205 -206 -207
28979.85/3627.75	v -208 -209 -210 -211 -212 -213 -214 -215
28979.85/3627.75	v 216 -217 -218 -219 -220 -221 -222 -223
28979.85/3627.75	v 224 -225 -226 -227 -228 -229 -230 -231
28979.85/3627.75	v -232 -233 -234 -235 -236 -237 238 -239
28979.85/3627.75	v -240 -241 -242 -243 -244 -245 -246 -247
28979.85/3627.75	v -248 -249 -250 -251 -252 -253 -254 -255
28979.85/3627.75	v -256 -257 -258 -259 260 -261 -262 -263
28979.85/3627.75	v 264 -265 -266 -267 -268 -269 -270 -271
28979.85/3627.75	v -272 -273 -274 -275 -276 -277 -278 -279
28979.85/3627.75	v -280 -281 -282 283 -284 -285 -286 -287
28979.85/3627.75	v -288 -289 -290 291 -292 -293 -294 -295
28979.85/3627.75	v -296 -297 -298 -299 300 -301 -302 -303
28979.85/3627.75	v -304 -305 -306 -307 -308 -309 -310 -311
28979.85/3627.75	v -312 -313 -314 315 -316 -317 -318 -319
28979.85/3627.75	v -320 -321 -322 -323 -324 -325 -326 -327
28979.85/3627.75	v -328 -329 -330 -331 -332 -333 -334 -335
28979.85/3627.75	v -336 -337 338 339 -340 -341 -342 -343
28979.85/3627.75	v -344 -345 -346 -347 -348 -349 -350 -351
28979.85/3627.75	v -352 -353 -354 -355 -356 -357 -358 -359
28979.85/3627.75	v -360 -361 362 -363 -364 -365 -366 -367
28979.85/3627.75	v -368 -369 -370 -371 -372 -373 -374 375
28979.85/3627.75	v -376 -377 -378 -379 -380 -381 -382 -383
28979.85/3627.75	v 384 -385 -386 -387 -388 -389 -390 -391
28979.85/3627.75	v 392 -393 -394 -395 -396 -397 -398 -399
28979.85/3627.75	v -400 -401 -402 -403 -404 -405 -406 -407
28979.85/3627.75	v -408 -409 -410 -411 412 -413 -414 -415
28979.85/3627.75	v -416 -417 -418 -419 -420 -421 -422 -423
28979.85/3627.75	v -424 425 -426 -427 -428 -429 -430 431
28979.85/3627.75	v -432 -433 -434 -435 -436 -437 -438 -439
28979.85/3627.75	v -440 -441 -442 -443 -444 -445 -446 447
28979.85/3627.75	v -448 -449 -450 -451 -452 -453 -454 -455
28979.85/3627.75	v -456 -457 -458 -459 -460 461 -462 -463
28979.85/3627.75	v -464 -465 -466 -467 -468 -469 -470 -471
28979.85/3627.75	v 472 -473 -474 -475 -476 -477 -478 -479
28979.85/3627.75	v -480 -481 -482 -483 -484 -485 -486 -487
28979.85/3627.75	v -488 489 -490 -491 -492 -493 -494 -495
28979.85/3627.75	v -496 -497 -498 -499 500 -501 -502 -503
28979.85/3627.75	v -504 -505 -506 -507 -508 -509 -510 -511
28979.85/3627.75	v -512 -513 -514 -515 516 -517 -518 -519
28979.85/3627.75	v -520 -521 -522 -523 -524 -525 -526 -527
28979.85/3627.75	v -528 -529 -530 -531 532 -533 -534 -535
28979.85/3627.75	v -536 -537 -538 -539 -540 541 -542 -543
28979.85/3627.75	v -544 -545 -546 547 -548 -549 -550 -551
28979.85/3627.75	v -552 -553 -554 -555 -556 -557 -558 -559
28979.85/3627.75	v -560 -561 -562 -563 -564 -565 -566 567
28979.85/3627.75	v -568 -569 -570 -571 -572 -573 -574 -575
28979.85/3627.75	v -576 -577 -578 -579 580 -581 -582 -583
28979.85/3627.75	v -584 -585 -586 -587 -588 -589 -590 -591
28979.85/3627.75	v -592 -593 -594 -595 -596 -597 598 -599
28979.85/3627.75	v -600 -601 -602 -603 -604 -605 -606 -607
28979.85/3627.75	v -608 609 -610 -611 -612 -613 -614 615
28979.85/3627.75	v -616 -617 -618 -619 -620 -621 -622 -623
28979.85/3627.75	v -624 -625 -626 -627 -628 -629 630 -631
28979.85/3627.75	v -632 -633 -634 -635 -636 -637 -638 -639
28979.85/3627.75	v -640 -641 -642 643 -644 -645 -646 -647
28979.85/3627.75	v -648 -649 -650 -651 -652 -653 -654 -655
28979.85/3627.75	v -656 -657 -658 659 -660 -661 -662 -663
28979.85/3627.75	v -664 -665 -666 -667 -668 -669 -670 -671
28979.85/3627.75	v -672 -673 -674 -675 676 -677 -678 -679
28979.85/3627.75	v -680 -681 -682 -683 -684 -685 686 -687
28979.85/3627.75	v -688 -689 690 -691 -692 -693 -694 -695
28979.85/3627.75	v -696 -697 -698 -699 -700 -701 -702 -703
28979.85/3627.75	v -704 -705 -706 -707 -708 709 -710 -711
28979.85/3627.75	v -712 -713 -714 -715 -716 -717 -718 -719
28979.85/3627.75	v -720 -721 -722 723 -724 -725 -726 -727
28979.85/3627.75	v -728 -729 -730 -731 -732 -733 -734 -735
28979.85/3627.75	v -736 -737 -738 -739 740 -741 -742 -743
28979.85/3627.75	v -744 -745 -746 -747 -748 -749 750 -751
28979.85/3627.75	v -752 -753 -754 -755 -756 -757 -758 -759
28979.85/3627.75	v -760 761 -762 -763 -764 -765 -766 -767
28979.85/3627.75	v -768 -769 -770 -771 -772 -773 -774 -775
28979.85/3627.75	v -776 -777 -778 -779 780 -781 -782 -783
28979.85/3627.75	v -784 -785 -786 -787 -788 -789 -790 -791
28979.85/3627.75	v 792 -793 -794 -795 -796 -797 -798 -799
28979.85/3627.75	v 800 -801 -802 -803 -804 -805 -806 807
28979.85/3627.75	v -808 -809 -810 -811 -812 -813 -814 -815
28979.85/3627.75	v -816 -817 -818 -819 -820 -821 -822 -823
28979.85/3627.75	v -824 -825 -826 -827 828 -829 -830 -831
28979.85/3627.75	v -832 -833 -834 835 -836 -837 -838 -839
28979.85/3627.75	v -840 -841 -842 -843 -844 -845 -846 -847
28979.85/3627.75	v -848 -849 -850 -851 -852 -853 -854 -855
28979.85/3627.75	v 856 -857 -858 -859 -860 -861 -862 -863
28979.85/3627.75	v -864 -865 -866 -867 868 -869 -870 -871
28979.85/3627.75	v -872 -873 -874 875 -876 -877 -878 -879
28979.85/3627.75	v -880 -881 -882 -883 -884 -885 -886 -887
28979.85/3627.75	v -888 -889 890 -891 -892 -893 -894 -895
28979.85/3627.75	v -896 -897 -898 -899 -900 -901 -902 -903
28979.85/3627.75	v -904 -905 -906 -907 -908 909 -910 -911
28979.85/3627.75	v -912 -913 -914 -915 -916 917 -918 -919
28979.85/3627.75	v -920 -921 -922 -923 -924 -925 -926 -927
28979.85/3627.75	v -928 -929 -930 931 -932 -933 -934 -935
28979.85/3627.75	v -936 -937 -938 -939 -940 -941 -942 943
28979.85/3627.75	v -944 -945 -946 -947 -948 -949 -950 -951
28979.85/3627.75	v -952 -953 -954 955 -956 -957 -958 -959
28979.85/3627.75	v -960 -961 -962 -963 -964 -965 -966 -967
28979.85/3627.75	v -968 -969 -970 -971 972 -973 -974 -975
28979.85/3627.75	v 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-3394776-1306105472/watcher-3394776-1306105472 -o /tmp/evaluation-result-3394776-1306105472/solver-3394776-1306105472 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3394776-1306105472.cnf 

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

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


[startup+0 s]
/proc/loadavg: 2.08 4.68 6.42 2/266 6146
/proc/meminfo: memFree=30403240/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=9592 CPUtime=0 cores=0-7
/proc/6146/stat : 6146 (plingeling) R 6144 6146 6006 0 -1 4202496 473 1253 0 0 0 0 0 0 25 0 1 0 722147970 9822208 404 33554432000 4194304 4417452 140734458140576 18446744073709551615 222921776896 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/6146/statm: 2398 404 147 55 0 284 0

[startup+0.079513 s]
/proc/loadavg: 2.08 4.68 6.42 2/266 6146
/proc/meminfo: memFree=30403240/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=100800 CPUtime=0.23 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 2956 1253 0 0 23 0 0 0 25 0 9 0 722147970 103219200 2737 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 25200 2737 176 55 0 23086 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 100800

[startup+0.179861 s]
/proc/loadavg: 2.08 4.68 6.42 2/266 6146
/proc/meminfo: memFree=30403240/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=169660 CPUtime=1 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 4639 1253 0 0 100 0 0 0 25 0 9 0 722147970 173731840 3615 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 42415 3615 180 55 0 40301 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 169660

[startup+0.300839 s]
/proc/loadavg: 2.08 4.68 6.42 2/266 6146
/proc/meminfo: memFree=30403240/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=172996 CPUtime=1.97 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 5474 1253 0 0 197 0 0 0 25 0 9 0 722147970 177147904 4450 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 43249 4450 180 55 0 41135 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 172996

[startup+0.700764 s]
/proc/loadavg: 2.08 4.68 6.42 2/266 6146
/proc/meminfo: memFree=30403240/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=173892 CPUtime=5.17 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 6776 1253 0 0 517 0 0 0 25 0 9 0 722147970 178065408 4684 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 43473 4684 180 55 0 41359 0
Current children cumulated CPU time (s) 5.17
Current children cumulated vsize (KiB) 173892

[startup+1.50062 s]
/proc/loadavg: 2.08 4.68 6.42 9/275 6160
/proc/meminfo: memFree=30377012/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=186084 CPUtime=11.56 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 12016 1253 0 0 1154 2 0 0 25 0 9 0 722147970 190550016 7736 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 46521 7736 180 55 0 44407 0
[pid=6146/tid=6153] ppid=6144 vsize=186084 CPUtime=1.45 cores=0-7
/proc/6146/task/6153/stat : 6153 (plingeling) R 6144 6146 6006 0 -1 4202560 525 1253 0 0 145 0 0 0 19 0 9 0 722147975 190550016 7736 33554432000 4194304 4417452 140734458140576 18446744073709551615 4366197 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=6146/tid=6154] ppid=6144 vsize=186084 CPUtime=1.43 cores=0-7
/proc/6146/task/6154/stat : 6154 (plingeling) R 6144 6146 6006 0 -1 4202560 468 1253 0 0 143 0 0 0 20 0 9 0 722147975 190550016 7736 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=6146/tid=6155] ppid=6144 vsize=186084 CPUtime=1.44 cores=0-7
/proc/6146/task/6155/stat : 6155 (plingeling) R 6144 6146 6006 0 -1 4202560 1557 1253 0 0 144 0 0 0 19 0 9 0 722147975 190550016 7736 33554432000 4194304 4417452 140734458140576 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6146/tid=6156] ppid=6144 vsize=186084 CPUtime=1.44 cores=0-7
/proc/6146/task/6156/stat : 6156 (plingeling) R 6144 6146 6006 0 -1 4202560 3920 1253 0 0 144 0 0 0 20 0 9 0 722147975 190550016 7736 33554432000 4194304 4417452 140734458140576 18446744073709551615 4259016 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6146/tid=6157] ppid=6144 vsize=186084 CPUtime=1.44 cores=0-7
/proc/6146/task/6157/stat : 6157 (plingeling) R 6144 6146 6006 0 -1 4202560 494 1253 0 0 144 0 0 0 19 0 9 0 722147975 190550016 7736 33554432000 4194304 4417452 140734458140576 18446744073709551615 4365047 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6146/tid=6158] ppid=6144 vsize=186084 CPUtime=1.42 cores=0-7
/proc/6146/task/6158/stat : 6158 (plingeling) R 6144 6146 6006 0 -1 4202560 408 1253 0 0 142 0 0 0 25 0 9 0 722147977 190550016 7736 33554432000 4194304 4417452 140734458140576 18446744073709551615 4365135 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6146/tid=6159] ppid=6144 vsize=186084 CPUtime=1.41 cores=0-7
/proc/6146/task/6159/stat : 6159 (plingeling) R 6144 6146 6006 0 -1 4202560 1582 1253 0 0 141 0 0 0 25 0 9 0 722147977 190550016 7736 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6146/tid=6160] ppid=6144 vsize=186084 CPUtime=1.43 cores=0-7
/proc/6146/task/6160/stat : 6160 (plingeling) R 6144 6146 6006 0 -1 4202560 413 1253 0 0 143 0 0 0 19 0 9 0 722147977 190550016 7736 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364453 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.56
Current children cumulated vsize (KiB) 186084

[startup+3.10133 s]
/proc/loadavg: 2.55 4.74 6.43 9/275 6160
/proc/meminfo: memFree=30367440/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=197308 CPUtime=24.36 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 22354 1253 0 0 2432 4 0 0 25 0 9 0 722147970 202043392 10543 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 49327 10543 180 55 0 47213 0
[pid=6146/tid=6153] ppid=6144 vsize=197308 CPUtime=3.05 cores=0-7
/proc/6146/task/6153/stat : 6153 (plingeling) R 6144 6146 6006 0 -1 4202560 1346 1253 0 0 305 0 0 0 25 0 9 0 722147975 202043392 10543 33554432000 4194304 4417452 140734458140576 18446744073709551615 4249601 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=6146/tid=6154] ppid=6144 vsize=197308 CPUtime=3.03 cores=0-7
/proc/6146/task/6154/stat : 6154 (plingeling) R 6144 6146 6006 0 -1 4202560 1292 1253 0 0 303 0 0 0 25 0 9 0 722147975 202043392 10543 33554432000 4194304 4417452 140734458140576 18446744073709551615 4366082 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=6146/tid=6155] ppid=6144 vsize=197308 CPUtime=3.04 cores=0-7
/proc/6146/task/6155/stat : 6155 (plingeling) R 6144 6146 6006 0 -1 4202560 2790 1253 0 0 304 0 0 0 25 0 9 0 722147975 202043392 10543 33554432000 4194304 4417452 140734458140576 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6146/tid=6156] ppid=6144 vsize=197308 CPUtime=3.05 cores=0-7
/proc/6146/task/6156/stat : 6156 (plingeling) R 6144 6146 6006 0 -1 4202560 7798 1253 0 0 304 1 0 0 25 0 9 0 722147975 202043392 10543 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364461 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6146/tid=6157] ppid=6144 vsize=197308 CPUtime=3.04 cores=0-7
/proc/6146/task/6157/stat : 6157 (plingeling) R 6144 6146 6006 0 -1 4202560 1318 1253 0 0 304 0 0 0 25 0 9 0 722147975 202043392 10543 33554432000 4194304 4417452 140734458140576 18446744073709551615 4249601 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6146/tid=6158] ppid=6144 vsize=197308 CPUtime=3.01 cores=0-7
/proc/6146/task/6158/stat : 6158 (plingeling) R 6144 6146 6006 0 -1 4202560 886 1253 0 0 301 0 0 0 25 0 9 0 722147977 202043392 10543 33554432000 4194304 4417452 140734458140576 18446744073709551615 4254888 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6146/tid=6159] ppid=6144 vsize=197308 CPUtime=3.01 cores=0-7
/proc/6146/task/6159/stat : 6159 (plingeling) R 6144 6146 6006 0 -1 4202560 3056 1253 0 0 301 0 0 0 25 0 9 0 722147977 202043392 10543 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6146/tid=6160] ppid=6144 vsize=197308 CPUtime=3.02 cores=0-7
/proc/6146/task/6160/stat : 6160 (plingeling) R 6144 6146 6006 0 -1 4202560 1219 1253 0 0 302 0 0 0 25 0 9 0 722147977 202043392 10543 33554432000 4194304 4417452 140734458140576 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.36
Current children cumulated vsize (KiB) 197308

[startup+6.30075 s]
/proc/loadavg: 2.55 4.74 6.43 9/275 6160
/proc/meminfo: memFree=30343316/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=222244 CPUtime=49.93 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 45648 1253 0 0 4983 10 0 0 25 0 9 0 722147970 227577856 16795 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 55561 16795 180 55 0 53447 0
[pid=6146/tid=6153] ppid=6144 vsize=222244 CPUtime=6.24 cores=0-7
/proc/6146/task/6153/stat : 6153 (plingeling) R 6144 6146 6006 0 -1 4202560 4716 1253 0 0 624 0 0 0 25 0 9 0 722147975 227577856 16795 33554432000 4194304 4417452 140734458140576 18446744073709551615 4232359 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=6146/tid=6154] ppid=6144 vsize=222244 CPUtime=6.23 cores=0-7
/proc/6146/task/6154/stat : 6154 (plingeling) R 6144 6146 6006 0 -1 4202560 4196 1253 0 0 623 0 0 0 25 0 9 0 722147975 227577856 16795 33554432000 4194304 4417452 140734458140576 18446744073709551615 4251107 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=6146/tid=6155] ppid=6144 vsize=222244 CPUtime=6.24 cores=0-7
/proc/6146/task/6155/stat : 6155 (plingeling) R 6144 6146 6006 0 -1 4202560 4666 1253 0 0 623 1 0 0 25 0 9 0 722147975 227577856 16795 33554432000 4194304 4417452 140734458140576 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6146/tid=6156] ppid=6144 vsize=222244 CPUtime=6.25 cores=0-7
/proc/6146/task/6156/stat : 6156 (plingeling) R 6144 6146 6006 0 -1 4202560 13176 1253 0 0 622 3 0 0 25 0 9 0 722147975 227577856 16795 33554432000 4194304 4417452 140734458140576 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6146/tid=6157] ppid=6144 vsize=222244 CPUtime=6.24 cores=0-7
/proc/6146/task/6157/stat : 6157 (plingeling) R 6144 6146 6006 0 -1 4202560 4306 1253 0 0 623 1 0 0 25 0 9 0 722147975 227577856 16795 33554432000 4194304 4417452 140734458140576 18446744073709551615 4237176 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6146/tid=6158] ppid=6144 vsize=222244 CPUtime=6.18 cores=0-7
/proc/6146/task/6158/stat : 6158 (plingeling) R 6144 6146 6006 0 -1 4202560 3626 1253 0 0 618 0 0 0 25 0 9 0 722147977 227577856 16795 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6146/tid=6159] ppid=6144 vsize=222244 CPUtime=6.21 cores=0-7
/proc/6146/task/6159/stat : 6159 (plingeling) R 6144 6146 6006 0 -1 4202560 4771 1253 0 0 621 0 0 0 25 0 9 0 722147977 227577856 16795 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6146/tid=6160] ppid=6144 vsize=222244 CPUtime=6.22 cores=0-7
/proc/6146/task/6160/stat : 6160 (plingeling) R 6144 6146 6006 0 -1 4202560 3542 1253 0 0 622 0 0 0 25 0 9 0 722147977 227577856 16795 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (KiB) 222244

[startup+12.7006 s]
/proc/loadavg: 3.39 4.84 6.45 9/275 6160
/proc/meminfo: memFree=30318348/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=222648 CPUtime=101.07 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 82826 1253 0 0 10090 17 0 0 25 0 9 0 722147970 227991552 16907 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 55662 16907 180 55 0 53548 0
[pid=6146/tid=6153] ppid=6144 vsize=222648 CPUtime=12.65 cores=0-7
/proc/6146/task/6153/stat : 6153 (plingeling) R 6144 6146 6006 0 -1 4202560 8888 1253 0 0 1264 1 0 0 25 0 9 0 722147975 227991552 16907 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=6146/tid=6154] ppid=6144 vsize=222648 CPUtime=12.62 cores=0-7
/proc/6146/task/6154/stat : 6154 (plingeling) R 6144 6146 6006 0 -1 4202560 9185 1253 0 0 1261 1 0 0 25 0 9 0 722147975 227991552 16907 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=6146/tid=6155] ppid=6144 vsize=222648 CPUtime=12.64 cores=0-7
/proc/6146/task/6155/stat : 6155 (plingeling) R 6144 6146 6006 0 -1 4202560 8716 1253 0 0 1262 2 0 0 25 0 9 0 722147975 227991552 16907 33554432000 4194304 4417452 140734458140576 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6146/tid=6156] ppid=6144 vsize=222648 CPUtime=12.65 cores=0-7
/proc/6146/task/6156/stat : 6156 (plingeling) R 6144 6146 6006 0 -1 4202560 21206 1253 0 0 1260 5 0 0 25 0 9 0 722147975 227991552 16907 33554432000 4194304 4417452 140734458140576 18446744073709551615 4366450 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6146/tid=6157] ppid=6144 vsize=222648 CPUtime=12.65 cores=0-7
/proc/6146/task/6157/stat : 6157 (plingeling) R 6144 6146 6006 0 -1 4202560 8487 1253 0 0 1263 2 0 0 25 0 9 0 722147975 227991552 16907 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6146/tid=6158] ppid=6144 vsize=222648 CPUtime=12.53 cores=0-7
/proc/6146/task/6158/stat : 6158 (plingeling) R 6144 6146 6006 0 -1 4202560 7590 1253 0 0 1252 1 0 0 25 0 9 0 722147977 227991552 16907 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6146/tid=6159] ppid=6144 vsize=222648 CPUtime=12.61 cores=0-7
/proc/6146/task/6159/stat : 6159 (plingeling) R 6144 6146 6006 0 -1 4202560 9735 1253 0 0 1260 1 0 0 25 0 9 0 722147977 227991552 16907 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6146/tid=6160] ppid=6144 vsize=222648 CPUtime=12.62 cores=0-7
/proc/6146/task/6160/stat : 6160 (plingeling) R 6144 6146 6006 0 -1 4202560 6370 1253 0 0 1261 1 0 0 25 0 9 0 722147977 227991552 16907 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.07
Current children cumulated vsize (KiB) 222648

[startup+25.5012 s]
/proc/loadavg: 4.10 4.95 6.46 9/275 6161
/proc/meminfo: memFree=30310964/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=246556 CPUtime=203.37 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 155315 1253 0 0 20304 33 0 0 25 0 9 0 722147970 252473344 22855 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 61639 22855 180 55 0 59525 0
[pid=6146/tid=6153] ppid=6144 vsize=246556 CPUtime=25.44 cores=0-7
/proc/6146/task/6153/stat : 6153 (plingeling) R 6144 6146 6006 0 -1 4202560 17446 1253 0 0 2542 2 0 0 25 0 9 0 722147975 252473344 22855 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=6146/tid=6154] ppid=6144 vsize=246556 CPUtime=25.43 cores=0-7
/proc/6146/task/6154/stat : 6154 (plingeling) R 6144 6146 6006 0 -1 4202560 17827 1253 0 0 2540 3 0 0 25 0 9 0 722147975 252473344 22855 33554432000 4194304 4417452 140734458140576 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=6146/tid=6155] ppid=6144 vsize=246556 CPUtime=25.44 cores=0-7
/proc/6146/task/6155/stat : 6155 (plingeling) R 6144 6146 6006 0 -1 4202560 16460 1253 0 0 2541 3 0 0 25 0 9 0 722147975 252473344 22855 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6146/tid=6156] ppid=6144 vsize=246556 CPUtime=25.45 cores=0-7
/proc/6146/task/6156/stat : 6156 (plingeling) R 6144 6146 6006 0 -1 4202560 35174 1253 0 0 2537 8 0 0 25 0 9 0 722147975 252473344 22855 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6146/tid=6157] ppid=6144 vsize=246556 CPUtime=25.44 cores=0-7
/proc/6146/task/6157/stat : 6157 (plingeling) R 6144 6146 6006 0 -1 4202560 17606 1253 0 0 2541 3 0 0 25 0 9 0 722147975 252473344 22855 33554432000 4194304 4417452 140734458140576 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6146/tid=6158] ppid=6144 vsize=246556 CPUtime=25.22 cores=0-7
/proc/6146/task/6158/stat : 6158 (plingeling) R 6144 6146 6006 0 -1 4202560 17274 1253 0 0 2519 3 0 0 25 0 9 0 722147977 252473344 22855 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6146/tid=6159] ppid=6144 vsize=246556 CPUtime=25.41 cores=0-7
/proc/6146/task/6159/stat : 6159 (plingeling) R 6144 6146 6006 0 -1 4202560 16768 1253 0 0 2538 3 0 0 25 0 9 0 722147977 252473344 22855 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6146/tid=6160] ppid=6144 vsize=246556 CPUtime=25.42 cores=0-7
/proc/6146/task/6160/stat : 6160 (plingeling) R 6144 6146 6006 0 -1 4202560 14111 1253 0 0 2540 2 0 0 25 0 9 0 722147977 252473344 22855 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.37
Current children cumulated vsize (KiB) 246556

[startup+51.1006 s]
/proc/loadavg: 5.43 5.19 6.50 9/275 6161
/proc/meminfo: memFree=30266264/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=301164 CPUtime=407.95 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 282804 1253 0 0 40737 58 0 0 25 0 9 0 722147970 308391936 36527 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 75430 36538 180 55 0 73316 0
[pid=6146/tid=6153] ppid=6144 vsize=301720 CPUtime=51.05 cores=0-7
/proc/6146/task/6153/stat : 6153 (plingeling) R 6144 6146 6006 0 -1 4202560 33819 1253 0 0 5100 5 0 0 25 0 9 0 722147975 308961280 36551 33554432000 4194304 4417452 140734458140576 18446744073709551615 4309949 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=6146/tid=6154] ppid=6144 vsize=301720 CPUtime=51.03 cores=0-7
/proc/6146/task/6154/stat : 6154 (plingeling) R 6144 6146 6006 0 -1 4202560 36589 1253 0 0 5095 8 0 0 25 0 9 0 722147975 308961280 36565 33554432000 4194304 4417452 140734458140576 18446744073709551615 4308183 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=6146/tid=6155] ppid=6144 vsize=301720 CPUtime=51.04 cores=0-7

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

[pid=6146/tid=6156] ppid=6144 vsize=3453880 CPUtime=3582.34 cores=0-7
/proc/6146/task/6156/stat : 6156 (plingeling) R 6144 6146 6006 0 -1 4202560 458979 1253 0 0 358132 102 0 0 25 0 9 0 722147975 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6146/tid=6157] ppid=6144 vsize=3453880 CPUtime=3581.21 cores=0-7
/proc/6146/task/6157/stat : 6157 (plingeling) R 6144 6146 6006 0 -1 4202560 650672 1253 0 0 357985 136 0 0 25 0 9 0 722147975 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6146/tid=6158] ppid=6144 vsize=3453880 CPUtime=3551.89 cores=0-7
/proc/6146/task/6158/stat : 6158 (plingeling) R 6144 6146 6006 0 -1 4202560 554733 1253 0 0 355083 106 0 0 25 0 9 0 722147977 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6146/tid=6159] ppid=6144 vsize=3453880 CPUtime=3582.32 cores=0-7
/proc/6146/task/6159/stat : 6159 (plingeling) R 6144 6146 6006 0 -1 4202560 508888 1253 0 0 358127 105 0 0 25 0 9 0 722147977 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6146/tid=6160] ppid=6144 vsize=3453880 CPUtime=3582.3 cores=0-7
/proc/6146/task/6160/stat : 6160 (plingeling) R 6144 6146 6006 0 -1 4202560 641547 1253 0 0 358101 129 0 0 25 0 9 0 722147977 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28627.1
Current children cumulated vsize (KiB) 3453880

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

[startup+3583.9 s]
/proc/loadavg: 8.40 8.14 8.02 10/276 6268
/proc/meminfo: memFree=27064724/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=3453880 CPUtime=28639.8 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 4561108 1253 0 0 2863051 931 0 0 25 0 9 0 722147970 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 863470 824706 180 55 0 861356 0
[pid=6146/tid=6153] ppid=6144 vsize=3453880 CPUtime=3583.95 cores=0-7
/proc/6146/task/6153/stat : 6153 (plingeling) R 6144 6146 6006 0 -1 4202560 605344 1253 0 0 358279 116 0 0 25 0 9 0 722147975 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=6146/tid=6154] ppid=6144 vsize=3453880 CPUtime=3583.83 cores=0-7
/proc/6146/task/6154/stat : 6154 (plingeling) R 6144 6146 6006 0 -1 4202560 607154 1253 0 0 358260 123 0 0 25 0 9 0 722147975 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=6146/tid=6155] ppid=6144 vsize=3453880 CPUtime=3583.95 cores=0-7
/proc/6146/task/6155/stat : 6155 (plingeling) R 6144 6146 6006 0 -1 4202560 531142 1253 0 0 358286 109 0 0 25 0 9 0 722147975 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6146/tid=6156] ppid=6144 vsize=3453880 CPUtime=3583.94 cores=0-7
/proc/6146/task/6156/stat : 6156 (plingeling) R 6144 6146 6006 0 -1 4202560 458979 1253 0 0 358292 102 0 0 25 0 9 0 722147975 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6146/tid=6157] ppid=6144 vsize=3453880 CPUtime=3582.74 cores=0-7
/proc/6146/task/6157/stat : 6157 (plingeling) R 6144 6146 6006 0 -1 4202560 650672 1253 0 0 358138 136 0 0 25 0 9 0 722147975 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6146/tid=6158] ppid=6144 vsize=3453880 CPUtime=3553.47 cores=0-7
/proc/6146/task/6158/stat : 6158 (plingeling) R 6144 6146 6006 0 -1 4202560 554733 1253 0 0 355241 106 0 0 25 0 9 0 722147977 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6146/tid=6159] ppid=6144 vsize=3453880 CPUtime=3583.92 cores=0-7
/proc/6146/task/6159/stat : 6159 (plingeling) R 6144 6146 6006 0 -1 4202560 508888 1253 0 0 358287 105 0 0 25 0 9 0 722147977 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6146/tid=6160] ppid=6144 vsize=3453880 CPUtime=3583.9 cores=0-7
/proc/6146/task/6160/stat : 6160 (plingeling) R 6144 6146 6006 0 -1 4202560 641547 1253 0 0 358261 129 0 0 25 0 9 0 722147977 3536773120 824706 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28639.8
Current children cumulated vsize (KiB) 3453880

[startup+3609.5 s]
/proc/loadavg: 8.26 8.13 8.01 9/275 6268
/proc/meminfo: memFree=27294052/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=3256332 CPUtime=28844.3 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 4626326 1253 0 0 2883487 943 0 0 25 0 9 0 722147970 3334483968 775319 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 814083 775319 180 55 0 811969 0
[pid=6146/tid=6153] ppid=6144 vsize=3256332 CPUtime=3609.55 cores=0-7
/proc/6146/task/6153/stat : 6153 (plingeling) R 6144 6146 6006 0 -1 4202560 605344 1253 0 0 360839 116 0 0 25 0 9 0 722147975 3334483968 775319 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=6146/tid=6154] ppid=6144 vsize=3256332 CPUtime=3609.42 cores=0-7
/proc/6146/task/6154/stat : 6154 (plingeling) R 6144 6146 6006 0 -1 4202560 644049 1253 0 0 360813 129 0 0 25 0 9 0 722147975 3334483968 775319 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=6146/tid=6155] ppid=6144 vsize=3256332 CPUtime=3609.55 cores=0-7
/proc/6146/task/6155/stat : 6155 (plingeling) R 6144 6146 6006 0 -1 4202560 531142 1253 0 0 360846 109 0 0 25 0 9 0 722147975 3334483968 775319 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6146/tid=6156] ppid=6144 vsize=3256332 CPUtime=3609.54 cores=0-7
/proc/6146/task/6156/stat : 6156 (plingeling) R 6144 6146 6006 0 -1 4202560 458979 1253 0 0 360852 102 0 0 25 0 9 0 722147975 3334483968 775319 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6146/tid=6157] ppid=6144 vsize=3256332 CPUtime=3608.24 cores=0-7
/proc/6146/task/6157/stat : 6157 (plingeling) R 6144 6146 6006 0 -1 4202560 678995 1253 0 0 360683 141 0 0 25 0 9 0 722147975 3334483968 775319 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6146/tid=6158] ppid=6144 vsize=3256332 CPUtime=3578.85 cores=0-7
/proc/6146/task/6158/stat : 6158 (plingeling) R 6144 6146 6006 0 -1 4202560 554733 1253 0 0 357779 106 0 0 25 0 9 0 722147977 3334483968 775319 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6146/tid=6159] ppid=6144 vsize=3256332 CPUtime=3609.52 cores=0-7
/proc/6146/task/6159/stat : 6159 (plingeling) R 6144 6146 6006 0 -1 4202560 508888 1253 0 0 360847 105 0 0 25 0 9 0 722147977 3334483968 775319 33554432000 4194304 4417452 140734458140576 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6146/tid=6160] ppid=6144 vsize=3256332 CPUtime=3609.5 cores=0-7
/proc/6146/task/6160/stat : 6160 (plingeling) R 6144 6146 6006 0 -1 4202560 641547 1253 0 0 360820 130 0 0 25 0 9 0 722147977 3334483968 775319 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28844.3
Current children cumulated vsize (KiB) 3256332

[startup+3615.9 s]
/proc/loadavg: 8.24 8.12 8.01 9/275 6269
/proc/meminfo: memFree=27276688/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=3273712 CPUtime=28895.4 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 4630671 1253 0 0 2888600 945 0 0 25 0 9 0 722147970 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 818428 779664 180 55 0 816314 0
[pid=6146/tid=6153] ppid=6144 vsize=3273712 CPUtime=3615.95 cores=0-7
/proc/6146/task/6153/stat : 6153 (plingeling) R 6144 6146 6006 0 -1 4202560 605344 1253 0 0 361479 116 0 0 25 0 9 0 722147975 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=6146/tid=6154] ppid=6144 vsize=3273712 CPUtime=3615.82 cores=0-7
/proc/6146/task/6154/stat : 6154 (plingeling) R 6144 6146 6006 0 -1 4202560 644049 1253 0 0 361453 129 0 0 25 0 9 0 722147975 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=6146/tid=6155] ppid=6144 vsize=3273712 CPUtime=3615.95 cores=0-7
/proc/6146/task/6155/stat : 6155 (plingeling) R 6144 6146 6006 0 -1 4202560 531142 1253 0 0 361486 109 0 0 25 0 9 0 722147975 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6146/tid=6156] ppid=6144 vsize=3273712 CPUtime=3615.94 cores=0-7
/proc/6146/task/6156/stat : 6156 (plingeling) R 6144 6146 6006 0 -1 4202560 463324 1253 0 0 361490 104 0 0 25 0 9 0 722147975 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4236910 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6146/tid=6157] ppid=6144 vsize=3273712 CPUtime=3614.64 cores=0-7
/proc/6146/task/6157/stat : 6157 (plingeling) R 6144 6146 6006 0 -1 4202560 678995 1253 0 0 361323 141 0 0 25 0 9 0 722147975 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6146/tid=6158] ppid=6144 vsize=3273712 CPUtime=3585.2 cores=0-7
/proc/6146/task/6158/stat : 6158 (plingeling) R 6144 6146 6006 0 -1 4202560 554733 1253 0 0 358414 106 0 0 25 0 9 0 722147977 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6146/tid=6159] ppid=6144 vsize=3273712 CPUtime=3615.92 cores=0-7
/proc/6146/task/6159/stat : 6159 (plingeling) R 6144 6146 6006 0 -1 4202560 508888 1253 0 0 361487 105 0 0 25 0 9 0 722147977 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6146/tid=6160] ppid=6144 vsize=3273712 CPUtime=3615.9 cores=0-7
/proc/6146/task/6160/stat : 6160 (plingeling) R 6144 6146 6006 0 -1 4202560 641547 1253 0 0 361460 130 0 0 25 0 9 0 722147977 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28895.4
Current children cumulated vsize (KiB) 3273712

[startup+3622.31 s]
/proc/loadavg: 8.20 8.12 8.01 9/275 6269
/proc/meminfo: memFree=27276808/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=3273712 CPUtime=28946.7 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 4630671 1253 0 0 2893722 945 0 0 25 0 9 0 722147970 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 818428 779664 180 55 0 816314 0
[pid=6146/tid=6153] ppid=6144 vsize=3273712 CPUtime=3622.36 cores=0-7
/proc/6146/task/6153/stat : 6153 (plingeling) R 6144 6146 6006 0 -1 4202560 605344 1253 0 0 362120 116 0 0 25 0 9 0 722147975 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=6146/tid=6154] ppid=6144 vsize=3273712 CPUtime=3622.23 cores=0-7
/proc/6146/task/6154/stat : 6154 (plingeling) R 6144 6146 6006 0 -1 4202560 644049 1253 0 0 362094 129 0 0 25 0 9 0 722147975 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=6146/tid=6155] ppid=6144 vsize=3273712 CPUtime=3622.36 cores=0-7
/proc/6146/task/6155/stat : 6155 (plingeling) R 6144 6146 6006 0 -1 4202560 531142 1253 0 0 362127 109 0 0 25 0 9 0 722147975 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6146/tid=6156] ppid=6144 vsize=3273712 CPUtime=3622.35 cores=0-7
/proc/6146/task/6156/stat : 6156 (plingeling) R 6144 6146 6006 0 -1 4202560 463324 1253 0 0 362131 104 0 0 25 0 9 0 722147975 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6146/tid=6157] ppid=6144 vsize=3273712 CPUtime=3621.05 cores=0-7
/proc/6146/task/6157/stat : 6157 (plingeling) R 6144 6146 6006 0 -1 4202560 678995 1253 0 0 361964 141 0 0 25 0 9 0 722147975 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=6146/tid=6158] ppid=6144 vsize=3273712 CPUtime=3591.55 cores=0-7
/proc/6146/task/6158/stat : 6158 (plingeling) R 6144 6146 6006 0 -1 4202560 554733 1253 0 0 359049 106 0 0 25 0 9 0 722147977 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6146/tid=6159] ppid=6144 vsize=3273712 CPUtime=3622.33 cores=0-7
/proc/6146/task/6159/stat : 6159 (plingeling) R 6144 6146 6006 0 -1 4202560 508888 1253 0 0 362128 105 0 0 25 0 9 0 722147977 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6146/tid=6160] ppid=6144 vsize=3273712 CPUtime=3622.31 cores=0-7
/proc/6146/task/6160/stat : 6160 (plingeling) R 6144 6146 6006 0 -1 4202560 641547 1253 0 0 362101 130 0 0 25 0 9 0 722147977 3352281088 779664 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28946.7
Current children cumulated vsize (KiB) 3273712

[startup+3625.5 s]
/proc/loadavg: 8.20 8.12 8.01 8/274 6269
/proc/meminfo: memFree=27276816/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=3273712 CPUtime=28972 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 4630672 1253 0 0 2896259 945 0 0 25 0 8 0 722147970 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 818428 779665 181 55 0 816314 0
[pid=6146/tid=6153] ppid=6144 vsize=3273712 CPUtime=3625.56 cores=0-7
/proc/6146/task/6153/stat : 6153 (plingeling) R 6144 6146 6006 0 -1 4202560 605344 1253 0 0 362440 116 0 0 25 0 8 0 722147975 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 4344131 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=6146/tid=6154] ppid=6144 vsize=3273712 CPUtime=3625.43 cores=0-7
/proc/6146/task/6154/stat : 6154 (plingeling) R 6144 6146 6006 0 -1 4202560 644049 1253 0 0 362414 129 0 0 25 0 8 0 722147975 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=6146/tid=6155] ppid=6144 vsize=3273712 CPUtime=3625.56 cores=0-7
/proc/6146/task/6155/stat : 6155 (plingeling) R 6144 6146 6006 0 -1 4202560 531142 1253 0 0 362447 109 0 0 25 0 8 0 722147975 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=6146/tid=6156] ppid=6144 vsize=3273712 CPUtime=3625.55 cores=0-7
/proc/6146/task/6156/stat : 6156 (plingeling) R 6144 6146 6006 0 -1 4202560 463324 1253 0 0 362451 104 0 0 25 0 8 0 722147975 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=6146/tid=6158] ppid=6144 vsize=3273712 CPUtime=3594.73 cores=0-7
/proc/6146/task/6158/stat : 6158 (plingeling) R 6144 6146 6006 0 -1 4202560 554733 1253 0 0 359367 106 0 0 25 0 8 0 722147977 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=6146/tid=6159] ppid=6144 vsize=3273712 CPUtime=3625.53 cores=0-7
/proc/6146/task/6159/stat : 6159 (plingeling) R 6144 6146 6006 0 -1 4202560 508888 1253 0 0 362448 105 0 0 25 0 8 0 722147977 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364784 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=6146/tid=6160] ppid=6144 vsize=3273712 CPUtime=3625.51 cores=0-7
/proc/6146/task/6160/stat : 6160 (plingeling) R 6144 6146 6006 0 -1 4202560 641547 1253 0 0 362421 130 0 0 25 0 8 0 722147977 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28972
Current children cumulated vsize (KiB) 3273712

[startup+3627.1 s]
/proc/loadavg: 7.95 8.07 8.00 5/271 6269
/proc/meminfo: memFree=27276840/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=3273712 CPUtime=28979.1 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 4630672 1253 0 0 2896967 945 0 0 25 0 3 0 722147970 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 818428 779665 181 55 0 816314 0
[pid=6146/tid=6153] ppid=6144 vsize=3273712 CPUtime=3627.15 cores=0-7
/proc/6146/task/6153/stat : 6153 (plingeling) R 6144 6146 6006 0 -1 4202560 605344 1253 0 0 362599 116 0 0 25 0 3 0 722147975 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=6146/tid=6155] ppid=6144 vsize=3273712 CPUtime=3627.15 cores=0-7
/proc/6146/task/6155/stat : 6155 (plingeling) R 6144 6146 6006 0 -1 4202560 531142 1253 0 0 362606 109 0 0 25 0 3 0 722147975 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 28979.1
Current children cumulated vsize (KiB) 3273712

[startup+3627.5 s]
/proc/loadavg: 7.95 8.07 8.00 5/271 6269
/proc/meminfo: memFree=27276840/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=3273712 CPUtime=28979.7 cores=0-7
/proc/6146/stat : 6146 (plingeling) S 6144 6146 6006 0 -1 4202496 4630672 1253 0 0 2897020 945 0 0 18 0 2 0 722147970 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/6146/statm: 818428 779665 181 55 0 816314 0
[pid=6146/tid=6155] ppid=6144 vsize=3273712 CPUtime=3627.55 cores=0-7
/proc/6146/task/6155/stat : 6155 (plingeling) R 6144 6146 6006 0 -1 4202560 531142 1253 0 0 362646 109 0 0 25 0 2 0 722147975 3352281088 779665 33554432000 4194304 4417452 140734458140576 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 28979.6
Current children cumulated vsize (KiB) 3273712

[startup+3627.7 s]
/proc/loadavg: 7.95 8.07 8.00 2/267 6269
/proc/meminfo: memFree=29155472/32951124 swapFree=55664332/67111528
[pid=6146] ppid=6144 vsize=1290952 CPUtime=28979.8 cores=0-7
/proc/6146/stat : 6146 (plingeling) R 6144 6146 6006 0 -1 4202496 4630672 1253 0 0 2897032 953 0 0 15 0 1 0 722147970 1321934848 280769 33554432000 4194304 4417452 140734458140576 18446744073709551615 222921820295 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6146/statm: 322738 280418 181 55 0 320624 0
Current children cumulated CPU time (s) 28979.8
Current children cumulated vsize (KiB) 1290952

Child status: 10
Real time (s): 3627.75
CPU time (s): 28979.9
CPU user time (s): 28970.3
CPU system time (s): 9.58954
CPU usage (%): 798.839
Max. virtual memory (cumulated for all children) (KiB): 3603672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28970.3
system time used= 9.58954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4631940
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 232
involuntary context switches= 139861

runsolver used 8.84666 second user time and 21.9957 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-23 01:04:32
IDJOB=3394776
IDBENCH=84551
IDSOLVER=1851
FILE ID=node109/3394776-1306105472
RUNJOBID= node109-1306102932-6020
PBS_JOBID= 13388006
Free space on /tmp= 73056 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT04/handmade/kexu/frb-0.6/frb75-13-2.used-as.sat04-878.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394776-1306105472/watcher-3394776-1306105472 -o /tmp/evaluation-result-3394776-1306105472/solver-3394776-1306105472 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3394776-1306105472.cnf

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

MD5SUM BENCH= 00e6f1cbbaaa8f43dc6451d49bfa1cef
RANDOM SEED=2024963397

node109.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.809
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.61
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.809
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.809
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.809
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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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.809
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:      30403404 kB
Buffers:         51980 kB
Cached:         577616 kB
SwapCached:      10104 kB
Active:          63168 kB
Inactive:      2292712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30403404 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:             944 kB
Writeback:           0 kB
AnonPages:     1722532 kB
Mapped:          15748 kB
Slab:            90740 kB
PageTables:      36960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 30864736 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= 73056 MiB
End job on node109 at 2011-05-23 02:05:00