Trace number 3299488

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-R4095SAT 4285.75 1072.89

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
MD5SUMdc046d6f885b64777ffc1cfc8367a176
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.909861
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3299488-1304056065/watcher-3299488-1304056065 -o /tmp/evaluation-result-3299488-1304056065/solver-3299488-1304056065 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299488-1304056065.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.90 7.82 7.93 2/174 20748
/proc/meminfo: memFree=25411536/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=21640 CPUtime=0 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 699 0 0 0 0 0 0 0 22 0 1 0 517209270 22159360 623 33554432000 4194304 4964704 140734416353456 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20748/statm: 5410 623 385 189 0 284 0

[startup+0.0976039 s]
/proc/loadavg: 6.90 7.82 7.93 2/174 20748
/proc/meminfo: memFree=25411536/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=24332 CPUtime=0.09 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 1535 0 0 0 9 0 0 0 22 0 1 0 517209270 24915968 1281 33554432000 4194304 4964704 140734416353456 18446744073709551615 4600431 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20748/statm: 6083 1281 399 189 0 957 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24332

[startup+0.100609 s]
/proc/loadavg: 6.90 7.82 7.93 2/174 20748
/proc/meminfo: memFree=25411536/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=24464 CPUtime=0.09 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 1542 0 0 0 9 0 0 0 22 0 1 0 517209270 25051136 1288 33554432000 4194304 4964704 140734416353456 18446744073709551615 4600431 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20748/statm: 6116 1288 399 189 0 990 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24464

[startup+0.300504 s]
/proc/loadavg: 6.90 7.82 7.93 2/174 20748
/proc/meminfo: memFree=25411536/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=171080 CPUtime=0.83 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 2831 0 0 0 82 1 0 0 25 0 4 0 517209270 175185920 2477 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 42770 2477 458 189 0 37119 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 171080

[startup+0.700434 s]
/proc/loadavg: 6.90 7.82 7.93 2/174 20748
/proc/meminfo: memFree=25411536/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=173308 CPUtime=2.43 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 4181 0 0 0 242 1 0 0 25 0 4 0 517209270 177467392 3827 33554432000 4194304 4964704 140734416353456 18446744073709551615 4627168 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 43327 3827 458 189 0 37676 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 173308

[startup+1.50029 s]
/proc/loadavg: 6.90 7.82 7.93 9/184 20761
/proc/meminfo: memFree=25377852/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=175676 CPUtime=5.63 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 5597 0 0 0 561 2 0 0 25 0 4 0 517209270 179892224 5243 33554432000 4194304 4964704 140734416353456 18446744073709551615 4342174 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 43919 5243 458 189 0 38268 0
[pid=20748/tid=20756] ppid=20746 vsize=175676 CPUtime=1.37 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 949 0 0 0 137 0 0 0 25 0 4 0 517209282 179892224 5243 33554432000 4194304 4964704 140734416353456 18446744073709551615 4644850 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=175676 CPUtime=1.37 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 1101 0 0 0 137 0 0 0 25 0 4 0 517209282 179892224 5243 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=175676 CPUtime=1.37 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 1029 0 0 0 137 0 0 0 25 0 4 0 517209282 179892224 5243 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 175676

[startup+3.10101 s]
/proc/loadavg: 7.07 7.84 7.93 9/184 20761
/proc/meminfo: memFree=25370080/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=176208 CPUtime=12.02 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 6753 0 0 0 1200 2 0 0 25 0 4 0 517209270 180436992 6399 33554432000 4194304 4964704 140734416353456 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 44052 6399 460 189 0 38401 0
[pid=20748/tid=20756] ppid=20746 vsize=176208 CPUtime=2.97 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 1188 0 0 0 297 0 0 0 25 0 4 0 517209282 180436992 6399 33554432000 4194304 4964704 140734416353456 18446744073709551615 218371062303 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=176208 CPUtime=2.97 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 1453 0 0 0 297 0 0 0 25 0 4 0 517209282 180436992 6399 33554432000 4194304 4964704 140734416353456 18446744073709551615 218371062303 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=176208 CPUtime=2.97 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 1353 0 0 0 297 0 0 0 25 0 4 0 517209282 180436992 6399 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (KiB) 176208

