Trace number 3438996

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-05-15 (fixed)SAT 37.5403 4.74732

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-14-27-sat.cnf
MD5SUM9c54c57be5bec760a361df7b3a13ea07
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.015996
Satisfiable
(Un)Satisfiability was proved
Number of variables378
Number of clauses2653
Sum of the clauses size10206
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22457
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5196

Solver Data 

37.28/4.73	
37.28/4.73	s SATISFIABLE
37.28/4.73	
37.28/4.73	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 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3438996-1306925180/watcher-3438996-1306925180 -o /tmp/evaluation-result-3438996-1306925180/solver-3438996-1306925180 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3438996-1306925180.cnf -threads=8 

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

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


[startup+0 s]
/proc/loadavg: 8.03 8.04 8.00 2/408 20605
/proc/meminfo: memFree=26115072/32950928 swapFree=52006644/67111528
[pid=20605] ppid=20603 vsize=90888 CPUtime=0.02 cores=0-7
/proc/20605/stat : 20605 (SArTagnan) R 20603 20605 20364 0 -1 4202496 569 0 0 0 2 0 0 0 25 0 8 0 260127442 93069312 505 33554432000 4194304 4625164 140734725374080 18446744073709551615 47130954225590 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20605/statm: 22722 505 301 106 0 18225 0
[pid=20605/tid=20606] ppid=20603 vsize=90888 CPUtime=0 cores=0-7
/proc/20605/task/20606/stat : 20606 (SArTagnan) R 20603 20605 20364 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 260127443 93069312 505 33554432000 4194304 4625164 140734725374080 18446744073709551615 47130954225584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20607] ppid=20603 vsize=90888 CPUtime=0 cores=0-7
/proc/20605/task/20607/stat : 20607 (SArTagnan) R 20603 20605 20364 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 260127443 93069312 505 33554432000 4194304 4625164 140734725374080 18446744073709551615 47130954225586 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20605/tid=20608] ppid=20603 vsize=90888 CPUtime=0 cores=0-7
/proc/20605/task/20608/stat : 20608 (SArTagnan) R 20603 20605 20364 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 260127443 93069312 505 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20609] ppid=20603 vsize=90888 CPUtime=0 cores=0-7
/proc/20605/task/20609/stat : 20609 (SArTagnan) R 20603 20605 20364 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 260127443 93069312 505 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20610] ppid=20603 vsize=90888 CPUtime=0 cores=0-7
/proc/20605/task/20610/stat : 20610 (SArTagnan) R 20603 20605 20364 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 260127443 93069312 505 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20611] ppid=20603 vsize=90888 CPUtime=0 cores=0-7
/proc/20605/task/20611/stat : 20611 (SArTagnan) R 20603 20605 20364 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 260127443 93069312 505 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20612] ppid=20603 vsize=90888 CPUtime=0 cores=0-7
/proc/20605/task/20612/stat : 20612 (SArTagnan) R 20603 20605 20364 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 260127443 93069312 505 33554432000 4194304 4625164 140734725374080 18446744073709551615 47130954225580 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0754671 s]
/proc/loadavg: 8.03 8.04 8.00 2/408 20605
/proc/meminfo: memFree=26115072/32950928 swapFree=52006644/67111528
[pid=20605] ppid=20603 vsize=419628 CPUtime=0.45 cores=0-7
/proc/20605/stat : 20605 (SArTagnan) R 20603 20605 20364 0 -1 4202496 1839 0 0 0 45 0 0 0 18 0 8 0 260127442 429699072 1648 33554432000 4194304 4625164 140734725374080 18446744073709551615 4339447 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20605/statm: 104907 1649 348 106 0 100410 0
[pid=20605/tid=20606] ppid=20603 vsize=419892 CPUtime=0.08 cores=0-7
/proc/20605/task/20606/stat : 20606 (SArTagnan) R 20603 20605 20364 0 -1 4202560 227 0 0 0 8 0 0 0 25 0 8 0 260127443 429969408 2341 33554432000 4194304 4625164 140734725374080 18446744073709551615 4345204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20607] ppid=20603 vsize=420804 CPUtime=0.08 cores=0-7
/proc/20605/task/20607/stat : 20607 (SArTagnan) D 20603 20605 20364 0 -1 4202560 212 0 0 0 8 0 0 0 18 0 8 0 260127443 430903296 2453 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20605/tid=20608] ppid=20603 vsize=420804 CPUtime=0.03 cores=0-7
/proc/20605/task/20608/stat : 20608 (SArTagnan) D 20603 20605 20364 0 -1 4202560 329 0 0 0 3 0 0 0 18 0 8 0 260127443 430903296 2453 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880225989 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20605/tid=20609] ppid=20603 vsize=420804 CPUtime=0.06 cores=0-7
/proc/20605/task/20609/stat : 20609 (SArTagnan) R 20603 20605 20364 0 -1 4202560 221 0 0 0 6 0 0 0 25 0 8 0 260127443 430903296 2453 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20605/tid=20610] ppid=20603 vsize=420804 CPUtime=0.07 cores=0-7
/proc/20605/task/20610/stat : 20610 (SArTagnan) D 20603 20605 20364 0 -1 4202560 211 0 0 0 7 0 0 0 18 0 8 0 260127443 430903296 2453 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20605/tid=20611] ppid=20603 vsize=420368 CPUtime=0.07 cores=0-7
/proc/20605/task/20611/stat : 20611 (SArTagnan) D 20603 20605 20364 0 -1 4202560 192 0 0 0 7 0 0 0 18 0 8 0 260127443 430456832 2393 33554432000 4194304 4625164 140734725374080 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20605/tid=20612] ppid=20603 vsize=420368 CPUtime=0.08 cores=0-7
/proc/20605/task/20612/stat : 20612 (SArTagnan) D 20603 20605 20364 0 -1 4202560 205 0 0 0 8 0 0 0 18 0 8 0 260127443 430456832 2393 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 419628

