Trace number 3394044

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 10323 1294.97

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v945c61409g4.cnf
MD5SUM04c9f68df814bad18919ca17a3e0867a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.382
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

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

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

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


[startup+0 s]
/proc/loadavg: 8.00 8.01 8.00 1/543 21718
/proc/meminfo: memFree=13583308/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=11628 CPUtime=0.01 cores=0-7
/proc/21718/stat : 21718 (plingeling) R 21716 21718 21692 0 -1 4202496 980 1258 0 0 1 0 0 0 18 0 1 0 719618193 11907072 911 33554432000 4194304 4417452 140734298107536 18446744073709551615 253640859392 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/21718/statm: 2907 911 148 55 0 793 0

[startup+0.0408161 s]
/proc/loadavg: 8.00 8.01 8.00 1/543 21718
/proc/meminfo: memFree=13583308/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=18032 CPUtime=0.03 cores=0-7
/proc/21718/stat : 21718 (plingeling) R 21716 21718 21692 0 -1 4202496 2581 1258 0 0 3 0 0 0 18 0 1 0 719618193 18464768 2512 33554432000 4194304 4417452 140734298107536 18446744073709551615 253640859392 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/21718/statm: 4508 2512 148 55 0 2394 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18032

[startup+0.135244 s]
/proc/loadavg: 8.00 8.01 8.00 1/543 21718
/proc/meminfo: memFree=13583308/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=177608 CPUtime=0.5 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 6053 1258 0 0 50 0 0 0 18 0 9 0 719618193 181870592 5594 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 44402 5594 177 55 0 42288 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 177608

[startup+0.381701 s]
/proc/loadavg: 8.00 8.01 8.00 1/543 21718
/proc/meminfo: memFree=13583308/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=183688 CPUtime=2.48 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 10416 1258 0 0 247 1 0 0 18 0 9 0 719618193 188096512 7150 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 45922 7150 180 55 0 43808 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 183688

[startup+0.700642 s]
/proc/loadavg: 8.00 8.01 8.00 1/543 21718
/proc/meminfo: memFree=13583308/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=187460 CPUtime=5.03 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 12126 1258 0 0 502 1 0 0 18 0 9 0 719618193 191959040 8106 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 46865 8106 180 55 0 44751 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 187460

[startup+1.5005 s]
/proc/loadavg: 8.00 8.01 8.00 9/552 21732
/proc/meminfo: memFree=13550384/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=198092 CPUtime=11.41 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 17025 1258 0 0 1139 2 0 0 18 0 9 0 719618193 202846208 10764 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 49523 10764 180 55 0 47409 0
[pid=21718/tid=21725] ppid=21716 vsize=198092 CPUtime=1.41 cores=0-7
/proc/21718/task/21725/stat : 21725 (plingeling) R 21716 21718 21692 0 -1 4202560 1250 1258 0 0 141 0 0 0 23 0 9 0 719618200 202846208 10764 33554432000 4194304 4417452 140734298107536 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21718/tid=21726] ppid=21716 vsize=198092 CPUtime=1.41 cores=0-7
/proc/21718/task/21726/stat : 21726 (plingeling) R 21716 21718 21692 0 -1 4202560 1379 1258 0 0 141 0 0 0 23 0 9 0 719618200 202846208 10764 33554432000 4194304 4417452 140734298107536 18446744073709551615 4248897 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21718/tid=21727] ppid=21716 vsize=198092 CPUtime=1.42 cores=0-7
/proc/21718/task/21727/stat : 21727 (plingeling) R 21716 21718 21692 0 -1 4202560 933 1258 0 0 142 0 0 0 20 0 9 0 719618201 202846208 10764 33554432000 4194304 4417452 140734298107536 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21718/tid=21728] ppid=21716 vsize=198092 CPUtime=1.4 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 5394 1258 0 0 140 0 0 0 23 0 9 0 719618201 202846208 10764 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21718/tid=21729] ppid=21716 vsize=198092 CPUtime=1.39 cores=0-7
/proc/21718/task/21729/stat : 21729 (plingeling) R 21716 21718 21692 0 -1 4202560 821 1258 0 0 139 0 0 0 23 0 9 0 719618201 202846208 10764 33554432000 4194304 4417452 140734298107536 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21718/tid=21730] ppid=21716 vsize=198092 CPUtime=1.41 cores=0-7
/proc/21718/task/21730/stat : 21730 (plingeling) R 21716 21718 21692 0 -1 4202560 1127 1258 0 0 141 0 0 0 25 0 9 0 719618201 202846208 10764 33554432000 4194304 4417452 140734298107536 18446744073709551615 4249538 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21718/tid=21731] ppid=21716 vsize=198092 CPUtime=1.41 cores=0-7
/proc/21718/task/21731/stat : 21731 (plingeling) R 21716 21718 21692 0 -1 4202560 662 1258 0 0 141 0 0 0 19 0 9 0 719618201 202846208 10764 33554432000 4194304 4417452 140734298107536 18446744073709551615 4353620 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21718/tid=21732] ppid=21716 vsize=198092 CPUtime=1.41 cores=0-7
/proc/21718/task/21732/stat : 21732 (plingeling) R 21716 21718 21692 0 -1 4202560 813 1258 0 0 141 0 0 0 25 0 9 0 719618201 202846208 10764 33554432000 4194304 4417452 140734298107536 18446744073709551615 4239584 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 198092

