0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 32 threads
0.00/0.01 c This is CryptoMiniSat 3.0.0
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3400681-1306330907.cnf'
0.00/0.05 c -- header says num vars: 162696
0.00/0.05 c -- header says num clauses: 821000
123.41/6.75 c -- clauses added: 0 learnts, 821000 normals, 0 xors
123.41/6.75 c -- vars added 162696
123.41/6.75 c Parsing time: 1.16 s
123.41/6.75 c N st 0 0 162696 194789 617205 0 1943577 0 no data no data
148.46/7.60 c asymm cl-useful: 12/1989/165696 lits-rem:48 time: 0.81
809.41/28.28 c Flit: 1787 Blit: 1646 bXBeca: 0 bXProp: 1290 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 20.67
812.47/28.34 c Cleaning up after failed var search: 0.07 s
815.54/28.45 c Replacing 1290 vars Replaced 36327 lits Time: 0.09 s
823.87/28.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
823.87/28.77 c bin-w-bin subsume rem 22617 bins time: 0.06 s
828.92/28.91 c subs with bin: 3222 lits-rem: 30227 v-fix: 0 time: 0.13 s
1140.16/38.97 c Subs w/ non-existent bins: 237 l-rem: 0 v-fix: 0 done: 20323 time: 9.84 s
1149.57/39.24 c Removed useless bin: 253 fixed: 0 props: 20.00M time: 0.27 s
1192.58/40.65 c lits-rem: 768 cl-subs: 2783 v-elim: 39415 v-fix: 0 time: 0.96 s
1195.57/40.72 c Finding binary XORs T: 0.08 s found: 874
1197.95/40.84 c Replacing 874 vars Replaced 34276 lits Time: 0.08 s
1203.75/41.03 c Finding non-binary XORs: 0.09 s (found: 0, avg size: nan)
1203.75/41.03 c calculated reachability. Time: 0.00
1203.75/41.07 c Calc default polars - time: 0.04 s pos: 15604 undec: 85092 neg: 62000
1203.75/41.07 c =========================================================================================
1203.75/41.07 c types(t): F = full restart, N = normal restart
1203.75/41.07 c types(t): S = simplification begin/end, E = solution found
1203.75/41.07 c restart types(rt): st = static, dy = dynamic
1203.75/41.07 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1203.75/41.07 c B st 0 0 77957 193156 281279 0 1307073 0 no data no data
1320.51/44.70 c N dy 13 4126 69240 175098 249082 3769 1160598 391561 14.32 15.17
1397.22/47.13 c Finding binary XORs T: 0.06 s found: 2144
1397.22/47.22 c Replacing 2144 vars Replaced 92736 lits Time: 0.09 s
1461.14/49.16 c N dy 32 8184 47630 113362 176257 7204 738259 678051 12.31 13.11
1620.95/54.13 c N dy 54 12345 47551 113362 176366 11183 738259 1239546 14.13 14.97
1700.87/56.68 c Finding binary XORs T: 0.05 s found: 877
1704.07/56.78 c Replacing 877 vars Replaced 48321 lits Time: 0.10 s
1883.08/62.34 c N dy 60 16368 44323 99917 171676 14697 668315 1960167 12.79 16.03
2183.48/71.78 c Finding binary XORs T: 0.05 s found: 769
2186.69/71.88 c Replacing 769 vars Replaced 60733 lits Time: 0.11 s
2186.69/71.89 c Following stats are for *FIRST FINISHED THREAD ONLY*
2186.69/71.89 c num threads : 32
2186.69/71.89 c restarts : 86
2186.69/71.89 c dynamic restarts : 80
2186.69/71.89 c static restarts : 6
2186.69/71.89 c full restarts : 0
2186.69/71.89 c total simplify time : 0.73
2186.69/71.89 c learnts DL2 : 0
2186.69/71.89 c learnts size 2 : 710600
2186.69/71.89 c learnts size 1 : 89023 (54.72 % of vars)
2186.69/71.89 c filedLit time : 21.46 (33.00 % time)
2186.69/71.89 c v-elim SatELite : 39375 (24.20 % vars)
2186.69/71.89 c SatELite time : 10.55 (16.22 % time)
2186.69/71.89 c v-elim xor : 0 (0.00 % vars)
2186.69/71.89 c xor elim time : 0.00 (0.00 % time)
2186.69/71.89 c num binary xor trees : 3991
2186.69/71.89 c binxor trees' crown : 6596 (1.65 leafs/tree)
2186.69/71.89 c bin xor find time : 0.23
2186.69/71.89 c OTF clause improved : 334 (0.02 clauses/conflict)
2186.69/71.89 c OTF impr. size diff : 485 (1.45 lits/clause)
2186.69/71.89 c OTF cl watch-shrink : 7023 (0.34 clauses/conflict)
2186.69/71.89 c OTF cl watch-sh-lit : 21126 (3.01 lits/clause)
2186.69/71.89 c tried to recurMin cls : 0 (0.00 % of conflicts)
2186.69/71.89 c updated cache : 0 (nan lits/tried recurMin)
2186.69/71.89 c unit cls recevied : 2800 (3.15 % of units)
2186.69/71.89 c unit cls sent : 287 (0.32 % of units)
2186.69/71.89 c bin cls recevied : 31182
2186.69/71.89 c bin cls sent : 638
2186.69/71.89 c clauses over max glue : 0 (0.00 % of all clauses)
2186.69/71.89 c conflicts : 20365 (313.11 / sec)
2186.69/71.89 c decisions : 123165 (0.00 % random)
2186.69/71.89 c bogo-props : 785078294 (12070493.11 / sec)
2186.69/71.89 c conflict literals : 2088279 (26.91 % deleted)
2186.69/71.89 c Memory used : 5630.52 MB
2186.69/71.89 c single-thread CPU time : 65.04 s
2186.69/71.89 c all-threads sum CPU time : 2095.57 s
2186.69/71.89 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-3400681-1306330907/watcher-3400681-1306330907 -o /tmp/evaluation-result-3400681-1306330907/solver-3400681-1306330907 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400681-1306330907.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: 25.29 26.87 25.83 1/413 15857
/proc/meminfo: memFree=255129368/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=798076 CPUtime=0.65 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) D 15855 15857 15773 0 -1 4202496 7712 0 0 0 23 42 0 0 22 0 32 0 744577174 817229824 7560 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15857/statm: 199519 7576 334 95 0 194501 0
[pid=15857/tid=15858] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15858/stat : 15858 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 275 0 0 0 0 1 0 0 18 0 32 0 744577174 817369088 7594 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930344 0 0 -1 1 0 0 0
[pid=15857/tid=15859] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15859/stat : 15859 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 273 0 0 0 0 1 0 0 24 0 32 0 744577174 817369088 7613 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15857/tid=15860] ppid=15855 vsize=798212 CPUtime=0 cores=0-31
/proc/15857/task/15860/stat : 15860 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 111 0 0 0 0 0 0 0 19 0 32 0 744577174 817369088 7615 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15857/tid=15861] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15861/stat : 15861 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 194 0 0 0 0 1 0 0 19 0 32 0 744577174 817369088 7617 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15857/tid=15862] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15862/stat : 15862 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 200 0 0 0 0 1 0 0 19 0 32 0 744577174 817369088 7628 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15857/tid=15863] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15863/stat : 15863 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 209 0 0 0 0 1 0 0 19 0 32 0 744577174 817369088 7645 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15857/tid=15864] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15864/stat : 15864 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 230 0 0 0 0 1 0 0 20 0 32 0 744577174 817369088 7660 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15857/tid=15865] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15865/stat : 15865 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 259 0 0 0 0 1 0 0 18 0 32 0 744577174 817369088 7662 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15857/tid=15866] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15866/stat : 15866 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 295 0 0 0 0 1 0 0 18 0 32 0 744577174 817369088 7662 268435456000 4194304 4580107 140736846975216 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15857/tid=15867] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15867/stat : 15867 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 225 0 0 0 0 1 0 0 20 0 32 0 744577174 817369088 7683 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15857/tid=15868] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15868/stat : 15868 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 222 0 0 0 0 1 0 0 18 0 32 0 744577174 817369088 7685 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15857/tid=15869] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15869/stat : 15869 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 280 0 0 0 0 1 0 0 17 0 32 0 744577174 817369088 7687 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930704 0 0 -1 7 0 0 0
[pid=15857/tid=15870] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15870/stat : 15870 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 230 0 0 0 0 1 0 0 20 0 32 0 744577174 817369088 7694 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15857/tid=15871] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15871/stat : 15871 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 267 0 0 0 0 1 0 0 21 0 32 0 744577174 817369088 7712 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15857/tid=15872] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15872/stat : 15872 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 283 0 0 0 0 1 0 0 21 0 32 0 744577174 817369088 7722 268435456000 4194304 4580107 140736846975216 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15857/tid=15873] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15873/stat : 15873 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 224 0 0 0 0 1 0 0 18 0 32 0 744577174 817369088 7723 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15857/tid=15874] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15874/stat : 15874 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 267 0 0 0 0 1 0 0 18 0 32 0 744577174 817369088 7724 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604503979187680 0 0 -1 4 0 0 0
[pid=15857/tid=15875] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15875/stat : 15875 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 213 0 0 0 0 1 0 0 21 0 32 0 744577174 817369088 7738 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15857/tid=15876] ppid=15855 vsize=798212 CPUtime=0.01 cores=0-31
/proc/15857/task/15876/stat : 15876 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 213 0 0 0 0 1 0 0 21 0 32 0 744577174 817369088 7739 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15857/tid=15877] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15877/stat : 15877 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 257 0 0 0 0 1 0 0 18 0 32 0 744577174 825769984 7752 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15857/tid=15878] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15878/stat : 15878 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 225 0 0 0 0 1 0 0 22 0 32 0 744577174 825769984 7755 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15857/tid=15879] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15879/stat : 15879 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 220 0 0 0 0 1 0 0 22 0 32 0 744577174 825769984 7770 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15857/tid=15880] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15880/stat : 15880 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 287 0 0 0 0 1 0 0 22 0 32 0 744577174 825769984 7772 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15857/tid=15881] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15881/stat : 15881 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 232 0 0 0 0 1 0 0 18 0 32 0 744577174 825769984 7791 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15857/tid=15882] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15882/stat : 15882 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 219 0 0 0 0 1 0 0 22 0 32 0 744577174 825769984 7797 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15857/tid=15883] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15883/stat : 15883 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 292 0 0 0 0 1 0 0 22 0 32 0 744577174 825769984 7798 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15857/tid=15884] ppid=15855 vsize=806416 CPUtime=0 cores=0-31
/proc/15857/task/15884/stat : 15884 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 41 0 0 0 0 0 0 0 22 0 32 0 744577174 825769984 7801 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15857/tid=15885] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15885/stat : 15885 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 225 0 0 0 0 1 0 0 18 0 32 0 744577174 825769984 7822 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15857/tid=15886] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15886/stat : 15886 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 285 0 0 0 0 1 0 0 24 0 32 0 744577174 825769984 7825 268435456000 4194304 4580107 140736846975216 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15857/tid=15887] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15887/stat : 15887 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 279 0 0 0 0 1 0 0 23 0 32 0 744577174 825769984 7827 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=806416 CPUtime=0.01 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 198 0 0 0 0 1 0 0 23 0 32 0 744577174 825769984 7833 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.0920279 s]
/proc/loadavg: 25.29 26.87 25.83 1/413 15857
/proc/meminfo: memFree=255129368/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=1265716 CPUtime=1.12 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) D 15855 15857 15773 0 -1 4202496 15333 0 0 0 29 83 0 0 17 0 32 0 744577174 1296093184 14751 268435456000 4194304 4580107 140736846975216 18446744073709551615 4349457 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15857/statm: 316429 14793 335 95 0 311411 0
[pid=15857/tid=15858] ppid=15855 vsize=1265716 CPUtime=0.03 cores=0-31
/proc/15857/task/15858/stat : 15858 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 453 0 0 0 1 2 0 0 17 0 32 0 744577174 1296093184 14839 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566929744 0 0 -1 1 0 0 0
[pid=15857/tid=15859] ppid=15855 vsize=1265716 CPUtime=0.04 cores=0-31
/proc/15857/task/15859/stat : 15859 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 534 0 0 0 1 3 0 0 17 0 32 0 744577174 1296093184 14844 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930704 0 0 -1 2 0 0 0
[pid=15857/tid=15860] ppid=15855 vsize=1265908 CPUtime=0.01 cores=0-31
/proc/15857/task/15860/stat : 15860 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 402 0 0 0 0 1 0 0 17 0 32 0 744577174 1296289792 14852 268435456000 4194304 4580107 140736846975216 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15857/tid=15861] ppid=15855 vsize=1265908 CPUtime=0.01 cores=0-31
/proc/15857/task/15861/stat : 15861 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 323 0 0 0 0 1 0 0 17 0 32 0 744577174 1296289792 14866 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653104 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15857/tid=15862] ppid=15855 vsize=1265908 CPUtime=0.02 cores=0-31
/proc/15857/task/15862/stat : 15862 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 273 0 0 0 0 2 0 0 17 0 32 0 744577174 1296289792 14907 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566931424 0 0 -1 30 0 0 0
[pid=15857/tid=15863] ppid=15855 vsize=1265908 CPUtime=0.02 cores=0-31
/proc/15857/task/15863/stat : 15863 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 477 0 0 0 0 2 0 0 17 0 32 0 744577174 1296289792 14911 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15857/tid=15864] ppid=15855 vsize=1265908 CPUtime=0.04 cores=0-31
/proc/15857/task/15864/stat : 15864 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 555 0 0 0 1 3 0 0 17 0 32 0 744577174 1296289792 14918 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15857/tid=15865] ppid=15855 vsize=1265908 CPUtime=0.03 cores=0-31
/proc/15857/task/15865/stat : 15865 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 674 0 0 0 0 3 0 0 17 0 32 0 744577174 1296289792 14922 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15857/tid=15866] ppid=15855 vsize=1265776 CPUtime=0.04 cores=0-31
/proc/15857/task/15866/stat : 15866 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 661 0 0 0 1 3 0 0 17 0 32 0 744577174 1296154624 14897 268435456000 4194304 4580107 140736846975216 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15857/tid=15867] ppid=15855 vsize=1265776 CPUtime=0.03 cores=0-31
/proc/15857/task/15867/stat : 15867 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 471 0 0 0 1 2 0 0 17 0 32 0 744577174 1296154624 14904 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930704 0 0 -1 9 0 0 0
[pid=15857/tid=15868] ppid=15855 vsize=1265776 CPUtime=0.02 cores=0-31
/proc/15857/task/15868/stat : 15868 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 427 0 0 0 0 2 0 0 17 0 32 0 744577174 1296154624 14958 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604494799158752 0 0 -1 10 0 0 0
[pid=15857/tid=15869] ppid=15855 vsize=1265776 CPUtime=0.03 cores=0-31
/proc/15857/task/15869/stat : 15869 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 431 0 0 0 1 2 0 0 17 0 32 0 744577174 1296154624 14959 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15857/tid=15870] ppid=15855 vsize=1265776 CPUtime=0.03 cores=0-31
/proc/15857/task/15870/stat : 15870 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 573 0 0 0 0 3 0 0 17 0 32 0 744577174 1296154624 14970 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566928264 0 0 -1 13 0 0 0
[pid=15857/tid=15871] ppid=15855 vsize=1265776 CPUtime=0.03 cores=0-31
/proc/15857/task/15871/stat : 15871 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 416 0 0 0 1 2 0 0 17 0 32 0 744577174 1296154624 14980 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604478330183136 0 0 -1 14 0 0 0
[pid=15857/tid=15872] ppid=15855 vsize=1265776 CPUtime=0.03 cores=0-31
/proc/15857/task/15872/stat : 15872 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 703 0 0 0 1 2 0 0 17 0 32 0 744577174 1296154624 14987 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15857/tid=15873] ppid=15855 vsize=1265776 CPUtime=0.01 cores=0-31
/proc/15857/task/15873/stat : 15873 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 334 0 0 0 0 1 0 0 17 0 32 0 744577174 1296154624 14990 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604498628107744 0 0 -1 8 0 0 0
[pid=15857/tid=15874] ppid=15855 vsize=1265776 CPUtime=0.02 cores=0-31
/proc/15857/task/15874/stat : 15874 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 411 0 0 0 0 2 0 0 17 0 32 0 744577174 1296154624 14998 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604485057641952 0 0 -1 4 0 0 0
[pid=15857/tid=15875] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15875/stat : 15875 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 643 0 0 0 0 2 0 0 18 0 32 0 744577174 1296392192 15009 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15857/tid=15876] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15876/stat : 15876 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 360 0 0 0 0 2 0 0 17 0 32 0 744577174 1296392192 15022 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566932784 0 0 -1 20 0 0 0
[pid=15857/tid=15877] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15877/stat : 15877 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 525 0 0 0 0 2 0 0 17 0 32 0 744577174 1296392192 15024 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15857/tid=15878] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15878/stat : 15878 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 406 0 0 0 0 2 0 0 17 0 32 0 744577174 1296392192 15057 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930344 0 0 -1 17 0 0 0
[pid=15857/tid=15879] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15879/stat : 15879 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 414 0 0 0 0 2 0 0 17 0 32 0 744577174 1296392192 15103 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604477749214688 0 0 -1 18 0 0 0
[pid=15857/tid=15880] ppid=15855 vsize=1266008 CPUtime=0.03 cores=0-31
/proc/15857/task/15880/stat : 15880 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 639 0 0 0 1 2 0 0 17 0 32 0 744577174 1296392192 15103 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566929744 0 0 -1 15 0 0 0
[pid=15857/tid=15881] ppid=15855 vsize=1266008 CPUtime=0.03 cores=0-31
/proc/15857/task/15881/stat : 15881 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 443 0 0 0 1 2 0 0 17 0 32 0 744577174 1296392192 15120 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566924704 0 0 -1 21 0 0 0
[pid=15857/tid=15882] ppid=15855 vsize=1266008 CPUtime=0.03 cores=0-31
/proc/15857/task/15882/stat : 15882 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 524 0 0 0 1 2 0 0 17 0 32 0 744577174 1296392192 15132 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15857/tid=15883] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15883/stat : 15883 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 533 0 0 0 0 2 0 0 17 0 32 0 744577174 1296392192 15142 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604484847476192 0 0 -1 19 0 0 0
[pid=15857/tid=15884] ppid=15855 vsize=1266008 CPUtime=0.01 cores=0-31
/proc/15857/task/15884/stat : 15884 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 311 0 0 0 0 1 0 0 17 0 32 0 744577174 1296392192 15189 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930704 0 0 -1 24 0 0 0
[pid=15857/tid=15885] ppid=15855 vsize=1266008 CPUtime=0.02 cores=0-31
/proc/15857/task/15885/stat : 15885 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 325 0 0 0 0 2 0 0 17 0 32 0 744577174 1296392192 15205 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566926304 0 0 -1 25 0 0 0
[pid=15857/tid=15886] ppid=15855 vsize=1266008 CPUtime=0.03 cores=0-31
/proc/15857/task/15886/stat : 15886 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 642 0 0 0 0 3 0 0 17 0 32 0 744577174 1296392192 15214 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604505108544992 0 0 -1 26 0 0 0
[pid=15857/tid=15887] ppid=15855 vsize=1266200 CPUtime=0.02 cores=0-31
/proc/15857/task/15887/stat : 15887 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 662 0 0 0 0 2 0 0 17 0 32 0 744577174 1296588800 15220 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=1266200 CPUtime=0.01 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 316 0 0 0 0 1 0 0 17 0 32 0 744577174 1296588800 15247 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566928264 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 1265716
[startup+0.104071 s]
/proc/loadavg: 25.29 26.87 25.83 1/413 15857
/proc/meminfo: memFree=255129368/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=1269460 CPUtime=1.24 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) S 15855 15857 15773 0 -1 4202496 18107 0 0 0 30 94 0 0 17 0 32 0 744577174 1299927040 17096 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15857/statm: 317365 17110 335 95 0 312347 0
[pid=15857/tid=15858] ppid=15855 vsize=1269460 CPUtime=0.03 cores=0-31
/proc/15857/task/15858/stat : 15858 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 516 0 0 0 1 2 0 0 17 0 32 0 744577174 1299927040 17110 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604485057641952 0 0 -1 1 0 0 0
[pid=15857/tid=15859] ppid=15855 vsize=1269460 CPUtime=0.04 cores=0-31
/proc/15857/task/15859/stat : 15859 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 608 0 0 0 1 3 0 0 17 0 32 0 744577174 1299927040 17128 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604481375411680 0 0 -1 2 0 0 0
[pid=15857/tid=15860] ppid=15855 vsize=1269460 CPUtime=0.02 cores=0-31
/proc/15857/task/15860/stat : 15860 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 540 0 0 0 0 2 0 0 17 0 32 0 744577174 1299927040 17177 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15857/tid=15861] ppid=15855 vsize=1269460 CPUtime=0.02 cores=0-31
/proc/15857/task/15861/stat : 15861 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 391 0 0 0 0 2 0 0 17 0 32 0 744577174 1299927040 17177 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604498628107744 0 0 -1 28 0 0 0
[pid=15857/tid=15862] ppid=15855 vsize=1269460 CPUtime=0.02 cores=0-31
/proc/15857/task/15862/stat : 15862 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 285 0 0 0 0 2 0 0 17 0 32 0 744577174 1299927040 17184 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566932744 0 0 -1 30 0 0 0
[pid=15857/tid=15863] ppid=15855 vsize=1269460 CPUtime=0.02 cores=0-31
/proc/15857/task/15863/stat : 15863 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 558 0 0 0 0 2 0 0 17 0 32 0 744577174 1299927040 17184 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15857/tid=15864] ppid=15855 vsize=1269460 CPUtime=0.05 cores=0-31
/proc/15857/task/15864/stat : 15864 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 724 0 0 0 1 4 0 0 17 0 32 0 744577174 1299927040 17184 268435456000 4194304 4580107 140736846975216 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15857/tid=15865] ppid=15855 vsize=1269556 CPUtime=0.04 cores=0-31
/proc/15857/task/15865/stat : 15865 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 842 0 0 0 0 4 0 0 18 0 32 0 744577174 1300025344 17185 268435456000 4194304 4580107 140736846975216 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15857/tid=15866] ppid=15855 vsize=1269556 CPUtime=0.04 cores=0-31
/proc/15857/task/15866/stat : 15866 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 747 0 0 0 1 3 0 0 17 0 32 0 744577174 1300025344 17198 268435456000 4194304 4580107 140736846975216 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15857/tid=15867] ppid=15855 vsize=1269556 CPUtime=0.03 cores=0-31
/proc/15857/task/15867/stat : 15867 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 578 0 0 0 1 2 0 0 17 0 32 0 744577174 1300025344 17199 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604496470097376 0 0 -1 9 0 0 0
[pid=15857/tid=15868] ppid=15855 vsize=1269556 CPUtime=0.02 cores=0-31
/proc/15857/task/15868/stat : 15868 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 463 0 0 0 0 2 0 0 17 0 32 0 744577174 1300025344 17199 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446604477749214688 0 0 -1 10 0 0 0
[pid=15857/tid=15869] ppid=15855 vsize=1269556 CPUtime=0.03 cores=0-31
/proc/15857/task/15869/stat : 15869 (strangenight2-m) S 15855 15857 15773 0 -1 4202560 529 0 0 0 1 2 0 0 17 0 32 0 744577174 1300025344 17199 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651060958 0 0 4096 2 18446744071566930704 0 0 -1 7 0 0 0
[pid=15857/tid=15870] ppid=15855 vsize=1269652 CPUtime=0.03 cores=0-31
/proc/15857/task/15870/stat : 15870 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 667 0 0 0 0 3 0 0 17 0 32 0 744577174 1300123648 17210 268435456000 4194304 4580107 140736846975216 18446744073709551615 4307480 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15857/tid=15871] ppid=15855 vsize=1269652 CPUtime=0.03 cores=0-31
/proc/15857/task/15871/stat : 15871 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 490 0 0 0 1 2 0 0 17 0 32 0 744577174 1300123648 17246 268435456000 4194304 4580107 140736846975216 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15857/tid=15872] ppid=15855 vsize=1269652 CPUtime=0.04 cores=0-31
/proc/15857/task/15872/stat : 15872 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 860 0 0 0 1 3 0 0 18 0 32 0 744577174 1300123648 17256 268435456000 4194304 4580107 140736846975216 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15857/tid=15873] ppid=15855 vsize=1269652 CPUtime=0.02 cores=0-31
/proc/15857/task/15873/stat : 15873 (strangenight2-m) D 15855 15857 15773 0 -1 4202560 372 0 0 0 0 2 0 0 17 0 32 0 744577174 1300123648 17259 268435456000 4194304 4580107 140736846975216 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15857/tid=15874] ppid=15855 vsize=1269652 CPUtime=0.02 cores=0-31
################
# More data... #
################
[pid=15857/tid=15887] ppid=15855 vsize=6069936 CPUtime=63.13 cores=0-31
/proc/15857/task/15887/stat : 15887 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 38537 0 0 0 5993 320 0 0 25 0 32 0 744577174 6215614464 1060440 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=6069936 CPUtime=63.99 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 56198 0 0 0 6115 284 0 0 25 0 32 0 744577174 6215614464 1060440 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2037.16
Current children cumulated vsize (KiB) 6069936
[startup+70.3014 s]
/proc/loadavg: 29.93 27.92 26.26 33/445 15891
/proc/meminfo: memFree=251000900/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=5842808 CPUtime=2139.37 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) R 15855 15857 15773 0 -1 4202496 1371587 0 0 0 204635 9302 0 0 25 0 32 0 744577174 5983035392 1032444 268435456000 4194304 4580107 140736846975216 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15857/statm: 1460702 1032444 377 95 0 1455684 0
[pid=15857/tid=15858] ppid=15855 vsize=5842808 CPUtime=67.03 cores=0-31
/proc/15857/task/15858/stat : 15858 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 35488 0 0 0 6412 291 0 0 25 0 32 0 744577174 5983035392 1032445 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15857/tid=15859] ppid=15855 vsize=5842808 CPUtime=66.57 cores=0-31
/proc/15857/task/15859/stat : 15859 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 39418 0 0 0 6371 286 0 0 25 0 32 0 744577174 5983035392 1032445 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15857/tid=15860] ppid=15855 vsize=5842808 CPUtime=67.05 cores=0-31
/proc/15857/task/15860/stat : 15860 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41101 0 0 0 6428 277 0 0 25 0 32 0 744577174 5983035392 1032445 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15857/tid=15861] ppid=15855 vsize=5842808 CPUtime=66.89 cores=0-31
/proc/15857/task/15861/stat : 15861 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43948 0 0 0 6451 238 0 0 25 0 32 0 744577174 5983035392 1032445 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15857/tid=15862] ppid=15855 vsize=5842808 CPUtime=67.02 cores=0-31
/proc/15857/task/15862/stat : 15862 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42108 0 0 0 6392 310 0 0 25 0 32 0 744577174 5983035392 1032445 268435456000 4194304 4580107 140736846975216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15857/tid=15863] ppid=15855 vsize=5842808 CPUtime=67.5 cores=0-31
/proc/15857/task/15863/stat : 15863 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44433 0 0 0 6479 271 0 0 25 0 32 0 744577174 5983035392 1032446 268435456000 4194304 4580107 140736846975216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15857/tid=15864] ppid=15855 vsize=5842808 CPUtime=66.96 cores=0-31
/proc/15857/task/15864/stat : 15864 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 40363 0 0 0 6409 287 0 0 25 0 32 0 744577174 5983035392 1032446 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15857/tid=15865] ppid=15855 vsize=5842808 CPUtime=66.37 cores=0-31
/proc/15857/task/15865/stat : 15865 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 39040 0 0 0 6347 290 0 0 25 0 32 0 744577174 5983035392 1032446 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15857/tid=15866] ppid=15855 vsize=5842808 CPUtime=67.17 cores=0-31
/proc/15857/task/15866/stat : 15866 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42583 0 0 0 6439 278 0 0 25 0 32 0 744577174 5983035392 1032447 268435456000 4194304 4580107 140736846975216 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15857/tid=15867] ppid=15855 vsize=5842808 CPUtime=67.24 cores=0-31
/proc/15857/task/15867/stat : 15867 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44235 0 0 0 6413 311 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15857/tid=15868] ppid=15855 vsize=5842808 CPUtime=66.44 cores=0-31
/proc/15857/task/15868/stat : 15868 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42480 0 0 0 6320 324 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15857/tid=15869] ppid=15855 vsize=5842808 CPUtime=66.22 cores=0-31
/proc/15857/task/15869/stat : 15869 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41182 0 0 0 6349 273 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15857/tid=15870] ppid=15855 vsize=5842808 CPUtime=67.22 cores=0-31
/proc/15857/task/15870/stat : 15870 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 47618 0 0 0 6425 297 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15857/tid=15871] ppid=15855 vsize=5842808 CPUtime=67.39 cores=0-31
/proc/15857/task/15871/stat : 15871 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42498 0 0 0 6445 294 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15857/tid=15872] ppid=15855 vsize=5842808 CPUtime=67.28 cores=0-31
/proc/15857/task/15872/stat : 15872 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41516 0 0 0 6438 290 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15857/tid=15873] ppid=15855 vsize=5842808 CPUtime=67.02 cores=0-31
/proc/15857/task/15873/stat : 15873 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43901 0 0 0 6429 273 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15857/tid=15874] ppid=15855 vsize=5842808 CPUtime=66.42 cores=0-31
/proc/15857/task/15874/stat : 15874 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41943 0 0 0 6352 290 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15857/tid=15875] ppid=15855 vsize=5842808 CPUtime=66.39 cores=0-31
/proc/15857/task/15875/stat : 15875 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 38805 0 0 0 6364 275 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15857/tid=15876] ppid=15855 vsize=5842808 CPUtime=66.44 cores=0-31
/proc/15857/task/15876/stat : 15876 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42848 0 0 0 6371 273 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15857/tid=15877] ppid=15855 vsize=5842808 CPUtime=67.19 cores=0-31
/proc/15857/task/15877/stat : 15877 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 38753 0 0 0 6453 266 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15857/tid=15878] ppid=15855 vsize=5842808 CPUtime=67.12 cores=0-31
/proc/15857/task/15878/stat : 15878 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44658 0 0 0 6399 313 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15857/tid=15879] ppid=15855 vsize=5842808 CPUtime=66.74 cores=0-31
/proc/15857/task/15879/stat : 15879 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 47451 0 0 0 6371 303 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15857/tid=15880] ppid=15855 vsize=5842808 CPUtime=66.35 cores=0-31
/proc/15857/task/15880/stat : 15880 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 40409 0 0 0 6326 309 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15857/tid=15881] ppid=15855 vsize=5842808 CPUtime=66.48 cores=0-31
/proc/15857/task/15881/stat : 15881 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44333 0 0 0 6343 305 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4254155 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15857/tid=15882] ppid=15855 vsize=5842808 CPUtime=67.09 cores=0-31
/proc/15857/task/15882/stat : 15882 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43507 0 0 0 6404 305 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15857/tid=15883] ppid=15855 vsize=5842808 CPUtime=67.08 cores=0-31
/proc/15857/task/15883/stat : 15883 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43077 0 0 0 6417 291 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15857/tid=15884] ppid=15855 vsize=5842808 CPUtime=66.67 cores=0-31
/proc/15857/task/15884/stat : 15884 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43739 0 0 0 6379 288 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294656 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15857/tid=15885] ppid=15855 vsize=5842808 CPUtime=66.41 cores=0-31
/proc/15857/task/15885/stat : 15885 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 47900 0 0 0 6345 296 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15857/tid=15886] ppid=15855 vsize=5842808 CPUtime=67.26 cores=0-31
/proc/15857/task/15886/stat : 15886 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 48940 0 0 0 6432 294 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15857/tid=15887] ppid=15855 vsize=5842808 CPUtime=66.32 cores=0-31
/proc/15857/task/15887/stat : 15887 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 39718 0 0 0 6312 320 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=5842808 CPUtime=67.18 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 56300 0 0 0 6434 284 0 0 25 0 32 0 744577174 5983035392 1032448 268435456000 4194304 4580107 140736846975216 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2139.37
Current children cumulated vsize (KiB) 5842808
[startup+71.1015 s]
/proc/loadavg: 29.93 27.92 26.26 33/445 15891
/proc/meminfo: memFree=251000900/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=5791304 CPUtime=2164.32 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) R 15855 15857 15773 0 -1 4202496 1374849 0 0 0 207128 9304 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15857/statm: 1447826 1026894 377 95 0 1442808 0
[pid=15857/tid=15858] ppid=15855 vsize=5791304 CPUtime=67.81 cores=0-31
/proc/15857/task/15858/stat : 15858 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 35529 0 0 0 6490 291 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15857/tid=15859] ppid=15855 vsize=5791304 CPUtime=67.35 cores=0-31
/proc/15857/task/15859/stat : 15859 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 40450 0 0 0 6448 287 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15857/tid=15860] ppid=15855 vsize=5791304 CPUtime=67.83 cores=0-31
/proc/15857/task/15860/stat : 15860 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41140 0 0 0 6506 277 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15857/tid=15861] ppid=15855 vsize=5791304 CPUtime=67.67 cores=0-31
/proc/15857/task/15861/stat : 15861 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44002 0 0 0 6529 238 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15857/tid=15862] ppid=15855 vsize=5791304 CPUtime=67.8 cores=0-31
/proc/15857/task/15862/stat : 15862 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42146 0 0 0 6470 310 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15857/tid=15863] ppid=15855 vsize=5791304 CPUtime=68.29 cores=0-31
/proc/15857/task/15863/stat : 15863 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44468 0 0 0 6557 272 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15857/tid=15864] ppid=15855 vsize=5791304 CPUtime=67.74 cores=0-31
/proc/15857/task/15864/stat : 15864 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 40397 0 0 0 6487 287 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15857/tid=15865] ppid=15855 vsize=5791304 CPUtime=67.14 cores=0-31
/proc/15857/task/15865/stat : 15865 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 40053 0 0 0 6424 290 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15857/tid=15866] ppid=15855 vsize=5791304 CPUtime=67.95 cores=0-31
/proc/15857/task/15866/stat : 15866 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42605 0 0 0 6517 278 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15857/tid=15867] ppid=15855 vsize=5791304 CPUtime=68.02 cores=0-31
/proc/15857/task/15867/stat : 15867 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44263 0 0 0 6491 311 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15857/tid=15868] ppid=15855 vsize=5791304 CPUtime=67.22 cores=0-31
/proc/15857/task/15868/stat : 15868 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42507 0 0 0 6398 324 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15857/tid=15869] ppid=15855 vsize=5791304 CPUtime=66.99 cores=0-31
/proc/15857/task/15869/stat : 15869 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41210 0 0 0 6426 273 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4306066 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15857/tid=15870] ppid=15855 vsize=5791304 CPUtime=68 cores=0-31
/proc/15857/task/15870/stat : 15870 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 47839 0 0 0 6503 297 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15857/tid=15871] ppid=15855 vsize=5791304 CPUtime=68.17 cores=0-31
/proc/15857/task/15871/stat : 15871 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42529 0 0 0 6523 294 0 0 25 0 32 0 744577174 5930295296 1026894 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15857/tid=15872] ppid=15855 vsize=5791304 CPUtime=68.06 cores=0-31
/proc/15857/task/15872/stat : 15872 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41550 0 0 0 6516 290 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15857/tid=15873] ppid=15855 vsize=5791304 CPUtime=67.8 cores=0-31
/proc/15857/task/15873/stat : 15873 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43962 0 0 0 6507 273 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15857/tid=15874] ppid=15855 vsize=5791304 CPUtime=67.2 cores=0-31
/proc/15857/task/15874/stat : 15874 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 41963 0 0 0 6430 290 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15857/tid=15875] ppid=15855 vsize=5791304 CPUtime=67.16 cores=0-31
/proc/15857/task/15875/stat : 15875 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 38844 0 0 0 6441 275 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4324529 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15857/tid=15876] ppid=15855 vsize=5791304 CPUtime=67.22 cores=0-31
/proc/15857/task/15876/stat : 15876 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 42869 0 0 0 6449 273 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15857/tid=15877] ppid=15855 vsize=5791304 CPUtime=67.97 cores=0-31
/proc/15857/task/15877/stat : 15877 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 38781 0 0 0 6531 266 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15857/tid=15878] ppid=15855 vsize=5791304 CPUtime=67.9 cores=0-31
/proc/15857/task/15878/stat : 15878 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44691 0 0 0 6477 313 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15857/tid=15879] ppid=15855 vsize=5791304 CPUtime=67.52 cores=0-31
/proc/15857/task/15879/stat : 15879 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 47478 0 0 0 6449 303 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15857/tid=15880] ppid=15855 vsize=5791304 CPUtime=67.13 cores=0-31
/proc/15857/task/15880/stat : 15880 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 40442 0 0 0 6404 309 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15857/tid=15881] ppid=15855 vsize=5791304 CPUtime=67.25 cores=0-31
/proc/15857/task/15881/stat : 15881 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 44375 0 0 0 6420 305 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15857/tid=15882] ppid=15855 vsize=5791304 CPUtime=67.87 cores=0-31
/proc/15857/task/15882/stat : 15882 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43569 0 0 0 6482 305 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15857/tid=15883] ppid=15855 vsize=5791304 CPUtime=67.86 cores=0-31
/proc/15857/task/15883/stat : 15883 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43089 0 0 0 6495 291 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15857/tid=15884] ppid=15855 vsize=5791304 CPUtime=67.45 cores=0-31
/proc/15857/task/15884/stat : 15884 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 43776 0 0 0 6457 288 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15857/tid=15885] ppid=15855 vsize=5791304 CPUtime=67.19 cores=0-31
/proc/15857/task/15885/stat : 15885 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 47927 0 0 0 6423 296 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15857/tid=15886] ppid=15855 vsize=5791304 CPUtime=68.04 cores=0-31
/proc/15857/task/15886/stat : 15886 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 48970 0 0 0 6510 294 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15857/tid=15887] ppid=15855 vsize=5791304 CPUtime=67.1 cores=0-31
/proc/15857/task/15887/stat : 15887 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 39734 0 0 0 6390 320 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=5791304 CPUtime=67.96 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) R 15855 15857 15773 0 -1 4202560 56340 0 0 0 6512 284 0 0 25 0 32 0 744577174 5930295296 1026895 268435456000 4194304 4580107 140736846975216 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2164.32
Current children cumulated vsize (KiB) 5791304
[startup+71.9015 s]
/proc/loadavg: 29.93 27.92 26.26 33/445 15891
/proc/meminfo: memFree=251021484/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=0 CPUtime=2188.68 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) Z 15855 15857 15773 0 -1 4203548 1376737 0 0 0 209557 9311 0 0 25 0 2 0 744577174 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15857/statm: 0 0 0 0 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=0 CPUtime=68.73 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) R 15855 15857 15773 0 -1 4203588 56357 0 0 0 6588 285 0 0 25 0 2 0 744577174 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2188.68
Current children cumulated vsize (KiB) 0
[startup+72.3006 s]
/proc/loadavg: 29.93 27.92 26.26 33/445 15891
/proc/meminfo: memFree=251021484/264257624 swapFree=67111528/67111528
[pid=15857] ppid=15855 vsize=0 CPUtime=2189.08 cores=0-31
/proc/15857/stat : 15857 (strangenight2-m) Z 15855 15857 15773 0 -1 4203548 1376737 0 0 0 209557 9351 0 0 25 0 2 0 744577174 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15857/statm: 0 0 0 0 0 0 0
[pid=15857/tid=15888] ppid=15855 vsize=0 CPUtime=69.13 cores=0-31
/proc/15857/task/15888/stat : 15888 (strangenight2-m) R 15855 15857 15773 0 -1 4203588 56357 0 0 0 6588 325 0 0 25 0 2 0 744577174 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2189.08
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 72.3143
CPU time (s): 2189.1
CPU user time (s): 2095.57
CPU system time (s): 93.5248
CPU usage (%): 3027.2
Max. virtual memory (cumulated for all children) (KiB): 6275684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2095.57
system time used= 93.5248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1376737
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= 2273801
involuntary context switches= 24076
runsolver used 0.486925 second user time and 1.81572 second system time
The end
Begin job on node200 at 2011-05-25 15:41:48
IDJOB=3400681
IDBENCH=71019
IDSOLVER=1886
FILE ID=node200/3400681-1306330907
RUNJOBID= node200-1306330849-15787
PBS_JOBID= 13411792
Free space on /tmp= 62032 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-3400681-1306330907/watcher-3400681-1306330907 -o /tmp/evaluation-result-3400681-1306330907/solver-3400681-1306330907 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400681-1306330907.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 4385f03fe3bdaf0f127ae989ddd7908d
RANDOM SEED=907606963
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: 255129648 kB
Buffers: 467664 kB
Cached: 8248388 kB
SwapCached: 0 kB
Active: 7788704 kB
Inactive: 996392 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255129648 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 20448 kB
Writeback: 0 kB
AnonPages: 69788 kB
Mapped: 14308 kB
Slab: 256500 kB
PageTables: 5324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 176000 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= 62028 MiB
End job on node200 at 2011-05-25 15:43:00