Trace number 3381283

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 593.101 74.7464

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
MD5SUMf874c09c5787bb3c6a16f7a5f9ea0ad4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.1187
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of clauses120147
Sum of the clauses size314766
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247183
Number of clauses of size 372906
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 558

Solver Data 

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

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-3381283-1305511573/watcher-3381283-1305511573 -o /tmp/evaluation-result-3381283-1305511573/solver-3381283-1305511573 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381283-1305511573.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.17 8.36 8.15 1/431 6063
/proc/meminfo: memFree=14996560/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=21740 CPUtime=0 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 735 0 0 0 0 0 0 0 18 0 1 0 662755035 22261760 660 33554432000 4194304 4964800 140735797653360 18446744073709551615 212687675136 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/6063/statm: 5435 660 386 189 0 309 0

[startup+0.0592491 s]
/proc/loadavg: 8.17 8.36 8.15 1/431 6063
/proc/meminfo: memFree=14996560/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=30108 CPUtime=0.05 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 3253 0 0 0 5 0 0 0 18 0 1 0 662755035 30830592 2698 33554432000 4194304 4964800 140735797653360 18446744073709551615 4607638 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/6063/statm: 7527 2698 399 189 0 2401 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 30108

[startup+0.100248 s]
/proc/loadavg: 8.17 8.36 8.15 1/431 6063
/proc/meminfo: memFree=14996560/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=30108 CPUtime=0.09 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 3253 0 0 0 9 0 0 0 18 0 1 0 662755035 30830592 2698 33554432000 4194304 4964800 140735797653360 18446744073709551615 4607585 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/6063/statm: 7527 2698 399 189 0 2401 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30108

[startup+0.300211 s]
/proc/loadavg: 8.17 8.36 8.15 1/431 6063
/proc/meminfo: memFree=14996560/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=30108 CPUtime=0.29 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 3255 0 0 0 29 0 0 0 18 0 1 0 662755035 30830592 2700 33554432000 4194304 4964800 140735797653360 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/6063/statm: 7527 2700 399 189 0 2401 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30108

[startup+0.700098 s]
/proc/loadavg: 8.17 8.36 8.15 1/431 6063
/proc/meminfo: memFree=14996560/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=323172 CPUtime=2.66 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 4669 0 0 0 266 0 0 0 18 0 8 0 662755035 330928128 3856 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/6063/statm: 80793 3856 464 189 0 75142 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 323172

[startup+1.50095 s]
/proc/loadavg: 8.17 8.36 8.15 11/439 6098
/proc/meminfo: memFree=14978836/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=323172 CPUtime=9.05 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 6662 0 0 0 904 1 0 0 19 0 8 0 662755035 330928128 5849 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668734 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/6063/statm: 80793 5849 464 189 0 75142 0
[pid=6063/tid=6084] ppid=6061 vsize=323172 CPUtime=1.08 cores=0-7
/proc/6063/task/6084/stat : 6084 (claspmt) R 6061 6063 3867 0 -1 4202560 339 0 0 0 108 0 0 0 21 0 8 0 662755070 330928128 5849 33554432000 4194304 4964800 140735797653360 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6063/tid=6085] ppid=6061 vsize=323172 CPUtime=1.08 cores=0-7
/proc/6063/task/6085/stat : 6085 (claspmt) R 6061 6063 3867 0 -1 4202560 690 0 0 0 108 0 0 0 21 0 8 0 662755070 330928128 5849 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6063/tid=6086] ppid=6061 vsize=323172 CPUtime=1.08 cores=0-7
/proc/6063/task/6086/stat : 6086 (claspmt) R 6061 6063 3867 0 -1 4202560 279 0 0 0 108 0 0 0 21 0 8 0 662755070 330928128 5849 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6063/tid=6087] ppid=6061 vsize=323172 CPUtime=1.05 cores=0-7
/proc/6063/task/6087/stat : 6087 (claspmt) R 6061 6063 3867 0 -1 4202560 391 0 0 0 105 0 0 0 21 0 8 0 662755070 330928128 5849 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6063/tid=6088] ppid=6061 vsize=323172 CPUtime=1.15 cores=0-7
/proc/6063/task/6088/stat : 6088 (claspmt) R 6061 6063 3867 0 -1 4202560 109 0 0 0 115 0 0 0 19 0 8 0 662755070 330928128 5849 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6063/tid=6089] ppid=6061 vsize=323172 CPUtime=1.08 cores=0-7
/proc/6063/task/6089/stat : 6089 (claspmt) R 6061 6063 3867 0 -1 4202560 430 0 0 0 108 0 0 0 19 0 8 0 662755070 330928128 5849 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6063/tid=6090] ppid=6061 vsize=323172 CPUtime=1.05 cores=0-7
/proc/6063/task/6090/stat : 6090 (claspmt) R 6061 6063 3867 0 -1 4202560 742 0 0 0 105 0 0 0 21 0 8 0 662755070 330928128 5849 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.05
Current children cumulated vsize (KiB) 323172

