Trace number 3394072

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 1451.61 182.095

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes5.cnf
MD5SUMccc3b90e7796ba48b01939580fe6357c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.19036
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 

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

[startup+0.115955 s]
/proc/loadavg: 7.14 7.89 7.98 2/481 3542
/proc/meminfo: memFree=16962028/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=174360 CPUtime=0.27 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 4903 1259 0 0 27 0 0 0 18 0 9 0 452614639 178544640 4821 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 43590 4821 174 55 0 41476 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 174360

[startup+0.2169 s]
/proc/loadavg: 7.14 7.89 7.98 2/481 3542
/proc/meminfo: memFree=16962028/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=177644 CPUtime=1.08 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 8559 1259 0 0 107 1 0 0 18 0 9 0 452614639 181907456 5649 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 44411 5649 177 55 0 42297 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 177644

[startup+0.316882 s]
/proc/loadavg: 7.14 7.89 7.98 2/481 3542
/proc/meminfo: memFree=16962028/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=181404 CPUtime=1.88 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 9959 1259 0 0 187 1 0 0 18 0 9 0 452614639 185757696 6592 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 45351 6592 180 55 0 43237 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 181404

[startup+0.700816 s]
/proc/loadavg: 7.14 7.89 7.98 2/481 3542
/proc/meminfo: memFree=16962028/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=189484 CPUtime=4.95 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 12962 1259 0 0 493 2 0 0 18 0 9 0 452614639 194031616 8612 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 47371 8612 180 55 0 45257 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 189484

[startup+1.50068 s]
/proc/loadavg: 7.20 7.89 7.98 9/490 3556
/proc/meminfo: memFree=16928732/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=194912 CPUtime=11.33 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 17038 1259 0 0 1131 2 0 0 18 0 9 0 452614639 199589888 9969 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 48728 9969 180 55 0 46614 0
[pid=3542/tid=3549] ppid=3540 vsize=194912 CPUtime=1.41 cores=0-7
/proc/3542/task/3549/stat : 3549 (plingeling) R 3540 3542 3316 0 -1 4202560 845 1259 0 0 141 0 0 0 20 0 9 0 452614647 199589888 9969 33554432000 4194304 4417452 140735967491632 18446744073709551615 4258491 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3542/tid=3550] ppid=3540 vsize=194912 CPUtime=1.4 cores=0-7
/proc/3542/task/3550/stat : 3550 (plingeling) R 3540 3542 3316 0 -1 4202560 759 1259 0 0 140 0 0 0 25 0 9 0 452614647 199589888 9969 33554432000 4194304 4417452 140735967491632 18446744073709551615 4236294 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3542/tid=3551] ppid=3540 vsize=194912 CPUtime=1.37 cores=0-7
/proc/3542/task/3551/stat : 3551 (plingeling) R 3540 3542 3316 0 -1 4202560 260 1259 0 0 137 0 0 0 23 0 9 0 452614647 199589888 9969 33554432000 4194304 4417452 140735967491632 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3542/tid=3552] ppid=3540 vsize=194912 CPUtime=1.41 cores=0-7
/proc/3542/task/3552/stat : 3552 (plingeling) R 3540 3542 3316 0 -1 4202560 6116 1259 0 0 140 1 0 0 23 0 9 0 452614647 199589888 9969 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3542/tid=3553] ppid=3540 vsize=194912 CPUtime=1.41 cores=0-7
/proc/3542/task/3553/stat : 3553 (plingeling) R 3540 3542 3316 0 -1 4202560 1037 1259 0 0 141 0 0 0 23 0 9 0 452614647 199589888 9969 33554432000 4194304 4417452 140735967491632 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3542/tid=3554] ppid=3540 vsize=194912 CPUtime=1.41 cores=0-7
/proc/3542/task/3554/stat : 3554 (plingeling) R 3540 3542 3316 0 -1 4202560 1444 1259 0 0 141 0 0 0 23 0 9 0 452614647 199589888 9969 33554432000 4194304 4417452 140735967491632 18446744073709551615 4249122 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3542/tid=3555] ppid=3540 vsize=194912 CPUtime=1.41 cores=0-7
/proc/3542/task/3555/stat : 3555 (plingeling) R 3540 3542 3316 0 -1 4202560 796 1259 0 0 141 0 0 0 19 0 9 0 452614648 199589888 9969 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3542/tid=3556] ppid=3540 vsize=194912 CPUtime=1.41 cores=0-7
/proc/3542/task/3556/stat : 3556 (plingeling) R 3540 3542 3316 0 -1 4202560 1134 1259 0 0 141 0 0 0 23 0 9 0 452614648 199589888 9969 33554432000 4194304 4417452 140735967491632 18446744073709551615 4248920 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (KiB) 194912

