Trace number 3438391

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
SArTagnan 2011-05-15 (fixed)SAT 7246.73 907.966

General information on the benchmark

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

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3438391-1306916111/watcher-3438391-1306916111 -o /tmp/evaluation-result-3438391-1306916111/solver-3438391-1306916111 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3438391-1306916111.cnf -threads=8 

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

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


[startup+0 s]
/proc/loadavg: 8.14 8.03 6.90 1/507 22635
/proc/meminfo: memFree=19814356/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=20832 CPUtime=0.01 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 972 0 0 0 1 0 0 0 25 0 1 0 881841926 21331968 597 33554432000 4194304 4625164 140734242517360 18446744073709551615 215988592384 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22635/statm: 5208 598 296 106 0 711 0
[pid=22635/tid=22637] ppid=22633 vsize=100852 CPUtime=0 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 881841928 103272448 2063 33554432000 4194304 4625164 140734242517360 18446744073709551615 47651207255986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=100852 CPUtime=0 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 881841928 103272448 2063 33554432000 4194304 4625164 140734242517360 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=100852 CPUtime=0 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 881841928 103272448 2063 33554432000 4194304 4625164 140734242517360 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=100852 CPUtime=0 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 881841928 103272448 2063 33554432000 4194304 4625164 140734242517360 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=100852 CPUtime=0 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 881841928 103272448 2063 33554432000 4194304 4625164 140734242517360 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=100852 CPUtime=0 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 881841928 103272448 2063 33554432000 4194304 4625164 140734242517360 18446744073709551615 216000390198 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=100852 CPUtime=0 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 881841928 103272448 2063 33554432000 4194304 4625164 140734242517360 18446744073709551615 47651207255986 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0873829 s]
/proc/loadavg: 8.14 8.03 6.90 1/507 22635
/proc/meminfo: memFree=19814356/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=506656 CPUtime=6.5 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 22089 0 0 0 647 3 0 0 25 0 8 0 881841926 518815744 15807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 126664 15807 355 106 0 122167 0
[pid=22635/tid=22637] ppid=22633 vsize=506656 CPUtime=0.81 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1740 0 0 0 81 0 0 0 25 0 8 0 881841928 518815744 15807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4464499 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=506656 CPUtime=0.79 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1404 0 0 0 79 0 0 0 25 0 8 0 881841928 518815744 15807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=506656 CPUtime=0.79 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 3182 0 0 0 79 0 0 0 19 0 8 0 881841928 518815744 15807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=506656 CPUtime=0.79 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1360 0 0 0 79 0 0 0 25 0 8 0 881841928 518815744 15807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=506656 CPUtime=0.81 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1854 0 0 0 81 0 0 0 25 0 8 0 881841928 518815744 15807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4374236 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=506656 CPUtime=0.81 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2125 0 0 0 81 0 0 0 25 0 8 0 881841928 518815744 15807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=506656 CPUtime=0.81 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2048 0 0 0 81 0 0 0 18 0 8 0 881841928 518815744 15807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 506656

[startup+0.937683 s]
/proc/loadavg: 8.14 8.03 6.90 1/507 22635
/proc/meminfo: memFree=19814356/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=510148 CPUtime=7.3 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 23105 0 0 0 726 4 0 0 25 0 8 0 881841926 522391552 16271 33554432000 4194304 4625164 140734242517360 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 127537 16271 355 106 0 123040 0
[pid=22635/tid=22637] ppid=22633 vsize=510148 CPUtime=0.91 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1800 0 0 0 91 0 0 0 25 0 8 0 881841928 522391552 16272 33554432000 4194304 4625164 140734242517360 18446744073709551615 4462665 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=510148 CPUtime=0.89 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2073 0 0 0 89 0 0 0 25 0 8 0 881841928 522391552 16272 33554432000 4194304 4625164 140734242517360 18446744073709551615 215988253729 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=510148 CPUtime=0.89 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 3183 0 0 0 89 0 0 0 19 0 8 0 881841928 522391552 16272 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=510148 CPUtime=0.89 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1369 0 0 0 89 0 0 0 25 0 8 0 881841928 522391552 16272 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=510148 CPUtime=0.91 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1908 0 0 0 91 0 0 0 25 0 8 0 881841928 522391552 16272 33554432000 4194304 4625164 140734242517360 18446744073709551615 4289735 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=510148 CPUtime=0.91 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2173 0 0 0 91 0 0 0 25 0 8 0 881841928 522391552 16272 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352240 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=510148 CPUtime=0.91 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2098 0 0 0 91 0 0 0 19 0 8 0 881841928 522391552 16272 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 510148