[startup+3.10066 s]
/proc/loadavg: 8.17 8.36 8.15 10/439 6102
/proc/meminfo: memFree=14969848/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=323840 CPUtime=21.83 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 9494 0 0 0 2180 3 0 0 24 0 8 0 662755035 331612160 8681 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668777 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/6063/statm: 80960 8681 464 189 0 75309 0
[pid=6063/tid=6084] ppid=6061 vsize=323840 CPUtime=2.68 cores=0-7
/proc/6063/task/6084/stat : 6084 (claspmt) R 6061 6063 3867 0 -1 4202560 553 0 0 0 268 0 0 0 25 0 8 0 662755070 331612160 8681 33554432000 4194304 4964800 140735797653360 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6063/tid=6085] ppid=6061 vsize=323840 CPUtime=2.68 cores=0-7
/proc/6063/task/6085/stat : 6085 (claspmt) R 6061 6063 3867 0 -1 4202560 1415 0 0 0 268 0 0 0 25 0 8 0 662755070 331612160 8681 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6063/tid=6086] ppid=6061 vsize=323840 CPUtime=2.68 cores=0-7
/proc/6063/task/6086/stat : 6086 (claspmt) R 6061 6063 3867 0 -1 4202560 607 0 0 0 268 0 0 0 25 0 8 0 662755070 331612160 8681 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6063/tid=6087] ppid=6061 vsize=323840 CPUtime=2.64 cores=0-7
/proc/6063/task/6087/stat : 6087 (claspmt) R 6061 6063 3867 0 -1 4202560 709 0 0 0 264 0 0 0 25 0 8 0 662755070 331612160 8681 33554432000 4194304 4964800 140735797653360 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6063/tid=6088] ppid=6061 vsize=323840 CPUtime=2.75 cores=0-7
/proc/6063/task/6088/stat : 6088 (claspmt) R 6061 6063 3867 0 -1 4202560 151 0 0 0 275 0 0 0 18 0 8 0 662755070 331612160 8681 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6063/tid=6089] ppid=6061 vsize=323840 CPUtime=2.67 cores=0-7
/proc/6063/task/6089/stat : 6089 (claspmt) R 6061 6063 3867 0 -1 4202560 721 0 0 0 267 0 0 0 22 0 8 0 662755070 331612160 8681 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6063/tid=6090] ppid=6061 vsize=323840 CPUtime=2.65 cores=0-7
/proc/6063/task/6090/stat : 6090 (claspmt) R 6061 6063 3867 0 -1 4202560 1454 0 0 0 265 0 0 0 25 0 8 0 662755070 331612160 8681 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.83
Current children cumulated vsize (KiB) 323840