[startup+3.10121 s]
/proc/loadavg: 8.08 8.02 8.01 9/552 21732
/proc/meminfo: memFree=13534764/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=209772 CPUtime=24.2 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 21921 1258 0 0 2417 3 0 0 18 0 9 0 719618193 214806528 13684 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 52443 13684 180 55 0 50329 0
[pid=21718/tid=21725] ppid=21716 vsize=209772 CPUtime=3.02 cores=0-7
/proc/21718/task/21725/stat : 21725 (plingeling) R 21716 21718 21692 0 -1 4202560 1250 1258 0 0 302 0 0 0 25 0 9 0 719618200 214806528 13684 33554432000 4194304 4417452 140734298107536 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21718/tid=21726] ppid=21716 vsize=209772 CPUtime=3.01 cores=0-7
/proc/21718/task/21726/stat : 21726 (plingeling) R 21716 21718 21692 0 -1 4202560 1379 1258 0 0 301 0 0 0 25 0 9 0 719618200 214806528 13684 33554432000 4194304 4417452 140734298107536 18446744073709551615 4258587 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21718/tid=21727] ppid=21716 vsize=209772 CPUtime=3.02 cores=0-7
/proc/21718/task/21727/stat : 21727 (plingeling) R 21716 21718 21692 0 -1 4202560 933 1258 0 0 302 0 0 0 25 0 9 0 719618201 214806528 13684 33554432000 4194304 4417452 140734298107536 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21718/tid=21728] ppid=21716 vsize=209772 CPUtime=3.01 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 10147 1258 0 0 300 1 0 0 25 0 9 0 719618201 214806528 13684 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21718/tid=21729] ppid=21716 vsize=209772 CPUtime=2.97 cores=0-7
/proc/21718/task/21729/stat : 21729 (plingeling) R 21716 21718 21692 0 -1 4202560 821 1258 0 0 297 0 0 0 25 0 9 0 719618201 214806528 13684 33554432000 4194304 4417452 140734298107536 18446744073709551615 4258525 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21718/tid=21730] ppid=21716 vsize=209772 CPUtime=3.01 cores=0-7
/proc/21718/task/21730/stat : 21730 (plingeling) R 21716 21718 21692 0 -1 4202560 1127 1258 0 0 301 0 0 0 25 0 9 0 719618201 214806528 13684 33554432000 4194304 4417452 140734298107536 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21718/tid=21731] ppid=21716 vsize=209772 CPUtime=3.02 cores=0-7
/proc/21718/task/21731/stat : 21731 (plingeling) R 21716 21718 21692 0 -1 4202560 805 1258 0 0 302 0 0 0 25 0 9 0 719618201 214806528 13684 33554432000 4194304 4417452 140734298107536 18446744073709551615 4366391 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21718/tid=21732] ppid=21716 vsize=209772 CPUtime=3.01 cores=0-7
/proc/21718/task/21732/stat : 21732 (plingeling) R 21716 21718 21692 0 -1 4202560 813 1258 0 0 301 0 0 0 25 0 9 0 719618201 214806528 13684 33554432000 4194304 4417452 140734298107536 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.2
Current children cumulated vsize (KiB) 209772

