Trace number 3380714

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 24965.5 3126.61

General information on the benchmark

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

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-3380714-1305488549/watcher-3380714-1305488549 -o /tmp/evaluation-result-3380714-1305488549/solver-3380714-1305488549 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380714-1305488549.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.84 7.82 7.93 1/411 25371
/proc/meminfo: memFree=17109352/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=22812 CPUtime=0 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 1146 0 0 0 0 0 0 0 25 0 1 0 739085369 23359488 898 33554432000 4194304 4964800 140735117699952 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25371/statm: 5703 900 386 189 0 577 0

[startup+0.0864571 s]
/proc/loadavg: 6.84 7.82 7.93 1/411 25371
/proc/meminfo: memFree=17109352/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=24792 CPUtime=0.08 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 1691 0 0 0 8 0 0 0 25 0 1 0 739085369 25387008 1434 33554432000 4194304 4964800 140735117699952 18446744073709551615 4607648 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25371/statm: 6198 1434 399 189 0 1072 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24792

[startup+0.100444 s]
/proc/loadavg: 6.84 7.82 7.93 1/411 25371
/proc/meminfo: memFree=17109352/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=24924 CPUtime=0.09 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 1720 0 0 0 9 0 0 0 25 0 1 0 739085369 25522176 1463 33554432000 4194304 4964800 140735117699952 18446744073709551615 4600431 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/25371/statm: 6231 1463 400 189 0 1105 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24924

[startup+0.306573 s]
/proc/loadavg: 6.84 7.82 7.93 1/411 25371
/proc/meminfo: memFree=17109352/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=319408 CPUtime=0.86 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 3964 0 0 0 85 1 0 0 18 0 8 0 739085369 327073792 3565 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 79852 3565 464 189 0 74201 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 319408

[startup+0.700293 s]
/proc/loadavg: 6.84 7.82 7.93 1/411 25371
/proc/meminfo: memFree=17109352/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=322460 CPUtime=4.01 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 8320 0 0 0 399 2 0 0 18 0 8 0 739085369 330199040 7921 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320966 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 80615 7921 464 189 0 74964 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 322460

[startup+1.50114 s]
/proc/loadavg: 6.84 7.82 7.93 9/419 25379
/proc/meminfo: memFree=17075960/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=390636 CPUtime=10.39 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 11943 0 0 0 1036 3 0 0 19 0 8 0 739085369 400011264 11544 33554432000 4194304 4964800 140735117699952 18446744073709551615 4362287 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 97659 11544 464 189 0 92008 0
[pid=25371/tid=25373] ppid=25369 vsize=390636 CPUtime=1.27 cores=0-7
/proc/25371/task/25373/stat : 25373 (claspmt) R 25369 25371 25345 0 -1 4202560 1176 0 0 0 127 0 0 0 18 0 8 0 739085387 400011264 11544 33554432000 4194304 4964800 140735117699952 18446744073709551615 4627335 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25371/tid=25374] ppid=25369 vsize=390636 CPUtime=1.27 cores=0-7
/proc/25371/task/25374/stat : 25374 (claspmt) R 25369 25371 25345 0 -1 4202560 1274 0 0 0 127 0 0 0 19 0 8 0 739085387 400011264 11544 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25371/tid=25375] ppid=25369 vsize=390636 CPUtime=1.27 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 1124 0 0 0 127 0 0 0 19 0 8 0 739085387 400011264 11544 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=390636 CPUtime=1.27 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 1321 0 0 0 127 0 0 0 22 0 8 0 739085387 400011264 11544 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=390636 CPUtime=1.27 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 481 0 0 0 127 0 0 0 19 0 8 0 739085387 400011264 11544 33554432000 4194304 4964800 140735117699952 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=390636 CPUtime=1.27 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 1376 0 0 0 127 0 0 0 19 0 8 0 739085387 400011264 11544 33554432000 4194304 4964800 140735117699952 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=390636 CPUtime=1.25 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 2088 0 0 0 125 0 0 0 18 0 8 0 739085387 400011264 11544 33554432000 4194304 4964800 140735117699952 18446744073709551615 4365906 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.39
Current children cumulated vsize (KiB) 390636