[startup+6.30108 s]
/proc/loadavg: 8.24 8.37 8.15 10/439 6110
/proc/meminfo: memFree=14946324/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=326964 CPUtime=47.38 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 14194 0 0 0 4733 5 0 0 25 0 8 0 662755035 334811136 13381 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668797 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/6063/statm: 81741 13381 464 189 0 76090 0
[pid=6063/tid=6084] ppid=6061 vsize=326964 CPUtime=5.84 cores=0-7
/proc/6063/task/6084/stat : 6084 (claspmt) R 6061 6063 3867 0 -1 4202560 957 0 0 0 584 0 0 0 25 0 8 0 662755070 334811136 13381 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6063/tid=6085] ppid=6061 vsize=326964 CPUtime=5.88 cores=0-7
/proc/6063/task/6085/stat : 6085 (claspmt) R 6061 6063 3867 0 -1 4202560 2321 0 0 0 587 1 0 0 25 0 8 0 662755070 334811136 13381 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6063/tid=6086] ppid=6061 vsize=326964 CPUtime=5.88 cores=0-7
/proc/6063/task/6086/stat : 6086 (claspmt) R 6061 6063 3867 0 -1 4202560 1044 0 0 0 588 0 0 0 25 0 8 0 662755070 334811136 13381 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6063/tid=6087] ppid=6061 vsize=326964 CPUtime=5.82 cores=0-7
/proc/6063/task/6087/stat : 6087 (claspmt) R 6061 6063 3867 0 -1 4202560 1396 0 0 0 582 0 0 0 25 0 8 0 662755070 334811136 13381 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6063/tid=6088] ppid=6061 vsize=326964 CPUtime=5.95 cores=0-7
/proc/6063/task/6088/stat : 6088 (claspmt) R 6061 6063 3867 0 -1 4202560 636 0 0 0 595 0 0 0 25 0 8 0 662755070 334811136 13381 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6063/tid=6089] ppid=6061 vsize=326964 CPUtime=5.87 cores=0-7
/proc/6063/task/6089/stat : 6089 (claspmt) R 6061 6063 3867 0 -1 4202560 1218 0 0 0 587 0 0 0 25 0 8 0 662755070 334811136 13381 33554432000 4194304 4964800 140735797653360 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6063/tid=6090] ppid=6061 vsize=326964 CPUtime=5.85 cores=0-7
/proc/6063/task/6090/stat : 6090 (claspmt) R 6061 6063 3867 0 -1 4202560 2364 0 0 0 584 1 0 0 25 0 8 0 662755070 334811136 13381 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.38
Current children cumulated vsize (KiB) 326964

[startup+12.7009 s]
/proc/loadavg: 8.30 8.38 8.16 10/439 6126
/proc/meminfo: memFree=14921764/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=331216 CPUtime=98.48 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 19923 0 0 0 9840 8 0 0 25 0 8 0 662755035 339165184 19110 33554432000 4194304 4964800 140735797653360 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/6063/statm: 82804 19110 466 189 0 77153 0
[pid=6063/tid=6084] ppid=6061 vsize=331216 CPUtime=12.14 cores=0-7
/proc/6063/task/6084/stat : 6084 (claspmt) R 6061 6063 3867 0 -1 4202560 1468 0 0 0 1214 0 0 0 25 0 8 0 662755070 339165184 19110 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6063/tid=6085] ppid=6061 vsize=331216 CPUtime=12.28 cores=0-7
/proc/6063/task/6085/stat : 6085 (claspmt) R 6061 6063 3867 0 -1 4202560 3776 0 0 0 1226 2 0 0 25 0 8 0 662755070 339165184 19110 33554432000 4194304 4964800 140735797653360 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6063/tid=6086] ppid=6061 vsize=331216 CPUtime=12.28 cores=0-7
/proc/6063/task/6086/stat : 6086 (claspmt) R 6061 6063 3867 0 -1 4202560 1458 0 0 0 1228 0 0 0 25 0 8 0 662755070 339165184 19110 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6063/tid=6087] ppid=6061 vsize=331216 CPUtime=12.22 cores=0-7
/proc/6063/task/6087/stat : 6087 (claspmt) R 6061 6063 3867 0 -1 4202560 2006 0 0 0 1222 0 0 0 25 0 8 0 662755070 339165184 19110 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6063/tid=6088] ppid=6061 vsize=331216 CPUtime=12.34 cores=0-7
/proc/6063/task/6088/stat : 6088 (claspmt) R 6061 6063 3867 0 -1 4202560 1312 0 0 0 1234 0 0 0 25 0 8 0 662755070 339165184 19110 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6063/tid=6089] ppid=6061 vsize=331216 CPUtime=12.27 cores=0-7
/proc/6063/task/6089/stat : 6089 (claspmt) R 6061 6063 3867 0 -1 4202560 1583 0 0 0 1227 0 0 0 25 0 8 0 662755070 339165184 19110 33554432000 4194304 4964800 140735797653360 18446744073709551615 4653296 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6063/tid=6090] ppid=6061 vsize=331216 CPUtime=12.25 cores=0-7
/proc/6063/task/6090/stat : 6090 (claspmt) R 6061 6063 3867 0 -1 4202560 3652 0 0 0 1224 1 0 0 25 0 8 0 662755070 339165184 19110 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 98.48
Current children cumulated vsize (KiB) 331216

