Trace number 3380687

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
claspmt 2.0-R4095-patched (fixed)SAT 33498.7 4195.76

General information on the benchmark

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

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

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-3380687-1305487016/watcher-3380687-1305487016 -o /tmp/evaluation-result-3380687-1305487016/solver-3380687-1305487016 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380687-1305487016.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: 6.79 7.77 7.91 2/429 31314
/proc/meminfo: memFree=23567860/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=23472 CPUtime=0.01 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 1323 0 0 0 1 0 0 0 23 0 1 0 738932263 24035328 1075 33554432000 4194304 4964800 140737016988736 18446744073709551615 251367207621 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31314/statm: 5868 1077 386 189 0 742 0

[startup+0.0598439 s]
/proc/loadavg: 6.79 7.77 7.91 2/429 31314
/proc/meminfo: memFree=23567860/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=24800 CPUtime=0.05 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 1686 0 0 0 5 0 0 0 23 0 1 0 738932263 25395200 1429 33554432000 4194304 4964800 140737016988736 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31314/statm: 6200 1429 399 189 0 1074 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24800

[startup+0.100849 s]
/proc/loadavg: 6.79 7.77 7.91 2/429 31314
/proc/meminfo: memFree=23567860/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=24932 CPUtime=0.09 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 1732 0 0 0 9 0 0 0 23 0 1 0 738932263 25530368 1475 33554432000 4194304 4964800 140737016988736 18446744073709551615 251367207621 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31314/statm: 6233 1475 400 189 0 1107 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24932

[startup+0.300781 s]
/proc/loadavg: 6.79 7.77 7.91 2/429 31314
/proc/meminfo: memFree=23567860/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=319428 CPUtime=0.84 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 3696 0 0 0 81 3 0 0 17 0 8 0 738932263 327094272 3311 33554432000 4194304 4964800 140737016988736 18446744073709551615 4325321 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/31314/statm: 79857 3313 464 189 0 74206 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 319428

[startup+1.15913 s]
/proc/loadavg: 6.79 7.77 7.91 2/429 31314
/proc/meminfo: memFree=23567860/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=388416 CPUtime=7.49 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 9669 0 0 0 742 7 0 0 19 0 8 0 738932263 397737984 9284 33554432000 4194304 4964800 140737016988736 18446744073709551615 251367207621 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31314/statm: 97104 9284 464 189 0 91453 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 388416

[startup+1.5005 s]
/proc/loadavg: 6.79 7.77 7.91 9/437 31322
/proc/meminfo: memFree=23528496/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=389484 CPUtime=10.33 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 10668 0 0 0 1026 7 0 0 19 0 8 0 738932263 398831616 10283 33554432000 4194304 4964800 140737016988736 18446744073709551615 4627272 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31314/statm: 97371 10283 464 189 0 91720 0
[pid=31314/tid=31316] ppid=31312 vsize=389484 CPUtime=1.3 cores=0-7
/proc/31314/task/31316/stat : 31316 (claspmt) R 31312 31314 31288 0 -1 4202560 992 0 0 0 130 0 0 0 19 0 8 0 738932280 398831616 10283 33554432000 4194304 4964800 140737016988736 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31314/tid=31317] ppid=31312 vsize=389484 CPUtime=1.13 cores=0-7
/proc/31314/task/31317/stat : 31317 (claspmt) R 31312 31314 31288 0 -1 4202560 1043 0 0 0 113 0 0 0 19 0 8 0 738932280 398831616 10283 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31314/tid=31318] ppid=31312 vsize=389484 CPUtime=1.27 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 1009 0 0 0 126 1 0 0 19 0 8 0 738932280 398831616 10283 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=389484 CPUtime=1.28 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 1197 0 0 0 126 2 0 0 19 0 8 0 738932280 398831616 10283 33554432000 4194304 4964800 140737016988736 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=389484 CPUtime=1.33 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 378 0 0 0 133 0 0 0 19 0 8 0 738932280 398831616 10283 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321069 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=389484 CPUtime=1.3 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 1264 0 0 0 130 0 0 0 19 0 8 0 738932280 398831616 10283 33554432000 4194304 4964800 140737016988736 18446744073709551615 4650655 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=389484 CPUtime=1.29 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 1916 0 0 0 129 0 0 0 19 0 8 0 738932280 398831616 10283 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.33
Current children cumulated vsize (KiB) 389484