[startup+1.03767 s]
/proc/loadavg: 8.14 8.03 6.90 1/507 22635
/proc/meminfo: memFree=19814356/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=512632 CPUtime=8.09 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 24822 0 0 0 805 4 0 0 25 0 8 0 881841926 524935168 16746 33554432000 4194304 4625164 140734242517360 18446744073709551615 4511846 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 128158 16746 355 106 0 123661 0
[pid=22635/tid=22637] ppid=22633 vsize=512632 CPUtime=1.01 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1849 0 0 0 101 0 0 0 25 0 8 0 881841928 524935168 16746 33554432000 4194304 4625164 140734242517360 18446744073709551615 4339646 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=512632 CPUtime=0.99 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2168 0 0 0 99 0 0 0 25 0 8 0 881841928 524935168 16746 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=512632 CPUtime=0.99 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 3184 0 0 0 99 0 0 0 19 0 8 0 881841928 524935168 16746 33554432000 4194304 4625164 140734242517360 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=512632 CPUtime=0.99 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1403 0 0 0 99 0 0 0 25 0 8 0 881841928 524935168 16746 33554432000 4194304 4625164 140734242517360 18446744073709551615 4316921 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=512632 CPUtime=1.01 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1952 0 0 0 101 0 0 0 25 0 8 0 881841928 524935168 16746 33554432000 4194304 4625164 140734242517360 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=512632 CPUtime=1.01 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2241 0 0 0 101 0 0 0 25 0 8 0 881841928 524935168 16746 33554432000 4194304 4625164 140734242517360 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=512632 CPUtime=1.01 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2139 0 0 0 101 0 0 0 19 0 8 0 881841928 524935168 16746 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (KiB) 512632

[startup+1.13765 s]
/proc/loadavg: 8.14 8.03 6.90 1/507 22635
/proc/meminfo: memFree=19814356/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=512632 CPUtime=8.9 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 25899 0 0 0 885 5 0 0 25 0 8 0 881841926 524935168 17807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4511970 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 128158 17807 358 106 0 123661 0
[pid=22635/tid=22637] ppid=22633 vsize=512632 CPUtime=1.11 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1878 0 0 0 111 0 0 0 25 0 8 0 881841928 524935168 17807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=512632 CPUtime=1.09 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2209 0 0 0 109 0 0 0 25 0 8 0 881841928 524935168 17807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=512632 CPUtime=1.09 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 3296 0 0 0 109 0 0 0 19 0 8 0 881841928 524935168 17807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=512632 CPUtime=1.09 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1427 0 0 0 109 0 0 0 25 0 8 0 881841928 524935168 17807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=512632 CPUtime=1.11 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1993 0 0 0 111 0 0 0 25 0 8 0 881841928 524935168 17807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4349061 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=512632 CPUtime=1.11 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2284 0 0 0 111 0 0 0 25 0 8 0 881841928 524935168 17807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=512632 CPUtime=1.11 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2825 0 0 0 111 0 0 0 19 0 8 0 881841928 524935168 17807 33554432000 4194304 4625164 140734242517360 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.9
Current children cumulated vsize (KiB) 512632