[startup+6.30044 s]
/proc/loadavg: 7.07 7.84 7.93 9/184 20761
/proc/meminfo: memFree=25353092/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=178332 CPUtime=24.8 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 8848 0 0 0 2477 3 0 0 25 0 4 0 517209270 182611968 8494 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670277 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 44583 8494 460 189 0 38932 0
[pid=20748/tid=20756] ppid=20746 vsize=178332 CPUtime=6.17 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 1782 0 0 0 617 0 0 0 25 0 4 0 517209282 182611968 8494 33554432000 4194304 4964704 140734416353456 18446744073709551615 4320865 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=178332 CPUtime=6.17 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 2093 0 0 0 617 0 0 0 25 0 4 0 517209282 182611968 8494 33554432000 4194304 4964704 140734416353456 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=178332 CPUtime=6.17 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 1819 0 0 0 617 0 0 0 25 0 4 0 517209282 182611968 8494 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.8
Current children cumulated vsize (KiB) 178332

[startup+12.7003 s]
/proc/loadavg: 7.21 7.85 7.93 9/184 20762
/proc/meminfo: memFree=25313728/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=184808 CPUtime=50.36 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 12827 0 0 0 5032 4 0 0 25 0 4 0 517209270 189243392 12473 33554432000 4194304 4964704 140734416353456 18446744073709551615 4683916 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 46202 12473 460 189 0 40551 0
[pid=20748/tid=20756] ppid=20746 vsize=184808 CPUtime=12.57 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 2868 0 0 0 1257 0 0 0 25 0 4 0 517209282 189243392 12473 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670440 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=184808 CPUtime=12.57 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 3117 0 0 0 1256 1 0 0 25 0 4 0 517209282 189243392 12473 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=184808 CPUtime=12.57 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 2694 0 0 0 1256 1 0 0 25 0 4 0 517209282 189243392 12473 33554432000 4194304 4964704 140734416353456 18446744073709551615 4627613 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.36
Current children cumulated vsize (KiB) 184808

[startup+25.501 s]
/proc/loadavg: 7.33 7.85 7.93 9/184 20762
/proc/meminfo: memFree=25283352/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=190172 CPUtime=101.49 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 15913 0 0 0 10143 6 0 0 25 0 4 0 517209270 194736128 15555 33554432000 4194304 4964704 140734416353456 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 47543 15555 460 189 0 41892 0
[pid=20748/tid=20756] ppid=20746 vsize=190172 CPUtime=25.36 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 3653 0 0 0 2536 0 0 0 25 0 4 0 517209282 194736128 15555 33554432000 4194304 4964704 140734416353456 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=190172 CPUtime=25.36 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 3999 0 0 0 2535 1 0 0 25 0 4 0 517209282 194736128 15555 33554432000 4194304 4964704 140734416353456 18446744073709551615 4320916 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=190172 CPUtime=25.38 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 3341 0 0 0 2536 2 0 0 25 0 4 0 517209282 194736128 15555 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670269 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 190172

[startup+51.1005 s]
/proc/loadavg: 7.56 7.86 7.93 9/184 20762
/proc/meminfo: memFree=25234836/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=195936 CPUtime=203.77 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 22451 0 0 0 20367 10 0 0 25 0 4 0 517209270 200638464 21620 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 48984 21620 460 189 0 43333 0
[pid=20748/tid=20756] ppid=20746 vsize=195936 CPUtime=50.96 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 5411 0 0 0 5095 1 0 0 25 0 4 0 517209282 200638464 21620 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=195936 CPUtime=50.97 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 6303 0 0 0 5095 2 0 0 25 0 4 0 517209282 200638464 21620 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=195936 CPUtime=50.97 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 4819 0 0 0 5094 3 0 0 25 0 4 0 517209282 200638464 21620 33554432000 4194304 4964704 140734416353456 18446744073709551615 4361114 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 195936

[startup+102.306 s]
/proc/loadavg: 7.90 7.91 7.94 9/184 20764
/proc/meminfo: memFree=25163140/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=268636 CPUtime=408.34 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 32986 0 0 0 40816 18 0 0 25 0 4 0 517209270 275083264 31959 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670255 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 67159 31959 460 189 0 61508 0
[pid=20748/tid=20756] ppid=20746 vsize=268636 CPUtime=102.16 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 9213 0 0 0 10212 4 0 0 25 0 4 0 517209282 275083264 31959 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=268636 CPUtime=102.16 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 9005 0 0 0 10213 3 0 0 25 0 4 0 517209282 275083264 31959 33554432000 4194304 4964704 140734416353456 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=268636 CPUtime=102.18 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 6381 0 0 0 10214 4 0 0 25 0 4 0 517209282 275083264 31959 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.34
Current children cumulated vsize (KiB) 268636