[startup+0.125669 s]
/proc/loadavg: 8.03 8.04 8.00 2/408 20605
/proc/meminfo: memFree=26115072/32950928 swapFree=52006644/67111528
[pid=20605] ppid=20603 vsize=421512 CPUtime=0.8 cores=0-7
/proc/20605/stat : 20605 (SArTagnan) R 20603 20605 20364 0 -1 4202496 4020 0 0 0 80 0 0 0 18 0 8 0 260127442 431628288 3555 33554432000 4194304 4625164 140734725374080 18446744073709551615 4356856 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20605/statm: 105378 3555 349 106 0 100881 0
[pid=20605/tid=20606] ppid=20603 vsize=421512 CPUtime=0.11 cores=0-7
/proc/20605/task/20606/stat : 20606 (SArTagnan) R 20603 20605 20364 0 -1 4202560 372 0 0 0 11 0 0 0 18 0 8 0 260127443 431628288 3555 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20607] ppid=20603 vsize=421512 CPUtime=0.11 cores=0-7
/proc/20605/task/20607/stat : 20607 (SArTagnan) D 20603 20605 20364 0 -1 4202560 345 0 0 0 11 0 0 0 18 0 8 0 260127443 431628288 3555 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20605/tid=20608] ppid=20603 vsize=421512 CPUtime=0.05 cores=0-7
/proc/20605/task/20608/stat : 20608 (SArTagnan) D 20603 20605 20364 0 -1 4202560 487 0 0 0 5 0 0 0 18 0 8 0 260127443 431628288 3555 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20605/tid=20609] ppid=20603 vsize=421512 CPUtime=0.08 cores=0-7
/proc/20605/task/20609/stat : 20609 (SArTagnan) R 20603 20605 20364 0 -1 4202560 337 0 0 0 8 0 0 0 25 0 8 0 260127443 431628288 3555 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352812 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20605/tid=20610] ppid=20603 vsize=421512 CPUtime=0.09 cores=0-7
/proc/20605/task/20610/stat : 20610 (SArTagnan) D 20603 20605 20364 0 -1 4202560 421 0 0 0 9 0 0 0 18 0 8 0 260127443 431628288 3555 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20605/tid=20611] ppid=20603 vsize=421512 CPUtime=0.09 cores=0-7
/proc/20605/task/20611/stat : 20611 (SArTagnan) D 20603 20605 20364 0 -1 4202560 350 0 0 0 9 0 0 0 18 0 8 0 260127443 431628288 3555 33554432000 4194304 4625164 140734725374080 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20605/tid=20612] ppid=20603 vsize=421512 CPUtime=0.11 cores=0-7
/proc/20605/task/20612/stat : 20612 (SArTagnan) R 20603 20605 20364 0 -1 4202560 311 0 0 0 11 0 0 0 18 0 8 0 260127443 431628288 3555 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352731 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 421512