[startup+3.1004 s]
/proc/loadavg: 7.20 7.89 7.98 9/490 3556
/proc/meminfo: memFree=16916456/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=204796 CPUtime=24.11 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 22715 1259 0 0 2407 4 0 0 18 0 9 0 452614639 209711104 12440 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 51199 12440 180 55 0 49085 0
[pid=3542/tid=3549] ppid=3540 vsize=204796 CPUtime=3.01 cores=0-7
/proc/3542/task/3549/stat : 3549 (plingeling) R 3540 3542 3316 0 -1 4202560 845 1259 0 0 301 0 0 0 25 0 9 0 452614647 209711104 12440 33554432000 4194304 4417452 140735967491632 18446744073709551615 4249130 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3542/tid=3550] ppid=3540 vsize=204796 CPUtime=2.99 cores=0-7
/proc/3542/task/3550/stat : 3550 (plingeling) R 3540 3542 3316 0 -1 4202560 1255 1259 0 0 299 0 0 0 25 0 9 0 452614647 209711104 12440 33554432000 4194304 4417452 140735967491632 18446744073709551615 4319702 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3542/tid=3551] ppid=3540 vsize=204796 CPUtime=2.95 cores=0-7
/proc/3542/task/3551/stat : 3551 (plingeling) R 3540 3542 3316 0 -1 4202560 478 1259 0 0 295 0 0 0 25 0 9 0 452614647 209711104 12440 33554432000 4194304 4417452 140735967491632 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3542/tid=3552] ppid=3540 vsize=204796 CPUtime=3.01 cores=0-7
/proc/3542/task/3552/stat : 3552 (plingeling) R 3540 3542 3316 0 -1 4202560 10583 1259 0 0 299 2 0 0 25 0 9 0 452614647 209711104 12440 33554432000 4194304 4417452 140735967491632 18446744073709551615 4244345 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3542/tid=3553] ppid=3540 vsize=204796 CPUtime=3.01 cores=0-7
/proc/3542/task/3553/stat : 3553 (plingeling) R 3540 3542 3316 0 -1 4202560 1533 1259 0 0 301 0 0 0 25 0 9 0 452614647 209711104 12440 33554432000 4194304 4417452 140735967491632 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3542/tid=3554] ppid=3540 vsize=204796 CPUtime=3.01 cores=0-7
/proc/3542/task/3554/stat : 3554 (plingeling) R 3540 3542 3316 0 -1 4202560 1444 1259 0 0 301 0 0 0 25 0 9 0 452614647 209711104 12440 33554432000 4194304 4417452 140735967491632 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3542/tid=3555] ppid=3540 vsize=204796 CPUtime=3.01 cores=0-7
/proc/3542/task/3555/stat : 3555 (plingeling) R 3540 3542 3316 0 -1 4202560 796 1259 0 0 301 0 0 0 24 0 9 0 452614648 209711104 12440 33554432000 4194304 4417452 140735967491632 18446744073709551615 4275932 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3542/tid=3556] ppid=3540 vsize=204796 CPUtime=3.01 cores=0-7
/proc/3542/task/3556/stat : 3556 (plingeling) R 3540 3542 3316 0 -1 4202560 1134 1259 0 0 301 0 0 0 25 0 9 0 452614648 209711104 12440 33554432000 4194304 4417452 140735967491632 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.11
Current children cumulated vsize (KiB) 204796

[startup+6.30084 s]
/proc/loadavg: 7.20 7.89 7.98 9/490 3556
/proc/meminfo: memFree=16902356/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=231436 CPUtime=49.67 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 36875 1259 0 0 4960 7 0 0 18 0 9 0 452614639 236990464 19100 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 57859 19100 180 55 0 55745 0
[pid=3542/tid=3549] ppid=3540 vsize=231436 CPUtime=6.21 cores=0-7
/proc/3542/task/3549/stat : 3549 (plingeling) R 3540 3542 3316 0 -1 4202560 1836 1259 0 0 621 0 0 0 25 0 9 0 452614647 236990464 19100 33554432000 4194304 4417452 140735967491632 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3542/tid=3550] ppid=3540 vsize=231436 CPUtime=6.19 cores=0-7
/proc/3542/task/3550/stat : 3550 (plingeling) R 3540 3542 3316 0 -1 4202560 1750 1259 0 0 619 0 0 0 25 0 9 0 452614647 236990464 19100 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3542/tid=3551] ppid=3540 vsize=231436 CPUtime=6.09 cores=0-7
/proc/3542/task/3551/stat : 3551 (plingeling) R 3540 3542 3316 0 -1 4202560 2790 1259 0 0 609 0 0 0 25 0 9 0 452614647 236990464 19100 33554432000 4194304 4417452 140735967491632 18446744073709551615 4357244 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3542/tid=3552] ppid=3540 vsize=231436 CPUtime=6.21 cores=0-7
/proc/3542/task/3552/stat : 3552 (plingeling) R 3540 3542 3316 0 -1 4202560 18186 1259 0 0 617 4 0 0 25 0 9 0 452614647 236990464 19100 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3542/tid=3553] ppid=3540 vsize=231436 CPUtime=6.21 cores=0-7
/proc/3542/task/3553/stat : 3553 (plingeling) R 3540 3542 3316 0 -1 4202560 2028 1259 0 0 621 0 0 0 25 0 9 0 452614647 236990464 19100 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3542/tid=3554] ppid=3540 vsize=231436 CPUtime=6.21 cores=0-7
/proc/3542/task/3554/stat : 3554 (plingeling) R 3540 3542 3316 0 -1 4202560 1939 1259 0 0 621 0 0 0 25 0 9 0 452614647 236990464 19100 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3542/tid=3555] ppid=3540 vsize=231436 CPUtime=6.21 cores=0-7
/proc/3542/task/3555/stat : 3555 (plingeling) R 3540 3542 3316 0 -1 4202560 2070 1259 0 0 621 0 0 0 25 0 9 0 452614648 236990464 19100 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3542/tid=3556] ppid=3540 vsize=231436 CPUtime=6.21 cores=0-7
/proc/3542/task/3556/stat : 3556 (plingeling) R 3540 3542 3316 0 -1 4202560 1629 1259 0 0 621 0 0 0 25 0 9 0 452614648 236990464 19100 33554432000 4194304 4417452 140735967491632 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.67
Current children cumulated vsize (KiB) 231436

