Trace number 3266712

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24Wrong Cert. 3413.03 854.772

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m27-q225-n25-p30-s70617701.cnf
MD5SUMf04b72eb712a286c5ea50b297461f349
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.32095
Satisfiable
(Un)Satisfiability was proved
Number of variables671
Number of clauses50773
Sum of the clauses size102167
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 250748
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 525

Solver Data 

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

Verifier Data 

ERROR: clause is not satisfied: 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 0

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-3266712-1304120286/watcher-3266712-1304120286 -o /tmp/evaluation-result-3266712-1304120286/solver-3266712-1304120286 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3266712-1304120286.cnf -threads=4 

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: 4.35 6.89 7.53 2/174 4874
/proc/meminfo: memFree=28477992/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=19884 CPUtime=0 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 515 0 0 0 0 0 0 0 23 0 1 0 602259281 20361216 438 33554432000 4194304 4623224 140735096858336 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/4874/statm: 4971 438 297 105 0 475 0

[startup+0.0286109 s]
/proc/loadavg: 4.35 6.89 7.53 2/174 4874
/proc/meminfo: memFree=28477992/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=251496 CPUtime=0.05 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 1844 0 0 0 5 0 0 0 23 0 4 0 602259281 257531904 1414 33554432000 4194304 4623224 140735096858336 18446744073709551615 4400725 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 62874 1414 338 105 0 58378 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 251496

[startup+0.100602 s]
/proc/loadavg: 4.35 6.89 7.53 2/174 4874
/proc/meminfo: memFree=28477992/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=253308 CPUtime=0.34 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 2999 0 0 0 33 1 0 0 24 0 4 0 602259281 259387392 2348 33554432000 4194304 4623224 140735096858336 18446744073709551615 4511014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 63327 2348 343 105 0 58831 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 253308

[startup+0.300513 s]
/proc/loadavg: 4.35 6.89 7.53 2/174 4874
/proc/meminfo: memFree=28477992/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=256040 CPUtime=1.14 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 5002 0 0 0 113 1 0 0 25 0 4 0 602259281 262184960 3766 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510202 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 64010 3766 344 105 0 59514 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 256040

[startup+0.700439 s]
/proc/loadavg: 4.35 6.89 7.53 2/174 4874
/proc/meminfo: memFree=28477992/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=259328 CPUtime=2.74 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 7745 0 0 0 272 2 0 0 25 0 4 0 602259281 265551872 5578 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 64832 5578 344 105 0 60336 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 259328

[startup+1.50029 s]
/proc/loadavg: 4.35 6.89 7.53 9/184 4887
/proc/meminfo: memFree=28384624/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=266920 CPUtime=5.93 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 15135 0 0 0 590 3 0 0 25 0 4 0 602259281 273326080 8529 33554432000 4194304 4623224 140735096858336 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 66730 8529 344 105 0 62234 0
[pid=4874/tid=4876] ppid=4872 vsize=266920 CPUtime=1.47 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 3326 0 0 0 146 1 0 0 25 0 4 0 602259282 273326080 8529 33554432000 4194304 4623224 140735096858336 18446744073709551615 4289942 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=266920 CPUtime=1.46 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 3601 0 0 0 146 0 0 0 25 0 4 0 602259282 273326080 8529 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376862 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=266920 CPUtime=1.47 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 3331 0 0 0 147 0 0 0 25 0 4 0 602259282 273326080 8529 33554432000 4194304 4623224 140735096858336 18446744073709551615 4545903 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 266920

[startup+3.101 s]
/proc/loadavg: 4.35 6.89 7.53 9/184 4887
/proc/meminfo: memFree=28338992/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=272408 CPUtime=12.33 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 27172 0 0 0 1228 5 0 0 25 0 4 0 602259281 278945792 11935 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 68102 11935 344 105 0 63606 0
[pid=4874/tid=4876] ppid=4872 vsize=272408 CPUtime=3.07 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 5468 0 0 0 306 1 0 0 25 0 4 0 602259282 278945792 11935 33554432000 4194304 4623224 140735096858336 18446744073709551615 4377018 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=272408 CPUtime=3.06 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 5173 0 0 0 306 0 0 0 25 0 4 0 602259282 278945792 11935 33554432000 4194304 4623224 140735096858336 18446744073709551615 4316620 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=272408 CPUtime=3.08 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 10396 0 0 0 307 1 0 0 25 0 4 0 602259282 278945792 11935 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 272408