[startup+0.459468 s]
/proc/loadavg: 8.03 8.04 8.00 2/408 20605
/proc/meminfo: memFree=26115072/32950928 swapFree=52006644/67111528
[pid=20605] ppid=20603 vsize=502044 CPUtime=4.64 cores=0-7
/proc/20605/stat : 20605 (SArTagnan) R 20603 20605 20364 0 -1 4202496 18100 0 0 0 460 4 0 0 18 0 8 0 260127442 514093056 15556 33554432000 4194304 4625164 140734725374080 18446744073709551615 4393112 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20605/statm: 126267 18001 353 106 0 121770 0
[pid=20605/tid=20606] ppid=20603 vsize=503360 CPUtime=0.73 cores=0-7
/proc/20605/task/20606/stat : 20606 (SArTagnan) R 20603 20605 20364 0 -1 4202560 2265 0 0 0 73 0 0 0 18 0 8 0 260127443 515440640 18001 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20607] ppid=20603 vsize=503624 CPUtime=0.82 cores=0-7
/proc/20605/task/20607/stat : 20607 (SArTagnan) R 20603 20605 20364 0 -1 4202560 3466 0 0 0 81 1 0 0 18 0 8 0 260127443 515710976 20116 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20605/tid=20608] ppid=20603 vsize=508648 CPUtime=0.81 cores=0-7
/proc/20605/task/20608/stat : 20608 (SArTagnan) D 20603 20605 20364 0 -1 4202560 2362 0 0 0 80 1 0 0 19 0 8 0 260127443 520855552 21089 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20605/tid=20609] ppid=20603 vsize=508648 CPUtime=0.83 cores=0-7
/proc/20605/task/20609/stat : 20609 (SArTagnan) D 20603 20605 20364 0 -1 4202560 2761 0 0 0 83 0 0 0 18 0 8 0 260127443 520855552 21089 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20605/tid=20610] ppid=20603 vsize=508648 CPUtime=0.84 cores=0-7
/proc/20605/task/20610/stat : 20610 (SArTagnan) D 20603 20605 20364 0 -1 4202560 3247 0 0 0 84 0 0 0 18 0 8 0 260127443 520855552 21089 33554432000 4194304 4625164 140734725374080 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20605/tid=20611] ppid=20603 vsize=508648 CPUtime=0.84 cores=0-7
/proc/20605/task/20611/stat : 20611 (SArTagnan) D 20603 20605 20364 0 -1 4202560 3167 0 0 0 84 0 0 0 19 0 8 0 260127443 520855552 21089 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20605/tid=20612] ppid=20603 vsize=508648 CPUtime=0.86 cores=0-7
/proc/20605/task/20612/stat : 20612 (SArTagnan) D 20603 20605 20364 0 -1 4202560 2300 0 0 0 86 0 0 0 18 0 8 0 260127443 520855552 21089 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 502044