[startup+12.7007 s]
/proc/loadavg: 7.33 7.90 7.98 9/490 3557
/proc/meminfo: memFree=16880320/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=237120 CPUtime=100.76 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 64341 1259 0 0 10065 11 0 0 18 0 9 0 452614639 242810880 20521 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 59280 20521 180 55 0 57166 0
[pid=3542/tid=3549] ppid=3540 vsize=237120 CPUtime=12.6 cores=0-7
/proc/3542/task/3549/stat : 3549 (plingeling) R 3540 3542 3316 0 -1 4202560 4471 1259 0 0 1260 0 0 0 25 0 9 0 452614647 242810880 20521 33554432000 4194304 4417452 140735967491632 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3542/tid=3550] ppid=3540 vsize=237120 CPUtime=12.59 cores=0-7
/proc/3542/task/3550/stat : 3550 (plingeling) R 3540 3542 3316 0 -1 4202560 3204 1259 0 0 1259 0 0 0 25 0 9 0 452614647 242810880 20521 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3542/tid=3551] ppid=3540 vsize=237120 CPUtime=12.39 cores=0-7
/proc/3542/task/3551/stat : 3551 (plingeling) R 3540 3542 3316 0 -1 4202560 4892 1259 0 0 1239 0 0 0 25 0 9 0 452614647 242810880 20521 33554432000 4194304 4417452 140735967491632 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3542/tid=3552] ppid=3540 vsize=237120 CPUtime=12.61 cores=0-7
/proc/3542/task/3552/stat : 3552 (plingeling) R 3540 3542 3316 0 -1 4202560 30173 1259 0 0 1255 6 0 0 25 0 9 0 452614647 242810880 20521 33554432000 4194304 4417452 140735967491632 18446744073709551615 4357263 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3542/tid=3553] ppid=3540 vsize=237120 CPUtime=12.61 cores=0-7
/proc/3542/task/3553/stat : 3553 (plingeling) R 3540 3542 3316 0 -1 4202560 5059 1259 0 0 1261 0 0 0 25 0 9 0 452614647 242810880 20521 33554432000 4194304 4417452 140735967491632 18446744073709551615 4320940 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3542/tid=3554] ppid=3540 vsize=237120 CPUtime=12.6 cores=0-7
/proc/3542/task/3554/stat : 3554 (plingeling) R 3540 3542 3316 0 -1 4202560 3491 1259 0 0 1260 0 0 0 25 0 9 0 452614647 242810880 20521 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364800 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3542/tid=3555] ppid=3540 vsize=237120 CPUtime=12.6 cores=0-7
/proc/3542/task/3555/stat : 3555 (plingeling) R 3540 3542 3316 0 -1 4202560 3763 1259 0 0 1260 0 0 0 25 0 9 0 452614648 242810880 20521 33554432000 4194304 4417452 140735967491632 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3542/tid=3556] ppid=3540 vsize=237120 CPUtime=12.6 cores=0-7
/proc/3542/task/3556/stat : 3556 (plingeling) R 3540 3542 3316 0 -1 4202560 4641 1259 0 0 1260 0 0 0 25 0 9 0 452614648 242810880 20521 33554432000 4194304 4417452 140735967491632 18446744073709551615 4366402 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.76
Current children cumulated vsize (KiB) 237120