[startup+25.5006 s]
/proc/loadavg: 8.53 8.42 8.18 10/439 6163
/proc/meminfo: memFree=14887828/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=338296 CPUtime=200.67 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 28354 0 0 0 20054 13 0 0 25 0 8 0 662755035 346415104 27541 33554432000 4194304 4964800 140735797653360 18446744073709551615 4669509 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/6063/statm: 84574 27541 466 189 0 78923 0
[pid=6063/tid=6084] ppid=6061 vsize=338296 CPUtime=24.74 cores=0-7
/proc/6063/task/6084/stat : 6084 (claspmt) R 6061 6063 3867 0 -1 4202560 2292 0 0 0 2474 0 0 0 25 0 8 0 662755070 346415104 27541 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6063/tid=6085] ppid=6061 vsize=338296 CPUtime=25.08 cores=0-7
/proc/6063/task/6085/stat : 6085 (claspmt) R 6061 6063 3867 0 -1 4202560 5482 0 0 0 2505 3 0 0 25 0 8 0 662755070 346415104 27541 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6063/tid=6086] ppid=6061 vsize=338296 CPUtime=25.08 cores=0-7
/proc/6063/task/6086/stat : 6086 (claspmt) R 6061 6063 3867 0 -1 4202560 2134 0 0 0 2507 1 0 0 25 0 8 0 662755070 346415104 27541 33554432000 4194304 4964800 140735797653360 18446744073709551615 212687372880 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6063/tid=6087] ppid=6061 vsize=338296 CPUtime=25.02 cores=0-7
/proc/6063/task/6087/stat : 6087 (claspmt) R 6061 6063 3867 0 -1 4202560 2976 0 0 0 2501 1 0 0 25 0 8 0 662755070 346415104 27541 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6063/tid=6088] ppid=6061 vsize=338296 CPUtime=25.14 cores=0-7
/proc/6063/task/6088/stat : 6088 (claspmt) R 6061 6063 3867 0 -1 4202560 2501 0 0 0 2514 0 0 0 25 0 8 0 662755070 346415104 27541 33554432000 4194304 4964800 140735797653360 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6063/tid=6089] ppid=6061 vsize=338296 CPUtime=25.07 cores=0-7
/proc/6063/task/6089/stat : 6089 (claspmt) R 6061 6063 3867 0 -1 4202560 2314 0 0 0 2506 1 0 0 25 0 8 0 662755070 346415104 27541 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668732 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6063/tid=6090] ppid=6061 vsize=338296 CPUtime=25.05 cores=0-7
/proc/6063/task/6090/stat : 6090 (claspmt) R 6061 6063 3867 0 -1 4202560 5332 0 0 0 2503 2 0 0 25 0 8 0 662755070 346415104 27541 33554432000 4194304 4964800 140735797653360 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 200.67
Current children cumulated vsize (KiB) 338296

[startup+51.1009 s]
/proc/loadavg: 8.69 8.47 8.20 10/439 6220
/proc/meminfo: memFree=14836860/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=351404 CPUtime=405.09 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 41334 0 0 0 40487 22 0 0 25 0 8 0 662755035 359837696 40509 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668732 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/6063/statm: 87851 40509 466 189 0 82200 0
[pid=6063/tid=6084] ppid=6061 vsize=351404 CPUtime=49.98 cores=0-7
/proc/6063/task/6084/stat : 6084 (claspmt) R 6061 6063 3867 0 -1 4202560 3547 0 0 0 4997 1 0 0 25 0 8 0 662755070 359837696 40509 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6063/tid=6085] ppid=6061 vsize=351404 CPUtime=50.68 cores=0-7
/proc/6063/task/6085/stat : 6085 (claspmt) R 6061 6063 3867 0 -1 4202560 8290 0 0 0 5062 6 0 0 25 0 8 0 662755070 359837696 40509 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6063/tid=6086] ppid=6061 vsize=351404 CPUtime=50.68 cores=0-7
/proc/6063/task/6086/stat : 6086 (claspmt) R 6061 6063 3867 0 -1 4202560 3267 0 0 0 5066 2 0 0 25 0 8 0 662755070 359837696 40509 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6063/tid=6087] ppid=6061 vsize=351404 CPUtime=50.62 cores=0-7
/proc/6063/task/6087/stat : 6087 (claspmt) R 6061 6063 3867 0 -1 4202560 4499 0 0 0 5060 2 0 0 25 0 8 0 662755070 359837696 40509 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6063/tid=6088] ppid=6061 vsize=351404 CPUtime=50.74 cores=0-7
/proc/6063/task/6088/stat : 6088 (claspmt) R 6061 6063 3867 0 -1 4202560 4132 0 0 0 5073 1 0 0 25 0 8 0 662755070 359837696 40509 33554432000 4194304 4964800 140735797653360 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6063/tid=6089] ppid=6061 vsize=351404 CPUtime=50.67 cores=0-7
/proc/6063/task/6089/stat : 6089 (claspmt) R 6061 6063 3867 0 -1 4202560 3344 0 0 0 5066 1 0 0 25 0 8 0 662755070 359837696 40509 33554432000 4194304 4964800 140735797653360 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6063/tid=6090] ppid=6061 vsize=351404 CPUtime=50.64 cores=0-7
/proc/6063/task/6090/stat : 6090 (claspmt) R 6061 6063 3867 0 -1 4202560 7910 0 0 0 5060 4 0 0 25 0 8 0 662755070 359837696 40509 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 405.09
Current children cumulated vsize (KiB) 351404

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

