Trace number 3400831

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
CryptoMiniSat Strange-Night-2-mt (fixed)SAT 65.2211 2.12161

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
32/aes_32_2_keyfind_1.cnf
MD5SUMc192a897c1414e3cc7eb965289993edd
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.64353
Satisfiable
(Un)Satisfiability was proved
Number of variables504
Number of clauses1840
Sum of the clauses size5744
Maximum clause length5
Minimum clause length1
Number of clauses of size 172
Number of clauses of size 280
Number of clauses of size 31280
Number of clauses of size 4368
Number of clauses of size 540
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
1.61/0.08	c This is CryptoMiniSat 3.0.0
1.61/0.08	c WARNING: for repeatability, setting FPU to use double precision
1.61/0.08	c Reading file 'HOME/instance-3400831-1306892039.cnf'
1.61/0.09	c -- header says num vars:            504
1.61/0.09	c -- header says num clauses:        1840
2.33/0.13	c -- clauses added:            0 learnts,         1840 normals,            0 xors
2.33/0.13	c -- vars added        504
2.33/0.13	c Parsing time:  0.00 s
2.33/0.13	c  N st     0         0       504      1656        80         0      5512         0   no data   no data
2.33/0.14	c asymm  cl-useful: 0/1400/1400 lits-rem:0 time: 0.00
2.33/0.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   96 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
2.33/0.14	c Replacing       96 vars Replaced     1716 lits Time:     0.00 s 
2.33/0.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.33/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.33/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.33/0.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
2.33/0.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2.33/0.17	c lits-rem:         0  cl-subs:        0  v-elim:     46  v-fix:    0  time:  0.01 s
2.33/0.17	c Finding binary XORs  T:     0.00 s  found:       0
2.33/0.17	c Finding non-binary XORs:     0.00 s (found:     146, avg size: 3.3)
2.33/0.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     10 locsubst:     0 time:   0.00
2.33/0.17	c calculated reachability. Time: 0.00
2.33/0.17	c Calc default polars -  time:   0.00 s pos:       0 undec:     224 neg:     280
2.33/0.17	c =========================================================================================
2.33/0.17	c types(t): F = full restart, N = normal restart
2.33/0.17	c types(t): S = simplification begin/end, E = solution found
2.33/0.17	c restart types(rt): st = static, dy = dynamic
2.33/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.33/0.17	c  B st     0         0       280       632        16         0      2776         0   no data   no data
2.33/0.27	c Decided on static restart strategy
2.33/0.62	c  N st     8      4916       280       632        36      4606      2776     77867   no data   no data
2.33/1.02	c  N st    10     11301       280       632        63      4299      2776     48161   no data   no data
42.96/1.45	c  N st    11     17044       280       632        63      9592      2776    136290   no data   no data
61.85/2.08	c  F st    12     25001       280       632        63     11741      2776    153444   no data   no data
61.85/2.08	c  N st    12     25001       280       632        63     11741      2776    153444   no data   no data
61.85/2.08	c Finding binary XORs  T:     0.00 s  found:      31
61.85/2.09	c Replacing       31 vars Replaced     5951 lits Time:     0.01 s 
61.85/2.10	c Following stats are for *FIRST FINISHED THREAD ONLY*
61.85/2.10	c num threads              : 32         
61.85/2.10	c restarts                 : 12         
61.85/2.10	c dynamic restarts         : 0          
61.85/2.10	c static restarts          : 12         
61.85/2.10	c full restarts            : 0          
61.85/2.10	c total simplify time      : 0.01       
61.85/2.10	c learnts DL2              : 0          
61.85/2.10	c learnts size 2           : 255        
61.85/2.10	c learnts size 1           : 72          (14.29     % of vars)
61.85/2.10	c filedLit time            : 0.00        (0.10      % time)
61.85/2.10	c v-elim SatELite          : 46          (9.13      % vars)
61.85/2.10	c SatELite time            : 0.00        (0.10      % time)
61.85/2.10	c v-elim xor               : 10          (1.98      % vars)
61.85/2.10	c xor elim time            : 0.00        (0.00      % time)
61.85/2.10	c num binary xor trees     : 127        
61.85/2.10	c binxor trees' crown      : 127         (1.00      leafs/tree)
61.85/2.10	c bin xor find time        : 0.00       
61.85/2.10	c OTF clause improved      : 1916        (0.08      clauses/conflict)
61.85/2.10	c OTF impr. size diff      : 1955        (1.02       lits/clause)
61.85/2.10	c OTF cl watch-shrink      : 2948        (0.12      clauses/conflict)
61.85/2.10	c OTF cl watch-sh-lit      : 3311        (1.12       lits/clause)
61.85/2.10	c tried to recurMin cls    : 3318        (13.31      % of conflicts)
61.85/2.10	c updated cache            : 0           (0.00       lits/tried recurMin)
61.85/2.10	c unit cls recevied        : 0           (0.00      % of units)
61.85/2.10	c unit cls sent            : 0           (0.00      % of units)
61.85/2.10	c bin cls recevied         : 201        
61.85/2.10	c bin cls sent             : 0          
61.85/2.10	c clauses over max glue    : 0           (0.00      % of all clauses)
61.85/2.10	c conflicts                : 24923       (12382.91  / sec)
61.85/2.10	c decisions                : 27385       (0.00      % random)
61.85/2.10	c bogo-props               : 186478013   (92650950.91 / sec)
61.85/2.10	c conflict literals        : 392134      (27.69     % deleted)
61.85/2.10	c Memory used              : 1499.66     MB
61.85/2.10	c single-thread CPU time   : 2.01        s
61.85/2.10	c all-threads sum CPU time : 64.51       s
61.85/2.10	s SATISFIABLE
61.85/2.10	v -1 2 -3 4 5 6 7 8 9 -10 11 12 13 -14 -15 16 17 18 -19 -20 21 -22 23 24 25 -26 -27 -28 -29 30 -31 32 33 34 35 36 37 38 -39 -40 -41 -42 -43 -44 -45 46 47 48 -49 -50 -51 -52 53 54 -55 56 -57 -58 -59 60 61 62 -63 -64 -65 66 -67 68 69 -70 -71 -72 73 74 -75 -76 77 -78 79 80 81 82 83 -84 85 -86 87 -88 89 90 91 92 -93 94 95 -96 97 -98 99 -100 -101 -102 103 104 105 -106 107 108 109 110 111 -112 113 114 -115 -116 -117 118 119 -120 121 -122 -123 124 125 -126 -127 128 129 130 131 132 133 -134 135 -136 -137 138 -139 -140 -141 -142 143 -144 -145 -146 -147 148 149 150 151 152 -153 -154 -155 -156 -157 158 -159 -160 161 162 -163 164 -165 166 167 168 169 170 -171 172 -173 -174 -175 -176 177 178 -179 180 181 182 -183 184 185 186 -187 -188 -189 -190 -191 192 -193 194 -195 -196 -197 198 -199 -200 201 -202 -203 204 -205 206 -207 -208 -209 210 -211 -212 213 -214 -215 216 217 -218 -219 -220 221 -222 -223 -224 -225 -226 -227 228 229 230 -231 -232 -233 234 -235 236 237 238 239 240 241 -242 243 -244 -245 -246 247 248 -249 250 251 252 253 254 255 -256 257 -258 -259 -260 -261 262 -263 264 -265 -266 267 -268 269 -270 -271 -272 273 -274 275 276 -277 -278 279 -280 -281 282 283 -284 285 286 287 288 289 290 291 292 -293 -294 295 296 297 -298 299 -300 301 -302 303 304 305 -306 307 308 -309 310 -311 -312 -313 -314 315 316 -317 318 319 -320 -321 322 323 -324 -325 326 -327 328 -329 330 -331 -332 333 334 335 -336 -337 -338 339 -340 341 342 -343 -344 345 346 -347 348 349 -350 351 -352 -353 -354 355 -356 357 358 -359 360 361 -362 -363 364 -365 -366 367 -368 369 370 -371 -372 -373 -374 375 -376 377 378 -379 -380 -381 382 -383 384 385 386 387 388 -389 -390 -391 -392 393 394 -395 -396 -397 398 399 400 -401 -402 403 404 405 406 -407 408 409 410 -411 412 -413 414 -415 -416 -417 -418 -419 -420 421 422 -423 424 -425 -426 -427 -428 -429 -430 431 -432 433 -434 -435 436 437 -438 439 440 441 442 443 -444 -445 446 447 448 -449 450 -451 -452 -453 454 455 -456 457 -458 -459 460 -461 462 -463 464 465 466 -467 -468 469 -470 -471 472 473 -474 -475 -476 -477 478 -479 -480 -481 -482 -483 484 -485 -486 487 -488 -489 -490 491 492 493 -494 495 496 497 -498 499 500 -501 -502 503 504 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400831-1306892039/watcher-3400831-1306892039 -o /tmp/evaluation-result-3400831-1306892039/solver-3400831-1306892039 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400831-1306892039.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 29.62 31.65 31.90 1/413 26342
/proc/meminfo: memFree=263486256/264257624 swapFree=67044780/67111528
[pid=26342] ppid=26340 vsize=338000 CPUtime=0.8 cores=0-31
/proc/26342/stat : 26342 (strangenight2-m) R 26340 26342 26316 0 -1 4202496 437 0 0 0 80 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/26342/statm: 84500 376 297 95 0 79482 0
[pid=26342/tid=26343] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26343/stat : 26343 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26342/tid=26344] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26344/stat : 26344 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283446 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26345/stat : 26345 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26346/stat : 26346 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26347/stat : 26347 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283436 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26348/stat : 26348 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26349/stat : 26349 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26350/stat : 26350 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283436 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26351/stat : 26351 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26352/stat : 26352 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26353/stat : 26353 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26354/stat : 26354 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26355/stat : 26355 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26356/stat : 26356 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169870 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26357/stat : 26357 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283436 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=338000 CPUtime=0 cores=0-31
/proc/26342/task/26358/stat : 26358 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=338000 CPUtime=0.01 cores=0-31
/proc/26342/task/26359/stat : 26359 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283446 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26360/stat : 26360 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=338000 CPUtime=0 cores=0-31
/proc/26342/task/26361/stat : 26361 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283432 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=26342/tid=26362] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26362/stat : 26362 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26342/tid=26363] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26363/stat : 26363 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283436 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26342/tid=26364] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26364/stat : 26364 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283446 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26342/tid=26365] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26365/stat : 26365 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283440 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26342/tid=26366] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26366/stat : 26366 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26342/tid=26367] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26367/stat : 26367 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26342/tid=26368] ppid=26340 vsize=338000 CPUtime=0 cores=0-31
/proc/26342/task/26368/stat : 26368 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283446 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26342/tid=26369] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26369/stat : 26369 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26342/tid=26370] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26370/stat : 26370 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26342/tid=26371] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26371/stat : 26371 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283436 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26342/tid=26372] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26372/stat : 26372 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26342/tid=26373] ppid=26340 vsize=338000 CPUtime=0.02 cores=0-31
/proc/26342/task/26373/stat : 26373 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15169871 346112000 376 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 21 0 0 0