[startup+6.30041 s]
/proc/loadavg: 4.64 6.91 7.54 9/184 4887
/proc/meminfo: memFree=28255172/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=282876 CPUtime=25.11 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 49707 0 0 0 2501 10 0 0 25 0 4 0 602259281 289665024 18062 33554432000 4194304 4623224 140735096858336 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 70719 18062 347 105 0 66223 0
[pid=4874/tid=4876] ppid=4872 vsize=282876 CPUtime=6.27 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 8942 0 0 0 624 3 0 0 25 0 4 0 602259282 289665024 18062 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=282876 CPUtime=6.24 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 8103 0 0 0 623 1 0 0 25 0 4 0 602259282 289665024 18062 33554432000 4194304 4623224 140735096858336 18446744073709551615 4365976 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=282876 CPUtime=6.28 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 24167 0 0 0 625 3 0 0 25 0 4 0 602259282 289665024 18062 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 282876

[startup+12.7002 s]
/proc/loadavg: 4.99 6.95 7.54 9/184 4887
/proc/meminfo: memFree=28117692/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=298492 CPUtime=50.67 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 75331 0 0 0 5052 15 0 0 25 0 4 0 602259281 305655808 27049 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510217 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 74623 27049 347 105 0 70127 0
[pid=4874/tid=4876] ppid=4872 vsize=298492 CPUtime=12.67 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 14100 0 0 0 1263 4 0 0 25 0 4 0 602259282 305655808 27049 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=298492 CPUtime=12.61 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 13047 0 0 0 1258 3 0 0 25 0 4 0 602259282 305655808 27049 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=298492 CPUtime=12.68 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 36390 0 0 0 1263 5 0 0 25 0 4 0 602259282 305655808 27049 33554432000 4194304 4623224 140735096858336 18446744073709551615 4550453 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 298492

[startup+25.5009 s]
/proc/loadavg: 5.66 7.00 7.55 9/184 4888
/proc/meminfo: memFree=27918164/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=327248 CPUtime=101.81 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 180015 0 0 0 10148 33 0 0 25 0 4 0 602259281 335101952 40796 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 81812 40796 350 105 0 77316 0
[pid=4874/tid=4876] ppid=4872 vsize=327248 CPUtime=25.48 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 21168 0 0 0 2541 7 0 0 25 0 4 0 602259282 335101952 40796 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=327248 CPUtime=25.34 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 20843 0 0 0 2529 5 0 0 25 0 4 0 602259282 335101952 40796 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=327248 CPUtime=25.47 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 121125 0 0 0 2531 16 0 0 25 0 4 0 602259282 335101952 40796 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 327248

[startup+51.1011 s]
/proc/loadavg: 6.46 7.08 7.56 9/184 4890
/proc/meminfo: memFree=27541532/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=426872 CPUtime=204.07 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 249607 0 0 0 20361 46 0 0 25 0 4 0 602259281 437116928 68419 33554432000 4194304 4623224 140735096858336 18446744073709551615 4415005 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 106718 68419 344 105 0 102222 0
[pid=4874/tid=4876] ppid=4872 vsize=426872 CPUtime=51.07 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 38530 0 0 0 5096 11 0 0 25 0 4 0 602259282 437116928 68419 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=426872 CPUtime=50.8 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 30553 0 0 0 5072 8 0 0 25 0 4 0 602259282 437116928 68419 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=426872 CPUtime=51.08 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 131855 0 0 0 5090 18 0 0 25 0 4 0 602259282 437116928 68419 33554432000 4194304 4623224 140735096858336 18446744073709551615 4365859 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 426872

