Trace number 3322444

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095SAT 8622.11 1080.68

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3322444-1304385507/watcher-3322444-1304385507 -o /tmp/evaluation-result-3322444-1304385507/solver-3322444-1304385507 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322444-1304385507.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.93 7.92 7.94 2/342 8396
/proc/meminfo: memFree=17684800/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=119360 CPUtime=0 cores=0-7
/proc/8396/stat : 8396 (claspmt) S 8394 8396 8196 0 -1 4202496 885 0 0 0 0 0 0 0 25 0 8 0 530966817 122224640 800 33554432000 4194304 4964704 140734304834576 18446744073709551615 255118584729 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8396/statm: 29840 800 448 189 0 24189 0
[pid=8396/tid=8397] ppid=8394 vsize=119492 CPUtime=0 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 23 0 0 0 0 0 0 0 18 0 8 0 530966818 122359808 852 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106429637 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=119492 CPUtime=0 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 29 0 0 0 0 0 0 0 25 0 8 0 530966818 122359808 852 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106873838 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=119492 CPUtime=0 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 29 0 0 0 0 0 0 0 25 0 8 0 530966818 122359808 853 33554432000 4194304 4964704 140734304834576 18446744073709551615 255118594741 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=119492 CPUtime=0 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 25 0 0 0 0 0 0 0 25 0 8 0 530966818 122359808 854 33554432000 4194304 4964704 140734304834576 18446744073709551615 4467677 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=119492 CPUtime=0 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 33 0 0 0 0 0 0 0 25 0 8 0 530966818 122359808 854 33554432000 4194304 4964704 140734304834576 18446744073709551615 4467677 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=119492 CPUtime=0 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 29 0 0 0 0 0 0 0 25 0 8 0 530966818 122359808 854 33554432000 4194304 4964704 140734304834576 18446744073709551615 255118584729 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=119492 CPUtime=0 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 81 0 0 0 0 0 0 0 18 0 8 0 530966818 122359808 855 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106429637 0 0 4096 18946 0 0 0 -1 6 0 0 0

[startup+0.0476701 s]
/proc/loadavg: 7.93 7.92 7.94 2/342 8396
/proc/meminfo: memFree=17684800/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=381900 CPUtime=0.15 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 1799 0 0 0 14 1 0 0 25 0 8 0 530966817 391065600 1714 33554432000 4194304 4964704 140734304834576 18446744073709551615 4332387 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 95475 1714 464 189 0 89824 0
[pid=8396/tid=8397] ppid=8394 vsize=381900 CPUtime=0.02 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 122 0 0 0 2 0 0 0 17 0 8 0 530966818 391065600 1714 33554432000 4194304 4964704 140734304834576 18446744073709551615 4653264 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=381900 CPUtime=0.01 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 169 0 0 0 1 0 0 0 25 0 8 0 530966818 391065600 1716 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106873838 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=381900 CPUtime=0.01 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 74 0 0 0 1 0 0 0 18 0 8 0 530966818 391065600 1716 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106429985 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=381900 CPUtime=0.01 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 130 0 0 0 1 0 0 0 18 0 8 0 530966818 391065600 1716 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106465200 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=381900 CPUtime=0.01 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 72 0 0 0 1 0 0 0 25 0 8 0 530966818 391065600 1716 33554432000 4194304 4964704 140734304834576 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=381900 CPUtime=0.01 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 198 0 0 0 1 0 0 0 18 0 8 0 530966818 391065600 1717 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106424161 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=381900 CPUtime=0.02 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 292 0 0 0 2 0 0 0 18 0 8 0 530966818 391065600 1717 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 381900