[startup+0.062598 s]
/proc/loadavg: 29.62 31.65 31.90 1/413 26342
/proc/meminfo: memFree=263486256/264257624 swapFree=67044780/67111528
[pid=26342] ppid=26340 vsize=338000 CPUtime=1.61 cores=0-31
/proc/26342/stat : 26342 (strangenight2-m) R 26340 26342 26316 0 -1 4202496 469 0 0 0 161 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283037 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/26342/statm: 84500 408 300 95 0 79482 0
[pid=26342/tid=26343] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26343/stat : 26343 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 4 0 0 0 5 0 0 0 24 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283027 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26342/tid=26344] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26344/stat : 26344 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26345/stat : 26345 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26346/stat : 26346 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26347/stat : 26347 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26348/stat : 26348 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283027 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26349/stat : 26349 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26350/stat : 26350 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283027 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26351/stat : 26351 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26352/stat : 26352 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26353/stat : 26353 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283024 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26354/stat : 26354 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283024 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26355/stat : 26355 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283024 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26356/stat : 26356 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169870 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283037 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=338000 CPUtime=0.04 cores=0-31
/proc/26342/task/26357/stat : 26357 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283442 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=338000 CPUtime=0 cores=0-31
/proc/26342/task/26358/stat : 26358 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26359/stat : 26359 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283037 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26360/stat : 26360 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26361/stat : 26361 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=26342/tid=26362] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26362/stat : 26362 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26342/tid=26363] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26363/stat : 26363 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26342/tid=26364] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26364/stat : 26364 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283024 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26342/tid=26365] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26365/stat : 26365 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283027 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26342/tid=26366] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26366/stat : 26366 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26342/tid=26367] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26367/stat : 26367 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283031 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26342/tid=26368] ppid=26340 vsize=338000 CPUtime=0.03 cores=0-31
/proc/26342/task/26368/stat : 26368 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26342/tid=26369] ppid=26340 vsize=338000 CPUtime=0.04 cores=0-31
/proc/26342/task/26369/stat : 26369 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26342/tid=26370] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26370/stat : 26370 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283033 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26342/tid=26371] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26371/stat : 26371 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283031 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26342/tid=26372] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26372/stat : 26372 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283024 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26342/tid=26373] ppid=26340 vsize=338000 CPUtime=0.05 cores=0-31
/proc/26342/task/26373/stat : 26373 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 15169871 346112000 408 268435456000 4194304 4580107 140734353648880 18446744073709551615 46993090283037 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 338000