[startup+3.10121 s]
/proc/loadavg: 6.79 7.77 7.91 9/437 31322
/proc/meminfo: memFree=23520684/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=390664 CPUtime=22.99 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 12801 0 0 0 2291 8 0 0 23 0 8 0 738932263 400039936 12416 33554432000 4194304 4964800 140737016988736 18446744073709551615 4627335 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31314/statm: 97666 12416 466 189 0 92015 0
[pid=31314/tid=31316] ppid=31312 vsize=390664 CPUtime=2.88 cores=0-7
/proc/31314/task/31316/stat : 31316 (claspmt) R 31312 31314 31288 0 -1 4202560 1225 0 0 0 288 0 0 0 22 0 8 0 738932280 400039936 12416 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31314/tid=31317] ppid=31312 vsize=390664 CPUtime=2.71 cores=0-7
/proc/31314/task/31317/stat : 31317 (claspmt) R 31312 31314 31288 0 -1 4202560 1329 0 0 0 271 0 0 0 19 0 8 0 738932280 400039936 12416 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31314/tid=31318] ppid=31312 vsize=390664 CPUtime=2.86 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 1158 0 0 0 285 1 0 0 22 0 8 0 738932280 400039936 12416 33554432000 4194304 4964800 140737016988736 18446744073709551615 4654532 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=390664 CPUtime=2.86 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 1426 0 0 0 284 2 0 0 22 0 8 0 738932280 400039936 12416 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=390664 CPUtime=2.92 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 639 0 0 0 292 0 0 0 24 0 8 0 738932280 400039936 12416 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=390664 CPUtime=2.88 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 1478 0 0 0 288 0 0 0 23 0 8 0 738932280 400039936 12416 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670520 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=390664 CPUtime=2.88 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 2490 0 0 0 287 1 0 0 22 0 8 0 738932280 400039936 12416 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 390664

[startup+6.30062 s]
/proc/loadavg: 6.88 7.78 7.91 9/437 31322
/proc/meminfo: memFree=23505452/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=392644 CPUtime=48.52 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 16398 0 0 0 4843 9 0 0 25 0 8 0 738932263 402067456 16013 33554432000 4194304 4964800 140737016988736 18446744073709551615 4669283 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31314/statm: 98161 16013 466 189 0 92510 0
[pid=31314/tid=31316] ppid=31312 vsize=392644 CPUtime=6.08 cores=0-7
/proc/31314/task/31316/stat : 31316 (claspmt) R 31312 31314 31288 0 -1 4202560 1707 0 0 0 608 0 0 0 25 0 8 0 738932280 402067456 16013 33554432000 4194304 4964800 140737016988736 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31314/tid=31317] ppid=31312 vsize=392644 CPUtime=5.91 cores=0-7
/proc/31314/task/31317/stat : 31317 (claspmt) R 31312 31314 31288 0 -1 4202560 1827 0 0 0 591 0 0 0 25 0 8 0 738932280 402067456 16013 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670645 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31314/tid=31318] ppid=31312 vsize=392644 CPUtime=6.05 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 1459 0 0 0 604 1 0 0 25 0 8 0 738932280 402067456 16013 33554432000 4194304 4964800 140737016988736 18446744073709551615 4628055 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=392644 CPUtime=6.06 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 1689 0 0 0 604 2 0 0 25 0 8 0 738932280 402067456 16013 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=392644 CPUtime=6.11 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 988 0 0 0 611 0 0 0 25 0 8 0 738932280 402067456 16013 33554432000 4194304 4964800 140737016988736 18446744073709551615 4669104 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=392644 CPUtime=6.08 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 1823 0 0 0 608 0 0 0 23 0 8 0 738932280 402067456 16013 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=392644 CPUtime=6.08 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 3547 0 0 0 607 1 0 0 25 0 8 0 738932280 402067456 16013 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.52
Current children cumulated vsize (KiB) 392644