[startup+0.100628 s]
/proc/loadavg: 7.93 7.92 7.94 2/342 8396
/proc/meminfo: memFree=17684800/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=382164 CPUtime=0.58 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 2230 0 0 0 56 2 0 0 25 0 8 0 530966817 391335936 2145 33554432000 4194304 4964704 140734304834576 18446744073709551615 4653121 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 95541 2145 464 189 0 89890 0
[pid=8396/tid=8397] ppid=8394 vsize=382164 CPUtime=0.07 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 145 0 0 0 7 0 0 0 18 0 8 0 530966818 391335936 2145 33554432000 4194304 4964704 140734304834576 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=382164 CPUtime=0.05 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 236 0 0 0 5 0 0 0 25 0 8 0 530966818 391335936 2145 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320993 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=382164 CPUtime=0.06 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 103 0 0 0 6 0 0 0 18 0 8 0 530966818 391335936 2145 33554432000 4194304 4964704 140734304834576 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=382164 CPUtime=0.07 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 220 0 0 0 7 0 0 0 18 0 8 0 530966818 391335936 2145 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670269 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=382164 CPUtime=0.07 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 102 0 0 0 7 0 0 0 25 0 8 0 530966818 391335936 2145 33554432000 4194304 4964704 140734304834576 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=382164 CPUtime=0.06 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 254 0 0 0 6 0 0 0 18 0 8 0 530966818 391335936 2145 33554432000 4194304 4964704 140734304834576 18446744073709551615 4653510 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=382164 CPUtime=0.07 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 352 0 0 0 7 0 0 0 18 0 8 0 530966818 391335936 2145 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 382164

[startup+0.300595 s]
/proc/loadavg: 7.93 7.92 7.94 2/342 8396
/proc/meminfo: memFree=17684800/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=382956 CPUtime=2.17 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 3498 0 0 0 214 3 0 0 25 0 8 0 530966817 392146944 3413 33554432000 4194304 4964704 140734304834576 18446744073709551615 4660105 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 95739 3413 464 189 0 90088 0
[pid=8396/tid=8397] ppid=8394 vsize=382956 CPUtime=0.27 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 258 0 0 0 27 0 0 0 18 0 8 0 530966818 392146944 3414 33554432000 4194304 4964704 140734304834576 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=382956 CPUtime=0.25 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 445 0 0 0 25 0 0 0 18 0 8 0 530966818 392146944 3415 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=382956 CPUtime=0.26 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 265 0 0 0 26 0 0 0 18 0 8 0 530966818 392146944 3415 33554432000 4194304 4964704 140734304834576 18446744073709551615 4654527 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=382956 CPUtime=0.27 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 412 0 0 0 27 0 0 0 18 0 8 0 530966818 392146944 3415 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106429985 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=382956 CPUtime=0.26 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 218 0 0 0 26 0 0 0 25 0 8 0 530966818 392146944 3415 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=382956 CPUtime=0.27 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 394 0 0 0 26 1 0 0 18 0 8 0 530966818 392146944 3415 33554432000 4194304 4964704 140734304834576 18446744073709551615 4668918 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=382956 CPUtime=0.27 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 578 0 0 0 27 0 0 0 18 0 8 0 530966818 392146944 3415 33554432000 4194304 4964704 140734304834576 18446744073709551615 4365906 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 382956

[startup+0.700526 s]
/proc/loadavg: 7.93 7.92 7.94 2/342 8396
/proc/meminfo: memFree=17684800/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=384416 CPUtime=5.36 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 5283 0 0 0 531 5 0 0 25 0 8 0 530966817 393641984 5198 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670312 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 96104 5198 464 189 0 90453 0
[pid=8396/tid=8397] ppid=8394 vsize=384416 CPUtime=0.67 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 453 0 0 0 67 0 0 0 18 0 8 0 530966818 393641984 5198 33554432000 4194304 4964704 140734304834576 18446744073709551615 4683929 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=384416 CPUtime=0.65 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 748 0 0 0 65 0 0 0 18 0 8 0 530966818 393641984 5198 33554432000 4194304 4964704 140734304834576 18446744073709551615 4660156 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=384416 CPUtime=0.65 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 461 0 0 0 65 0 0 0 18 0 8 0 530966818 393641984 5198 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=384416 CPUtime=0.66 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 644 0 0 0 66 0 0 0 18 0 8 0 530966818 393641984 5198 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=384416 CPUtime=0.66 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 506 0 0 0 66 0 0 0 25 0 8 0 530966818 393641984 5198 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=384416 CPUtime=0.67 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 622 0 0 0 66 1 0 0 18 0 8 0 530966818 393641984 5198 33554432000 4194304 4964704 140734304834576 18446744073709551615 4332343 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=384416 CPUtime=0.67 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 720 0 0 0 67 0 0 0 18 0 8 0 530966818 393641984 5198 33554432000 4194304 4964704 140734304834576 18446744073709551615 4327571 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 384416