[startup+0.103608 s]
/proc/loadavg: 29.62 31.65 31.90 1/413 26342
/proc/meminfo: memFree=263486256/264257624 swapFree=67044780/67111528
[pid=26342] ppid=26340 vsize=1396608 CPUtime=2.33 cores=0-31
/proc/26342/stat : 26342 (strangenight2-m) D 26340 26342 26316 0 -1 4202496 2212 0 0 0 226 7 0 0 18 0 32 0 15169870 1430126592 2047 268435456000 4194304 4580107 140734353648880 18446744073709551615 258650999207 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/26342/statm: 349152 2058 336 95 0 344134 0
[pid=26342/tid=26343] ppid=26340 vsize=1396608 CPUtime=0.07 cores=0-31
/proc/26342/task/26343/stat : 26343 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 59 0 0 0 7 0 0 0 17 0 32 0 15169870 1430126592 2063 268435456000 4194304 4580107 140734353648880 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26342/tid=26344] ppid=26340 vsize=1404812 CPUtime=0.07 cores=0-31
/proc/26342/task/26344/stat : 26344 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 64 0 0 0 7 0 0 0 17 0 32 0 15169870 1438527488 2065 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 2 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=1404812 CPUtime=0.07 cores=0-31
/proc/26342/task/26345/stat : 26345 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 80 0 0 0 7 0 0 0 17 0 32 0 15169870 1438527488 2069 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604580869914080 0 0 -1 4 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=1404812 CPUtime=0.07 cores=0-31
/proc/26342/task/26346/stat : 26346 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 87 0 0 0 7 0 0 0 17 0 32 0 15169870 1438527488 2084 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604497460067808 0 0 -1 12 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=1413016 CPUtime=0.07 cores=0-31
/proc/26342/task/26347/stat : 26347 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 56 0 0 0 7 0 0 0 17 0 32 0 15169870 1446928384 2086 268435456000 4194304 4580107 140734353648880 18446744073709551615 258650624575 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=1413012 CPUtime=0.07 cores=0-31
/proc/26342/task/26348/stat : 26348 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 66 0 0 0 7 0 0 0 18 0 32 0 15169870 1446924288 2089 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604442904657376 0 0 -1 16 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=1413012 CPUtime=0.07 cores=0-31
/proc/26342/task/26349/stat : 26349 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 89 0 0 0 7 0 0 0 18 0 32 0 15169870 1446924288 2091 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604467506626016 0 0 -1 15 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=1413012 CPUtime=0.07 cores=0-31
/proc/26342/task/26350/stat : 26350 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 66 0 0 0 7 0 0 0 17 0 32 0 15169870 1446924288 2098 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446744071566924504 0 0 -1 5 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=1413148 CPUtime=0.07 cores=0-31
/proc/26342/task/26351/stat : 26351 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 69 0 0 0 7 0 0 0 17 0 32 0 15169870 1447063552 2100 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446744071566925544 0 0 -1 6 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=1413148 CPUtime=0.07 cores=0-31
/proc/26342/task/26352/stat : 26352 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 27 0 0 0 7 0 0 0 17 0 32 0 15169870 1447063552 2103 268435456000 4194304 4580107 140734353648880 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=1413148 CPUtime=0.07 cores=0-31
/proc/26342/task/26353/stat : 26353 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 69 0 0 0 7 0 0 0 17 0 32 0 15169870 1447063552 2110 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446744071566933064 0 0 -1 10 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=1413148 CPUtime=0.07 cores=0-31
/proc/26342/task/26354/stat : 26354 (strangenight2-m) D 26340 26342 26316 0 -1 4202560 31 0 0 0 7 0 0 0 17 0 32 0 15169870 1447063552 2115 268435456000 4194304 4580107 140734353648880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=1413148 CPUtime=0.07 cores=0-31
/proc/26342/task/26355/stat : 26355 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 71 0 0 0 7 0 0 0 25 0 32 0 15169870 1447063552 2116 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604459139063264 0 0 -1 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=1413144 CPUtime=0.07 cores=0-31
/proc/26342/task/26356/stat : 26356 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 73 0 0 0 7 0 0 0 17 0 32 0 15169870 1447059456 2121 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604624932699616 0 0 -1 20 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=1413144 CPUtime=0.04 cores=0-31
/proc/26342/task/26357/stat : 26357 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 29 0 0 0 4 0 0 0 17 0 32 0 15169871 1447059456 2124 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=1413144 CPUtime=0.02 cores=0-31
/proc/26342/task/26358/stat : 26358 (strangenight2-m) S 26340 26342 26316 0 -1 4202560 48 0 0 0 2 0 0 0 25 0 32 0 15169871 1447059456 2128 268435456000 4194304 4580107 140734353648880 18446744073709551615 258651060958 0 0 4096 2 18446604595087424992 0 0 -1 12 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=1413144 CPUtime=0.05 cores=0-31

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

