0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.07 c This is CryptoMiniSat 3.0.0
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c Reading file 'HOME/instance-3400711-1306361595.cnf'
2.12/0.09 c -- header says num vars: 96526
2.12/0.09 c -- header says num clauses: 325263
60.44/3.21 c -- clauses added: 0 learnts, 325263 normals, 0 xors
60.44/3.21 c -- vars added 96526
60.44/3.21 c Parsing time: 0.59 s
60.44/3.21 c N st 0 0 96526 185013 136241 0 838160 0 no data no data
98.18/4.40 c asymm cl-useful: 2393/40083/185013 lits-rem:3788 time: 1.18
336.58/11.80 c Flit: 680 Blit: 3823 bXBeca: 0 bXProp: 14655 Bins: 0 BRemL: 0 BRemN: 0 P: 91.8M T: 7.37
336.58/11.84 c Cleaning up after failed var search: 0.04 s
342.56/12.04 c Replacing 14655 vars Replaced 282554 lits Time: 0.13 s
373.61/13.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
373.61/13.69 c bin-w-bin subsume rem 5299 bins time: 0.05 s
380.17/13.99 c subs with bin: 13138 lits-rem: 10274 v-fix: 0 time: 0.19 s
391.98/14.37 c Subs w/ non-existent bins: 1884 l-rem: 1295 v-fix: 2 done: 74044 time: 0.35 s
400.07/14.69 c Removed useless bin: 3763 fixed: 0 props: 18.24M time: 0.30 s
458.83/16.81 c lits-rem: 30 cl-subs: 7847 v-elim: 24681 v-fix: 0 time: 1.21 s
458.83/16.85 c Finding binary XORs T: 0.04 s found: 133
461.91/16.91 c Replacing 133 vars Replaced 1452 lits Time: 0.06 s
468.25/17.18 c Finding non-binary XORs: 0.18 s (found: 21197, avg size: 3.0)
468.25/17.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 3760 locsubst: 258 time: 0.08
471.44/17.20 c calculated reachability. Time: 0.00
471.44/17.23 c Calc default polars - time: 0.02 s pos: 10446 undec: 52759 neg: 33321
471.44/17.23 c =========================================================================================
471.44/17.23 c types(t): F = full restart, N = normal restart
471.44/17.23 c types(t): S = simplification begin/end, E = solution found
471.44/17.23 c restart types(rt): st = static, dy = dynamic
471.44/17.23 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
471.44/17.23 c B st 0 0 45468 69866 44949 0 373937 0 no data no data
503.37/18.28 c Decided on static restart strategy
538.51/19.39 c N st 8 4916 45445 69866 45219 4491 373935 47155 no data no data
573.46/20.45 c Finding binary XORs T: 0.04 s found: 1711
576.57/20.51 c Replacing 2172 vars Replaced 32106 lits Time: 0.05 s
665.32/23.34 c N st 10 11300 41278 62451 47144 8650 339179 143034 no data no data
703.67/24.58 c Finding binary XORs T: 0.03 s found: 1228
706.86/24.63 c Replacing 1571 vars Replaced 22752 lits Time: 0.04 s
719.65/25.07 c N st 11 17043 38186 58244 47556 13557 315864 249836 no data no data
805.91/27.79 c F st 12 25000 37909 58244 53414 13465 315864 224806 no data no data
809.10/27.85 c Replacing 191 vars Replaced 2318 lits Time: 0.03 s
818.70/28.12 c N st 12 25000 37716 57440 52738 13445 311804 223911 no data no data
857.06/29.31 c Finding binary XORs T: 0.03 s found: 93
898.61/30.71 c Decided on static restart strategy
898.61/30.71 c N st 18 30000 37713 57440 52755 18305 311804 306498 no data no data
898.61/30.71 c S st 18 30000 37713 57440 52755 18305 311804 306498 no data no data
917.78/31.23 c S st 18 30502 37696 57440 52883 18583 311804 308302 no data no data
917.78/31.27 c x-sub: 56 x-cut: 0 vfix: 0 v-elim: 41 locsubst: 760 time: 0.04
1416.58/48.01 c Flit: 547 Blit: 1627 bXBeca: 0 bXProp: 2551 Bins: 106961 BRemL: 7978 BRemN: 59 P: 187.0M T: 16.49
1416.58/48.03 c Cleaning up after failed var search: 0.02 s
1416.58/48.08 c Replacing 2942 vars Replaced 127555 lits Time: 0.05 s
1417.08/48.13 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1417.08/48.15 c bin-w-bin subsume rem 14053 bins time: 0.02 s
1417.57/48.20 c subs with bin: 4469 lits-rem: 4797 v-fix: 0 time: 0.05 s
1418.16/48.34 c Subs w/ non-existent bins: 1109 l-rem: 547 v-fix: 1 done: 32020 time: 0.14 s
1418.16/48.37 c Removed useless bin: 653 fixed: 0 props: 1.10M time: 0.03 s
1419.08/48.50 c lits-rem: 909 cl-subs: 2123 v-elim: 3202 v-fix: 1 time: 0.13 s
1419.08/48.58 c subs with bin: 424 lits-rem: 7240 v-fix: 0 time: 0.04 s
1419.95/48.70 c lits-rem: 1669 cl-subs: 1172 v-elim: 0 v-fix: 0 time: 0.10 s
1420.76/48.90 c asymm cl-useful: 0/2864/42947 lits-rem:0 time: 0.20
1420.76/48.99 c calculated reachability. Time: 0.08
1420.76/49.00 c N st 18 30502 28816 42947 73431 15658 234405 320171 no data no data
1438.88/55.41 c Following stats are for *FIRST FINISHED THREAD ONLY*
1438.88/55.41 c num threads : 32
1438.88/55.41 c restarts : 24
1438.88/55.41 c dynamic restarts : 0
1438.88/55.41 c static restarts : 24
1438.88/55.41 c full restarts : 1
1438.88/55.41 c total simplify time : 0.63
1438.88/55.41 c learnts DL2 : 0
1438.88/55.41 c learnts size 2 : 203634
1438.88/55.41 c learnts size 1 : 18743 (19.42 % of vars)
1438.88/55.41 c filedLit time : 7.31 (14.13 % time)
1438.88/55.41 c v-elim SatELite : 24681 (25.57 % vars)
1438.88/55.41 c SatELite time : 1.00 (1.93 % time)
1438.88/55.41 c v-elim xor : 3760 (3.90 % vars)
1438.88/55.41 c xor elim time : 0.09 (0.17 % time)
1438.88/55.41 c num binary xor trees : 9435
1438.88/55.41 c binxor trees' crown : 21865 (2.32 leafs/tree)
1438.88/55.41 c bin xor find time : 0.19
1438.88/55.41 c OTF clause improved : 2377 (0.03 clauses/conflict)
1438.88/55.41 c OTF impr. size diff : 3093 (1.30 lits/clause)
1438.88/55.41 c OTF cl watch-shrink : 41887 (0.57 clauses/conflict)
1438.88/55.41 c OTF cl watch-sh-lit : 92185 (2.20 lits/clause)
1438.88/55.41 c tried to recurMin cls : 0 (0.00 % of conflicts)
1438.88/55.41 c updated cache : 0 (nan lits/tried recurMin)
1438.88/55.41 c unit cls recevied : 1233 (6.58 % of units)
1438.88/55.41 c unit cls sent : 4244 (22.64 % of units)
1438.88/55.41 c bin cls recevied : 76424
1438.88/55.41 c bin cls sent : 1784
1438.88/55.41 c clauses over max glue : 0 (0.00 % of all clauses)
1438.88/55.41 c conflicts : 73762 (1425.40 / sec)
1438.88/55.41 c decisions : 335671 (0.00 % random)
1438.88/55.41 c bogo-props : 1092877414 (21119166.06 / sec)
1438.88/55.41 c conflict literals : 1444996 (44.26 % deleted)
1438.88/55.41 c Memory used : 4368.04 MB
1438.88/55.41 c single-thread CPU time : 51.75 s
1438.88/55.41 c all-threads sum CPU time : 1362.71 s
1438.88/55.41 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-3400711-1306361595/watcher-3400711-1306361595 -o /tmp/evaluation-result-3400711-1306361595/solver-3400711-1306361595 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400711-1306361595.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 23.70 29.61 31.14 2/413 18790
/proc/meminfo: memFree=255132060/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=338000 CPUtime=0.8 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) R 18788 18790 18704 0 -1 4202496 436 0 0 0 80 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/18790/statm: 84500 377 297 95 0 79482 0
[pid=18790/tid=18791] ppid=18788 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18790/task/18791/stat : 18791 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18790/tid=18792] ppid=18788 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18790/task/18792/stat : 18792 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18790/tid=18793] ppid=18788 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18790/task/18793/stat : 18793 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18790/tid=18794] ppid=18788 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18790/task/18794/stat : 18794 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18790/tid=18795] ppid=18788 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18790/task/18795/stat : 18795 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852214 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18790/tid=18796] ppid=18788 vsize=338000 CPUtime=0.03 cores=0-31
/proc/18790/task/18796/stat : 18796 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18790/tid=18797] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18797/stat : 18797 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852200 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18790/tid=18798] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18798/stat : 18798 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18790/tid=18799] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18799/stat : 18799 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852204 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18790/tid=18800] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18800/stat : 18800 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18790/tid=18801] ppid=18788 vsize=338000 CPUtime=0 cores=0-31
/proc/18790/task/18801/stat : 18801 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18790/tid=18802] ppid=18788 vsize=338000 CPUtime=0 cores=0-31
/proc/18790/task/18802/stat : 18802 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18790/tid=18803] ppid=18788 vsize=338000 CPUtime=0 cores=0-31
/proc/18790/task/18803/stat : 18803 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852214 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18790/tid=18804] ppid=18788 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18790/task/18804/stat : 18804 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18790/tid=18805] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18805/stat : 18805 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18790/tid=18806] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18806/stat : 18806 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18790/tid=18807] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18807/stat : 18807 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852200 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18790/tid=18808] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18808/stat : 18808 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852214 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18790/tid=18809] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18809/stat : 18809 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852214 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18790/tid=18810] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18810/stat : 18810 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18790/tid=18811] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18811/stat : 18811 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18790/tid=18812] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18812/stat : 18812 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852208 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18790/tid=18813] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18813/stat : 18813 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18790/tid=18814] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18814/stat : 18814 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18790/tid=18815] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18815/stat : 18815 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852204 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18790/tid=18816] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18816/stat : 18816 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18790/tid=18817] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18817/stat : 18817 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852214 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18790/tid=18818] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18818/stat : 18818 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18790/tid=18819] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18819/stat : 18819 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852200 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18790/tid=18820] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18820/stat : 18820 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852210 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18790/tid=18821] ppid=18788 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18790/task/18821/stat : 18821 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 747645954 346112000 377 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947852204 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.087143 s]
/proc/loadavg: 23.70 29.61 31.14 2/413 18790
/proc/meminfo: memFree=255132060/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=797968 CPUtime=2.12 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) R 18788 18790 18704 0 -1 4202496 6273 0 0 0 179 33 0 0 25 0 32 0 747645954 817119232 6144 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/18790/statm: 199492 6238 322 95 0 194474 0
[pid=18790/tid=18791] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18791/stat : 18791 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 221 0 0 0 6 1 0 0 18 0 32 0 747645954 817119232 6296 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18790/tid=18792] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18792/stat : 18792 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 200 0 0 0 6 0 0 0 22 0 32 0 747645954 817119232 6381 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18790/tid=18793] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18793/stat : 18793 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 183 0 0 0 6 1 0 0 18 0 32 0 747645954 817119232 6452 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18790/tid=18794] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18794/stat : 18794 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 220 0 0 0 6 1 0 0 18 0 32 0 747645954 817119232 6521 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18790/tid=18795] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18795/stat : 18795 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 195 0 0 0 6 1 0 0 23 0 32 0 747645954 817119232 6620 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18790/tid=18796] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18796/stat : 18796 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 204 0 0 0 6 1 0 0 23 0 32 0 747645954 817119232 6692 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18790/tid=18797] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18797/stat : 18797 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 175 0 0 0 6 0 0 0 23 0 32 0 747645954 817119232 6753 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18790/tid=18798] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18798/stat : 18798 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 192 0 0 0 6 1 0 0 23 0 32 0 747645954 817119232 6818 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=18790/tid=18799] ppid=18788 vsize=797968 CPUtime=0.07 cores=0-31
/proc/18790/task/18799/stat : 18799 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 197 0 0 0 6 1 0 0 23 0 32 0 747645954 817119232 6882 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18790/tid=18800] ppid=18788 vsize=797968 CPUtime=0.05 cores=0-31
/proc/18790/task/18800/stat : 18800 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 213 0 0 0 4 1 0 0 24 0 32 0 747645954 817119232 6956 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18790/tid=18801] ppid=18788 vsize=797968 CPUtime=0.02 cores=0-31
/proc/18790/task/18801/stat : 18801 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 210 0 0 0 1 1 0 0 23 0 32 0 747645954 817119232 7022 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18790/tid=18802] ppid=18788 vsize=797968 CPUtime=0.03 cores=0-31
/proc/18790/task/18802/stat : 18802 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 170 0 0 0 2 1 0 0 24 0 32 0 747645954 817119232 7085 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18790/tid=18803] ppid=18788 vsize=797968 CPUtime=0.04 cores=0-31
/proc/18790/task/18803/stat : 18803 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 223 0 0 0 3 1 0 0 24 0 32 0 747645954 817119232 7157 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18790/tid=18804] ppid=18788 vsize=797968 CPUtime=0.05 cores=0-31
/proc/18790/task/18804/stat : 18804 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 223 0 0 0 4 1 0 0 18 0 32 0 747645954 817119232 7220 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=18790/tid=18805] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18805/stat : 18805 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 211 0 0 0 5 1 0 0 24 0 32 0 747645954 817119232 7284 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18790/tid=18806] ppid=18788 vsize=797968 CPUtime=0.05 cores=0-31
/proc/18790/task/18806/stat : 18806 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 200 0 0 0 5 0 0 0 24 0 32 0 747645954 817119232 7355 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18790/tid=18807] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18807/stat : 18807 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 233 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 7417 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18790/tid=18808] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18808/stat : 18808 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 251 0 0 0 5 1 0 0 18 0 32 0 747645954 817119232 7473 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18790/tid=18809] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18809/stat : 18809 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 251 0 0 0 5 1 0 0 18 0 32 0 747645954 817119232 7527 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18790/tid=18810] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18810/stat : 18810 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 211 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 7568 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18790/tid=18811] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18811/stat : 18811 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 223 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 7640 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18790/tid=18812] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18812/stat : 18812 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 213 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 7702 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18790/tid=18813] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18813/stat : 18813 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 264 0 0 0 5 1 0 0 18 0 32 0 747645954 817119232 7761 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18790/tid=18814] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18814/stat : 18814 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 223 0 0 0 5 1 0 0 18 0 32 0 747645954 817119232 7838 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18790/tid=18815] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18815/stat : 18815 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 223 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 7887 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18790/tid=18816] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18816/stat : 18816 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 235 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 7953 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18790/tid=18817] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18817/stat : 18817 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 219 0 0 0 5 1 0 0 18 0 32 0 747645954 817119232 8007 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18790/tid=18818] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18818/stat : 18818 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 268 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 8059 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18790/tid=18819] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18819/stat : 18819 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 229 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 8113 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18790/tid=18820] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18820/stat : 18820 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 269 0 0 0 5 1 0 0 18 0 32 0 747645954 817119232 8170 268435456000 4194304 4580107 140736731153904 18446744073709551615 4231408 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18790/tid=18821] ppid=18788 vsize=797968 CPUtime=0.06 cores=0-31
/proc/18790/task/18821/stat : 18821 (strangenight2-m) D 18788 18790 18704 0 -1 4202560 268 0 0 0 5 1 0 0 25 0 32 0 747645954 817119232 8193 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 797968
[startup+0.105141 s]
/proc/loadavg: 23.70 29.61 31.14 2/413 18790
/proc/meminfo: memFree=255132060/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=995128 CPUtime=2.32 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) R 18788 18790 18704 0 -1 4202496 9880 0 0 0 181 51 0 0 17 0 32 0 747645954 1019011072 9720 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/18790/statm: 248782 9721 331 95 0 243764 0
[pid=18790/tid=18791] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18791/stat : 18791 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 302 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9727 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446744071566925824 0 0 -1 1 0 0 0
[pid=18790/tid=18792] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18792/stat : 18792 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 339 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9735 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446744071566929944 0 0 -1 8 0 0 0
[pid=18790/tid=18793] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18793/stat : 18793 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 273 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9744 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446744071566929464 0 0 -1 2 0 0 0
[pid=18790/tid=18794] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18794/stat : 18794 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 288 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9748 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446604478391303648 0 0 -1 5 0 0 0
[pid=18790/tid=18795] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18795/stat : 18795 (strangenight2-m) D 18788 18790 18704 0 -1 4202560 269 0 0 0 6 1 0 0 18 0 32 0 747645954 1019011072 9755 268435456000 4194304 4580107 140736731153904 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18790/tid=18796] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18796/stat : 18796 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 304 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9766 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446604503866547680 0 0 -1 3 0 0 0
[pid=18790/tid=18797] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18797/stat : 18797 (strangenight2-m) D 18788 18790 18704 0 -1 4202560 324 0 0 0 6 1 0 0 23 0 32 0 747645954 1019011072 9767 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18790/tid=18798] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18798/stat : 18798 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 270 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9777 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446744071566929224 0 0 -1 16 0 0 0
[pid=18790/tid=18799] ppid=18788 vsize=995128 CPUtime=0.07 cores=0-31
/proc/18790/task/18799/stat : 18799 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 268 0 0 0 6 1 0 0 17 0 32 0 747645954 1019011072 9784 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446744071566933424 0 0 -1 28 0 0 0
[pid=18790/tid=18800] ppid=18788 vsize=995128 CPUtime=0.05 cores=0-31
/proc/18790/task/18800/stat : 18800 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 289 0 0 0 4 1 0 0 17 0 32 0 747645954 1019011072 9789 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446604505459006944 0 0 -1 29 0 0 0
[pid=18790/tid=18801] ppid=18788 vsize=995128 CPUtime=0.02 cores=0-31
/proc/18790/task/18801/stat : 18801 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 267 0 0 0 1 1 0 0 17 0 32 0 747645954 1019011072 9790 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446604505913916896 0 0 -1 4 0 0 0
[pid=18790/tid=18802] ppid=18788 vsize=995128 CPUtime=0.03 cores=0-31
/proc/18790/task/18802/stat : 18802 (strangenight2-m) D 18788 18790 18704 0 -1 4202560 273 0 0 0 2 1 0 0 24 0 32 0 747645954 1019011072 9798 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18790/tid=18803] ppid=18788 vsize=995128 CPUtime=0.05 cores=0-31
/proc/18790/task/18803/stat : 18803 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 319 0 0 0 4 1 0 0 17 0 32 0 747645954 1019011072 9820 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446604505168182752 0 0 -1 27 0 0 0
[pid=18790/tid=18804] ppid=18788 vsize=995128 CPUtime=0.05 cores=0-31
/proc/18790/task/18804/stat : 18804 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 274 0 0 0 4 1 0 0 17 0 32 0 747645954 1019011072 9827 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446604503866547680 0 0 -1 30 0 0 0
[pid=18790/tid=18805] ppid=18788 vsize=995128 CPUtime=0.06 cores=0-31
/proc/18790/task/18805/stat : 18805 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 267 0 0 0 5 1 0 0 17 0 32 0 747645954 1019011072 9829 268435456000 4194304 4580107 140736731153904 18446744073709551615 258651060958 0 0 4096 2 18446744071566929384 0 0 -1 12 0 0 0
[pid=18790/tid=18806] ppid=18788 vsize=995128 CPUtime=0.06 cores=0-31
/proc/18790/task/18806/stat : 18806 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 316 0 0 0 5 1 0 0 24 0 32 0 747645954 1019011072 9833 268435456000 4194304 4580107 140736731153904 18446744073709551615 258650616986 0 0 4096 2 520192 0 0 -1 20 0 0 0
[pid=18790/tid=18807] ppid=18788 vsize=995128 CPUtime=0.06 cores=0-31
################
# More data... #
################
Solver just ended. Dumping a history of the last processes samples
[startup+54.3032 s]
/proc/loadavg: 26.19 29.45 31.01 4/445 18824
/proc/meminfo: memFree=251921172/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=4472868 CPUtime=1436.67 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) S 18788 18790 18704 0 -1 4202496 1642998 0 0 0 136048 7619 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18790/statm: 1118217 801108 379 95 0 1113199 0
[pid=18790/tid=18791] ppid=18788 vsize=4472868 CPUtime=45.74 cores=0-31
/proc/18790/task/18791/stat : 18791 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 76435 0 0 0 4293 281 0 0 18 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604504041414112 0 0 -1 19 0 0 0
[pid=18790/tid=18792] ppid=18788 vsize=4472868 CPUtime=44.81 cores=0-31
/proc/18790/task/18792/stat : 18792 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 71389 0 0 0 4313 168 0 0 21 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604483981983200 0 0 -1 8 0 0 0
[pid=18790/tid=18793] ppid=18788 vsize=4472868 CPUtime=51.13 cores=0-31
/proc/18790/task/18793/stat : 18793 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 53623 0 0 0 4838 275 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604571213086176 0 0 -1 29 0 0 0
[pid=18790/tid=18794] ppid=18788 vsize=4472868 CPUtime=44.05 cores=0-31
/proc/18790/task/18794/stat : 18794 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 52658 0 0 0 4184 221 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505550495200 0 0 -1 27 0 0 0
[pid=18790/tid=18795] ppid=18788 vsize=4472868 CPUtime=51.85 cores=0-31
/proc/18790/task/18795/stat : 18795 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 57368 0 0 0 4928 257 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18790/tid=18796] ppid=18788 vsize=4472868 CPUtime=43.57 cores=0-31
/proc/18790/task/18796/stat : 18796 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 30700 0 0 0 4135 222 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604474318601696 0 0 -1 24 0 0 0
[pid=18790/tid=18797] ppid=18788 vsize=4472868 CPUtime=44.65 cores=0-31
/proc/18790/task/18797/stat : 18797 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 42036 0 0 0 4294 171 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604502766255584 0 0 -1 0 0 0 0
[pid=18790/tid=18798] ppid=18788 vsize=4472868 CPUtime=43.88 cores=0-31
/proc/18790/task/18798/stat : 18798 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 37214 0 0 0 4139 249 0 0 21 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604503866547680 0 0 -1 28 0 0 0
[pid=18790/tid=18799] ppid=18788 vsize=4472868 CPUtime=43.76 cores=0-31
/proc/18790/task/18799/stat : 18799 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 57735 0 0 0 4117 259 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604482280365536 0 0 -1 1 0 0 0
[pid=18790/tid=18800] ppid=18788 vsize=4472868 CPUtime=43.94 cores=0-31
/proc/18790/task/18800/stat : 18800 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 40440 0 0 0 4145 249 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604485685059040 0 0 -1 11 0 0 0
[pid=18790/tid=18801] ppid=18788 vsize=4472868 CPUtime=43.66 cores=0-31
/proc/18790/task/18801/stat : 18801 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 34920 0 0 0 4116 250 0 0 21 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505511869920 0 0 -1 4 0 0 0
[pid=18790/tid=18802] ppid=18788 vsize=4472868 CPUtime=44.59 cores=0-31
/proc/18790/task/18802/stat : 18802 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 59063 0 0 0 4256 203 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446744071566929584 0 0 -1 17 0 0 0
[pid=18790/tid=18803] ppid=18788 vsize=4472868 CPUtime=43.81 cores=0-31
/proc/18790/task/18803/stat : 18803 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 42226 0 0 0 4106 275 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604478391303648 0 0 -1 23 0 0 0
[pid=18790/tid=18804] ppid=18788 vsize=4472868 CPUtime=43.97 cores=0-31
/proc/18790/task/18804/stat : 18804 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 40398 0 0 0 4117 280 0 0 21 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604482383986144 0 0 -1 30 0 0 0
[pid=18790/tid=18805] ppid=18788 vsize=4472868 CPUtime=43.54 cores=0-31
/proc/18790/task/18805/stat : 18805 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 48009 0 0 0 4118 236 0 0 20 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505459006944 0 0 -1 2 0 0 0
[pid=18790/tid=18806] ppid=18788 vsize=4472868 CPUtime=43.96 cores=0-31
/proc/18790/task/18806/stat : 18806 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 41311 0 0 0 4157 239 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604481511407072 0 0 -1 21 0 0 0
[pid=18790/tid=18807] ppid=18788 vsize=4472868 CPUtime=43.77 cores=0-31
/proc/18790/task/18807/stat : 18807 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 60083 0 0 0 4123 254 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604482330541536 0 0 -1 7 0 0 0
[pid=18790/tid=18808] ppid=18788 vsize=4472868 CPUtime=52.53 cores=0-31
/proc/18790/task/18808/stat : 18808 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 40535 0 0 0 5063 190 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947827396 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18790/tid=18809] ppid=18788 vsize=4472868 CPUtime=43.7 cores=0-31
/proc/18790/task/18809/stat : 18809 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 35469 0 0 0 4128 242 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604477308984800 0 0 -1 5 0 0 0
[pid=18790/tid=18810] ppid=18788 vsize=4472868 CPUtime=43.89 cores=0-31
/proc/18790/task/18810/stat : 18810 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 35394 0 0 0 4137 252 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505168182752 0 0 -1 20 0 0 0
[pid=18790/tid=18811] ppid=18788 vsize=4472868 CPUtime=43.82 cores=0-31
/proc/18790/task/18811/stat : 18811 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 31802 0 0 0 4126 256 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604484776943072 0 0 -1 14 0 0 0
[pid=18790/tid=18812] ppid=18788 vsize=4472868 CPUtime=43.92 cores=0-31
/proc/18790/task/18812/stat : 18812 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 39803 0 0 0 4134 258 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505913916896 0 0 -1 16 0 0 0
[pid=18790/tid=18813] ppid=18788 vsize=4472868 CPUtime=44.78 cores=0-31
/proc/18790/task/18813/stat : 18813 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 39429 0 0 0 4286 192 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505439051232 0 0 -1 9 0 0 0
[pid=18790/tid=18814] ppid=18788 vsize=4472868 CPUtime=44.62 cores=0-31
/proc/18790/task/18814/stat : 18814 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 45327 0 0 0 4252 210 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604501719940576 0 0 -1 18 0 0 0
[pid=18790/tid=18815] ppid=18788 vsize=4472868 CPUtime=44.13 cores=0-31
/proc/18790/task/18815/stat : 18815 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 40964 0 0 0 4170 243 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604499821182432 0 0 -1 15 0 0 0
[pid=18790/tid=18816] ppid=18788 vsize=4472868 CPUtime=44.49 cores=0-31
/proc/18790/task/18816/stat : 18816 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 66382 0 0 0 4244 205 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505848069600 0 0 -1 29 0 0 0
[pid=18790/tid=18817] ppid=18788 vsize=4472868 CPUtime=43.79 cores=0-31
/proc/18790/task/18817/stat : 18817 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 37065 0 0 0 4112 267 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604500129947104 0 0 -1 22 0 0 0
[pid=18790/tid=18818] ppid=18788 vsize=4472868 CPUtime=43.92 cores=0-31
/proc/18790/task/18818/stat : 18818 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 33252 0 0 0 4123 269 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604483542293984 0 0 -1 12 0 0 0
[pid=18790/tid=18819] ppid=18788 vsize=4472868 CPUtime=44.15 cores=0-31
/proc/18790/task/18819/stat : 18819 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 51695 0 0 0 4159 256 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604475471977952 0 0 -1 25 0 0 0
[pid=18790/tid=18820] ppid=18788 vsize=4472868 CPUtime=43.84 cores=0-31
/proc/18790/task/18820/stat : 18820 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 38756 0 0 0 4113 271 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604504175214048 0 0 -1 26 0 0 0
[pid=18790/tid=18821] ppid=18788 vsize=4472868 CPUtime=44.11 cores=0-31
/proc/18790/task/18821/stat : 18821 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 203231 0 0 0 4233 178 0 0 25 0 32 0 747645954 4580216832 801108 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604484490026464 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1436.67
Current children cumulated vsize (KiB) 4472868
[startup+55.1022 s]
/proc/loadavg: 26.19 29.45 31.01 3/445 18824
/proc/meminfo: memFree=251915468/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=4472868 CPUtime=1438.28 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) S 18788 18790 18704 0 -1 4202496 1645446 0 0 0 136208 7620 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18790/statm: 1118217 802508 379 95 0 1113199 0
[pid=18790/tid=18791] ppid=18788 vsize=4472868 CPUtime=45.74 cores=0-31
/proc/18790/task/18791/stat : 18791 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 76435 0 0 0 4293 281 0 0 18 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604504041414112 0 0 -1 19 0 0 0
[pid=18790/tid=18792] ppid=18788 vsize=4472868 CPUtime=44.81 cores=0-31
/proc/18790/task/18792/stat : 18792 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 71389 0 0 0 4313 168 0 0 21 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604483981983200 0 0 -1 8 0 0 0
[pid=18790/tid=18793] ppid=18788 vsize=4472868 CPUtime=51.13 cores=0-31
/proc/18790/task/18793/stat : 18793 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 53623 0 0 0 4838 275 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604571213086176 0 0 -1 29 0 0 0
[pid=18790/tid=18794] ppid=18788 vsize=4472868 CPUtime=44.05 cores=0-31
/proc/18790/task/18794/stat : 18794 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 52658 0 0 0 4184 221 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505550495200 0 0 -1 27 0 0 0
[pid=18790/tid=18795] ppid=18788 vsize=4472868 CPUtime=52.65 cores=0-31
/proc/18790/task/18795/stat : 18795 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 59816 0 0 0 5007 258 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18790/tid=18796] ppid=18788 vsize=4472868 CPUtime=43.57 cores=0-31
/proc/18790/task/18796/stat : 18796 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 30700 0 0 0 4135 222 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604474318601696 0 0 -1 24 0 0 0
[pid=18790/tid=18797] ppid=18788 vsize=4472868 CPUtime=44.65 cores=0-31
/proc/18790/task/18797/stat : 18797 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 42036 0 0 0 4294 171 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604502766255584 0 0 -1 0 0 0 0
[pid=18790/tid=18798] ppid=18788 vsize=4472868 CPUtime=43.88 cores=0-31
/proc/18790/task/18798/stat : 18798 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 37214 0 0 0 4139 249 0 0 21 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604503866547680 0 0 -1 28 0 0 0
[pid=18790/tid=18799] ppid=18788 vsize=4472868 CPUtime=43.76 cores=0-31
/proc/18790/task/18799/stat : 18799 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 57735 0 0 0 4117 259 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604482280365536 0 0 -1 1 0 0 0
[pid=18790/tid=18800] ppid=18788 vsize=4472868 CPUtime=43.94 cores=0-31
/proc/18790/task/18800/stat : 18800 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 40440 0 0 0 4145 249 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604485685059040 0 0 -1 11 0 0 0
[pid=18790/tid=18801] ppid=18788 vsize=4472868 CPUtime=43.66 cores=0-31
/proc/18790/task/18801/stat : 18801 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 34920 0 0 0 4116 250 0 0 21 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505511869920 0 0 -1 4 0 0 0
[pid=18790/tid=18802] ppid=18788 vsize=4472868 CPUtime=44.59 cores=0-31
/proc/18790/task/18802/stat : 18802 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 59063 0 0 0 4256 203 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446744071566929584 0 0 -1 17 0 0 0
[pid=18790/tid=18803] ppid=18788 vsize=4472868 CPUtime=43.81 cores=0-31
/proc/18790/task/18803/stat : 18803 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 42226 0 0 0 4106 275 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604478391303648 0 0 -1 23 0 0 0
[pid=18790/tid=18804] ppid=18788 vsize=4472868 CPUtime=43.97 cores=0-31
/proc/18790/task/18804/stat : 18804 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 40398 0 0 0 4117 280 0 0 21 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604482383986144 0 0 -1 30 0 0 0
[pid=18790/tid=18805] ppid=18788 vsize=4472868 CPUtime=43.54 cores=0-31
/proc/18790/task/18805/stat : 18805 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 48009 0 0 0 4118 236 0 0 20 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505459006944 0 0 -1 2 0 0 0
[pid=18790/tid=18806] ppid=18788 vsize=4472868 CPUtime=43.96 cores=0-31
/proc/18790/task/18806/stat : 18806 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 41311 0 0 0 4157 239 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604481511407072 0 0 -1 21 0 0 0
[pid=18790/tid=18807] ppid=18788 vsize=4472868 CPUtime=43.77 cores=0-31
/proc/18790/task/18807/stat : 18807 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 60083 0 0 0 4123 254 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604482330541536 0 0 -1 7 0 0 0
[pid=18790/tid=18808] ppid=18788 vsize=4472868 CPUtime=53.33 cores=0-31
/proc/18790/task/18808/stat : 18808 (strangenight2-m) R 18788 18790 18704 0 -1 4202560 40535 0 0 0 5143 190 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947827243 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18790/tid=18809] ppid=18788 vsize=4472868 CPUtime=43.7 cores=0-31
/proc/18790/task/18809/stat : 18809 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 35469 0 0 0 4128 242 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604477308984800 0 0 -1 5 0 0 0
[pid=18790/tid=18810] ppid=18788 vsize=4472868 CPUtime=43.89 cores=0-31
/proc/18790/task/18810/stat : 18810 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 35394 0 0 0 4137 252 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505168182752 0 0 -1 20 0 0 0
[pid=18790/tid=18811] ppid=18788 vsize=4472868 CPUtime=43.82 cores=0-31
/proc/18790/task/18811/stat : 18811 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 31802 0 0 0 4126 256 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604484776943072 0 0 -1 14 0 0 0
[pid=18790/tid=18812] ppid=18788 vsize=4472868 CPUtime=43.92 cores=0-31
/proc/18790/task/18812/stat : 18812 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 39803 0 0 0 4134 258 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505913916896 0 0 -1 16 0 0 0
[pid=18790/tid=18813] ppid=18788 vsize=4472868 CPUtime=44.78 cores=0-31
/proc/18790/task/18813/stat : 18813 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 39429 0 0 0 4286 192 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505439051232 0 0 -1 9 0 0 0
[pid=18790/tid=18814] ppid=18788 vsize=4472868 CPUtime=44.62 cores=0-31
/proc/18790/task/18814/stat : 18814 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 45327 0 0 0 4252 210 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604501719940576 0 0 -1 18 0 0 0
[pid=18790/tid=18815] ppid=18788 vsize=4472868 CPUtime=44.13 cores=0-31
/proc/18790/task/18815/stat : 18815 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 40964 0 0 0 4170 243 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604499821182432 0 0 -1 15 0 0 0
[pid=18790/tid=18816] ppid=18788 vsize=4472868 CPUtime=44.49 cores=0-31
/proc/18790/task/18816/stat : 18816 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 66382 0 0 0 4244 205 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604505848069600 0 0 -1 29 0 0 0
[pid=18790/tid=18817] ppid=18788 vsize=4472868 CPUtime=43.79 cores=0-31
/proc/18790/task/18817/stat : 18817 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 37065 0 0 0 4112 267 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604500129947104 0 0 -1 22 0 0 0
[pid=18790/tid=18818] ppid=18788 vsize=4472868 CPUtime=43.92 cores=0-31
/proc/18790/task/18818/stat : 18818 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 33252 0 0 0 4123 269 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604483542293984 0 0 -1 12 0 0 0
[pid=18790/tid=18819] ppid=18788 vsize=4472868 CPUtime=44.15 cores=0-31
/proc/18790/task/18819/stat : 18819 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 51695 0 0 0 4159 256 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604475471977952 0 0 -1 25 0 0 0
[pid=18790/tid=18820] ppid=18788 vsize=4472868 CPUtime=43.84 cores=0-31
/proc/18790/task/18820/stat : 18820 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 38756 0 0 0 4113 271 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604504175214048 0 0 -1 26 0 0 0
[pid=18790/tid=18821] ppid=18788 vsize=4472868 CPUtime=44.11 cores=0-31
/proc/18790/task/18821/stat : 18821 (strangenight2-m) S 18788 18790 18704 0 -1 4202560 203231 0 0 0 4233 178 0 0 25 0 32 0 747645954 4580216832 802508 268435456000 4194304 4580107 140736731153904 18446744073709551615 47690947851828 0 0 4096 2 18446604484490026464 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1438.28
Current children cumulated vsize (KiB) 4472868
[startup+55.5022 s]
/proc/loadavg: 26.19 29.45 31.01 3/445 18824
/proc/meminfo: memFree=251915468/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=0 CPUtime=1439.01 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) R 18788 18790 18704 0 -1 4203524 1645451 0 0 0 136271 7630 0 0 18 0 1 0 747645954 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18790/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1439.01
Current children cumulated vsize (KiB) 0
[startup+55.7012 s]
/proc/loadavg: 26.19 29.45 31.01 3/445 18824
/proc/meminfo: memFree=251915468/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=0 CPUtime=1439.2 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) R 18788 18790 18704 0 -1 4203524 1645451 0 0 0 136271 7649 0 0 18 0 1 0 747645954 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18790/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1439.2
Current children cumulated vsize (KiB) 0
[startup+55.8012 s]
/proc/loadavg: 26.19 29.45 31.01 3/445 18824
/proc/meminfo: memFree=251915468/264257624 swapFree=67111528/67111528
[pid=18790] ppid=18788 vsize=0 CPUtime=1439.3 cores=0-31
/proc/18790/stat : 18790 (strangenight2-m) R 18788 18790 18704 0 -1 4203524 1645451 0 0 0 136271 7659 0 0 18 0 1 0 747645954 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/18790/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1439.3
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 55.8596
CPU time (s): 1439.37
CPU user time (s): 1362.71
CPU system time (s): 76.6573
CPU usage (%): 2576.77
Max. virtual memory (cumulated for all children) (KiB): 4598720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1362.71
system time used= 76.6573
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1645451
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= 1971494
involuntary context switches= 26999
runsolver used 0.363944 second user time and 1.37979 second system time
The end
Begin job on node200 at 2011-05-26 00:13:15
IDJOB=3400711
IDBENCH=82357
IDSOLVER=1886
FILE ID=node200/3400711-1306361595
RUNJOBID= node200-1306361502-18718
PBS_JOBID= 13457871
Free space on /tmp= 62040 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/fuhs/AProVE11/AProVE11-11.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400711-1306361595/watcher-3400711-1306361595 -o /tmp/evaluation-result-3400711-1306361595/solver-3400711-1306361595 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400711-1306361595.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 06568f445121c7d3cc3b96042d85c719
RANDOM SEED=932993853
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.049
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.09
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.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
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.09
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.049
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.17
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.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.06
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.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
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.09
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.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
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.049
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.02
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.049
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.17
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.049
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.049
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 : 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.09
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.049
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.08
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.049
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.09
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.049
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.049
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.09
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.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255132472 kB
Buffers: 469528 kB
Cached: 8245956 kB
SwapCached: 0 kB
Active: 7785592 kB
Inactive: 1001784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255132472 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 11656 kB
Writeback: 0 kB
AnonPages: 72436 kB
Mapped: 14524 kB
Slab: 256672 kB
PageTables: 4368 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 182440 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= 62036 MiB
End job on node200 at 2011-05-26 00:14:11