Trace number 3373196

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)SAT 3854.26 967.269

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-14-26-sat.cnf
MD5SUM1e53251276ed6dee048eca4aa337d77b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables364
Number of clauses2562
Sum of the clauses size9828
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22366
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 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...425468/instance-3373196-1305425468.cnf
0.00/0.00	c Solving...
3854.00/967.25	c Answer: 1
3854.00/967.25	v -1 -2 -3 -4 -5 -6 7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 18 -19 -20 -21
3854.00/967.25	v -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 32 -33 -34 -35 -36 -37 -38 -39
3854.00/967.25	v -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 51 -52 -53 -54 -55 -56 -57
3854.00/967.25	v -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 69 -70 -71 -72 -73 -74 -75
3854.00/967.25	v -76 77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93
3854.00/967.25	v 94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 109
3854.00/967.25	v -110 -111 -112 -113 -114 115 -116 -117 -118 -119 -120 -121 -122 -123 -124
3854.00/967.25	v -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 138 -139
3854.00/967.25	v -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 154
3854.00/967.25	v -155 -156 -157 -158 -159 -160 161 -162 -163 -164 -165 -166 -167 -168 -169
3854.00/967.25	v -170 171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184
3854.00/967.25	v -185 -186 -187 -188 -189 190 -191 -192 -193 -194 -195 -196 -197 -198 -199
3854.00/967.25	v -200 -201 -202 -203 -204 205 -206 -207 -208 -209 -210 -211 -212 -213 -214
3854.00/967.25	v -215 216 -217 -218 -219 -220 -221 -222 -223 -224 -225 226 -227 -228 -229
3854.00/967.25	v -230 -231 -232 -233 -234 -235 -236 -237 -238 239 -240 -241 -242 -243 -244
3854.00/967.25	v -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 258 -259
3854.00/967.25	v -260 -261 -262 -263 -264 -265 -266 -267 268 -269 -270 -271 -272 -273 -274
3854.00/967.25	v -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 287 -288 -289
3854.00/967.25	v -290 -291 -292 -293 -294 -295 -296 -297 -298 299 -300 -301 -302 -303 -304
3854.00/967.25	v -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319
3854.00/967.25	v -320 -321 322 -323 -324 -325 -326 -327 328 -329 -330 -331 -332 -333 -334
3854.00/967.25	v -335 -336 -337 -338 -339 340 -341 -342 -343 -344 -345 -346 -347 -348 -349
3854.00/967.25	v -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 360 -361 -362 -363 -364
3854.00/967.25	v  0
3854.00/967.26	s SATISFIABLE
3854.00/967.26	
3854.00/967.26	c Models        : 1+    
3854.00/967.26	c Time          : 967.257s (Solving: 967.25s 1st Model: 967.25s Unsat: 0.00s)
3854.00/967.26	c CPU Time      : 3854.240s

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3373196-1305425468/watcher-3373196-1305425468 -o /tmp/evaluation-result-3373196-1305425468/solver-3373196-1305425468 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373196-1305425468.cnf 

running on 4 cores: 1,3,5,7

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: 8.06 8.11 8.00 1/280 7298
/proc/meminfo: memFree=18942636/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=21140 CPUtime=0 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 606 0 0 0 0 0 0 0 25 0 1 0 654146482 21647360 533 33554432000 4194304 4964800 140734079494992 18446744073709551615 4607744 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7298/statm: 5285 534 399 189 0 159 0
[pid=7298/tid=7299] ppid=7296 vsize=102548 CPUtime=0 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 4 0 654146483 105009152 703 33554432000 4194304 4964800 140734079494992 18446744073709551615 274668259232 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=102548 CPUtime=0 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 4 0 654146483 105009152 703 33554432000 4194304 4964800 140734079494992 18446744073709551615 274676624281 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=102548 CPUtime=0 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 67 0 0 0 0 0 0 0 25 0 4 0 654146483 105009152 704 33554432000 4194304 4964800 140734079494992 18446744073709551615 274664469189 0 0 4096 18946 0 0 0 -1 1 0 0 0