[startup+25.5015 s]
/proc/loadavg: 7.51 7.92 7.98 9/490 3557
/proc/meminfo: memFree=16833928/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=289952 CPUtime=202.96 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 144686 1259 0 0 20270 26 0 0 18 0 9 0 452614639 296910848 33729 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 72488 33729 180 55 0 70374 0
[pid=3542/tid=3549] ppid=3540 vsize=289952 CPUtime=25.4 cores=0-7
/proc/3542/task/3549/stat : 3549 (plingeling) R 3540 3542 3316 0 -1 4202560 11705 1259 0 0 2539 1 0 0 25 0 9 0 452614647 296910848 33729 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3542/tid=3550] ppid=3540 vsize=289952 CPUtime=25.39 cores=0-7
/proc/3542/task/3550/stat : 3550 (plingeling) R 3540 3542 3316 0 -1 4202560 11090 1259 0 0 2537 2 0 0 25 0 9 0 452614647 296910848 33729 33554432000 4194304 4417452 140735967491632 18446744073709551615 4232787 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3542/tid=3551] ppid=3540 vsize=289952 CPUtime=24.99 cores=0-7
/proc/3542/task/3551/stat : 3551 (plingeling) R 3540 3542 3316 0 -1 4202560 15685 1259 0 0 2497 2 0 0 25 0 9 0 452614647 296910848 33729 33554432000 4194304 4417452 140735967491632 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3542/tid=3552] ppid=3540 vsize=289952 CPUtime=25.41 cores=0-7
/proc/3542/task/3552/stat : 3552 (plingeling) R 3540 3542 3316 0 -1 4202560 46594 1259 0 0 2532 9 0 0 25 0 9 0 452614647 296910848 33729 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3542/tid=3553] ppid=3540 vsize=289952 CPUtime=25.41 cores=0-7
/proc/3542/task/3553/stat : 3553 (plingeling) R 3540 3542 3316 0 -1 4202560 13947 1259 0 0 2539 2 0 0 25 0 9 0 452614647 296910848 33729 33554432000 4194304 4417452 140735967491632 18446744073709551615 4232695 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3542/tid=3554] ppid=3540 vsize=289952 CPUtime=25.41 cores=0-7
/proc/3542/task/3554/stat : 3554 (plingeling) R 3540 3542 3316 0 -1 4202560 12515 1259 0 0 2539 2 0 0 25 0 9 0 452614647 296910848 33729 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3542/tid=3555] ppid=3540 vsize=289952 CPUtime=25.41 cores=0-7
/proc/3542/task/3555/stat : 3555 (plingeling) R 3540 3542 3316 0 -1 4202560 14327 1259 0 0 2539 2 0 0 25 0 9 0 452614648 296910848 33729 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3542/tid=3556] ppid=3540 vsize=289952 CPUtime=25.4 cores=0-7
/proc/3542/task/3556/stat : 3556 (plingeling) R 3540 3542 3316 0 -1 4202560 14176 1259 0 0 2539 1 0 0 25 0 9 0 452614648 296910848 33729 33554432000 4194304 4417452 140735967491632 18446744073709551615 4320914 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.96
Current children cumulated vsize (KiB) 289952

[startup+51.101 s]
/proc/loadavg: 7.68 7.92 7.98 9/490 3558
/proc/meminfo: memFree=16802428/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=318580 CPUtime=407.36 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 270949 1259 0 0 40684 52 0 0 18 0 9 0 452614639 326225920 40885 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 79645 40885 180 55 0 77531 0
[pid=3542/tid=3549] ppid=3540 vsize=318580 CPUtime=51.01 cores=0-7
/proc/3542/task/3549/stat : 3549 (plingeling) R 3540 3542 3316 0 -1 4202560 27085 1259 0 0 5097 4 0 0 25 0 9 0 452614647 326225920 40885 33554432000 4194304 4417452 140735967491632 18446744073709551615 4353661 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3542/tid=3550] ppid=3540 vsize=318580 CPUtime=50.98 cores=0-7
/proc/3542/task/3550/stat : 3550 (plingeling) R 3540 3542 3316 0 -1 4202560 24592 1259 0 0 5094 4 0 0 25 0 9 0 452614647 326225920 40885 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3542/tid=3551] ppid=3540 vsize=318580 CPUtime=50.19 cores=0-7

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

/proc/3542/task/3554/stat : 3554 (plingeling) R 3540 3542 3316 0 -1 4202560 75485 1259 0 0 16207 13 0 0 25 0 9 0 452614647 503902208 84264 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3542/tid=3555] ppid=3540 vsize=492092 CPUtime=162.2 cores=0-7
/proc/3542/task/3555/stat : 3555 (plingeling) R 3540 3542 3316 0 -1 4202560 73987 1259 0 0 16207 13 0 0 25 0 9 0 452614648 503902208 84264 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3542/tid=3556] ppid=3540 vsize=492092 CPUtime=162.2 cores=0-7
/proc/3542/task/3556/stat : 3556 (plingeling) R 3540 3542 3316 0 -1 4202560 86031 1259 0 0 16206 14 0 0 25 0 9 0 452614648 503902208 84264 33554432000 4194304 4417452 140735967491632 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1295.2
Current children cumulated vsize (KiB) 492092

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