[startup+63.9006 s]
/proc/loadavg: 8.73 8.49 8.21 10/439 6250
/proc/meminfo: memFree=14813360/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=354452 CPUtime=507.29 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 45819 0 0 0 50703 26 0 0 25 0 8 0 662755035 362958848 44975 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668737 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/6063/statm: 88613 44975 466 189 0 82962 0
[pid=6063/tid=6084] ppid=6061 vsize=354452 CPUtime=62.58 cores=0-7
/proc/6063/task/6084/stat : 6084 (claspmt) R 6061 6063 3867 0 -1 4202560 4154 0 0 0 6256 2 0 0 25 0 8 0 662755070 362958848 44975 33554432000 4194304 4964800 140735797653360 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6063/tid=6085] ppid=6061 vsize=354452 CPUtime=63.49 cores=0-7
/proc/6063/task/6085/stat : 6085 (claspmt) R 6061 6063 3867 0 -1 4202560 9090 0 0 0 6342 7 0 0 25 0 8 0 662755070 362958848 44975 33554432000 4194304 4964800 140735797653360 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6063/tid=6086] ppid=6061 vsize=354452 CPUtime=63.47 cores=0-7
/proc/6063/task/6086/stat : 6086 (claspmt) R 6061 6063 3867 0 -1 4202560 3598 0 0 0 6345 2 0 0 25 0 8 0 662755070 362958848 44975 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6063/tid=6087] ppid=6061 vsize=354452 CPUtime=63.42 cores=0-7
/proc/6063/task/6087/stat : 6087 (claspmt) R 6061 6063 3867 0 -1 4202560 5009 0 0 0 6340 2 0 0 25 0 8 0 662755070 362958848 44975 33554432000 4194304 4964800 140735797653360 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6063/tid=6088] ppid=6061 vsize=354452 CPUtime=63.54 cores=0-7
/proc/6063/task/6088/stat : 6088 (claspmt) R 6061 6063 3867 0 -1 4202560 4655 0 0 0 6352 2 0 0 25 0 8 0 662755070 362958848 44975 33554432000 4194304 4964800 140735797653360 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6063/tid=6089] ppid=6061 vsize=354452 CPUtime=63.46 cores=0-7
/proc/6063/task/6089/stat : 6089 (claspmt) R 6061 6063 3867 0 -1 4202560 3685 0 0 0 6345 1 0 0 25 0 8 0 662755070 362958848 44975 33554432000 4194304 4964800 140735797653360 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6063/tid=6090] ppid=6061 vsize=354452 CPUtime=63.45 cores=0-7
/proc/6063/task/6090/stat : 6090 (claspmt) R 6061 6063 3867 0 -1 4202560 8870 0 0 0 6340 5 0 0 25 0 8 0 662755070 362958848 44975 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 507.29
Current children cumulated vsize (KiB) 354452