[startup+0.960929 s]
/proc/loadavg: 8.03 8.04 8.00 2/408 20605
/proc/meminfo: memFree=26115072/32950928 swapFree=52006644/67111528
[pid=20605] ppid=20603 vsize=508572 CPUtime=8.11 cores=0-7
/proc/20605/stat : 20605 (SArTagnan) R 20603 20605 20364 0 -1 4202496 31000 0 0 0 804 7 0 0 18 0 8 0 260127442 520777728 24725 33554432000 4194304 4625164 140734725374080 18446744073709551615 4393068 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20605/statm: 127974 32044 375 106 0 123477 0
[pid=20605/tid=20606] ppid=20603 vsize=511896 CPUtime=1.51 cores=0-7
/proc/20605/task/20606/stat : 20606 (SArTagnan) R 20603 20605 20364 0 -1 4202560 4778 0 0 0 150 1 0 0 20 0 8 0 260127443 524181504 32044 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20607] ppid=20603 vsize=511896 CPUtime=1.51 cores=0-7
/proc/20605/task/20607/stat : 20607 (SArTagnan) R 20603 20605 20364 0 -1 4202560 5514 0 0 0 150 1 0 0 20 0 8 0 260127443 524181504 32044 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352855 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20605/tid=20608] ppid=20603 vsize=511896 CPUtime=1.47 cores=0-7
/proc/20605/task/20608/stat : 20608 (SArTagnan) R 20603 20605 20364 0 -1 4202560 4057 0 0 0 146 1 0 0 20 0 8 0 260127443 524181504 32044 33554432000 4194304 4625164 140734725374080 18446744073709551615 4469094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20605/tid=20609] ppid=20603 vsize=511896 CPUtime=1.49 cores=0-7
/proc/20605/task/20609/stat : 20609 (SArTagnan) R 20603 20605 20364 0 -1 4202560 4302 0 0 0 148 1 0 0 18 0 8 0 260127443 524181504 32044 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20605/tid=20610] ppid=20603 vsize=511896 CPUtime=1.5 cores=0-7
/proc/20605/task/20610/stat : 20610 (SArTagnan) R 20603 20605 20364 0 -1 4202560 5122 0 0 0 149 1 0 0 19 0 8 0 260127443 524181504 32045 33554432000 4194304 4625164 140734725374080 18446744073709551615 4349050 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20605/tid=20611] ppid=20603 vsize=511896 CPUtime=1.5 cores=0-7
/proc/20605/task/20611/stat : 20611 (SArTagnan) R 20603 20605 20364 0 -1 4202560 5716 0 0 0 149 1 0 0 20 0 8 0 260127443 524181504 32045 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20605/tid=20612] ppid=20603 vsize=511896 CPUtime=1.52 cores=0-7
/proc/20605/task/20612/stat : 20612 (SArTagnan) R 20603 20605 20364 0 -1 4202560 3497 0 0 0 151 1 0 0 19 0 8 0 260127443 524181504 32046 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352855 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 508572

[startup+1.58752 s]
/proc/loadavg: 8.03 8.04 8.00 2/408 20605
/proc/meminfo: memFree=26115072/32950928 swapFree=52006644/67111528
[pid=20605] ppid=20603 vsize=512424 CPUtime=12.87 cores=0-7
/proc/20605/stat : 20605 (SArTagnan) R 20603 20605 20364 0 -1 4202496 41370 0 0 0 1277 10 0 0 18 0 8 0 260127442 524722176 33207 33554432000 4194304 4625164 140734725374080 18446744073709551615 4393091 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20605/statm: 128106 33208 349 106 0 123609 0
[pid=20605/tid=20606] ppid=20603 vsize=512424 CPUtime=1.61 cores=0-7
/proc/20605/task/20606/stat : 20606 (SArTagnan) R 20603 20605 20364 0 -1 4202560 4929 0 0 0 160 1 0 0 20 0 8 0 260127443 524722176 33208 33554432000 4194304 4625164 140734725374080 18446744073709551615 4345248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20607] ppid=20603 vsize=512424 CPUtime=1.61 cores=0-7
/proc/20605/task/20607/stat : 20607 (SArTagnan) R 20603 20605 20364 0 -1 4202560 5690 0 0 0 160 1 0 0 20 0 8 0 260127443 524722176 33208 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352855 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20605/tid=20608] ppid=20603 vsize=512424 CPUtime=1.56 cores=0-7
/proc/20605/task/20608/stat : 20608 (SArTagnan) R 20603 20605 20364 0 -1 4202560 4525 0 0 0 155 1 0 0 20 0 8 0 260127443 524722176 33208 33554432000 4194304 4625164 140734725374080 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20605/tid=20609] ppid=20603 vsize=512424 CPUtime=1.59 cores=0-7
/proc/20605/task/20609/stat : 20609 (SArTagnan) R 20603 20605 20364 0 -1 4202560 4437 0 0 0 158 1 0 0 18 0 8 0 260127443 524722176 33208 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20605/tid=20610] ppid=20603 vsize=512424 CPUtime=1.6 cores=0-7
/proc/20605/task/20610/stat : 20610 (SArTagnan) R 20603 20605 20364 0 -1 4202560 5231 0 0 0 159 1 0 0 19 0 8 0 260127443 524722176 33208 33554432000 4194304 4625164 140734725374080 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20605/tid=20611] ppid=20603 vsize=512424 CPUtime=1.6 cores=0-7
/proc/20605/task/20611/stat : 20611 (SArTagnan) R 20603 20605 20364 0 -1 4202560 5758 0 0 0 159 1 0 0 20 0 8 0 260127443 524722176 33208 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880225989 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20605/tid=20612] ppid=20603 vsize=512424 CPUtime=1.62 cores=0-7
/proc/20605/task/20612/stat : 20612 (SArTagnan) R 20603 20605 20364 0 -1 4202560 3662 0 0 0 161 1 0 0 20 0 8 0 260127443 524722176 33208 33554432000 4194304 4625164 140734725374080 18446744073709551615 4340391 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.87
Current children cumulated vsize (KiB) 512424