[startup+1.50039 s]
/proc/loadavg: 7.86 7.90 7.93 9/350 8404
/proc/meminfo: memFree=17662424/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=385568 CPUtime=11.74 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 7725 0 0 0 1168 6 0 0 25 0 8 0 530966817 394821632 7640 33554432000 4194304 4964704 140734304834576 18446744073709551615 4334301 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 96392 7640 464 189 0 90741 0
[pid=8396/tid=8397] ppid=8394 vsize=385568 CPUtime=1.47 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 665 0 0 0 147 0 0 0 20 0 8 0 530966818 394821632 7640 33554432000 4194304 4964704 140734304834576 18446744073709551615 4325338 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=385568 CPUtime=1.44 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 1177 0 0 0 143 1 0 0 19 0 8 0 530966818 394821632 7640 33554432000 4194304 4964704 140734304834576 18446744073709551615 4325338 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=385568 CPUtime=1.45 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 634 0 0 0 145 0 0 0 20 0 8 0 530966818 394821632 7640 33554432000 4194304 4964704 140734304834576 18446744073709551615 4654417 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=385568 CPUtime=1.46 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 998 0 0 0 146 0 0 0 20 0 8 0 530966818 394821632 7640 33554432000 4194304 4964704 140734304834576 18446744073709551615 4684624 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=385568 CPUtime=1.45 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 1001 0 0 0 145 0 0 0 25 0 8 0 530966818 394821632 7640 33554432000 4194304 4964704 140734304834576 18446744073709551615 4654500 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=385568 CPUtime=1.46 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 877 0 0 0 145 1 0 0 19 0 8 0 530966818 394821632 7640 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=385568 CPUtime=1.47 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 983 0 0 0 147 0 0 0 20 0 8 0 530966818 394821632 7640 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.74
Current children cumulated vsize (KiB) 385568

[startup+3.1011 s]
/proc/loadavg: 7.86 7.90 7.93 9/350 8404
/proc/meminfo: memFree=17653124/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=386764 CPUtime=24.52 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 9727 0 0 0 2443 9 0 0 25 0 8 0 530966817 396046336 9642 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670454 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 96691 9642 464 189 0 91040 0
[pid=8396/tid=8397] ppid=8394 vsize=386764 CPUtime=3.06 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 886 0 0 0 306 0 0 0 20 0 8 0 530966818 396046336 9642 33554432000 4194304 4964704 140734304834576 18446744073709551615 4332409 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=386764 CPUtime=3.03 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 1505 0 0 0 302 1 0 0 23 0 8 0 530966818 396046336 9642 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=386764 CPUtime=3.05 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 861 0 0 0 305 0 0 0 25 0 8 0 530966818 396046336 9642 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=386764 CPUtime=3.06 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 1347 0 0 0 305 1 0 0 25 0 8 0 530966818 396046336 9642 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=386764 CPUtime=3.05 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 1380 0 0 0 305 0 0 0 20 0 8 0 530966818 396046336 9642 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=386764 CPUtime=3.06 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 1085 0 0 0 305 1 0 0 22 0 8 0 530966818 396046336 9642 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=386764 CPUtime=3.07 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 1148 0 0 0 306 1 0 0 25 0 8 0 530966818 396046336 9642 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.52
Current children cumulated vsize (KiB) 386764