[startup+6.30062 s]
/proc/loadavg: 8.08 8.02 8.01 9/552 21732
/proc/meminfo: memFree=13520256/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=225540 CPUtime=49.73 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 34177 1258 0 0 4968 5 0 0 18 0 9 0 719618193 230952960 17626 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 56385 17626 180 55 0 54271 0
[pid=21718/tid=21725] ppid=21716 vsize=225540 CPUtime=6.22 cores=0-7
/proc/21718/task/21725/stat : 21725 (plingeling) R 21716 21718 21692 0 -1 4202560 1250 1258 0 0 622 0 0 0 25 0 9 0 719618200 230952960 17626 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21718/tid=21726] ppid=21716 vsize=225540 CPUtime=6.21 cores=0-7
/proc/21718/task/21726/stat : 21726 (plingeling) R 21716 21718 21692 0 -1 4202560 1379 1258 0 0 621 0 0 0 25 0 9 0 719618200 230952960 17626 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21718/tid=21727] ppid=21716 vsize=225540 CPUtime=6.22 cores=0-7
/proc/21718/task/21727/stat : 21727 (plingeling) R 21716 21718 21692 0 -1 4202560 2860 1258 0 0 622 0 0 0 25 0 9 0 719618201 230952960 17626 33554432000 4194304 4417452 140734298107536 18446744073709551615 4354515 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21718/tid=21728] ppid=21716 vsize=225540 CPUtime=6.21 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 18629 1258 0 0 618 3 0 0 25 0 9 0 719618201 230952960 17626 33554432000 4194304 4417452 140734298107536 18446744073709551615 4354458 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21718/tid=21729] ppid=21716 vsize=225540 CPUtime=6.11 cores=0-7
/proc/21718/task/21729/stat : 21729 (plingeling) R 21716 21718 21692 0 -1 4202560 821 1258 0 0 611 0 0 0 25 0 9 0 719618201 230952960 17626 33554432000 4194304 4417452 140734298107536 18446744073709551615 4250990 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21718/tid=21730] ppid=21716 vsize=226388 CPUtime=6.21 cores=0-7
/proc/21718/task/21730/stat : 21730 (plingeling) R 21716 21718 21692 0 -1 4202560 1127 1258 0 0 621 0 0 0 25 0 9 0 719618201 231821312 17629 33554432000 4194304 4417452 140734298107536 18446744073709551615 4250915 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21718/tid=21731] ppid=21716 vsize=226388 CPUtime=6.21 cores=0-7
/proc/21718/task/21731/stat : 21731 (plingeling) R 21716 21718 21692 0 -1 4202560 2666 1258 0 0 621 0 0 0 25 0 9 0 719618201 231821312 17640 33554432000 4194304 4417452 140734298107536 18446744073709551615 253640553535 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21718/tid=21732] ppid=21716 vsize=226388 CPUtime=6.21 cores=0-7
/proc/21718/task/21732/stat : 21732 (plingeling) R 21716 21718 21692 0 -1 4202560 813 1258 0 0 621 0 0 0 25 0 9 0 719618201 231821312 17655 33554432000 4194304 4417452 140734298107536 18446744073709551615 4259293 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.73
Current children cumulated vsize (KiB) 225540

[startup+12.7005 s]
/proc/loadavg: 8.07 8.02 8.00 9/552 21732
/proc/meminfo: memFree=13483824/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=260740 CPUtime=100.81 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 63815 1258 0 0 10070 11 0 0 18 0 9 0 719618193 266997760 26446 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 65185 26446 180 55 0 63071 0
[pid=21718/tid=21725] ppid=21716 vsize=260740 CPUtime=12.61 cores=0-7
/proc/21718/task/21725/stat : 21725 (plingeling) R 21716 21718 21692 0 -1 4202560 4505 1258 0 0 1261 0 0 0 25 0 9 0 719618200 266997760 26446 33554432000 4194304 4417452 140734298107536 18446744073709551615 4343993 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21718/tid=21726] ppid=21716 vsize=260740 CPUtime=12.61 cores=0-7
/proc/21718/task/21726/stat : 21726 (plingeling) R 21716 21718 21692 0 -1 4202560 5038 1258 0 0 1260 1 0 0 25 0 9 0 719618200 266997760 26446 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21718/tid=21727] ppid=21716 vsize=260740 CPUtime=12.61 cores=0-7
/proc/21718/task/21727/stat : 21727 (plingeling) R 21716 21718 21692 0 -1 4202560 4853 1258 0 0 1261 0 0 0 25 0 9 0 719618201 266997760 26446 33554432000 4194304 4417452 140734298107536 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21718/tid=21728] ppid=21716 vsize=260740 CPUtime=12.61 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 29455 1258 0 0 1256 5 0 0 25 0 9 0 719618201 266997760 26446 33554432000 4194304 4417452 140734298107536 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21718/tid=21729] ppid=21716 vsize=260740 CPUtime=12.39 cores=0-7
/proc/21718/task/21729/stat : 21729 (plingeling) R 21716 21718 21692 0 -1 4202560 3044 1258 0 0 1239 0 0 0 25 0 9 0 719618201 266997760 26446 33554432000 4194304 4417452 140734298107536 18446744073709551615 4356904 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21718/tid=21730] ppid=21716 vsize=260740 CPUtime=12.61 cores=0-7
/proc/21718/task/21730/stat : 21730 (plingeling) R 21716 21718 21692 0 -1 4202560 3530 1258 0 0 1261 0 0 0 25 0 9 0 719618201 266997760 26446 33554432000 4194304 4417452 140734298107536 18446744073709551615 4357540 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21718/tid=21731] ppid=21716 vsize=260740 CPUtime=12.61 cores=0-7
/proc/21718/task/21731/stat : 21731 (plingeling) R 21716 21718 21692 0 -1 4202560 4970 1258 0 0 1261 0 0 0 25 0 9 0 719618201 266997760 26446 33554432000 4194304 4417452 140734298107536 18446744073709551615 4251258 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21718/tid=21732] ppid=21716 vsize=260740 CPUtime=12.61 cores=0-7
/proc/21718/task/21732/stat : 21732 (plingeling) R 21716 21718 21692 0 -1 4202560 3774 1258 0 0 1261 0 0 0 25 0 9 0 719618201 266997760 26446 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.81
Current children cumulated vsize (KiB) 260740