[startup+3.10085 s]
/proc/loadavg: 6.84 7.82 7.93 9/419 25379
/proc/meminfo: memFree=17057484/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=391428 CPUtime=23.17 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 14422 0 0 0 2312 5 0 0 18 0 8 0 739085369 400822272 14023 33554432000 4194304 4964800 140735117699952 18446744073709551615 4668924 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 97857 14024 466 189 0 92206 0
[pid=25371/tid=25373] ppid=25369 vsize=391428 CPUtime=2.87 cores=0-7
/proc/25371/task/25373/stat : 25373 (claspmt) R 25369 25371 25345 0 -1 4202560 1508 0 0 0 287 0 0 0 20 0 8 0 739085387 400822272 14024 33554432000 4194304 4964800 140735117699952 18446744073709551615 252457727009 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25371/tid=25374] ppid=25369 vsize=391428 CPUtime=2.87 cores=0-7
/proc/25371/task/25374/stat : 25374 (claspmt) R 25369 25371 25345 0 -1 4202560 1488 0 0 0 287 0 0 0 19 0 8 0 739085387 400822272 14024 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25371/tid=25375] ppid=25369 vsize=391428 CPUtime=2.87 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 1315 0 0 0 287 0 0 0 22 0 8 0 739085387 400822272 14024 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=391428 CPUtime=2.87 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 1703 0 0 0 287 0 0 0 25 0 8 0 739085387 400822272 14024 33554432000 4194304 4964800 140735117699952 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=391428 CPUtime=2.87 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 799 0 0 0 287 0 0 0 18 0 8 0 739085387 400822272 14024 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=391428 CPUtime=2.87 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 1557 0 0 0 287 0 0 0 22 0 8 0 739085387 400822272 14024 33554432000 4194304 4964800 140735117699952 18446744073709551615 4627823 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=391428 CPUtime=2.84 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 2816 0 0 0 283 1 0 0 20 0 8 0 739085387 400822272 14024 33554432000 4194304 4964800 140735117699952 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.17
Current children cumulated vsize (KiB) 391428

[startup+6.30126 s]
/proc/loadavg: 6.93 7.82 7.93 9/419 25379
/proc/meminfo: memFree=17048036/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=394640 CPUtime=48.72 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 17860 0 0 0 4865 7 0 0 25 0 8 0 739085369 404111360 17461 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 98660 17461 466 189 0 93009 0
[pid=25371/tid=25373] ppid=25369 vsize=394640 CPUtime=6.07 cores=0-7
/proc/25371/task/25373/stat : 25373 (claspmt) R 25369 25371 25345 0 -1 4202560 1947 0 0 0 606 1 0 0 25 0 8 0 739085387 404111360 17461 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25371/tid=25374] ppid=25369 vsize=394640 CPUtime=6.06 cores=0-7
/proc/25371/task/25374/stat : 25374 (claspmt) R 25369 25371 25345 0 -1 4202560 1998 0 0 0 606 0 0 0 25 0 8 0 739085387 404111360 17461 33554432000 4194304 4964800 140735117699952 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25371/tid=25375] ppid=25369 vsize=394640 CPUtime=6.07 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 1614 0 0 0 607 0 0 0 25 0 8 0 739085387 404111360 17461 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=394640 CPUtime=6.07 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 2014 0 0 0 607 0 0 0 25 0 8 0 739085387 404111360 17461 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320875 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=394640 CPUtime=6.07 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 1182 0 0 0 607 0 0 0 25 0 8 0 739085387 404111360 17461 33554432000 4194304 4964800 140735117699952 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=394640 CPUtime=6.06 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 1948 0 0 0 606 0 0 0 25 0 8 0 739085387 404111360 17461 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=394640 CPUtime=5.99 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 3767 0 0 0 598 1 0 0 25 0 8 0 739085387 404111360 17461 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 48.72
Current children cumulated vsize (KiB) 394640