[startup+6.30054 s]
/proc/loadavg: 7.87 7.91 7.93 9/350 8404
/proc/meminfo: memFree=17642196/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=388676 CPUtime=50.03 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 11811 0 0 0 4990 13 0 0 21 0 8 0 530966817 398004224 11726 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 97169 11726 464 189 0 91518 0
[pid=8396/tid=8397] ppid=8394 vsize=388676 CPUtime=6.26 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 1129 0 0 0 625 1 0 0 25 0 8 0 530966818 398004224 11726 33554432000 4194304 4964704 140734304834576 18446744073709551615 4332616 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=388676 CPUtime=6.18 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 1916 0 0 0 617 1 0 0 25 0 8 0 530966818 398004224 11726 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=388676 CPUtime=6.25 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 1053 0 0 0 624 1 0 0 25 0 8 0 530966818 398004224 11726 33554432000 4194304 4964704 140734304834576 18446744073709551615 4332418 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=388676 CPUtime=6.25 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 1670 0 0 0 624 1 0 0 25 0 8 0 530966818 398004224 11726 33554432000 4194304 4964704 140734304834576 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=388676 CPUtime=6.25 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 1723 0 0 0 624 1 0 0 25 0 8 0 530966818 398004224 11726 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=388676 CPUtime=6.25 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 1221 0 0 0 623 2 0 0 18 0 8 0 530966818 398004224 11726 33554432000 4194304 4964704 140734304834576 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=388676 CPUtime=6.26 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 1379 0 0 0 625 1 0 0 25 0 8 0 530966818 398004224 11726 33554432000 4194304 4964704 140734304834576 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 6 0 0 0

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

/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 9420 0 0 0 105990 88 0 0 25 0 8 0 530966818 421695488 45384 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106873887 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=411812 CPUtime=1059.03 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 6528 0 0 0 105825 78 0 0 25 0 8 0 530966818 421695488 45384 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106873887 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=411812 CPUtime=1061.34 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 4070 0 0 0 106068 66 0 0 25 0 8 0 530966818 421695488 45384 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106873887 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8475.6
Current children cumulated vsize (KiB) 411812

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

[startup+1068.7 s]
/proc/loadavg: 8.16 8.09 8.01 9/350 8435
/proc/meminfo: memFree=17506736/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=411812 CPUtime=8526.66 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 55441 0 0 0 851949 717 0 0 22 0 8 0 530966817 421695488 45300 33554432000 4194304 4964704 140734304834576 18446744073709551615 4332656 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 102953 45300 464 189 0 97302 0
[pid=8396/tid=8397] ppid=8394 vsize=411812 CPUtime=1065.4 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 6530 0 0 0 106414 126 0 0 20 0 8 0 530966818 421695488 45300 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=411812 CPUtime=1066.05 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 8964 0 0 0 106506 99 0 0 25 0 8 0 530966818 421695488 45300 33554432000 4194304 4964704 140734304834576 18446744073709551615 4473200 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=411812 CPUtime=1064.03 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 6084 0 0 0 106320 83 0 0 21 0 8 0 530966818 421695488 45300 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=411812 CPUtime=1064.97 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 7944 0 0 0 106407 90 0 0 25 0 8 0 530966818 421695488 45300 33554432000 4194304 4964704 140734304834576 18446744073709551615 4362425 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=411812 CPUtime=1067.17 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 9420 0 0 0 106628 89 0 0 25 0 8 0 530966818 421695488 45300 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=411812 CPUtime=1065.42 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 6528 0 0 0 106464 78 0 0 25 0 8 0 530966818 421695488 45300 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=411812 CPUtime=1067.73 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 4070 0 0 0 106707 66 0 0 25 0 8 0 530966818 421695488 45300 33554432000 4194304 4964704 140734304834576 18446744073709551615 4660034 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8526.66
Current children cumulated vsize (KiB) 411812