[startup+12.7014 s]
/proc/loadavg: 6.97 7.78 7.91 9/437 31322
/proc/meminfo: memFree=23483280/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=397052 CPUtime=99.63 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 21904 0 0 0 9950 13 0 0 25 0 8 0 738932263 406581248 21519 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670321 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31314/statm: 99263 21519 466 189 0 93612 0
[pid=31314/tid=31316] ppid=31312 vsize=397052 CPUtime=12.47 cores=0-7
/proc/31314/task/31316/stat : 31316 (claspmt) R 31312 31314 31288 0 -1 4202560 2342 0 0 0 1247 0 0 0 25 0 8 0 738932280 406581248 21519 33554432000 4194304 4964800 140737016988736 18446744073709551615 4669017 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31314/tid=31317] ppid=31312 vsize=397052 CPUtime=12.32 cores=0-7
/proc/31314/task/31317/stat : 31317 (claspmt) R 31312 31314 31288 0 -1 4202560 2644 0 0 0 1231 1 0 0 25 0 8 0 738932280 406581248 21519 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31314/tid=31318] ppid=31312 vsize=397052 CPUtime=12.45 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 1943 0 0 0 1244 1 0 0 25 0 8 0 738932280 406581248 21519 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321054 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=397052 CPUtime=12.46 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 2248 0 0 0 1243 3 0 0 25 0 8 0 738932280 406581248 21519 33554432000 4194304 4964800 140737016988736 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=397052 CPUtime=12.52 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 1770 0 0 0 1251 1 0 0 25 0 8 0 738932280 406581248 21519 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=397052 CPUtime=12.48 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 2318 0 0 0 1248 0 0 0 25 0 8 0 738932280 406581248 21519 33554432000 4194304 4964800 140737016988736 18446744073709551615 4363692 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=397052 CPUtime=12.48 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 4872 0 0 0 1246 2 0 0 25 0 8 0 738932280 406581248 21519 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.63
Current children cumulated vsize (KiB) 397052

[startup+25.5011 s]
/proc/loadavg: 7.20 7.79 7.91 9/437 31323
/proc/meminfo: memFree=23460836/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=401840 CPUtime=201.86 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 28254 0 0 0 20167 19 0 0 25 0 8 0 738932263 411484160 27869 33554432000 4194304 4964800 140737016988736 18446744073709551615 4627170 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31314/statm: 100460 27869 466 189 0 94809 0
[pid=31314/tid=31316] ppid=31312 vsize=401840 CPUtime=25.27 cores=0-7
/proc/31314/task/31316/stat : 31316 (claspmt) R 31312 31314 31288 0 -1 4202560 3072 0 0 0 2526 1 0 0 25 0 8 0 738932280 411484160 27869 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31314/tid=31317] ppid=31312 vsize=401840 CPUtime=25.11 cores=0-7
/proc/31314/task/31317/stat : 31317 (claspmt) R 31312 31314 31288 0 -1 4202560 3540 0 0 0 2509 2 0 0 25 0 8 0 738932280 411484160 27869 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31314/tid=31318] ppid=31312 vsize=401840 CPUtime=25.25 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 2503 0 0 0 2523 2 0 0 25 0 8 0 738932280 411484160 27869 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=401840 CPUtime=25.26 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 3103 0 0 0 2522 4 0 0 25 0 8 0 738932280 411484160 27869 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=401840 CPUtime=25.31 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 2326 0 0 0 2530 1 0 0 25 0 8 0 738932280 411484160 27869 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=401840 CPUtime=25.28 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 2768 0 0 0 2527 1 0 0 25 0 8 0 738932280 411484160 27869 33554432000 4194304 4964800 140737016988736 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=401840 CPUtime=25.28 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 6445 0 0 0 2525 3 0 0 25 0 8 0 738932280 411484160 27869 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321023 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 201.86
Current children cumulated vsize (KiB) 401840