/proc/26342/task/26366/stat : 26366 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 874 0 0 0 152 1 0 0 19 0 32 0 15169871 1570529280 14586 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26342/tid=26367] ppid=26340 vsize=1533720 CPUtime=1.53 cores=0-31
/proc/26342/task/26367/stat : 26367 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 860 0 0 0 152 1 0 0 19 0 32 0 15169871 1570529280 14586 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26342/tid=26368] ppid=26340 vsize=1533720 CPUtime=1.52 cores=0-31
/proc/26342/task/26368/stat : 26368 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 921 0 0 0 150 2 0 0 19 0 32 0 15169871 1570529280 14586 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26342/tid=26369] ppid=26340 vsize=1533720 CPUtime=1.55 cores=0-31
/proc/26342/task/26369/stat : 26369 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 913 0 0 0 153 2 0 0 19 0 32 0 15169871 1570529280 14586 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26342/tid=26370] ppid=26340 vsize=1533720 CPUtime=1.53 cores=0-31
/proc/26342/task/26370/stat : 26370 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 903 0 0 0 151 2 0 0 19 0 32 0 15169871 1570529280 14587 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26342/tid=26371] ppid=26340 vsize=1533720 CPUtime=1.52 cores=0-31
/proc/26342/task/26371/stat : 26371 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 802 0 0 0 151 1 0 0 19 0 32 0 15169871 1570529280 14587 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26342/tid=26372] ppid=26340 vsize=1533720 CPUtime=1.54 cores=0-31
/proc/26342/task/26372/stat : 26372 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 855 0 0 0 152 2 0 0 19 0 32 0 15169871 1570529280 14587 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26342/tid=26373] ppid=26340 vsize=1533720 CPUtime=1.54 cores=0-31
/proc/26342/task/26373/stat : 26373 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 696 0 0 0 153 1 0 0 19 0 32 0 15169871 1570529280 14587 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 49.42
Current children cumulated vsize (KiB) 1533720

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