[startup+12.7011 s]
/proc/loadavg: 7.02 7.82 7.93 9/419 25379
/proc/meminfo: memFree=17010744/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=400184 CPUtime=99.81 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 26005 0 0 0 9970 11 0 0 25 0 8 0 739085369 409788416 25606 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 100046 25606 466 189 0 94395 0
[pid=25371/tid=25373] ppid=25369 vsize=400184 CPUtime=12.46 cores=0-7
/proc/25371/task/25373/stat : 25373 (claspmt) R 25369 25371 25345 0 -1 4202560 2838 0 0 0 1245 1 0 0 25 0 8 0 739085387 409788416 25606 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25371/tid=25374] ppid=25369 vsize=400184 CPUtime=12.46 cores=0-7
/proc/25371/task/25374/stat : 25374 (claspmt) R 25369 25371 25345 0 -1 4202560 3247 0 0 0 1245 1 0 0 25 0 8 0 739085387 409788416 25606 33554432000 4194304 4964800 140735117699952 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25371/tid=25375] ppid=25369 vsize=400184 CPUtime=12.46 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 2336 0 0 0 1246 0 0 0 25 0 8 0 739085387 409788416 25606 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=400184 CPUtime=12.46 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 2905 0 0 0 1246 0 0 0 25 0 8 0 739085387 409788416 25606 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=400184 CPUtime=12.47 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 2141 0 0 0 1246 1 0 0 25 0 8 0 739085387 409788416 25606 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=400184 CPUtime=12.46 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 2711 0 0 0 1245 1 0 0 25 0 8 0 739085387 409788416 25606 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=400184 CPUtime=12.3 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 5557 0 0 0 1228 2 0 0 25 0 8 0 739085387 409788416 25606 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 99.81
Current children cumulated vsize (KiB) 400184

[startup+25.5007 s]
/proc/loadavg: 7.23 7.83 7.93 9/419 25380
/proc/meminfo: memFree=16970604/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=408340 CPUtime=202.01 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 36373 0 0 0 20183 18 0 0 25 0 8 0 739085369 418140160 35612 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670323 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 102085 35612 466 189 0 96434 0
[pid=25371/tid=25373] ppid=25369 vsize=408340 CPUtime=25.26 cores=0-7
/proc/25371/task/25373/stat : 25373 (claspmt) R 25369 25371 25345 0 -1 4202560 3958 0 0 0 2524 2 0 0 25 0 8 0 739085387 418140160 35612 33554432000 4194304 4964800 140735117699952 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25371/tid=25374] ppid=25369 vsize=408340 CPUtime=25.26 cores=0-7
/proc/25371/task/25374/stat : 25374 (claspmt) R 25369 25371 25345 0 -1 4202560 4859 0 0 0 2523 3 0 0 25 0 8 0 739085387 418140160 35612 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670368 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25371/tid=25375] ppid=25369 vsize=408340 CPUtime=25.27 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 3379 0 0 0 2526 1 0 0 25 0 8 0 739085387 418140160 35612 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=408340 CPUtime=25.27 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 4469 0 0 0 2526 1 0 0 25 0 8 0 739085387 418140160 35612 33554432000 4194304 4964800 140735117699952 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=408340 CPUtime=25.26 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 3094 0 0 0 2525 1 0 0 25 0 8 0 739085387 418140160 35612 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=408340 CPUtime=25.1 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 3464 0 0 0 2508 2 0 0 25 0 8 0 739085387 418140160 35612 33554432000 4194304 4964800 140735117699952 18446744073709551615 4660155 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=408340 CPUtime=25.07 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 8028 0 0 0 2504 3 0 0 25 0 8 0 739085387 418140160 35612 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.01
Current children cumulated vsize (KiB) 408340