[startup+51.1163 s]
/proc/loadavg: 7.47 7.81 7.91 9/437 31323
/proc/meminfo: memFree=23401156/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=412212 CPUtime=406.38 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 42888 0 0 0 40610 28 0 0 25 0 8 0 738932263 422105088 42305 33554432000 4194304 4964800 140737016988736 18446744073709551615 4627293 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/31314/statm: 103053 42320 466 189 0 97402 0
[pid=31314/tid=31316] ppid=31312 vsize=412212 CPUtime=50.88 cores=0-7
/proc/31314/task/31316/stat : 31316 (claspmt) R 31312 31314 31288 0 -1 4202560 4629 0 0 0 5086 2 0 0 25 0 8 0 738932280 422105088 42320 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31314/tid=31317] ppid=31312 vsize=412212 CPUtime=50.73 cores=0-7
/proc/31314/task/31317/stat : 31317 (claspmt) R 31312 31314 31288 0 -1 4202560 5285 0 0 0 5070 3 0 0 25 0 8 0 738932280 422105088 42320 33554432000 4194304 4964800 140737016988736 18446744073709551615 251367243895 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31314/tid=31318] ppid=31312 vsize=412212 CPUtime=50.85 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 3873 0 0 0 5082 3 0 0 25 0 8 0 738932280 422105088 42320 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=412212 CPUtime=50.87 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 4381 0 0 0 5082 5 0 0 25 0 8 0 738932280 422105088 42320 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=412212 CPUtime=50.93 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 3738 0 0 0 5091 2 0 0 25 0 8 0 738932280 422105088 42320 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=412212 CPUtime=50.89 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 4500 0 0 0 5087 2 0 0 25 0 8 0 738932280 422105088 42320 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=412212 CPUtime=50.89 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 10816 0 0 0 5084 5 0 0 25 0 8 0 738932280 422105088 42320 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 406.38

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

[pid=31314/tid=31318] ppid=31312 vsize=1046952 CPUtime=4120.83 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 15128 0 0 0 412063 20 0 0 25 0 8 0 738932280 1072078848 194400 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=1046952 CPUtime=4121.38 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 19271 0 0 0 412118 20 0 0 25 0 8 0 738932280 1072078848 194400 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=1046952 CPUtime=4121.96 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 18540 0 0 0 412174 22 0 0 25 0 8 0 738932280 1072078848 194400 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=1046952 CPUtime=4114.37 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 18021 0 0 0 411411 26 0 0 25 0 8 0 738932280 1072078848 194400 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320921 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=1046952 CPUtime=4091.12 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 44165 0 0 0 409055 57 0 0 25 0 8 0 738932280 1072078848 194400 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 32913.7
Current children cumulated vsize (KiB) 1046952

[startup+4182.3 s]
/proc/loadavg: 8.16 8.03 8.01 9/437 31445
/proc/meminfo: memFree=22784412/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=1048272 CPUtime=33392.8 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 207434 0 0 0 3339049 229 0 0 25 0 8 0 738932263 1073430528 195855 33554432000 4194304 4964800 140737016988736 18446744073709551615 4659391 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31314/statm: 262068 195855 466 189 0 256417 0
[pid=31314/tid=31316] ppid=31312 vsize=1048272 CPUtime=4164.9 cores=0-7
/proc/31314/task/31316/stat : 31316 (claspmt) R 31312 31314 31288 0 -1 4202560 31688 0 0 0 416462 28 0 0 25 0 8 0 738932280 1073430528 195855 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31314/tid=31317] ppid=31312 vsize=1048272 CPUtime=4181.81 cores=0-7
/proc/31314/task/31317/stat : 31317 (claspmt) R 31312 31314 31288 0 -1 4202560 37118 0 0 0 418162 19 0 0 25 0 8 0 738932280 1073430528 195855 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31314/tid=31318] ppid=31312 vsize=1048272 CPUtime=4180.81 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 15350 0 0 0 418061 20 0 0 25 0 8 0 738932280 1073430528 195855 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=1048272 CPUtime=4181.38 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 19331 0 0 0 418118 20 0 0 25 0 8 0 738932280 1073430528 195855 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=1048272 CPUtime=4181.1 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 18543 0 0 0 418088 22 0 0 25 0 8 0 738932280 1073430528 195855 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=1048272 CPUtime=4174.37 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 18049 0 0 0 417411 26 0 0 25 0 8 0 738932280 1073430528 195855 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=1048272 CPUtime=4151.13 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 44311 0 0 0 415055 58 0 0 25 0 8 0 738932280 1073430528 195855 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 33392.8
Current children cumulated vsize (KiB) 1048272

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