[startup+1.50059 s]
/proc/loadavg: 8.14 8.03 6.90 1/507 22635
/proc/meminfo: memFree=19814356/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=516292 CPUtime=11.81 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 30493 0 0 0 1175 6 0 0 25 0 8 0 881841926 528683008 20513 33554432000 4194304 4625164 140734242517360 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 129073 20513 361 106 0 124576 0
[pid=22635/tid=22637] ppid=22633 vsize=516292 CPUtime=1.47 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2566 0 0 0 147 0 0 0 25 0 8 0 881841928 528683008 20513 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=516292 CPUtime=1.45 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2375 0 0 0 145 0 0 0 25 0 8 0 881841928 528683008 20513 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=516292 CPUtime=1.46 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 5083 0 0 0 145 1 0 0 20 0 8 0 881841928 528683008 20513 33554432000 4194304 4625164 140734242517360 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=516292 CPUtime=1.45 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 1545 0 0 0 145 0 0 0 25 0 8 0 881841928 528683008 20513 33554432000 4194304 4625164 140734242517360 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=516292 CPUtime=1.47 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2667 0 0 0 147 0 0 0 25 0 8 0 881841928 528683008 20513 33554432000 4194304 4625164 140734242517360 18446744073709551615 4349412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=516292 CPUtime=1.47 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 3058 0 0 0 147 0 0 0 25 0 8 0 881841928 528683008 20513 33554432000 4194304 4625164 140734242517360 18446744073709551615 215988259842 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=516292 CPUtime=1.47 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2881 0 0 0 147 0 0 0 20 0 8 0 881841928 528683008 20513 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352223 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.81
Current children cumulated vsize (KiB) 516292

[startup+3.10131 s]
/proc/loadavg: 8.29 8.06 6.91 9/515 22644
/proc/meminfo: memFree=19708392/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=527740 CPUtime=24.57 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 46809 0 0 0 2449 8 0 0 25 0 8 0 881841926 540405760 26809 33554432000 4194304 4625164 140734242517360 18446744073709551615 4512023 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 131935 26809 374 106 0 127438 0
[pid=22635/tid=22637] ppid=22633 vsize=527740 CPUtime=3.07 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 3942 0 0 0 307 0 0 0 25 0 8 0 881841928 540405760 26809 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=527740 CPUtime=3.06 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 3487 0 0 0 305 1 0 0 25 0 8 0 881841928 540405760 26809 33554432000 4194304 4625164 140734242517360 18446744073709551615 4462504 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=527740 CPUtime=3.02 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 12023 0 0 0 300 2 0 0 25 0 8 0 881841928 540405760 26809 33554432000 4194304 4625164 140734242517360 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=527740 CPUtime=3.05 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2520 0 0 0 305 0 0 0 25 0 8 0 881841928 540405760 26809 33554432000 4194304 4625164 140734242517360 18446744073709551615 4339865 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=527740 CPUtime=3.07 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 2885 0 0 0 307 0 0 0 25 0 8 0 881841928 540405760 26809 33554432000 4194304 4625164 140734242517360 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=527740 CPUtime=3.07 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 4430 0 0 0 307 0 0 0 25 0 8 0 881841928 540405760 26809 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=527740 CPUtime=3.07 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 3137 0 0 0 307 0 0 0 25 0 8 0 881841928 540405760 26809 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.57
Current children cumulated vsize (KiB) 527740