[startup+1.80162 s]
/proc/loadavg: 29.62 31.65 31.90 1/413 26342
/proc/meminfo: memFree=263486256/264257624 swapFree=67044780/67111528
[pid=26342] ppid=26340 vsize=1533988 CPUtime=55.46 cores=0-31
/proc/26342/stat : 26342 (strangenight2-m) R 26340 26342 26316 0 -1 4202496 30295 0 0 0 5481 65 0 0 19 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/26342/statm: 383497 16181 378 95 0 378479 0
[pid=26342/tid=26343] ppid=26340 vsize=1533988 CPUtime=1.75 cores=0-31
/proc/26342/task/26343/stat : 26343 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1002 0 0 0 173 2 0 0 19 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26342/tid=26344] ppid=26340 vsize=1533988 CPUtime=1.74 cores=0-31
/proc/26342/task/26344/stat : 26344 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 886 0 0 0 173 1 0 0 20 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=1533988 CPUtime=1.7 cores=0-31
/proc/26342/task/26345/stat : 26345 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 963 0 0 0 168 2 0 0 19 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26346/stat : 26346 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 931 0 0 0 171 1 0 0 19 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4291388 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26347/stat : 26347 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 925 0 0 0 172 1 0 0 20 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=1533988 CPUtime=1.71 cores=0-31
/proc/26342/task/26348/stat : 26348 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 943 0 0 0 170 1 0 0 19 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=1533988 CPUtime=1.75 cores=0-31
/proc/26342/task/26349/stat : 26349 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 980 0 0 0 173 2 0 0 20 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294983 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26350/stat : 26350 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 977 0 0 0 171 1 0 0 19 0 32 0 15169870 1570803712 16181 268435456000 4194304 4580107 140734353648880 18446744073709551615 4316768 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26351/stat : 26351 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 963 0 0 0 171 2 0 0 20 0 32 0 15169870 1570803712 16183 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26352/stat : 26352 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 887 0 0 0 171 2 0 0 18 0 32 0 15169870 1570803712 16183 268435456000 4194304 4580107 140734353648880 18446744073709551615 258650620954 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=1533988 CPUtime=1.74 cores=0-31
/proc/26342/task/26353/stat : 26353 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 904 0 0 0 172 2 0 0 20 0 32 0 15169870 1570803712 16184 268435456000 4194304 4580107 140734353648880 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26354/stat : 26354 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 852 0 0 0 170 2 0 0 19 0 32 0 15169870 1570803712 16185 268435456000 4194304 4580107 140734353648880 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26355/stat : 26355 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1020 0 0 0 171 2 0 0 19 0 32 0 15169870 1570803712 16187 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=1533988 CPUtime=1.75 cores=0-31
/proc/26342/task/26356/stat : 26356 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 955 0 0 0 172 3 0 0 20 0 32 0 15169870 1570803712 16187 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=1533988 CPUtime=1.69 cores=0-31
/proc/26342/task/26357/stat : 26357 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 859 0 0 0 168 1 0 0 19 0 32 0 15169871 1570803712 16187 268435456000 4194304 4580107 140734353648880 18446744073709551615 4321597 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=1533988 CPUtime=1.68 cores=0-31
/proc/26342/task/26358/stat : 26358 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 907 0 0 0 167 1 0 0 20 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=1533988 CPUtime=1.71 cores=0-31
/proc/26342/task/26359/stat : 26359 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 916 0 0 0 169 2 0 0 19 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4295107 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26360/stat : 26360 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 867 0 0 0 171 2 0 0 20 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26361/stat : 26361 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 973 0 0 0 170 2 0 0 20 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4322026 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=26342/tid=26362] ppid=26340 vsize=1533988 CPUtime=1.74 cores=0-31
/proc/26342/task/26362/stat : 26362 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 971 0 0 0 173 1 0 0 20 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4306354 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26342/tid=26363] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26363/stat : 26363 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 984 0 0 0 172 1 0 0 20 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4301924 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26342/tid=26364] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26364/stat : 26364 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 950 0 0 0 170 2 0 0 19 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26342/tid=26365] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26365/stat : 26365 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 955 0 0 0 171 1 0 0 19 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26342/tid=26366] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26366/stat : 26366 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 916 0 0 0 171 1 0 0 19 0 32 0 15169871 1570803712 16188 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26342/tid=26367] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26367/stat : 26367 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 912 0 0 0 171 1 0 0 20 0 32 0 15169871 1570803712 16189 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26342/tid=26368] ppid=26340 vsize=1533988 CPUtime=1.71 cores=0-31
/proc/26342/task/26368/stat : 26368 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 979 0 0 0 169 2 0 0 19 0 32 0 15169871 1570803712 16189 268435456000 4194304 4580107 140734353648880 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26342/tid=26369] ppid=26340 vsize=1533988 CPUtime=1.74 cores=0-31
/proc/26342/task/26369/stat : 26369 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 965 0 0 0 172 2 0 0 20 0 32 0 15169871 1570803712 16190 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26342/tid=26370] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26370/stat : 26370 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 948 0 0 0 170 2 0 0 20 0 32 0 15169871 1570803712 16190 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26342/tid=26371] ppid=26340 vsize=1533988 CPUtime=1.71 cores=0-31
/proc/26342/task/26371/stat : 26371 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 859 0 0 0 170 1 0 0 19 0 32 0 15169871 1570803712 16190 268435456000 4194304 4580107 140734353648880 18446744073709551615 4323013 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26342/tid=26372] ppid=26340 vsize=1533988 CPUtime=1.72 cores=0-31
/proc/26342/task/26372/stat : 26372 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 904 0 0 0 170 2 0 0 19 0 32 0 15169871 1570803712 16195 268435456000 4194304 4580107 140734353648880 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26342/tid=26373] ppid=26340 vsize=1533988 CPUtime=1.73 cores=0-31
/proc/26342/task/26373/stat : 26373 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 849 0 0 0 172 1 0 0 19 0 32 0 15169871 1570803712 16196 268435456000 4194304 4580107 140734353648880 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 55.46
Current children cumulated vsize (KiB) 1533988