[startup+4186.02 s]
/proc/loadavg: 8.15 8.03 8.01 9/437 31445
/proc/meminfo: memFree=22784284/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=1048412 CPUtime=33422.4 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 207451 0 0 0 3342014 229 0 0 25 0 8 0 738932263 1073573888 195872 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31314/statm: 262103 195872 466 189 0 256452 0
[pid=31314/tid=31316] ppid=31312 vsize=1048412 CPUtime=4168.62 cores=0-7
/proc/31314/task/31316/stat : 31316 (claspmt) R 31312 31314 31288 0 -1 4202560 31688 0 0 0 416834 28 0 0 25 0 8 0 738932280 1073573888 195872 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31314/tid=31317] ppid=31312 vsize=1048412 CPUtime=4185.52 cores=0-7
/proc/31314/task/31317/stat : 31317 (claspmt) R 31312 31314 31288 0 -1 4202560 37118 0 0 0 418533 19 0 0 25 0 8 0 738932280 1073573888 195872 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31314/tid=31318] ppid=31312 vsize=1048412 CPUtime=4184.53 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 15350 0 0 0 418433 20 0 0 25 0 8 0 738932280 1073573888 195872 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=1048412 CPUtime=4185.09 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 19331 0 0 0 418489 20 0 0 25 0 8 0 738932280 1073573888 195872 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=1048412 CPUtime=4184.75 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 18557 0 0 0 418453 22 0 0 25 0 8 0 738932280 1073573888 195872 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=1048412 CPUtime=4178.08 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 18052 0 0 0 417782 26 0 0 25 0 8 0 738932280 1073573888 195872 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=1048412 CPUtime=4154.84 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 44311 0 0 0 415426 58 0 0 25 0 8 0 738932280 1073573888 195872 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670588 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 33422.4
Current children cumulated vsize (KiB) 1048412

[startup+4192.4 s]
/proc/loadavg: 8.13 8.03 8.01 9/437 31445
/proc/meminfo: memFree=22784152/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=1048412 CPUtime=33473.4 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 207490 0 0 0 3347112 230 0 0 25 0 8 0 738932263 1073573888 195911 33554432000 4194304 4964800 140737016988736 18446744073709551615 4660384 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31314/statm: 262103 195911 466 189 0 256452 0
[pid=31314/tid=31316] ppid=31312 vsize=1048412 CPUtime=4175 cores=0-7
/proc/31314/task/31316/stat : 31316 (claspmt) R 31312 31314 31288 0 -1 4202560 31688 0 0 0 417472 28 0 0 25 0 8 0 738932280 1073573888 195911 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31314/tid=31317] ppid=31312 vsize=1048412 CPUtime=4191.9 cores=0-7
/proc/31314/task/31317/stat : 31317 (claspmt) R 31312 31314 31288 0 -1 4202560 37118 0 0 0 419171 19 0 0 25 0 8 0 738932280 1073573888 195911 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31314/tid=31318] ppid=31312 vsize=1048412 CPUtime=4190.9 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 15361 0 0 0 419070 20 0 0 25 0 8 0 738932280 1073573888 195911 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=1048412 CPUtime=4191.47 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 19331 0 0 0 419127 20 0 0 25 0 8 0 738932280 1073573888 195911 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=1048412 CPUtime=4191.05 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 18557 0 0 0 419083 22 0 0 25 0 8 0 738932280 1073573888 195911 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=1048412 CPUtime=4184.47 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 18053 0 0 0 418421 26 0 0 25 0 8 0 738932280 1073573888 195911 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=1048412 CPUtime=4161.23 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 44311 0 0 0 416065 58 0 0 25 0 8 0 738932280 1073573888 195911 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 33473.4
Current children cumulated vsize (KiB) 1048412