[startup+51.1009 s]
/proc/loadavg: 7.49 7.84 7.93 9/419 25380
/proc/meminfo: memFree=16921192/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=419668 CPUtime=406.45 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 49300 0 0 0 40616 29 0 0 25 0 8 0 739085369 429740032 48235 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320905 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 104917 48235 466 189 0 99266 0
[pid=25371/tid=25373] ppid=25369 vsize=419668 CPUtime=50.85 cores=0-7
/proc/25371/task/25373/stat : 25373 (claspmt) R 25369 25371 25345 0 -1 4202560 5455 0 0 0 5082 3 0 0 25 0 8 0 739085387 429740032 48235 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25371/tid=25374] ppid=25369 vsize=419668 CPUtime=50.86 cores=0-7
/proc/25371/task/25374/stat : 25374 (claspmt) R 25369 25371 25345 0 -1 4202560 6305 0 0 0 5083 3 0 0 25 0 8 0 739085387 429740032 48235 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25371/tid=25375] ppid=25369 vsize=419668 CPUtime=50.86 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 4204 0 0 0 5085 1 0 0 25 0 8 0 739085387 429740032 48235 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=419668 CPUtime=50.87 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 5391 0 0 0 5085 2 0 0 25 0 8 0 739085387 429740032 48235 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=419668 CPUtime=50.87 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 4448 0 0 0 5084 3 0 0 25 0 8 0 739085387 429740032 48235 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=419668 CPUtime=50.35 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 4539 0 0 0 5032 3 0 0 25 0 8 0 739085387 429740032 48235 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=419668 CPUtime=50.67 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 12837 0 0 0 5060 7 0 0 25 0 8 0 739085387 429740032 48235 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 406.45

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

[pid=25371/tid=25375] ppid=25369 vsize=842584 CPUtime=3101.94 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 17706 0 0 0 310171 23 0 0 25 0 8 0 739085387 862806016 186114 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=842584 CPUtime=3102.03 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 18293 0 0 0 310187 16 0 0 25 0 8 0 739085387 862806016 186114 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=842584 CPUtime=3101.98 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 17422 0 0 0 310183 15 0 0 25 0 8 0 739085387 862806016 186114 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=842584 CPUtime=3094.52 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 14018 0 0 0 309431 21 0 0 25 0 8 0 739085387 862806016 186114 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=842584 CPUtime=3095.44 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 50618 0 0 0 309479 65 0 0 25 0 8 0 739085387 862806016 186114 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24772.9
Current children cumulated vsize (KiB) 842584

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

[startup+3110.3 s]
/proc/loadavg: 8.08 8.05 8.00 9/419 25471
/proc/meminfo: memFree=16360908/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=908996 CPUtime=24836.8 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 197536 0 0 0 2483462 216 0 0 25 0 8 0 739085369 930811904 187659 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320944 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 227249 187659 466 189 0 221598 0
[pid=25371/tid=25373] ppid=25369 vsize=908996 CPUtime=3081.4 cores=0-7
/proc/25371/task/25373/stat : 25373 (claspmt) R 25369 25371 25345 0 -1 4202560 29482 0 0 0 308110 30 0 0 25 0 8 0 739085387 930811904 187659 33554432000 4194304 4964800 140735117699952 18446744073709551615 252457763408 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25371/tid=25374] ppid=25369 vsize=908996 CPUtime=3109.33 cores=0-7
/proc/25371/task/25374/stat : 25374 (claspmt) R 25369 25371 25345 0 -1 4202560 30102 0 0 0 310915 18 0 0 25 0 8 0 739085387 930811904 187659 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25371/tid=25375] ppid=25369 vsize=908996 CPUtime=3109.94 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 18062 0 0 0 310970 24 0 0 25 0 8 0 739085387 930811904 187659 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=908996 CPUtime=3110.03 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 18317 0 0 0 310987 16 0 0 25 0 8 0 739085387 930811904 187659 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=908996 CPUtime=3109.98 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 17930 0 0 0 310983 15 0 0 25 0 8 0 739085387 930811904 187659 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=908996 CPUtime=3102.42 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 14018 0 0 0 310221 21 0 0 25 0 8 0 739085387 930811904 187659 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=908996 CPUtime=3103.44 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 50621 0 0 0 310279 65 0 0 25 0 8 0 739085387 930811904 187659 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24836.8
Current children cumulated vsize (KiB) 908996