[startup+102.307 s]
/proc/loadavg: 7.50 7.27 7.60 9/184 4893
/proc/meminfo: memFree=26953604/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=700624 CPUtime=408.5 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 687965 0 0 0 40731 119 0 0 25 0 4 0 602259281 717438976 119210 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 175156 119210 459 105 0 170660 0
[pid=4874/tid=4876] ppid=4872 vsize=700624 CPUtime=102.27 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 57356 0 0 0 10210 17 0 0 25 0 4 0 602259282 717438976 119210 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=700624 CPUtime=101.72 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 44520 0 0 0 10160 12 0 0 25 0 4 0 602259282 717438976 119210 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=700624 CPUtime=102.28 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 472459 0 0 0 10156 72 0 0 25 0 4 0 602259282 717438976 119210 33554432000 4194304 4623224 140735096858336 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.5
Current children cumulated vsize (KiB) 700624

[startup+162.301 s]
/proc/loadavg: 7.81 7.40 7.62 9/184 4894
/proc/meminfo: memFree=26365552/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=1095888 CPUtime=648.14 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 1115514 0 0 0 64633 181 0 0 25 0 4 0 602259281 1122189312 197544 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 273972 197544 890 105 0 269476 0
[pid=4874/tid=4876] ppid=4872 vsize=1095888 CPUtime=162.26 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 78921 0 0 0 16206 20 0 0 25 0 4 0 602259282 1122189312 197544 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=1095888 CPUtime=161.39 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 62987 0 0 0 16122 17 0 0 25 0 4 0 602259282 1122189312 197544 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=1095888 CPUtime=162.27 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 716406 0 0 0 16120 107 0 0 25 0 4 0 602259282 1122189312 197544 33554432000 4194304 4623224 140735096858336 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.14
Current children cumulated vsize (KiB) 1095888

[startup+222.3 s]
/proc/loadavg: 8.03 7.54 7.65 9/184 4896
/proc/meminfo: memFree=25840360/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=1487612 CPUtime=887.82 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 1332031 0 0 0 88562 220 0 0 25 0 4 0 602259281 1523314688 305146 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 371903 305146 814 105 0 367407 0
[pid=4874/tid=4876] ppid=4872 vsize=1487612 CPUtime=222.26 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 81880 0 0 0 22205 21 0 0 25 0 4 0 602259282 1523314688 305146 33554432000 4194304 4623224 140735096858336 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=1487612 CPUtime=221.07 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 66531 0 0 0 22088 19 0 0 25 0 4 0 602259282 1523314688 305146 33554432000 4194304 4623224 140735096858336 18446744073709551615 4317232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=1487612 CPUtime=222.27 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 717590 0 0 0 22120 107 0 0 25 0 4 0 602259282 1523314688 305146 33554432000 4194304 4623224 140735096858336 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.82
Current children cumulated vsize (KiB) 1487612

[startup+282.3 s]

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

/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 128687 0 0 0 58187 34 0 0 25 0 4 0 602259282 3804962816 732897 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=3715784 CPUtime=579.09 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 133264 0 0 0 57874 35 0 0 25 0 4 0 602259282 3804962816 732897 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=3715784 CPUtime=582.23 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 2742275 0 0 0 57828 395 0 0 25 0 4 0 602259282 3804962816 732897 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2325.7
Current children cumulated vsize (KiB) 3715784

[startup+642.301 s]
/proc/loadavg: 8.23 8.01 7.83 9/184 4907
/proc/meminfo: memFree=23517904/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=3834008 CPUtime=2565.4 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 4827972 0 0 0 255808 732 0 0 25 0 4 0 602259281 3926024192 772773 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510096 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 958502 772773 346 105 0 954006 0
[pid=4874/tid=4876] ppid=4872 vsize=3834008 CPUtime=642.21 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 131032 0 0 0 64186 35 0 0 25 0 4 0 602259282 3926024192 772773 33554432000 4194304 4623224 140735096858336 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=3834008 CPUtime=638.76 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 138120 0 0 0 63840 36 0 0 25 0 4 0 602259282 3926024192 772773 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=3834008 CPUtime=642.24 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 3018457 0 0 0 63788 436 0 0 25 0 4 0 602259282 3926024192 772773 33554432000 4194304 4623224 140735096858336 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.4
Current children cumulated vsize (KiB) 3834008