[startup+1075.1 s]
/proc/loadavg: 8.14 8.09 8.01 9/350 8435
/proc/meminfo: memFree=17506660/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=411964 CPUtime=8577.74 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 55545 0 0 0 857054 720 0 0 25 0 8 0 530966817 421851136 45388 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 102991 45388 464 189 0 97340 0
[pid=8396/tid=8397] ppid=8394 vsize=411964 CPUtime=1071.78 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 6538 0 0 0 107052 126 0 0 19 0 8 0 530966818 421851136 45388 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=411964 CPUtime=1072.44 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 8984 0 0 0 107144 100 0 0 20 0 8 0 530966818 421851136 45388 33554432000 4194304 4964704 140734304834576 18446744073709551615 4654456 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=411964 CPUtime=1070.36 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 6084 0 0 0 106952 84 0 0 25 0 8 0 530966818 421851136 45388 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=411964 CPUtime=1071.38 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 7971 0 0 0 107047 91 0 0 25 0 8 0 530966818 421851136 45388 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=411964 CPUtime=1073.56 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 9440 0 0 0 107267 89 0 0 25 0 8 0 530966818 421851136 45388 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=411964 CPUtime=1071.82 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 6557 0 0 0 107104 78 0 0 25 0 8 0 530966818 421851136 45388 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=411964 CPUtime=1074.12 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 4070 0 0 0 107346 66 0 0 20 0 8 0 530966818 421851136 45388 33554432000 4194304 4964704 140734304834576 18446744073709551615 4660043 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8577.74
Current children cumulated vsize (KiB) 411964

[startup+1078.3 s]
/proc/loadavg: 8.13 8.08 8.01 9/350 8435
/proc/meminfo: memFree=17506548/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=411812 CPUtime=8603.28 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 55586 0 0 0 859606 722 0 0 23 0 8 0 530966817 421695488 45391 33554432000 4194304 4964704 140734304834576 18446744073709551615 4660068 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 102953 45391 464 189 0 97302 0
[pid=8396/tid=8397] ppid=8394 vsize=411812 CPUtime=1074.98 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 6555 0 0 0 107371 127 0 0 22 0 8 0 530966818 421695488 45391 33554432000 4194304 4964704 140734304834576 18446744073709551615 4653555 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=411812 CPUtime=1075.64 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 8984 0 0 0 107464 100 0 0 19 0 8 0 530966818 421695488 45391 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106427593 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=411812 CPUtime=1073.51 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 6084 0 0 0 107267 84 0 0 20 0 8 0 530966818 421695488 45391 33554432000 4194304 4964704 140734304834576 18446744073709551615 4654508 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=411812 CPUtime=1074.57 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 7971 0 0 0 107366 91 0 0 25 0 8 0 530966818 421695488 45391 33554432000 4194304 4964704 140734304834576 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=411812 CPUtime=1076.76 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 9440 0 0 0 107587 89 0 0 25 0 8 0 530966818 421695488 45391 33554432000 4194304 4964704 140734304834576 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=411812 CPUtime=1075.01 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 6566 0 0 0 107423 78 0 0 25 0 8 0 530966818 421695488 45391 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=411812 CPUtime=1077.32 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 4070 0 0 0 107666 66 0 0 25 0 8 0 530966818 421695488 45391 33554432000 4194304 4964704 140734304834576 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8603.28
Current children cumulated vsize (KiB) 411812