[startup+166.401 s]
/proc/loadavg: 8.06 7.98 8.00 9/490 3561
/proc/meminfo: memFree=16615764/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=498760 CPUtime=1327.92 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 694281 1259 0 0 132664 128 0 0 18 0 9 0 452614639 510730240 85931 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 124690 85931 180 55 0 122576 0
[pid=3542/tid=3549] ppid=3540 vsize=498760 CPUtime=166.31 cores=0-7
/proc/3542/task/3549/stat : 3549 (plingeling) R 3540 3542 3316 0 -1 4202560 81169 1259 0 0 16617 14 0 0 25 0 9 0 452614647 510730240 85931 33554432000 4194304 4417452 140735967491632 18446744073709551615 4366469 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3542/tid=3550] ppid=3540 vsize=498760 CPUtime=166.25 cores=0-7
/proc/3542/task/3550/stat : 3550 (plingeling) R 3540 3542 3316 0 -1 4202560 72998 1259 0 0 16614 11 0 0 25 0 9 0 452614647 510730240 85931 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3542/tid=3551] ppid=3540 vsize=498760 CPUtime=163.69 cores=0-7
/proc/3542/task/3551/stat : 3551 (plingeling) R 3540 3542 3316 0 -1 4202560 86939 1259 0 0 16353 16 0 0 25 0 9 0 452614647 510730240 85931 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3542/tid=3552] ppid=3540 vsize=498760 CPUtime=166.32 cores=0-7
/proc/3542/task/3552/stat : 3552 (plingeling) R 3540 3542 3316 0 -1 4202560 128782 1259 0 0 16605 27 0 0 25 0 9 0 452614647 510730240 85931 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3542/tid=3553] ppid=3540 vsize=498760 CPUtime=166.31 cores=0-7
/proc/3542/task/3553/stat : 3553 (plingeling) R 3540 3542 3316 0 -1 4202560 79659 1259 0 0 16616 15 0 0 25 0 9 0 452614647 510730240 85931 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364958 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3542/tid=3554] ppid=3540 vsize=498760 CPUtime=166.3 cores=0-7
/proc/3542/task/3554/stat : 3554 (plingeling) R 3540 3542 3316 0 -1 4202560 77821 1259 0 0 16616 14 0 0 25 0 9 0 452614647 510730240 85931 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3542/tid=3555] ppid=3540 vsize=498760 CPUtime=166.3 cores=0-7
/proc/3542/task/3555/stat : 3555 (plingeling) R 3540 3542 3316 0 -1 4202560 74819 1259 0 0 16617 13 0 0 25 0 9 0 452614648 510730240 85931 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3542/tid=3556] ppid=3540 vsize=498760 CPUtime=166.3 cores=0-7
/proc/3542/task/3556/stat : 3556 (plingeling) R 3540 3542 3316 0 -1 4202560 87447 1259 0 0 16616 14 0 0 25 0 9 0 452614648 510730240 85931 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1327.92
Current children cumulated vsize (KiB) 498760

[startup+172.818 s]
/proc/loadavg: 8.05 7.98 8.00 9/490 3561
/proc/meminfo: memFree=16618112/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=495756 CPUtime=1379.15 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 715678 1259 0 0 137783 132 0 0 18 0 9 0 452614639 507654144 85180 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 123939 85180 180 55 0 121825 0
[pid=3542/tid=3549] ppid=3540 vsize=495756 CPUtime=172.73 cores=0-7
/proc/3542/task/3549/stat : 3549 (plingeling) R 3540 3542 3316 0 -1 4202560 83931 1259 0 0 17258 15 0 0 25 0 9 0 452614647 507654144 85180 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3542/tid=3550] ppid=3540 vsize=495756 CPUtime=172.67 cores=0-7
/proc/3542/task/3550/stat : 3550 (plingeling) R 3540 3542 3316 0 -1 4202560 76651 1259 0 0 17255 12 0 0 25 0 9 0 452614647 507654144 85180 33554432000 4194304 4417452 140735967491632 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3542/tid=3551] ppid=3540 vsize=495756 CPUtime=170.01 cores=0-7
/proc/3542/task/3551/stat : 3551 (plingeling) R 3540 3542 3316 0 -1 4202560 89749 1259 0 0 16984 17 0 0 25 0 9 0 452614647 507654144 85180 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3542/tid=3552] ppid=3540 vsize=495756 CPUtime=172.73 cores=0-7
/proc/3542/task/3552/stat : 3552 (plingeling) R 3540 3542 3316 0 -1 4202560 128782 1259 0 0 17246 27 0 0 25 0 9 0 452614647 507654144 85180 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3542/tid=3553] ppid=3540 vsize=495756 CPUtime=172.72 cores=0-7
/proc/3542/task/3553/stat : 3553 (plingeling) R 3540 3542 3316 0 -1 4202560 82859 1259 0 0 17257 15 0 0 25 0 9 0 452614647 507654144 85180 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3542/tid=3554] ppid=3540 vsize=495756 CPUtime=172.72 cores=0-7
/proc/3542/task/3554/stat : 3554 (plingeling) R 3540 3542 3316 0 -1 4202560 80717 1259 0 0 17258 14 0 0 25 0 9 0 452614647 507654144 85180 33554432000 4194304 4417452 140735967491632 18446744073709551615 4234403 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3542/tid=3555] ppid=3540 vsize=495756 CPUtime=172.71 cores=0-7
/proc/3542/task/3555/stat : 3555 (plingeling) R 3540 3542 3316 0 -1 4202560 78651 1259 0 0 17257 14 0 0 25 0 9 0 452614648 507654144 85180 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3542/tid=3556] ppid=3540 vsize=495756 CPUtime=172.73 cores=0-7
/proc/3542/task/3556/stat : 3556 (plingeling) R 3540 3542 3316 0 -1 4202560 89691 1259 0 0 17258 15 0 0 25 0 9 0 452614648 507654144 85180 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1379.15
Current children cumulated vsize (KiB) 495756