[startup+3116.7 s]
/proc/loadavg: 8.08 8.05 8.00 9/419 25471
/proc/meminfo: memFree=16359408/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=908996 CPUtime=24887.9 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 197760 0 0 0 2488571 216 0 0 25 0 8 0 739085369 930811904 187883 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670499 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 227249 187883 466 189 0 221598 0
[pid=25371/tid=25373] ppid=25369 vsize=908996 CPUtime=3087.79 cores=0-7
/proc/25371/task/25373/stat : 25373 (claspmt) R 25369 25371 25345 0 -1 4202560 29482 0 0 0 308749 30 0 0 25 0 8 0 739085387 930811904 187883 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25371/tid=25374] ppid=25369 vsize=908996 CPUtime=3115.73 cores=0-7
/proc/25371/task/25374/stat : 25374 (claspmt) R 25369 25371 25345 0 -1 4202560 30102 0 0 0 311555 18 0 0 25 0 8 0 739085387 930811904 187883 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25371/tid=25375] ppid=25369 vsize=908996 CPUtime=3116.34 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 18153 0 0 0 311610 24 0 0 25 0 8 0 739085387 930811904 187883 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=908996 CPUtime=3116.43 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 18409 0 0 0 311627 16 0 0 25 0 8 0 739085387 930811904 187883 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=908996 CPUtime=3116.38 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 17932 0 0 0 311623 15 0 0 25 0 8 0 739085387 930811904 187883 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=908996 CPUtime=3108.72 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 14018 0 0 0 310851 21 0 0 25 0 8 0 739085387 930811904 187883 33554432000 4194304 4964800 140735117699952 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=908996 CPUtime=3109.84 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 50660 0 0 0 310919 65 0 0 25 0 8 0 739085387 930811904 187883 33554432000 4194304 4964800 140735117699952 18446744073709551615 252457724824 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24887.9
Current children cumulated vsize (KiB) 908996

[startup+3123.1 s]
/proc/loadavg: 8.07 8.05 8.00 9/419 25471
/proc/meminfo: memFree=16358908/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=908996 CPUtime=24939 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 197881 0 0 0 2493681 216 0 0 25 0 8 0 739085369 930811904 188004 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 227249 188004 466 189 0 221598 0
[pid=25371/tid=25373] ppid=25369 vsize=908996 CPUtime=3094.19 cores=0-7
/proc/25371/task/25373/stat : 25373 (claspmt) R 25369 25371 25345 0 -1 4202560 29482 0 0 0 309389 30 0 0 25 0 8 0 739085387 930811904 188004 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25371/tid=25374] ppid=25369 vsize=908996 CPUtime=3122.12 cores=0-7
/proc/25371/task/25374/stat : 25374 (claspmt) R 25369 25371 25345 0 -1 4202560 30102 0 0 0 312194 18 0 0 25 0 8 0 739085387 930811904 188004 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25371/tid=25375] ppid=25369 vsize=908996 CPUtime=3122.74 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 18153 0 0 0 312250 24 0 0 25 0 8 0 739085387 930811904 188004 33554432000 4194304 4964800 140735117699952 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=908996 CPUtime=3122.83 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 18508 0 0 0 312267 16 0 0 25 0 8 0 739085387 930811904 188004 33554432000 4194304 4964800 140735117699952 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=908996 CPUtime=3122.78 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 17954 0 0 0 312263 15 0 0 25 0 8 0 739085387 930811904 188004 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=908996 CPUtime=3115.03 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 14018 0 0 0 311482 21 0 0 25 0 8 0 739085387 930811904 188004 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=908996 CPUtime=3116.24 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 50660 0 0 0 311559 65 0 0 25 0 8 0 739085387 930811904 188004 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24939
Current children cumulated vsize (KiB) 908996