[startup+3.10055 s]
/proc/loadavg: 8.11 8.05 8.01 9/416 20613
/proc/meminfo: memFree=25955680/32950928 swapFree=52006644/67111528
[pid=20605] ppid=20603 vsize=535784 CPUtime=24.52 cores=0-7
/proc/20605/stat : 20605 (SArTagnan) R 20603 20605 20364 0 -1 4202496 63290 0 0 0 2434 18 0 0 21 0 8 0 260127442 548642816 53063 33554432000 4194304 4625164 140734725374080 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20605/statm: 133946 53063 445 106 0 129449 0
[pid=20605/tid=20606] ppid=20603 vsize=535784 CPUtime=3.07 cores=0-7
/proc/20605/task/20606/stat : 20606 (SArTagnan) R 20603 20605 20364 0 -1 4202560 7519 0 0 0 305 2 0 0 25 0 8 0 260127443 548642816 53063 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880226337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20607] ppid=20603 vsize=535784 CPUtime=3.07 cores=0-7
/proc/20605/task/20607/stat : 20607 (SArTagnan) R 20603 20605 20364 0 -1 4202560 8655 0 0 0 305 2 0 0 25 0 8 0 260127443 548642816 53063 33554432000 4194304 4625164 140734725374080 18446744073709551615 4467824 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20605/tid=20608] ppid=20603 vsize=535784 CPUtime=3.02 cores=0-7
/proc/20605/task/20608/stat : 20608 (SArTagnan) R 20603 20605 20364 0 -1 4202560 7818 0 0 0 300 2 0 0 25 0 8 0 260127443 548642816 53063 33554432000 4194304 4625164 140734725374080 18446744073709551615 4546832 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20605/tid=20609] ppid=20603 vsize=535784 CPUtime=3.04 cores=0-7
/proc/20605/task/20609/stat : 20609 (SArTagnan) R 20603 20605 20364 0 -1 4202560 6782 0 0 0 302 2 0 0 22 0 8 0 260127443 548642816 53063 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20605/tid=20610] ppid=20603 vsize=535784 CPUtime=3.04 cores=0-7
/proc/20605/task/20610/stat : 20610 (SArTagnan) R 20603 20605 20364 0 -1 4202560 9365 0 0 0 302 2 0 0 22 0 8 0 260127443 548642816 53063 33554432000 4194304 4625164 140734725374080 18446744073709551615 4348864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20605/tid=20611] ppid=20603 vsize=535784 CPUtime=3.05 cores=0-7
/proc/20605/task/20611/stat : 20611 (SArTagnan) R 20603 20605 20364 0 -1 4202560 8551 0 0 0 304 1 0 0 25 0 8 0 260127443 548642816 53063 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20605/tid=20612] ppid=20603 vsize=535784 CPUtime=3.07 cores=0-7
/proc/20605/task/20612/stat : 20612 (SArTagnan) R 20603 20605 20364 0 -1 4202560 6395 0 0 0 305 2 0 0 25 0 8 0 260127443 548642816 53063 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.52
Current children cumulated vsize (KiB) 535784

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