[startup+6.31974 s]
/proc/loadavg: 8.26 8.06 6.92 9/515 22644
/proc/meminfo: memFree=19668476/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=557348 CPUtime=50.26 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 72900 0 0 0 5012 14 0 0 25 0 8 0 881841926 570724352 36149 33554432000 4194304 4625164 140734242517360 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 139337 36149 378 106 0 134840 0
[pid=22635/tid=22637] ppid=22633 vsize=557348 CPUtime=6.3 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 6381 0 0 0 629 1 0 0 25 0 8 0 881841928 570724352 36149 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=557348 CPUtime=6.27 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 5228 0 0 0 626 1 0 0 25 0 8 0 881841928 570724352 36149 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=557348 CPUtime=6.18 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 21829 0 0 0 614 4 0 0 25 0 8 0 881841928 570724352 36149 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=557348 CPUtime=6.26 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 4286 0 0 0 626 0 0 0 25 0 8 0 881841928 570724352 36149 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351918 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=557348 CPUtime=6.29 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 4191 0 0 0 629 0 0 0 25 0 8 0 881841928 570724352 36149 33554432000 4194304 4625164 140734242517360 18446744073709551615 4349027 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=557348 CPUtime=6.29 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 6682 0 0 0 628 1 0 0 25 0 8 0 881841928 570724352 36149 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=557348 CPUtime=6.29 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 4382 0 0 0 629 0 0 0 25 0 8 0 881841928 570724352 36149 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0

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

/proc/loadavg: 8.02 8.05 7.60 9/515 22679
/proc/meminfo: memFree=17809868/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=2731040 CPUtime=7042.54 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 5684444 0 0 0 703345 909 0 0 25 0 8 0 881841926 2796584960 500629 33554432000 4194304 4625164 140734242517360 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 682760 500629 354 106 0 678263 0
[pid=22635/tid=22637] ppid=22633 vsize=2731040 CPUtime=882.29 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 110631 0 0 0 88211 18 0 0 25 0 8 0 881841928 2796584960 500629 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=2731040 CPUtime=882.22 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 45180 0 0 0 88210 12 0 0 25 0 8 0 881841928 2796584960 500629 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=2731040 CPUtime=881.87 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 4592777 0 0 0 87468 719 0 0 25 0 8 0 881841928 2796584960 500629 33554432000 4194304 4625164 140734242517360 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=2731040 CPUtime=882.26 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 57692 0 0 0 88214 12 0 0 25 0 8 0 881841928 2796584960 500629 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=2731040 CPUtime=882.26 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 36085 0 0 0 88216 10 0 0 25 0 8 0 881841928 2796584960 500629 33554432000 4194304 4625164 140734242517360 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=2731040 CPUtime=881.92 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 121355 0 0 0 88165 27 0 0 25 0 8 0 881841928 2796584960 500629 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=2731040 CPUtime=867.35 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 51053 0 0 0 86723 12 0 0 25 0 8 0 881841928 2796584960 500629 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7042.54
Current children cumulated vsize (KiB) 2731040

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

[startup+883.901 s]
/proc/loadavg: 8.02 8.05 7.60 9/515 22679
/proc/meminfo: memFree=17806396/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=2731040 CPUtime=7055.32 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 5693682 0 0 0 704622 910 0 0 25 0 8 0 881841926 2796584960 500670 33554432000 4194304 4625164 140734242517360 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 682760 500670 354 106 0 678263 0
[pid=22635/tid=22637] ppid=22633 vsize=2731040 CPUtime=883.89 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 110631 0 0 0 88371 18 0 0 25 0 8 0 881841928 2796584960 500670 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=2731040 CPUtime=883.82 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 45192 0 0 0 88370 12 0 0 25 0 8 0 881841928 2796584960 500670 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=2731040 CPUtime=883.47 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 4601048 0 0 0 87627 720 0 0 25 0 8 0 881841928 2796584960 500670 33554432000 4194304 4625164 140734242517360 18446744073709551615 4551176 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=2731040 CPUtime=883.86 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 57692 0 0 0 88374 12 0 0 25 0 8 0 881841928 2796584960 500670 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=2731040 CPUtime=883.86 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 36085 0 0 0 88376 10 0 0 25 0 8 0 881841928 2796584960 500670 33554432000 4194304 4625164 140734242517360 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=2731040 CPUtime=883.52 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 121366 0 0 0 88325 27 0 0 25 0 8 0 881841928 2796584960 500670 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=2731040 CPUtime=868.93 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 51053 0 0 0 86881 12 0 0 25 0 8 0 881841928 2796584960 500670 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7055.32
Current children cumulated vsize (KiB) 2731040