[startup+3124.7 s]
/proc/loadavg: 8.07 8.05 8.00 9/419 25471
/proc/meminfo: memFree=16358660/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=908996 CPUtime=24951.8 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 197924 0 0 0 2494960 216 0 0 25 0 8 0 739085369 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670378 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 227249 188047 466 189 0 221598 0
[pid=25371/tid=25373] ppid=25369 vsize=908996 CPUtime=3095.79 cores=0-7
/proc/25371/task/25373/stat : 25373 (claspmt) R 25369 25371 25345 0 -1 4202560 29482 0 0 0 309549 30 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4653172 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25371/tid=25374] ppid=25369 vsize=908996 CPUtime=3123.72 cores=0-7
/proc/25371/task/25374/stat : 25374 (claspmt) R 25369 25371 25345 0 -1 4202560 30102 0 0 0 312354 18 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25371/tid=25375] ppid=25369 vsize=908996 CPUtime=3124.34 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 18153 0 0 0 312410 24 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=908996 CPUtime=3124.43 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 18530 0 0 0 312427 16 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4644876 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=908996 CPUtime=3124.38 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 17954 0 0 0 312423 15 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=908996 CPUtime=3116.62 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 14018 0 0 0 311641 21 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=908996 CPUtime=3117.84 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 50660 0 0 0 311719 65 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24951.8
Current children cumulated vsize (KiB) 908996

[startup+3125.5 s]
/proc/loadavg: 8.07 8.05 8.00 9/419 25471
/proc/meminfo: memFree=16358660/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=908996 CPUtime=24958.1 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 197924 0 0 0 2495598 216 0 0 25 0 8 0 739085369 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320911 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 227249 188047 466 189 0 221598 0
[pid=25371/tid=25373] ppid=25369 vsize=908996 CPUtime=3096.59 cores=0-7
/proc/25371/task/25373/stat : 25373 (claspmt) R 25369 25371 25345 0 -1 4202560 29482 0 0 0 309629 30 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25371/tid=25374] ppid=25369 vsize=908996 CPUtime=3124.52 cores=0-7
/proc/25371/task/25374/stat : 25374 (claspmt) R 25369 25371 25345 0 -1 4202560 30102 0 0 0 312434 18 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25371/tid=25375] ppid=25369 vsize=908996 CPUtime=3125.14 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 18153 0 0 0 312490 24 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=908996 CPUtime=3125.23 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 18530 0 0 0 312507 16 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=908996 CPUtime=3125.18 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 17954 0 0 0 312503 15 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=908996 CPUtime=3117.4 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 14018 0 0 0 311719 21 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=908996 CPUtime=3118.64 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 50660 0 0 0 311799 65 0 0 25 0 8 0 739085387 930811904 188047 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24958.1
Current children cumulated vsize (KiB) 908996

[startup+3126.3 s]
/proc/loadavg: 8.07 8.05 8.00 9/419 25471
/proc/meminfo: memFree=16358660/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=908996 CPUtime=24964.5 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 197961 0 0 0 2496236 216 0 0 25 0 8 0 739085369 930811904 188084 33554432000 4194304 4964800 140735117699952 18446744073709551615 4320944 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/25371/statm: 227249 188084 466 189 0 221598 0
[pid=25371/tid=25373] ppid=25369 vsize=908996 CPUtime=3097.39 cores=0-7
/proc/25371/task/25373/stat : 25373 (claspmt) R 25369 25371 25345 0 -1 4202560 29482 0 0 0 309709 30 0 0 25 0 8 0 739085387 930811904 188084 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25371/tid=25374] ppid=25369 vsize=908996 CPUtime=3125.32 cores=0-7
/proc/25371/task/25374/stat : 25374 (claspmt) R 25369 25371 25345 0 -1 4202560 30139 0 0 0 312514 18 0 0 25 0 8 0 739085387 930811904 188084 33554432000 4194304 4964800 140735117699952 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25371/tid=25375] ppid=25369 vsize=908996 CPUtime=3125.94 cores=0-7
/proc/25371/task/25375/stat : 25375 (claspmt) R 25369 25371 25345 0 -1 4202560 18153 0 0 0 312570 24 0 0 25 0 8 0 739085387 930811904 188084 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25371/tid=25376] ppid=25369 vsize=908996 CPUtime=3126.03 cores=0-7
/proc/25371/task/25376/stat : 25376 (claspmt) R 25369 25371 25345 0 -1 4202560 18530 0 0 0 312587 16 0 0 25 0 8 0 739085387 930811904 188084 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25371/tid=25377] ppid=25369 vsize=908996 CPUtime=3125.98 cores=0-7
/proc/25371/task/25377/stat : 25377 (claspmt) R 25369 25371 25345 0 -1 4202560 17954 0 0 0 312583 15 0 0 25 0 8 0 739085387 930811904 188084 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25371/tid=25378] ppid=25369 vsize=908996 CPUtime=3118.19 cores=0-7
/proc/25371/task/25378/stat : 25378 (claspmt) R 25369 25371 25345 0 -1 4202560 14018 0 0 0 311798 21 0 0 25 0 8 0 739085387 930811904 188084 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25371/tid=25379] ppid=25369 vsize=908996 CPUtime=3119.44 cores=0-7
/proc/25371/task/25379/stat : 25379 (claspmt) R 25369 25371 25345 0 -1 4202560 50660 0 0 0 311879 65 0 0 25 0 8 0 739085387 930811904 188084 33554432000 4194304 4964800 140735117699952 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24964.5
Current children cumulated vsize (KiB) 908996