[startup+25.5011 s]
/proc/loadavg: 8.06 8.02 8.00 9/552 21732
/proc/meminfo: memFree=13429680/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=305080 CPUtime=202.97 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 144334 1258 0 0 20269 28 0 0 18 0 9 0 719618193 312401920 37549 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 76270 37549 180 55 0 74156 0
[pid=21718/tid=21725] ppid=21716 vsize=305080 CPUtime=25.41 cores=0-7
/proc/21718/task/21725/stat : 21725 (plingeling) R 21716 21718 21692 0 -1 4202560 14690 1258 0 0 2539 2 0 0 25 0 9 0 719618200 312401920 37549 33554432000 4194304 4417452 140734298107536 18446744073709551615 4275831 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21718/tid=21726] ppid=21716 vsize=305080 CPUtime=25.41 cores=0-7
/proc/21718/task/21726/stat : 21726 (plingeling) R 21716 21718 21692 0 -1 4202560 12878 1258 0 0 2539 2 0 0 25 0 9 0 719618200 312401920 37549 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21718/tid=21727] ppid=21716 vsize=305080 CPUtime=25.41 cores=0-7
/proc/21718/task/21727/stat : 21727 (plingeling) R 21716 21718 21692 0 -1 4202560 14487 1258 0 0 2539 2 0 0 25 0 9 0 719618201 312401920 37549 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21718/tid=21728] ppid=21716 vsize=305080 CPUtime=25.41 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 42181 1258 0 0 2532 9 0 0 25 0 9 0 719618201 312401920 37549 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21718/tid=21729] ppid=21716 vsize=305080 CPUtime=24.95 cores=0-7
/proc/21718/task/21729/stat : 21729 (plingeling) R 21716 21718 21692 0 -1 4202560 13498 1258 0 0 2493 2 0 0 25 0 9 0 719618201 312401920 37549 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21718/tid=21730] ppid=21716 vsize=305080 CPUtime=25.41 cores=0-7
/proc/21718/task/21730/stat : 21730 (plingeling) R 21716 21718 21692 0 -1 4202560 13795 1258 0 0 2539 2 0 0 25 0 9 0 719618201 312401920 37549 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21718/tid=21731] ppid=21716 vsize=305080 CPUtime=25.41 cores=0-7
/proc/21718/task/21731/stat : 21731 (plingeling) R 21716 21718 21692 0 -1 4202560 15584 1258 0 0 2539 2 0 0 25 0 9 0 719618201 312401920 37549 33554432000 4194304 4417452 140734298107536 18446744073709551615 4356472 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21718/tid=21732] ppid=21716 vsize=305080 CPUtime=25.41 cores=0-7
/proc/21718/task/21732/stat : 21732 (plingeling) R 21716 21718 21692 0 -1 4202560 12575 1258 0 0 2539 2 0 0 25 0 9 0 719618201 312401920 37549 33554432000 4194304 4417452 140734298107536 18446744073709551615 4277563 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.97
Current children cumulated vsize (KiB) 305080

[startup+51.1004 s]
/proc/loadavg: 8.04 8.02 8.00 9/552 21735
/proc/meminfo: memFree=13373656/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=380104 CPUtime=407.3 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 273985 1258 0 0 40678 52 0 0 18 0 9 0 719618193 389226496 56273 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 95026 56273 180 55 0 92912 0
[pid=21718/tid=21725] ppid=21716 vsize=380104 CPUtime=51.01 cores=0-7
/proc/21718/task/21725/stat : 21725 (plingeling) R 21716 21718 21692 0 -1 4202560 26668 1258 0 0 5096 5 0 0 25 0 9 0 719618200 389226496 56273 33554432000 4194304 4417452 140734298107536 18446744073709551615 4250633 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21718/tid=21726] ppid=21716 vsize=380104 CPUtime=51.01 cores=0-7
/proc/21718/task/21726/stat : 21726 (plingeling) R 21716 21718 21692 0 -1 4202560 27123 1258 0 0 5097 4 0 0 25 0 9 0 719618200 389226496 56273 33554432000 4194304 4417452 140734298107536 18446744073709551615 4358737 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21718/tid=21727] ppid=21716 vsize=380104 CPUtime=51.01 cores=0-7

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