[startup+896.701 s]
/proc/loadavg: 8.02 8.05 7.60 9/515 22679
/proc/meminfo: memFree=17759756/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=2794284 CPUtime=7157.5 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 5807093 0 0 0 714824 926 0 0 25 0 8 0 881841926 2861346816 512117 33554432000 4194304 4625164 140734242517360 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 698571 512117 353 106 0 694074 0
[pid=22635/tid=22637] ppid=22633 vsize=2794284 CPUtime=896.69 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 110706 0 0 0 89651 18 0 0 25 0 8 0 881841928 2861346816 512117 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=2794284 CPUtime=896.62 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 45290 0 0 0 89650 12 0 0 25 0 8 0 881841928 2861346816 512117 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=2794284 CPUtime=896.27 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 4671587 0 0 0 88897 730 0 0 25 0 8 0 881841928 2861346816 512117 33554432000 4194304 4625164 140734242517360 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=2794284 CPUtime=896.66 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 57900 0 0 0 89654 12 0 0 25 0 8 0 881841928 2861346816 512117 33554432000 4194304 4625164 140734242517360 18446744073709551615 4467367 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=2794284 CPUtime=896.67 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 36146 0 0 0 89656 11 0 0 25 0 8 0 881841928 2861346816 512117 33554432000 4194304 4625164 140734242517360 18446744073709551615 4348821 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=2794284 CPUtime=896.32 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 121812 0 0 0 89605 27 0 0 25 0 8 0 881841928 2861346816 512117 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=2794284 CPUtime=881.51 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 51114 0 0 0 88139 12 0 0 25 0 8 0 881841928 2861346816 512117 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7157.5
Current children cumulated vsize (KiB) 2794284

[startup+903.101 s]
/proc/loadavg: 8.09 8.07 7.61 9/515 22679
/proc/meminfo: memFree=17749588/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=2794284 CPUtime=7208.59 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 5848853 0 0 0 719925 934 0 0 25 0 8 0 881841926 2861346816 514616 33554432000 4194304 4625164 140734242517360 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 698571 514617 356 106 0 694074 0
[pid=22635/tid=22637] ppid=22633 vsize=2794284 CPUtime=903.09 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 110814 0 0 0 90291 18 0 0 25 0 8 0 881841928 2861346816 514617 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=2794284 CPUtime=903.02 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 45290 0 0 0 90290 12 0 0 25 0 8 0 881841928 2861346816 514617 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=2794284 CPUtime=902.67 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 4711709 0 0 0 89530 737 0 0 25 0 8 0 881841928 2861346816 514617 33554432000 4194304 4625164 140734242517360 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=2794284 CPUtime=903.06 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 57990 0 0 0 90294 12 0 0 25 0 8 0 881841928 2861346816 514617 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=2794284 CPUtime=903.07 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 36358 0 0 0 90296 11 0 0 25 0 8 0 881841928 2861346816 514617 33554432000 4194304 4625164 140734242517360 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=2794284 CPUtime=902.72 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 122089 0 0 0 90245 27 0 0 25 0 8 0 881841928 2861346816 514618 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=2794284 CPUtime=887.79 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 51149 0 0 0 88767 12 0 0 25 0 8 0 881841928 2861346816 514618 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7208.59
Current children cumulated vsize (KiB) 2794284

