0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400698-1306350250.cnf'
1.13/0.07 c -- header says num vars: 889302
1.13/0.07 c -- header says num clauses: 14582074
654.57/36.96 c -- clauses added: 0 learnts, 14582074 normals, 0 xors
654.57/36.96 c -- vars added 889302
654.57/36.96 c Parsing time: 11.52 s
654.57/36.96 c N st 0 0 889302 1778118 12803934 0 42006124 0 no data no data
668.51/37.65 c asymm cl-useful: 0/1799/1778118 lits-rem:0 time: 0.45
1052.28/52.67 c Flit: 41 Blit: 818 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 14.69
1052.28/52.69 c Cleaning up after failed var search: 0.00 s
1202.53/57.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.03 s
1259.67/59.90 c bin-w-bin subsume rem 0 bins time: 1.95 s
1426.71/70.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 9.76 s
1690.58/79.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2074 time: 8.61 s
1712.16/79.86 c Removed useless bin: 1161 fixed: 0 props: 20.55M time: 0.74 s
3243.83/130.15 c lits-rem: 0 cl-subs: 7754 v-elim: 7887 v-fix: 0 time: 47.83 s
3269.26/130.96 c Finding binary XORs T: 0.80 s found: 0
3290.43/131.68 c calculated reachability. Time: 0.05
3312.53/132.37 c Calc default polars - time: 0.69 s pos: 9969 undec: 8783 neg: 870550
3312.53/132.37 c =========================================================================================
3312.53/132.37 c types(t): F = full restart, N = normal restart
3312.53/132.37 c types(t): S = simplification begin/end, E = solution found
3312.53/132.37 c restart types(rt): st = static, dy = dynamic
3312.53/132.37 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3312.53/132.37 c B st 0 0 880552 1793246 12749864 0 43081937 0 no data no data
4114.55/157.59 c N dy 14 4073 880551 1793246 12750233 3642 43081937 1120966 11.70 12.54
5003.11/185.33 c N dy 30 8265 880538 1793246 12752086 7510 43081937 2280179 10.29 10.95
5987.61/216.20 c N dy 58 12304 880534 1793246 12752352 11260 43081936 3505907 11.07 11.82
7064.80/249.87 c N dy 81 16536 880410 1793246 12763341 15196 43081934 4544839 11.18 11.80
8094.05/282.03 c N dy 98 20612 880231 1793246 12774350 9827 43081933 408902 10.92 11.63
8985.77/309.94 c N dy 118 24820 880226 1793246 12774515 13823 43081933 1310303 10.92 11.64
9040.11/311.65 c F st 120 25000 880096 1793246 12782620 13990 43081933 1372919 10.93 no data
10215.94/348.48 c N dy 126 30002 880094 1793246 12774808 18734 43064209 2627163 10.93 no data
10215.94/348.50 c S st 126 30002 880094 1793246 12774808 18734 43064209 2627163 10.93 no data
10497.20/357.26 c S st 126 30502 880082 1793246 12774864 19162 43064209 2765556 10.93 no data
10535.56/358.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 1.18
11172.29/378.38 c Flit: 0 Blit: 2943 bXBeca: 0 bXProp: 2 Bins:1124338 BRemL: 142 BRemN: 0 P: 200.4M T: 19.90
11175.49/378.49 c Cleaning up after failed var search: 0.00 s
11251.58/380.87 c Replacing 3 vars Replaced 215 lits Time: 2.25 s
11395.40/385.35 c blocked clauses removed: 0 vars: 0 tried: 877136 T: 1.59 s
11446.55/386.91 c bin-w-bin subsume rem 34 bins time: 1.56 s
11654.33/393.47 c subs with bin: 9 lits-rem: 10156 v-fix: 0 time: 6.56 s
11753.41/396.54 c Subs w/ non-existent bins: 0 l-rem: 6 v-fix: 0 done: 23277 time: 3.07 s
11782.18/397.40 c Removed useless bin: 237 fixed: 0 props: 20.01M time: 0.86 s
12267.87/412.67 c lits-rem: 0 cl-subs: 1177 v-elim: 233 v-fix: 0 time: 15.23 s
12367.57/415.74 c subs with bin: 0 lits-rem: 7 v-fix: 0 time: 1.76 s
13278.76/444.40 c lits-rem: 1530 cl-subs: 899 v-elim: 0 v-fix: 0 time: 26.30 s
13300.51/445.01 c asymm cl-useful: 0/100814/1794076 lits-rem:0 time: 0.62
13322.84/445.75 c calculated reachability. Time: 0.10
13326.00/445.89 c N dy 126 30502 876903 1794076 13825981 18426 42867128 4909527 10.93 no data
13354.72/446.71 c Finding binary XORs T: 0.82 s found: 28
14218.46/495.75 c N dy 143 34634 876498 1794076 13847979 22407 42867124 5601809 10.84 11.51
16074.98/1323.64 c N dy 166 38987 876376 1794076 13854289 26590 42867124 6706152 10.88 12.76
16143.91/1345.35 c N dy 184 43069 876370 1794076 13854437 15982 42867123 2886253 10.83 25.73
17364.67/1540.37 c Finding binary XORs T: 0.66 s found: 33
17676.95/1554.84 c S st 197 45754 874836 1794074 13944510 18535 42779538 4034315 10.85 7.51
17926.29/1562.67 c S st 197 46254 874830 1794074 13944576 18960 42779538 4086301 10.85 no data
17967.85/1563.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 1.24
18564.23/1582.69 c Flit: 16 Blit: 1433 bXBeca: 0 bXProp: 1 Bins:1361719 BRemL: 150 BRemN: 0 P: 200.7M T: 18.70
18567.43/1582.81 c Cleaning up after failed var search: 0.00 s
18653.73/1585.45 c Replacing 62 vars Replaced 7391 lits Time: 2.49 s
18768.81/1589.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.07 s
18823.14/1590.76 c bin-w-bin subsume rem 734 bins time: 1.74 s
19034.12/1597.30 c subs with bin: 26 lits-rem: 3991 v-fix: 0 time: 6.54 s
19088.47/1599.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 43039 time: 1.79 s
19120.44/1600.01 c Removed useless bin: 0 fixed: 0 props: 20.02M time: 0.91 s
19649.68/1616.64 c lits-rem: 0 cl-subs: 1272 v-elim: 54 v-fix: 0 time: 16.51 s
19739.16/1619.48 c subs with bin: 9 lits-rem: 155 v-fix: 0 time: 2.07 s
20412.05/1640.50 c lits-rem: 97 cl-subs: 496 v-elim: 0 v-fix: 0 time: 19.00 s
20435.09/1641.24 c asymm cl-useful: 0/68930/1792541 lits-rem:0 time: 0.73
20460.01/1642.01 c calculated reachability. Time: 0.11
20463.21/1642.12 c N dy 197 46254 873262 1792541 15269604 18637 42685714 6741206 10.85 no data
20488.77/1642.97 c Finding binary XORs T: 0.84 s found: 0
21771.23/1711.61 c N dy 231 50348 872766 1792541 15290243 22608 42685709 7882167 11.04 13.35
21849.41/1732.76 c N dy 257 54497 872763 1792541 15290368 26599 42685709 9066470 11.16 11.86
24117.27/2896.34 c N dy 281 58504 871783 1792541 15299245 30442 42685709 10213621 11.21 11.81
24670.88/2939.10 c N dy 307 63181 869159 1792541 15312699 34970 42685709 11378725 11.22 11.85
25529.55/2965.94 c N dy 330 67243 869154 1792541 15312789 21185 42685709 6475709 11.29 11.89
25947.07/2979.01 c S st 341 69383 869135 1792541 15314234 23278 42685709 6986639 11.30 no data
26185.50/2986.56 c S st 341 69885 869134 1792541 15314290 23718 42685709 7029047 11.30 no data
26225.86/2987.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 1.29
26931.70/3009.97 c Flit: 42 Blit: 160 bXBeca: 0 bXProp: 9 Bins:1899104 BRemL: 74 BRemN: 15 P: 200.8M T: 22.09
26934.89/3010.08 c Cleaning up after failed var search: 0.00 s
27049.71/3013.69 c Replacing 10 vars Replaced 211529 lits Time: 3.48 s
27145.60/3016.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.09 s
27209.53/3018.66 c bin-w-bin subsume rem 201 bins time: 2.00 s
27423.67/3025.37 c subs with bin: 26 lits-rem: 3837 v-fix: 0 time: 6.71 s
27490.79/3027.48 c Subs w/ non-existent bins: 2 l-rem: 11 v-fix: 0 done: 44916 time: 2.11 s
27522.71/3028.42 c Removed useless bin: 39 fixed: 0 props: 20.01M time: 0.94 s
28069.77/3045.62 c lits-rem: 251 cl-subs: 1153 v-elim: 34 v-fix: 0 time: 17.13 s
28171.95/3048.81 c subs with bin: 8 lits-rem: 68 v-fix: 0 time: 2.29 s
28859.07/3070.36 c lits-rem: 5983 cl-subs: 489 v-elim: 0 v-fix: 0 time: 19.53 s
28881.47/3071.04 c asymm cl-useful: 0/88183/1791223 lits-rem:0 time: 0.68
28907.07/3071.88 c calculated reachability. Time: 0.10
28910.23/3071.98 c N dy 341 69885 868882 1791223 17122986 23257 42482239 10748343 11.30 no data
28939.00/3072.90 c Finding binary XORs T: 0.91 s found: 16
30713.19/3181.11 c N dy 363 74403 867942 1791223 17139459 27613 42482239 11780957 11.33 12.12
30790.59/3206.86 c N dy 391 79297 867940 1791223 17139579 32359 42482239 12890148 11.37 12.00
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-3400698-1306350250/watcher-3400698-1306350250 -o /tmp/evaluation-result-3400698-1306350250/solver-3400698-1306350250 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400698-1306350250.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 23.31 30.10 31.41 1/413 17607
/proc/meminfo: memFree=254825636/264257624 swapFree=67111528/67111528
[pid=17607] ppid=17605 vsize=665872 CPUtime=0.73 cores=0-31
/proc/17607/stat : 17607 (strangenight2-m) S 17605 17607 17581 0 -1 4202496 1091 0 0 0 69 4 0 0 25 0 32 0 746512650 681852928 949 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17607/statm: 166468 949 315 95 0 161450 0
[pid=17607/tid=17608] ppid=17605 vsize=665880 CPUtime=0.02 cores=0-31
/proc/17607/task/17608/stat : 17608 (strangenight2-m) R 17605 17607 17581 0 -1 4202560 45 0 0 0 2 0 0 0 18 0 32 0 746512651 681861120 973 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17607/tid=17609] ppid=17605 vsize=665884 CPUtime=0.02 cores=0-31
/proc/17607/task/17609/stat : 17609 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 27 0 0 0 2 0 0 0 18 0 32 0 746512651 681865216 974 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17607/tid=17610] ppid=17605 vsize=665884 CPUtime=0.02 cores=0-31
/proc/17607/task/17610/stat : 17610 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 5 0 0 0 2 0 0 0 25 0 32 0 746512651 681865216 982 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446604502077259232 0 0 -1 8 0 0 0
[pid=17607/tid=17611] ppid=17605 vsize=665884 CPUtime=0.02 cores=0-31
/proc/17607/task/17611/stat : 17611 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 746512651 681865216 986 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446604491807702496 0 0 -1 16 0 0 0
[pid=17607/tid=17612] ppid=17605 vsize=665884 CPUtime=0 cores=0-31
/proc/17607/task/17612/stat : 17612 (strangenight2-m) R 17605 17607 17581 0 -1 4202560 53 0 0 0 0 0 0 0 18 0 32 0 746512651 681865216 995 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17607/tid=17613] ppid=17605 vsize=665884 CPUtime=0 cores=0-31
/proc/17607/task/17613/stat : 17613 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 32 0 746512651 681865216 997 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650999114 0 0 4096 2 18446744071562644425 0 0 -1 23 0 0 0
[pid=17607/tid=17614] ppid=17605 vsize=665884 CPUtime=0 cores=0-31
/proc/17607/task/17614/stat : 17614 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 32 0 746512651 681865216 997 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446604491807694304 0 0 -1 23 0 0 0
[pid=17607/tid=17615] ppid=17605 vsize=665884 CPUtime=0.02 cores=0-31
/proc/17607/task/17615/stat : 17615 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 6 0 0 0 2 0 0 0 25 0 32 0 746512651 681865216 997 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17607/tid=17616] ppid=17605 vsize=665884 CPUtime=0.02 cores=0-31
/proc/17607/task/17616/stat : 17616 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 41 0 0 0 2 0 0 0 18 0 32 0 746512651 681865216 997 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17607/tid=17617] ppid=17605 vsize=665884 CPUtime=0.02 cores=0-31
/proc/17607/task/17617/stat : 17617 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 9 0 0 0 2 0 0 0 25 0 32 0 746512651 681865216 997 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17607/tid=17618] ppid=17605 vsize=665884 CPUtime=0.02 cores=0-31
/proc/17607/task/17618/stat : 17618 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 6 0 0 0 2 0 0 0 25 0 32 0 746512651 681865216 1002 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446744071566926744 0 0 -1 6 0 0 0
[pid=17607/tid=17619] ppid=17605 vsize=665884 CPUtime=0.02 cores=0-31
/proc/17607/task/17619/stat : 17619 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 7 0 0 0 2 0 0 0 25 0 32 0 746512651 681865216 1006 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17607/tid=17620] ppid=17605 vsize=665884 CPUtime=0.02 cores=0-31
/proc/17607/task/17620/stat : 17620 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 66 0 0 0 2 0 0 0 18 0 32 0 746512651 681865216 1011 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17607/tid=17621] ppid=17605 vsize=731420 CPUtime=0.02 cores=0-31
/proc/17607/task/17621/stat : 17621 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 3 0 0 0 2 0 0 0 25 0 32 0 746512651 748974080 1018 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446604482383347168 0 0 -1 10 0 0 0
[pid=17607/tid=17622] ppid=17605 vsize=731420 CPUtime=0.02 cores=0-31
/proc/17607/task/17622/stat : 17622 (strangenight2-m) R 17605 17607 17581 0 -1 4202560 8 0 0 0 2 0 0 0 25 0 32 0 746512651 748974080 1024 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17607/tid=17623] ppid=17605 vsize=731420 CPUtime=0.02 cores=0-31
/proc/17607/task/17623/stat : 17623 (strangenight2-m) R 17605 17607 17581 0 -1 4202560 64 0 0 0 2 0 0 0 18 0 32 0 746512651 748974080 1024 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17607/tid=17624] ppid=17605 vsize=731420 CPUtime=0.02 cores=0-31
/proc/17607/task/17624/stat : 17624 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 10 0 0 0 2 0 0 0 25 0 32 0 746512651 748974080 1026 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17607/tid=17625] ppid=17605 vsize=731420 CPUtime=0.02 cores=0-31
/proc/17607/task/17625/stat : 17625 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 79 0 0 0 2 0 0 0 18 0 32 0 746512651 748974080 1026 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17607/tid=17626] ppid=17605 vsize=731420 CPUtime=0.02 cores=0-31
/proc/17607/task/17626/stat : 17626 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 24 0 0 0 2 0 0 0 18 0 32 0 746512651 748974080 1032 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17607/tid=17627] ppid=17605 vsize=731420 CPUtime=0.02 cores=0-31
/proc/17607/task/17627/stat : 17627 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 16 0 0 0 2 0 0 0 25 0 32 0 746512651 748974080 1034 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17607/tid=17628] ppid=17605 vsize=665884 CPUtime=0.02 cores=0-31
/proc/17607/task/17628/stat : 17628 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 9 0 0 0 2 0 0 0 18 0 32 0 746512651 681865216 1035 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17607/tid=17629] ppid=17605 vsize=665884 CPUtime=0.02 cores=0-31
/proc/17607/task/17629/stat : 17629 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 12 0 0 0 2 0 0 0 25 0 32 0 746512651 681865216 1035 268435456000 4194304 4580107 140733203674432 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17607/tid=17630] ppid=17605 vsize=665884 CPUtime=0.02 cores=0-31
/proc/17607/task/17630/stat : 17630 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 56 0 0 0 2 0 0 0 18 0 32 0 746512651 681865216 1037 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17607/tid=17631] ppid=17605 vsize=665888 CPUtime=0.02 cores=0-31
/proc/17607/task/17631/stat : 17631 (strangenight2-m) R 17605 17607 17581 0 -1 4202560 13 0 0 0 2 0 0 0 25 0 32 0 746512651 681869312 1045 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17607/tid=17632] ppid=17605 vsize=665888 CPUtime=0.02 cores=0-31
/proc/17607/task/17632/stat : 17632 (strangenight2-m) R 17605 17607 17581 0 -1 4202560 40 0 0 0 2 0 0 0 18 0 32 0 746512651 681869312 1056 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17607/tid=17633] ppid=17605 vsize=796960 CPUtime=0.01 cores=0-31
/proc/17607/task/17633/stat : 17633 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 14 0 0 0 1 0 0 0 25 0 32 0 746512651 816087040 1057 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17607/tid=17634] ppid=17605 vsize=796964 CPUtime=0 cores=0-31
/proc/17607/task/17634/stat : 17634 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 32 0 746512651 816091136 1058 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17607/tid=17635] ppid=17605 vsize=796964 CPUtime=0 cores=0-31
/proc/17607/task/17635/stat : 17635 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 6 0 0 0 0 0 0 0 25 0 32 0 746512651 816091136 1059 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446744071566929024 0 0 -1 28 0 0 0
[pid=17607/tid=17636] ppid=17605 vsize=796964 CPUtime=0.02 cores=0-31
/proc/17607/task/17636/stat : 17636 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 49 0 0 0 2 0 0 0 18 0 32 0 746512651 816091136 1059 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17607/tid=17637] ppid=17605 vsize=796964 CPUtime=0.02 cores=0-31
/proc/17607/task/17637/stat : 17637 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 3 0 0 0 2 0 0 0 25 0 32 0 746512651 816091136 1059 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446604570178715104 0 0 -1 12 0 0 0
[pid=17607/tid=17638] ppid=17605 vsize=796964 CPUtime=0.02 cores=0-31
/proc/17607/task/17638/stat : 17638 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 33 0 0 0 2 0 0 0 25 0 32 0 746512651 816091136 1064 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.056971 s]
/proc/loadavg: 23.31 30.10 31.41 1/413 17607
/proc/meminfo: memFree=254825636/264257624 swapFree=67111528/67111528
[pid=17607] ppid=17605 vsize=732568 CPUtime=1.13 cores=0-31
/proc/17607/stat : 17607 (strangenight2-m) R 17605 17607 17581 0 -1 4202496 8018 0 0 0 69 44 0 0 25 0 32 0 746512650 750149632 7863 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17607/statm: 183142 7869 330 95 0 178124 0
[pid=17607/tid=17608] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17608/stat : 17608 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 292 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17607/tid=17609] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17609/stat : 17609 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 247 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17607/tid=17610] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17610/stat : 17610 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 213 0 0 0 2 1 0 0 25 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17607/tid=17611] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17611/stat : 17611 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 227 0 0 0 2 1 0 0 25 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17607/tid=17612] ppid=17605 vsize=732568 CPUtime=0.01 cores=0-31
/proc/17607/task/17612/stat : 17612 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 273 0 0 0 0 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17607/tid=17613] ppid=17605 vsize=732568 CPUtime=0.01 cores=0-31
/proc/17607/task/17613/stat : 17613 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 216 0 0 0 0 1 0 0 25 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17607/tid=17614] ppid=17605 vsize=732568 CPUtime=0.01 cores=0-31
/proc/17607/task/17614/stat : 17614 (strangenight2-m) R 17605 17607 17581 0 -1 4202560 199 0 0 0 0 1 0 0 25 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=17607/tid=17615] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17615/stat : 17615 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 220 0 0 0 2 1 0 0 25 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17607/tid=17616] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17616/stat : 17616 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 269 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446744071566932464 0 0 -1 20 0 0 0
[pid=17607/tid=17617] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17617/stat : 17617 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 264 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17607/tid=17618] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17618/stat : 17618 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 224 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17607/tid=17619] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17619/stat : 17619 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 225 0 0 0 2 1 0 0 25 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17607/tid=17620] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17620/stat : 17620 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 282 0 0 0 2 1 0 0 17 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446744071566933304 0 0 -1 9 0 0 0
[pid=17607/tid=17621] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17621/stat : 17621 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 211 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17607/tid=17622] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17622/stat : 17622 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 230 0 0 0 2 1 0 0 25 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17607/tid=17623] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17623/stat : 17623 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 291 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17607/tid=17624] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17624/stat : 17624 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 232 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17607/tid=17625] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17625/stat : 17625 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 281 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17607/tid=17626] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17626/stat : 17626 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 266 0 0 0 2 1 0 0 17 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650604389 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17607/tid=17627] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17627/stat : 17627 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 241 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17607/tid=17628] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17628/stat : 17628 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 227 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17607/tid=17629] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17629/stat : 17629 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 261 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17607/tid=17630] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17630/stat : 17630 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 268 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17607/tid=17631] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17631/stat : 17631 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 235 0 0 0 2 1 0 0 25 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17607/tid=17632] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17632/stat : 17632 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 279 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17607/tid=17633] ppid=17605 vsize=732568 CPUtime=0.02 cores=0-31
/proc/17607/task/17633/stat : 17633 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 232 0 0 0 1 1 0 0 25 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17607/tid=17634] ppid=17605 vsize=732568 CPUtime=0.01 cores=0-31
/proc/17607/task/17634/stat : 17634 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 231 0 0 0 0 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17607/tid=17635] ppid=17605 vsize=732568 CPUtime=0 cores=0-31
/proc/17607/task/17635/stat : 17635 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 21 0 0 0 0 0 0 0 25 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17607/tid=17636] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17636/stat : 17636 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 268 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650604389 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17607/tid=17637] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17637/stat : 17637 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 202 0 0 0 2 1 0 0 25 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17607/tid=17638] ppid=17605 vsize=732568 CPUtime=0.03 cores=0-31
/proc/17607/task/17638/stat : 17638 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 254 0 0 0 2 1 0 0 18 0 32 0 746512651 750149632 7870 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 732568
[startup+0.102995 s]
/proc/loadavg: 23.31 30.10 31.41 1/413 17607
/proc/meminfo: memFree=254825636/264257624 swapFree=67111528/67111528
[pid=17607] ppid=17605 vsize=1132424 CPUtime=1.5 cores=0-31
/proc/17607/stat : 17607 (strangenight2-m) D 17605 17607 17581 0 -1 4202496 14295 0 0 0 73 77 0 0 18 0 32 0 746512650 1159602176 13643 268435456000 4194304 4580107 140733203674432 18446744073709551615 4311330 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17607/statm: 283106 13753 331 95 0 278088 0
[pid=17607/tid=17608] ppid=17605 vsize=1132424 CPUtime=0.04 cores=0-31
/proc/17607/task/17608/stat : 17608 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 495 0 0 0 2 2 0 0 17 0 32 0 746512651 1159602176 13755 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446604503974346208 0 0 -1 1 0 0 0
[pid=17607/tid=17609] ppid=17605 vsize=1132424 CPUtime=0.04 cores=0-31
/proc/17607/task/17609/stat : 17609 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 438 0 0 0 2 2 0 0 17 0 32 0 746512651 1159602176 13774 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17607/tid=17610] ppid=17605 vsize=1132424 CPUtime=0.04 cores=0-31
/proc/17607/task/17610/stat : 17610 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 315 0 0 0 2 2 0 0 17 0 32 0 746512651 1159602176 13827 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446604492059147744 0 0 -1 8 0 0 0
[pid=17607/tid=17611] ppid=17605 vsize=1132424 CPUtime=0.03 cores=0-31
/proc/17607/task/17611/stat : 17611 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 273 0 0 0 2 1 0 0 17 0 32 0 746512651 1159602176 13857 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446604503974346208 0 0 -1 16 0 0 0
[pid=17607/tid=17612] ppid=17605 vsize=1132684 CPUtime=0.03 cores=0-31
/proc/17607/task/17612/stat : 17612 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 584 0 0 0 0 3 0 0 17 0 32 0 746512651 1159868416 13865 268435456000 4194304 4580107 140733203674432 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17607/tid=17613] ppid=17605 vsize=1132944 CPUtime=0.01 cores=0-31
/proc/17607/task/17613/stat : 17613 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 267 0 0 0 0 1 0 0 17 0 32 0 746512651 1160134656 13866 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446604474193370592 0 0 -1 23 0 0 0
[pid=17607/tid=17614] ppid=17605 vsize=1132944 CPUtime=0.02 cores=0-31
/proc/17607/task/17614/stat : 17614 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 409 0 0 0 0 2 0 0 17 0 32 0 746512651 1160134656 13886 268435456000 4194304 4580107 140733203674432 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=17607/tid=17615] ppid=17605 vsize=1132944 CPUtime=0.04 cores=0-31
/proc/17607/task/17615/stat : 17615 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 421 0 0 0 2 2 0 0 17 0 32 0 746512651 1160134656 13903 268435456000 4194304 4580107 140733203674432 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17607/tid=17616] ppid=17605 vsize=1132944 CPUtime=0.04 cores=0-31
/proc/17607/task/17616/stat : 17616 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 469 0 0 0 2 2 0 0 17 0 32 0 746512651 1160134656 13911 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446604501487967712 0 0 -1 20 0 0 0
[pid=17607/tid=17617] ppid=17605 vsize=1132944 CPUtime=0.03 cores=0-31
/proc/17607/task/17617/stat : 17617 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 268 0 0 0 2 1 0 0 17 0 32 0 746512651 1160134656 13925 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446604474193378784 0 0 -1 5 0 0 0
[pid=17607/tid=17618] ppid=17605 vsize=1132944 CPUtime=0.04 cores=0-31
/proc/17607/task/17618/stat : 17618 (strangenight2-m) R 17605 17607 17581 0 -1 4202560 600 0 0 0 2 2 0 0 18 0 32 0 746512651 1160134656 13975 268435456000 4194304 4580107 140733203674432 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17607/tid=17619] ppid=17605 vsize=1132944 CPUtime=0.03 cores=0-31
/proc/17607/task/17619/stat : 17619 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 269 0 0 0 2 1 0 0 25 0 32 0 746512651 1160134656 14023 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446744071566932464 0 0 -1 3 0 0 0
[pid=17607/tid=17620] ppid=17605 vsize=1132944 CPUtime=0.03 cores=0-31
/proc/17607/task/17620/stat : 17620 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 307 0 0 0 2 1 0 0 17 0 32 0 746512651 1160134656 14032 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446744071566925184 0 0 -1 9 0 0 0
[pid=17607/tid=17621] ppid=17605 vsize=1133136 CPUtime=0.03 cores=0-31
/proc/17607/task/17621/stat : 17621 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 267 0 0 0 2 1 0 0 17 0 32 0 746512651 1160331264 14045 268435456000 4194304 4580107 140733203674432 18446744073709551615 258651060958 0 0 4096 2 18446604502077251040 0 0 -1 10 0 0 0
[pid=17607/tid=17622] ppid=17605 vsize=1133136 CPUtime=0.05 cores=0-31
/proc/17607/task/17622/stat : 17622 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 548 0 0 0 2 3 0 0 17 0 32 0 746512651 1160331264 14046 268435456000 4194304 4580107 140733203674432 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17607/tid=17623] ppid=17605 vsize=1133136 CPUtime=0.04 cores=0-31
/proc/17607/task/17623/stat : 17623 (strangenight2-m) D 17605 17607 17581 0 -1 4202560 671 0 0 0 2 2 0 0 17 0 32 0 746512651 1160331264 14055 268435456000 4194304 4580107 140733203674432 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17607/tid=17624] ppid=17605 vsize=1133136 CPUtime=0.05 cores=0-31
################
# More data... #
################
/proc/17607/task/17624/stat : 17624 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 499549 0 0 0 103143 1433 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604505110715872 0 0 -1 22 0 0 0
[pid=17607/tid=17625] ppid=17605 vsize=55381280 CPUtime=940.89 cores=0-31
/proc/17607/task/17625/stat : 17625 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 456386 0 0 0 92482 1607 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446744071566932744 0 0 -1 29 0 0 0
[pid=17607/tid=17626] ppid=17605 vsize=55381280 CPUtime=1012.6 cores=0-31
/proc/17607/task/17626/stat : 17626 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 485290 0 0 0 99678 1582 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604480827252192 0 0 -1 24 0 0 0
[pid=17607/tid=17627] ppid=17605 vsize=55381280 CPUtime=1031.96 cores=0-31
/proc/17607/task/17627/stat : 17627 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 504226 0 0 0 101918 1278 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604482823904736 0 0 -1 26 0 0 0
[pid=17607/tid=17628] ppid=17605 vsize=55381280 CPUtime=1018.98 cores=0-31
/proc/17607/task/17628/stat : 17628 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 506087 0 0 0 100356 1542 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604491807702496 0 0 -1 24 0 0 0
[pid=17607/tid=17629] ppid=17605 vsize=55381280 CPUtime=1034.02 cores=0-31
/proc/17607/task/17629/stat : 17629 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 514052 0 0 0 101859 1543 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604474193370592 0 0 -1 1 0 0 0
[pid=17607/tid=17630] ppid=17605 vsize=55381280 CPUtime=1050.49 cores=0-31
/proc/17607/task/17630/stat : 17630 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 501657 0 0 0 103416 1633 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604495712525792 0 0 -1 2 0 0 0
[pid=17607/tid=17631] ppid=17605 vsize=55381280 CPUtime=1055.95 cores=0-31
/proc/17607/task/17631/stat : 17631 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 529634 0 0 0 104014 1581 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604502077251040 0 0 -1 8 0 0 0
[pid=17607/tid=17632] ppid=17605 vsize=55381280 CPUtime=1069.3 cores=0-31
/proc/17607/task/17632/stat : 17632 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 493714 0 0 0 105282 1648 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604474193378784 0 0 -1 15 0 0 0
[pid=17607/tid=17633] ppid=17605 vsize=55381280 CPUtime=1071.22 cores=0-31
/proc/17607/task/17633/stat : 17633 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 501509 0 0 0 105803 1319 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604492059139552 0 0 -1 21 0 0 0
[pid=17607/tid=17634] ppid=17605 vsize=55381280 CPUtime=1057.36 cores=0-31
/proc/17607/task/17634/stat : 17634 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 507806 0 0 0 104256 1480 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604501487967712 0 0 -1 25 0 0 0
[pid=17607/tid=17635] ppid=17605 vsize=55381280 CPUtime=1035.23 cores=0-31
/proc/17607/task/17635/stat : 17635 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 503167 0 0 0 102165 1358 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604482383338976 0 0 -1 21 0 0 0
[pid=17607/tid=17636] ppid=17605 vsize=55381280 CPUtime=1009.43 cores=0-31
/proc/17607/task/17636/stat : 17636 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 485512 0 0 0 99340 1603 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604503974338016 0 0 -1 30 0 0 0
[pid=17607/tid=17637] ppid=17605 vsize=55381280 CPUtime=1016.13 cores=0-31
/proc/17607/task/17637/stat : 17637 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 482301 0 0 0 100270 1343 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604475132780000 0 0 -1 18 0 0 0
[pid=17607/tid=17638] ppid=17605 vsize=55381280 CPUtime=1079.1 cores=0-31
/proc/17607/task/17638/stat : 17638 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 979367 0 0 0 106341 1569 0 0 25 0 32 0 746512651 56710430720 10957314 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604501487975904 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 33666.7
Current children cumulated vsize (KiB) 55381280
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5100 s]
/proc/loadavg: 1.50 1.59 2.66 3/445 17790
/proc/meminfo: memFree=210909648/264257624 swapFree=67111528/67111528
[pid=17607] ppid=17605 vsize=55381280 CPUtime=33702.1 cores=0-31
/proc/17607/stat : 17607 (strangenight2-m) S 17605 17607 17581 0 -1 4202496 16744118 0 0 0 3322579 47629 0 0 25 0 32 0 746512650 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/17607/statm: 13845320 10958488 387 95 0 13840302 0
[pid=17607/tid=17608] ppid=17605 vsize=55381280 CPUtime=1171.08 cores=0-31
/proc/17607/task/17608/stat : 17608 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 510710 0 0 0 115539 1569 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604484349943264 0 0 -1 17 0 0 0
[pid=17607/tid=17609] ppid=17605 vsize=55381280 CPUtime=989.77 cores=0-31
/proc/17607/task/17609/stat : 17609 (strangenight2-m) R 17605 17607 17581 0 -1 4202560 557223 0 0 0 97339 1638 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 4518624 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17607/tid=17610] ppid=17605 vsize=55381280 CPUtime=1133.87 cores=0-31
/proc/17607/task/17610/stat : 17610 (strangenight2-m) R 17605 17607 17581 0 -1 4202560 513827 0 0 0 111886 1501 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 4293053 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17607/tid=17611] ppid=17605 vsize=55381280 CPUtime=1052.45 cores=0-31
/proc/17607/task/17611/stat : 17611 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 503779 0 0 0 103685 1560 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604505799884256 0 0 -1 3 0 0 0
[pid=17607/tid=17612] ppid=17605 vsize=55381280 CPUtime=1064.17 cores=0-31
/proc/17607/task/17612/stat : 17612 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 508603 0 0 0 104978 1439 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604499857546720 0 0 -1 27 0 0 0
[pid=17607/tid=17613] ppid=17605 vsize=55381280 CPUtime=1076.12 cores=0-31
/proc/17607/task/17613/stat : 17613 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 486631 0 0 0 106142 1470 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604482383347168 0 0 -1 19 0 0 0
[pid=17607/tid=17614] ppid=17605 vsize=55381280 CPUtime=1122.57 cores=0-31
/proc/17607/task/17614/stat : 17614 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 505816 0 0 0 110966 1291 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604505110724064 0 0 -1 15 0 0 0
[pid=17607/tid=17615] ppid=17605 vsize=55381280 CPUtime=1064.68 cores=0-31
/proc/17607/task/17615/stat : 17615 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 532300 0 0 0 104865 1603 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604482823912928 0 0 -1 8 0 0 0
[pid=17607/tid=17616] ppid=17605 vsize=55381280 CPUtime=1068.27 cores=0-31
/proc/17607/task/17616/stat : 17616 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 524571 0 0 0 105246 1581 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604480827260384 0 0 -1 27 0 0 0
[pid=17607/tid=17617] ppid=17605 vsize=55381280 CPUtime=999.27 cores=0-31
/proc/17607/task/17617/stat : 17617 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 503200 0 0 0 98627 1300 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604503835065824 0 0 -1 23 0 0 0
[pid=17607/tid=17618] ppid=17605 vsize=55381280 CPUtime=1048.98 cores=0-31
/proc/17607/task/17618/stat : 17618 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 560973 0 0 0 103467 1431 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604570178715104 0 0 -1 25 0 0 0
[pid=17607/tid=17619] ppid=17605 vsize=55381280 CPUtime=1142 cores=0-31
/proc/17607/task/17619/stat : 17619 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 561604 0 0 0 112787 1413 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604475132788192 0 0 -1 12 0 0 0
[pid=17607/tid=17620] ppid=17605 vsize=55381280 CPUtime=1112.7 cores=0-31
/proc/17607/task/17620/stat : 17620 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 510611 0 0 0 109891 1379 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604505799876064 0 0 -1 15 0 0 0
[pid=17607/tid=17621] ppid=17605 vsize=55381280 CPUtime=984.16 cores=0-31
/proc/17607/task/17621/stat : 17621 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 485513 0 0 0 96961 1455 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604492059147744 0 0 -1 29 0 0 0
[pid=17607/tid=17622] ppid=17605 vsize=55381280 CPUtime=1044.21 cores=0-31
/proc/17607/task/17622/stat : 17622 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 491086 0 0 0 102878 1543 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604484349951456 0 0 -1 29 0 0 0
[pid=17607/tid=17623] ppid=17605 vsize=55381280 CPUtime=1053.56 cores=0-31
/proc/17607/task/17623/stat : 17623 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 471963 0 0 0 103881 1475 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604503974346208 0 0 -1 22 0 0 0
[pid=17607/tid=17624] ppid=17605 vsize=55381280 CPUtime=1045.76 cores=0-31
/proc/17607/task/17624/stat : 17624 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 499549 0 0 0 103143 1433 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604505110715872 0 0 -1 22 0 0 0
[pid=17607/tid=17625] ppid=17605 vsize=55381280 CPUtime=940.89 cores=0-31
/proc/17607/task/17625/stat : 17625 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 456386 0 0 0 92482 1607 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446744071566932744 0 0 -1 29 0 0 0
[pid=17607/tid=17626] ppid=17605 vsize=55381280 CPUtime=1012.6 cores=0-31
/proc/17607/task/17626/stat : 17626 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 485290 0 0 0 99678 1582 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604480827252192 0 0 -1 24 0 0 0
[pid=17607/tid=17627] ppid=17605 vsize=55381280 CPUtime=1031.96 cores=0-31
/proc/17607/task/17627/stat : 17627 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 504226 0 0 0 101918 1278 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604482823904736 0 0 -1 26 0 0 0
[pid=17607/tid=17628] ppid=17605 vsize=55381280 CPUtime=1018.98 cores=0-31
/proc/17607/task/17628/stat : 17628 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 506087 0 0 0 100356 1542 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604491807702496 0 0 -1 24 0 0 0
[pid=17607/tid=17629] ppid=17605 vsize=55381280 CPUtime=1034.02 cores=0-31
/proc/17607/task/17629/stat : 17629 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 514052 0 0 0 101859 1543 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604474193370592 0 0 -1 1 0 0 0
[pid=17607/tid=17630] ppid=17605 vsize=55381280 CPUtime=1050.49 cores=0-31
/proc/17607/task/17630/stat : 17630 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 501657 0 0 0 103416 1633 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604495712525792 0 0 -1 2 0 0 0
[pid=17607/tid=17631] ppid=17605 vsize=55381280 CPUtime=1055.95 cores=0-31
/proc/17607/task/17631/stat : 17631 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 529634 0 0 0 104014 1581 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604502077251040 0 0 -1 8 0 0 0
[pid=17607/tid=17632] ppid=17605 vsize=55381280 CPUtime=1069.3 cores=0-31
/proc/17607/task/17632/stat : 17632 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 493714 0 0 0 105282 1648 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604474193378784 0 0 -1 15 0 0 0
[pid=17607/tid=17633] ppid=17605 vsize=55381280 CPUtime=1071.22 cores=0-31
/proc/17607/task/17633/stat : 17633 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 501509 0 0 0 105803 1319 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604492059139552 0 0 -1 21 0 0 0
[pid=17607/tid=17634] ppid=17605 vsize=55381280 CPUtime=1057.36 cores=0-31
/proc/17607/task/17634/stat : 17634 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 507806 0 0 0 104256 1480 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604501487967712 0 0 -1 25 0 0 0
[pid=17607/tid=17635] ppid=17605 vsize=55381280 CPUtime=1035.23 cores=0-31
/proc/17607/task/17635/stat : 17635 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 503167 0 0 0 102165 1358 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604482383338976 0 0 -1 21 0 0 0
[pid=17607/tid=17636] ppid=17605 vsize=55381280 CPUtime=1009.43 cores=0-31
/proc/17607/task/17636/stat : 17636 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 485512 0 0 0 99340 1603 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604503974338016 0 0 -1 30 0 0 0
[pid=17607/tid=17637] ppid=17605 vsize=55381280 CPUtime=1016.13 cores=0-31
/proc/17607/task/17637/stat : 17637 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 482301 0 0 0 100270 1343 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604475132780000 0 0 -1 18 0 0 0
[pid=17607/tid=17638] ppid=17605 vsize=55381280 CPUtime=1079.1 cores=0-31
/proc/17607/task/17638/stat : 17638 (strangenight2-m) S 17605 17607 17581 0 -1 4202560 979367 0 0 0 106341 1569 0 0 25 0 32 0 746512651 56710430720 10958488 268435456000 4194304 4580107 140733203674432 18446744073709551615 47020226155038 0 0 4096 2 18446604501487975904 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 33702.1
Current children cumulated vsize (KiB) 55381280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17607
Solver just ended. Dumping a history of the last processes samples
[startup+5100.6 s]
/proc/loadavg: 1.50 1.59 2.66 2/416 17791
/proc/meminfo: memFree=216932476/264257624 swapFree=67111528/67111528
[pid=17607] ppid=17605 vsize=0 CPUtime=33702.7 cores=0-31
/proc/17607/stat : 17607 (strangenight2-m) Z 17605 17607 17581 0 -1 4203548 16744118 0 0 0 3322580 47688 0 0 18 0 2 0 746512650 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/17607/statm: 0 0 0 0 0 0 0
[pid=17607/tid=17609] ppid=17605 vsize=0 CPUtime=990.38 cores=0-31
/proc/17607/task/17609/stat : 17609 (strangenight2-m) R 17605 17607 17581 0 -1 4203588 557223 0 0 0 97340 1698 0 0 25 0 2 0 746512651 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) 33702.7
Current children cumulated vsize (KiB) 0
[startup+5102.2 s]
/proc/loadavg: 1.50 1.59 2.66 2/416 17791
/proc/meminfo: memFree=229832300/264257624 swapFree=67111528/67111528
[pid=17607] ppid=17605 vsize=0 CPUtime=33704.3 cores=0-31
/proc/17607/stat : 17607 (strangenight2-m) Z 17605 17607 17581 0 -1 4203548 16744118 0 0 0 3322580 47846 0 0 18 0 2 0 746512650 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/17607/statm: 0 0 0 0 0 0 0
[pid=17607/tid=17609] ppid=17605 vsize=0 CPUtime=991.96 cores=0-31
/proc/17607/task/17609/stat : 17609 (strangenight2-m) R 17605 17607 17581 0 -1 4203588 557223 0 0 0 97340 1856 0 0 25 0 2 0 746512651 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) 33704.3
Current children cumulated vsize (KiB) 0
[startup+5103 s]
/proc/loadavg: 1.50 1.59 2.66 2/415 17791
/proc/meminfo: memFree=245830836/264257624 swapFree=67111528/67111528
[pid=17607] ppid=17605 vsize=0 CPUtime=33705.1 cores=0-31
/proc/17607/stat : 17607 (strangenight2-m) Z 17605 17607 17581 0 -1 4203548 16744118 0 0 0 3322580 47926 0 0 18 0 2 0 746512650 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/17607/statm: 0 0 0 0 0 0 0
[pid=17607/tid=17609] ppid=17605 vsize=0 CPUtime=992.76 cores=0-31
/proc/17607/task/17609/stat : 17609 (strangenight2-m) R 17605 17607 17581 0 -1 4203588 557223 0 0 0 97340 1936 0 0 25 0 2 0 746512651 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) 33705.1
Current children cumulated vsize (KiB) 0
[startup+5103.4 s]
/proc/loadavg: 1.50 1.59 2.66 2/415 17791
/proc/meminfo: memFree=245830836/264257624 swapFree=67111528/67111528
[pid=17607] ppid=17605 vsize=0 CPUtime=33705.5 cores=0-31
/proc/17607/stat : 17607 (strangenight2-m) Z 17605 17607 17581 0 -1 4203548 16744118 0 0 0 3322580 47966 0 0 18 0 2 0 746512650 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/17607/statm: 0 0 0 0 0 0 0
[pid=17607/tid=17609] ppid=17605 vsize=0 CPUtime=993.16 cores=0-31
/proc/17607/task/17609/stat : 17609 (strangenight2-m) R 17605 17607 17581 0 -1 4203588 557223 0 0 0 97340 1976 0 0 25 0 2 0 746512651 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) 33705.5
Current children cumulated vsize (KiB) 0
[startup+5103.5 s]
/proc/loadavg: 1.50 1.59 2.66 2/415 17791
/proc/meminfo: memFree=245830836/264257624 swapFree=67111528/67111528
[pid=17607] ppid=17605 vsize=0 CPUtime=33705.6 cores=0-31
/proc/17607/stat : 17607 (strangenight2-m) Z 17605 17607 17581 0 -1 4203548 16744118 0 0 0 3322580 47976 0 0 18 0 2 0 746512650 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/17607/statm: 0 0 0 0 0 0 0
[pid=17607/tid=17609] ppid=17605 vsize=0 CPUtime=993.26 cores=0-31
/proc/17607/task/17609/stat : 17609 (strangenight2-m) R 17605 17607 17581 0 -1 4203588 557223 0 0 0 97340 1986 0 0 25 0 2 0 746512651 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) 33705.6
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5103.51
CPU time (s): 33705.6
CPU user time (s): 33225.8
CPU system time (s): 479.774
CPU usage (%): 660.439
Max. virtual memory (cumulated for all children) (KiB): 55381280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33225.8
system time used= 479.774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16744118
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= 17348561
involuntary context switches= 396274
runsolver used 44.3293 second user time and 128.202 second system time
The end
Begin job on node200 at 2011-05-25 21:04:22
IDJOB=3400698
IDBENCH=71686
IDSOLVER=1886
FILE ID=node200/3400698-1306350250
RUNJOBID= node200-1306350250-17595
PBS_JOBID= 13411800
Free space on /tmp= 61736 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE06/velev-npe-1.0-9dlx-b71.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400698-1306350250/watcher-3400698-1306350250 -o /tmp/evaluation-result-3400698-1306350250/solver-3400698-1306350250 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400698-1306350250.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 75d91f0ba4398ccb5b452707c0e7fa27
RANDOM SEED=1655723993
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: 254825924 kB
Buffers: 468832 kB
Cached: 8553132 kB
SwapCached: 0 kB
Active: 8092108 kB
Inactive: 998500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 254825924 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 322364 kB
Writeback: 0 kB
AnonPages: 68868 kB
Mapped: 14424 kB
Slab: 258720 kB
PageTables: 4320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189884 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= 61732 MiB
End job on node200 at 2011-05-25 22:29:26