[pid=21718/tid=21728] ppid=21716 vsize=2380368 CPUtime=1241.66 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 401912 1258 0 0 124084 82 0 0 25 0 9 0 719618201 2437496832 556339 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21718/tid=21729] ppid=21716 vsize=2380368 CPUtime=1219.61 cores=0-7
/proc/21718/task/21729/stat : 21729 (plingeling) R 21716 21718 21692 0 -1 4202560 369069 1258 0 0 121901 60 0 0 25 0 9 0 719618201 2437496832 556339 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21718/tid=21730] ppid=21716 vsize=2380368 CPUtime=1242.14 cores=0-7
/proc/21718/task/21730/stat : 21730 (plingeling) R 21716 21718 21692 0 -1 4202560 351629 1258 0 0 124145 69 0 0 25 0 9 0 719618201 2437496832 556339 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21718/tid=21731] ppid=21716 vsize=2380368 CPUtime=1241.99 cores=0-7
/proc/21718/task/21731/stat : 21731 (plingeling) R 21716 21718 21692 0 -1 4202560 323234 1258 0 0 124138 61 0 0 25 0 9 0 719618201 2437496832 556339 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21718/tid=21732] ppid=21716 vsize=2380368 CPUtime=1242.25 cores=0-7
/proc/21718/task/21732/stat : 21732 (plingeling) R 21716 21718 21692 0 -1 4202560 335524 1258 0 0 124167 58 0 0 25 0 9 0 719618201 2437496832 556339 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9914.29
Current children cumulated vsize (KiB) 2380368

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

[startup+1254.3 s]
/proc/loadavg: 8.12 8.08 8.02 9/552 21768
/proc/meminfo: memFree=11371884/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=2395444 CPUtime=10010.1 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 2653715 1258 0 0 1000508 500 0 0 18 0 9 0 719618193 2452934656 560108 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 598861 560108 180 55 0 596747 0
[pid=21718/tid=21725] ppid=21716 vsize=2395444 CPUtime=1254.23 cores=0-7
/proc/21718/task/21725/stat : 21725 (plingeling) R 21716 21718 21692 0 -1 4202560 259610 1258 0 0 125374 49 0 0 25 0 9 0 719618200 2452934656 560108 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21718/tid=21726] ppid=21716 vsize=2395444 CPUtime=1254.02 cores=0-7
/proc/21718/task/21726/stat : 21726 (plingeling) R 21716 21718 21692 0 -1 4202560 296656 1258 0 0 125346 56 0 0 25 0 9 0 719618200 2452934656 560108 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21718/tid=21727] ppid=21716 vsize=2395444 CPUtime=1254.26 cores=0-7
/proc/21718/task/21727/stat : 21727 (plingeling) R 21716 21718 21692 0 -1 4202560 299474 1258 0 0 125367 59 0 0 25 0 9 0 719618201 2452934656 560108 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21718/tid=21728] ppid=21716 vsize=2395444 CPUtime=1253.66 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 401912 1258 0 0 125284 82 0 0 25 0 9 0 719618201 2452934656 560108 33554432000 4194304 4417452 140734298107536 18446744073709551615 4354418 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21718/tid=21729] ppid=21716 vsize=2395444 CPUtime=1231.4 cores=0-7
/proc/21718/task/21729/stat : 21729 (plingeling) R 21716 21718 21692 0 -1 4202560 372838 1258 0 0 123079 61 0 0 25 0 9 0 719618201 2452934656 560108 33554432000 4194304 4417452 140734298107536 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21718/tid=21730] ppid=21716 vsize=2395444 CPUtime=1254.13 cores=0-7
/proc/21718/task/21730/stat : 21730 (plingeling) R 21716 21718 21692 0 -1 4202560 351629 1258 0 0 125344 69 0 0 25 0 9 0 719618201 2452934656 560108 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21718/tid=21731] ppid=21716 vsize=2395444 CPUtime=1253.99 cores=0-7
/proc/21718/task/21731/stat : 21731 (plingeling) R 21716 21718 21692 0 -1 4202560 331426 1258 0 0 125337 62 0 0 25 0 9 0 719618201 2452934656 560108 33554432000 4194304 4417452 140734298107536 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21718/tid=21732] ppid=21716 vsize=2395444 CPUtime=1254.25 cores=0-7
/proc/21718/task/21732/stat : 21732 (plingeling) R 21716 21718 21692 0 -1 4202560 335524 1258 0 0 125367 58 0 0 25 0 9 0 719618201 2452934656 560108 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10010.1
Current children cumulated vsize (KiB) 2395444