[startup+4194 s]
/proc/loadavg: 8.12 8.03 8.01 9/437 31446
/proc/meminfo: memFree=22784152/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=1048412 CPUtime=33486.2 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 207491 0 0 0 3348388 230 0 0 25 0 8 0 738932263 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4627168 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31314/statm: 262103 195912 466 189 0 256452 0
[pid=31314/tid=31316] ppid=31312 vsize=1048412 CPUtime=4176.6 cores=0-7
/proc/31314/task/31316/stat : 31316 (claspmt) R 31312 31314 31288 0 -1 4202560 31689 0 0 0 417632 28 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31314/tid=31317] ppid=31312 vsize=1048412 CPUtime=4193.5 cores=0-7
/proc/31314/task/31317/stat : 31317 (claspmt) R 31312 31314 31288 0 -1 4202560 37118 0 0 0 419331 19 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31314/tid=31318] ppid=31312 vsize=1048412 CPUtime=4192.5 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 15361 0 0 0 419230 20 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=1048412 CPUtime=4193.07 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 19331 0 0 0 419287 20 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=1048412 CPUtime=4192.62 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 18557 0 0 0 419240 22 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=1048412 CPUtime=4186.07 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 18053 0 0 0 418581 26 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=1048412 CPUtime=4162.83 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 44311 0 0 0 416225 58 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 33486.2
Current children cumulated vsize (KiB) 1048412

[startup+4194.82 s]
/proc/loadavg: 8.12 8.03 8.01 9/437 31446
/proc/meminfo: memFree=22784152/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=1048412 CPUtime=33492.7 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 207491 0 0 0 3349039 230 0 0 25 0 8 0 738932263 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4362240 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31314/statm: 262103 195912 466 189 0 256452 0
[pid=31314/tid=31316] ppid=31312 vsize=1048412 CPUtime=4177.42 cores=0-7
/proc/31314/task/31316/stat : 31316 (claspmt) R 31312 31314 31288 0 -1 4202560 31689 0 0 0 417714 28 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31314/tid=31317] ppid=31312 vsize=1048412 CPUtime=4194.32 cores=0-7
/proc/31314/task/31317/stat : 31317 (claspmt) R 31312 31314 31288 0 -1 4202560 37118 0 0 0 419413 19 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31314/tid=31318] ppid=31312 vsize=1048412 CPUtime=4193.32 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 15361 0 0 0 419312 20 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=1048412 CPUtime=4193.89 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 19331 0 0 0 419369 20 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321042 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=1048412 CPUtime=4193.42 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 18557 0 0 0 419320 22 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=1048412 CPUtime=4186.88 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 18053 0 0 0 418662 26 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=1048412 CPUtime=4163.64 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 44311 0 0 0 416306 58 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 33492.7
Current children cumulated vsize (KiB) 1048412