[startup+1079.9 s]
/proc/loadavg: 8.13 8.08 8.01 9/350 8435
/proc/meminfo: memFree=17506604/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=411812 CPUtime=8616.06 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 55594 0 0 0 860883 723 0 0 25 0 8 0 530966817 421695488 45390 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320981 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 102953 45390 464 189 0 97302 0
[pid=8396/tid=8397] ppid=8394 vsize=411812 CPUtime=1076.57 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 6555 0 0 0 107530 127 0 0 25 0 8 0 530966818 421695488 45390 33554432000 4194304 4964704 140734304834576 18446744073709551615 4332341 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=411812 CPUtime=1077.24 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 8984 0 0 0 107624 100 0 0 23 0 8 0 530966818 421695488 45390 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106466384 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=411812 CPUtime=1075.1 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 6084 0 0 0 107426 84 0 0 25 0 8 0 530966818 421695488 45390 33554432000 4194304 4964704 140734304834576 18446744073709551615 4332324 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=411812 CPUtime=1076.17 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 7979 0 0 0 107526 91 0 0 25 0 8 0 530966818 421695488 45390 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=411812 CPUtime=1078.35 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 9440 0 0 0 107746 89 0 0 18 0 8 0 530966818 421695488 45390 33554432000 4194304 4964704 140734304834576 18446744073709551615 4627540 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=411812 CPUtime=1076.62 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 6566 0 0 0 107583 79 0 0 25 0 8 0 530966818 421695488 45390 33554432000 4194304 4964704 140734304834576 18446744073709551615 4653504 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=411812 CPUtime=1078.92 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 4070 0 0 0 107826 66 0 0 25 0 8 0 530966818 421695488 45390 33554432000 4194304 4964704 140734304834576 18446744073709551615 255106873887 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8616.06
Current children cumulated vsize (KiB) 411812

[startup+1080.3 s]
/proc/loadavg: 8.12 8.08 8.01 8/350 8435
/proc/meminfo: memFree=17506604/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=411812 CPUtime=8619.23 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 55600 0 0 0 861200 723 0 0 25 0 8 0 530966817 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4683983 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 102953 45387 464 189 0 97302 0
[pid=8396/tid=8397] ppid=8394 vsize=411812 CPUtime=1076.97 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 6561 0 0 0 107570 127 0 0 18 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4334301 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=411812 CPUtime=1077.64 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 8984 0 0 0 107664 100 0 0 25 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4325293 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=411812 CPUtime=1075.49 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 6084 0 0 0 107465 84 0 0 25 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=411812 CPUtime=1076.56 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 7979 0 0 0 107565 91 0 0 18 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=411812 CPUtime=1078.76 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 9440 0 0 0 107786 90 0 0 18 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=411812 CPUtime=1077.02 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 6566 0 0 0 107623 79 0 0 25 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=411812 CPUtime=1079.32 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 4070 0 0 0 107866 66 0 0 25 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8619.23
Current children cumulated vsize (KiB) 411812

[startup+1080.5 s]
/proc/loadavg: 8.12 8.08 8.01 8/350 8435
/proc/meminfo: memFree=17506604/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=411812 CPUtime=8620.84 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 55600 0 0 0 861360 724 0 0 25 0 8 0 530966817 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4660105 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 102953 45387 464 189 0 97302 0
[pid=8396/tid=8397] ppid=8394 vsize=411812 CPUtime=1077.17 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 6561 0 0 0 107590 127 0 0 18 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4689045 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=411812 CPUtime=1077.84 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 8984 0 0 0 107684 100 0 0 25 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=411812 CPUtime=1075.69 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 6084 0 0 0 107485 84 0 0 25 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=411812 CPUtime=1076.76 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 7979 0 0 0 107585 91 0 0 18 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=411812 CPUtime=1078.96 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 9440 0 0 0 107806 90 0 0 19 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=411812 CPUtime=1077.22 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 6566 0 0 0 107643 79 0 0 25 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4332346 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=411812 CPUtime=1079.52 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 4070 0 0 0 107886 66 0 0 25 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8620.84
Current children cumulated vsize (KiB) 411812