[startup+1279.9 s]
/proc/loadavg: 8.08 8.08 8.02 9/552 21769
/proc/meminfo: memFree=11121772/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=2611912 CPUtime=10214.4 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 2735106 1258 0 0 1020927 514 0 0 18 0 9 0 719618193 2674597888 614225 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 652978 614225 180 55 0 650864 0
[pid=21718/tid=21725] ppid=21716 vsize=2611912 CPUtime=1279.83 cores=0-7
/proc/21718/task/21725/stat : 21725 (plingeling) R 21716 21718 21692 0 -1 4202560 296598 1258 0 0 127927 56 0 0 25 0 9 0 719618200 2674597888 614225 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21718/tid=21726] ppid=21716 vsize=2611912 CPUtime=1279.62 cores=0-7
/proc/21718/task/21726/stat : 21726 (plingeling) R 21716 21718 21692 0 -1 4202560 296656 1258 0 0 127906 56 0 0 25 0 9 0 719618200 2674597888 614225 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21718/tid=21727] ppid=21716 vsize=2611912 CPUtime=1279.86 cores=0-7
/proc/21718/task/21727/stat : 21727 (plingeling) R 21716 21718 21692 0 -1 4202560 299474 1258 0 0 127927 59 0 0 25 0 9 0 719618201 2674597888 614225 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21718/tid=21728] ppid=21716 vsize=2611912 CPUtime=1279.26 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 401912 1258 0 0 127844 82 0 0 25 0 9 0 719618201 2674597888 614225 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21718/tid=21729] ppid=21716 vsize=2611912 CPUtime=1256.53 cores=0-7
/proc/21718/task/21729/stat : 21729 (plingeling) R 21716 21718 21692 0 -1 4202560 382666 1258 0 0 125592 61 0 0 25 0 9 0 719618201 2674597888 614225 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21718/tid=21730] ppid=21716 vsize=2611912 CPUtime=1279.72 cores=0-7
/proc/21718/task/21730/stat : 21730 (plingeling) R 21716 21718 21692 0 -1 4202560 351629 1258 0 0 127903 69 0 0 25 0 9 0 719618201 2674597888 614225 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21718/tid=21731] ppid=21716 vsize=2611912 CPUtime=1279.59 cores=0-7
/proc/21718/task/21731/stat : 21731 (plingeling) R 21716 21718 21692 0 -1 4202560 366001 1258 0 0 127891 68 0 0 25 0 9 0 719618201 2674597888 614225 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21718/tid=21732] ppid=21716 vsize=2611912 CPUtime=1279.85 cores=0-7
/proc/21718/task/21732/stat : 21732 (plingeling) R 21716 21718 21692 0 -1 4202560 335524 1258 0 0 127927 58 0 0 25 0 9 0 719618201 2674597888 614225 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10214.4
Current children cumulated vsize (KiB) 2611912

[startup+1286.3 s]
/proc/loadavg: 8.06 8.07 8.01 9/552 21769
/proc/meminfo: memFree=11089652/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=2644680 CPUtime=10265.5 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 2743298 1258 0 0 1026032 517 0 0 18 0 9 0 719618193 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 661170 622417 180 55 0 659056 0
[pid=21718/tid=21725] ppid=21716 vsize=2644680 CPUtime=1286.23 cores=0-7
/proc/21718/task/21725/stat : 21725 (plingeling) R 21716 21718 21692 0 -1 4202560 296598 1258 0 0 128567 56 0 0 25 0 9 0 719618200 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21718/tid=21726] ppid=21716 vsize=2644680 CPUtime=1286.02 cores=0-7
/proc/21718/task/21726/stat : 21726 (plingeling) R 21716 21718 21692 0 -1 4202560 296656 1258 0 0 128546 56 0 0 25 0 9 0 719618200 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21718/tid=21727] ppid=21716 vsize=2644680 CPUtime=1286.26 cores=0-7
/proc/21718/task/21727/stat : 21727 (plingeling) R 21716 21718 21692 0 -1 4202560 299474 1258 0 0 128567 59 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21718/tid=21728] ppid=21716 vsize=2644680 CPUtime=1285.67 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 410104 1258 0 0 128482 85 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21718/tid=21729] ppid=21716 vsize=2644680 CPUtime=1262.81 cores=0-7
/proc/21718/task/21729/stat : 21729 (plingeling) R 21716 21718 21692 0 -1 4202560 382666 1258 0 0 126220 61 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21718/tid=21730] ppid=21716 vsize=2644680 CPUtime=1286.12 cores=0-7
/proc/21718/task/21730/stat : 21730 (plingeling) R 21716 21718 21692 0 -1 4202560 351629 1258 0 0 128543 69 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21718/tid=21731] ppid=21716 vsize=2644680 CPUtime=1285.98 cores=0-7
/proc/21718/task/21731/stat : 21731 (plingeling) R 21716 21718 21692 0 -1 4202560 366001 1258 0 0 128530 68 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21718/tid=21732] ppid=21716 vsize=2644680 CPUtime=1286.25 cores=0-7
/proc/21718/task/21732/stat : 21732 (plingeling) R 21716 21718 21692 0 -1 4202560 335524 1258 0 0 128567 58 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10265.5
Current children cumulated vsize (KiB) 2644680