[startup+70.3004 s]
/proc/loadavg: 8.77 8.50 8.21 10/439 6264
/proc/meminfo: memFree=14802100/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=355932 CPUtime=558.44 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 48411 0 0 0 55816 28 0 0 25 0 8 0 662755035 364474368 47567 33554432000 4194304 4964800 140735797653360 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/6063/statm: 88983 47567 466 189 0 83332 0
[pid=6063/tid=6084] ppid=6061 vsize=355932 CPUtime=68.9 cores=0-7
/proc/6063/task/6084/stat : 6084 (claspmt) R 6061 6063 3867 0 -1 4202560 4446 0 0 0 6888 2 0 0 25 0 8 0 662755070 364474368 47573 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6063/tid=6085] ppid=6061 vsize=355932 CPUtime=69.9 cores=0-7
/proc/6063/task/6085/stat : 6085 (claspmt) R 6061 6063 3867 0 -1 4202560 9610 0 0 0 6983 7 0 0 25 0 8 0 662755070 364474368 47573 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6063/tid=6086] ppid=6061 vsize=355932 CPUtime=69.89 cores=0-7
/proc/6063/task/6086/stat : 6086 (claspmt) R 6061 6063 3867 0 -1 4202560 3801 0 0 0 6987 2 0 0 25 0 8 0 662755070 364474368 47573 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6063/tid=6087] ppid=6061 vsize=355932 CPUtime=69.84 cores=0-7
/proc/6063/task/6087/stat : 6087 (claspmt) R 6061 6063 3867 0 -1 4202560 5517 0 0 0 6981 3 0 0 25 0 8 0 662755070 364474368 47573 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6063/tid=6088] ppid=6061 vsize=355932 CPUtime=69.96 cores=0-7
/proc/6063/task/6088/stat : 6088 (claspmt) R 6061 6063 3867 0 -1 4202560 4922 0 0 0 6994 2 0 0 25 0 8 0 662755070 364474368 47573 33554432000 4194304 4964800 140735797653360 18446744073709551615 4627810 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6063/tid=6089] ppid=6061 vsize=355932 CPUtime=69.89 cores=0-7
/proc/6063/task/6089/stat : 6089 (claspmt) R 6061 6063 3867 0 -1 4202560 3796 0 0 0 6987 2 0 0 25 0 8 0 662755070 364474368 47573 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6063/tid=6090] ppid=6061 vsize=355932 CPUtime=69.86 cores=0-7
/proc/6063/task/6090/stat : 6090 (claspmt) R 6061 6063 3867 0 -1 4202560 9361 0 0 0 6981 5 0 0 25 0 8 0 662755070 364474368 47573 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 558.44
Current children cumulated vsize (KiB) 355932

[startup+71.9011 s]
/proc/loadavg: 8.77 8.50 8.21 10/439 6270
/proc/meminfo: memFree=14798256/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=357336 CPUtime=571.17 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 49787 0 0 0 57089 28 0 0 25 0 8 0 662755035 365912064 48537 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668698 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/6063/statm: 89334 48537 466 189 0 83683 0
[pid=6063/tid=6084] ppid=6061 vsize=357336 CPUtime=70.47 cores=0-7
/proc/6063/task/6084/stat : 6084 (claspmt) R 6061 6063 3867 0 -1 4202560 4504 0 0 0 7045 2 0 0 25 0 8 0 662755070 365912064 48537 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6063/tid=6085] ppid=6061 vsize=357336 CPUtime=71.48 cores=0-7
/proc/6063/task/6085/stat : 6085 (claspmt) R 6061 6063 3867 0 -1 4202560 10228 0 0 0 7141 7 0 0 25 0 8 0 662755070 365912064 48537 33554432000 4194304 4964800 140735797653360 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6063/tid=6086] ppid=6061 vsize=357336 CPUtime=71.47 cores=0-7
/proc/6063/task/6086/stat : 6086 (claspmt) R 6061 6063 3867 0 -1 4202560 3876 0 0 0 7145 2 0 0 25 0 8 0 662755070 365912064 48537 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668763 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6063/tid=6087] ppid=6061 vsize=357336 CPUtime=71.42 cores=0-7
/proc/6063/task/6087/stat : 6087 (claspmt) R 6061 6063 3867 0 -1 4202560 5656 0 0 0 7139 3 0 0 25 0 8 0 662755070 365912064 48537 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6063/tid=6088] ppid=6061 vsize=357336 CPUtime=71.54 cores=0-7
/proc/6063/task/6088/stat : 6088 (claspmt) R 6061 6063 3867 0 -1 4202560 5057 0 0 0 7152 2 0 0 25 0 8 0 662755070 365912064 48537 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6063/tid=6089] ppid=6061 vsize=357336 CPUtime=71.47 cores=0-7
/proc/6063/task/6089/stat : 6089 (claspmt) R 6061 6063 3867 0 -1 4202560 3833 0 0 0 7145 2 0 0 25 0 8 0 662755070 365912064 48537 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6063/tid=6090] ppid=6061 vsize=357336 CPUtime=71.44 cores=0-7
/proc/6063/task/6090/stat : 6090 (claspmt) R 6061 6063 3867 0 -1 4202560 9542 0 0 0 7139 5 0 0 25 0 8 0 662755070 365912064 48537 33554432000 4194304 4964800 140735797653360 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 571.17
Current children cumulated vsize (KiB) 357336