[startup+0.0826399 s]
/proc/loadavg: 8.06 8.11 8.00 1/280 7298
/proc/meminfo: memFree=18942636/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=234552 CPUtime=0.28 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 1564 0 0 0 28 0 0 0 18 0 4 0 654146482 240181248 1488 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320970 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7298/statm: 58638 1488 458 189 0 52987 0
[pid=7298/tid=7299] ppid=7296 vsize=234552 CPUtime=0.06 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 142 0 0 0 6 0 0 0 25 0 4 0 654146483 240181248 1488 33554432000 4194304 4964800 140734079494992 18446744073709551615 4380234 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=234552 CPUtime=0.06 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 360 0 0 0 6 0 0 0 25 0 4 0 654146483 240181248 1488 33554432000 4194304 4964800 140734079494992 18446744073709551615 274664913390 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=234552 CPUtime=0.07 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 221 0 0 0 7 0 0 0 25 0 4 0 654146483 240181248 1488 33554432000 4194304 4964800 140734079494992 18446744073709551615 274664913439 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 234552

[startup+0.137 s]
/proc/loadavg: 8.06 8.11 8.00 1/280 7298
/proc/meminfo: memFree=18942636/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=234552 CPUtime=0.5 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 1771 0 0 0 49 1 0 0 18 0 4 0 654146482 240181248 1695 33554432000 4194304 4964800 140734079494992 18446744073709551615 4342144 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7298/statm: 58638 1695 458 189 0 52987 0
[pid=7298/tid=7299] ppid=7296 vsize=234552 CPUtime=0.12 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 177 0 0 0 12 0 0 0 25 0 4 0 654146483 240181248 1695 33554432000 4194304 4964800 140734079494992 18446744073709551615 4658618 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=234552 CPUtime=0.12 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 487 0 0 0 12 0 0 0 25 0 4 0 654146483 240181248 1695 33554432000 4194304 4964800 140734079494992 18446744073709551615 4653219 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=234552 CPUtime=0.12 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 266 0 0 0 12 0 0 0 25 0 4 0 654146483 240181248 1695 33554432000 4194304 4964800 140734079494992 18446744073709551615 4342232 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 234552

[startup+0.300972 s]
/proc/loadavg: 8.06 8.11 8.00 1/280 7298
/proc/meminfo: memFree=18942636/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=235344 CPUtime=1.15 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 2554 0 0 0 114 1 0 0 18 0 4 0 654146482 240992256 2478 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320955 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7298/statm: 58836 2478 458 189 0 53185 0
[pid=7298/tid=7299] ppid=7296 vsize=235344 CPUtime=0.28 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 310 0 0 0 28 0 0 0 25 0 4 0 654146483 240992256 2478 33554432000 4194304 4964800 140734079494992 18446744073709551615 4653304 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=235344 CPUtime=0.28 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 869 0 0 0 28 0 0 0 25 0 4 0 654146483 240992256 2478 33554432000 4194304 4964800 140734079494992 18446744073709551615 4658531 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=235344 CPUtime=0.28 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 402 0 0 0 28 0 0 0 25 0 4 0 654146483 240992256 2478 33554432000 4194304 4964800 140734079494992 18446744073709551615 4660114 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 235344

[startup+0.700906 s]
/proc/loadavg: 8.06 8.11 8.00 1/280 7298
/proc/meminfo: memFree=18942636/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=236004 CPUtime=2.76 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 3890 0 0 0 274 2 0 0 18 0 4 0 654146482 241668096 3814 33554432000 4194304 4964800 140734079494992 18446744073709551615 4684760 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7298/statm: 59001 3814 458 189 0 53350 0
[pid=7298/tid=7299] ppid=7296 vsize=236004 CPUtime=0.68 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 367 0 0 0 68 0 0 0 25 0 4 0 654146483 241668096 3814 33554432000 4194304 4964800 140734079494992 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=236004 CPUtime=0.67 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 1622 0 0 0 67 0 0 0 25 0 4 0 654146483 241668096 3815 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=236004 CPUtime=0.68 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 490 0 0 0 68 0 0 0 25 0 4 0 654146483 241668096 3815 33554432000 4194304 4964800 140734079494992 18446744073709551615 274664469189 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 236004

