0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400748-1306753824.cnf'
0.00/0.09 c -- header says num vars: 29317
0.00/0.09 c -- header says num clauses: 277090
38.91/2.30 c -- clauses added: 0 learnts, 277090 normals, 0 xors
38.91/2.30 c -- vars added 29317
38.91/2.30 c Parsing time: 0.29 s
38.91/2.30 c N st 0 0 29317 12861 264085 0 598738 0 no data no data
59.42/3.00 c asymm cl-useful: 5/3513/12727 lits-rem:201 time: 0.65
379.81/26.39 c Flit: 89 Blit: 1878 bXBeca: 0 bXProp: 527 Bins: 0 BRemL: 0 BRemN: 0 P: 111.1M T: 8.14
379.81/26.41 c Cleaning up after failed var search: 0.01 s
382.45/26.44 c Replacing 527 vars Replaced 11553 lits Time: 0.03 s
384.41/26.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
384.41/26.54 c bin-w-bin subsume rem 156 bins time: 0.02 s
384.41/26.58 c subs with bin: 22 lits-rem: 0 v-fix: 0 time: 0.04 s
395.45/26.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 26575 time: 0.30 s
400.59/27.12 c Removed useless bin: 2803 fixed: 0 props: 20.00M time: 0.21 s
408.02/27.46 c lits-rem: 291 cl-subs: 1976 v-elim: 4960 v-fix: 0 time: 0.27 s
413.34/27.71 c Finding binary XORs T: 0.25 s found: 0
413.34/27.78 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan)
413.34/27.78 c calculated reachability. Time: 0.06
413.34/27.79 c Calc default polars - time: 0.01 s pos: 2524 undec: 8777 neg: 18016
413.34/27.79 c =========================================================================================
413.34/27.79 c types(t): F = full restart, N = normal restart
413.34/27.79 c types(t): S = simplification begin/end, E = solution found
413.34/27.79 c restart types(rt): st = static, dy = dynamic
413.34/27.79 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
413.34/27.79 c B st 0 0 21615 13414 184644 0 526741 0 no data no data
414.34/27.82 c Following stats are for *FIRST FINISHED THREAD ONLY*
414.34/27.82 c num threads : 32
414.34/27.82 c restarts : 117
414.34/27.82 c dynamic restarts : 101
414.34/27.82 c static restarts : 16
414.34/27.82 c full restarts : 1
414.34/27.82 c total simplify time : 0.05
414.34/27.82 c learnts DL2 : 0
414.34/27.82 c learnts size 2 : 265527
414.34/27.82 c learnts size 1 : 964 (3.29 % of vars)
414.34/27.82 c filedLit time : 0.00 (0.00 % time)
414.34/27.82 c v-elim SatELite : 0 (0.00 % vars)
414.34/27.82 c SatELite time : 0.00 (0.00 % time)
414.34/27.82 c v-elim xor : 0 (0.00 % vars)
414.34/27.82 c xor elim time : 0.00 (0.00 % time)
414.34/27.82 c num binary xor trees : 210
414.34/27.82 c binxor trees' crown : 243 (1.16 leafs/tree)
414.34/27.82 c bin xor find time : 0.02
414.34/27.82 c OTF clause improved : 2149 (0.05 clauses/conflict)
414.34/27.82 c OTF impr. size diff : 2378 (1.11 lits/clause)
414.34/27.82 c OTF cl watch-shrink : 17658 (0.39 clauses/conflict)
414.34/27.82 c OTF cl watch-sh-lit : 72042 (4.08 lits/clause)
414.34/27.82 c tried to recurMin cls : 14135 (31.41 % of conflicts)
414.34/27.82 c updated cache : 4521 (0.32 lits/tried recurMin)
414.34/27.82 c unit cls recevied : 0 (0.00 % of units)
414.34/27.82 c unit cls sent : 438 (45.44 % of units)
414.34/27.82 c bin cls recevied : 0
414.34/27.82 c bin cls sent : 1419
414.34/27.82 c clauses over max glue : 0 (0.00 % of all clauses)
414.34/27.82 c conflicts : 45000 (1943.22 / sec)
414.34/27.82 c decisions : 115092 (1.56 % random)
414.34/27.82 c bogo-props : 379053298 (16368504.45 / sec)
414.34/27.82 c conflict literals : 970932 (25.34 % deleted)
414.34/27.82 c Memory used : 7346.44 MB
414.34/27.82 c single-thread CPU time : 23.16 s
414.34/27.82 c all-threads sum CPU time : 340.02 s
414.34/27.82 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-3400748-1306753824/watcher-3400748-1306753824 -o /tmp/evaluation-result-3400748-1306753824/solver-3400748-1306753824 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400748-1306753824.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: 22.91 20.37 12.59 1/413 15842
/proc/meminfo: memFree=263886996/264257624 swapFree=67044428/67111528
[pid=15842] ppid=15840 vsize=338000 CPUtime=0.78 cores=0-31
/proc/15842/stat : 15842 (strangenight2-m) R 15840 15842 15754 0 -1 4202496 466 0 0 0 78 0 0 0 25 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824595 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/15842/statm: 84500 407 300 95 0 79482 0
[pid=15842/tid=15843] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15843/stat : 15843 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15842/tid=15844] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15844/stat : 15844 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824605 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15842/tid=15845] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15845/stat : 15845 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980825004 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15842/tid=15846] ppid=15840 vsize=338000 CPUtime=0 cores=0-31
/proc/15842/task/15846/stat : 15846 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824595 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15842/tid=15847] ppid=15840 vsize=338000 CPUtime=0 cores=0-31
/proc/15842/task/15847/stat : 15847 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15842/tid=15848] ppid=15840 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15842/task/15848/stat : 15848 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15842/tid=15849] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15849/stat : 15849 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15842/tid=15850] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15850/stat : 15850 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824595 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15842/tid=15851] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15851/stat : 15851 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15842/tid=15852] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15852/stat : 15852 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824595 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15842/tid=15853] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15853/stat : 15853 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15842/tid=15854] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15854/stat : 15854 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15842/tid=15855] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15855/stat : 15855 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824595 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15842/tid=15856] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15856/stat : 15856 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15842/tid=15857] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15857/stat : 15857 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824592 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15842/tid=15858] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15858/stat : 15858 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824595 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15842/tid=15859] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15859/stat : 15859 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15842/tid=15860] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15860/stat : 15860 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15842/tid=15861] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15861/stat : 15861 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824605 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15842/tid=15862] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15862/stat : 15862 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824595 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15842/tid=15863] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15863/stat : 15863 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15842/tid=15864] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15864/stat : 15864 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824595 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15842/tid=15865] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15865/stat : 15865 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824599 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15842/tid=15866] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15866/stat : 15866 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824595 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15842/tid=15867] ppid=15840 vsize=338000 CPUtime=0 cores=0-31
/proc/15842/task/15867/stat : 15867 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15842/tid=15868] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15868/stat : 15868 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824595 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15842/tid=15869] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15869/stat : 15869 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824595 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15842/tid=15870] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15870/stat : 15870 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15842/tid=15871] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15871/stat : 15871 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15842/tid=15872] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15872/stat : 15872 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824599 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15842/tid=15873] ppid=15840 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15842/task/15873/stat : 15873 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 1348444 346112000 407 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.098356 s]
/proc/loadavg: 22.91 20.37 12.59 1/413 15842
/proc/meminfo: memFree=263886996/264257624 swapFree=67044428/67111528
[pid=15842] ppid=15840 vsize=1062128 CPUtime=1.99 cores=0-31
/proc/15842/stat : 15842 (strangenight2-m) S 15840 15842 15754 0 -1 4202496 10952 0 0 0 119 80 0 0 17 0 32 0 1348444 1087619072 10700 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15842/statm: 265532 10712 331 95 0 260514 0
[pid=15842/tid=15843] ppid=15840 vsize=1062128 CPUtime=0.06 cores=0-31
/proc/15842/task/15843/stat : 15843 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 270 0 0 0 4 2 0 0 17 0 32 0 1348444 1087619072 10713 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604488984534496 0 0 -1 1 0 0 0
[pid=15842/tid=15844] ppid=15840 vsize=1062128 CPUtime=0.06 cores=0-31
/proc/15842/task/15844/stat : 15844 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 345 0 0 0 4 2 0 0 18 0 32 0 1348444 1087619072 10728 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15842/tid=15845] ppid=15840 vsize=1062128 CPUtime=0.05 cores=0-31
/proc/15842/task/15845/stat : 15845 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 268 0 0 0 3 2 0 0 23 0 32 0 1348444 1087619072 10729 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446744071566925104 0 0 -1 24 0 0 0
[pid=15842/tid=15846] ppid=15840 vsize=1062128 CPUtime=0.04 cores=0-31
/proc/15842/task/15846/stat : 15846 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 309 0 0 0 1 3 0 0 18 0 32 0 1348444 1087619072 10737 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604501165465056 0 0 -1 28 0 0 0
[pid=15842/tid=15847] ppid=15840 vsize=1062128 CPUtime=0.04 cores=0-31
/proc/15842/task/15847/stat : 15847 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 284 0 0 0 2 2 0 0 22 0 32 0 1348444 1087619072 10742 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604492978462176 0 0 -1 30 0 0 0
[pid=15842/tid=15848] ppid=15840 vsize=1062128 CPUtime=0.04 cores=0-31
/proc/15842/task/15848/stat : 15848 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 523 0 0 0 2 2 0 0 17 0 32 0 1348444 1087619072 10761 268435456000 4194304 4580107 140734982350784 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15842/tid=15849] ppid=15840 vsize=1062128 CPUtime=0.05 cores=0-31
/proc/15842/task/15849/stat : 15849 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 274 0 0 0 3 2 0 0 17 0 32 0 1348444 1087619072 10768 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604454036250080 0 0 -1 4 0 0 0
[pid=15842/tid=15850] ppid=15840 vsize=1062128 CPUtime=0.03 cores=0-31
/proc/15842/task/15850/stat : 15850 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 343 0 0 0 3 0 0 0 17 0 32 0 1348444 1087619072 10772 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446744071566926664 0 0 -1 16 0 0 0
[pid=15842/tid=15851] ppid=15840 vsize=1062128 CPUtime=0.05 cores=0-31
/proc/15842/task/15851/stat : 15851 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 307 0 0 0 3 2 0 0 17 0 32 0 1348444 1087619072 10778 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15842/tid=15852] ppid=15840 vsize=1062128 CPUtime=0.06 cores=0-31
/proc/15842/task/15852/stat : 15852 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 270 0 0 0 4 2 0 0 17 0 32 0 1348444 1087619072 10789 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446744071566930744 0 0 -1 6 0 0 0
[pid=15842/tid=15853] ppid=15840 vsize=1062128 CPUtime=0.06 cores=0-31
/proc/15842/task/15853/stat : 15853 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 271 0 0 0 4 2 0 0 24 0 32 0 1348444 1087619072 10817 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604452448108000 0 0 -1 3 0 0 0
[pid=15842/tid=15854] ppid=15840 vsize=1062128 CPUtime=0.06 cores=0-31
/proc/15842/task/15854/stat : 15854 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 319 0 0 0 4 2 0 0 17 0 32 0 1348444 1087619072 10818 268435456000 4194304 4580107 140734982350784 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15842/tid=15855] ppid=15840 vsize=1062372 CPUtime=0.06 cores=0-31
/proc/15842/task/15855/stat : 15855 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 267 0 0 0 4 2 0 0 17 0 32 0 1348444 1087868928 10831 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446744071566927784 0 0 -1 10 0 0 0
[pid=15842/tid=15856] ppid=15840 vsize=1062372 CPUtime=0.06 cores=0-31
/proc/15842/task/15856/stat : 15856 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 320 0 0 0 4 2 0 0 18 0 32 0 1348444 1087868928 10832 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15842/tid=15857] ppid=15840 vsize=1062372 CPUtime=0.04 cores=0-31
/proc/15842/task/15857/stat : 15857 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 382 0 0 0 3 1 0 0 17 0 32 0 1348444 1087868928 10840 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15842/tid=15858] ppid=15840 vsize=1062372 CPUtime=0.06 cores=0-31
/proc/15842/task/15858/stat : 15858 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 297 0 0 0 4 2 0 0 18 0 32 0 1348444 1087868928 10849 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15842/tid=15859] ppid=15840 vsize=1062372 CPUtime=0.06 cores=0-31
/proc/15842/task/15859/stat : 15859 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 346 0 0 0 3 3 0 0 25 0 32 0 1348444 1087868928 10874 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15842/tid=15860] ppid=15840 vsize=1062372 CPUtime=0.04 cores=0-31
/proc/15842/task/15860/stat : 15860 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 436 0 0 0 3 1 0 0 17 0 32 0 1348444 1087868928 10884 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604506328382944 0 0 -1 17 0 0 0
[pid=15842/tid=15861] ppid=15840 vsize=1062372 CPUtime=0.06 cores=0-31
/proc/15842/task/15861/stat : 15861 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 600 0 0 0 4 2 0 0 18 0 32 0 1348444 1087868928 10884 268435456000 4194304 4580107 140734982350784 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15842/tid=15862] ppid=15840 vsize=1062372 CPUtime=0.06 cores=0-31
/proc/15842/task/15862/stat : 15862 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 283 0 0 0 4 2 0 0 17 0 32 0 1348444 1087868928 10888 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15842/tid=15863] ppid=15840 vsize=1062372 CPUtime=0.05 cores=0-31
/proc/15842/task/15863/stat : 15863 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 318 0 0 0 3 2 0 0 17 0 32 0 1348444 1087868928 10889 268435456000 4194304 4580107 140734982350784 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15842/tid=15864] ppid=15840 vsize=1062372 CPUtime=0.05 cores=0-31
/proc/15842/task/15864/stat : 15864 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 368 0 0 0 3 2 0 0 25 0 32 0 1348444 1087868928 10899 268435456000 4194304 4580107 140734982350784 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15842/tid=15865] ppid=15840 vsize=1062372 CPUtime=0.06 cores=0-31
/proc/15842/task/15865/stat : 15865 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 314 0 0 0 4 2 0 0 17 0 32 0 1348444 1087868928 10903 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15842/tid=15866] ppid=15840 vsize=1062632 CPUtime=0.05 cores=0-31
/proc/15842/task/15866/stat : 15866 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 314 0 0 0 3 2 0 0 17 0 32 0 1348444 1088135168 10906 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15842/tid=15867] ppid=15840 vsize=1062632 CPUtime=0.03 cores=0-31
/proc/15842/task/15867/stat : 15867 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 370 0 0 0 1 2 0 0 25 0 32 0 1348444 1088135168 10913 268435456000 4194304 4580107 140734982350784 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15842/tid=15868] ppid=15840 vsize=1062632 CPUtime=0.06 cores=0-31
/proc/15842/task/15868/stat : 15868 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 338 0 0 0 3 3 0 0 25 0 32 0 1348444 1088135168 10926 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15842/tid=15869] ppid=15840 vsize=1062632 CPUtime=0.06 cores=0-31
/proc/15842/task/15869/stat : 15869 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 284 0 0 0 4 2 0 0 25 0 32 0 1348444 1088135168 10927 268435456000 4194304 4580107 140734982350784 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15842/tid=15870] ppid=15840 vsize=1062632 CPUtime=0.05 cores=0-31
/proc/15842/task/15870/stat : 15870 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 270 0 0 0 3 2 0 0 17 0 32 0 1348444 1088135168 10927 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604449033027040 0 0 -1 12 0 0 0
[pid=15842/tid=15871] ppid=15840 vsize=1062632 CPUtime=0.05 cores=0-31
/proc/15842/task/15871/stat : 15871 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 528 0 0 0 4 1 0 0 18 0 32 0 1348444 1088135168 10936 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650618594 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15842/tid=15872] ppid=15840 vsize=1062632 CPUtime=0.05 cores=0-31
/proc/15842/task/15872/stat : 15872 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 298 0 0 0 3 2 0 0 25 0 32 0 1348444 1088135168 10951 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15842/tid=15873] ppid=15840 vsize=1062632 CPUtime=0.05 cores=0-31
/proc/15842/task/15873/stat : 15873 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 276 0 0 0 3 2 0 0 17 0 32 0 1348444 1088135168 10954 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604488984534496 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 1062128
[startup+0.103364 s]
/proc/loadavg: 22.91 20.37 12.59 1/413 15842
/proc/meminfo: memFree=263886996/264257624 swapFree=67044428/67111528
[pid=15842] ppid=15840 vsize=1063044 CPUtime=2.03 cores=0-31
/proc/15842/stat : 15842 (strangenight2-m) S 15840 15842 15754 0 -1 4202496 11651 0 0 0 120 83 0 0 17 0 32 0 1348444 1088557056 11399 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15842/statm: 265761 11408 331 95 0 260743 0
[pid=15842/tid=15843] ppid=15840 vsize=1063044 CPUtime=0.06 cores=0-31
/proc/15842/task/15843/stat : 15843 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 270 0 0 0 4 2 0 0 17 0 32 0 1348444 1088557056 11410 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446744071566927784 0 0 -1 1 0 0 0
[pid=15842/tid=15844] ppid=15840 vsize=1063044 CPUtime=0.06 cores=0-31
/proc/15842/task/15844/stat : 15844 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 382 0 0 0 4 2 0 0 18 0 32 0 1348444 1088557056 11422 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604452448108000 0 0 -1 2 0 0 0
[pid=15842/tid=15845] ppid=15840 vsize=1063044 CPUtime=0.05 cores=0-31
/proc/15842/task/15845/stat : 15845 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 280 0 0 0 3 2 0 0 22 0 32 0 1348444 1088557056 11389 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446744071566932504 0 0 -1 24 0 0 0
[pid=15842/tid=15846] ppid=15840 vsize=1062912 CPUtime=0.04 cores=0-31
/proc/15842/task/15846/stat : 15846 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 331 0 0 0 1 3 0 0 17 0 32 0 1348444 1088421888 11396 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604506547690976 0 0 -1 28 0 0 0
[pid=15842/tid=15847] ppid=15840 vsize=1062912 CPUtime=0.04 cores=0-31
/proc/15842/task/15847/stat : 15847 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 291 0 0 0 2 2 0 0 22 0 32 0 1348444 1088421888 11406 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15842/tid=15848] ppid=15840 vsize=1062912 CPUtime=0.04 cores=0-31
/proc/15842/task/15848/stat : 15848 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 558 0 0 0 2 2 0 0 17 0 32 0 1348444 1088421888 11410 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15842/tid=15849] ppid=15840 vsize=1062912 CPUtime=0.06 cores=0-31
/proc/15842/task/15849/stat : 15849 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 275 0 0 0 4 2 0 0 17 0 32 0 1348444 1088421888 11419 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604506227408352 0 0 -1 4 0 0 0
[pid=15842/tid=15850] ppid=15840 vsize=1062912 CPUtime=0.03 cores=0-31
/proc/15842/task/15850/stat : 15850 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 345 0 0 0 3 0 0 0 17 0 32 0 1348444 1088421888 11430 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650981722 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15842/tid=15851] ppid=15840 vsize=1063056 CPUtime=0.05 cores=0-31
/proc/15842/task/15851/stat : 15851 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 336 0 0 0 3 2 0 0 17 0 32 0 1348444 1088569344 11438 268435456000 4194304 4580107 140734982350784 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15842/tid=15852] ppid=15840 vsize=1063056 CPUtime=0.06 cores=0-31
/proc/15842/task/15852/stat : 15852 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 270 0 0 0 4 2 0 0 17 0 32 0 1348444 1088569344 11443 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446744071566930744 0 0 -1 6 0 0 0
[pid=15842/tid=15853] ppid=15840 vsize=1063056 CPUtime=0.06 cores=0-31
/proc/15842/task/15853/stat : 15853 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 271 0 0 0 4 2 0 0 24 0 32 0 1348444 1088569344 11452 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604452448108000 0 0 -1 3 0 0 0
[pid=15842/tid=15854] ppid=15840 vsize=1063056 CPUtime=0.07 cores=0-31
/proc/15842/task/15854/stat : 15854 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 344 0 0 0 4 3 0 0 17 0 32 0 1348444 1088569344 11459 268435456000 4194304 4580107 140734982350784 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15842/tid=15855] ppid=15840 vsize=1063056 CPUtime=0.06 cores=0-31
/proc/15842/task/15855/stat : 15855 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 283 0 0 0 4 2 0 0 17 0 32 0 1348444 1088569344 11465 268435456000 4194304 4580107 140734982350784 18446744073709551615 4308315 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15842/tid=15856] ppid=15840 vsize=1063056 CPUtime=0.07 cores=0-31
/proc/15842/task/15856/stat : 15856 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 349 0 0 0 4 3 0 0 17 0 32 0 1348444 1088569344 11470 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15842/tid=15857] ppid=15840 vsize=1063056 CPUtime=0.04 cores=0-31
/proc/15842/task/15857/stat : 15857 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 419 0 0 0 3 1 0 0 17 0 32 0 1348444 1088569344 11475 268435456000 4194304 4580107 140734982350784 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15842/tid=15858] ppid=15840 vsize=1063056 CPUtime=0.06 cores=0-31
/proc/15842/task/15858/stat : 15858 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 324 0 0 0 4 2 0 0 17 0 32 0 1348444 1088569344 11483 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15842/tid=15859] ppid=15840 vsize=1063056 CPUtime=0.06 cores=0-31
################
# More data... #
################
[pid=15842/tid=15873] ppid=15840 vsize=4439276 CPUtime=9.62 cores=0-31
/proc/15842/task/15873/stat : 15873 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 6410 0 0 0 873 89 0 0 18 0 32 0 1348444 4545818624 658250 268435456000 4194304 4580107 140734982350784 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 163.27
Current children cumulated vsize (KiB) 4439276
[startup+25.5022 s]
/proc/loadavg: 25.25 21.10 13.03 33/445 15874
/proc/meminfo: memFree=258660856/264257624 swapFree=67044428/67111528
[pid=15842] ppid=15840 vsize=7105720 CPUtime=355.75 cores=0-31
/proc/15842/stat : 15842 (strangenight2-m) R 15840 15842 15754 0 -1 4202496 1321120 0 0 0 28350 7225 0 0 20 0 32 0 1348444 7276257280 1308665 268435456000 4194304 4580107 140734982350784 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15842/statm: 1776430 1308665 375 95 0 1771412 0
[pid=15842/tid=15843] ppid=15840 vsize=7105720 CPUtime=10.41 cores=0-31
/proc/15842/task/15843/stat : 15843 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42092 0 0 0 819 222 0 0 21 0 32 0 1348444 7276257280 1308665 268435456000 4194304 4580107 140734982350784 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15842/tid=15844] ppid=15840 vsize=7105720 CPUtime=11.92 cores=0-31
/proc/15842/task/15844/stat : 15844 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 43491 0 0 0 975 217 0 0 18 0 32 0 1348444 7276257280 1308665 268435456000 4194304 4580107 140734982350784 18446744073709551615 4515243 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15842/tid=15845] ppid=15840 vsize=7105720 CPUtime=10.75 cores=0-31
/proc/15842/task/15845/stat : 15845 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42330 0 0 0 845 230 0 0 21 0 32 0 1348444 7276257280 1308665 268435456000 4194304 4580107 140734982350784 18446744073709551615 4234847 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15842/tid=15846] ppid=15840 vsize=7105720 CPUtime=10.81 cores=0-31
/proc/15842/task/15846/stat : 15846 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42383 0 0 0 846 235 0 0 18 0 32 0 1348444 7276257280 1308665 268435456000 4194304 4580107 140734982350784 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15842/tid=15847] ppid=15840 vsize=7105720 CPUtime=10.66 cores=0-31
/proc/15842/task/15847/stat : 15847 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42680 0 0 0 834 232 0 0 21 0 32 0 1348444 7276257280 1308665 268435456000 4194304 4580107 140734982350784 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15842/tid=15848] ppid=15840 vsize=7105720 CPUtime=10.5 cores=0-31
/proc/15842/task/15848/stat : 15848 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42257 0 0 0 825 225 0 0 21 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4234847 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15842/tid=15849] ppid=15840 vsize=7105720 CPUtime=10.49 cores=0-31
/proc/15842/task/15849/stat : 15849 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 41561 0 0 0 820 229 0 0 20 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15842/tid=15850] ppid=15840 vsize=7105720 CPUtime=10.46 cores=0-31
/proc/15842/task/15850/stat : 15850 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42033 0 0 0 807 239 0 0 20 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4234870 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15842/tid=15851] ppid=15840 vsize=7105720 CPUtime=10.66 cores=0-31
/proc/15842/task/15851/stat : 15851 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42142 0 0 0 837 229 0 0 21 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15842/tid=15852] ppid=15840 vsize=7105720 CPUtime=11.35 cores=0-31
/proc/15842/task/15852/stat : 15852 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42024 0 0 0 904 231 0 0 18 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4433875 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15842/tid=15853] ppid=15840 vsize=7105720 CPUtime=10.34 cores=0-31
/proc/15842/task/15853/stat : 15853 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42206 0 0 0 805 229 0 0 18 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15842/tid=15854] ppid=15840 vsize=7105720 CPUtime=10.36 cores=0-31
/proc/15842/task/15854/stat : 15854 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42671 0 0 0 809 227 0 0 20 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15842/tid=15855] ppid=15840 vsize=7105720 CPUtime=10.38 cores=0-31
/proc/15842/task/15855/stat : 15855 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 41333 0 0 0 808 230 0 0 20 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15842/tid=15856] ppid=15840 vsize=7105720 CPUtime=10.61 cores=0-31
/proc/15842/task/15856/stat : 15856 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 41883 0 0 0 823 238 0 0 21 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4234907 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15842/tid=15857] ppid=15840 vsize=7105720 CPUtime=10.5 cores=0-31
/proc/15842/task/15857/stat : 15857 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42136 0 0 0 820 230 0 0 21 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4292952 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15842/tid=15858] ppid=15840 vsize=7105720 CPUtime=10.77 cores=0-31
/proc/15842/task/15858/stat : 15858 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 41624 0 0 0 848 229 0 0 18 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15842/tid=15859] ppid=15840 vsize=7105720 CPUtime=11.56 cores=0-31
/proc/15842/task/15859/stat : 15859 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 44137 0 0 0 924 232 0 0 18 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15842/tid=15860] ppid=15840 vsize=7105720 CPUtime=10.4 cores=0-31
/proc/15842/task/15860/stat : 15860 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 41429 0 0 0 806 234 0 0 21 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15842/tid=15861] ppid=15840 vsize=7105720 CPUtime=11.05 cores=0-31
/proc/15842/task/15861/stat : 15861 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 41969 0 0 0 869 236 0 0 18 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4473011 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15842/tid=15862] ppid=15840 vsize=7105720 CPUtime=10.71 cores=0-31
/proc/15842/task/15862/stat : 15862 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42453 0 0 0 841 230 0 0 21 0 32 0 1348444 7276257280 1308666 268435456000 4194304 4580107 140734982350784 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15842/tid=15863] ppid=15840 vsize=7105720 CPUtime=10.68 cores=0-31
/proc/15842/task/15863/stat : 15863 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42553 0 0 0 838 230 0 0 21 0 32 0 1348444 7276257280 1308667 268435456000 4194304 4580107 140734982350784 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15842/tid=15864] ppid=15840 vsize=7105720 CPUtime=10.92 cores=0-31
/proc/15842/task/15864/stat : 15864 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42583 0 0 0 860 232 0 0 18 0 32 0 1348444 7276257280 1308667 268435456000 4194304 4580107 140734982350784 18446744073709551615 4294259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15842/tid=15865] ppid=15840 vsize=7105720 CPUtime=10.45 cores=0-31
/proc/15842/task/15865/stat : 15865 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42227 0 0 0 818 227 0 0 21 0 32 0 1348444 7276257280 1308667 268435456000 4194304 4580107 140734982350784 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15842/tid=15866] ppid=15840 vsize=7105720 CPUtime=11.04 cores=0-31
/proc/15842/task/15866/stat : 15866 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42485 0 0 0 870 234 0 0 22 0 32 0 1348444 7276257280 1308667 268435456000 4194304 4580107 140734982350784 18446744073709551615 4234784 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15842/tid=15867] ppid=15840 vsize=7105720 CPUtime=11.53 cores=0-31
/proc/15842/task/15867/stat : 15867 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 43812 0 0 0 918 235 0 0 21 0 32 0 1348444 7276257280 1308667 268435456000 4194304 4580107 140734982350784 18446744073709551615 4490609 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15842/tid=15868] ppid=15840 vsize=7105720 CPUtime=10.55 cores=0-31
/proc/15842/task/15868/stat : 15868 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42681 0 0 0 822 233 0 0 21 0 32 0 1348444 7276257280 1308667 268435456000 4194304 4580107 140734982350784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15842/tid=15869] ppid=15840 vsize=7105720 CPUtime=10.43 cores=0-31
/proc/15842/task/15869/stat : 15869 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 41852 0 0 0 806 237 0 0 20 0 32 0 1348444 7276257280 1308667 268435456000 4194304 4580107 140734982350784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15842/tid=15870] ppid=15840 vsize=7105720 CPUtime=10.72 cores=0-31
/proc/15842/task/15870/stat : 15870 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 41481 0 0 0 851 221 0 0 22 0 32 0 1348444 7276257280 1308667 268435456000 4194304 4580107 140734982350784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15842/tid=15871] ppid=15840 vsize=7105720 CPUtime=11.82 cores=0-31
/proc/15842/task/15871/stat : 15871 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 43827 0 0 0 983 199 0 0 18 0 32 0 1348444 7276257280 1308667 268435456000 4194304 4580107 140734982350784 18446744073709551615 4515240 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15842/tid=15872] ppid=15840 vsize=7105720 CPUtime=10.38 cores=0-31
/proc/15842/task/15872/stat : 15872 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42626 0 0 0 800 238 0 0 20 0 32 0 1348444 7276257280 1308667 268435456000 4194304 4580107 140734982350784 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15842/tid=15873] ppid=15840 vsize=7105720 CPUtime=21.78 cores=0-31
/proc/15842/task/15873/stat : 15873 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 7993 0 0 0 2083 95 0 0 25 0 32 0 1348444 7276257280 1308667 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980800196 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 355.75
Current children cumulated vsize (KiB) 7105720
Solver just ended. Dumping a history of the last processes samples
[startup+27.1023 s]
/proc/loadavg: 25.79 21.29 13.14 22/445 15874
/proc/meminfo: memFree=258530020/264257624 swapFree=67044428/67111528
[pid=15842] ppid=15840 vsize=7450536 CPUtime=400.59 cores=0-31
/proc/15842/stat : 15842 (strangenight2-m) R 15840 15842 15754 0 -1 4202496 1385696 0 0 0 32651 7408 0 0 18 0 32 0 1348444 7629348864 1370279 268435456000 4194304 4580107 140734982350784 18446744073709551615 4292077 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15842/statm: 1862634 1370279 378 95 0 1857616 0
[pid=15842/tid=15843] ppid=15840 vsize=7450536 CPUtime=11.81 cores=0-31
/proc/15842/task/15843/stat : 15843 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 45031 0 0 0 950 231 0 0 17 0 32 0 1348444 7629348864 1370279 268435456000 4194304 4580107 140734982350784 18446744073709551615 4451628 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15842/tid=15844] ppid=15840 vsize=7450536 CPUtime=13.09 cores=0-31
/proc/15842/task/15844/stat : 15844 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 45574 0 0 0 1088 221 0 0 18 0 32 0 1348444 7629348864 1370279 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824628 0 0 4096 2 18446604458377395680 0 0 -1 16 0 0 0
[pid=15842/tid=15845] ppid=15840 vsize=7450536 CPUtime=12.23 cores=0-31
/proc/15842/task/15845/stat : 15845 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 43741 0 0 0 988 235 0 0 17 0 32 0 1348444 7629348864 1370279 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604485755289056 0 0 -1 24 0 0 0
[pid=15842/tid=15846] ppid=15840 vsize=7450536 CPUtime=12.26 cores=0-31
/proc/15842/task/15846/stat : 15846 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 44864 0 0 0 979 247 0 0 17 0 32 0 1348444 7629348864 1370279 268435456000 4194304 4580107 140734982350784 18446744073709551615 4399459 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15842/tid=15847] ppid=15840 vsize=7450536 CPUtime=12.12 cores=0-31
/proc/15842/task/15847/stat : 15847 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 46080 0 0 0 974 238 0 0 18 0 32 0 1348444 7629348864 1370280 268435456000 4194304 4580107 140734982350784 18446744073709551615 4497358 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15842/tid=15848] ppid=15840 vsize=7450536 CPUtime=11.93 cores=0-31
/proc/15842/task/15848/stat : 15848 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 44856 0 0 0 962 231 0 0 18 0 32 0 1348444 7629348864 1370287 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604506595366880 0 0 -1 21 0 0 0
[pid=15842/tid=15849] ppid=15840 vsize=7450536 CPUtime=12.03 cores=0-31
/proc/15842/task/15849/stat : 15849 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42939 0 0 0 969 234 0 0 17 0 32 0 1348444 7629348864 1370288 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15842/tid=15850] ppid=15840 vsize=7450536 CPUtime=11.89 cores=0-31
/proc/15842/task/15850/stat : 15850 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 44398 0 0 0 943 246 0 0 17 0 32 0 1348444 7629348864 1370290 268435456000 4194304 4580107 140734982350784 18446744073709551615 4399406 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15842/tid=15851] ppid=15840 vsize=7450536 CPUtime=12.13 cores=0-31
/proc/15842/task/15851/stat : 15851 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 44628 0 0 0 975 238 0 0 17 0 32 0 1348444 7629348864 1370291 268435456000 4194304 4580107 140734982350784 18446744073709551615 4432644 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15842/tid=15852] ppid=15840 vsize=7450536 CPUtime=12.71 cores=0-31
/proc/15842/task/15852/stat : 15852 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 44753 0 0 0 1032 239 0 0 17 0 32 0 1348444 7629348864 1370291 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15842/tid=15853] ppid=15840 vsize=7450536 CPUtime=11.77 cores=0-31
/proc/15842/task/15853/stat : 15853 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 44132 0 0 0 942 235 0 0 17 0 32 0 1348444 7629348864 1370291 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15842/tid=15854] ppid=15840 vsize=7450536 CPUtime=11.8 cores=0-31
/proc/15842/task/15854/stat : 15854 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 44023 0 0 0 950 230 0 0 17 0 32 0 1348444 7629348864 1370298 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15842/tid=15855] ppid=15840 vsize=7450536 CPUtime=11.85 cores=0-31
/proc/15842/task/15855/stat : 15855 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 43409 0 0 0 949 236 0 0 17 0 32 0 1348444 7629348864 1370298 268435456000 4194304 4580107 140734982350784 18446744073709551615 4399214 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15842/tid=15856] ppid=15840 vsize=7450536 CPUtime=12.08 cores=0-31
/proc/15842/task/15856/stat : 15856 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 45118 0 0 0 961 247 0 0 17 0 32 0 1348444 7629348864 1370300 268435456000 4194304 4580107 140734982350784 18446744073709551615 4497360 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15842/tid=15857] ppid=15840 vsize=7450536 CPUtime=12.03 cores=0-31
/proc/15842/task/15857/stat : 15857 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 42955 0 0 0 972 231 0 0 18 0 32 0 1348444 7629348864 1370302 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15842/tid=15858] ppid=15840 vsize=7450536 CPUtime=12.23 cores=0-31
/proc/15842/task/15858/stat : 15858 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 44731 0 0 0 984 239 0 0 17 0 32 0 1348444 7629348864 1370303 268435456000 4194304 4580107 140734982350784 18446744073709551615 4305121 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15842/tid=15859] ppid=15840 vsize=7450536 CPUtime=12.33 cores=0-31
/proc/15842/task/15859/stat : 15859 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 45161 0 0 0 1001 232 0 0 18 0 32 0 1348444 7629348864 1370304 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824628 0 0 4096 2 18446744071566929184 0 0 -1 1 0 0 0
[pid=15842/tid=15860] ppid=15840 vsize=7450536 CPUtime=11.88 cores=0-31
/proc/15842/task/15860/stat : 15860 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 43099 0 0 0 948 240 0 0 17 0 32 0 1348444 7629348864 1370304 268435456000 4194304 4580107 140734982350784 18446744073709551615 4417726 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15842/tid=15861] ppid=15840 vsize=7450536 CPUtime=12.48 cores=0-31
/proc/15842/task/15861/stat : 15861 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 44784 0 0 0 1006 242 0 0 18 0 32 0 1348444 7629348864 1370305 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824601 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15842/tid=15862] ppid=15840 vsize=7450536 CPUtime=12.26 cores=0-31
/proc/15842/task/15862/stat : 15862 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 43158 0 0 0 995 231 0 0 17 0 32 0 1348444 7629348864 1370308 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446744071566930664 0 0 -1 0 0 0 0
[pid=15842/tid=15863] ppid=15840 vsize=7450536 CPUtime=12.11 cores=0-31
/proc/15842/task/15863/stat : 15863 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 45619 0 0 0 972 239 0 0 18 0 32 0 1348444 7629348864 1370310 268435456000 4194304 4580107 140734982350784 18446744073709551615 4290931 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15842/tid=15864] ppid=15840 vsize=7450536 CPUtime=12.37 cores=0-31
/proc/15842/task/15864/stat : 15864 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 44980 0 0 0 998 239 0 0 18 0 32 0 1348444 7629348864 1370311 268435456000 4194304 4580107 140734982350784 18446744073709551615 4290984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15842/tid=15865] ppid=15840 vsize=7450536 CPUtime=11.88 cores=0-31
/proc/15842/task/15865/stat : 15865 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 43984 0 0 0 955 233 0 0 18 0 32 0 1348444 7629348864 1370311 268435456000 4194304 4580107 140734982350784 18446744073709551615 4417726 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15842/tid=15866] ppid=15840 vsize=7450536 CPUtime=12.46 cores=0-31
/proc/15842/task/15866/stat : 15866 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 45839 0 0 0 1002 244 0 0 18 0 32 0 1348444 7629348864 1370311 268435456000 4194304 4580107 140734982350784 18446744073709551615 4290984 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15842/tid=15867] ppid=15840 vsize=7450536 CPUtime=12.37 cores=0-31
/proc/15842/task/15867/stat : 15867 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 45927 0 0 0 999 238 0 0 18 0 32 0 1348444 7629348864 1370313 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824628 0 0 4096 2 18446604470575029728 0 0 -1 18 0 0 0
[pid=15842/tid=15868] ppid=15840 vsize=7450536 CPUtime=11.97 cores=0-31
/proc/15842/task/15868/stat : 15868 (strangenight2-m) D 15840 15842 15754 0 -1 4202560 45162 0 0 0 957 240 0 0 18 0 32 0 1348444 7629348864 1370313 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15842/tid=15869] ppid=15840 vsize=7450536 CPUtime=11.98 cores=0-31
/proc/15842/task/15869/stat : 15869 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42839 0 0 0 957 241 0 0 17 0 32 0 1348444 7629348864 1370315 268435456000 4194304 4580107 140734982350784 18446744073709551615 4497255 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15842/tid=15870] ppid=15840 vsize=7450536 CPUtime=12.14 cores=0-31
/proc/15842/task/15870/stat : 15870 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 42939 0 0 0 988 226 0 0 17 0 32 0 1348444 7629348864 1370318 268435456000 4194304 4580107 140734982350784 18446744073709551615 258650611620 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15842/tid=15871] ppid=15840 vsize=7450536 CPUtime=12.83 cores=0-31
/proc/15842/task/15871/stat : 15871 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 45550 0 0 0 1081 202 0 0 18 0 32 0 1348444 7629348864 1370319 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980824628 0 0 4096 2 18446604485788581344 0 0 -1 28 0 0 0
[pid=15842/tid=15872] ppid=15840 vsize=7450536 CPUtime=11.85 cores=0-31
/proc/15842/task/15872/stat : 15872 (strangenight2-m) S 15840 15842 15754 0 -1 4202560 44040 0 0 0 941 244 0 0 17 0 32 0 1348444 7629348864 1370320 268435456000 4194304 4580107 140734982350784 18446744073709551615 258651060958 0 0 4096 2 18446604506547690976 0 0 -1 5 0 0 0
[pid=15842/tid=15873] ppid=15840 vsize=7450536 CPUtime=23.38 cores=0-31
/proc/15842/task/15873/stat : 15873 (strangenight2-m) R 15840 15842 15754 0 -1 4202560 7993 0 0 0 2243 95 0 0 25 0 32 0 1348444 7629348864 1370321 268435456000 4194304 4580107 140734982350784 18446744073709551615 47866980800043 0 0 4096 2 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 400.59
Current children cumulated vsize (KiB) 7450536
[startup+27.9014 s]
/proc/loadavg: 25.79 21.29 13.14 21/445 15874
/proc/meminfo: memFree=258347720/264257624 swapFree=67044428/67111528
[pid=15842] ppid=15840 vsize=0 CPUtime=414.61 cores=0-31
/proc/15842/stat : 15842 (strangenight2-m) Z 15840 15842 15754 0 -1 4203548 1403612 0 0 0 34002 7459 0 0 18 0 2 0 1348444 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15842/statm: 0 0 0 0 0 0 0
[pid=15842/tid=15867] ppid=15840 vsize=0 CPUtime=12.45 cores=0-31
/proc/15842/task/15867/stat : 15867 (strangenight2-m) R 15840 15842 15754 0 -1 4203588 45927 0 0 0 999 246 0 0 18 0 2 0 1348444 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 414.61
Current children cumulated vsize (KiB) 0
[startup+28.1004 s]
/proc/loadavg: 25.79 21.29 13.14 21/445 15874
/proc/meminfo: memFree=258347720/264257624 swapFree=67044428/67111528
[pid=15842] ppid=15840 vsize=0 CPUtime=414.81 cores=0-31
/proc/15842/stat : 15842 (strangenight2-m) Z 15840 15842 15754 0 -1 4203548 1403612 0 0 0 34002 7479 0 0 18 0 2 0 1348444 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15842/statm: 0 0 0 0 0 0 0
[pid=15842/tid=15867] ppid=15840 vsize=0 CPUtime=12.65 cores=0-31
/proc/15842/task/15867/stat : 15867 (strangenight2-m) R 15840 15842 15754 0 -1 4203588 45927 0 0 0 999 266 0 0 18 0 2 0 1348444 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 414.81
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 28.1665
CPU time (s): 414.878
CPU user time (s): 340.021
CPU system time (s): 74.8566
CPU usage (%): 1472.95
Max. virtual memory (cumulated for all children) (KiB): 7522752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 340.021
system time used= 74.8566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1403612
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= 2518759
involuntary context switches= 7266
runsolver used 0.376942 second user time and 1.00385 second system time
The end
Begin job on node200 at 2011-05-30 13:10:25
IDJOB=3400748
IDBENCH=82424
IDSOLVER=1886
FILE ID=node200/3400748-1306753824
RUNJOBID= node200-1306753726-15768
PBS_JOBID= 13471601
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400748-1306753824/watcher-3400748-1306753824 -o /tmp/evaluation-result-3400748-1306753824/solver-3400748-1306753824 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400748-1306753824.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ac372f51471a04bbb3fb9a678284c6a4
RANDOM SEED=309553071
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.12
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.13
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.95
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3996.76
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263887276 kB
Buffers: 12300 kB
Cached: 191104 kB
SwapCached: 16104 kB
Active: 95824 kB
Inactive: 128844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263887276 kB
SwapTotal: 67111528 kB
SwapFree: 67044428 kB
Dirty: 10000 kB
Writeback: 0 kB
AnonPages: 18160 kB
Mapped: 8444 kB
Slab: 56892 kB
PageTables: 3960 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 173348 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= 61568 MiB
End job on node200 at 2011-05-30 13:10:53