[startup+73.5008 s]
/proc/loadavg: 8.77 8.50 8.21 10/439 6274
/proc/meminfo: memFree=14797764/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=357336 CPUtime=583.95 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 49856 0 0 0 58367 28 0 0 25 0 8 0 662755035 365912064 48606 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668715 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/6063/statm: 89334 48606 466 189 0 83683 0
[pid=6063/tid=6084] ppid=6061 vsize=357336 CPUtime=72.06 cores=0-7
/proc/6063/task/6084/stat : 6084 (claspmt) R 6061 6063 3867 0 -1 4202560 4526 0 0 0 7204 2 0 0 25 0 8 0 662755070 365912064 48606 33554432000 4194304 4964800 140735797653360 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6063/tid=6085] ppid=6061 vsize=357336 CPUtime=73.08 cores=0-7
/proc/6063/task/6085/stat : 6085 (claspmt) R 6061 6063 3867 0 -1 4202560 10257 0 0 0 7301 7 0 0 25 0 8 0 662755070 365912064 48606 33554432000 4194304 4964800 140735797653360 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6063/tid=6086] ppid=6061 vsize=357336 CPUtime=73.07 cores=0-7
/proc/6063/task/6086/stat : 6086 (claspmt) R 6061 6063 3867 0 -1 4202560 3882 0 0 0 7305 2 0 0 25 0 8 0 662755070 365912064 48606 33554432000 4194304 4964800 140735797653360 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6063/tid=6087] ppid=6061 vsize=357336 CPUtime=73.02 cores=0-7
/proc/6063/task/6087/stat : 6087 (claspmt) R 6061 6063 3867 0 -1 4202560 5657 0 0 0 7299 3 0 0 25 0 8 0 662755070 365912064 48606 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6063/tid=6088] ppid=6061 vsize=357336 CPUtime=73.14 cores=0-7
/proc/6063/task/6088/stat : 6088 (claspmt) R 6061 6063 3867 0 -1 4202560 5057 0 0 0 7312 2 0 0 25 0 8 0 662755070 365912064 48606 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6063/tid=6089] ppid=6061 vsize=357336 CPUtime=73.07 cores=0-7
/proc/6063/task/6089/stat : 6089 (claspmt) R 6061 6063 3867 0 -1 4202560 3834 0 0 0 7305 2 0 0 25 0 8 0 662755070 365912064 48606 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6063/tid=6090] ppid=6061 vsize=357336 CPUtime=73.04 cores=0-7
/proc/6063/task/6090/stat : 6090 (claspmt) R 6061 6063 3867 0 -1 4202560 9548 0 0 0 7299 5 0 0 25 0 8 0 662755070 365912064 48606 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 583.95
Current children cumulated vsize (KiB) 357336