[startup+162.301 s]
/proc/loadavg: 7.99 7.94 7.95 9/184 20766
/proc/meminfo: memFree=25120200/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=272656 CPUtime=648.03 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 37782 0 0 0 64782 21 0 0 25 0 4 0 517209270 279199744 36630 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 68164 36630 460 189 0 62513 0
[pid=20748/tid=20756] ppid=20746 vsize=272656 CPUtime=162.15 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 10203 0 0 0 16210 5 0 0 25 0 4 0 517209282 279199744 36630 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=272656 CPUtime=162.15 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 10891 0 0 0 16212 3 0 0 25 0 4 0 517209282 279199744 36630 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=272656 CPUtime=162.17 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 8228 0 0 0 16211 6 0 0 25 0 4 0 517209282 279199744 36630 33554432000 4194304 4964704 140734416353456 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 648.03
Current children cumulated vsize (KiB) 272656

[startup+222.301 s]
/proc/loadavg: 7.99 7.95 7.95 9/184 20767
/proc/meminfo: memFree=25090652/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=275412 CPUtime=887.73 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 41608 0 0 0 88748 25 0 0 25 0 4 0 517209270 282021888 40156 33554432000 4194304 4964704 140734416353456 18446744073709551615 4631196 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 68853 40156 460 189 0 63202 0
[pid=20748/tid=20756] ppid=20746 vsize=275412 CPUtime=222.14 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 11311 0 0 0 22207 7 0 0 25 0 4 0 517209282 282021888 40156 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=275412 CPUtime=222.15 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 12153 0 0 0 22211 4 0 0 25 0 4 0 517209282 282021888 40156 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=275412 CPUtime=222.17 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 9248 0 0 0 22210 7 0 0 25 0 4 0 517209282 282021888 40156 33554432000 4194304 4964704 140734416353456 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 887.73
Current children cumulated vsize (KiB) 275412

[startup+282.3 s]

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

/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 11274 0 0 0 76207 10 0 0 25 0 4 0 517209282 304074752 57376 33554432000 4194304 4964704 140734416353456 18446744073709551615 4653541 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.13
Current children cumulated vsize (KiB) 296948

[startup+822.3 s]
/proc/loadavg: 8.03 8.06 8.00 9/184 20792
/proc/meminfo: memFree=24944172/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=297660 CPUtime=3284.79 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 61122 0 0 0 328437 42 0 0 25 0 4 0 517209270 304803840 58453 33554432000 4194304 4964704 140734416353456 18446744073709551615 4364587 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 74415 58453 460 189 0 68764 0
[pid=20748/tid=20756] ppid=20746 vsize=297660 CPUtime=822.09 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 17745 0 0 0 82196 13 0 0 25 0 4 0 517209282 304803840 58453 33554432000 4194304 4964704 140734416353456 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=297660 CPUtime=822.1 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 19851 0 0 0 82202 8 0 0 25 0 4 0 517209282 304803840 58453 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=297660 CPUtime=822.16 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 11275 0 0 0 82206 10 0 0 25 0 4 0 517209282 304803840 58453 33554432000 4194304 4964704 140734416353456 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 297660

[startup+882.301 s]
/proc/loadavg: 8.10 8.07 8.00 9/184 20794
/proc/meminfo: memFree=24935348/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=298316 CPUtime=3524.5 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 62149 0 0 0 352407 43 0 0 25 0 4 0 517209270 305475584 59352 33554432000 4194304 4964704 140734416353456 18446744073709551615 218370654803 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 74579 59352 460 189 0 68928 0
[pid=20748/tid=20756] ppid=20746 vsize=298316 CPUtime=882.09 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 17948 0 0 0 88196 13 0 0 25 0 4 0 517209282 305475584 59352 33554432000 4194304 4964704 140734416353456 18446744073709551615 4321013 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=298316 CPUtime=882.1 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 20671 0 0 0 88202 8 0 0 25 0 4 0 517209282 305475584 59352 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=298316 CPUtime=882.16 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 11275 0 0 0 88206 10 0 0 25 0 4 0 517209282 305475584 59352 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.5
Current children cumulated vsize (KiB) 298316