[startup+176 s]
/proc/loadavg: 8.05 7.98 8.00 9/490 3561
/proc/meminfo: memFree=16594800/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=522420 CPUtime=1404.62 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 726952 1259 0 0 140328 134 0 0 18 0 9 0 452614639 534958080 91846 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 130605 91846 180 55 0 128491 0
[pid=3542/tid=3549] ppid=3540 vsize=522420 CPUtime=175.93 cores=0-7
/proc/3542/task/3549/stat : 3549 (plingeling) R 3540 3542 3316 0 -1 4202560 86471 1259 0 0 17578 15 0 0 25 0 9 0 452614647 534958080 91846 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3542/tid=3550] ppid=3540 vsize=522420 CPUtime=175.87 cores=0-7
/proc/3542/task/3550/stat : 3550 (plingeling) R 3540 3542 3316 0 -1 4202560 77536 1259 0 0 17575 12 0 0 25 0 9 0 452614647 534958080 91846 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3542/tid=3551] ppid=3540 vsize=522420 CPUtime=173.15 cores=0-7
/proc/3542/task/3551/stat : 3551 (plingeling) R 3540 3542 3316 0 -1 4202560 91457 1259 0 0 17298 17 0 0 25 0 9 0 452614647 534958080 91846 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3542/tid=3552] ppid=3540 vsize=522420 CPUtime=175.93 cores=0-7
/proc/3542/task/3552/stat : 3552 (plingeling) R 3540 3542 3316 0 -1 4202560 128782 1259 0 0 17566 27 0 0 25 0 9 0 452614647 534958080 91846 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3542/tid=3553] ppid=3540 vsize=522420 CPUtime=175.92 cores=0-7
/proc/3542/task/3553/stat : 3553 (plingeling) R 3540 3542 3316 0 -1 4202560 84540 1259 0 0 17577 15 0 0 25 0 9 0 452614647 534958080 91846 33554432000 4194304 4417452 140735967491632 18446744073709551615 4310191 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3542/tid=3554] ppid=3540 vsize=522420 CPUtime=175.91 cores=0-7
/proc/3542/task/3554/stat : 3554 (plingeling) R 3540 3542 3316 0 -1 4202560 83109 1259 0 0 17577 14 0 0 25 0 9 0 452614647 534958080 91846 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3542/tid=3555] ppid=3540 vsize=522420 CPUtime=175.91 cores=0-7
/proc/3542/task/3555/stat : 3555 (plingeling) R 3540 3542 3316 0 -1 4202560 79142 1259 0 0 17577 14 0 0 25 0 9 0 452614648 534958080 91846 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364687 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3542/tid=3556] ppid=3540 vsize=522420 CPUtime=175.92 cores=0-7
/proc/3542/task/3556/stat : 3556 (plingeling) R 3540 3542 3316 0 -1 4202560 91268 1259 0 0 17577 15 0 0 25 0 9 0 452614648 534958080 91846 33554432000 4194304 4417452 140735967491632 18446744073709551615 4366074 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 522420