[startup+74.3007 s]
/proc/loadavg: 8.77 8.50 8.21 10/439 6276
/proc/meminfo: memFree=14797272/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=357336 CPUtime=590.33 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 49878 0 0 0 59005 28 0 0 25 0 8 0 662755035 365912064 48628 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668789 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/6063/statm: 89334 48628 466 189 0 83683 0
[pid=6063/tid=6084] ppid=6061 vsize=357336 CPUtime=72.84 cores=0-7
/proc/6063/task/6084/stat : 6084 (claspmt) R 6061 6063 3867 0 -1 4202560 4528 0 0 0 7282 2 0 0 25 0 8 0 662755070 365912064 48628 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6063/tid=6085] ppid=6061 vsize=357336 CPUtime=73.88 cores=0-7
/proc/6063/task/6085/stat : 6085 (claspmt) R 6061 6063 3867 0 -1 4202560 10265 0 0 0 7381 7 0 0 25 0 8 0 662755070 365912064 48628 33554432000 4194304 4964800 140735797653360 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6063/tid=6086] ppid=6061 vsize=357336 CPUtime=73.87 cores=0-7
/proc/6063/task/6086/stat : 6086 (claspmt) R 6061 6063 3867 0 -1 4202560 3883 0 0 0 7385 2 0 0 25 0 8 0 662755070 365912064 48628 33554432000 4194304 4964800 140735797653360 18446744073709551615 4668611 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6063/tid=6087] ppid=6061 vsize=357336 CPUtime=73.82 cores=0-7
/proc/6063/task/6087/stat : 6087 (claspmt) R 6061 6063 3867 0 -1 4202560 5657 0 0 0 7379 3 0 0 25 0 8 0 662755070 365912064 48628 33554432000 4194304 4964800 140735797653360 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6063/tid=6088] ppid=6061 vsize=357336 CPUtime=73.94 cores=0-7
/proc/6063/task/6088/stat : 6088 (claspmt) R 6061 6063 3867 0 -1 4202560 5057 0 0 0 7392 2 0 0 25 0 8 0 662755070 365912064 48628 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6063/tid=6089] ppid=6061 vsize=357336 CPUtime=73.87 cores=0-7
/proc/6063/task/6089/stat : 6089 (claspmt) R 6061 6063 3867 0 -1 4202560 3834 0 0 0 7385 2 0 0 18 0 8 0 662755070 365912064 48628 33554432000 4194304 4964800 140735797653360 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6063/tid=6090] ppid=6061 vsize=357336 CPUtime=73.84 cores=0-7
/proc/6063/task/6090/stat : 6090 (claspmt) R 6061 6063 3867 0 -1 4202560 9559 0 0 0 7379 5 0 0 25 0 8 0 662755070 365912064 48628 33554432000 4194304 4964800 140735797653360 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 590.33
Current children cumulated vsize (KiB) 357336

[startup+74.7007 s]
/proc/loadavg: 8.77 8.50 8.21 2/432 6284
/proc/meminfo: memFree=14796336/32951124 swapFree=67111348/67111528
[pid=6063] ppid=6061 vsize=357336 CPUtime=593.05 cores=0-7
/proc/6063/stat : 6063 (claspmt) R 6061 6063 3867 0 -1 4202496 49898 0 0 0 59277 28 0 0 25 0 1 0 662755035 365912064 48551 33554432000 4194304 4964800 140735797653360 18446744073709551615 212687332340 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6063/statm: 89334 48551 476 189 0 83683 0
Current children cumulated CPU time (s) 593.05
Current children cumulated vsize (KiB) 357336

Child status: 10
Real time (s): 74.7464
CPU time (s): 593.101
CPU user time (s): 592.801
CPU system time (s): 0.299954
CPU usage (%): 793.484
Max. virtual memory (cumulated for all children) (KiB): 357336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 592.801
system time used= 0.299954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49899
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= 2969
involuntary context switches= 3289

runsolver used 0.332949 second user time and 0.772882 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-16 04:06:13
IDJOB=3381283
IDBENCH=85973
IDSOLVER=1865
FILE ID=node139/3381283-1305511573
RUNJOBID= node139-1305505886-3881
PBS_JOBID= 13325500
Free space on /tmp= 73372 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.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-3381283-1305511573/watcher-3381283-1305511573 -o /tmp/evaluation-result-3381283-1305511573/solver-3381283-1305511573 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381283-1305511573.cnf

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

MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4
RANDOM SEED=2076199769

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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.852
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	: 5321.49
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.852
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.852
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.82
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.852
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:     32951124 kB
MemFree:      14996468 kB
Buffers:        336908 kB
Cached:        3145044 kB
SwapCached:          0 kB
Active:       15479988 kB
Inactive:      2137840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14996468 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            2740 kB
Writeback:           0 kB
AnonPages:    14136564 kB
Mapped:          34672 kB
Slab:           205632 kB
PageTables:      60128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 104420884 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= 73372 MiB
End job on node139 at 2011-05-16 04:07:28