[startup+702.301 s]
/proc/loadavg: 8.26 8.05 7.85 9/184 4909
/proc/meminfo: memFree=23218660/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=4045500 CPUtime=2805.05 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 5367504 0 0 0 279695 810 0 0 25 0 4 0 602259281 4142592000 836652 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 1011375 836652 346 105 0 1006879 0
[pid=4874/tid=4876] ppid=4872 vsize=4045500 CPUtime=702.21 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 173736 0 0 0 70180 41 0 0 25 0 4 0 602259282 4142592000 836652 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=4045500 CPUtime=698.43 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 139625 0 0 0 69807 36 0 0 25 0 4 0 602259282 4142592000 836652 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=4045500 CPUtime=702.23 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 3448873 0 0 0 69730 493 0 0 25 0 4 0 602259282 4142592000 836652 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.05
Current children cumulated vsize (KiB) 4045500

[startup+762.307 s]
/proc/loadavg: 8.23 8.07 7.86 9/184 4910
/proc/meminfo: memFree=22708348/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=4905936 CPUtime=3044.66 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 6309284 0 0 0 303532 934 0 0 25 0 4 0 602259281 5023678464 947418 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 1226484 947418 347 105 0 1221988 0
[pid=4874/tid=4876] ppid=4872 vsize=4905936 CPUtime=762.19 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 176506 0 0 0 76176 43 0 0 25 0 4 0 602259282 5023678464 947418 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=4905936 CPUtime=758.1 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 142407 0 0 0 75773 37 0 0 25 0 4 0 602259282 5023678464 947418 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376832 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=4905936 CPUtime=762.19 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 3901822 0 0 0 75662 557 0 0 25 0 4 0 602259282 5023678464 947418 33554432000 4194304 4623224 140735096858336 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.66
Current children cumulated vsize (KiB) 4905936

[startup+822.301 s]
/proc/loadavg: 8.21 8.09 7.88 9/184 4912
/proc/meminfo: memFree=22173116/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=5172700 CPUtime=3284.32 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 6842515 0 0 0 327412 1020 0 0 25 0 4 0 602259281 5296844800 1072010 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 1293175 1072010 349 105 0 1288679 0
[pid=4874/tid=4876] ppid=4872 vsize=5172700 CPUtime=822.19 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 180118 0 0 0 82174 45 0 0 25 0 4 0 602259282 5296844800 1072010 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=5172700 CPUtime=817.78 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 146732 0 0 0 81740 38 0 0 25 0 4 0 602259282 5296844800 1072010 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=5172700 CPUtime=822.19 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 4304149 0 0 0 81604 615 0 0 25 0 4 0 602259282 5296844800 1072010 33554432000 4194304 4623224 140735096858336 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.32
Current children cumulated vsize (KiB) 5172700

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

[startup+831.901 s]
/proc/loadavg: 8.18 8.08 7.88 9/184 4912
/proc/meminfo: memFree=22118176/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=5264988 CPUtime=3322.66 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 6939419 0 0 0 331234 1032 0 0 25 0 4 0 602259281 5391347712 1081141 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4874/statm: 1316247 1081141 344 105 0 1311751 0
[pid=4874/tid=4876] ppid=4872 vsize=5264988 CPUtime=831.79 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 180247 0 0 0 83134 45 0 0 25 0 4 0 602259282 5391347712 1081141 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=5264988 CPUtime=827.32 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 190159 0 0 0 82689 43 0 0 25 0 4 0 602259282 5391347712 1081141 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=5264988 CPUtime=831.79 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 4352033 0 0 0 82558 621 0 0 25 0 4 0 602259282 5391347712 1081141 33554432000 4194304 4623224 140735096858336 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3322.66
Current children cumulated vsize (KiB) 5264988