[startup+2.00163 s]
/proc/loadavg: 29.62 31.65 31.90 1/413 26342
/proc/meminfo: memFree=263486256/264257624 swapFree=67044780/67111528
[pid=26342] ppid=26340 vsize=1535152 CPUtime=61.85 cores=0-31
/proc/26342/stat : 26342 (strangenight2-m) R 26340 26342 26316 0 -1 4202496 33991 0 0 0 6119 66 0 0 20 0 32 0 15169870 1571995648 17149 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/26342/statm: 383788 17151 378 95 0 378770 0
[pid=26342/tid=26343] ppid=26340 vsize=1535152 CPUtime=1.94 cores=0-31
/proc/26342/task/26343/stat : 26343 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1166 0 0 0 192 2 0 0 20 0 32 0 15169870 1571995648 17151 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26342/tid=26344] ppid=26340 vsize=1535152 CPUtime=1.94 cores=0-31
/proc/26342/task/26344/stat : 26344 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 928 0 0 0 193 1 0 0 20 0 32 0 15169870 1571995648 17151 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26342/tid=26345] ppid=26340 vsize=1535152 CPUtime=1.9 cores=0-31
/proc/26342/task/26345/stat : 26345 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1147 0 0 0 188 2 0 0 20 0 32 0 15169870 1571995648 17151 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=26342/tid=26346] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26346/stat : 26346 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 993 0 0 0 191 1 0 0 20 0 32 0 15169870 1571995648 17151 268435456000 4194304 4580107 140734353648880 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=26342/tid=26347] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26347/stat : 26347 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1009 0 0 0 192 1 0 0 20 0 32 0 15169870 1571995648 17151 268435456000 4194304 4580107 140734353648880 18446744073709551615 4301873 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=26342/tid=26348] ppid=26340 vsize=1535152 CPUtime=1.91 cores=0-31
/proc/26342/task/26348/stat : 26348 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1134 0 0 0 190 1 0 0 20 0 32 0 15169870 1571995648 17151 268435456000 4194304 4580107 140734353648880 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26342/tid=26349] ppid=26340 vsize=1535152 CPUtime=1.95 cores=0-31
/proc/26342/task/26349/stat : 26349 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1027 0 0 0 193 2 0 0 20 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=26342/tid=26350] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26350/stat : 26350 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1078 0 0 0 191 1 0 0 20 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26342/tid=26351] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26351/stat : 26351 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1172 0 0 0 191 2 0 0 20 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26342/tid=26352] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26352/stat : 26352 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 937 0 0 0 191 2 0 0 19 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4255383 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=26342/tid=26353] ppid=26340 vsize=1535152 CPUtime=1.94 cores=0-31
/proc/26342/task/26353/stat : 26353 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 949 0 0 0 192 2 0 0 20 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=26342/tid=26354] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26354/stat : 26354 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 899 0 0 0 190 2 0 0 20 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26342/tid=26355] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26355/stat : 26355 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1204 0 0 0 191 2 0 0 19 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26342/tid=26356] ppid=26340 vsize=1535152 CPUtime=1.95 cores=0-31
/proc/26342/task/26356/stat : 26356 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1005 0 0 0 192 3 0 0 20 0 32 0 15169870 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=26342/tid=26357] ppid=26340 vsize=1535152 CPUtime=1.89 cores=0-31
/proc/26342/task/26357/stat : 26357 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 932 0 0 0 188 1 0 0 20 0 32 0 15169871 1571995648 17152 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=26342/tid=26358] ppid=26340 vsize=1535152 CPUtime=1.88 cores=0-31
/proc/26342/task/26358/stat : 26358 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1004 0 0 0 187 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=26342/tid=26359] ppid=26340 vsize=1535152 CPUtime=1.91 cores=0-31
/proc/26342/task/26359/stat : 26359 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 988 0 0 0 189 2 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=26342/tid=26360] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26360/stat : 26360 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 924 0 0 0 191 2 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=26342/tid=26361] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26361/stat : 26361 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1196 0 0 0 190 2 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=26342/tid=26362] ppid=26340 vsize=1535152 CPUtime=1.94 cores=0-31
/proc/26342/task/26362/stat : 26362 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1177 0 0 0 193 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=26342/tid=26363] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26363/stat : 26363 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1044 0 0 0 192 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=26342/tid=26364] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26364/stat : 26364 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1118 0 0 0 190 2 0 0 19 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26342/tid=26365] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26365/stat : 26365 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1148 0 0 0 191 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=26342/tid=26366] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26366/stat : 26366 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 967 0 0 0 191 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=26342/tid=26367] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26367/stat : 26367 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1100 0 0 0 191 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=26342/tid=26368] ppid=26340 vsize=1535152 CPUtime=1.91 cores=0-31
/proc/26342/task/26368/stat : 26368 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1167 0 0 0 189 2 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=26342/tid=26369] ppid=26340 vsize=1535152 CPUtime=1.94 cores=0-31
/proc/26342/task/26369/stat : 26369 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1149 0 0 0 192 2 0 0 18 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=26342/tid=26370] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26370/stat : 26370 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1043 0 0 0 190 2 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=26342/tid=26371] ppid=26340 vsize=1535152 CPUtime=1.91 cores=0-31
/proc/26342/task/26371/stat : 26371 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 943 0 0 0 190 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=26342/tid=26372] ppid=26340 vsize=1535152 CPUtime=1.92 cores=0-31
/proc/26342/task/26372/stat : 26372 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 1092 0 0 0 190 2 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=26342/tid=26373] ppid=26340 vsize=1535152 CPUtime=1.93 cores=0-31
/proc/26342/task/26373/stat : 26373 (strangenight2-m) R 26340 26342 26316 0 -1 4202560 896 0 0 0 192 1 0 0 20 0 32 0 15169871 1571995648 17153 268435456000 4194304 4580107 140734353648880 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 61.85
Current children cumulated vsize (KiB) 1535152