[startup+942.301 s]
/proc/loadavg: 8.08 8.07 8.00 9/184 20797
/proc/meminfo: memFree=24929604/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=364236 CPUtime=3764.2 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 63522 0 0 0 376376 44 0 0 25 0 4 0 517209270 372977664 60597 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 91059 60597 460 189 0 85408 0
[pid=20748/tid=20756] ppid=20746 vsize=364236 CPUtime=942.08 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 18240 0 0 0 94195 13 0 0 25 0 4 0 517209282 372977664 60597 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=364236 CPUtime=942.09 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 21507 0 0 0 94201 8 0 0 25 0 4 0 517209282 372977664 60597 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=364236 CPUtime=942.16 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 11508 0 0 0 94206 10 0 0 25 0 4 0 517209282 372977664 60597 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.2
Current children cumulated vsize (KiB) 364236

[startup+1002.3 s]
/proc/loadavg: 8.24 8.14 8.03 9/184 20800
/proc/meminfo: memFree=24906752/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=371128 CPUtime=4003.89 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 66582 0 0 0 400344 45 0 0 25 0 4 0 517209270 380035072 63529 33554432000 4194304 4964704 140734416353456 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 92782 63529 460 189 0 87131 0
[pid=20748/tid=20756] ppid=20746 vsize=371128 CPUtime=1002.08 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 18514 0 0 0 100195 13 0 0 25 0 4 0 517209282 380035072 63529 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=371128 CPUtime=1002.08 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 22141 0 0 0 100200 8 0 0 25 0 4 0 517209282 380035072 63529 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=371128 CPUtime=1002.16 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 11510 0 0 0 100206 10 0 0 25 0 4 0 517209282 380035072 63529 33554432000 4194304 4964704 140734416353456 18446744073709551615 4332123 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.89
Current children cumulated vsize (KiB) 371128

[startup+1062.3 s]
/proc/loadavg: 8.12 8.13 8.03 9/184 20802
/proc/meminfo: memFree=24893832/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=371320 CPUtime=4243.61 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 66696 0 0 0 424316 45 0 0 25 0 4 0 517209270 380231680 63579 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 92830 63579 460 189 0 87179 0
[pid=20748/tid=20756] ppid=20746 vsize=371320 CPUtime=1062.07 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 18594 0 0 0 106194 13 0 0 25 0 4 0 517209282 380231680 63579 33554432000 4194304 4964704 140734416353456 18446744073709551615 4627823 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=371320 CPUtime=1062.08 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 22166 0 0 0 106200 8 0 0 25 0 4 0 517209282 380231680 63579 33554432000 4194304 4964704 140734416353456 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=371320 CPUtime=1062.16 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 11519 0 0 0 106206 10 0 0 25 0 4 0 517209282 380231680 63579 33554432000 4194304 4964704 140734416353456 18446744073709551615 4668472 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.61
Current children cumulated vsize (KiB) 371320

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

[startup+1068.7 s]
/proc/loadavg: 8.19 8.14 8.04 9/184 20802
/proc/meminfo: memFree=24891352/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=373564 CPUtime=4269.18 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 67259 0 0 0 426873 45 0 0 25 0 4 0 517209270 382529536 64142 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 93391 64142 460 189 0 87740 0
[pid=20748/tid=20756] ppid=20746 vsize=373564 CPUtime=1068.47 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 18594 0 0 0 106834 13 0 0 25 0 4 0 517209282 382529536 64142 33554432000 4194304 4964704 140734416353456 18446744073709551615 4321099 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=373564 CPUtime=1068.48 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 22166 0 0 0 106840 8 0 0 25 0 4 0 517209282 382529536 64142 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=373564 CPUtime=1068.56 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 12082 0 0 0 106846 10 0 0 25 0 4 0 517209282 382529536 64142 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4269.18
Current children cumulated vsize (KiB) 373564

[startup+1070.31 s]
/proc/loadavg: 8.19 8.14 8.04 9/184 20802
/proc/meminfo: memFree=24891468/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=373564 CPUtime=4275.59 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 67260 0 0 0 427514 45 0 0 25 0 4 0 517209270 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 93391 64143 460 189 0 87740 0
[pid=20748/tid=20756] ppid=20746 vsize=373564 CPUtime=1070.08 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 18595 0 0 0 106995 13 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=373564 CPUtime=1070.08 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 22166 0 0 0 107000 8 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=373564 CPUtime=1070.17 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 12082 0 0 0 107007 10 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4275.59
Current children cumulated vsize (KiB) 373564

[startup+1071.9 s]
/proc/loadavg: 8.18 8.14 8.03 9/184 20802
/proc/meminfo: memFree=24891468/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=373564 CPUtime=4281.96 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 67260 0 0 0 428151 45 0 0 25 0 4 0 517209270 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670454 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 93391 64143 460 189 0 87740 0
[pid=20748/tid=20756] ppid=20746 vsize=373564 CPUtime=1071.67 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 18595 0 0 0 107154 13 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=373564 CPUtime=1071.68 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 22166 0 0 0 107160 8 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670281 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=373564 CPUtime=1071.76 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 12082 0 0 0 107166 10 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4281.96
Current children cumulated vsize (KiB) 373564