[startup+3.4005 s]
/proc/loadavg: 8.11 8.05 8.01 9/416 20613
/proc/meminfo: memFree=25895912/32950928 swapFree=52006644/67111528
[pid=20605] ppid=20603 vsize=547540 CPUtime=26.9 cores=0-7
/proc/20605/stat : 20605 (SArTagnan) R 20603 20605 20364 0 -1 4202496 68547 0 0 0 2671 19 0 0 22 0 8 0 260127442 560680960 56684 33554432000 4194304 4625164 140734725374080 18446744073709551615 4393051 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20605/statm: 136885 56684 473 106 0 132388 0
[pid=20605/tid=20606] ppid=20603 vsize=547540 CPUtime=3.37 cores=0-7
/proc/20605/task/20606/stat : 20606 (SArTagnan) R 20603 20605 20364 0 -1 4202560 7710 0 0 0 335 2 0 0 25 0 8 0 260127443 560680960 56684 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20607] ppid=20603 vsize=547540 CPUtime=3.37 cores=0-7
/proc/20605/task/20607/stat : 20607 (SArTagnan) R 20603 20605 20364 0 -1 4202560 10639 0 0 0 335 2 0 0 25 0 8 0 260127443 560680960 56684 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20605/tid=20608] ppid=20603 vsize=547540 CPUtime=3.32 cores=0-7
/proc/20605/task/20608/stat : 20608 (SArTagnan) R 20603 20605 20364 0 -1 4202560 8249 0 0 0 330 2 0 0 25 0 8 0 260127443 560680960 56684 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20605/tid=20609] ppid=20603 vsize=547540 CPUtime=3.35 cores=0-7
/proc/20605/task/20609/stat : 20609 (SArTagnan) R 20603 20605 20364 0 -1 4202560 6990 0 0 0 332 3 0 0 23 0 8 0 260127443 560680960 56684 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20605/tid=20610] ppid=20603 vsize=547540 CPUtime=3.32 cores=0-7
/proc/20605/task/20610/stat : 20610 (SArTagnan) R 20603 20605 20364 0 -1 4202560 9721 0 0 0 330 2 0 0 22 0 8 0 260127443 560680960 56684 33554432000 4194304 4625164 140734725374080 18446744073709551615 4341803 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20605/tid=20611] ppid=20603 vsize=547540 CPUtime=3.35 cores=0-7
/proc/20605/task/20611/stat : 20611 (SArTagnan) R 20603 20605 20364 0 -1 4202560 8888 0 0 0 334 1 0 0 25 0 8 0 260127443 560680960 56684 33554432000 4194304 4625164 140734725374080 18446744073709551615 4353037 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20605/tid=20612] ppid=20603 vsize=547540 CPUtime=3.37 cores=0-7
/proc/20605/task/20612/stat : 20612 (SArTagnan) R 20603 20605 20364 0 -1 4202560 7875 0 0 0 334 3 0 0 25 0 8 0 260127443 560680960 56684 33554432000 4194304 4625164 140734725374080 18446744073709551615 4339569 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 26.9
Current children cumulated vsize (KiB) 547540

[startup+4.20036 s]
/proc/loadavg: 8.11 8.05 8.01 9/416 20613
/proc/meminfo: memFree=25895912/32950928 swapFree=52006644/67111528
[pid=20605] ppid=20603 vsize=564880 CPUtime=33.29 cores=0-7
/proc/20605/stat : 20605 (SArTagnan) R 20603 20605 20364 0 -1 4202496 76516 0 0 0 3307 22 0 0 25 0 8 0 260127442 578437120 64319 33554432000 4194304 4625164 140734725374080 18446744073709551615 4393055 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20605/statm: 141220 64319 573 106 0 136723 0
[pid=20605/tid=20606] ppid=20603 vsize=564880 CPUtime=4.17 cores=0-7
/proc/20605/task/20606/stat : 20606 (SArTagnan) R 20603 20605 20364 0 -1 4202560 9544 0 0 0 415 2 0 0 25 0 8 0 260127443 578437120 64319 33554432000 4194304 4625164 140734725374080 18446744073709551615 4278245 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20607] ppid=20603 vsize=564880 CPUtime=4.17 cores=0-7
/proc/20605/task/20607/stat : 20607 (SArTagnan) R 20603 20605 20364 0 -1 4202560 11276 0 0 0 414 3 0 0 25 0 8 0 260127443 578437120 64319 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20605/tid=20608] ppid=20603 vsize=564880 CPUtime=4.12 cores=0-7
/proc/20605/task/20608/stat : 20608 (SArTagnan) R 20603 20605 20364 0 -1 4202560 9120 0 0 0 410 2 0 0 25 0 8 0 260127443 578437120 64319 33554432000 4194304 4625164 140734725374080 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20605/tid=20609] ppid=20603 vsize=564880 CPUtime=4.15 cores=0-7
/proc/20605/task/20609/stat : 20609 (SArTagnan) R 20603 20605 20364 0 -1 4202560 8991 0 0 0 412 3 0 0 25 0 8 0 260127443 578437120 64319 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20605/tid=20610] ppid=20603 vsize=564880 CPUtime=4.12 cores=0-7
/proc/20605/task/20610/stat : 20610 (SArTagnan) R 20603 20605 20364 0 -1 4202560 11137 0 0 0 409 3 0 0 25 0 8 0 260127443 578437120 64319 33554432000 4194304 4625164 140734725374080 18446744073709551615 4349061 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20605/tid=20611] ppid=20603 vsize=564880 CPUtime=4.16 cores=0-7
/proc/20605/task/20611/stat : 20611 (SArTagnan) R 20603 20605 20364 0 -1 4202560 9322 0 0 0 414 2 0 0 25 0 8 0 260127443 578437120 64319 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20605/tid=20612] ppid=20603 vsize=564880 CPUtime=4.17 cores=0-7
/proc/20605/task/20612/stat : 20612 (SArTagnan) R 20603 20605 20364 0 -1 4202560 8478 0 0 0 414 3 0 0 25 0 8 0 260127443 578437120 64319 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880225989 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 33.29
Current children cumulated vsize (KiB) 564880