[startup+179.201 s]
/proc/loadavg: 8.05 7.98 8.00 9/490 3561
/proc/meminfo: memFree=16578184/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=517192 CPUtime=1430.13 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 738136 1259 0 0 142877 136 0 0 18 0 9 0 452614639 529604608 90539 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 129298 90539 180 55 0 127184 0
[pid=3542/tid=3549] ppid=3540 vsize=517192 CPUtime=179.11 cores=0-7
/proc/3542/task/3549/stat : 3549 (plingeling) R 3540 3542 3316 0 -1 4202560 88194 1259 0 0 17895 16 0 0 25 0 9 0 452614647 529604608 90539 33554432000 4194304 4417452 140735967491632 18446744073709551615 4263118 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3542/tid=3550] ppid=3540 vsize=517192 CPUtime=179.05 cores=0-7
/proc/3542/task/3550/stat : 3550 (plingeling) R 3540 3542 3316 0 -1 4202560 77536 1259 0 0 17893 12 0 0 25 0 9 0 452614647 529604608 90539 33554432000 4194304 4417452 140735967491632 18446744073709551615 4246341 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3542/tid=3551] ppid=3540 vsize=517192 CPUtime=176.3 cores=0-7
/proc/3542/task/3551/stat : 3551 (plingeling) R 3540 3542 3316 0 -1 4202560 92330 1259 0 0 17613 17 0 0 25 0 9 0 452614647 529604608 90539 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3542/tid=3552] ppid=3540 vsize=517192 CPUtime=179.11 cores=0-7
/proc/3542/task/3552/stat : 3552 (plingeling) R 3540 3542 3316 0 -1 4202560 132878 1259 0 0 17883 28 0 0 25 0 9 0 452614647 529604608 90539 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3542/tid=3553] ppid=3540 vsize=517192 CPUtime=179.11 cores=0-7
/proc/3542/task/3553/stat : 3553 (plingeling) R 3540 3542 3316 0 -1 4202560 84540 1259 0 0 17896 15 0 0 25 0 9 0 452614647 529604608 90539 33554432000 4194304 4417452 140735967491632 18446744073709551615 4250381 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3542/tid=3554] ppid=3540 vsize=517192 CPUtime=179.1 cores=0-7
/proc/3542/task/3554/stat : 3554 (plingeling) R 3540 3542 3316 0 -1 4202560 84583 1259 0 0 17895 15 0 0 25 0 9 0 452614647 529604608 90539 33554432000 4194304 4417452 140735967491632 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3542/tid=3555] ppid=3540 vsize=517192 CPUtime=179.1 cores=0-7
/proc/3542/task/3555/stat : 3555 (plingeling) R 3540 3542 3316 0 -1 4202560 80533 1259 0 0 17895 15 0 0 25 0 9 0 452614648 529604608 90539 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3542/tid=3556] ppid=3540 vsize=517192 CPUtime=179.1 cores=0-7
/proc/3542/task/3556/stat : 3556 (plingeling) R 3540 3542 3316 0 -1 4202560 92895 1259 0 0 17895 15 0 0 25 0 9 0 452614648 529604608 90539 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1430.13
Current children cumulated vsize (KiB) 517192

[startup+180.801 s]
/proc/loadavg: 8.05 7.98 8.00 9/490 3561
/proc/meminfo: memFree=16589108/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=529612 CPUtime=1442.89 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 743081 1259 0 0 144153 136 0 0 18 0 9 0 452614639 542322688 93644 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 132403 93644 180 55 0 130289 0
[pid=3542/tid=3549] ppid=3540 vsize=529612 CPUtime=180.71 cores=0-7
/proc/3542/task/3549/stat : 3549 (plingeling) R 3540 3542 3316 0 -1 4202560 88967 1259 0 0 18055 16 0 0 25 0 9 0 452614647 542322688 93644 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3542/tid=3550] ppid=3540 vsize=529612 CPUtime=180.65 cores=0-7
/proc/3542/task/3550/stat : 3550 (plingeling) R 3540 3542 3316 0 -1 4202560 78655 1259 0 0 18053 12 0 0 25 0 9 0 452614647 542322688 93644 33554432000 4194304 4417452 140735967491632 18446744073709551615 4311304 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3542/tid=3551] ppid=3540 vsize=529612 CPUtime=177.86 cores=0-7
/proc/3542/task/3551/stat : 3551 (plingeling) R 3540 3542 3316 0 -1 4202560 92330 1259 0 0 17769 17 0 0 25 0 9 0 452614647 542322688 93644 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3542/tid=3552] ppid=3540 vsize=529612 CPUtime=180.71 cores=0-7
/proc/3542/task/3552/stat : 3552 (plingeling) R 3540 3542 3316 0 -1 4202560 132878 1259 0 0 18043 28 0 0 25 0 9 0 452614647 542322688 93644 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3542/tid=3553] ppid=3540 vsize=529612 CPUtime=180.71 cores=0-7
/proc/3542/task/3553/stat : 3553 (plingeling) R 3540 3542 3316 0 -1 4202560 86766 1259 0 0 18055 16 0 0 25 0 9 0 452614647 542322688 93644 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3542/tid=3554] ppid=3540 vsize=529612 CPUtime=180.7 cores=0-7
/proc/3542/task/3554/stat : 3554 (plingeling) R 3540 3542 3316 0 -1 4202560 84859 1259 0 0 18055 15 0 0 25 0 9 0 452614647 542322688 93644 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3542/tid=3555] ppid=3540 vsize=529612 CPUtime=180.7 cores=0-7
/proc/3542/task/3555/stat : 3555 (plingeling) R 3540 3542 3316 0 -1 4202560 80533 1259 0 0 18055 15 0 0 25 0 9 0 452614648 542322688 93644 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3542/tid=3556] ppid=3540 vsize=529612 CPUtime=180.7 cores=0-7
/proc/3542/task/3556/stat : 3556 (plingeling) R 3540 3542 3316 0 -1 4202560 93446 1259 0 0 18055 15 0 0 25 0 9 0 452614648 542322688 93644 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1442.89
Current children cumulated vsize (KiB) 529612