[startup+1072.3 s]
/proc/loadavg: 8.18 8.14 8.03 9/184 20802
/proc/meminfo: memFree=24891468/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=373564 CPUtime=4283.56 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 67260 0 0 0 428311 45 0 0 25 0 4 0 517209270 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4320886 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 93391 64143 460 189 0 87740 0
[pid=20748/tid=20756] ppid=20746 vsize=373564 CPUtime=1072.07 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 18595 0 0 0 107194 13 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=373564 CPUtime=1072.08 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 22166 0 0 0 107200 8 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4627901 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=373564 CPUtime=1072.16 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 12082 0 0 0 107206 10 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4283.56
Current children cumulated vsize (KiB) 373564

[startup+1072.7 s]
/proc/loadavg: 8.18 8.14 8.03 9/184 20802
/proc/meminfo: memFree=24891096/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=373564 CPUtime=4285.16 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 67260 0 0 0 428471 45 0 0 25 0 4 0 517209270 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4320928 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 93391 64143 460 189 0 87740 0
[pid=20748/tid=20756] ppid=20746 vsize=373564 CPUtime=1072.47 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 18595 0 0 0 107234 13 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4320886 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=373564 CPUtime=1072.48 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 22166 0 0 0 107240 8 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4668942 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=373564 CPUtime=1072.56 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 12082 0 0 0 107246 10 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4627626 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4285.16
Current children cumulated vsize (KiB) 373564

[startup+1072.8 s]
/proc/loadavg: 8.18 8.14 8.03 9/184 20802
/proc/meminfo: memFree=24891096/32951124 swapFree=67051468/67111528
[pid=20748] ppid=20746 vsize=373564 CPUtime=4285.56 cores=0,2,4,6
/proc/20748/stat : 20748 (claspmt) R 20746 20748 20329 0 -1 4202496 67260 0 0 0 428511 45 0 0 25 0 4 0 517209270 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/20748/statm: 93391 64143 460 189 0 87740 0
[pid=20748/tid=20756] ppid=20746 vsize=373564 CPUtime=1072.57 cores=0,2,4,6
/proc/20748/task/20756/stat : 20756 (claspmt) R 20746 20748 20329 0 -1 4202560 18595 0 0 0 107244 13 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20748/tid=20757] ppid=20746 vsize=373564 CPUtime=1072.58 cores=0,2,4,6
/proc/20748/task/20757/stat : 20757 (claspmt) R 20746 20748 20329 0 -1 4202560 22166 0 0 0 107250 8 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20748/tid=20758] ppid=20746 vsize=373564 CPUtime=1072.66 cores=0,2,4,6
/proc/20748/task/20758/stat : 20758 (claspmt) R 20746 20748 20329 0 -1 4202560 12082 0 0 0 107256 10 0 0 25 0 4 0 517209282 382529536 64143 33554432000 4194304 4964704 140734416353456 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4285.56
Current children cumulated vsize (KiB) 373564

Child status: 10
Real time (s): 1072.89
CPU time (s): 4285.75
CPU user time (s): 4285.28
CPU system time (s): 0.469928
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 373564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4285.28
system time used= 0.469928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67272
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= 5849
involuntary context switches= 22652

runsolver used 1.47178 second user time and 3.60545 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-29 07:47:45
IDJOB=3299488
IDBENCH=71576
IDSOLVER=1683
FILE ID=node101/3299488-1304056065
RUNJOBID= node101-1304056065-20734
PBS_JOBID= 13170419
Free space on /tmp= 72024 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes6.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-3299488-1304056065/watcher-3299488-1304056065 -o /tmp/evaluation-result-3299488-1304056065/solver-3299488-1304056065 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299488-1304056065.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= dc046d6f885b64777ffc1cfc8367a176
RANDOM SEED=1971578401

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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:      25412056 kB
Buffers:       2013840 kB
Cached:        5046928 kB
SwapCached:      30452 kB
Active:        2903388 kB
Inactive:      4192812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25412056 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:            1636 kB
Writeback:           0 kB
AnonPages:       26048 kB
Mapped:           8508 kB
Slab:           379256 kB
PageTables:       4608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   193728 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= 72020 MiB
End job on node101 at 2011-04-29 08:05:38