[startup+4.6013 s]
/proc/loadavg: 8.11 8.05 8.01 9/416 20613
/proc/meminfo: memFree=25858112/32950928 swapFree=52006644/67111528
[pid=20605] ppid=20603 vsize=566464 CPUtime=36.48 cores=0-7
/proc/20605/stat : 20605 (SArTagnan) R 20603 20605 20364 0 -1 4202496 78920 0 0 0 3625 23 0 0 25 0 8 0 260127442 580059136 66524 33554432000 4194304 4625164 140734725374080 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20605/statm: 141616 66524 505 106 0 137119 0
[pid=20605/tid=20606] ppid=20603 vsize=566464 CPUtime=4.57 cores=0-7
/proc/20605/task/20606/stat : 20606 (SArTagnan) R 20603 20605 20364 0 -1 4202560 9828 0 0 0 455 2 0 0 25 0 8 0 260127443 580059136 66524 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20607] ppid=20603 vsize=566464 CPUtime=4.57 cores=0-7
/proc/20605/task/20607/stat : 20607 (SArTagnan) R 20603 20605 20364 0 -1 4202560 11744 0 0 0 454 3 0 0 25 0 8 0 260127443 580059136 66524 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352170 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20605/tid=20608] ppid=20603 vsize=566464 CPUtime=4.52 cores=0-7
/proc/20605/task/20608/stat : 20608 (SArTagnan) R 20603 20605 20364 0 -1 4202560 9487 0 0 0 450 2 0 0 25 0 8 0 260127443 580059136 66524 33554432000 4194304 4625164 140734725374080 18446744073709551615 4552296 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20605/tid=20609] ppid=20603 vsize=566464 CPUtime=4.55 cores=0-7
/proc/20605/task/20609/stat : 20609 (SArTagnan) R 20603 20605 20364 0 -1 4202560 9189 0 0 0 452 3 0 0 25 0 8 0 260127443 580059136 66524 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20605/tid=20610] ppid=20603 vsize=566464 CPUtime=4.5 cores=0-7
/proc/20605/task/20610/stat : 20610 (SArTagnan) R 20603 20605 20364 0 -1 4202560 11363 0 0 0 447 3 0 0 25 0 8 0 260127443 580059136 66524 33554432000 4194304 4625164 140734725374080 18446744073709551615 4349027 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20605/tid=20611] ppid=20603 vsize=566464 CPUtime=4.56 cores=0-7
/proc/20605/task/20611/stat : 20611 (SArTagnan) R 20603 20605 20364 0 -1 4202560 9693 0 0 0 454 2 0 0 25 0 8 0 260127443 580059136 66524 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20605/tid=20612] ppid=20603 vsize=566464 CPUtime=4.57 cores=0-7
/proc/20605/task/20612/stat : 20612 (SArTagnan) R 20603 20605 20364 0 -1 4202560 8837 0 0 0 454 3 0 0 25 0 8 0 260127443 580059136 66524 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351998 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 36.48
Current children cumulated vsize (KiB) 566464