[startup+181.618 s]
/proc/loadavg: 8.04 7.98 8.00 9/490 3561
/proc/meminfo: memFree=16584768/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=531604 CPUtime=1449.41 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 743579 1259 0 0 144805 136 0 0 18 0 9 0 452614639 544362496 94142 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 132901 94142 180 55 0 130787 0
[pid=3542/tid=3549] ppid=3540 vsize=531604 CPUtime=181.53 cores=0-7
/proc/3542/task/3549/stat : 3549 (plingeling) R 3540 3542 3316 0 -1 4202560 88967 1259 0 0 18137 16 0 0 25 0 9 0 452614647 544362496 94142 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3542/tid=3550] ppid=3540 vsize=531604 CPUtime=181.47 cores=0-7
/proc/3542/task/3550/stat : 3550 (plingeling) R 3540 3542 3316 0 -1 4202560 78655 1259 0 0 18135 12 0 0 25 0 9 0 452614647 544362496 94142 33554432000 4194304 4417452 140735967491632 18446744073709551615 4310184 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3542/tid=3551] ppid=3540 vsize=531604 CPUtime=178.66 cores=0-7
/proc/3542/task/3551/stat : 3551 (plingeling) R 3540 3542 3316 0 -1 4202560 92330 1259 0 0 17849 17 0 0 25 0 9 0 452614647 544362496 94142 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3542/tid=3552] ppid=3540 vsize=531604 CPUtime=181.53 cores=0-7
/proc/3542/task/3552/stat : 3552 (plingeling) R 3540 3542 3316 0 -1 4202560 132878 1259 0 0 18125 28 0 0 25 0 9 0 452614647 544362496 94142 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3542/tid=3553] ppid=3540 vsize=531604 CPUtime=181.53 cores=0-7
/proc/3542/task/3553/stat : 3553 (plingeling) R 3540 3542 3316 0 -1 4202560 86766 1259 0 0 18137 16 0 0 25 0 9 0 452614647 544362496 94142 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3542/tid=3554] ppid=3540 vsize=531604 CPUtime=181.52 cores=0-7
/proc/3542/task/3554/stat : 3554 (plingeling) R 3540 3542 3316 0 -1 4202560 85099 1259 0 0 18137 15 0 0 25 0 9 0 452614647 544362496 94142 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3542/tid=3555] ppid=3540 vsize=531604 CPUtime=181.52 cores=0-7
/proc/3542/task/3555/stat : 3555 (plingeling) R 3540 3542 3316 0 -1 4202560 80533 1259 0 0 18137 15 0 0 25 0 9 0 452614648 544362496 94142 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3542/tid=3556] ppid=3540 vsize=531604 CPUtime=181.52 cores=0-7
/proc/3542/task/3556/stat : 3556 (plingeling) R 3540 3542 3316 0 -1 4202560 93704 1259 0 0 18137 15 0 0 25 0 9 0 452614648 544362496 94142 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1449.41
Current children cumulated vsize (KiB) 531604

[startup+182 s]
/proc/loadavg: 8.04 7.98 8.00 9/490 3561
/proc/meminfo: memFree=16584768/32951124 swapFree=46575304/67111528
[pid=3542] ppid=3540 vsize=536188 CPUtime=1451.51 cores=0-7
/proc/3542/stat : 3542 (plingeling) S 3540 3542 3316 0 -1 4202496 744726 1259 0 0 145014 137 0 0 16 0 2 0 452614639 549056512 95289 33554432000 4194304 4417452 140735967491632 18446744073709551615 268672464869 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/3542/statm: 134047 95289 181 55 0 131933 0
[pid=3542/tid=3552] ppid=3540 vsize=536188 CPUtime=181.91 cores=0-7
/proc/3542/task/3552/stat : 3552 (plingeling) R 3540 3542 3316 0 -1 4202560 132878 1259 0 0 18163 28 0 0 25 0 2 0 452614647 549056512 95289 33554432000 4194304 4417452 140735967491632 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1451.51
Current children cumulated vsize (KiB) 536188

Child status: 10
Real time (s): 182.095
CPU time (s): 1451.61
CPU user time (s): 1450.22
CPU system time (s): 1.38979
CPU usage (%): 797.172
Max. virtual memory (cumulated for all children) (KiB): 547008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1450.22
system time used= 1.38979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 745999
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= 207
involuntary context switches= 6532

runsolver used 0.825874 second user time and 2.02769 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-22 19:10:34
IDJOB=3394072
IDBENCH=71354
IDSOLVER=1851
FILE ID=node107/3394072-1306084234
RUNJOBID= node107-1306079748-3330
PBS_JOBID= 13387913
Free space on /tmp= 73192 MiB

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

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

MD5SUM BENCH= ccc3b90e7796ba48b01939580fe6357c
RANDOM SEED=416079166

node107.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.829
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.65
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.829
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.829
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.67
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.829
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.829
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.829
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	: 5359.47
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.829
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.829
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:      16962060 kB
Buffers:        297444 kB
Cached:        6683268 kB
SwapCached:       9840 kB
Active:       11692696 kB
Inactive:      3975448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16962060 kB
SwapTotal:    67111528 kB
SwapFree:     46575304 kB
Dirty:             808 kB
Writeback:           0 kB
AnonPages:     8685340 kB
Mapped:          32484 kB
Slab:           156560 kB
PageTables:      95168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145077892 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= 73192 MiB
End job on node107 at 2011-05-22 19:13:36