[startup+906.301 s]
/proc/loadavg: 8.09 8.06 7.61 9/515 22679
/proc/meminfo: memFree=17742148/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=2794284 CPUtime=7234.14 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 5878868 0 0 0 722473 941 0 0 25 0 8 0 881841926 2861346816 518120 33554432000 4194304 4625164 140734242517360 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 698571 518120 356 106 0 694074 0
[pid=22635/tid=22637] ppid=22633 vsize=2794284 CPUtime=906.29 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 110841 0 0 0 90611 18 0 0 25 0 8 0 881841928 2861346816 518120 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=2794284 CPUtime=906.22 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 45334 0 0 0 90610 12 0 0 25 0 8 0 881841928 2861346816 518120 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=2794284 CPUtime=905.87 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 4737388 0 0 0 89844 743 0 0 25 0 8 0 881841928 2861346816 518120 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=2794284 CPUtime=906.26 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 58016 0 0 0 90614 12 0 0 25 0 8 0 881841928 2861346816 518120 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=2794284 CPUtime=906.27 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 36453 0 0 0 90616 11 0 0 25 0 8 0 881841928 2861346816 518120 33554432000 4194304 4625164 140734242517360 18446744073709551615 4348804 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=2794284 CPUtime=905.92 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 122190 0 0 0 90565 27 0 0 25 0 8 0 881841928 2861346816 518120 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=2794284 CPUtime=890.93 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 51156 0 0 0 89081 12 0 0 25 0 8 0 881841928 2861346816 518120 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7234.14
Current children cumulated vsize (KiB) 2794284

[startup+907.101 s]
/proc/loadavg: 8.09 8.06 7.61 9/515 22679
/proc/meminfo: memFree=17736072/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=2794284 CPUtime=7240.63 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 5885260 0 0 0 723121 942 0 0 25 0 8 0 881841926 2861346816 516502 33554432000 4194304 4625164 140734242517360 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 698571 516502 353 106 0 694074 0
[pid=22635/tid=22637] ppid=22633 vsize=2794284 CPUtime=907.11 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 110842 0 0 0 90693 18 0 0 25 0 8 0 881841928 2861346816 516504 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=2794284 CPUtime=907.04 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 45363 0 0 0 90692 12 0 0 25 0 8 0 881841928 2861346816 516504 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352089 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=2794284 CPUtime=906.69 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 4743389 0 0 0 89925 744 0 0 25 0 8 0 881841928 2861346816 516504 33554432000 4194304 4625164 140734242517360 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=2794284 CPUtime=907.08 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 58016 0 0 0 90696 12 0 0 25 0 8 0 881841928 2861346816 516504 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352731 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=2794284 CPUtime=907.09 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 36484 0 0 0 90698 11 0 0 25 0 8 0 881841928 2861346816 516504 33554432000 4194304 4625164 140734242517360 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=2794284 CPUtime=906.74 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 122194 0 0 0 90647 27 0 0 25 0 8 0 881841928 2861346816 516504 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=2794284 CPUtime=891.73 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 51157 0 0 0 89161 12 0 0 25 0 8 0 881841928 2861346816 516504 33554432000 4194304 4625164 140734242517360 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7240.63
Current children cumulated vsize (KiB) 2794284