[startup+1.50079 s]
/proc/loadavg: 7.74 8.04 7.98 9/289 7332
/proc/meminfo: memFree=18925932/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=237192 CPUtime=5.94 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 5309 0 0 0 592 2 0 0 20 0 4 0 654146482 242884608 5233 33554432000 4194304 4964800 140734079494992 18446744073709551615 4332324 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7298/statm: 59298 5233 458 189 0 53647 0
[pid=7298/tid=7299] ppid=7296 vsize=237192 CPUtime=1.48 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 913 0 0 0 148 0 0 0 25 0 4 0 654146483 242884608 5233 33554432000 4194304 4964800 140734079494992 18446744073709551615 4653326 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=237192 CPUtime=1.47 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 1925 0 0 0 146 1 0 0 25 0 4 0 654146483 242884608 5233 33554432000 4194304 4964800 140734079494992 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=237192 CPUtime=1.48 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 714 0 0 0 148 0 0 0 25 0 4 0 654146483 242884608 5233 33554432000 4194304 4964800 140734079494992 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 237192

[startup+3.10049 s]
/proc/loadavg: 7.74 8.04 7.98 9/289 7332
/proc/meminfo: memFree=18918324/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=239668 CPUtime=12.32 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 6841 0 0 0 1229 3 0 0 18 0 4 0 654146482 245420032 6765 33554432000 4194304 4964800 140734079494992 18446744073709551615 4325338 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7298/statm: 59917 6765 458 189 0 54266 0
[pid=7298/tid=7299] ppid=7296 vsize=239668 CPUtime=3.08 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 1323 0 0 0 307 1 0 0 18 0 4 0 654146483 245420032 6765 33554432000 4194304 4964800 140734079494992 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=239668 CPUtime=3.06 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 2435 0 0 0 305 1 0 0 25 0 4 0 654146483 245420032 6765 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=239668 CPUtime=3.08 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 929 0 0 0 308 0 0 0 25 0 4 0 654146483 245420032 6765 33554432000 4194304 4964800 140734079494992 18446744073709551615 4628039 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 239668

[startup+6.30094 s]
/proc/loadavg: 7.84 8.06 7.99 9/289 7332
/proc/meminfo: memFree=18910556/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=240064 CPUtime=25.08 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 7969 0 0 0 2504 4 0 0 19 0 4 0 654146482 245825536 7868 33554432000 4194304 4964800 140734079494992 18446744073709551615 4332418 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7298/statm: 60016 7868 458 189 0 54365 0
[pid=7298/tid=7299] ppid=7296 vsize=240064 CPUtime=6.28 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 1685 0 0 0 627 1 0 0 18 0 4 0 654146483 245825536 7868 33554432000 4194304 4964800 140734079494992 18446744073709551615 4342228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=240064 CPUtime=6.22 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 2755 0 0 0 621 1 0 0 25 0 4 0 654146483 245825536 7868 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=240064 CPUtime=6.28 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 1256 0 0 0 627 1 0 0 25 0 4 0 654146483 245825536 7868 33554432000 4194304 4964800 140734079494992 18446744073709551615 4332351 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 240064

[startup+12.7008 s]
/proc/loadavg: 7.85 8.05 7.99 9/289 7332
/proc/meminfo: memFree=18901364/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=240764 CPUtime=50.61 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 9725 0 0 0 5056 5 0 0 25 0 4 0 654146482 246542336 9468 33554432000 4194304 4964800 140734079494992 18446744073709551615 4321008 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7298/statm: 60191 9468 458 189 0 54540 0
[pid=7298/tid=7299] ppid=7296 vsize=240764 CPUtime=12.67 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 2098 0 0 0 1266 1 0 0 25 0 4 0 654146483 246542336 9468 33554432000 4194304 4964800 140734079494992 18446744073709551615 4653595 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=240764 CPUtime=12.57 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 3456 0 0 0 1255 2 0 0 25 0 4 0 654146483 246542336 9468 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670261 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=240764 CPUtime=12.67 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 1462 0 0 0 1266 1 0 0 25 0 4 0 654146483 246542336 9468 33554432000 4194304 4964800 140734079494992 18446744073709551615 4361114 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 240764

