0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400867-1307086402.cnf'
1.24/0.08 c -- header says num vars: 19473
1.24/0.08 c -- header says num clauses: 58308
10.39/0.66 c -- clauses added: 0 learnts, 58308 normals, 0 xors
10.39/0.66 c -- vars added 19473
10.39/0.66 c Parsing time: 0.07 s
10.39/0.66 c N st 0 0 19473 19412 38826 0 135888 0 no data no data
32.57/1.39 c asymm cl-useful: 0/19140/19140 lits-rem:0 time: 0.78
103.93/5.86 c Flit: 64 Blit: 256 bXBeca: 0 bXProp: 517 Bins: 0 BRemL: 0 BRemN: 0 P: 12.5M T: 1.93
103.93/5.86 c Cleaning up after failed var search: 0.01 s
103.93/5.89 c Replacing 517 vars Replaced 21834 lits Time: 0.01 s
108.20/6.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
108.20/6.03 c bin-w-bin subsume rem 12 bins time: 0.01 s
108.20/6.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
110.86/6.18 c Subs w/ non-existent bins: 1 l-rem: 1 v-fix: 0 done: 18265 time: 0.12 s
116.89/6.31 c Removed useless bin: 44 fixed: 0 props: 7.04M time: 0.13 s
126.25/6.66 c lits-rem: 4 cl-subs: 2 v-elim: 6088 v-fix: 0 time: 0.20 s
128.29/6.74 c Finding binary XORs T: 0.08 s found: 312
128.29/6.75 c Replacing 312 vars Replaced 2603 lits Time: 0.01 s
128.29/6.77 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
128.29/6.77 c calculated reachability. Time: 0.02
128.29/6.78 c Calc default polars - time: 0.00 s pos: 236 undec: 7637 neg: 11600
128.29/6.78 c =========================================================================================
128.29/6.78 c types(t): F = full restart, N = normal restart
128.29/6.78 c types(t): S = simplification begin/end, E = solution found
128.29/6.78 c restart types(rt): st = static, dy = dynamic
128.29/6.78 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
128.29/6.78 c B st 0 0 11865 12315 29702 0 102562 0 no data no data
169.79/8.03 c N dy 16 4064 11853 12315 29923 3816 102562 65300 5.04 5.38
211.34/9.32 c N dy 47 8164 11752 12315 32866 5418 102562 74583 5.82 6.26
236.91/10.15 c Finding binary XORs T: 0.03 s found: 141
236.91/10.16 c Replacing 141 vars Replaced 4924 lits Time: 0.01 s
256.10/10.72 c N dy 70 12204 11611 12061 32259 5223 100639 44946 5.98 6.36
304.03/12.28 c N dy 98 16348 11508 12061 34319 9316 100639 138667 6.26 6.60
355.19/13.86 c N dy 127 20493 11363 11579 34498 7680 98030 99033 6.41 6.82
383.95/14.72 c Finding binary XORs T: 0.03 s found: 193
383.95/14.73 c Replacing 193 vars Replaced 11736 lits Time: 0.01 s
399.95/15.27 c Following stats are for *FIRST FINISHED THREAD ONLY*
399.95/15.27 c num threads : 32
399.95/15.27 c restarts : 157
399.95/15.27 c dynamic restarts : 145
399.95/15.27 c static restarts : 12
399.95/15.27 c full restarts : 1
399.95/15.27 c total simplify time : 0.09
399.95/15.27 c learnts DL2 : 0
399.95/15.27 c learnts size 2 : 104068
399.95/15.27 c learnts size 1 : 2832 (14.54 % of vars)
399.95/15.27 c filedLit time : 1.65 (13.16 % time)
399.95/15.27 c v-elim SatELite : 6088 (31.26 % vars)
399.95/15.27 c SatELite time : 0.27 (2.18 % time)
399.95/15.27 c v-elim xor : 0 (0.00 % vars)
399.95/15.27 c xor elim time : 0.00 (0.00 % time)
399.95/15.27 c num binary xor trees : 520
399.95/15.27 c binxor trees' crown : 1157 (2.23 leafs/tree)
399.95/15.27 c bin xor find time : 0.14
399.95/15.27 c OTF clause improved : 278 (0.01 clauses/conflict)
399.95/15.27 c OTF impr. size diff : 324 (1.17 lits/clause)
399.95/15.27 c OTF cl watch-shrink : 10662 (0.36 clauses/conflict)
399.95/15.27 c OTF cl watch-sh-lit : 19357 (1.82 lits/clause)
399.95/15.27 c tried to recurMin cls : 13921 (46.78 % of conflicts)
399.95/15.27 c updated cache : 0 (0.00 lits/tried recurMin)
399.95/15.27 c unit cls recevied : 58 (2.05 % of units)
399.95/15.27 c unit cls sent : 3 (0.11 % of units)
399.95/15.27 c bin cls recevied : 7024
399.95/15.27 c bin cls sent : 547
399.95/15.27 c clauses over max glue : 0 (0.00 % of all clauses)
399.95/15.27 c conflicts : 29760 (2376.22 / sec)
399.95/15.27 c decisions : 49632 (0.00 % random)
399.95/15.27 c bogo-props : 241606541 (19291335.76 / sec)
399.95/15.27 c conflict literals : 593398 (34.68 % deleted)
399.95/15.27 c Memory used : 3365.87 MB
399.95/15.27 c single-thread CPU time : 12.52 s
399.95/15.27 c all-threads sum CPU time : 388.61 s
399.95/15.27 s UNSATISFIABLE
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-3400867-1307086402/watcher-3400867-1307086402 -o /tmp/evaluation-result-3400867-1307086402/solver-3400867-1307086402 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400867-1307086402.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): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 32.29 32.08 32.00 1/413 13093
/proc/meminfo: memFree=263032456/264257624 swapFree=67054988/67111528
[pid=13093] ppid=13091 vsize=731452 CPUtime=0.54 cores=0-31
/proc/13093/stat : 13093 (strangenight2-m) D 13091 13093 13067 0 -1 4202496 1435 0 0 0 47 7 0 0 25 0 32 0 14552585 749006848 1282 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616632 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/13093/statm: 182863 1288 315 95 0 177845 0
[pid=13093/tid=13094] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13094/stat : 13094 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 9 0 0 0 1 0 0 0 18 0 32 0 14552585 749006848 1295 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13093/tid=13095] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13095/stat : 13095 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 30 0 0 0 1 0 0 0 24 0 32 0 14552585 749006848 1310 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13093/tid=13096] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13096/stat : 13096 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 59 0 0 0 1 0 0 0 18 0 32 0 14552585 749006848 1311 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13093/tid=13097] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13097/stat : 13097 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 62 0 0 0 1 0 0 0 18 0 32 0 14552585 749006848 1317 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13093/tid=13098] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13098/stat : 13098 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 78 0 0 0 1 0 0 0 24 0 32 0 14552586 749006848 1343 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13093/tid=13099] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13099/stat : 13099 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 60 0 0 0 1 0 0 0 18 0 32 0 14552586 749006848 1344 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13093/tid=13100] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13100/stat : 13100 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 9 0 0 0 1 0 0 0 24 0 32 0 14552586 749006848 1344 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13093/tid=13101] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13101/stat : 13101 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 28 0 0 0 1 0 0 0 25 0 32 0 14552586 749006848 1344 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13093/tid=13102] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13102/stat : 13102 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 40 0 0 0 1 0 0 0 25 0 32 0 14552586 749006848 1344 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13093/tid=13103] ppid=13091 vsize=731452 CPUtime=0.01 cores=0-31
/proc/13093/task/13103/stat : 13103 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 36 0 0 0 1 0 0 0 18 0 32 0 14552586 749006848 1344 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13093/tid=13104] ppid=13091 vsize=731456 CPUtime=0.01 cores=0-31
/proc/13093/task/13104/stat : 13104 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 36 0 0 0 1 0 0 0 25 0 32 0 14552586 749010944 1351 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13093/tid=13105] ppid=13091 vsize=731456 CPUtime=0.01 cores=0-31
/proc/13093/task/13105/stat : 13105 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 17 0 0 0 1 0 0 0 25 0 32 0 14552586 749010944 1351 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13093/tid=13106] ppid=13091 vsize=731456 CPUtime=0.01 cores=0-31
/proc/13093/task/13106/stat : 13106 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 19 0 0 0 1 0 0 0 25 0 32 0 14552586 749010944 1357 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13093/tid=13107] ppid=13091 vsize=731456 CPUtime=0.01 cores=0-31
/proc/13093/task/13107/stat : 13107 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 26 0 0 0 1 0 0 0 18 0 32 0 14552586 749010944 1357 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13093/tid=13108] ppid=13091 vsize=731460 CPUtime=0.01 cores=0-31
/proc/13093/task/13108/stat : 13108 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 19 0 0 0 1 0 0 0 25 0 32 0 14552586 749015040 1371 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13093/tid=13109] ppid=13091 vsize=731460 CPUtime=0.01 cores=0-31
/proc/13093/task/13109/stat : 13109 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 26 0 0 0 1 0 0 0 25 0 32 0 14552586 749015040 1384 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13093/tid=13110] ppid=13091 vsize=731460 CPUtime=0.01 cores=0-31
/proc/13093/task/13110/stat : 13110 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 19 0 0 0 1 0 0 0 25 0 32 0 14552586 749015040 1412 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13093/tid=13111] ppid=13091 vsize=731460 CPUtime=0.01 cores=0-31
/proc/13093/task/13111/stat : 13111 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 25 0 0 0 1 0 0 0 25 0 32 0 14552586 749015040 1413 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13093/tid=13112] ppid=13091 vsize=731460 CPUtime=0.01 cores=0-31
/proc/13093/task/13112/stat : 13112 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 66 0 0 0 1 0 0 0 18 0 32 0 14552586 749015040 1413 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13093/tid=13113] ppid=13091 vsize=731464 CPUtime=0.01 cores=0-31
/proc/13093/task/13113/stat : 13113 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 9 0 0 0 1 0 0 0 25 0 32 0 14552586 749019136 1430 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13093/tid=13114] ppid=13091 vsize=731464 CPUtime=0.01 cores=0-31
/proc/13093/task/13114/stat : 13114 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 111 0 0 0 1 0 0 0 18 0 32 0 14552586 749019136 1442 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13093/tid=13115] ppid=13091 vsize=731468 CPUtime=0.01 cores=0-31
/proc/13093/task/13115/stat : 13115 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 84 0 0 0 1 0 0 0 18 0 32 0 14552586 749023232 1458 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13093/tid=13116] ppid=13091 vsize=731468 CPUtime=0 cores=0-31
/proc/13093/task/13116/stat : 13116 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 53 0 0 0 0 0 0 0 18 0 32 0 14552586 749023232 1512 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13093/tid=13117] ppid=13091 vsize=731468 CPUtime=0 cores=0-31
/proc/13093/task/13117/stat : 13117 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 28 0 0 0 0 0 0 0 18 0 32 0 14552586 749023232 1513 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13093/tid=13118] ppid=13091 vsize=731468 CPUtime=0 cores=0-31
/proc/13093/task/13118/stat : 13118 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 32 0 14552586 749023232 1513 268435456000 4194304 4580107 140736102904880 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13093/tid=13119] ppid=13091 vsize=731472 CPUtime=0 cores=0-31
/proc/13093/task/13119/stat : 13119 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 31 0 0 0 0 0 0 0 18 0 32 0 14552586 749027328 1536 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13093/tid=13120] ppid=13091 vsize=731472 CPUtime=0.01 cores=0-31
/proc/13093/task/13120/stat : 13120 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 50 0 0 0 1 0 0 0 18 0 32 0 14552586 749027328 1590 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13093/tid=13121] ppid=13091 vsize=731472 CPUtime=0.01 cores=0-31
/proc/13093/task/13121/stat : 13121 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 38 0 0 0 1 0 0 0 18 0 32 0 14552586 749027328 1660 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13093/tid=13122] ppid=13091 vsize=731472 CPUtime=0.01 cores=0-31
/proc/13093/task/13122/stat : 13122 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 30 0 0 0 1 0 0 0 18 0 32 0 14552586 749027328 1737 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13093/tid=13123] ppid=13091 vsize=731472 CPUtime=0.01 cores=0-31
/proc/13093/task/13123/stat : 13123 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 24 0 0 0 1 0 0 0 18 0 32 0 14552586 749027328 1797 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13093/tid=13124] ppid=13091 vsize=731472 CPUtime=0 cores=0-31
/proc/13093/task/13124/stat : 13124 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 32 0 14552586 749027328 1887 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.079467 s]
/proc/loadavg: 32.29 32.08 32.00 1/413 13093
/proc/meminfo: memFree=263032456/264257624 swapFree=67054988/67111528
[pid=13093] ppid=13091 vsize=1127544 CPUtime=1.24 cores=0-31
/proc/13093/stat : 13093 (strangenight2-m) R 13091 13093 13067 0 -1 4202496 9692 0 0 0 49 75 0 0 25 0 32 0 14552585 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 31 0 0 0
/proc/13093/statm: 281886 9539 332 95 0 276868 0
[pid=13093/tid=13094] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13094/stat : 13094 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 301 0 0 0 1 2 0 0 17 0 32 0 14552585 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13093/tid=13095] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13095/stat : 13095 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 236 0 0 0 1 2 0 0 17 0 32 0 14552585 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566930824 0 0 -1 16 0 0 0
[pid=13093/tid=13096] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13096/stat : 13096 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 348 0 0 0 1 2 0 0 18 0 32 0 14552585 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13093/tid=13097] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13097/stat : 13097 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 349 0 0 0 1 2 0 0 18 0 32 0 14552585 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604487969873376 0 0 -1 12 0 0 0
[pid=13093/tid=13098] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13098/stat : 13098 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 332 0 0 0 1 2 0 0 18 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566928984 0 0 -1 0 0 0 0
[pid=13093/tid=13099] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13099/stat : 13099 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 303 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13093/tid=13100] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13100/stat : 13100 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 240 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604465193672160 0 0 -1 13 0 0 0
[pid=13093/tid=13101] ppid=13091 vsize=1127544 CPUtime=0.02 cores=0-31
/proc/13093/task/13101/stat : 13101 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 263 0 0 0 1 1 0 0 25 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566929424 0 0 -1 2 0 0 0
[pid=13093/tid=13102] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13102/stat : 13102 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 238 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604500828274144 0 0 -1 6 0 0 0
[pid=13093/tid=13103] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13103/stat : 13103 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 271 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13093/tid=13104] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13104/stat : 13104 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 273 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13093/tid=13105] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13105/stat : 13105 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 237 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566933824 0 0 -1 7 0 0 0
[pid=13093/tid=13106] ppid=13091 vsize=1127544 CPUtime=0.03 cores=0-31
/proc/13093/task/13106/stat : 13106 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 258 0 0 0 1 2 0 0 17 0 32 0 14552586 1154605056 9539 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13093/tid=13107] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13107/stat : 13107 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 338 0 0 0 1 2 0 0 18 0 32 0 14552586 1154740224 9546 268435456000 4194304 4580107 140736102904880 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13093/tid=13108] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13108/stat : 13108 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 341 0 0 0 1 2 0 0 18 0 32 0 14552586 1154740224 9551 268435456000 4194304 4580107 140736102904880 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13093/tid=13109] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13109/stat : 13109 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 294 0 0 0 1 2 0 0 25 0 32 0 14552586 1154740224 9560 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13093/tid=13110] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13110/stat : 13110 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 241 0 0 0 1 2 0 0 17 0 32 0 14552586 1154740224 9565 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566927624 0 0 -1 22 0 0 0
[pid=13093/tid=13111] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13111/stat : 13111 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 257 0 0 0 1 2 0 0 25 0 32 0 14552586 1154740224 9570 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566930744 0 0 -1 19 0 0 0
[pid=13093/tid=13112] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13112/stat : 13112 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 358 0 0 0 1 2 0 0 18 0 32 0 14552586 1154740224 9577 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13093/tid=13113] ppid=13091 vsize=1127676 CPUtime=0.02 cores=0-31
/proc/13093/task/13113/stat : 13113 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 247 0 0 0 1 1 0 0 25 0 32 0 14552586 1154740224 9602 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13093/tid=13114] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13114/stat : 13114 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 372 0 0 0 1 2 0 0 17 0 32 0 14552586 1154740224 9612 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604641101692384 0 0 -1 5 0 0 0
[pid=13093/tid=13115] ppid=13091 vsize=1127676 CPUtime=0.03 cores=0-31
/proc/13093/task/13115/stat : 13115 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 364 0 0 0 1 2 0 0 17 0 32 0 14552586 1154740224 9620 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13093/tid=13116] ppid=13091 vsize=1127808 CPUtime=0.02 cores=0-31
/proc/13093/task/13116/stat : 13116 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 297 0 0 0 0 2 0 0 17 0 32 0 14552586 1154875392 9626 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566931664 0 0 -1 23 0 0 0
[pid=13093/tid=13117] ppid=13091 vsize=1127808 CPUtime=0.02 cores=0-31
/proc/13093/task/13117/stat : 13117 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 331 0 0 0 0 2 0 0 18 0 32 0 14552586 1154875392 9640 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13093/tid=13118] ppid=13091 vsize=1127808 CPUtime=0.01 cores=0-31
/proc/13093/task/13118/stat : 13118 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 253 0 0 0 0 1 0 0 17 0 32 0 14552586 1154875392 9640 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13093/tid=13119] ppid=13091 vsize=1127808 CPUtime=0.02 cores=0-31
/proc/13093/task/13119/stat : 13119 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 329 0 0 0 0 2 0 0 17 0 32 0 14552586 1154875392 9648 268435456000 4194304 4580107 140736102904880 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13093/tid=13120] ppid=13091 vsize=1127808 CPUtime=0.03 cores=0-31
/proc/13093/task/13120/stat : 13120 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 354 0 0 0 1 2 0 0 18 0 32 0 14552586 1154875392 9653 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13093/tid=13121] ppid=13091 vsize=1127808 CPUtime=0.03 cores=0-31
/proc/13093/task/13121/stat : 13121 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 235 0 0 0 1 2 0 0 17 0 32 0 14552586 1154875392 9653 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566930744 0 0 -1 9 0 0 0
[pid=13093/tid=13122] ppid=13091 vsize=1127808 CPUtime=0.03 cores=0-31
/proc/13093/task/13122/stat : 13122 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 252 0 0 0 1 2 0 0 17 0 32 0 14552586 1154875392 9669 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604446897774048 0 0 -1 17 0 0 0
[pid=13093/tid=13123] ppid=13091 vsize=1127808 CPUtime=0.03 cores=0-31
/proc/13093/task/13123/stat : 13123 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 356 0 0 0 1 2 0 0 18 0 32 0 14552586 1154875392 9672 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13093/tid=13124] ppid=13091 vsize=1127808 CPUtime=0.01 cores=0-31
/proc/13093/task/13124/stat : 13124 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 236 0 0 0 0 1 0 0 17 0 32 0 14552586 1154875392 9677 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566928504 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 1127544
[startup+0.103516 s]
/proc/loadavg: 32.29 32.08 32.00 1/413 13093
/proc/meminfo: memFree=263032456/264257624 swapFree=67054988/67111528
[pid=13093] ppid=13091 vsize=1132020 CPUtime=1.46 cores=0-31
/proc/13093/stat : 13093 (strangenight2-m) R 13091 13093 13067 0 -1 4202496 13185 0 0 0 51 95 0 0 18 0 32 0 14552585 1159188480 12633 268435456000 4194304 4580107 140736102904880 18446744073709551615 4308164 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13093/statm: 283005 12645 333 95 0 277987 0
[pid=13093/tid=13094] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13094/stat : 13094 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 448 0 0 0 1 2 0 0 17 0 32 0 14552585 1159188480 12648 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13093/tid=13095] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13095/stat : 13095 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 237 0 0 0 1 2 0 0 17 0 32 0 14552585 1159188480 12654 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604495267880416 0 0 -1 16 0 0 0
[pid=13093/tid=13096] ppid=13091 vsize=1132020 CPUtime=0.04 cores=0-31
/proc/13093/task/13096/stat : 13096 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 529 0 0 0 1 3 0 0 18 0 32 0 14552585 1159188480 12672 268435456000 4194304 4580107 140736102904880 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13093/tid=13097] ppid=13091 vsize=1132020 CPUtime=0.04 cores=0-31
/proc/13093/task/13097/stat : 13097 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 503 0 0 0 1 3 0 0 17 0 32 0 14552585 1159188480 12674 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13093/tid=13098] ppid=13091 vsize=1132020 CPUtime=0.04 cores=0-31
/proc/13093/task/13098/stat : 13098 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 473 0 0 0 1 3 0 0 17 0 32 0 14552586 1159188480 12678 268435456000 4194304 4580107 140736102904880 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13093/tid=13099] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13099/stat : 13099 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 395 0 0 0 1 2 0 0 17 0 32 0 14552586 1159188480 12689 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616986 0 0 4096 2 1744896 0 0 -1 4 0 0 0
[pid=13093/tid=13100] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13100/stat : 13100 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 274 0 0 0 1 2 0 0 17 0 32 0 14552586 1159188480 12693 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604484312653280 0 0 -1 13 0 0 0
[pid=13093/tid=13101] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13101/stat : 13101 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 339 0 0 0 1 2 0 0 17 0 32 0 14552586 1159188480 12708 268435456000 4194304 4580107 140736102904880 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13093/tid=13102] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13102/stat : 13102 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 238 0 0 0 1 2 0 0 17 0 32 0 14552586 1159188480 12708 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566923944 0 0 -1 6 0 0 0
[pid=13093/tid=13103] ppid=13091 vsize=1132020 CPUtime=0.04 cores=0-31
/proc/13093/task/13103/stat : 13103 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 349 0 0 0 1 3 0 0 17 0 32 0 14552586 1159188480 12713 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604643931913696 0 0 -1 3 0 0 0
[pid=13093/tid=13104] ppid=13091 vsize=1132020 CPUtime=0.04 cores=0-31
/proc/13093/task/13104/stat : 13104 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 383 0 0 0 1 3 0 0 17 0 32 0 14552586 1159188480 12728 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446604502619274720 0 0 -1 10 0 0 0
[pid=13093/tid=13105] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13105/stat : 13105 (strangenight2-m) S 13091 13093 13067 0 -1 4202560 238 0 0 0 1 2 0 0 17 0 32 0 14552586 1159188480 12743 268435456000 4194304 4580107 140736102904880 18446744073709551615 258651060958 0 0 4096 2 18446744071566933824 0 0 -1 7 0 0 0
[pid=13093/tid=13106] ppid=13091 vsize=1132020 CPUtime=0.03 cores=0-31
/proc/13093/task/13106/stat : 13106 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 365 0 0 0 1 2 0 0 17 0 32 0 14552586 1159188480 12710 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13093/tid=13107] ppid=13091 vsize=1131888 CPUtime=0.04 cores=0-31
/proc/13093/task/13107/stat : 13107 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 528 0 0 0 1 3 0 0 18 0 32 0 14552586 1159053312 12722 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13093/tid=13108] ppid=13091 vsize=1131888 CPUtime=0.05 cores=0-31
/proc/13093/task/13108/stat : 13108 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 571 0 0 0 2 3 0 0 18 0 32 0 14552586 1159053312 12744 268435456000 4194304 4580107 140736102904880 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13093/tid=13109] ppid=13091 vsize=1131888 CPUtime=0.03 cores=0-31
/proc/13093/task/13109/stat : 13109 (strangenight2-m) D 13091 13093 13067 0 -1 4202560 403 0 0 0 1 2 0 0 17 0 32 0 14552586 1159053312 12744 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13093/tid=13110] ppid=13091 vsize=1131888 CPUtime=0.03 cores=0-31
################
# More data... #
################
/proc/13093/task/13118/stat : 13118 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11084 0 0 0 949 38 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13093/tid=13119] ppid=13091 vsize=3437732 CPUtime=9.79 cores=0-31
/proc/13093/task/13119/stat : 13119 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10949 0 0 0 939 40 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=13093/tid=13120] ppid=13091 vsize=3437732 CPUtime=10.34 cores=0-31
/proc/13093/task/13120/stat : 13120 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11171 0 0 0 995 39 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13093/tid=13121] ppid=13091 vsize=3437732 CPUtime=9.77 cores=0-31
/proc/13093/task/13121/stat : 13121 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10581 0 0 0 934 43 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13093/tid=13122] ppid=13091 vsize=3437732 CPUtime=9.84 cores=0-31
/proc/13093/task/13122/stat : 13122 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10257 0 0 0 944 40 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13093/tid=13123] ppid=13091 vsize=3437732 CPUtime=10.27 cores=0-31
/proc/13093/task/13123/stat : 13123 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10923 0 0 0 990 37 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13093/tid=13124] ppid=13091 vsize=3437732 CPUtime=11.26 cores=0-31
/proc/13093/task/13124/stat : 13124 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 4818 0 0 0 1099 27 0 0 25 0 32 0 14552586 3520237568 301909 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 320.03
Current children cumulated vsize (KiB) 3437732
Solver just ended. Dumping a history of the last processes samples
[startup+14.322 s]
/proc/loadavg: 32.29 32.09 32.01 33/445 13125
/proc/meminfo: memFree=261817236/264257624 swapFree=67054988/67111528
[pid=13093] ppid=13091 vsize=3437732 CPUtime=371.8 cores=0-31
/proc/13093/stat : 13093 (strangenight2-m) R 13091 13093 13067 0 -1 4202496 343357 0 0 0 35823 1357 0 0 25 0 32 0 14552585 3520237568 306207 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294302 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/13093/statm: 859433 306207 377 95 0 854415 0
[pid=13093/tid=13094] ppid=13091 vsize=3437732 CPUtime=11.69 cores=0-31
/proc/13093/task/13094/stat : 13094 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10769 0 0 0 1134 35 0 0 25 0 32 0 14552585 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13093/tid=13095] ppid=13091 vsize=3437732 CPUtime=11.49 cores=0-31
/proc/13093/task/13095/stat : 13095 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10521 0 0 0 1109 40 0 0 25 0 32 0 14552585 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13093/tid=13096] ppid=13091 vsize=3437732 CPUtime=11.51 cores=0-31
/proc/13093/task/13096/stat : 13096 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10814 0 0 0 1102 49 0 0 25 0 32 0 14552585 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13093/tid=13097] ppid=13091 vsize=3437732 CPUtime=11.51 cores=0-31
/proc/13093/task/13097/stat : 13097 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11196 0 0 0 1108 43 0 0 25 0 32 0 14552585 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13093/tid=13098] ppid=13091 vsize=3437732 CPUtime=11.64 cores=0-31
/proc/13093/task/13098/stat : 13098 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10703 0 0 0 1127 37 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13093/tid=13099] ppid=13091 vsize=3437732 CPUtime=11.42 cores=0-31
/proc/13093/task/13099/stat : 13099 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11131 0 0 0 1098 44 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13093/tid=13100] ppid=13091 vsize=3437732 CPUtime=11.61 cores=0-31
/proc/13093/task/13100/stat : 13100 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10730 0 0 0 1119 42 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13093/tid=13101] ppid=13091 vsize=3437732 CPUtime=11.51 cores=0-31
/proc/13093/task/13101/stat : 13101 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10811 0 0 0 1107 44 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13093/tid=13102] ppid=13091 vsize=3437732 CPUtime=11.45 cores=0-31
/proc/13093/task/13102/stat : 13102 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10229 0 0 0 1104 41 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13093/tid=13103] ppid=13091 vsize=3437732 CPUtime=11.49 cores=0-31
/proc/13093/task/13103/stat : 13103 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11378 0 0 0 1102 47 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13093/tid=13104] ppid=13091 vsize=3437732 CPUtime=11.47 cores=0-31
/proc/13093/task/13104/stat : 13104 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11173 0 0 0 1100 47 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 258650980487 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13093/tid=13105] ppid=13091 vsize=3437732 CPUtime=11.36 cores=0-31
/proc/13093/task/13105/stat : 13105 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10167 0 0 0 1097 39 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4497290 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13093/tid=13106] ppid=13091 vsize=3437732 CPUtime=11.55 cores=0-31
/proc/13093/task/13106/stat : 13106 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10632 0 0 0 1110 45 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13093/tid=13107] ppid=13091 vsize=3437732 CPUtime=11.92 cores=0-31
/proc/13093/task/13107/stat : 13107 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11358 0 0 0 1157 35 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13093/tid=13108] ppid=13091 vsize=3437732 CPUtime=12 cores=0-31
/proc/13093/task/13108/stat : 13108 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11317 0 0 0 1162 38 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13093/tid=13109] ppid=13091 vsize=3437732 CPUtime=11.51 cores=0-31
/proc/13093/task/13109/stat : 13109 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10902 0 0 0 1102 49 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13093/tid=13110] ppid=13091 vsize=3437732 CPUtime=11.43 cores=0-31
/proc/13093/task/13110/stat : 13110 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10939 0 0 0 1096 47 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294322 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13093/tid=13111] ppid=13091 vsize=3437732 CPUtime=11.41 cores=0-31
/proc/13093/task/13111/stat : 13111 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11204 0 0 0 1094 47 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4496898 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13093/tid=13112] ppid=13091 vsize=3437732 CPUtime=11.9 cores=0-31
/proc/13093/task/13112/stat : 13112 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10942 0 0 0 1151 39 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13093/tid=13113] ppid=13091 vsize=3437732 CPUtime=11.6 cores=0-31
/proc/13093/task/13113/stat : 13113 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10971 0 0 0 1118 42 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13093/tid=13114] ppid=13091 vsize=3437732 CPUtime=11.44 cores=0-31
/proc/13093/task/13114/stat : 13114 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10591 0 0 0 1100 44 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13093/tid=13115] ppid=13091 vsize=3437732 CPUtime=11.61 cores=0-31
/proc/13093/task/13115/stat : 13115 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10901 0 0 0 1113 48 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13093/tid=13116] ppid=13091 vsize=3437732 CPUtime=11.46 cores=0-31
/proc/13093/task/13116/stat : 13116 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10871 0 0 0 1102 44 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13093/tid=13117] ppid=13091 vsize=3437732 CPUtime=11.68 cores=0-31
/proc/13093/task/13117/stat : 13117 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10644 0 0 0 1124 44 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13093/tid=13118] ppid=13091 vsize=3437732 CPUtime=11.49 cores=0-31
/proc/13093/task/13118/stat : 13118 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11185 0 0 0 1111 38 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13093/tid=13119] ppid=13091 vsize=3437732 CPUtime=11.35 cores=0-31
/proc/13093/task/13119/stat : 13119 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11171 0 0 0 1095 40 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=13093/tid=13120] ppid=13091 vsize=3437732 CPUtime=11.96 cores=0-31
/proc/13093/task/13120/stat : 13120 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11375 0 0 0 1157 39 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13093/tid=13121] ppid=13091 vsize=3437732 CPUtime=11.39 cores=0-31
/proc/13093/task/13121/stat : 13121 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10591 0 0 0 1096 43 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13093/tid=13122] ppid=13091 vsize=3437732 CPUtime=11.46 cores=0-31
/proc/13093/task/13122/stat : 13122 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10371 0 0 0 1106 40 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13093/tid=13123] ppid=13091 vsize=3437732 CPUtime=11.89 cores=0-31
/proc/13093/task/13123/stat : 13123 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11085 0 0 0 1152 37 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13093/tid=13124] ppid=13091 vsize=3437732 CPUtime=12.88 cores=0-31
/proc/13093/task/13124/stat : 13124 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 4985 0 0 0 1261 27 0 0 25 0 32 0 14552586 3520237568 306208 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 371.8
Current children cumulated vsize (KiB) 3437732
[startup+15.102 s]
/proc/loadavg: 32.29 32.09 32.01 33/445 13125
/proc/meminfo: memFree=261817236/264257624 swapFree=67054988/67111528
[pid=13093] ppid=13091 vsize=3446648 CPUtime=396.75 cores=0-31
/proc/13093/stat : 13093 (strangenight2-m) R 13091 13093 13067 0 -1 4202496 345973 0 0 0 38317 1358 0 0 25 0 32 0 14552585 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/13093/statm: 861662 308145 377 95 0 856644 0
[pid=13093/tid=13094] ppid=13091 vsize=3446648 CPUtime=12.48 cores=0-31
/proc/13093/task/13094/stat : 13094 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11028 0 0 0 1212 36 0 0 25 0 32 0 14552585 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13093/tid=13095] ppid=13091 vsize=3446648 CPUtime=12.27 cores=0-31
/proc/13093/task/13095/stat : 13095 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10568 0 0 0 1187 40 0 0 25 0 32 0 14552585 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13093/tid=13096] ppid=13091 vsize=3446648 CPUtime=12.29 cores=0-31
/proc/13093/task/13096/stat : 13096 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10880 0 0 0 1180 49 0 0 25 0 32 0 14552585 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13093/tid=13097] ppid=13091 vsize=3446648 CPUtime=12.29 cores=0-31
/proc/13093/task/13097/stat : 13097 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11258 0 0 0 1186 43 0 0 25 0 32 0 14552585 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293248 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13093/tid=13098] ppid=13091 vsize=3446648 CPUtime=12.42 cores=0-31
/proc/13093/task/13098/stat : 13098 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10804 0 0 0 1205 37 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13093/tid=13099] ppid=13091 vsize=3446648 CPUtime=12.2 cores=0-31
/proc/13093/task/13099/stat : 13099 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11177 0 0 0 1176 44 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13093/tid=13100] ppid=13091 vsize=3446648 CPUtime=12.39 cores=0-31
/proc/13093/task/13100/stat : 13100 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10825 0 0 0 1197 42 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4223027 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13093/tid=13101] ppid=13091 vsize=3446648 CPUtime=12.29 cores=0-31
/proc/13093/task/13101/stat : 13101 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10854 0 0 0 1185 44 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13093/tid=13102] ppid=13091 vsize=3446648 CPUtime=12.23 cores=0-31
/proc/13093/task/13102/stat : 13102 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10287 0 0 0 1182 41 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13093/tid=13103] ppid=13091 vsize=3446648 CPUtime=12.27 cores=0-31
/proc/13093/task/13103/stat : 13103 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11430 0 0 0 1180 47 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13093/tid=13104] ppid=13091 vsize=3446648 CPUtime=12.25 cores=0-31
/proc/13093/task/13104/stat : 13104 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11231 0 0 0 1178 47 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13093/tid=13105] ppid=13091 vsize=3446648 CPUtime=12.14 cores=0-31
/proc/13093/task/13105/stat : 13105 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10208 0 0 0 1175 39 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13093/tid=13106] ppid=13091 vsize=3446648 CPUtime=12.33 cores=0-31
/proc/13093/task/13106/stat : 13106 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10682 0 0 0 1188 45 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13093/tid=13107] ppid=13091 vsize=3446648 CPUtime=12.7 cores=0-31
/proc/13093/task/13107/stat : 13107 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11382 0 0 0 1235 35 0 0 25 0 32 0 14552586 3529367552 308145 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13093/tid=13108] ppid=13091 vsize=3446648 CPUtime=12.78 cores=0-31
/proc/13093/task/13108/stat : 13108 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11395 0 0 0 1240 38 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13093/tid=13109] ppid=13091 vsize=3446648 CPUtime=12.29 cores=0-31
/proc/13093/task/13109/stat : 13109 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10960 0 0 0 1180 49 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13093/tid=13110] ppid=13091 vsize=3446648 CPUtime=12.21 cores=0-31
/proc/13093/task/13110/stat : 13110 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10982 0 0 0 1174 47 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13093/tid=13111] ppid=13091 vsize=3446648 CPUtime=12.19 cores=0-31
/proc/13093/task/13111/stat : 13111 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11255 0 0 0 1172 47 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13093/tid=13112] ppid=13091 vsize=3446648 CPUtime=12.68 cores=0-31
/proc/13093/task/13112/stat : 13112 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11204 0 0 0 1229 39 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13093/tid=13113] ppid=13091 vsize=3446648 CPUtime=12.38 cores=0-31
/proc/13093/task/13113/stat : 13113 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11087 0 0 0 1196 42 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13093/tid=13114] ppid=13091 vsize=3446648 CPUtime=12.22 cores=0-31
/proc/13093/task/13114/stat : 13114 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10636 0 0 0 1178 44 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13093/tid=13115] ppid=13091 vsize=3446648 CPUtime=12.39 cores=0-31
/proc/13093/task/13115/stat : 13115 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10954 0 0 0 1191 48 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13093/tid=13116] ppid=13091 vsize=3446648 CPUtime=12.24 cores=0-31
/proc/13093/task/13116/stat : 13116 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10890 0 0 0 1180 44 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13093/tid=13117] ppid=13091 vsize=3446648 CPUtime=12.46 cores=0-31
/proc/13093/task/13117/stat : 13117 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10854 0 0 0 1202 44 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13093/tid=13118] ppid=13091 vsize=3446648 CPUtime=12.27 cores=0-31
/proc/13093/task/13118/stat : 13118 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11246 0 0 0 1189 38 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13093/tid=13119] ppid=13091 vsize=3446648 CPUtime=12.13 cores=0-31
/proc/13093/task/13119/stat : 13119 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11230 0 0 0 1172 41 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=13093/tid=13120] ppid=13091 vsize=3446648 CPUtime=12.74 cores=0-31
/proc/13093/task/13120/stat : 13120 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11463 0 0 0 1235 39 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13093/tid=13121] ppid=13091 vsize=3446648 CPUtime=12.17 cores=0-31
/proc/13093/task/13121/stat : 13121 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10614 0 0 0 1174 43 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13093/tid=13122] ppid=13091 vsize=3446648 CPUtime=12.23 cores=0-31
/proc/13093/task/13122/stat : 13122 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 10464 0 0 0 1183 40 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13093/tid=13123] ppid=13091 vsize=3446648 CPUtime=12.67 cores=0-31
/proc/13093/task/13123/stat : 13123 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 11154 0 0 0 1230 37 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4320818 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13093/tid=13124] ppid=13091 vsize=3446648 CPUtime=13.66 cores=0-31
/proc/13093/task/13124/stat : 13124 (strangenight2-m) R 13091 13093 13067 0 -1 4202560 5225 0 0 0 1339 27 0 0 25 0 32 0 14552586 3529367552 308148 268435456000 4194304 4580107 140736102904880 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 396.75
Current children cumulated vsize (KiB) 3446648
[startup+15.3021 s]
/proc/loadavg: 32.29 32.09 32.01 2/415 13125
/proc/meminfo: memFree=262137900/264257624 swapFree=67054988/67111528
[pid=13093] ppid=13091 vsize=0 CPUtime=402.23 cores=0-31
/proc/13093/stat : 13093 (strangenight2-m) Z 13091 13093 13067 0 -1 4203548 346752 0 0 0 38860 1363 0 0 25 0 2 0 14552585 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/13093/statm: 0 0 0 0 0 0 0
[pid=13093/tid=13096] ppid=13091 vsize=0 CPUtime=12.51 cores=0-31
/proc/13093/task/13096/stat : 13096 (strangenight2-m) R 13091 13093 13067 0 -1 4203588 10932 0 0 0 1197 54 0 0 25 0 2 0 14552585 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 15.3677
CPU time (s): 402.293
CPU user time (s): 388.608
CPU system time (s): 13.6849
CPU usage (%): 2617.78
Max. virtual memory (cumulated for all children) (KiB): 3446648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 388.608
system time used= 13.6849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346752
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= 477513
involuntary context switches= 3138
runsolver used 0.162975 second user time and 0.480926 second system time
The end
Begin job on node200 at 2011-06-03 09:33:22
IDJOB=3400867
IDBENCH=84953
IDSOLVER=1886
FILE ID=node200/3400867-1307086402
RUNJOBID= node200-1307086402-13081
PBS_JOBID= 13497889
Free space on /tmp= 61744 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/industrial/hoonsang/vis-bmc/dekker.used-as.sat04-989.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400867-1307086402/watcher-3400867-1307086402 -o /tmp/evaluation-result-3400867-1307086402/solver-3400867-1307086402 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400867-1307086402.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= aed38f764725bc435a811b081bc99da2
RANDOM SEED=460090127
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.043
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.043
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.05
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.043
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.08
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.043
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.043
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.05
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.043
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.11
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.043
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.05
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.043
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.07
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.043
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.04
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.043
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.06
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.043
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 : 3989.96
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.043
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.09
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.043
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.05
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.043
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.09
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.043
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.07
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.043
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.08
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.043
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.03
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.043
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.07
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.043
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.11
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.043
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 : 3990.09
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.043
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.02
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.043
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.11
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.043
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.06
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.043
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.07
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.043
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 : 3989.99
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.043
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.07
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.043
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.07
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.043
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.10
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.043
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 : 3990.05
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.043
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.043
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.35
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.043
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: 263032620 kB
Buffers: 97200 kB
Cached: 930876 kB
SwapCached: 8336 kB
Active: 104108 kB
Inactive: 942676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263032620 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 6548 kB
Writeback: 0 kB
AnonPages: 18068 kB
Mapped: 8588 kB
Slab: 87208 kB
PageTables: 5728 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 182208 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= 61736 MiB
End job on node200 at 2011-06-03 09:33:38