[startup+1289.5 s]
/proc/loadavg: 8.06 8.07 8.01 9/552 21769
/proc/meminfo: memFree=11089528/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=2644680 CPUtime=10291 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 2743298 1258 0 0 1028587 517 0 0 18 0 9 0 719618193 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 661170 622417 180 55 0 659056 0
[pid=21718/tid=21725] ppid=21716 vsize=2644680 CPUtime=1289.43 cores=0-7
/proc/21718/task/21725/stat : 21725 (plingeling) R 21716 21718 21692 0 -1 4202560 296598 1258 0 0 128887 56 0 0 25 0 9 0 719618200 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21718/tid=21726] ppid=21716 vsize=2644680 CPUtime=1289.22 cores=0-7
/proc/21718/task/21726/stat : 21726 (plingeling) R 21716 21718 21692 0 -1 4202560 296656 1258 0 0 128866 56 0 0 25 0 9 0 719618200 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21718/tid=21727] ppid=21716 vsize=2644680 CPUtime=1289.46 cores=0-7
/proc/21718/task/21727/stat : 21727 (plingeling) R 21716 21718 21692 0 -1 4202560 299474 1258 0 0 128887 59 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21718/tid=21728] ppid=21716 vsize=2644680 CPUtime=1288.87 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 410104 1258 0 0 128802 85 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21718/tid=21729] ppid=21716 vsize=2644680 CPUtime=1265.95 cores=0-7
/proc/21718/task/21729/stat : 21729 (plingeling) R 21716 21718 21692 0 -1 4202560 382666 1258 0 0 126534 61 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4321714 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21718/tid=21730] ppid=21716 vsize=2644680 CPUtime=1289.32 cores=0-7
/proc/21718/task/21730/stat : 21730 (plingeling) R 21716 21718 21692 0 -1 4202560 351629 1258 0 0 128863 69 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21718/tid=21731] ppid=21716 vsize=2644680 CPUtime=1289.19 cores=0-7
/proc/21718/task/21731/stat : 21731 (plingeling) R 21716 21718 21692 0 -1 4202560 366001 1258 0 0 128851 68 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4263216 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21718/tid=21732] ppid=21716 vsize=2644680 CPUtime=1289.45 cores=0-7
/proc/21718/task/21732/stat : 21732 (plingeling) R 21716 21718 21692 0 -1 4202560 335524 1258 0 0 128887 58 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10291
Current children cumulated vsize (KiB) 2644680

[startup+1292.7 s]
/proc/loadavg: 8.06 8.07 8.01 9/552 21769
/proc/meminfo: memFree=11089528/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=2644680 CPUtime=10316.6 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 2743298 1258 0 0 1031141 517 0 0 18 0 9 0 719618193 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 661170 622417 180 55 0 659056 0
[pid=21718/tid=21725] ppid=21716 vsize=2644680 CPUtime=1292.63 cores=0-7
/proc/21718/task/21725/stat : 21725 (plingeling) R 21716 21718 21692 0 -1 4202560 296598 1258 0 0 129207 56 0 0 25 0 9 0 719618200 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21718/tid=21726] ppid=21716 vsize=2644680 CPUtime=1292.42 cores=0-7
/proc/21718/task/21726/stat : 21726 (plingeling) R 21716 21718 21692 0 -1 4202560 296656 1258 0 0 129186 56 0 0 25 0 9 0 719618200 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=21718/tid=21727] ppid=21716 vsize=2644680 CPUtime=1292.66 cores=0-7
/proc/21718/task/21727/stat : 21727 (plingeling) R 21716 21718 21692 0 -1 4202560 299474 1258 0 0 129207 59 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=21718/tid=21728] ppid=21716 vsize=2644680 CPUtime=1292.07 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 410104 1258 0 0 129122 85 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=21718/tid=21729] ppid=21716 vsize=2644680 CPUtime=1269.09 cores=0-7
/proc/21718/task/21729/stat : 21729 (plingeling) R 21716 21718 21692 0 -1 4202560 382666 1258 0 0 126848 61 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=21718/tid=21730] ppid=21716 vsize=2644680 CPUtime=1292.52 cores=0-7
/proc/21718/task/21730/stat : 21730 (plingeling) R 21716 21718 21692 0 -1 4202560 351629 1258 0 0 129183 69 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21718/tid=21731] ppid=21716 vsize=2644680 CPUtime=1292.39 cores=0-7
/proc/21718/task/21731/stat : 21731 (plingeling) R 21716 21718 21692 0 -1 4202560 366001 1258 0 0 129171 68 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21718/tid=21732] ppid=21716 vsize=2644680 CPUtime=1292.65 cores=0-7
/proc/21718/task/21732/stat : 21732 (plingeling) R 21716 21718 21692 0 -1 4202560 335524 1258 0 0 129207 58 0 0 25 0 9 0 719618201 2708152320 622417 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10316.6
Current children cumulated vsize (KiB) 2644680