[startup+25.5006 s]
/proc/loadavg: 7.88 8.05 7.99 9/289 7333
/proc/meminfo: memFree=18893812/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=244220 CPUtime=101.68 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 11886 0 0 0 10160 8 0 0 25 0 4 0 654146482 250081280 11399 33554432000 4194304 4964800 140734079494992 18446744073709551615 4332341 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7298/statm: 61055 11399 458 189 0 55404 0
[pid=7298/tid=7299] ppid=7296 vsize=244220 CPUtime=25.47 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 2360 0 0 0 2546 1 0 0 25 0 4 0 654146483 250081280 11399 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=244220 CPUtime=25.25 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 4770 0 0 0 2522 3 0 0 25 0 4 0 654146483 250081280 11399 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=244220 CPUtime=25.47 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 1695 0 0 0 2545 2 0 0 25 0 4 0 654146483 250081280 11399 33554432000 4194304 4964800 140734079494992 18446744073709551615 4332660 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 244220

[startup+51.1012 s]
/proc/loadavg: 7.66 8.00 7.97 9/289 7363
/proc/meminfo: memFree=18889296/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=245932 CPUtime=203.81 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 14693 0 0 0 20369 12 0 0 25 0 4 0 654146482 251834368 13365 33554432000 4194304 4964800 140734079494992 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7298/statm: 61483 13365 458 189 0 55832 0
[pid=7298/tid=7299] ppid=7296 vsize=245932 CPUtime=51.05 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 2714 0 0 0 5103 2 0 0 25 0 4 0 654146483 251834368 13365 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=245932 CPUtime=50.61 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 6314 0 0 0 5057 4 0 0 25 0 4 0 654146483 251834368 13365 33554432000 4194304 4964800 140734079494992 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=245932 CPUtime=51.06 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 2047 0 0 0 5103 3 0 0 25 0 4 0 654146483 251834368 13365 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 245932

[startup+102.31 s]
/proc/loadavg: 7.93 8.02 7.98 9/289 7365
/proc/meminfo: memFree=18850188/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=247520 CPUtime=408.1 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 17902 0 0 0 40790 20 0 0 25 0 4 0 654146482 253460480 14971 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320955 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/7298/statm: 61880 14971 458 189 0 56229 0
[pid=7298/tid=7299] ppid=7296 vsize=247520 CPUtime=102.23 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 4209 0 0 0 10218 5 0 0 25 0 4 0 654146483 253460480 14971 33554432000 4194304 4964800 140734079494992 18446744073709551615 4332375 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=247520 CPUtime=101.64 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 7353 0 0 0 10158 6 0 0 25 0 4 0 654146483 253460480 14971 33554432000 4194304 4964800 140734079494992 18446744073709551615 4363366 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=247520 CPUtime=102.23 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 2277 0 0 0 10219 4 0 0 25 0 4 0 654146483 253460480 14971 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 247520

[startup+162.301 s]

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

/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 7797 0 0 0 75676 22 0 0 25 0 4 0 654146483 263823360 23601 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320849 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3039.6
Current children cumulated vsize (KiB) 257640

[startup+822.301 s]
/proc/loadavg: 9.26 8.59 8.21 10/296 12086
/proc/meminfo: memFree=18783488/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=257640 CPUtime=3278.04 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 49317 0 0 0 327701 103 0 0 25 0 4 0 654146482 263823360 23742 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320970 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/7298/statm: 64410 23742 458 189 0 58759 0
[pid=7298/tid=7299] ppid=7296 vsize=257640 CPUtime=821.07 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 9437 0 0 0 82076 31 0 0 25 0 4 0 654146483 263823360 23742 33554432000 4194304 4964800 140734079494992 18446744073709551615 4325336 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=257640 CPUtime=820.91 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 21778 0 0 0 82064 27 0 0 25 0 4 0 654146483 263823360 23742 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=257640 CPUtime=816.4 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 8000 0 0 0 81617 23 0 0 25 0 4 0 654146483 263823360 23742 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3278.04
Current children cumulated vsize (KiB) 257640