[startup+2.10163 s]
/proc/loadavg: 29.81 31.65 31.91 33/445 26374
/proc/meminfo: memFree=263410440/264257624 swapFree=67044780/67111528
[pid=26342] ppid=26340 vsize=0 CPUtime=65.21 cores=0-31
/proc/26342/stat : 26342 (strangenight2-m) Z 26340 26342 26316 0 -1 4203548 35862 0 0 0 6454 67 0 0 20 0 1 0 15169870 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/26342/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 65.21
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 2.12161
CPU time (s): 65.2211
CPU user time (s): 64.5432
CPU system time (s): 0.677896
CPU usage (%): 3074.13
Max. virtual memory (cumulated for all children) (KiB): 1541612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.5432
system time used= 0.677896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35862
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= 24047
involuntary context switches= 180

runsolver used 0.008998 second user time and 0.06499 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-01 03:33:59
IDJOB=3400831
IDBENCH=83424
IDSOLVER=1886
FILE ID=node200/3400831-1306892039
RUNJOBID= node200-1306892039-26330
PBS_JOBID= 13471400
Free space on /tmp= 61580 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_2_keyfind_1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400831-1306892039/watcher-3400831-1306892039 -o /tmp/evaluation-result-3400831-1306892039/solver-3400831-1306892039 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400831-1306892039.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= c192a897c1414e3cc7eb965289993edd
RANDOM SEED=2068844124

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3996.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263486420 kB
Buffers:        166264 kB
Cached:         409776 kB
SwapCached:      29976 kB
Active:         143628 kB
Inactive:       464488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263486420 kB
SwapTotal:    67111528 kB
SwapFree:     67044780 kB
Dirty:            5832 kB
Writeback:           0 kB
AnonPages:       31212 kB
Mapped:           7228 kB
Slab:            75124 kB
PageTables:       5780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   191772 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61576 MiB
End job on node200 at 2011-06-01 03:34:01