[startup+1080.6 s]
/proc/loadavg: 8.12 8.08 8.01 8/350 8435
/proc/meminfo: memFree=17506604/32951124 swapFree=67111448/67111528
[pid=8396] ppid=8394 vsize=411812 CPUtime=8621.64 cores=0-7
/proc/8396/stat : 8396 (claspmt) R 8394 8396 8196 0 -1 4202496 55600 0 0 0 861440 724 0 0 25 0 8 0 530966817 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4332341 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/8396/statm: 102953 45387 464 189 0 97302 0
[pid=8396/tid=8397] ppid=8394 vsize=411812 CPUtime=1077.27 cores=0-7
/proc/8396/task/8397/stat : 8397 (claspmt) R 8394 8396 8196 0 -1 4202560 6561 0 0 0 107600 127 0 0 18 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8396/tid=8398] ppid=8394 vsize=411812 CPUtime=1077.94 cores=0-7
/proc/8396/task/8398/stat : 8398 (claspmt) R 8394 8396 8196 0 -1 4202560 8984 0 0 0 107694 100 0 0 25 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8396/tid=8399] ppid=8394 vsize=411812 CPUtime=1075.79 cores=0-7
/proc/8396/task/8399/stat : 8399 (claspmt) R 8394 8396 8196 0 -1 4202560 6084 0 0 0 107495 84 0 0 25 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8396/tid=8400] ppid=8394 vsize=411812 CPUtime=1076.86 cores=0-7
/proc/8396/task/8400/stat : 8400 (claspmt) R 8394 8396 8196 0 -1 4202560 7979 0 0 0 107595 91 0 0 18 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8396/tid=8401] ppid=8394 vsize=411812 CPUtime=1079.06 cores=0-7
/proc/8396/task/8401/stat : 8401 (claspmt) R 8394 8396 8196 0 -1 4202560 9440 0 0 0 107816 90 0 0 19 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8396/tid=8402] ppid=8394 vsize=411812 CPUtime=1077.32 cores=0-7
/proc/8396/task/8402/stat : 8402 (claspmt) R 8394 8396 8196 0 -1 4202560 6566 0 0 0 107653 79 0 0 25 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8396/tid=8403] ppid=8394 vsize=411812 CPUtime=1079.62 cores=0-7
/proc/8396/task/8403/stat : 8403 (claspmt) R 8394 8396 8196 0 -1 4202560 4070 0 0 0 107896 66 0 0 25 0 8 0 530966818 421695488 45387 33554432000 4194304 4964704 140734304834576 18446744073709551615 4342162 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8621.64
Current children cumulated vsize (KiB) 411812

Child status: 10
Real time (s): 1080.68
CPU time (s): 8622.11
CPU user time (s): 8614.86
CPU system time (s): 7.2529
CPU usage (%): 797.844
Max. virtual memory (cumulated for all children) (KiB): 412076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8614.86
system time used= 7.2529
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55614
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= 1574081
involuntary context switches= 40709

runsolver used 3.60745 second user time and 8.18775 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-03 03:18:27
IDJOB=3322444
IDBENCH=83219
IDSOLVER=1711
FILE ID=node144/3322444-1304385507
RUNJOBID= node144-1304385375-8210
PBS_JOBID= 13181789
Free space on /tmp= 73504 MiB

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

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

MD5SUM BENCH= 1e53251276ed6dee048eca4aa337d77b
RANDOM SEED=1096399064

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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.75
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.850
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.82
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.850
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17685328 kB
Buffers:       2155036 kB
Cached:        5391628 kB
SwapCached:         80 kB
Active:        7910084 kB
Inactive:      6764120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17685328 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:             776 kB
Writeback:           0 kB
AnonPages:     7127764 kB
Mapped:          26836 kB
Slab:           488340 kB
PageTables:      36956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 81967856 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= 73504 MiB
End job on node144 at 2011-05-03 03:36:28