[startup+882.3 s]
/proc/loadavg: 9.34 8.74 8.28 10/297 13824
/proc/meminfo: memFree=18780712/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=258300 CPUtime=3516.51 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 52136 0 0 0 351540 111 0 0 25 0 4 0 654146482 264499200 24073 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670351 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7298/statm: 64575 24073 458 189 0 58924 0
[pid=7298/tid=7299] ppid=7296 vsize=258300 CPUtime=880.9 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 10061 0 0 0 88057 33 0 0 25 0 4 0 654146483 264499200 24073 33554432000 4194304 4964800 140734079494992 18446744073709551615 4332645 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=258300 CPUtime=880.4 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 23861 0 0 0 88011 29 0 0 25 0 4 0 654146483 264499200 24073 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=258300 CPUtime=875.69 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 8108 0 0 0 87544 25 0 0 25 0 4 0 654146483 264499200 24073 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3516.51
Current children cumulated vsize (KiB) 258300

[startup+942.301 s]
/proc/loadavg: 9.12 8.78 8.33 11/296 15498
/proc/meminfo: memFree=18778840/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=257900 CPUtime=3755.02 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 53598 0 0 0 375384 118 0 0 25 0 4 0 654146482 264089600 24346 33554432000 4194304 4964800 140734079494992 18446744073709551615 4325321 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/7298/statm: 64475 24346 458 189 0 58824 0
[pid=7298/tid=7299] ppid=7296 vsize=257900 CPUtime=940.73 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 10602 0 0 0 94039 34 0 0 25 0 4 0 654146483 264089600 24346 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=257900 CPUtime=940.04 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 24633 0 0 0 93973 31 0 0 25 0 4 0 654146483 264089600 24346 33554432000 4194304 4964800 140734079494992 18446744073709551615 4653144 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=257900 CPUtime=935.06 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 8225 0 0 0 93479 27 0 0 25 0 4 0 654146483 264089600 24346 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3755.02
Current children cumulated vsize (KiB) 257900

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

[startup+947.111 s]
/proc/loadavg: 9.11 8.79 8.33 10/297 15670
/proc/meminfo: memFree=18779128/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=257916 CPUtime=3774.13 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 53952 0 0 0 377295 118 0 0 25 0 4 0 654146482 264105984 24377 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/7298/statm: 64479 24377 458 189 0 58828 0
[pid=7298/tid=7299] ppid=7296 vsize=257916 CPUtime=945.5 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 10609 0 0 0 94516 34 0 0 25 0 4 0 654146483 264105984 24377 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320864 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=257916 CPUtime=944.84 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 24761 0 0 0 94453 31 0 0 25 0 4 0 654146483 264105984 24377 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=257916 CPUtime=939.81 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 8410 0 0 0 93954 27 0 0 25 0 4 0 654146483 264105984 24377 33554432000 4194304 4964800 140734079494992 18446744073709551615 4332364 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3774.13
Current children cumulated vsize (KiB) 257916

[startup+959.901 s]
/proc/loadavg: 9.10 8.79 8.34 10/296 16001
/proc/meminfo: memFree=18779824/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=257640 CPUtime=3825.02 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 54346 0 0 0 382383 119 0 0 25 0 4 0 654146482 263823360 24213 33554432000 4194304 4964800 140734079494992 18446744073709551615 274664913439 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/7298/statm: 64410 24213 458 189 0 58759 0
[pid=7298/tid=7299] ppid=7296 vsize=257640 CPUtime=958.27 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 10669 0 0 0 95792 35 0 0 25 0 4 0 654146483 263823360 24213 33554432000 4194304 4964800 140734079494992 18446744073709551615 274664913439 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=257640 CPUtime=957.58 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 25095 0 0 0 95726 32 0 0 25 0 4 0 654146483 263823360 24213 33554432000 4194304 4964800 140734079494992 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=257640 CPUtime=952.48 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 8410 0 0 0 95221 27 0 0 25 0 4 0 654146483 263823360 24213 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3825.02
Current children cumulated vsize (KiB) 257640

