0.00/0.00 c Outputting solution to console
0.00/0.06 c Using 32 threads
0.00/0.07 c This is CryptoMiniSat 3.0.0
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c Reading file 'HOME/instance-3400849-1306910570.cnf'
0.00/0.10 c -- header says num vars: 15364
0.00/0.10 c -- header says num clauses: 2210893
118.48/5.36 c -- clauses added: 0 learnts, 2210893 normals, 0 xors
118.48/5.36 c -- vars added 15364
118.48/5.36 c Parsing time: 2.66 s
118.48/5.36 c N st 0 0 15364 2169520 39444 0 20327211 0 no data no data
142.58/6.18 c asymm cl-useful: 0/4577/2168587 lits-rem:0 time: 0.58
493.77/17.27 c Flit: 20 Blit: 0 bXBeca: 0 bXProp: 136 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 10.96
602.46/20.70 c Replacing 136 vars Replaced 1510727 lits Time: 3.39 s
787.56/34.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
787.56/34.33 c bin-w-bin subsume rem 706 bins time: 0.01 s
813.91/36.28 c subs with bin: 6661 lits-rem: 241 v-fix: 0 time: 1.86 s
815.66/36.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2881 time: 0.06 s
816.99/36.47 c Removed useless bin: 0 fixed: 0 props: 3.91M time: 0.07 s
44527.66/1406.43 c lits-rem: 0 cl-subs: 21348 v-elim: 1112 v-fix: 0 time: 1368.74 s
44527.66/1406.48 c Finding binary XORs T: 0.05 s found: 0
44534.06/1406.62 c calculated reachability. Time: 0.01
44537.26/1406.76 c Calc default polars - time: 0.14 s pos: 430 undec: 2220 neg: 12714
44537.26/1406.76 c =========================================================================================
44537.26/1406.76 c types(t): F = full restart, N = normal restart
44537.26/1406.76 c types(t): S = simplification begin/end, E = solution found
44537.26/1406.76 c restart types(rt): st = static, dy = dynamic
44537.26/1406.76 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
44537.26/1406.76 c B st 0 0 13144 2141932 34626 0 19740814 0 no data no data
44668.11/1410.83 c N dy 20 4199 13137 2141932 34720 4036 19740814 162281 9.09 9.67
44816.43/1415.58 c N dy 50 8215 13136 2141932 46280 7983 19740814 347422 9.64 11.18
44877.15/1417.49 c Finding binary XORs T: 0.05 s found: 71
45018.89/1421.94 c N dy 78 12255 13050 2124109 46268 11569 19615051 513772 9.89 14.47
45125.35/1425.37 c N dy 104 16281 13048 2124109 46290 15547 19615051 695800 9.99 10.69
45230.83/1428.60 c N dy 131 20458 13047 2124109 46498 10077 19615051 232257 10.27 10.85
45390.65/1433.65 c F st 149 25000 13047 2124109 46683 14581 19615050 525195 10.21 9.01
45413.05/1434.36 c Replacing 71 vars Replaced 316283 lits Time: 0.57 s
45432.22/1434.99 c N st 149 25000 12976 2124105 46451 14581 19614734 524966 10.21 9.01
45535.32/1438.26 c Finding binary XORs T: 0.05 s found: 0
45652.20/1442.06 c N dy 155 30001 12976 2124105 46465 19521 19614732 800253 10.21 no data
45652.20/1442.06 c S st 155 30001 12976 2124105 46465 19521 19614732 800253 10.21 no data
45788.59/1446.47 c S st 155 30501 12976 2124105 47202 20008 19614732 814665 10.21 no data
45795.63/1446.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.16
46426.35/1466.44 c Flit: 10 Blit: 1 bXBeca: 0 bXProp: 1 Bins: 345067 BRemL: 163619 BRemN: 2 P: 200.0M T: 19.70
46435.31/1466.78 c Replacing 1 vars Replaced 54 lits Time: 0.33 s
46483.26/1468.21 c blocked clauses removed: 0 vars: 0 tried: 12962 T: 0.02 s
46483.26/1468.24 c bin-w-bin subsume rem 886 bins time: 0.03 s
46981.88/1483.92 c subs with bin: 21186 lits-rem: 60332 v-fix: 0 time: 15.68 s
46985.74/1483.97 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 62 time: 0.05 s
46988.94/1484.05 c Removed useless bin: 20 fixed: 0 props: 1.66M time: 0.06 s
85556.88/2690.81 c lits-rem: 0 cl-subs: 93246 v-elim: 118 v-fix: 0 time: 1206.48 s
85589.54/2691.87 c subs with bin: 169 lits-rem: 6943 v-fix: 0 time: 0.92 s
124296.05/3902.99 c lits-rem: 236 cl-subs: 886 v-elim: 0 v-fix: 0 time: 1209.58 s
124331.22/3904.09 c asymm cl-useful: 0/2300/2008480 lits-rem:0 time: 1.10
124336.95/3904.23 c calculated reachability. Time: 0.02
124336.95/3904.23 c N dy 155 30501 12844 2008480 220114 15425 18741601 887531 10.21 no data
124336.95/3904.29 c Finding binary XORs T: 0.06 s found: 0
124499.98/3909.39 c N dy 175 34579 12840 2008480 220138 19435 18741601 1097313 10.15 10.83
124675.79/3914.80 c Finding binary XORs T: 0.07 s found: 30
124768.45/3917.77 c N dy 199 38663 12609 1945568 672221 21300 17886791 2102270 10.13 10.67
124947.44/3923.36 c N dy 224 42691 12609 1945568 672222 13040 17886789 1501261 10.16 11.10
125027.36/3925.81 c S st 242 45751 12604 1945568 672792 16079 17886786 1637658 10.18 no data
125164.77/3930.20 c S st 242 46251 12604 1945568 672793 16577 17886786 1654032 10.18 no data
125171.82/3930.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.18
125702.42/3946.92 c Flit: 2 Blit: 1 bXBeca: 0 bXProp: 2 Bins: 12714 BRemL: 122415 BRemN: 0 P: 200.0M T: 16.54
125743.34/3948.22 c Replacing 32 vars Replaced 42004 lits Time: 1.30 s
125784.90/3949.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
125788.09/3949.68 c bin-w-bin subsume rem 6455 bins time: 0.08 s
126398.59/3968.75 c subs with bin: 44129 lits-rem: 34879 v-fix: 0 time: 19.07 s
126437.59/3969.97 c Subs w/ non-existent bins: 1396 l-rem: 0 v-fix: 0 done: 189 time: 1.22 s
126689.44/3977.86 c Removed useless bin: 168 fixed: 0 props: 1.34M time: 0.05 s
151816.38/4764.08 c lits-rem: 0 cl-subs: 25203 v-elim: 322 v-fix: 0 time: 785.28 s
151832.34/4764.50 c subs with bin: 369 lits-rem: 2877 v-fix: 0 time: 0.37 s
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-3400849-1306910570/watcher-3400849-1306910570 -o /tmp/evaluation-result-3400849-1306910570/solver-3400849-1306910570 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400849-1306910570.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: 27.43 31.13 31.72 1/413 28577
/proc/meminfo: memFree=263337500/264257624 swapFree=67044780/67111528
[pid=28577] ppid=28575 vsize=338000 CPUtime=0.84 cores=0-31
/proc/28577/stat : 28577 (strangenight2-m) R 28575 28577 28551 0 -1 4202496 439 0 0 0 84 0 0 0 22 0 32 0 17023407 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/28577/statm: 84500 378 297 95 0 79482 0
[pid=28577/tid=28578] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28578/stat : 28578 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 17023407 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28577/tid=28579] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28579/stat : 28579 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 17023407 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28577/tid=28580] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28580/stat : 28580 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 17023407 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28577/tid=28581] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28581/stat : 28581 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 17023407 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=28577/tid=28582] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28582/stat : 28582 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 17023407 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552492 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28577/tid=28583] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28583/stat : 28583 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 17023407 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552496 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=28577/tid=28584] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28584/stat : 28584 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 19 0 32 0 17023407 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552496 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28577/tid=28585] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28585/stat : 28585 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 17023407 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28577/tid=28586] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28586/stat : 28586 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552492 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28577/tid=28587] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28587/stat : 28587 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28577/tid=28588] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28588/stat : 28588 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28577/tid=28589] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28589/stat : 28589 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28577/tid=28590] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28590/stat : 28590 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28577/tid=28591] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28591/stat : 28591 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28577/tid=28592] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28592/stat : 28592 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28577/tid=28593] ppid=28575 vsize=338000 CPUtime=0 cores=0-31
/proc/28577/task/28593/stat : 28593 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28577/tid=28594] ppid=28575 vsize=338000 CPUtime=0 cores=0-31
/proc/28577/task/28594/stat : 28594 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552492 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=28577/tid=28595] ppid=28575 vsize=338000 CPUtime=0 cores=0-31
/proc/28577/task/28595/stat : 28595 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28577/tid=28596] ppid=28575 vsize=338000 CPUtime=0 cores=0-31
/proc/28577/task/28596/stat : 28596 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552496 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28577/tid=28597] ppid=28575 vsize=338000 CPUtime=0.01 cores=0-31
/proc/28577/task/28597/stat : 28597 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28577/tid=28598] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28598/stat : 28598 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 21 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28577/tid=28599] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28599/stat : 28599 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552492 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28577/tid=28600] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28600/stat : 28600 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552492 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28577/tid=28601] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28601/stat : 28601 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552488 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28577/tid=28602] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28602/stat : 28602 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552492 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28577/tid=28603] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28603/stat : 28603 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552502 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=28577/tid=28604] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28604/stat : 28604 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552492 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=28577/tid=28605] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28605/stat : 28605 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28577/tid=28606] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28606/stat : 28606 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552488 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28577/tid=28607] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28607/stat : 28607 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552492 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=28577/tid=28608] ppid=28575 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28577/task/28608/stat : 28608 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 17023408 346112000 378 268435456000 4194304 4580107 140733517668480 18446744073709551615 46964854552498 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.134462 s]
/proc/loadavg: 27.43 31.13 31.72 1/413 28577
/proc/meminfo: memFree=263337500/264257624 swapFree=67044780/67111528
[pid=28577] ppid=28575 vsize=1262972 CPUtime=2.94 cores=0-31
/proc/28577/stat : 28577 (strangenight2-m) S 28575 28577 28551 0 -1 4202496 13495 0 0 0 178 116 0 0 17 0 32 0 17023407 1293283328 13326 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/28577/statm: 315743 13332 334 95 0 310725 0
[pid=28577/tid=28578] ppid=28575 vsize=1262972 CPUtime=0.09 cores=0-31
/proc/28577/task/28578/stat : 28578 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 435 0 0 0 6 3 0 0 17 0 32 0 17023407 1293283328 13336 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 18446604505227353568 0 0 -1 1 0 0 0
[pid=28577/tid=28579] ppid=28575 vsize=1262972 CPUtime=0.09 cores=0-31
/proc/28577/task/28579/stat : 28579 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 458 0 0 0 6 3 0 0 17 0 32 0 17023407 1293283328 13350 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28577/tid=28580] ppid=28575 vsize=1262972 CPUtime=0.1 cores=0-31
/proc/28577/task/28580/stat : 28580 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 406 0 0 0 6 4 0 0 17 0 32 0 17023407 1293283328 13360 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 18446604494443986400 0 0 -1 8 0 0 0
[pid=28577/tid=28581] ppid=28575 vsize=1262972 CPUtime=0.08 cores=0-31
/proc/28577/task/28581/stat : 28581 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 415 0 0 0 5 3 0 0 17 0 32 0 17023407 1293283328 13369 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=28577/tid=28582] ppid=28575 vsize=1262972 CPUtime=0.08 cores=0-31
/proc/28577/task/28582/stat : 28582 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 409 0 0 0 5 3 0 0 17 0 32 0 17023407 1293283328 13379 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 18446604448733822432 0 0 -1 20 0 0 0
[pid=28577/tid=28583] ppid=28575 vsize=1262972 CPUtime=0.09 cores=0-31
/proc/28577/task/28583/stat : 28583 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 452 0 0 0 5 4 0 0 17 0 32 0 17023407 1293283328 13387 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 18446604485360827872 0 0 -1 12 0 0 0
[pid=28577/tid=28584] ppid=28575 vsize=1262972 CPUtime=0.08 cores=0-31
/proc/28577/task/28584/stat : 28584 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 407 0 0 0 5 3 0 0 17 0 32 0 17023407 1293283328 13402 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 18446604457565527520 0 0 -1 28 0 0 0
[pid=28577/tid=28585] ppid=28575 vsize=1262972 CPUtime=0.1 cores=0-31
/proc/28577/task/28585/stat : 28585 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 441 0 0 0 6 4 0 0 17 0 32 0 17023407 1293283328 13410 268435456000 4194304 4580107 140733517668480 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28577/tid=28586] ppid=28575 vsize=1262972 CPUtime=0.09 cores=0-31
/proc/28577/task/28586/stat : 28586 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 398 0 0 0 5 4 0 0 17 0 32 0 17023408 1293283328 13426 268435456000 4194304 4580107 140733517668480 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28577/tid=28587] ppid=28575 vsize=1262972 CPUtime=0.09 cores=0-31
/proc/28577/task/28587/stat : 28587 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 370 0 0 0 6 3 0 0 17 0 32 0 17023408 1293283328 13462 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 18446744071566927184 0 0 -1 3 0 0 0
[pid=28577/tid=28588] ppid=28575 vsize=1262972 CPUtime=0.09 cores=0-31
/proc/28577/task/28588/stat : 28588 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 455 0 0 0 6 3 0 0 17 0 32 0 17023408 1293283328 13523 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28577/tid=28589] ppid=28575 vsize=1262972 CPUtime=0.1 cores=0-31
/proc/28577/task/28589/stat : 28589 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 491 0 0 0 6 4 0 0 17 0 32 0 17023408 1293283328 13534 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28577/tid=28590] ppid=28575 vsize=1262972 CPUtime=0.09 cores=0-31
/proc/28577/task/28590/stat : 28590 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 403 0 0 0 6 3 0 0 17 0 32 0 17023408 1293283328 13543 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28577/tid=28591] ppid=28575 vsize=1262972 CPUtime=0.09 cores=0-31
/proc/28577/task/28591/stat : 28591 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 453 0 0 0 6 3 0 0 17 0 32 0 17023408 1293283328 13570 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28577/tid=28592] ppid=28575 vsize=1262972 CPUtime=0.08 cores=0-31
/proc/28577/task/28592/stat : 28592 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 408 0 0 0 5 3 0 0 17 0 32 0 17023408 1293283328 13575 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 18446604485360827872 0 0 -1 31 0 0 0
[pid=28577/tid=28593] ppid=28575 vsize=1263112 CPUtime=0.05 cores=0-31
/proc/28577/task/28593/stat : 28593 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 446 0 0 0 1 4 0 0 17 0 32 0 17023408 1293426688 13603 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28577/tid=28594] ppid=28575 vsize=1263112 CPUtime=0.06 cores=0-31
/proc/28577/task/28594/stat : 28594 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 387 0 0 0 3 3 0 0 17 0 32 0 17023408 1293426688 13612 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 18446744071566927144 0 0 -1 29 0 0 0
[pid=28577/tid=28595] ppid=28575 vsize=1263112 CPUtime=0.06 cores=0-31
/proc/28577/task/28595/stat : 28595 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 385 0 0 0 3 3 0 0 17 0 32 0 17023408 1293426688 13617 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28577/tid=28596] ppid=28575 vsize=1263112 CPUtime=0.06 cores=0-31
/proc/28577/task/28596/stat : 28596 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 418 0 0 0 3 3 0 0 17 0 32 0 17023408 1293426688 13643 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28577/tid=28597] ppid=28575 vsize=1263112 CPUtime=0.06 cores=0-31
/proc/28577/task/28597/stat : 28597 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 402 0 0 0 3 3 0 0 17 0 32 0 17023408 1293426688 13656 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28577/tid=28598] ppid=28575 vsize=1263112 CPUtime=0.08 cores=0-31
/proc/28577/task/28598/stat : 28598 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 364 0 0 0 5 3 0 0 17 0 32 0 17023408 1293426688 13672 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28577/tid=28599] ppid=28575 vsize=1263112 CPUtime=0.08 cores=0-31
/proc/28577/task/28599/stat : 28599 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 415 0 0 0 5 3 0 0 17 0 32 0 17023408 1293426688 13681 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28577/tid=28600] ppid=28575 vsize=1263112 CPUtime=0.09 cores=0-31
/proc/28577/task/28600/stat : 28600 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 348 0 0 0 5 4 0 0 17 0 32 0 17023408 1293426688 13687 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 18446604506293124576 0 0 -1 11 0 0 0
[pid=28577/tid=28601] ppid=28575 vsize=1263112 CPUtime=0.09 cores=0-31
/proc/28577/task/28601/stat : 28601 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 452 0 0 0 5 4 0 0 17 0 32 0 17023408 1293426688 13702 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28577/tid=28602] ppid=28575 vsize=1263112 CPUtime=0.08 cores=0-31
/proc/28577/task/28602/stat : 28602 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 396 0 0 0 5 3 0 0 17 0 32 0 17023408 1293426688 13709 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28577/tid=28603] ppid=28575 vsize=1263112 CPUtime=0.09 cores=0-31
/proc/28577/task/28603/stat : 28603 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 378 0 0 0 6 3 0 0 17 0 32 0 17023408 1293426688 13712 268435456000 4194304 4580107 140733517668480 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=28577/tid=28604] ppid=28575 vsize=1263112 CPUtime=0.09 cores=0-31
/proc/28577/task/28604/stat : 28604 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 420 0 0 0 6 3 0 0 17 0 32 0 17023408 1293426688 13729 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=28577/tid=28605] ppid=28575 vsize=1263112 CPUtime=0.1 cores=0-31
/proc/28577/task/28605/stat : 28605 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 459 0 0 0 6 4 0 0 17 0 32 0 17023408 1293426688 13738 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28577/tid=28606] ppid=28575 vsize=1263112 CPUtime=0.08 cores=0-31
/proc/28577/task/28606/stat : 28606 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 371 0 0 0 5 3 0 0 17 0 32 0 17023408 1293426688 13789 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28577/tid=28607] ppid=28575 vsize=1263112 CPUtime=0.08 cores=0-31
/proc/28577/task/28607/stat : 28607 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 384 0 0 0 5 3 0 0 17 0 32 0 17023408 1293426688 13837 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=28577/tid=28608] ppid=28575 vsize=1263112 CPUtime=0.09 cores=0-31
/proc/28577/task/28608/stat : 28608 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 432 0 0 0 6 3 0 0 17 0 32 0 17023408 1293426688 13902 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 1262972
[startup+0.224647 s]
/proc/loadavg: 27.43 31.13 31.72 1/413 28577
/proc/meminfo: memFree=263337500/264257624 swapFree=67044780/67111528
[pid=28577] ppid=28575 vsize=1266416 CPUtime=4.97 cores=0-31
/proc/28577/stat : 28577 (strangenight2-m) D 28575 28577 28551 0 -1 4202496 20782 0 0 0 244 253 0 0 17 0 32 0 17023407 1296809984 20613 268435456000 4194304 4580107 140733517668480 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/28577/statm: 316604 20643 334 95 0 311586 0
[pid=28577/tid=28578] ppid=28575 vsize=1266416 CPUtime=0.15 cores=0-31
/proc/28577/task/28578/stat : 28578 (strangenight2-m) D 28575 28577 28551 0 -1 4202560 594 0 0 0 8 7 0 0 17 0 32 0 17023407 1296809984 20682 268435456000 4194304 4580107 140733517668480 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28577/tid=28579] ppid=28575 vsize=1266416 CPUtime=0.16 cores=0-31
/proc/28577/task/28579/stat : 28579 (strangenight2-m) D 28575 28577 28551 0 -1 4202560 842 0 0 0 10 6 0 0 17 0 32 0 17023407 1296809984 20744 268435456000 4194304 4580107 140733517668480 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28577/tid=28580] ppid=28575 vsize=1266416 CPUtime=0.15 cores=0-31
/proc/28577/task/28580/stat : 28580 (strangenight2-m) D 28575 28577 28551 0 -1 4202560 612 0 0 0 7 8 0 0 17 0 32 0 17023407 1296809984 20781 268435456000 4194304 4580107 140733517668480 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28577/tid=28581] ppid=28575 vsize=1266416 CPUtime=0.15 cores=0-31
/proc/28577/task/28581/stat : 28581 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 789 0 0 0 8 7 0 0 17 0 32 0 17023407 1296809984 20813 268435456000 4194304 4580107 140733517668480 18446744073709551615 4510988 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=28577/tid=28582] ppid=28575 vsize=1266416 CPUtime=0.14 cores=0-31
/proc/28577/task/28582/stat : 28582 (strangenight2-m) D 28575 28577 28551 0 -1 4202560 635 0 0 0 7 7 0 0 17 0 32 0 17023407 1296809984 20840 268435456000 4194304 4580107 140733517668480 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28577/tid=28583] ppid=28575 vsize=1266560 CPUtime=0.15 cores=0-31
/proc/28577/task/28583/stat : 28583 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 818 0 0 0 8 7 0 0 17 0 32 0 17023407 1296957440 20867 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=28577/tid=28584] ppid=28575 vsize=1266560 CPUtime=0.15 cores=0-31
/proc/28577/task/28584/stat : 28584 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 702 0 0 0 7 8 0 0 17 0 32 0 17023407 1296957440 20950 268435456000 4194304 4580107 140733517668480 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28577/tid=28585] ppid=28575 vsize=1266560 CPUtime=0.15 cores=0-31
/proc/28577/task/28585/stat : 28585 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 576 0 0 0 7 8 0 0 17 0 32 0 17023407 1296957440 20951 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 18446744071566931504 0 0 -1 5 0 0 0
[pid=28577/tid=28586] ppid=28575 vsize=1266560 CPUtime=0.16 cores=0-31
/proc/28577/task/28586/stat : 28586 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 538 0 0 0 6 10 0 0 17 0 32 0 17023408 1296957440 21157 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 18446604455026343392 0 0 -1 6 0 0 0
[pid=28577/tid=28587] ppid=28575 vsize=1266704 CPUtime=0.14 cores=0-31
/proc/28577/task/28587/stat : 28587 (strangenight2-m) S 28575 28577 28551 0 -1 4202560 542 0 0 0 6 8 0 0 17 0 32 0 17023408 1297104896 21231 268435456000 4194304 4580107 140733517668480 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28577/tid=28588] ppid=28575 vsize=1266704 CPUtime=0.16 cores=0-31
/proc/28577/task/28588/stat : 28588 (strangenight2-m) D 28575 28577 28551 0 -1 4202560 575 0 0 0 8 8 0 0 17 0 32 0 17023408 1297104896 21367 268435456000 4194304 4580107 140733517668480 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28577/tid=28589] ppid=28575 vsize=1266848 CPUtime=0.17 cores=0-31
/proc/28577/task/28589/stat : 28589 (strangenight2-m) D 28575 28577 28551 0 -1 4202560 1047 0 0 0 12 5 0 0 17 0 32 0 17023408 1297252352 21418 268435456000 4194304 4580107 140733517668480 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28577/tid=28590] ppid=28575 vsize=1266848 CPUtime=0.16 cores=0-31
/proc/28577/task/28590/stat : 28590 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 800 0 0 0 10 6 0 0 17 0 32 0 17023408 1297252352 21497 268435456000 4194304 4580107 140733517668480 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28577/tid=28591] ppid=28575 vsize=1266848 CPUtime=0.15 cores=0-31
/proc/28577/task/28591/stat : 28591 (strangenight2-m) D 28575 28577 28551 0 -1 4202560 585 0 0 0 7 8 0 0 17 0 32 0 17023408 1297252352 21546 268435456000 4194304 4580107 140733517668480 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28577/tid=28592] ppid=28575 vsize=1266848 CPUtime=0.15 cores=0-31
/proc/28577/task/28592/stat : 28592 (strangenight2-m) D 28575 28577 28551 0 -1 4202560 707 0 0 0 8 7 0 0 17 0 32 0 17023408 1297252352 21588 268435456000 4194304 4580107 140733517668480 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=28577/tid=28593] ppid=28575 vsize=1266848 CPUtime=0.1 cores=0-31
/proc/28577/task/28593/stat : 28593 (strangenight2-m) D 28575 28577 28551 0 -1 4202560 690 0 0 0 2 8 0 0 17 0 32 0 17023408 1297252352 21660 268435456000 4194304 4580107 140733517668480 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28577/tid=28594] ppid=28575 vsize=1266848 CPUtime=0.14 cores=0-31
################
# More data... #
################
/proc/28577/task/28594/stat : 28594 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 349339 0 0 0 493733 509 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28577/tid=28595] ppid=28575 vsize=32965720 CPUtime=4937.82 cores=0-31
/proc/28577/task/28595/stat : 28595 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 382427 0 0 0 493155 627 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=28577/tid=28596] ppid=28575 vsize=32965720 CPUtime=4934.28 cores=0-31
/proc/28577/task/28596/stat : 28596 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 349951 0 0 0 492888 540 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28577/tid=28597] ppid=28575 vsize=32965720 CPUtime=4911.37 cores=0-31
/proc/28577/task/28597/stat : 28597 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 371656 0 0 0 490442 695 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=28577/tid=28598] ppid=28575 vsize=32965720 CPUtime=4943.59 cores=0-31
/proc/28577/task/28598/stat : 28598 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 394816 0 0 0 493696 663 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28577/tid=28599] ppid=28575 vsize=32965720 CPUtime=4944.75 cores=0-31
/proc/28577/task/28599/stat : 28599 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 345635 0 0 0 494026 449 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451672 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28577/tid=28600] ppid=28575 vsize=32965720 CPUtime=4948.7 cores=0-31
/proc/28577/task/28600/stat : 28600 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 326141 0 0 0 494263 607 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28577/tid=28601] ppid=28575 vsize=32965720 CPUtime=4942.46 cores=0-31
/proc/28577/task/28601/stat : 28601 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 302244 0 0 0 493830 416 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28577/tid=28602] ppid=28575 vsize=32965720 CPUtime=4937.99 cores=0-31
/proc/28577/task/28602/stat : 28602 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 388272 0 0 0 493123 676 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=28577/tid=28603] ppid=28575 vsize=32965720 CPUtime=4938 cores=0-31
/proc/28577/task/28603/stat : 28603 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 317964 0 0 0 493416 384 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28577/tid=28604] ppid=28575 vsize=32965720 CPUtime=4947.45 cores=0-31
/proc/28577/task/28604/stat : 28604 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 353876 0 0 0 494242 503 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28577/tid=28605] ppid=28575 vsize=32965720 CPUtime=4945.01 cores=0-31
/proc/28577/task/28605/stat : 28605 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 335724 0 0 0 494103 398 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=28577/tid=28606] ppid=28575 vsize=32965720 CPUtime=4950.99 cores=0-31
/proc/28577/task/28606/stat : 28606 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 409122 0 0 0 494361 738 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28577/tid=28607] ppid=28575 vsize=32965720 CPUtime=4949.36 cores=0-31
/proc/28577/task/28607/stat : 28607 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 431009 0 0 0 494201 735 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28577/tid=28608] ppid=28575 vsize=32965720 CPUtime=4945.05 cores=0-31
/proc/28577/task/28608/stat : 28608 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 365108 0 0 0 494169 336 0 0 25 0 32 0 17023408 33756897280 6425430 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451687 0 0 4096 2 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 158155
Current children cumulated vsize (KiB) 32965720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5020.1 s]
/proc/loadavg: 32.00 32.02 32.01 33/445 28802
/proc/meminfo: memFree=237478872/264257624 swapFree=67044780/67111528
[pid=28577] ppid=28575 vsize=33367228 CPUtime=160003 cores=0-31
/proc/28577/stat : 28577 (strangenight2-m) R 28575 28577 28551 0 -1 4202496 11016567 0 0 0 15981972 18297 0 0 25 0 32 0 17023407 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28577/statm: 8341807 6452443 379 95 0 8336789 0
[pid=28577/tid=28578] ppid=28575 vsize=33367228 CPUtime=5002.11 cores=0-31
/proc/28577/task/28578/stat : 28578 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 257892 0 0 0 499823 388 0 0 25 0 32 0 17023407 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=28577/tid=28579] ppid=28575 vsize=33367228 CPUtime=4942.26 cores=0-31
/proc/28577/task/28579/stat : 28579 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 214897 0 0 0 493877 349 0 0 25 0 32 0 17023407 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=28577/tid=28580] ppid=28575 vsize=33367228 CPUtime=5010.64 cores=0-31
/proc/28577/task/28580/stat : 28580 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 326131 0 0 0 500440 624 0 0 25 0 32 0 17023407 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28577/tid=28581] ppid=28575 vsize=33367228 CPUtime=5010.37 cores=0-31
/proc/28577/task/28581/stat : 28581 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 337537 0 0 0 500364 673 0 0 25 0 32 0 17023407 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28577/tid=28582] ppid=28575 vsize=33367228 CPUtime=5007.95 cores=0-31
/proc/28577/task/28582/stat : 28582 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 330449 0 0 0 500158 637 0 0 25 0 32 0 17023407 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28577/tid=28583] ppid=28575 vsize=33367228 CPUtime=5009.14 cores=0-31
/proc/28577/task/28583/stat : 28583 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 359636 0 0 0 500243 671 0 0 25 0 32 0 17023407 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28577/tid=28584] ppid=28575 vsize=33367228 CPUtime=5010 cores=0-31
/proc/28577/task/28584/stat : 28584 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 309479 0 0 0 500364 636 0 0 25 0 32 0 17023407 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28577/tid=28585] ppid=28575 vsize=33367228 CPUtime=4990.44 cores=0-31
/proc/28577/task/28585/stat : 28585 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 343564 0 0 0 498456 588 0 0 25 0 32 0 17023407 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28577/tid=28586] ppid=28575 vsize=33367228 CPUtime=5008.3 cores=0-31
/proc/28577/task/28586/stat : 28586 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 354988 0 0 0 500116 714 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28577/tid=28587] ppid=28575 vsize=33367228 CPUtime=5006.01 cores=0-31
/proc/28577/task/28587/stat : 28587 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 329856 0 0 0 500067 534 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28577/tid=28588] ppid=28575 vsize=33367228 CPUtime=4999.41 cores=0-31
/proc/28577/task/28588/stat : 28588 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 289570 0 0 0 499522 419 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28577/tid=28589] ppid=28575 vsize=33367228 CPUtime=5007.92 cores=0-31
/proc/28577/task/28589/stat : 28589 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 362163 0 0 0 500098 694 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28577/tid=28590] ppid=28575 vsize=33367228 CPUtime=4993.01 cores=0-31
/proc/28577/task/28590/stat : 28590 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 371130 0 0 0 498610 691 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=28577/tid=28591] ppid=28575 vsize=33367228 CPUtime=5006.11 cores=0-31
/proc/28577/task/28591/stat : 28591 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 351381 0 0 0 499999 612 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=28577/tid=28592] ppid=28575 vsize=33367228 CPUtime=5001.86 cores=0-31
/proc/28577/task/28592/stat : 28592 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 378052 0 0 0 499574 612 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28577/tid=28593] ppid=28575 vsize=33367228 CPUtime=5003.79 cores=0-31
/proc/28577/task/28593/stat : 28593 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 387625 0 0 0 499825 554 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=28577/tid=28594] ppid=28575 vsize=33367228 CPUtime=5000.23 cores=0-31
/proc/28577/task/28594/stat : 28594 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 349339 0 0 0 499514 509 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28577/tid=28595] ppid=28575 vsize=33367228 CPUtime=4995.63 cores=0-31
/proc/28577/task/28595/stat : 28595 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 382427 0 0 0 498936 627 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=28577/tid=28596] ppid=28575 vsize=33367228 CPUtime=4992.1 cores=0-31
/proc/28577/task/28596/stat : 28596 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 350896 0 0 0 498667 543 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28577/tid=28597] ppid=28575 vsize=33367228 CPUtime=4969.19 cores=0-31
/proc/28577/task/28597/stat : 28597 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 371656 0 0 0 496224 695 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=28577/tid=28598] ppid=28575 vsize=33367228 CPUtime=5001.4 cores=0-31
/proc/28577/task/28598/stat : 28598 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 394816 0 0 0 499477 663 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28577/tid=28599] ppid=28575 vsize=33367228 CPUtime=5002.56 cores=0-31
/proc/28577/task/28599/stat : 28599 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 345635 0 0 0 499807 449 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28577/tid=28600] ppid=28575 vsize=33367228 CPUtime=5006.51 cores=0-31
/proc/28577/task/28600/stat : 28600 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 326719 0 0 0 500042 609 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28577/tid=28601] ppid=28575 vsize=33367228 CPUtime=5000.26 cores=0-31
/proc/28577/task/28601/stat : 28601 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 303661 0 0 0 499607 419 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28577/tid=28602] ppid=28575 vsize=33367228 CPUtime=4995.81 cores=0-31
/proc/28577/task/28602/stat : 28602 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 388272 0 0 0 498905 676 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=28577/tid=28603] ppid=28575 vsize=33367228 CPUtime=4995.82 cores=0-31
/proc/28577/task/28603/stat : 28603 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 332789 0 0 0 499194 388 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28577/tid=28604] ppid=28575 vsize=33367228 CPUtime=5005.26 cores=0-31
/proc/28577/task/28604/stat : 28604 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 353876 0 0 0 500023 503 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28577/tid=28605] ppid=28575 vsize=33367228 CPUtime=5002.82 cores=0-31
/proc/28577/task/28605/stat : 28605 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 335724 0 0 0 499884 398 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451672 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=28577/tid=28606] ppid=28575 vsize=33367228 CPUtime=5008.8 cores=0-31
/proc/28577/task/28606/stat : 28606 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 409122 0 0 0 500142 738 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28577/tid=28607] ppid=28575 vsize=33367228 CPUtime=5007.17 cores=0-31
/proc/28577/task/28607/stat : 28607 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 431009 0 0 0 499982 735 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28577/tid=28608] ppid=28575 vsize=33367228 CPUtime=5002.86 cores=0-31
/proc/28577/task/28608/stat : 28608 (strangenight2-m) R 28575 28577 28551 0 -1 4202560 365108 0 0 0 499950 336 0 0 25 0 32 0 17023408 34168041472 6452443 268435456000 4194304 4580107 140733517668480 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 33367228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -28577
Solver just ended. Dumping a history of the last processes samples
[startup+5020.7 s]
/proc/loadavg: 32.00 32.02 32.01 2/416 28803
/proc/meminfo: memFree=241026992/264257624 swapFree=67044780/67111528
[pid=28577] ppid=28575 vsize=0 CPUtime=160003 cores=0-31
/proc/28577/stat : 28577 (strangenight2-m) Z 28575 28577 28551 0 -1 4203548 11016567 0 0 0 15981994 18354 0 0 25 0 2 0 17023407 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28577/statm: 0 0 0 0 0 0 0
[pid=28577/tid=28590] ppid=28575 vsize=0 CPUtime=4993.58 cores=0-31
/proc/28577/task/28590/stat : 28590 (strangenight2-m) R 28575 28577 28551 0 -1 4203588 371130 0 0 0 498610 748 0 0 25 0 2 0 17023408 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0
[startup+5021.5 s]
/proc/loadavg: 32.00 32.02 32.01 2/416 28803
/proc/meminfo: memFree=254427280/264257624 swapFree=67044780/67111528
[pid=28577] ppid=28575 vsize=0 CPUtime=160004 cores=0-31
/proc/28577/stat : 28577 (strangenight2-m) Z 28575 28577 28551 0 -1 4203548 11016567 0 0 0 15981994 18436 0 0 25 0 2 0 17023407 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28577/statm: 0 0 0 0 0 0 0
[pid=28577/tid=28590] ppid=28575 vsize=0 CPUtime=4994.4 cores=0-31
/proc/28577/task/28590/stat : 28590 (strangenight2-m) R 28575 28577 28551 0 -1 4203588 371130 0 0 0 498610 830 0 0 25 0 2 0 17023408 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5021.9 s]
/proc/loadavg: 32.00 32.02 32.01 2/416 28803
/proc/meminfo: memFree=254427280/264257624 swapFree=67044780/67111528
[pid=28577] ppid=28575 vsize=0 CPUtime=160005 cores=0-31
/proc/28577/stat : 28577 (strangenight2-m) Z 28575 28577 28551 0 -1 4203548 11016567 0 0 0 15981994 18474 0 0 25 0 2 0 17023407 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28577/statm: 0 0 0 0 0 0 0
[pid=28577/tid=28590] ppid=28575 vsize=0 CPUtime=4994.78 cores=0-31
/proc/28577/task/28590/stat : 28590 (strangenight2-m) R 28575 28577 28551 0 -1 4203588 371130 0 0 0 498610 868 0 0 25 0 2 0 17023408 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
[startup+5022.1 s]
/proc/loadavg: 32.00 32.02 32.01 2/416 28803
/proc/meminfo: memFree=254427280/264257624 swapFree=67044780/67111528
[pid=28577] ppid=28575 vsize=0 CPUtime=160005 cores=0-31
/proc/28577/stat : 28577 (strangenight2-m) Z 28575 28577 28551 0 -1 4203548 11016567 0 0 0 15981994 18494 0 0 25 0 2 0 17023407 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28577/statm: 0 0 0 0 0 0 0
[pid=28577/tid=28590] ppid=28575 vsize=0 CPUtime=4994.98 cores=0-31
/proc/28577/task/28590/stat : 28590 (strangenight2-m) R 28575 28577 28551 0 -1 4203588 371130 0 0 0 498610 888 0 0 25 0 2 0 17023408 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
[startup+5022.2 s]
/proc/loadavg: 32.00 32.02 32.01 2/416 28803
/proc/meminfo: memFree=254427280/264257624 swapFree=67044780/67111528
[pid=28577] ppid=28575 vsize=0 CPUtime=160005 cores=0-31
/proc/28577/stat : 28577 (strangenight2-m) Z 28575 28577 28551 0 -1 4203548 11016567 0 0 0 15981994 18504 0 0 25 0 2 0 17023407 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28577/statm: 0 0 0 0 0 0 0
[pid=28577/tid=28590] ppid=28575 vsize=0 CPUtime=4995.08 cores=0-31
/proc/28577/task/28590/stat : 28590 (strangenight2-m) R 28575 28577 28551 0 -1 4203588 371130 0 0 0 498610 898 0 0 25 0 2 0 17023408 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5022.23
CPU time (s): 160005
CPU user time (s): 159820
CPU system time (s): 185.072
CPU usage (%): 3185.94
Max. virtual memory (cumulated for all children) (KiB): 33367228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159820
system time used= 185.072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11016567
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= 1571265
involuntary context switches= 414116
runsolver used 22.7155 second user time and 129.51 second system time
The end
Begin job on node200 at 2011-06-01 08:42:54
IDJOB=3400849
IDBENCH=83466
IDSOLVER=1886
FILE ID=node200/3400849-1306910570
RUNJOBID= node200-1306910570-28565
PBS_JOBID= 13471459
Free space on /tmp= 61468 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400849-1306910570/watcher-3400849-1306910570 -o /tmp/evaluation-result-3400849-1306910570/solver-3400849-1306910570 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400849-1306910570.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 1a1f0dddf727883e0973677dd00e9269
RANDOM SEED=1274108104
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: 263337896 kB
Buffers: 178624 kB
Cached: 543968 kB
SwapCached: 29976 kB
Active: 269048 kB
Inactive: 485820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263337896 kB
SwapTotal: 67111528 kB
SwapFree: 67044780 kB
Dirty: 120140 kB
Writeback: 0 kB
AnonPages: 28908 kB
Mapped: 8344 kB
Slab: 82224 kB
PageTables: 4476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 192228 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= 61932 MiB
End job on node200 at 2011-06-01 10:06:37