[startup+4195.2 s]
/proc/loadavg: 8.12 8.03 8.01 9/437 31446
/proc/meminfo: memFree=22784152/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=1048412 CPUtime=33495.8 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 207491 0 0 0 3349346 230 0 0 25 0 8 0 738932263 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31314/statm: 262103 195912 466 189 0 256452 0
[pid=31314/tid=31316] ppid=31312 vsize=1048412 CPUtime=4177.8 cores=0-7
/proc/31314/task/31316/stat : 31316 (claspmt) R 31312 31314 31288 0 -1 4202560 31689 0 0 0 417752 28 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31314/tid=31317] ppid=31312 vsize=1048412 CPUtime=4194.7 cores=0-7
/proc/31314/task/31317/stat : 31317 (claspmt) R 31312 31314 31288 0 -1 4202560 37118 0 0 0 419451 19 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31314/tid=31318] ppid=31312 vsize=1048412 CPUtime=4193.7 cores=0-7
/proc/31314/task/31318/stat : 31318 (claspmt) R 31312 31314 31288 0 -1 4202560 15361 0 0 0 419350 20 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31314/tid=31319] ppid=31312 vsize=1048412 CPUtime=4194.27 cores=0-7
/proc/31314/task/31319/stat : 31319 (claspmt) R 31312 31314 31288 0 -1 4202560 19331 0 0 0 419407 20 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31314/tid=31320] ppid=31312 vsize=1048412 CPUtime=4193.81 cores=0-7
/proc/31314/task/31320/stat : 31320 (claspmt) R 31312 31314 31288 0 -1 4202560 18557 0 0 0 419359 22 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31314/tid=31321] ppid=31312 vsize=1048412 CPUtime=4187.27 cores=0-7
/proc/31314/task/31321/stat : 31321 (claspmt) R 31312 31314 31288 0 -1 4202560 18053 0 0 0 418701 26 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31314/tid=31322] ppid=31312 vsize=1048412 CPUtime=4164.03 cores=0-7
/proc/31314/task/31322/stat : 31322 (claspmt) R 31312 31314 31288 0 -1 4202560 44311 0 0 0 416345 58 0 0 25 0 8 0 738932280 1073573888 195912 33554432000 4194304 4964800 140737016988736 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 33495.8
Current children cumulated vsize (KiB) 1048412

[startup+4195.6 s]
/proc/loadavg: 8.12 8.03 8.01 9/437 31446
/proc/meminfo: memFree=22784152/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=1048412 CPUtime=33498.6 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 207501 0 0 0 3349626 230 0 0 25 0 1 0 738932263 1073573888 195922 33554432000 4194304 4964800 140737016988736 18446744073709551615 251367201915 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31314/statm: 262103 195922 476 189 0 256452 0
Current children cumulated CPU time (s) 33498.6
Current children cumulated vsize (KiB) 1048412

[startup+4195.7 s]
/proc/loadavg: 8.12 8.03 8.01 9/437 31446
/proc/meminfo: memFree=22784152/32950928 swapFree=38710900/67111528
[pid=31314] ppid=31312 vsize=1042096 CPUtime=33498.7 cores=0-7
/proc/31314/stat : 31314 (claspmt) R 31312 31314 31288 0 -1 4202496 207501 0 0 0 3349636 230 0 0 25 0 1 0 738932263 1067106304 193419 33554432000 4194304 4964800 140737016988736 18446744073709551615 251367203822 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/31314/statm: 260524 193419 476 189 0 254873 0
Current children cumulated CPU time (s) 33498.7
Current children cumulated vsize (KiB) 1042096

Child status: 10
Real time (s): 4195.76
CPU time (s): 33498.7
CPU user time (s): 33496.4
CPU system time (s): 2.33864
CPU usage (%): 798.395
Max. virtual memory (cumulated for all children) (KiB): 1048412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33496.4
system time used= 2.33864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207502
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= 85271
involuntary context switches= 158588

runsolver used 17.4483 second user time and 43.4274 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-15 21:16:56
IDJOB=3380687
IDBENCH=71301
IDSOLVER=1865
FILE ID=node113/3380687-1305487016
RUNJOBID= node113-1305487016-31302
PBS_JOBID= 13325381
Free space on /tmp= 73412 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g3.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3380687-1305487016/watcher-3380687-1305487016 -o /tmp/evaluation-result-3380687-1305487016/solver-3380687-1305487016 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380687-1305487016.cnf

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

MD5SUM BENCH= 226123ce9245dfa4b876682016123861
RANDOM SEED=473394214

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23568264 kB
Buffers:        293196 kB
Cached:        3249676 kB
SwapCached:      93704 kB
Active:        2123572 kB
Inactive:      6965588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23568264 kB
SwapTotal:    67111528 kB
SwapFree:     38710900 kB
Dirty:            1664 kB
Writeback:           0 kB
AnonPages:     5463992 kB
Mapped:          21736 kB
Slab:           123776 kB
PageTables:     102480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 129957456 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= 73408 MiB
End job on node113 at 2011-05-15 22:26:52