[startup+3126.5 s]
/proc/loadavg: 8.07 8.05 8.00 9/419 25471
/proc/meminfo: memFree=16358660/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=840212 CPUtime=24965.3 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 197974 0 0 0 2496318 216 0 0 25 0 1 0 739085369 860377088 186957 33554432000 4194304 4964800 140735117699952 18446744073709551615 252457721121 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/25371/statm: 210053 186957 476 189 0 204402 0
Current children cumulated CPU time (s) 24965.3
Current children cumulated vsize (KiB) 840212

[startup+3126.6 s]
/proc/loadavg: 8.07 8.05 8.00 9/419 25471
/proc/meminfo: memFree=16358660/32951124 swapFree=59305804/67111528
[pid=25371] ppid=25369 vsize=450576 CPUtime=24965.4 cores=0-7
/proc/25371/stat : 25371 (claspmt) R 25369 25371 25345 0 -1 4202496 197974 0 0 0 2496325 219 0 0 25 0 1 0 739085369 461389824 34073 33554432000 4194304 4964800 140735117699952 18446744073709551615 252458109287 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/25371/statm: 112644 34073 476 189 0 106993 0
Current children cumulated CPU time (s) 24965.4
Current children cumulated vsize (KiB) 450576

Child status: 10
Real time (s): 3126.61
CPU time (s): 24965.5
CPU user time (s): 24963.3
CPU system time (s): 2.20167
CPU usage (%): 798.484
Max. virtual memory (cumulated for all children) (KiB): 908996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24963.3
system time used= 2.20167
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197975
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= 63365
involuntary context switches= 86958

runsolver used 11.3653 second user time and 31.2762 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-15 21:42:29
IDJOB=3380714
IDBENCH=71540
IDSOLVER=1865
FILE ID=node111/3380714-1305488549
RUNJOBID= node111-1305488549-25359
PBS_JOBID= 13325401
Free space on /tmp= 73632 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes7.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-3380714-1305488549/watcher-3380714-1305488549 -o /tmp/evaluation-result-3380714-1305488549/solver-3380714-1305488549 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380714-1305488549.cnf

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

MD5SUM BENCH= 6200c727c8a5a324974090a1f9a6d7ab
RANDOM SEED=251719351

node111.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	: 5428.12
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17109640 kB
Buffers:        301172 kB
Cached:        6821056 kB
SwapCached:      13712 kB
Active:        6825648 kB
Inactive:      8759520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17109640 kB
SwapTotal:    67111528 kB
SwapFree:     59305804 kB
Dirty:            1660 kB
Writeback:           0 kB
AnonPages:     8457908 kB
Mapped:          25792 kB
Slab:           131244 kB
PageTables:      56280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 123453296 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= 73632 MiB
End job on node111 at 2011-05-15 22:34:36