[startup+907.501 s]
/proc/loadavg: 8.09 8.06 7.61 9/515 22679
/proc/meminfo: memFree=17736072/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=2794284 CPUtime=7243.72 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4202496 5889363 0 0 0 723429 943 0 0 25 0 8 0 881841926 2861346816 518507 33554432000 4194304 4625164 140734242517360 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 698571 518507 366 106 0 694074 0
[pid=22635/tid=22637] ppid=22633 vsize=2794284 CPUtime=907.49 cores=0-7
/proc/22635/task/22637/stat : 22637 (SArTagnan) R 22633 22635 22379 0 -1 4202560 110842 0 0 0 90731 18 0 0 25 0 8 0 881841928 2861346816 518507 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22635/tid=22638] ppid=22633 vsize=2794284 CPUtime=907.42 cores=0-7
/proc/22635/task/22638/stat : 22638 (SArTagnan) R 22633 22635 22379 0 -1 4202560 45381 0 0 0 90730 12 0 0 25 0 8 0 881841928 2861346816 518507 33554432000 4194304 4625164 140734242517360 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22635/tid=22639] ppid=22633 vsize=2794284 CPUtime=907.07 cores=0-7
/proc/22635/task/22639/stat : 22639 (SArTagnan) R 22633 22635 22379 0 -1 4202560 4747383 0 0 0 89962 745 0 0 25 0 8 0 881841928 2861346816 518507 33554432000 4194304 4625164 140734242517360 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22635/tid=22640] ppid=22633 vsize=2794284 CPUtime=907.46 cores=0-7
/proc/22635/task/22640/stat : 22640 (SArTagnan) R 22633 22635 22379 0 -1 4202560 58016 0 0 0 90734 12 0 0 25 0 8 0 881841928 2861346816 518507 33554432000 4194304 4625164 140734242517360 18446744073709551615 4339680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22635/tid=22641] ppid=22633 vsize=2794284 CPUtime=907.47 cores=0-7
/proc/22635/task/22641/stat : 22641 (SArTagnan) R 22633 22635 22379 0 -1 4202560 36498 0 0 0 90736 11 0 0 25 0 8 0 881841928 2861346816 518507 33554432000 4194304 4625164 140734242517360 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22635/tid=22642] ppid=22633 vsize=2794284 CPUtime=907.12 cores=0-7
/proc/22635/task/22642/stat : 22642 (SArTagnan) R 22633 22635 22379 0 -1 4202560 122195 0 0 0 90685 27 0 0 25 0 8 0 881841928 2861346816 518507 33554432000 4194304 4625164 140734242517360 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22635/tid=22643] ppid=22633 vsize=2794284 CPUtime=892.12 cores=0-7
/proc/22635/task/22643/stat : 22643 (SArTagnan) R 22633 22635 22379 0 -1 4202560 51157 0 0 0 89200 12 0 0 25 0 8 0 881841928 2861346816 518507 33554432000 4194304 4625164 140734242517360 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7243.72
Current children cumulated vsize (KiB) 2794284

[startup+907.901 s]
/proc/loadavg: 8.09 8.06 7.61 9/515 22679
/proc/meminfo: memFree=17736072/32950940 swapFree=67111364/67111528
[pid=22635] ppid=22633 vsize=0 CPUtime=7246.66 cores=0-7
/proc/22635/stat : 22635 (SArTagnan) R 22633 22635 22379 0 -1 4203524 5893912 0 0 0 723719 947 0 0 25 0 1 0 881841926 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22635/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7246.66
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 907.966
CPU time (s): 7246.73
CPU user time (s): 7237.19
CPU system time (s): 9.53655
CPU usage (%): 798.127
Max. virtual memory (cumulated for all children) (KiB): 2986020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7237.19
system time used= 9.53655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5893912
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= 6419
involuntary context switches= 31012

runsolver used 4.30135 second user time and 11.3803 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-01 10:15:12
IDJOB=3438391
IDBENCH=71284
IDSOLVER=1936
FILE ID=node117/3438391-1306916111
RUNJOBID= node117-1306914555-22393
PBS_JOBID= 13488510
Free space on /tmp= 73628 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g7.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438391-1306916111/watcher-3438391-1306916111 -o /tmp/evaluation-result-3438391-1306916111/solver-3438391-1306916111 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3438391-1306916111.cnf -threads=8

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

MD5SUM BENCH= cffaf116c6c0eb21439a109753d19c34
RANDOM SEED=1513494010

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      19814636 kB
Buffers:        313116 kB
Cached:        2658696 kB
SwapCached:          0 kB
Active:        9970672 kB
Inactive:      2786004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      19814636 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            2088 kB
Writeback:           0 kB
AnonPages:     9785880 kB
Mapped:          41592 kB
Slab:           251340 kB
PageTables:      57092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 149467020 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= 73628 MiB
End job on node117 at 2011-06-01 10:30:20