[startup+844.7 s]
/proc/loadavg: 8.14 8.08 7.88 9/184 4912
/proc/meminfo: memFree=22058400/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=5264988 CPUtime=3373.38 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 6971355 0 0 0 336298 1040 0 0 18 0 4 0 602259281 5391347712 1093241 33554432000 4194304 4623224 140735096858336 18446744073709551615 4360078 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4874/statm: 1316247 1093241 345 105 0 1311751 0
[pid=4874/tid=4876] ppid=4872 vsize=5264988 CPUtime=844.59 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 180745 0 0 0 84414 45 0 0 21 0 4 0 602259282 5391347712 1093241 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=5264988 CPUtime=840.09 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 190474 0 0 0 83965 44 0 0 19 0 4 0 602259282 5391347712 1093241 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=5264988 CPUtime=844.6 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 4371045 0 0 0 83835 625 0 0 19 0 4 0 602259282 5391347712 1093241 33554432000 4194304 4623224 140735096858336 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3373.38
Current children cumulated vsize (KiB) 5264988

[startup+851.1 s]
/proc/loadavg: 8.12 8.08 7.88 9/184 4913
/proc/meminfo: memFree=22056044/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=5265144 CPUtime=3398.93 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 6971805 0 0 0 338853 1040 0 0 25 0 4 0 602259281 5391507456 1093691 33554432000 4194304 4623224 140735096858336 18446744073709551615 4360063 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4874/statm: 1316286 1093691 345 105 0 1311790 0
[pid=4874/tid=4876] ppid=4872 vsize=5265144 CPUtime=850.98 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 181092 0 0 0 85053 45 0 0 25 0 4 0 602259282 5391507456 1093691 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=5265144 CPUtime=846.48 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 190518 0 0 0 84604 44 0 0 25 0 4 0 602259282 5391507456 1093691 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=5265144 CPUtime=850.99 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 4371104 0 0 0 84474 625 0 0 25 0 4 0 602259282 5391507456 1093691 33554432000 4194304 4623224 140735096858336 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3398.93
Current children cumulated vsize (KiB) 5265144

[startup+852.701 s]
/proc/loadavg: 8.12 8.08 7.88 9/184 4913
/proc/meminfo: memFree=22050712/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=5265288 CPUtime=3405.32 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 6972094 0 0 0 339492 1040 0 0 25 0 4 0 602259281 5391654912 1093980 33554432000 4194304 4623224 140735096858336 18446744073709551615 4517548 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4874/statm: 1316322 1093980 345 105 0 1311826 0
[pid=4874/tid=4876] ppid=4872 vsize=5265288 CPUtime=852.59 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 181146 0 0 0 85214 45 0 0 25 0 4 0 602259282 5391654912 1093980 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=5265288 CPUtime=848.08 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 190703 0 0 0 84764 44 0 0 25 0 4 0 602259282 5391654912 1093980 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=5265288 CPUtime=852.59 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 4371154 0 0 0 84634 625 0 0 25 0 4 0 602259282 5391654912 1093980 33554432000 4194304 4623224 140735096858336 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3405.32
Current children cumulated vsize (KiB) 5265288

[startup+853.501 s]
/proc/loadavg: 8.11 8.08 7.88 9/184 4913
/proc/meminfo: memFree=22048976/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=5265288 CPUtime=3408.53 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 6972110 0 0 0 339813 1040 0 0 25 0 4 0 602259281 5391654912 1093996 33554432000 4194304 4623224 140735096858336 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4874/statm: 1316322 1093996 345 105 0 1311826 0
[pid=4874/tid=4876] ppid=4872 vsize=5265288 CPUtime=853.39 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 181146 0 0 0 85294 45 0 0 25 0 4 0 602259282 5391654912 1093996 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=5265288 CPUtime=848.88 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 190719 0 0 0 84844 44 0 0 25 0 4 0 602259282 5391654912 1093996 33554432000 4194304 4623224 140735096858336 18446744073709551615 251367205247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=5265288 CPUtime=853.4 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 4371154 0 0 0 84715 625 0 0 25 0 4 0 602259282 5391654912 1093996 33554432000 4194304 4623224 140735096858336 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3408.53
Current children cumulated vsize (KiB) 5265288