[startup+963.1 s]
/proc/loadavg: 9.09 8.80 8.34 11/296 16094
/proc/meminfo: memFree=18780436/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=258212 CPUtime=3837.73 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 54458 0 0 0 383653 120 0 0 25 0 4 0 654146482 264409088 24283 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/7298/statm: 64553 24283 458 189 0 58902 0
[pid=7298/tid=7299] ppid=7296 vsize=258212 CPUtime=961.47 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 10754 0 0 0 96112 35 0 0 25 0 4 0 654146483 264409088 24283 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=258212 CPUtime=960.78 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 25122 0 0 0 96046 32 0 0 20 0 4 0 654146483 264409088 24283 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=258212 CPUtime=955.65 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 8410 0 0 0 95538 27 0 0 18 0 4 0 654146483 264409088 24283 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3837.73
Current children cumulated vsize (KiB) 258212

[startup+964.711 s]
/proc/loadavg: 9.09 8.80 8.34 11/296 16160
/proc/meminfo: memFree=18780096/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=258212 CPUtime=3844.12 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 54458 0 0 0 384292 120 0 0 25 0 4 0 654146482 264409088 24281 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/7298/statm: 64553 24281 458 189 0 58902 0
[pid=7298/tid=7299] ppid=7296 vsize=258212 CPUtime=963.08 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 10754 0 0 0 96273 35 0 0 25 0 4 0 654146483 264409088 24281 33554432000 4194304 4964800 140734079494992 18446744073709551615 4669033 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=258212 CPUtime=962.39 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 25122 0 0 0 96207 32 0 0 25 0 4 0 654146483 264409088 24281 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=258212 CPUtime=957.24 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 8410 0 0 0 95697 27 0 0 21 0 4 0 654146483 264409088 24281 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320921 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3844.12
Current children cumulated vsize (KiB) 258212

[startup+966.301 s]
/proc/loadavg: 9.16 8.82 8.35 10/297 16182
/proc/meminfo: memFree=18779876/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=258212 CPUtime=3850.44 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 54698 0 0 0 384924 120 0 0 25 0 4 0 654146482 264409088 24521 33554432000 4194304 4964800 140734079494992 18446744073709551615 4321038 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/7298/statm: 64553 24521 458 189 0 58902 0
[pid=7298/tid=7299] ppid=7296 vsize=258212 CPUtime=964.67 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 10754 0 0 0 96432 35 0 0 25 0 4 0 654146483 264409088 24521 33554432000 4194304 4964800 140734079494992 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=258212 CPUtime=963.97 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 25362 0 0 0 96365 32 0 0 25 0 4 0 654146483 264409088 24521 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=258212 CPUtime=958.81 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 8410 0 0 0 95854 27 0 0 25 0 4 0 654146483 264409088 24521 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3850.44
Current children cumulated vsize (KiB) 258212

[startup+966.701 s]
/proc/loadavg: 9.16 8.82 8.35 10/297 16182
/proc/meminfo: memFree=18779876/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=258212 CPUtime=3852.02 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 54698 0 0 0 385082 120 0 0 25 0 4 0 654146482 264409088 24518 33554432000 4194304 4964800 140734079494992 18446744073709551615 4321016 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/7298/statm: 64553 24518 458 189 0 58902 0
[pid=7298/tid=7299] ppid=7296 vsize=258212 CPUtime=965.07 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 10754 0 0 0 96472 35 0 0 25 0 4 0 654146483 264409088 24518 33554432000 4194304 4964800 140734079494992 18446744073709551615 4359840 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=258212 CPUtime=964.37 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 25362 0 0 0 96405 32 0 0 25 0 4 0 654146483 264409088 24518 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=258212 CPUtime=959.21 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 8410 0 0 0 95894 27 0 0 25 0 4 0 654146483 264409088 24518 33554432000 4194304 4964800 140734079494992 18446744073709551615 4332095 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3852.02
Current children cumulated vsize (KiB) 258212

