0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3393996-1306078223.cnf'
0.00/0.02 c -- header says num vars: 162696
0.00/0.02 c -- header says num clauses: 821000
4.94/0.95 c -- clauses added: 0 learnts, 821000 normals, 0 xors
4.94/0.95 c -- vars added 162696
4.94/0.95 c Parsing time: 0.37 s
4.94/0.95 c N st 0 0 162696 194789 617205 0 1943577 0 no data no data
7.93/1.33 c asymm cl-useful: 12/1989/165696 lits-rem:48 time: 0.36
106.17/13.69 c Flit: 1787 Blit: 1646 bXBeca: 0 bXProp: 1290 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 12.36
106.97/13.73 c Cleaning up after failed var search: 0.03 s
106.97/13.77 c Replacing 1290 vars Replaced 36327 lits Time: 0.05 s
107.77/13.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
107.77/13.88 c bin-w-bin subsume rem 22617 bins time: 0.03 s
108.57/13.95 c subs with bin: 3222 lits-rem: 30227 v-fix: 0 time: 0.07 s
162.84/20.74 c Subs w/ non-existent bins: 237 l-rem: 0 v-fix: 0 done: 20323 time: 6.77 s
164.55/20.93 c Removed useless bin: 253 fixed: 0 props: 20.00M time: 0.19 s
169.18/21.51 c lits-rem: 768 cl-subs: 2783 v-elim: 39415 v-fix: 0 time: 0.56 s
169.18/21.55 c Finding binary XORs T: 0.04 s found: 874
169.18/21.59 c Replacing 874 vars Replaced 34276 lits Time: 0.04 s
169.95/21.67 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan)
169.95/21.67 c calculated reachability. Time: 0.00
169.95/21.69 c Calc default polars - time: 0.02 s pos: 15604 undec: 85092 neg: 62000
169.95/21.69 c =========================================================================================
169.95/21.69 c types(t): F = full restart, N = normal restart
169.95/21.69 c types(t): S = simplification begin/end, E = solution found
169.95/21.69 c restart types(rt): st = static, dy = dynamic
169.95/21.69 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
169.95/21.69 c B st 0 0 77957 193156 281279 0 1307073 0 no data no data
187.48/23.85 c N dy 13 4126 69240 175098 249082 3769 1160598 391561 14.32 15.17
197.87/25.19 c Finding binary XORs T: 0.03 s found: 788
198.68/25.24 c Replacing 788 vars Replaced 29480 lits Time: 0.04 s
202.65/25.74 c N dy 23 8291 51577 123264 181963 7475 803067 640610 11.42 12.22
225.02/28.56 c N dy 46 12388 51454 123264 182078 11380 803067 1099656 11.92 12.64
257.76/32.67 c N dy 67 16410 49292 114383 176098 14994 748837 1627969 12.59 22.76
268.95/34.10 c Finding binary XORs T: 0.03 s found: 633
269.85/34.18 c Replacing 633 vars Replaced 58321 lits Time: 0.08 s
307.27/38.89 c N dy 86 20881 47044 105753 171825 9656 706094 612706 12.76 13.47
348.92/44.04 c Finding binary XORs T: 0.03 s found: 766
348.92/44.09 c Replacing 766 vars Replaced 34776 lits Time: 0.05 s
356.79/45.07 c F st 89 25001 46123 105109 171474 13381 695249 1067518 11.90 8.31
357.70/45.20 c N st 89 25001 46123 95835 167018 12942 658480 967286 11.90 8.31
376.75/47.53 c Following stats are for *FIRST FINISHED THREAD ONLY*
376.75/47.53 c num threads : 8
376.75/47.53 c restarts : 91
376.75/47.53 c dynamic restarts : 85
376.75/47.53 c static restarts : 6
376.75/47.53 c full restarts : 0
376.75/47.53 c total simplify time : 0.42
376.75/47.53 c learnts DL2 : 0
376.75/47.53 c learnts size 2 : 692927
376.75/47.53 c learnts size 1 : 98219 (60.37 % of vars)
376.75/47.53 c filedLit time : 13.12 (28.00 % time)
376.75/47.53 c v-elim SatELite : 39415 (24.23 % vars)
376.75/47.53 c SatELite time : 6.91 (14.75 % time)
376.75/47.53 c v-elim xor : 0 (0.00 % vars)
376.75/47.53 c xor elim time : 0.00 (0.00 % time)
376.75/47.53 c num binary xor trees : 2872
376.75/47.53 c binxor trees' crown : 4465 (1.55 leafs/tree)
376.75/47.53 c bin xor find time : 0.11
376.75/47.53 c OTF clause improved : 385 (0.02 clauses/conflict)
376.75/47.53 c OTF impr. size diff : 521 (1.35 lits/clause)
376.75/47.53 c OTF cl watch-shrink : 8369 (0.34 clauses/conflict)
376.75/47.53 c OTF cl watch-sh-lit : 28109 (3.36 lits/clause)
376.75/47.53 c tried to recurMin cls : 0 (0.00 % of conflicts)
376.75/47.53 c updated cache : 0 (nan lits/tried recurMin)
376.75/47.53 c unit cls recevied : 1998 (2.03 % of units)
376.75/47.53 c unit cls sent : 1098 (1.12 % of units)
376.75/47.53 c bin cls recevied : 16403
376.75/47.53 c bin cls sent : 3277
376.75/47.53 c clauses over max glue : 0 (0.00 % of all clauses)
376.75/47.53 c conflicts : 24938 (532.21 / sec)
376.75/47.53 c decisions : 128292 (0.00 % random)
376.75/47.53 c bogo-props : 919770346 (19628938.07 / sec)
376.75/47.53 c conflict literals : 2947968 (28.79 % deleted)
376.75/47.53 c Memory used : 1415.70 MB
376.75/47.53 c single-thread CPU time : 46.86 s
376.75/47.53 c all-threads sum CPU time : 374.33 s
376.75/47.53 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3393996-1306078223/watcher-3393996-1306078223 -o /tmp/evaluation-result-3393996-1306078223/solver-3393996-1306078223 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393996-1306078223.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.08 8.06 7.99 2/408 32006
/proc/meminfo: memFree=25277364/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=92144 CPUtime=0.06 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 412 0 0 0 6 0 0 0 21 0 8 0 175431725 94355456 352 33554432000 4194304 4580107 140736105482624 18446744073709551615 47469883557814 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 23036 352 299 95 0 18018 0
[pid=32006/tid=32007] ppid=32004 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 175431726 94355456 352 33554432000 4194304 4580107 140736105482624 18446744073709551615 47469883557810 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=92144 CPUtime=0 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 175431726 94355456 352 33554432000 4194304 4580107 140736105482624 18446744073709551615 218892362806 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=92144 CPUtime=0 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 175431726 94355456 352 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=92144 CPUtime=0 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 175431726 94355456 352 33554432000 4194304 4580107 140736105482624 18446744073709551615 47469883557810 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=92144 CPUtime=0 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 175431726 94355456 352 33554432000 4194304 4580107 140736105482624 18446744073709551615 47469883557810 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=92144 CPUtime=0 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 175431726 94355456 352 33554432000 4194304 4580107 140736105482624 18446744073709551615 47469883557808 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=92144 CPUtime=0 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 175431726 94355456 352 33554432000 4194304 4580107 140736105482624 18446744073709551615 47469883557810 0 0 4096 2 0 0 0 -1 3 0 0 0
[startup+0.101719 s]
/proc/loadavg: 8.08 8.06 7.99 2/408 32006
/proc/meminfo: memFree=25277364/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=697112 CPUtime=0.48 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) D 32004 32006 31817 0 -1 4202496 70085 0 0 0 32 16 0 0 17 0 8 0 175431725 713842688 53795 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880262521 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 174278 53795 338 95 0 169260 0
[pid=32006/tid=32007] ppid=32004 vsize=697112 CPUtime=0.05 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) D 32004 32006 31817 0 -1 4202560 8349 0 0 0 4 1 0 0 17 0 8 0 175431726 713842688 53795 33554432000 4194304 4580107 140736105482624 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=697112 CPUtime=0.02 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 6601 0 0 0 1 1 0 0 18 0 8 0 175431726 713842688 53795 33554432000 4194304 4580107 140736105482624 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=698732 CPUtime=0.05 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) D 32004 32006 31817 0 -1 4202560 9933 0 0 0 3 2 0 0 17 0 8 0 175431726 715501568 53802 33554432000 4194304 4580107 140736105482624 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=698732 CPUtime=0.05 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) D 32004 32006 31817 0 -1 4202560 9347 0 0 0 4 1 0 0 17 0 8 0 175431726 715501568 53802 33554432000 4194304 4580107 140736105482624 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=698732 CPUtime=0.05 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 9134 0 0 0 4 1 0 0 17 0 8 0 175431726 715501568 53802 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880623018 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=698732 CPUtime=0.05 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) D 32004 32006 31817 0 -1 4202560 8389 0 0 0 3 2 0 0 17 0 8 0 175431726 715501568 53802 33554432000 4194304 4580107 140736105482624 18446744073709551615 4520978 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=698732 CPUtime=0.06 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) D 32004 32006 31817 0 -1 4202560 10235 0 0 0 5 1 0 0 17 0 8 0 175431726 715501568 53802 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880262583 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 697112
[startup+0.203708 s]
/proc/loadavg: 8.08 8.06 7.99 2/408 32006
/proc/meminfo: memFree=25277364/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=826060 CPUtime=1.06 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 124114 0 0 0 75 31 0 0 17 0 8 0 175431725 845885440 90190 33554432000 4194304 4580107 140736105482624 18446744073709551615 4512361 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 206515 90192 338 95 0 201497 0
[pid=32006/tid=32007] ppid=32004 vsize=826060 CPUtime=0.14 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 16238 0 0 0 10 4 0 0 17 0 8 0 175431726 845885440 90192 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=826060 CPUtime=0.09 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 15713 0 0 0 6 3 0 0 17 0 8 0 175431726 845885440 90193 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=826060 CPUtime=0.13 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 15811 0 0 0 9 4 0 0 18 0 8 0 175431726 845885440 90193 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=826060 CPUtime=0.09 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 16750 0 0 0 6 3 0 0 18 0 8 0 175431726 845885440 90193 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=826060 CPUtime=0.13 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 14648 0 0 0 10 3 0 0 17 0 8 0 175431726 845885440 90193 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=826060 CPUtime=0.14 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 13994 0 0 0 10 4 0 0 17 0 8 0 175431726 845885440 90194 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=826060 CPUtime=0.14 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 16636 0 0 0 11 3 0 0 17 0 8 0 175431726 845885440 90195 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 826060
[startup+0.300628 s]
/proc/loadavg: 8.08 8.06 7.99 2/408 32006
/proc/meminfo: memFree=25277364/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=891596 CPUtime=1.73 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 129302 0 0 0 126 47 0 0 17 0 8 0 175431725 912994304 95378 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880225989 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 222899 95380 338 95 0 217881 0
[pid=32006/tid=32007] ppid=32004 vsize=891596 CPUtime=0.21 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 16856 0 0 0 16 5 0 0 17 0 8 0 175431726 912994304 95381 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=891596 CPUtime=0.18 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) S 32004 32006 31817 0 -1 4202560 16132 0 0 0 13 5 0 0 17 0 8 0 175431726 912994304 95384 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670190 0 0 4096 2 18446604452199688128 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=891596 CPUtime=0.21 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 16356 0 0 0 15 6 0 0 18 0 8 0 175431726 912994304 95385 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880223988 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=891596 CPUtime=0.18 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 17526 0 0 0 14 4 0 0 18 0 8 0 175431726 912994304 95386 33554432000 4194304 4580107 140736105482624 18446744073709551615 4353573 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=891596 CPUtime=0.22 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) S 32004 32006 31817 0 -1 4202560 15495 0 0 0 17 5 0 0 17 0 8 0 175431726 912994304 95386 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670190 0 0 4096 2 18446604452199688128 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=891596 CPUtime=0.21 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 14531 0 0 0 15 6 0 0 17 0 8 0 175431726 912994304 95386 33554432000 4194304 4580107 140736105482624 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=891596 CPUtime=0.23 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) S 32004 32006 31817 0 -1 4202560 17310 0 0 0 17 6 0 0 17 0 8 0 175431726 912994304 95387 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670190 0 0 4096 2 18446604452199688128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 891596
[startup+0.700558 s]
/proc/loadavg: 8.08 8.06 7.99 2/408 32006
/proc/meminfo: memFree=25277364/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=898728 CPUtime=3.94 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) D 32004 32006 31817 0 -1 4202496 149089 0 0 0 248 146 0 0 17 0 8 0 175431725 920297472 115147 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880608439 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 224682 115154 339 95 0 219664 0
[pid=32006/tid=32007] ppid=32004 vsize=898728 CPUtime=0.5 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 19245 0 0 0 34 16 0 0 17 0 8 0 175431726 920297472 115154 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=898728 CPUtime=0.46 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) S 32004 32006 31817 0 -1 4202560 18835 0 0 0 27 19 0 0 17 0 8 0 175431726 920297472 115157 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670190 0 0 4096 2 18446604452199688128 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=898728 CPUtime=0.5 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 18842 0 0 0 30 20 0 0 17 0 8 0 175431726 920297472 115159 33554432000 4194304 4580107 140736105482624 18446744073709551615 4510941 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=898728 CPUtime=0.46 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 20341 0 0 0 31 15 0 0 17 0 8 0 175431726 920297472 115161 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=898728 CPUtime=0.49 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 18059 0 0 0 32 17 0 0 17 0 8 0 175431726 920297472 115165 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=898728 CPUtime=0.49 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 16646 0 0 0 29 20 0 0 17 0 8 0 175431726 920297472 115166 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=898728 CPUtime=0.48 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 19556 0 0 0 30 18 0 0 17 0 8 0 175431726 920297472 115167 33554432000 4194304 4580107 140736105482624 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 898728
[startup+1.50042 s]
/proc/loadavg: 7.99 8.04 7.99 9/416 32014
/proc/meminfo: memFree=24694984/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=1080752 CPUtime=9.52 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 187377 0 0 0 739 213 0 0 17 0 8 0 175431725 1106690048 153123 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 270188 153123 361 95 0 265170 0
[pid=32006/tid=32007] ppid=32004 vsize=1080752 CPUtime=1.19 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 24109 0 0 0 96 23 0 0 17 0 8 0 175431726 1106690048 153123 33554432000 4194304 4580107 140736105482624 18446744073709551615 4234976 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=1080752 CPUtime=1.16 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 23750 0 0 0 88 28 0 0 17 0 8 0 175431726 1106690048 153123 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=1080752 CPUtime=1.2 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 23562 0 0 0 91 29 0 0 17 0 8 0 175431726 1106690048 153123 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293745 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=1080752 CPUtime=1.16 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 25401 0 0 0 92 24 0 0 17 0 8 0 175431726 1106690048 153123 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=1080752 CPUtime=1.19 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 22718 0 0 0 95 24 0 0 17 0 8 0 175431726 1106690048 153123 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=1080752 CPUtime=1.19 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 20853 0 0 0 91 28 0 0 17 0 8 0 175431726 1106690048 153123 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293261 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=1080752 CPUtime=1.19 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 24757 0 0 0 91 28 0 0 17 0 8 0 175431726 1106690048 153123 33554432000 4194304 4580107 140736105482624 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.52
Current children cumulated vsize (KiB) 1080752
[startup+3.10114 s]
/proc/loadavg: 7.99 8.04 7.99 11/416 32014
/proc/meminfo: memFree=24662000/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=1081556 CPUtime=22.31 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 188875 0 0 0 2017 214 0 0 19 0 8 0 175431725 1107513344 153878 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 270389 153878 361 95 0 265371 0
[pid=32006/tid=32007] ppid=32004 vsize=1081556 CPUtime=2.79 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 24115 0 0 0 256 23 0 0 19 0 8 0 175431726 1107513344 153878 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294656 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=1081556 CPUtime=2.76 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 23754 0 0 0 248 28 0 0 19 0 8 0 175431726 1107513344 153878 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=1081556 CPUtime=2.78 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 23564 0 0 0 249 29 0 0 19 0 8 0 175431726 1107513344 153878 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=1081556 CPUtime=2.76 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 25404 0 0 0 252 24 0 0 19 0 8 0 175431726 1107513344 153878 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=1081556 CPUtime=2.79 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 22719 0 0 0 254 25 0 0 19 0 8 0 175431726 1107513344 153878 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=1081556 CPUtime=2.79 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 20855 0 0 0 251 28 0 0 19 0 8 0 175431726 1107513344 153878 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=1081556 CPUtime=2.79 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 26233 0 0 0 251 28 0 0 19 0 8 0 175431726 1107513344 153878 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.31
Current children cumulated vsize (KiB) 1081556
[startup+6.30058 s]
/proc/loadavg: 7.99 8.04 7.99 9/416 32014
/proc/meminfo: memFree=24648492/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=1082900 CPUtime=47.86 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 192626 0 0 0 4571 215 0 0 25 0 8 0 175431725 1108889600 157629 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 270725 157629 362 95 0 265707 0
[pid=32006/tid=32007] ppid=32004 vsize=1082900 CPUtime=5.99 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 24119 0 0 0 576 23 0 0 25 0 8 0 175431726 1108889600 157629 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=1082900 CPUtime=5.96 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 23755 0 0 0 568 28 0 0 25 0 8 0 175431726 1108889600 157629 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=1082900 CPUtime=5.94 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 23564 0 0 0 565 29 0 0 25 0 8 0 175431726 1108889600 157629 33554432000 4194304 4580107 140736105482624 18446744073709551615 4234907 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=1082900 CPUtime=5.96 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 25405 0 0 0 572 24 0 0 25 0 8 0 175431726 1108889600 157629 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=1082900 CPUtime=5.99 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 22719 0 0 0 574 25 0 0 25 0 8 0 175431726 1108889600 157629 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=1082900 CPUtime=5.99 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 20855 0 0 0 571 28 0 0 25 0 8 0 175431726 1108889600 157629 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294173 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=1082900 CPUtime=5.99 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 29975 0 0 0 569 30 0 0 25 0 8 0 175431726 1108889600 157629 33554432000 4194304 4580107 140736105482624 18446744073709551615 4301867 0 0 4096 2 0 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 43451 0 0 0 2494 30 0 0 25 0 8 0 175431726 1667084288 253274 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=1628012 CPUtime=25.26 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 40591 0 0 0 2496 30 0 0 25 0 8 0 175431726 1667084288 253274 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=1628012 CPUtime=25.27 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 40967 0 0 0 2493 34 0 0 25 0 8 0 175431726 1667084288 253274 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=1628012 CPUtime=25.27 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 36410 0 0 0 2495 32 0 0 25 0 8 0 175431726 1667084288 253274 33554432000 4194304 4580107 140736105482624 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 201.86
Current children cumulated vsize (KiB) 1628012
[startup+38.4009 s]
/proc/loadavg: 8.07 8.05 7.99 9/416 32016
/proc/meminfo: memFree=24231384/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=1500424 CPUtime=304.09 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 376660 0 0 0 30143 266 0 0 25 0 8 0 175431725 1536434176 251200 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 375106 251200 379 95 0 370088 0
[pid=32006/tid=32007] ppid=32004 vsize=1500424 CPUtime=38.07 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 42288 0 0 0 3779 28 0 0 25 0 8 0 175431726 1536434176 251200 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=1500424 CPUtime=38.04 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 42940 0 0 0 3772 32 0 0 25 0 8 0 175431726 1536434176 251200 33554432000 4194304 4580107 140736105482624 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=1500424 CPUtime=37.58 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44136 0 0 0 3722 36 0 0 25 0 8 0 175431726 1536434176 251200 33554432000 4194304 4580107 140736105482624 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=1500424 CPUtime=38.04 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44747 0 0 0 3773 31 0 0 25 0 8 0 175431726 1536434176 251200 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=1500424 CPUtime=38.07 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 43726 0 0 0 3776 31 0 0 25 0 8 0 175431726 1536434176 251200 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=1500424 CPUtime=38.08 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44349 0 0 0 3771 37 0 0 25 0 8 0 175431726 1536434176 251200 33554432000 4194304 4580107 140736105482624 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=1500424 CPUtime=38.08 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 74633 0 0 0 3771 37 0 0 25 0 8 0 175431726 1536434176 251200 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 304.09
Current children cumulated vsize (KiB) 1500424
[startup+41.6003 s]
/proc/loadavg: 8.07 8.05 7.99 9/416 32016
/proc/meminfo: memFree=24292020/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=1449668 CPUtime=329.64 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 381241 0 0 0 32696 268 0 0 25 0 8 0 175431725 1484460032 247025 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 362417 247025 379 95 0 357399 0
[pid=32006/tid=32007] ppid=32004 vsize=1449668 CPUtime=41.26 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 42531 0 0 0 4098 28 0 0 25 0 8 0 175431726 1484460032 247025 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=1449668 CPUtime=41.25 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44274 0 0 0 4092 33 0 0 25 0 8 0 175431726 1484460032 247025 33554432000 4194304 4580107 140736105482624 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=1449668 CPUtime=40.73 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44435 0 0 0 4037 36 0 0 25 0 8 0 175431726 1484460032 247025 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=1449668 CPUtime=41.24 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46098 0 0 0 4093 31 0 0 25 0 8 0 175431726 1484460032 247025 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=1449668 CPUtime=41.26 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44150 0 0 0 4095 31 0 0 25 0 8 0 175431726 1484460032 247025 33554432000 4194304 4580107 140736105482624 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=1449668 CPUtime=41.27 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44687 0 0 0 4090 37 0 0 25 0 8 0 175431726 1484460032 247025 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=1449668 CPUtime=41.28 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 74887 0 0 0 4091 37 0 0 25 0 8 0 175431726 1484460032 247025 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 329.64
Current children cumulated vsize (KiB) 1449668
[startup+44.8008 s]
/proc/loadavg: 8.07 8.05 7.99 9/416 32016
/proc/meminfo: memFree=24283836/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=1449668 CPUtime=355.2 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 395331 0 0 0 35250 270 0 0 25 0 8 0 175431725 1484460032 249170 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 362417 249170 379 95 0 357399 0
[pid=32006/tid=32007] ppid=32004 vsize=1449668 CPUtime=44.46 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 53507 0 0 0 4417 29 0 0 25 0 8 0 175431726 1484460032 249170 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=1449668 CPUtime=44.45 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44556 0 0 0 4412 33 0 0 25 0 8 0 175431726 1484460032 249170 33554432000 4194304 4580107 140736105482624 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=1449668 CPUtime=43.88 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44758 0 0 0 4352 36 0 0 25 0 8 0 175431726 1484460032 249170 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=1449668 CPUtime=44.44 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46236 0 0 0 4413 31 0 0 25 0 8 0 175431726 1484460032 249170 33554432000 4194304 4580107 140736105482624 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=1449668 CPUtime=44.46 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 45633 0 0 0 4415 31 0 0 25 0 8 0 175431726 1484460032 249170 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=1449668 CPUtime=44.47 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 45162 0 0 0 4410 37 0 0 25 0 8 0 175431726 1484460032 249170 33554432000 4194304 4580107 140736105482624 18446744073709551615 4249629 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=1449668 CPUtime=44.48 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 75100 0 0 0 4411 37 0 0 25 0 8 0 175431726 1484460032 249170 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 355.2
Current children cumulated vsize (KiB) 1449668
[startup+46.4005 s]
/proc/loadavg: 8.06 8.05 7.99 9/416 32016
/proc/meminfo: memFree=24277388/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=1449668 CPUtime=367.96 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 405080 0 0 0 36525 271 0 0 25 0 8 0 175431725 1484460032 250146 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 362417 250146 379 95 0 357399 0
[pid=32006/tid=32007] ppid=32004 vsize=1449668 CPUtime=46.06 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 53638 0 0 0 4577 29 0 0 25 0 8 0 175431726 1484460032 250146 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=1449668 CPUtime=46.05 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44673 0 0 0 4572 33 0 0 25 0 8 0 175431726 1484460032 250146 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=1449668 CPUtime=45.45 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46547 0 0 0 4509 36 0 0 25 0 8 0 175431726 1484460032 250146 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=1449668 CPUtime=46.04 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46353 0 0 0 4573 31 0 0 25 0 8 0 175431726 1484460032 250146 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=1449668 CPUtime=46.06 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 45929 0 0 0 4575 31 0 0 25 0 8 0 175431726 1484460032 250146 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=1449668 CPUtime=46.07 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 52112 0 0 0 4569 38 0 0 25 0 8 0 175431726 1484460032 250146 33554432000 4194304 4580107 140736105482624 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=1449668 CPUtime=46.08 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 75180 0 0 0 4571 37 0 0 25 0 8 0 175431726 1484460032 250146 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 367.96
Current children cumulated vsize (KiB) 1449668
[startup+47.2004 s]
/proc/loadavg: 8.06 8.05 7.99 9/416 32016
/proc/meminfo: memFree=24277388/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=1449668 CPUtime=374.36 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 405605 0 0 0 37165 271 0 0 25 0 8 0 175431725 1484460032 250671 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 362417 250671 379 95 0 357399 0
[pid=32006/tid=32007] ppid=32004 vsize=1449668 CPUtime=46.86 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 53672 0 0 0 4657 29 0 0 25 0 8 0 175431726 1484460032 250671 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=1449668 CPUtime=46.85 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44714 0 0 0 4652 33 0 0 25 0 8 0 175431726 1484460032 250671 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=1449668 CPUtime=46.25 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46664 0 0 0 4589 36 0 0 25 0 8 0 175431726 1484460032 250671 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=1449668 CPUtime=46.84 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46372 0 0 0 4653 31 0 0 25 0 8 0 175431726 1484460032 250671 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=1449668 CPUtime=46.86 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46035 0 0 0 4655 31 0 0 25 0 8 0 175431726 1484460032 250671 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=1449668 CPUtime=46.87 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 52164 0 0 0 4649 38 0 0 25 0 8 0 175431726 1484460032 250671 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=1449668 CPUtime=46.88 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 75251 0 0 0 4651 37 0 0 25 0 8 0 175431726 1484460032 250671 33554432000 4194304 4580107 140736105482624 18446744073709551615 4320717 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 374.36
Current children cumulated vsize (KiB) 1449668
[startup+47.4163 s]
/proc/loadavg: 8.06 8.05 7.99 9/416 32016
/proc/meminfo: memFree=24275156/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=1449668 CPUtime=376.07 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 405705 0 0 0 37336 271 0 0 25 0 8 0 175431725 1484460032 250771 33554432000 4194304 4580107 140736105482624 18446744073709551615 4320876 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 362417 250771 379 95 0 357399 0
[pid=32006/tid=32007] ppid=32004 vsize=1449668 CPUtime=47.07 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 53681 0 0 0 4678 29 0 0 25 0 8 0 175431726 1484460032 250771 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=1449668 CPUtime=47.06 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44728 0 0 0 4673 33 0 0 25 0 8 0 175431726 1484460032 250771 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=1449668 CPUtime=46.45 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46687 0 0 0 4609 36 0 0 25 0 8 0 175431726 1484460032 250771 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=1449668 CPUtime=47.06 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46374 0 0 0 4675 31 0 0 25 0 8 0 175431726 1484460032 250771 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294224 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=1449668 CPUtime=47.08 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46045 0 0 0 4677 31 0 0 25 0 8 0 175431726 1484460032 250771 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=1449668 CPUtime=47.09 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 52191 0 0 0 4671 38 0 0 25 0 8 0 175431726 1484460032 250771 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=1449668 CPUtime=47.09 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 75259 0 0 0 4672 37 0 0 25 0 8 0 175431726 1484460032 250771 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 376.07
Current children cumulated vsize (KiB) 1449668
[startup+47.5013 s]
/proc/loadavg: 8.06 8.05 7.99 9/416 32016
/proc/meminfo: memFree=24275156/32950928 swapFree=53456944/67111528
[pid=32006] ppid=32004 vsize=1449668 CPUtime=376.75 cores=0-7
/proc/32006/stat : 32006 (strangenight2-m) R 32004 32006 31817 0 -1 4202496 405741 0 0 0 37404 271 0 0 25 0 8 0 175431725 1484460032 250807 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32006/statm: 362417 250807 379 95 0 357399 0
[pid=32006/tid=32007] ppid=32004 vsize=1449668 CPUtime=47.16 cores=0-7
/proc/32006/task/32007/stat : 32007 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 53688 0 0 0 4687 29 0 0 25 0 8 0 175431726 1484460032 250807 33554432000 4194304 4580107 140736105482624 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32006/tid=32008] ppid=32004 vsize=1449668 CPUtime=47.15 cores=0-7
/proc/32006/task/32008/stat : 32008 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 44730 0 0 0 4682 33 0 0 25 0 8 0 175431726 1484460032 250807 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32006/tid=32009] ppid=32004 vsize=1449668 CPUtime=46.55 cores=0-7
/proc/32006/task/32009/stat : 32009 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46691 0 0 0 4618 37 0 0 25 0 8 0 175431726 1484460032 250807 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32006/tid=32010] ppid=32004 vsize=1449668 CPUtime=47.14 cores=0-7
/proc/32006/task/32010/stat : 32010 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46375 0 0 0 4683 31 0 0 25 0 8 0 175431726 1484460032 250807 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32006/tid=32011] ppid=32004 vsize=1449668 CPUtime=47.16 cores=0-7
/proc/32006/task/32011/stat : 32011 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 46049 0 0 0 4685 31 0 0 25 0 8 0 175431726 1484460032 250807 33554432000 4194304 4580107 140736105482624 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32006/tid=32012] ppid=32004 vsize=1449668 CPUtime=47.17 cores=0-7
/proc/32006/task/32012/stat : 32012 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 52203 0 0 0 4679 38 0 0 25 0 8 0 175431726 1484460032 250807 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32006/tid=32013] ppid=32004 vsize=1449668 CPUtime=47.18 cores=0-7
/proc/32006/task/32013/stat : 32013 (strangenight2-m) R 32004 32006 31817 0 -1 4202560 75262 0 0 0 4681 37 0 0 25 0 8 0 175431726 1484460032 250807 33554432000 4194304 4580107 140736105482624 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 376.75
Current children cumulated vsize (KiB) 1449668
Child status: 20
Real time (s): 47.5953
CPU time (s): 377.103
CPU user time (s): 374.328
CPU system time (s): 2.77458
CPU usage (%): 792.311
Max. virtual memory (cumulated for all children) (KiB): 1628012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 374.328
system time used= 2.77458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 405755
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= 235833
involuntary context switches= 2477
runsolver used 0.174973 second user time and 0.491925 second system time
The end
Begin job on node112 at 2011-05-22 17:30:23
IDJOB=3393996
IDBENCH=71019
IDSOLVER=1878
FILE ID=node112/3393996-1306078223
RUNJOBID= node112-1306077651-31831
PBS_JOBID= 13387907
Free space on /tmp= 73320 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393996-1306078223/watcher-3393996-1306078223 -o /tmp/evaluation-result-3393996-1306078223/solver-3393996-1306078223 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393996-1306078223.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 4385f03fe3bdaf0f127ae989ddd7908d
RANDOM SEED=749946278
node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5180.45
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 25277536 kB
Buffers: 203680 kB
Cached: 5088308 kB
SwapCached: 61796 kB
Active: 555000 kB
Inactive: 6897472 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 25277536 kB
SwapTotal: 67111528 kB
SwapFree: 53456944 kB
Dirty: 20556 kB
Writeback: 0 kB
AnonPages: 2108264 kB
Mapped: 15172 kB
Slab: 94756 kB
PageTables: 58376 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 98612052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73312 MiB
End job on node112 at 2011-05-22 17:31:11