[startup+854.301 s]
/proc/loadavg: 8.11 8.08 7.88 9/184 4913
/proc/meminfo: memFree=22048976/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=5265288 CPUtime=3411.71 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) R 4872 4874 4254 0 -1 4202496 6972153 0 0 0 340131 1040 0 0 25 0 4 0 602259281 5391654912 1094039 33554432000 4194304 4623224 140735096858336 18446744073709551615 4510172 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4874/statm: 1316322 1094039 345 105 0 1311826 0
[pid=4874/tid=4876] ppid=4872 vsize=5265288 CPUtime=854.19 cores=0,2,4,6
/proc/4874/task/4876/stat : 4876 (SArTagnan) R 4872 4874 4254 0 -1 4202560 181146 0 0 0 85374 45 0 0 25 0 4 0 602259282 5391654912 1094039 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4874/tid=4877] ppid=4872 vsize=5265288 CPUtime=849.68 cores=0,2,4,6
/proc/4874/task/4877/stat : 4877 (SArTagnan) R 4872 4874 4254 0 -1 4202560 190762 0 0 0 84924 44 0 0 25 0 4 0 602259282 5391654912 1094039 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=5265288 CPUtime=854.19 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202560 4371154 0 0 0 84794 625 0 0 25 0 4 0 602259282 5391654912 1094039 33554432000 4194304 4623224 140735096858336 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3411.71
Current children cumulated vsize (KiB) 5265288

[startup+854.707 s]
/proc/loadavg: 8.11 8.08 7.88 6/182 4913
/proc/meminfo: memFree=22507408/32950928 swapFree=67111352/67111528
[pid=4874] ppid=4872 vsize=0 CPUtime=3412.95 cores=0,2,4,6
/proc/4874/stat : 4874 (SArTagnan) Z 4872 4874 4254 0 -1 4203548 6972241 0 0 0 340242 1053 0 0 25 0 2 0 602259281 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4874/statm: 0 0 0 0 0 0 0
[pid=4874/tid=4878] ppid=4872 vsize=0 CPUtime=854.6 cores=0,2,4,6
/proc/4874/task/4878/stat : 4878 (SArTagnan) R 4872 4874 4254 0 -1 4202564 4371167 0 0 0 84822 638 0 0 25 0 2 0 602259282 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3412.95
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 854.772
CPU time (s): 3413.03
CPU user time (s): 3402.42
CPU system time (s): 10.6034
CPU usage (%): 399.291
Max. virtual memory (cumulated for all children) (KiB): 6303824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3402.42
system time used= 10.6034
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6972241
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= 6499
involuntary context switches= 15578

runsolver used 1.37779 second user time and 3.2895 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-30 01:38:06
IDJOB=3266712
IDBENCH=88206
IDSOLVER=1656
FILE ID=node113/3266712-1304120286
RUNJOBID= node113-1304120286-4860
PBS_JOBID= 13170715
Free space on /tmp= 71168 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q225-n25-p30-s70617701.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266712-1304120286/watcher-3266712-1304120286 -o /tmp/evaluation-result-3266712-1304120286/solver-3266712-1304120286 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3266712-1304120286.cnf -threads=4

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

MD5SUM BENCH= f04b72eb712a286c5ea50b297461f349
RANDOM SEED=1967712565

node113.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28478280 kB
Buffers:        730836 kB
Cached:        3157064 kB
SwapCached:         12 kB
Active:         154996 kB
Inactive:      3800048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28478280 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            2048 kB
Writeback:           0 kB
AnonPages:       67492 kB
Mapped:          14484 kB
Slab:           453204 kB
PageTables:       4708 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189532 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= 71160 MiB
End job on node113 at 2011-04-30 01:52:21