[startup+967.101 s]
/proc/loadavg: 9.16 8.82 8.35 10/296 16217
/proc/meminfo: memFree=18779388/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=258212 CPUtime=3853.6 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 54698 0 0 0 385240 120 0 0 25 0 4 0 654146482 264409088 24281 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670520 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/7298/statm: 64553 24281 458 189 0 58902 0
[pid=7298/tid=7299] ppid=7296 vsize=258212 CPUtime=965.47 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 10754 0 0 0 96512 35 0 0 25 0 4 0 654146483 264409088 24281 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=258212 CPUtime=964.77 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 25362 0 0 0 96445 32 0 0 25 0 4 0 654146483 264409088 24281 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=258212 CPUtime=959.6 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 8410 0 0 0 95933 27 0 0 25 0 4 0 654146483 264409088 24281 33554432000 4194304 4964800 140734079494992 18446744073709551615 4660114 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3853.6
Current children cumulated vsize (KiB) 258212

[startup+967.201 s]
/proc/loadavg: 9.16 8.82 8.35 10/296 16217
/proc/meminfo: memFree=18779388/32951132 swapFree=67093824/67111528
[pid=7298] ppid=7296 vsize=258212 CPUtime=3854 cores=1,3,5,7
/proc/7298/stat : 7298 (claspmt) R 7296 7298 6618 0 -1 4202496 54698 0 0 0 385280 120 0 0 25 0 4 0 654146482 264409088 24281 33554432000 4194304 4964800 140734079494992 18446744073709551615 4332355 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/7298/statm: 64553 24281 458 189 0 58902 0
[pid=7298/tid=7299] ppid=7296 vsize=258212 CPUtime=965.57 cores=1,3,5,7
/proc/7298/task/7299/stat : 7299 (claspmt) R 7296 7298 6618 0 -1 4202560 10754 0 0 0 96522 35 0 0 18 0 4 0 654146483 264409088 24281 33554432000 4194304 4964800 140734079494992 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=7298/tid=7300] ppid=7296 vsize=258212 CPUtime=964.87 cores=1,3,5,7
/proc/7298/task/7300/stat : 7300 (claspmt) R 7296 7298 6618 0 -1 4202560 25362 0 0 0 96455 32 0 0 25 0 4 0 654146483 264409088 24281 33554432000 4194304 4964800 140734079494992 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7298/tid=7301] ppid=7296 vsize=258212 CPUtime=959.7 cores=1,3,5,7
/proc/7298/task/7301/stat : 7301 (claspmt) R 7296 7298 6618 0 -1 4202560 8410 0 0 0 95943 27 0 0 25 0 4 0 654146483 264409088 24281 33554432000 4194304 4964800 140734079494992 18446744073709551615 4363307 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3854
Current children cumulated vsize (KiB) 258212

Child status: 10
Real time (s): 967.269
CPU time (s): 3854.26
CPU user time (s): 3853.04
CPU system time (s): 1.21381
CPU usage (%): 398.468
Max. virtual memory (cumulated for all children) (KiB): 258564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3853.04
system time used= 1.21381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54710
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= 246041
involuntary context switches= 34231

runsolver used 2.6316 second user time and 6.16806 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-15 04:11:08
IDJOB=3373196
IDBENCH=83219
IDSOLVER=1853
FILE ID=node131/3373196-1305425468
RUNJOBID= node131-1305424261-6637
PBS_JOBID= 13324598
Free space on /tmp= 73708 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-14-26-sat.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3373196-1305425468/watcher-3373196-1305425468 -o /tmp/evaluation-result-3373196-1305425468/solver-3373196-1305425468 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373196-1305425468.cnf

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

MD5SUM BENCH= 1e53251276ed6dee048eca4aa337d77b
RANDOM SEED=1750198995

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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:     32951132 kB
MemFree:      18942792 kB
Buffers:        278904 kB
Cached:        3753264 kB
SwapCached:       1504 kB
Active:       10580384 kB
Inactive:      3171084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      18942792 kB
SwapTotal:    67111528 kB
SwapFree:     67093824 kB
Dirty:             832 kB
Writeback:           0 kB
AnonPages:     9717768 kB
Mapped:          26956 kB
Slab:           163824 kB
PageTables:      31068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 28024876 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73708 MiB
End job on node131 at 2011-05-15 04:27:16