[startup+1294.3 s]
/proc/loadavg: 8.06 8.07 8.01 4/547 21769
/proc/meminfo: memFree=11089568/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=2644680 CPUtime=10322.3 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 2743299 1258 0 0 1031716 517 0 0 17 0 2 0 719618193 2708152320 622418 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 661170 622418 181 55 0 659056 0
[pid=21718/tid=21728] ppid=21716 vsize=2644680 CPUtime=1293.67 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 410104 1258 0 0 129282 85 0 0 25 0 2 0 719618201 2708152320 622418 33554432000 4194304 4417452 140734298107536 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10322.3
Current children cumulated vsize (KiB) 2644680

[startup+1294.72 s]
/proc/loadavg: 8.06 8.07 8.01 2/545 21769
/proc/meminfo: memFree=11089584/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=2644680 CPUtime=10322.8 cores=0-7
/proc/21718/stat : 21718 (plingeling) S 21716 21718 21692 0 -1 4202496 2743299 1258 0 0 1031758 517 0 0 17 0 2 0 719618193 2708152320 622418 33554432000 4194304 4417452 140734298107536 18446744073709551615 253652662245 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/21718/statm: 661170 622418 181 55 0 659056 0
[pid=21718/tid=21728] ppid=21716 vsize=2644680 CPUtime=1294.09 cores=0-7
/proc/21718/task/21728/stat : 21728 (plingeling) R 21716 21718 21692 0 -1 4202560 410104 1258 0 0 129324 85 0 0 25 0 2 0 719618201 2708152320 622418 33554432000 4194304 4417452 140734298107536 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10322.8
Current children cumulated vsize (KiB) 2644680

[startup+1294.9 s]
/proc/loadavg: 8.06 8.07 8.01 2/545 21769
/proc/meminfo: memFree=11089584/32951124 swapFree=56449260/67111528
[pid=21718] ppid=21716 vsize=2109384 CPUtime=10322.9 cores=0-7
/proc/21718/stat : 21718 (plingeling) R 21716 21718 21692 0 -1 4202496 2743299 1258 0 0 1031774 519 0 0 15 0 1 0 719618193 2160009216 491974 33554432000 4194304 4417452 140734298107536 18446744073709551615 253640902791 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21718/statm: 527346 491974 181 55 0 525232 0
Current children cumulated CPU time (s) 10322.9
Current children cumulated vsize (KiB) 2109384

Child status: 10
Real time (s): 1294.97
CPU time (s): 10323
CPU user time (s): 10317.7
CPU system time (s): 5.2632
CPU usage (%): 797.161
Max. virtual memory (cumulated for all children) (KiB): 2644680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10317.7
system time used= 5.2632
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2744571
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= 304
involuntary context switches= 36654

runsolver used 6.66999 second user time and 16.9464 second system time

The end

Launcher Data 

Begin job on node106 at 2011-05-22 18:02:58
IDJOB=3394044
IDBENCH=71271
IDSOLVER=1851
FILE ID=node106/3394044-1306080178
RUNJOBID= node106-1306080178-21706
PBS_JOBID= 13387915
Free space on /tmp= 73260 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g4.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394044-1306080178/watcher-3394044-1306080178 -o /tmp/evaluation-result-3394044-1306080178/solver-3394044-1306080178 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3394044-1306080178.cnf

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

MD5SUM BENCH= 04c9f68df814bad18919ca17a3e0867a
RANDOM SEED=953822068

node106.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.830
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.66
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.830
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	: 5226.20
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.830
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.830
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.82
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.830
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.74
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.830
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.830
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.75
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13583464 kB
Buffers:        341048 kB
Cached:       10939756 kB
SwapCached:      27520 kB
Active:        8012292 kB
Inactive:     11046932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13583464 kB
SwapTotal:    67111528 kB
SwapFree:     56449260 kB
Dirty:             792 kB
Writeback:           0 kB
AnonPages:     7759988 kB
Mapped:          25564 kB
Slab:           157064 kB
PageTables:      77680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167517088 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= 73260 MiB
End job on node106 at 2011-05-22 18:24:33