[startup+4.70128 s]
/proc/loadavg: 8.11 8.05 8.01 9/416 20613
/proc/meminfo: memFree=25858112/32950928 swapFree=52006644/67111528
[pid=20605] ppid=20603 vsize=571020 CPUtime=37.28 cores=0-7
/proc/20605/stat : 20605 (SArTagnan) R 20603 20605 20364 0 -1 4202496 81998 0 0 0 3705 23 0 0 25 0 8 0 260127442 584724480 67255 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880670239 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20605/statm: 142755 67256 446 106 0 138258 0
[pid=20605/tid=20606] ppid=20603 vsize=571020 CPUtime=4.67 cores=0-7
/proc/20605/task/20606/stat : 20606 (SArTagnan) R 20603 20605 20364 0 -1 4202560 9905 0 0 0 465 2 0 0 25 0 8 0 260127443 584724480 67256 33554432000 4194304 4625164 140734725374080 18446744073709551615 218880226337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20605/tid=20607] ppid=20603 vsize=571020 CPUtime=4.67 cores=0-7
/proc/20605/task/20607/stat : 20607 (SArTagnan) R 20603 20605 20364 0 -1 4202560 11860 0 0 0 464 3 0 0 25 0 8 0 260127443 584724480 67256 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20605/tid=20608] ppid=20603 vsize=571020 CPUtime=4.62 cores=0-7
/proc/20605/task/20608/stat : 20608 (SArTagnan) R 20603 20605 20364 0 -1 4202560 9748 0 0 0 460 2 0 0 25 0 8 0 260127443 584724480 67257 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20605/tid=20609] ppid=20603 vsize=571020 CPUtime=4.65 cores=0-7
/proc/20605/task/20609/stat : 20609 (SArTagnan) R 20603 20605 20364 0 -1 4202560 9217 0 0 0 462 3 0 0 25 0 8 0 260127443 584724480 67257 33554432000 4194304 4625164 140734725374080 18446744073709551615 4469395 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20605/tid=20610] ppid=20603 vsize=571020 CPUtime=4.6 cores=0-7
/proc/20605/task/20610/stat : 20610 (SArTagnan) R 20603 20605 20364 0 -1 4202560 11614 0 0 0 457 3 0 0 25 0 8 0 260127443 584724480 67257 33554432000 4194304 4625164 140734725374080 18446744073709551615 4349054 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20605/tid=20611] ppid=20603 vsize=571020 CPUtime=4.65 cores=0-7
/proc/20605/task/20611/stat : 20611 (SArTagnan) R 20603 20605 20364 0 -1 4202560 12003 0 0 0 463 2 0 0 25 0 8 0 260127443 584724480 67257 33554432000 4194304 4625164 140734725374080 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20605/tid=20612] ppid=20603 vsize=571020 CPUtime=4.67 cores=0-7
/proc/20605/task/20612/stat : 20612 (SArTagnan) R 20603 20605 20364 0 -1 4202560 8866 0 0 0 464 3 0 0 25 0 8 0 260127443 584724480 67257 33554432000 4194304 4625164 140734725374080 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37.28
Current children cumulated vsize (KiB) 571020

Child status: 10
Real time (s): 4.74732
CPU time (s): 37.5403
CPU user time (s): 37.2903
CPU system time (s): 0.249962
CPU usage (%): 790.768
Max. virtual memory (cumulated for all children) (KiB): 571020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.2903
system time used= 0.249962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82296
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= 2624
involuntary context switches= 151

runsolver used 0.021996 second user time and 0.047992 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-01 12:46:20
IDJOB=3438996
IDBENCH=83229
IDSOLVER=1936
FILE ID=node112/3438996-1306925180
RUNJOBID= node112-1306920169-20378
PBS_JOBID= 13488544
Free space on /tmp= 73732 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-14-27-sat.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438996-1306925180/watcher-3438996-1306925180 -o /tmp/evaluation-result-3438996-1306925180/solver-3438996-1306925180 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3438996-1306925180.cnf -threads=8

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

MD5SUM BENCH= 9c54c57be5bec760a361df7b3a13ea07
RANDOM SEED=576226555

node112.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.847
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.847
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	: 5180.45
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.847
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.76
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.847
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.82
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.847
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.61
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.847
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.847
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.74
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.847
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:     32950928 kB
MemFree:      26115344 kB
Buffers:        295832 kB
Cached:        5576108 kB
SwapCached:      31280 kB
Active:         691756 kB
Inactive:      5859868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26115344 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:             428 kB
Writeback:           0 kB
AnonPages:      657196 kB
Mapped:          11788 kB
Slab:           154648 kB
PageTables:      58760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98613580 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= 73728 MiB
End job on node112 at 2011-06-01 12:46:25