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-3400777-1306778234.cnf'
0.00/0.08 c -- header says num vars: 102621
0.00/0.08 c -- header says num clauses: 307469
64.19/3.53 c -- clauses added: 0 learnts, 307469 normals, 0 xors
64.19/3.53 c -- vars added 102621
64.19/3.53 c Parsing time: 0.43 s
64.19/3.53 c N st 0 0 102621 102489 204978 0 717423 0 no data no data
64.19/3.53 c asymm cl-useful: 0/29010/102488 lits-rem:0 time: 0.89
217.23/8.31 c Flit: 1128 Blit: 5284 bXBeca: 0 bXProp: 11956 Bins: 0 BRemL: 0 BRemN: 0 P: 78.7M T: 4.77
217.23/8.34 c Cleaning up after failed var search: 0.03 s
220.19/8.49 c Replacing 11956 vars Replaced 303381 lits Time: 0.10 s
229.19/8.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
230.52/8.91 c bin-w-bin subsume rem 599 bins time: 0.03 s
232.58/9.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s
246.57/9.67 c Subs w/ non-existent bins: 31 l-rem: 31 v-fix: 0 done: 83916 time: 0.58 s
253.74/9.93 c Removed useless bin: 3080 fixed: 0 props: 20.00M time: 0.25 s
308.47/12.27 c lits-rem: 3112 cl-subs: 3947 v-elim: 27972 v-fix: 0 time: 1.03 s
311.12/12.31 c Finding binary XORs T: 0.04 s found: 114
311.12/12.36 c Replacing 114 vars Replaced 997 lits Time: 0.04 s
314.21/12.44 c Finding non-binary XORs: 0.05 s (found: 0, avg size: nan)
314.21/12.44 c calculated reachability. Time: 0.00
314.21/12.47 c Calc default polars - time: 0.02 s pos: 3039 undec: 46831 neg: 52751
314.21/12.47 c =========================================================================================
314.21/12.47 c types(t): F = full restart, N = normal restart
314.21/12.47 c types(t): S = simplification begin/end, E = solution found
314.21/12.47 c restart types(rt): st = static, dy = dynamic
314.21/12.47 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
314.21/12.47 c B st 0 0 55830 79848 115174 0 515111 0 no data no data
365.22/14.08 c N dy 17 4106 55811 79848 115569 3675 515108 42042 5.20 5.48
419.54/15.72 c N dy 47 8175 55700 79848 122837 7504 515085 105850 5.58 5.99
448.33/16.62 c Finding binary XORs T: 0.03 s found: 986
448.33/16.67 c Replacing 986 vars Replaced 28227 lits Time: 0.05 s
467.48/17.29 c N dy 65 12386 54324 76339 123421 11378 496126 155797 5.44 5.91
512.80/18.68 c N dy 85 16442 54020 76339 123467 15359 496120 217498 5.55 5.86
576.10/20.61 c N dy 111 20697 53848 76339 127772 10107 496115 96115 5.61 6.17
630.40/22.31 c Finding binary XORs T: 0.04 s found: 1058
630.40/22.37 c Replacing 1058 vars Replaced 31809 lits Time: 0.05 s
636.77/22.52 c N dy 135 24710 52726 72801 126618 13938 475588 152578 5.66 6.10
639.97/22.68 c F st 137 25000 52726 72801 126621 14223 475588 156033 5.66 5.19
723.66/25.31 c N dy 143 30002 52726 72801 126643 19169 475587 261379 5.66 no data
723.66/25.31 c S st 143 30002 52726 72801 126643 19169 475587 261379 5.66 no data
742.24/25.87 c S st 143 30503 52725 72801 128251 19626 475587 268944 5.66 no data
745.44/25.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
1001.07/33.94 c Flit: 50 Blit: 142 bXBeca: 0 bXProp: 1899 Bins: 266459 BRemL: 102946 BRemN: 2802 P: 52.5M T: 7.80
1001.07/33.94 c Cleaning up after failed var search: 0.00 s
1004.89/34.05 c Replacing 1899 vars Replaced 162549 lits Time: 0.10 s
1004.89/34.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1008.08/34.19 c bin-w-bin subsume rem 47104 bins time: 0.08 s
1010.64/34.26 c subs with bin: 6025 lits-rem: 9847 v-fix: 0 time: 0.07 s
1020.21/34.58 c Subs w/ non-existent bins: 754 l-rem: 4546 v-fix: 0 done: 50584 time: 0.30 s
1029.80/34.80 c Removed useless bin: 2096 fixed: 0 props: 13.14M time: 0.22 s
1058.30/35.71 c lits-rem: 5552 cl-subs: 8107 v-elim: 33722 v-fix: 0 time: 0.71 s
1058.30/35.74 c subs with bin: 249 lits-rem: 841 v-fix: 0 time: 0.02 s
1061.51/35.81 c lits-rem: 140 cl-subs: 400 v-elim: 0 v-fix: 0 time: 0.04 s
1080.66/36.49 c asymm cl-useful: 419/37301/66311 lits-rem:676 time: 0.67
1083.85/36.52 c calculated reachability. Time: 0.03
1083.85/36.53 c N dy 143 30503 16862 66199 63572 4236 339587 96456 5.66 no data
1087.06/36.60 c Finding binary XORs T: 0.07 s found: 113
1113.25/37.47 c N dy 155 34754 16861 66199 63732 8285 339575 145483 5.55 5.86
1148.12/38.57 c N dy 169 38958 16856 66199 65790 12354 339569 199454 5.47 5.78
1188.94/39.82 c N dy 191 43293 16847 66199 123220 9141 339562 251694 5.46 5.75
1201.02/40.22 c Finding binary XORs T: 0.04 s found: 53
1206.87/40.45 c S st 200 45754 16845 66075 121389 11508 338855 276343 5.44 4.54
1213.55/40.71 c S st 200 46256 16845 66075 121425 11973 338855 280557 5.44 no data
1216.53/40.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
1287.74/43.06 c Flit: 3 Blit: 4 bXBeca: 0 bXProp: 74 Bins: 56959 BRemL: 64681 BRemN: 1076 P: 15.1M T: 2.28
1290.91/43.12 c Replacing 240 vars Replaced 19435 lits Time: 0.05 s
1290.91/43.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1290.91/43.19 c bin-w-bin subsume rem 29159 bins time: 0.03 s
1294.11/43.25 c subs with bin: 10873 lits-rem: 19126 v-fix: 0 time: 0.06 s
1297.30/43.36 c Subs w/ non-existent bins: 1552 l-rem: 10853 v-fix: 0 done: 16598 time: 0.11 s
1300.48/43.41 c Removed useless bin: 1575 fixed: 0 props: 1.02M time: 0.04 s
1306.83/43.68 c lits-rem: 1529 cl-subs: 3660 v-elim: 4306 v-fix: 0 time: 0.26 s
1309.98/43.72 c subs with bin: 145 lits-rem: 469 v-fix: 0 time: 0.02 s
1309.98/43.79 c lits-rem: 359 cl-subs: 448 v-elim: 0 v-fix: 0 time: 0.05 s
1313.17/43.84 c vivif2 -- cl tried 53634 cl shrink 8232 lits rem 19067 time: 0.05
1313.17/43.86 c vivif2 -- cl tried 8694 cl shrink 817 lits rem 2437 time: 0.01
1351.87/45.02 c asymm cl-useful: 2249/53192/53192 lits-rem:6035 time: 1.15
1351.87/45.04 c calculated reachability. Time: 0.01
1351.87/45.04 c N dy 200 46256 12292 52990 47693 8687 231663 104374 5.44 no data
1351.87/45.08 c Finding binary XORs T: 0.04 s found: 24
1379.99/45.95 c N dy 211 50257 12292 52990 86704 12655 231662 238967 5.40 6.73
1392.73/46.35 c Finding binary XORs T: 0.03 s found: 40
1411.83/46.92 c N dy 231 54267 12289 52889 86471 16611 231273 291475 5.40 5.73
1433.47/47.61 c Finding binary XORs T: 0.04 s found: 23
1445.75/48.08 c N dy 253 58616 12286 52878 122692 20904 231215 426634 5.39 5.74
1490.47/49.46 c N dy 273 63181 12285 52878 124443 25420 231215 495275 5.37 5.69
1528.79/50.67 c N dy 290 67225 12285 52878 125047 16257 231215 324379 5.36 5.66
1547.35/51.24 c S st 306 69384 12285 52878 125057 18391 231214 354354 5.37 5.02
1553.74/51.47 c S st 306 69890 12285 52878 125082 18871 231214 358373 5.37 no data
1553.74/51.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1592.10/52.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 51 Bins: 10125 BRemL: 62960 BRemN: 1826 P: 10.7M T: 1.21
1595.89/52.75 c Replacing 138 vars Replaced 9366 lits Time: 0.04 s
1595.89/52.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1595.89/52.81 c bin-w-bin subsume rem 26385 bins time: 0.02 s
1599.12/52.84 c subs with bin: 3035 lits-rem: 357 v-fix: 0 time: 0.03 s
1599.12/52.89 c Subs w/ non-existent bins: 520 l-rem: 7 v-fix: 0 done: 12147 time: 0.05 s
1601.67/52.92 c Removed useless bin: 251 fixed: 0 props: 0.58M time: 0.03 s
1604.87/53.06 c lits-rem: 204 cl-subs: 1628 v-elim: 2225 v-fix: 0 time: 0.13 s
1608.05/53.10 c subs with bin: 155 lits-rem: 522 v-fix: 0 time: 0.02 s
1608.05/53.18 c lits-rem: 614 cl-subs: 530 v-elim: 0 v-fix: 0 time: 0.06 s
1611.24/53.21 c vivif2 -- cl tried 47913 cl shrink 992 lits rem 1490 time: 0.03
1611.24/53.23 c vivif2 -- cl tried 14676 cl shrink 644 lits rem 1347 time: 0.02
1643.18/54.24 c asymm cl-useful: 2372/47766/47766 lits-rem:6613 time: 1.01
1643.18/54.25 c calculated reachability. Time: 0.01
1643.18/54.25 c N dy 306 69890 9922 46174 34851 14670 196116 140017 5.37 no data
1643.18/54.28 c Finding binary XORs T: 0.03 s found: 140
1646.37/54.30 c Replacing 140 vars Replaced 3761 lits Time: 0.02 s
1675.13/55.28 c N dy 327 74397 9782 46049 38024 19113 195124 212470 5.37 6.86
1710.29/56.38 c N dy 357 79231 9782 46049 47362 23875 195123 298890 5.39 5.67
1713.49/56.44 c Finding binary XORs T: 0.03 s found: 52
1748.63/57.59 c N dy 389 84380 9782 46049 47386 28964 195123 376208 5.41 6.43
1777.39/58.44 c F st 414 87503 9781 46049 52724 32043 195123 434487 5.43 no data
1777.39/58.48 c Replacing 52 vars Replaced 4610 lits Time: 0.03 s
1802.97/59.23 c N st 419 90800 9729 45978 52344 19822 194737 223307 5.43 no data
1815.74/59.69 c Finding binary XORs T: 0.03 s found: 44
1845.15/60.54 c N dy 439 96617 9697 45818 52768 25145 194058 307722 5.44 5.77
1895.63/62.13 c N dy 484 102818 9696 45818 52990 31287 194058 405885 5.47 6.23
1912.21/62.66 c S st 499 104835 9696 45818 53003 33280 194058 437496 5.48 3.51
1921.19/62.90 c S st 499 105336 9696 45818 59246 33757 194058 454411 5.48 no data
1921.19/62.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1943.57/63.68 c Flit: 0 Blit: 4 bXBeca: 0 bXProp: 48 Bins: 8838 BRemL: 28601 BRemN: 867 P: 8.0M T: 0.75
1947.36/63.72 c Replacing 92 vars Replaced 7228 lits Time: 0.04 s
1947.36/63.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1947.36/63.77 c bin-w-bin subsume rem 7036 bins time: 0.01 s
1947.36/63.79 c subs with bin: 1533 lits-rem: 295 v-fix: 0 time: 0.02 s
1950.58/63.82 c Subs w/ non-existent bins: 557 l-rem: 25 v-fix: 0 done: 9598 time: 0.03 s
1950.58/63.84 c Removed useless bin: 219 fixed: 0 props: 0.31M time: 0.02 s
1953.14/63.93 c lits-rem: 45 cl-subs: 576 v-elim: 376 v-fix: 0 time: 0.09 s
1956.34/64.03 c subs with bin: 767 lits-rem: 4914 v-fix: 0 time: 0.05 s
1959.53/64.18 c lits-rem: 2776 cl-subs: 1183 v-elim: 0 v-fix: 0 time: 0.13 s
1962.73/64.20 c vivif2 -- cl tried 43333 cl shrink 360 lits rem 441 time: 0.02
1962.73/64.25 c vivif2 -- cl tried 28614 cl shrink 3537 lits rem 7056 time: 0.04
2001.09/65.49 c asymm cl-useful: 857/43274/43274 lits-rem:2306 time: 1.25
2004.29/65.51 c calculated reachability. Time: 0.00
2004.29/65.51 c N dy 499 105336 9222 42878 29543 28596 179612 296749 5.48 no data
2004.29/65.54 c Finding binary XORs T: 0.03 s found: 79
2040.39/71.41 c Following stats are for *FIRST FINISHED THREAD ONLY*
2040.39/71.41 c num threads : 32
2040.39/71.41 c restarts : 436
2040.39/71.41 c dynamic restarts : 418
2040.39/71.41 c static restarts : 18
2040.39/71.41 c full restarts : 2
2040.39/71.41 c total simplify time : 0.79
2040.39/71.41 c learnts DL2 : 0
2040.39/71.41 c learnts size 2 : 759045
2040.39/71.41 c learnts size 1 : 10123 (9.86 % of vars)
2040.39/71.41 c filedLit time : 15.30 (23.28 % time)
2040.39/71.41 c v-elim SatELite : 66050 (64.36 % vars)
2040.39/71.41 c SatELite time : 2.87 (4.36 % time)
2040.39/71.41 c v-elim xor : 0 (0.00 % vars)
2040.39/71.41 c xor elim time : 0.07 (0.10 % time)
2040.39/71.41 c num binary xor trees : 6487
2040.39/71.41 c binxor trees' crown : 16654 (2.57 leafs/tree)
2040.39/71.41 c bin xor find time : 0.47
2040.39/71.41 c OTF clause improved : 811 (0.01 clauses/conflict)
2040.39/71.41 c OTF impr. size diff : 951 (1.17 lits/clause)
2040.39/71.41 c OTF cl watch-shrink : 39208 (0.40 clauses/conflict)
2040.39/71.41 c OTF cl watch-sh-lit : 101480 (2.59 lits/clause)
2040.39/71.41 c tried to recurMin cls : 25374 (25.66 % of conflicts)
2040.39/71.41 c updated cache : 0 (0.00 lits/tried recurMin)
2040.39/71.41 c unit cls recevied : 244 (2.41 % of units)
2040.39/71.41 c unit cls sent : 873 (8.62 % of units)
2040.39/71.41 c bin cls recevied : 274940
2040.39/71.41 c bin cls sent : 63570
2040.39/71.41 c clauses over max glue : 0 (0.00 % of all clauses)
2040.39/71.41 c conflicts : 98885 (1504.43 / sec)
2040.39/71.41 c decisions : 332644 (5.51 % random)
2040.39/71.41 c bogo-props : 797187701 (12128400.19 / sec)
2040.39/71.41 c conflict literals : 1426893 (31.20 % deleted)
2040.39/71.41 c Memory used : 4852.88 MB
2040.39/71.41 c single-thread CPU time : 65.73 s
2040.39/71.41 c all-threads sum CPU time : 1993.73 s
2040.39/71.41 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400777-1306778234/watcher-3400777-1306778234 -o /tmp/evaluation-result-3400777-1306778234/solver-3400777-1306778234 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400777-1306778234.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: 29.63 30.52 31.41 1/413 18498
/proc/meminfo: memFree=263734904/264257624 swapFree=67044744/67111528
[pid=18498] ppid=18496 vsize=338000 CPUtime=0.64 cores=0-31
/proc/18498/stat : 18498 (strangenight2-m) R 18496 18498 18232 0 -1 4202496 437 0 0 0 64 0 0 0 25 0 32 0 3789454 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18498/statm: 84500 377 297 95 0 79482 0
[pid=18498/tid=18499] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18499/stat : 18499 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606636 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18498/tid=18500] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18500/stat : 18500 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606640 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18498/tid=18501] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18501/stat : 18501 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606632 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18498/tid=18502] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18502/stat : 18502 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606636 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18498/tid=18503] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18503/stat : 18503 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18498/tid=18504] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18504/stat : 18504 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606632 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18498/tid=18505] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18505/stat : 18505 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606640 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18498/tid=18506] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18506/stat : 18506 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18498/tid=18507] ppid=18496 vsize=338000 CPUtime=0 cores=0-31
/proc/18498/task/18507/stat : 18507 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18498/tid=18508] ppid=18496 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18498/task/18508/stat : 18508 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606632 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18498/tid=18509] ppid=18496 vsize=338000 CPUtime=0.01 cores=0-31
/proc/18498/task/18509/stat : 18509 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18498/tid=18510] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18510/stat : 18510 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=18498/tid=18511] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18511/stat : 18511 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18498/tid=18512] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18512/stat : 18512 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606640 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18498/tid=18513] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18513/stat : 18513 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606640 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18498/tid=18514] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18514/stat : 18514 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606636 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18498/tid=18515] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18515/stat : 18515 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=18498/tid=18516] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18516/stat : 18516 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18498/tid=18517] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18517/stat : 18517 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606636 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=18498/tid=18518] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18518/stat : 18518 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18498/tid=18519] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18519/stat : 18519 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=18498/tid=18520] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18520/stat : 18520 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=18498/tid=18521] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18521/stat : 18521 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18498/tid=18522] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18522/stat : 18522 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=18498/tid=18523] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18523/stat : 18523 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18498/tid=18524] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18524/stat : 18524 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606640 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=18498/tid=18525] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18525/stat : 18525 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 377 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606642 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18498/tid=18526] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18526/stat : 18526 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 397 268435456000 4194304 4580107 140735266677792 18446744073709551615 258646002838 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=18498/tid=18527] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18527/stat : 18527 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 409 268435456000 4194304 4580107 140735266677792 18446744073709551615 258646002838 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18498/tid=18528] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18528/stat : 18528 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 409 268435456000 4194304 4580107 140735266677792 18446744073709551615 258646002838 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18498/tid=18529] ppid=18496 vsize=338000 CPUtime=0.02 cores=0-31
/proc/18498/task/18529/stat : 18529 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 3789455 346112000 409 268435456000 4194304 4580107 140735266677792 18446744073709551615 258646002838 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.0988929 s]
/proc/loadavg: 29.63 30.52 31.41 1/413 18498
/proc/meminfo: memFree=263734904/264257624 swapFree=67044744/67111528
[pid=18498] ppid=18496 vsize=1323464 CPUtime=1.96 cores=0-31
/proc/18498/stat : 18498 (strangenight2-m) S 18496 18498 18232 0 -1 4202496 10554 0 0 0 109 87 0 0 17 0 32 0 3789454 1355227136 10400 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18498/statm: 330866 10405 334 95 0 325848 0
[pid=18498/tid=18499] ppid=18496 vsize=1323464 CPUtime=0.05 cores=0-31
/proc/18498/task/18499/stat : 18499 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 307 0 0 0 3 2 0 0 17 0 32 0 3789455 1355227136 10409 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604449992768992 0 0 -1 1 0 0 0
[pid=18498/tid=18500] ppid=18496 vsize=1323464 CPUtime=0.05 cores=0-31
/proc/18498/task/18500/stat : 18500 (strangenight2-m) D 18496 18498 18232 0 -1 4202560 314 0 0 0 3 2 0 0 17 0 32 0 3789455 1355227136 10411 268435456000 4194304 4580107 140735266677792 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=18498/tid=18501] ppid=18496 vsize=1323464 CPUtime=0.05 cores=0-31
/proc/18498/task/18501/stat : 18501 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 308 0 0 0 3 2 0 0 17 0 32 0 3789455 1355227136 10427 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18498/tid=18502] ppid=18496 vsize=1323464 CPUtime=0.05 cores=0-31
/proc/18498/task/18502/stat : 18502 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 322 0 0 0 3 2 0 0 17 0 32 0 3789455 1355227136 10427 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=18498/tid=18503] ppid=18496 vsize=1323464 CPUtime=0.05 cores=0-31
/proc/18498/task/18503/stat : 18503 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 293 0 0 0 3 2 0 0 17 0 32 0 3789455 1355227136 10443 268435456000 4194304 4580107 140735266677792 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=18498/tid=18504] ppid=18496 vsize=1323464 CPUtime=0.06 cores=0-31
/proc/18498/task/18504/stat : 18504 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 314 0 0 0 3 3 0 0 17 0 32 0 3789455 1355227136 10451 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651061007 0 0 4096 2 18446604461878607328 0 0 -1 0 0 0 0
[pid=18498/tid=18505] ppid=18496 vsize=1323464 CPUtime=0.06 cores=0-31
/proc/18498/task/18505/stat : 18505 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 356 0 0 0 3 3 0 0 17 0 32 0 3789455 1355227136 10454 268435456000 4194304 4580107 140735266677792 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18498/tid=18506] ppid=18496 vsize=1323464 CPUtime=0.04 cores=0-31
/proc/18498/task/18506/stat : 18506 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 352 0 0 0 2 2 0 0 17 0 32 0 3789455 1355227136 10481 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=18498/tid=18507] ppid=18496 vsize=1323464 CPUtime=0.02 cores=0-31
/proc/18498/task/18507/stat : 18507 (strangenight2-m) D 18496 18498 18232 0 -1 4202560 322 0 0 0 0 2 0 0 17 0 32 0 3789455 1355227136 10494 268435456000 4194304 4580107 140735266677792 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18498/tid=18508] ppid=18496 vsize=1323464 CPUtime=0.04 cores=0-31
/proc/18498/task/18508/stat : 18508 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 312 0 0 0 2 2 0 0 17 0 32 0 3789455 1355227136 10501 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604496726982112 0 0 -1 27 0 0 0
[pid=18498/tid=18509] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18509/stat : 18509 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 299 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10510 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604453944622560 0 0 -1 12 0 0 0
[pid=18498/tid=18510] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18510/stat : 18510 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 308 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10523 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604470428761568 0 0 -1 8 0 0 0
[pid=18498/tid=18511] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18511/stat : 18511 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 313 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10535 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604489474596320 0 0 -1 4 0 0 0
[pid=18498/tid=18512] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18512/stat : 18512 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 312 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10537 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604454522707424 0 0 -1 5 0 0 0
[pid=18498/tid=18513] ppid=18496 vsize=1323600 CPUtime=0.06 cores=0-31
/proc/18498/task/18513/stat : 18513 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 288 0 0 0 3 3 0 0 17 0 32 0 3789455 1355366400 10552 268435456000 4194304 4580107 140735266677792 18446744073709551615 258650623218 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18498/tid=18514] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18514/stat : 18514 (strangenight2-m) D 18496 18498 18232 0 -1 4202560 357 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10565 268435456000 4194304 4580107 140735266677792 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=18498/tid=18515] ppid=18496 vsize=1323600 CPUtime=0.06 cores=0-31
/proc/18498/task/18515/stat : 18515 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 309 0 0 0 3 3 0 0 17 0 32 0 3789455 1355366400 10569 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604506241605088 0 0 -1 10 0 0 0
[pid=18498/tid=18516] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18516/stat : 18516 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 367 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10607 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=18498/tid=18517] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18517/stat : 18517 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 313 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10611 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604503383064032 0 0 -1 14 0 0 0
[pid=18498/tid=18518] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18518/stat : 18518 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 301 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10616 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446744071566928104 0 0 -1 3 0 0 0
[pid=18498/tid=18519] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18519/stat : 18519 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 322 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10628 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604496726982112 0 0 -1 17 0 0 0
[pid=18498/tid=18520] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18520/stat : 18520 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 316 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10644 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604496459374048 0 0 -1 18 0 0 0
[pid=18498/tid=18521] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18521/stat : 18521 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 315 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10661 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446744071566930464 0 0 -1 7 0 0 0
[pid=18498/tid=18522] ppid=18496 vsize=1323600 CPUtime=0.04 cores=0-31
/proc/18498/task/18522/stat : 18522 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 334 0 0 0 3 1 0 0 17 0 32 0 3789455 1355366400 10671 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604496459374048 0 0 -1 21 0 0 0
[pid=18498/tid=18523] ppid=18496 vsize=1323600 CPUtime=0.06 cores=0-31
/proc/18498/task/18523/stat : 18523 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 328 0 0 0 3 3 0 0 17 0 32 0 3789455 1355366400 10691 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=18498/tid=18524] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18524/stat : 18524 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 318 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10707 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604454522707424 0 0 -1 11 0 0 0
[pid=18498/tid=18525] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18525/stat : 18525 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 376 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10752 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446744071566928784 0 0 -1 25 0 0 0
[pid=18498/tid=18526] ppid=18496 vsize=1323600 CPUtime=0.06 cores=0-31
/proc/18498/task/18526/stat : 18526 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 303 0 0 0 3 3 0 0 17 0 32 0 3789455 1355366400 10777 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604494848966112 0 0 -1 26 0 0 0
[pid=18498/tid=18527] ppid=18496 vsize=1323600 CPUtime=0.06 cores=0-31
/proc/18498/task/18527/stat : 18527 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 370 0 0 0 3 3 0 0 17 0 32 0 3789455 1355366400 10779 268435456000 4194304 4580107 140735266677792 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=18498/tid=18528] ppid=18496 vsize=1323600 CPUtime=0.05 cores=0-31
/proc/18498/task/18528/stat : 18528 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 304 0 0 0 3 2 0 0 17 0 32 0 3789455 1355366400 10806 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=18498/tid=18529] ppid=18496 vsize=1323732 CPUtime=0.06 cores=0-31
/proc/18498/task/18529/stat : 18529 (strangenight2-m) D 18496 18498 18232 0 -1 4202560 322 0 0 0 3 3 0 0 17 0 32 0 3789455 1355501568 10825 268435456000 4194304 4580107 140735266677792 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 1323464
[startup+0.10693 s]
/proc/loadavg: 29.63 30.52 31.41 1/413 18498
/proc/meminfo: memFree=263734904/264257624 swapFree=67044744/67111528
[pid=18498] ppid=18496 vsize=1324260 CPUtime=2.05 cores=0-31
/proc/18498/stat : 18498 (strangenight2-m) S 18496 18498 18232 0 -1 4202496 11445 0 0 0 111 94 0 0 17 0 32 0 3789454 1356042240 11294 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/18498/statm: 331065 11320 334 95 0 326047 0
[pid=18498/tid=18499] ppid=18496 vsize=1324260 CPUtime=0.06 cores=0-31
/proc/18498/task/18499/stat : 18499 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 342 0 0 0 3 3 0 0 17 0 32 0 3789455 1356042240 11322 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604503383064032 0 0 -1 1 0 0 0
[pid=18498/tid=18500] ppid=18496 vsize=1324260 CPUtime=0.06 cores=0-31
/proc/18498/task/18500/stat : 18500 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 350 0 0 0 3 3 0 0 17 0 32 0 3789455 1356042240 11340 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604453944622560 0 0 -1 24 0 0 0
[pid=18498/tid=18501] ppid=18496 vsize=1324260 CPUtime=0.05 cores=0-31
/proc/18498/task/18501/stat : 18501 (strangenight2-m) D 18496 18498 18232 0 -1 4202560 329 0 0 0 3 2 0 0 17 0 32 0 3789455 1356042240 11341 268435456000 4194304 4580107 140735266677792 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=18498/tid=18502] ppid=18496 vsize=1324260 CPUtime=0.05 cores=0-31
/proc/18498/task/18502/stat : 18502 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 356 0 0 0 3 2 0 0 17 0 32 0 3789455 1356042240 11345 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604449701060064 0 0 -1 15 0 0 0
[pid=18498/tid=18503] ppid=18496 vsize=1324260 CPUtime=0.05 cores=0-31
/proc/18498/task/18503/stat : 18503 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 307 0 0 0 3 2 0 0 17 0 32 0 3789455 1356042240 11348 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604452811251168 0 0 -1 20 0 0 0
[pid=18498/tid=18504] ppid=18496 vsize=1324412 CPUtime=0.06 cores=0-31
/proc/18498/task/18504/stat : 18504 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 342 0 0 0 3 3 0 0 17 0 32 0 3789455 1356197888 11361 268435456000 4194304 4580107 140735266677792 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18498/tid=18505] ppid=18496 vsize=1324412 CPUtime=0.06 cores=0-31
/proc/18498/task/18505/stat : 18505 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 385 0 0 0 3 3 0 0 17 0 32 0 3789455 1356197888 11384 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18498/tid=18506] ppid=18496 vsize=1324412 CPUtime=0.05 cores=0-31
/proc/18498/task/18506/stat : 18506 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 406 0 0 0 3 2 0 0 17 0 32 0 3789455 1356197888 11391 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604453498011104 0 0 -1 31 0 0 0
[pid=18498/tid=18507] ppid=18496 vsize=1324412 CPUtime=0.04 cores=0-31
/proc/18498/task/18507/stat : 18507 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 356 0 0 0 1 3 0 0 17 0 32 0 3789455 1356197888 11402 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446744071566930144 0 0 -1 28 0 0 0
[pid=18498/tid=18508] ppid=18496 vsize=1324412 CPUtime=0.04 cores=0-31
/proc/18498/task/18508/stat : 18508 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 344 0 0 0 2 2 0 0 17 0 32 0 3789455 1356197888 11420 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=18498/tid=18509] ppid=18496 vsize=1324412 CPUtime=0.05 cores=0-31
/proc/18498/task/18509/stat : 18509 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 305 0 0 0 3 2 0 0 17 0 32 0 3789455 1356197888 11438 268435456000 4194304 4580107 140735266677792 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=18498/tid=18510] ppid=18496 vsize=1324412 CPUtime=0.05 cores=0-31
/proc/18498/task/18510/stat : 18510 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 335 0 0 0 3 2 0 0 17 0 32 0 3789455 1356197888 11445 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604496459374048 0 0 -1 8 0 0 0
[pid=18498/tid=18511] ppid=18496 vsize=1324544 CPUtime=0.05 cores=0-31
/proc/18498/task/18511/stat : 18511 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 345 0 0 0 3 2 0 0 17 0 32 0 3789455 1356333056 11519 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18498/tid=18512] ppid=18496 vsize=1324696 CPUtime=0.05 cores=0-31
/proc/18498/task/18512/stat : 18512 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 340 0 0 0 3 2 0 0 17 0 32 0 3789455 1356488704 11552 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604453944622560 0 0 -1 5 0 0 0
[pid=18498/tid=18513] ppid=18496 vsize=1324696 CPUtime=0.06 cores=0-31
/proc/18498/task/18513/stat : 18513 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 307 0 0 0 3 3 0 0 17 0 32 0 3789455 1356488704 11558 268435456000 4194304 4580107 140735266677792 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18498/tid=18514] ppid=18496 vsize=1324696 CPUtime=0.06 cores=0-31
/proc/18498/task/18514/stat : 18514 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 402 0 0 0 4 2 0 0 17 0 32 0 3789455 1356488704 11572 268435456000 4194304 4580107 140735266677792 18446744073709551615 258651060958 0 0 4096 2 18446604480208903648 0 0 -1 9 0 0 0
[pid=18498/tid=18515] ppid=18496 vsize=1324696 CPUtime=0.06 cores=0-31
################
# More data... #
################
[pid=18498/tid=18528] ppid=18496 vsize=4968416 CPUtime=63.85 cores=0-31
/proc/18498/task/18528/stat : 18528 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 74254 0 0 0 6265 120 0 0 18 0 32 0 3789455 5087657984 921134 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604506241605088 0 0 -1 5 0 0 0
[pid=18498/tid=18529] ppid=18496 vsize=4968416 CPUtime=63.43 cores=0-31
/proc/18498/task/18529/stat : 18529 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 22436 0 0 0 6257 86 0 0 22 0 32 0 3789455 5087657984 921134 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604461878607328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2034.37
Current children cumulated vsize (KiB) 4968416
[startup+70.3025 s]
/proc/loadavg: 27.91 29.83 31.10 3/445 18532
/proc/meminfo: memFree=260022104/264257624 swapFree=67044744/67111528
[pid=18498] ppid=18496 vsize=4968416 CPUtime=2038.46 cores=0-31
/proc/18498/stat : 18498 (strangenight2-m) S 18496 18498 18232 0 -1 4202496 2315476 0 0 0 199159 4687 0 0 21 0 32 0 3789454 5087657984 923727 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18498/statm: 1242104 923727 385 95 0 1237086 0
[pid=18498/tid=18499] ppid=18496 vsize=4968416 CPUtime=66.65 cores=0-31
/proc/18498/task/18499/stat : 18499 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 107384 0 0 0 6464 201 0 0 25 0 32 0 3789455 5087657984 923729 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640581675 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18498/tid=18500] ppid=18496 vsize=4968416 CPUtime=64.79 cores=0-31
/proc/18498/task/18500/stat : 18500 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 84344 0 0 0 6306 173 0 0 20 0 32 0 3789455 5087657984 923731 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604453498011104 0 0 -1 22 0 0 0
[pid=18498/tid=18501] ppid=18496 vsize=4968416 CPUtime=62.92 cores=0-31
/proc/18498/task/18501/stat : 18501 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 68026 0 0 0 6119 173 0 0 18 0 32 0 3789455 5087657984 923732 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604452811251168 0 0 -1 10 0 0 0
[pid=18498/tid=18502] ppid=18496 vsize=4968416 CPUtime=63.15 cores=0-31
/proc/18498/task/18502/stat : 18502 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 78091 0 0 0 6136 179 0 0 25 0 32 0 3789455 5087657984 923733 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604499314064864 0 0 -1 26 0 0 0
[pid=18498/tid=18503] ppid=18496 vsize=4968416 CPUtime=63.83 cores=0-31
/proc/18498/task/18503/stat : 18503 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 123814 0 0 0 6217 166 0 0 25 0 32 0 3789455 5087657984 923733 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604489474596320 0 0 -1 12 0 0 0
[pid=18498/tid=18504] ppid=18496 vsize=4968416 CPUtime=66.47 cores=0-31
/proc/18498/task/18504/stat : 18504 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 104871 0 0 0 6480 167 0 0 25 0 32 0 3789455 5087657984 923735 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604494848966112 0 0 -1 23 0 0 0
[pid=18498/tid=18505] ppid=18496 vsize=4968416 CPUtime=62.4 cores=0-31
/proc/18498/task/18505/stat : 18505 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 53267 0 0 0 6100 140 0 0 25 0 32 0 3789455 5087657984 923737 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604493649313248 0 0 -1 7 0 0 0
[pid=18498/tid=18506] ppid=18496 vsize=4968416 CPUtime=67.46 cores=0-31
/proc/18498/task/18506/stat : 18506 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 77471 0 0 0 6587 159 0 0 25 0 32 0 3789455 5087657984 923738 268435456000 4194304 4580107 140735266677792 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18498/tid=18507] ppid=18496 vsize=4968416 CPUtime=63.35 cores=0-31
/proc/18498/task/18507/stat : 18507 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 53459 0 0 0 6191 144 0 0 25 0 32 0 3789455 5087657984 923739 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604487453498848 0 0 -1 8 0 0 0
[pid=18498/tid=18508] ppid=18496 vsize=4968416 CPUtime=63.2 cores=0-31
/proc/18498/task/18508/stat : 18508 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 60292 0 0 0 6173 147 0 0 25 0 32 0 3789455 5087657984 923739 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604502291987936 0 0 -1 21 0 0 0
[pid=18498/tid=18509] ppid=18496 vsize=4968416 CPUtime=63.41 cores=0-31
/proc/18498/task/18509/stat : 18509 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 83944 0 0 0 6188 153 0 0 25 0 32 0 3789455 5087657984 923741 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604503383064032 0 0 -1 19 0 0 0
[pid=18498/tid=18510] ppid=18496 vsize=4968416 CPUtime=63.21 cores=0-31
/proc/18498/task/18510/stat : 18510 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 72732 0 0 0 6199 122 0 0 22 0 32 0 3789455 5087657984 923741 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604496726982112 0 0 -1 4 0 0 0
[pid=18498/tid=18511] ppid=18496 vsize=4968416 CPUtime=63.3 cores=0-31
/proc/18498/task/18511/stat : 18511 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 69545 0 0 0 6173 157 0 0 25 0 32 0 3789455 5087657984 923741 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604460235734496 0 0 -1 20 0 0 0
[pid=18498/tid=18512] ppid=18496 vsize=4968416 CPUtime=63.42 cores=0-31
/proc/18498/task/18512/stat : 18512 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 53373 0 0 0 6208 134 0 0 25 0 32 0 3789455 5087657984 923744 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604482882887136 0 0 -1 11 0 0 0
[pid=18498/tid=18513] ppid=18496 vsize=4968416 CPUtime=63.01 cores=0-31
/proc/18498/task/18513/stat : 18513 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 56021 0 0 0 6151 150 0 0 25 0 32 0 3789455 5087657984 923746 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604454572514784 0 0 -1 16 0 0 0
[pid=18498/tid=18514] ppid=18496 vsize=4968416 CPUtime=63.33 cores=0-31
/proc/18498/task/18514/stat : 18514 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 54766 0 0 0 6195 138 0 0 19 0 32 0 3789455 5087657984 923746 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604449701060064 0 0 -1 29 0 0 0
[pid=18498/tid=18515] ppid=18496 vsize=4968416 CPUtime=63.41 cores=0-31
/proc/18498/task/18515/stat : 18515 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 48899 0 0 0 6209 132 0 0 25 0 32 0 3789455 5087657984 923747 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604457197616608 0 0 -1 1 0 0 0
[pid=18498/tid=18516] ppid=18496 vsize=4968416 CPUtime=63.36 cores=0-31
/proc/18498/task/18516/stat : 18516 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 73458 0 0 0 6195 141 0 0 24 0 32 0 3789455 5087657984 923748 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604454522707424 0 0 -1 9 0 0 0
[pid=18498/tid=18517] ppid=18496 vsize=4968416 CPUtime=63.28 cores=0-31
/proc/18498/task/18517/stat : 18517 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 67280 0 0 0 6190 138 0 0 25 0 32 0 3789455 5087657984 923750 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446744071566930184 0 0 -1 14 0 0 0
[pid=18498/tid=18518] ppid=18496 vsize=4968416 CPUtime=63.24 cores=0-31
/proc/18498/task/18518/stat : 18518 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 68162 0 0 0 6174 150 0 0 25 0 32 0 3789455 5087657984 923751 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604454624148960 0 0 -1 30 0 0 0
[pid=18498/tid=18519] ppid=18496 vsize=4968416 CPUtime=63.36 cores=0-31
/proc/18498/task/18519/stat : 18519 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 99422 0 0 0 6182 154 0 0 22 0 32 0 3789455 5087657984 923751 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604455825841632 0 0 -1 17 0 0 0
[pid=18498/tid=18520] ppid=18496 vsize=4968416 CPUtime=62.96 cores=0-31
/proc/18498/task/18520/stat : 18520 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 87068 0 0 0 6139 157 0 0 18 0 32 0 3789455 5087657984 923752 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604453944622560 0 0 -1 18 0 0 0
[pid=18498/tid=18521] ppid=18496 vsize=4968416 CPUtime=63.23 cores=0-31
/proc/18498/task/18521/stat : 18521 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 61101 0 0 0 6178 145 0 0 18 0 32 0 3789455 5087657984 923755 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604498632883680 0 0 -1 15 0 0 0
[pid=18498/tid=18522] ppid=18496 vsize=4968416 CPUtime=63.46 cores=0-31
/proc/18498/task/18522/stat : 18522 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 50266 0 0 0 6222 124 0 0 25 0 32 0 3789455 5087657984 923756 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604470428761568 0 0 -1 6 0 0 0
[pid=18498/tid=18523] ppid=18496 vsize=4968416 CPUtime=63.85 cores=0-31
/proc/18498/task/18523/stat : 18523 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 96966 0 0 0 6265 120 0 0 25 0 32 0 3789455 5087657984 923757 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604499699703264 0 0 -1 13 0 0 0
[pid=18498/tid=18524] ppid=18496 vsize=4968416 CPUtime=63.55 cores=0-31
/proc/18498/task/18524/stat : 18524 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 87073 0 0 0 6221 134 0 0 24 0 32 0 3789455 5087657984 923758 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604461043932640 0 0 -1 27 0 0 0
[pid=18498/tid=18525] ppid=18496 vsize=4968416 CPUtime=63.86 cores=0-31
/proc/18498/task/18525/stat : 18525 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 76539 0 0 0 6259 127 0 0 18 0 32 0 3789455 5087657984 923760 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604553369918944 0 0 -1 24 0 0 0
[pid=18498/tid=18526] ppid=18496 vsize=4968416 CPUtime=63.77 cores=0-31
/proc/18498/task/18526/stat : 18526 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 63379 0 0 0 6252 125 0 0 18 0 32 0 3789455 5087657984 923760 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604496459374048 0 0 -1 2 0 0 0
[pid=18498/tid=18527] ppid=18496 vsize=4968416 CPUtime=62.27 cores=0-31
/proc/18498/task/18527/stat : 18527 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 57071 0 0 0 6095 132 0 0 25 0 32 0 3789455 5087657984 923761 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604457888759264 0 0 -1 31 0 0 0
[pid=18498/tid=18528] ppid=18496 vsize=4968416 CPUtime=63.85 cores=0-31
/proc/18498/task/18528/stat : 18528 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 74254 0 0 0 6265 120 0 0 18 0 32 0 3789455 5087657984 923762 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604506241605088 0 0 -1 5 0 0 0
[pid=18498/tid=18529] ppid=18496 vsize=4968416 CPUtime=63.43 cores=0-31
/proc/18498/task/18529/stat : 18529 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 22436 0 0 0 6257 86 0 0 22 0 32 0 3789455 5087657984 923764 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604461878607328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2038.46
Current children cumulated vsize (KiB) 4968416
[startup+71.1025 s]
/proc/loadavg: 27.91 29.83 31.10 3/445 18532
/proc/meminfo: memFree=260022104/264257624 swapFree=67044744/67111528
[pid=18498] ppid=18496 vsize=4969340 CPUtime=2039.99 cores=0-31
/proc/18498/stat : 18498 (strangenight2-m) S 18496 18498 18232 0 -1 4202496 2322751 0 0 0 199310 4689 0 0 21 0 32 0 3789454 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18498/statm: 1242335 929232 385 95 0 1237317 0
[pid=18498/tid=18499] ppid=18496 vsize=4969340 CPUtime=67.42 cores=0-31
/proc/18498/task/18499/stat : 18499 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 107384 0 0 0 6541 201 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640581675 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=18498/tid=18500] ppid=18496 vsize=4969340 CPUtime=64.79 cores=0-31
/proc/18498/task/18500/stat : 18500 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 84344 0 0 0 6306 173 0 0 20 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604453498011104 0 0 -1 22 0 0 0
[pid=18498/tid=18501] ppid=18496 vsize=4969340 CPUtime=62.92 cores=0-31
/proc/18498/task/18501/stat : 18501 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 68026 0 0 0 6119 173 0 0 18 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604452811251168 0 0 -1 10 0 0 0
[pid=18498/tid=18502] ppid=18496 vsize=4969340 CPUtime=63.15 cores=0-31
/proc/18498/task/18502/stat : 18502 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 78091 0 0 0 6136 179 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604499314064864 0 0 -1 26 0 0 0
[pid=18498/tid=18503] ppid=18496 vsize=4969340 CPUtime=63.83 cores=0-31
/proc/18498/task/18503/stat : 18503 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 123814 0 0 0 6217 166 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604489474596320 0 0 -1 12 0 0 0
[pid=18498/tid=18504] ppid=18496 vsize=4969340 CPUtime=66.47 cores=0-31
/proc/18498/task/18504/stat : 18504 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 104871 0 0 0 6480 167 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604494848966112 0 0 -1 23 0 0 0
[pid=18498/tid=18505] ppid=18496 vsize=4969340 CPUtime=62.4 cores=0-31
/proc/18498/task/18505/stat : 18505 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 53267 0 0 0 6100 140 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604493649313248 0 0 -1 7 0 0 0
[pid=18498/tid=18506] ppid=18496 vsize=4969340 CPUtime=68.23 cores=0-31
/proc/18498/task/18506/stat : 18506 (strangenight2-m) R 18496 18498 18232 0 -1 4202560 84735 0 0 0 6662 161 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=18498/tid=18507] ppid=18496 vsize=4969340 CPUtime=63.35 cores=0-31
/proc/18498/task/18507/stat : 18507 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 53459 0 0 0 6191 144 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604487453498848 0 0 -1 8 0 0 0
[pid=18498/tid=18508] ppid=18496 vsize=4969340 CPUtime=63.2 cores=0-31
/proc/18498/task/18508/stat : 18508 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 60292 0 0 0 6173 147 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604502291987936 0 0 -1 21 0 0 0
[pid=18498/tid=18509] ppid=18496 vsize=4969340 CPUtime=63.41 cores=0-31
/proc/18498/task/18509/stat : 18509 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 83944 0 0 0 6188 153 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604503383064032 0 0 -1 19 0 0 0
[pid=18498/tid=18510] ppid=18496 vsize=4969340 CPUtime=63.21 cores=0-31
/proc/18498/task/18510/stat : 18510 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 72732 0 0 0 6199 122 0 0 22 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604496726982112 0 0 -1 4 0 0 0
[pid=18498/tid=18511] ppid=18496 vsize=4969340 CPUtime=63.3 cores=0-31
/proc/18498/task/18511/stat : 18511 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 69545 0 0 0 6173 157 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604460235734496 0 0 -1 20 0 0 0
[pid=18498/tid=18512] ppid=18496 vsize=4969340 CPUtime=63.42 cores=0-31
/proc/18498/task/18512/stat : 18512 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 53373 0 0 0 6208 134 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604482882887136 0 0 -1 11 0 0 0
[pid=18498/tid=18513] ppid=18496 vsize=4969340 CPUtime=63.01 cores=0-31
/proc/18498/task/18513/stat : 18513 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 56021 0 0 0 6151 150 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604454572514784 0 0 -1 16 0 0 0
[pid=18498/tid=18514] ppid=18496 vsize=4969340 CPUtime=63.33 cores=0-31
/proc/18498/task/18514/stat : 18514 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 54766 0 0 0 6195 138 0 0 19 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604449701060064 0 0 -1 29 0 0 0
[pid=18498/tid=18515] ppid=18496 vsize=4969340 CPUtime=63.41 cores=0-31
/proc/18498/task/18515/stat : 18515 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 48899 0 0 0 6209 132 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604457197616608 0 0 -1 1 0 0 0
[pid=18498/tid=18516] ppid=18496 vsize=4969340 CPUtime=63.36 cores=0-31
/proc/18498/task/18516/stat : 18516 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 73458 0 0 0 6195 141 0 0 24 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604454522707424 0 0 -1 9 0 0 0
[pid=18498/tid=18517] ppid=18496 vsize=4969340 CPUtime=63.28 cores=0-31
/proc/18498/task/18517/stat : 18517 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 67280 0 0 0 6190 138 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446744071566930184 0 0 -1 14 0 0 0
[pid=18498/tid=18518] ppid=18496 vsize=4969340 CPUtime=63.24 cores=0-31
/proc/18498/task/18518/stat : 18518 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 68162 0 0 0 6174 150 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604454624148960 0 0 -1 30 0 0 0
[pid=18498/tid=18519] ppid=18496 vsize=4969340 CPUtime=63.36 cores=0-31
/proc/18498/task/18519/stat : 18519 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 99422 0 0 0 6182 154 0 0 22 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604455825841632 0 0 -1 17 0 0 0
[pid=18498/tid=18520] ppid=18496 vsize=4969340 CPUtime=62.96 cores=0-31
/proc/18498/task/18520/stat : 18520 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 87068 0 0 0 6139 157 0 0 18 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604453944622560 0 0 -1 18 0 0 0
[pid=18498/tid=18521] ppid=18496 vsize=4969340 CPUtime=63.23 cores=0-31
/proc/18498/task/18521/stat : 18521 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 61101 0 0 0 6178 145 0 0 18 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604498632883680 0 0 -1 15 0 0 0
[pid=18498/tid=18522] ppid=18496 vsize=4969340 CPUtime=63.46 cores=0-31
/proc/18498/task/18522/stat : 18522 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 50266 0 0 0 6222 124 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604470428761568 0 0 -1 6 0 0 0
[pid=18498/tid=18523] ppid=18496 vsize=4969340 CPUtime=63.85 cores=0-31
/proc/18498/task/18523/stat : 18523 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 96966 0 0 0 6265 120 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604499699703264 0 0 -1 13 0 0 0
[pid=18498/tid=18524] ppid=18496 vsize=4969340 CPUtime=63.55 cores=0-31
/proc/18498/task/18524/stat : 18524 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 87073 0 0 0 6221 134 0 0 24 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604461043932640 0 0 -1 27 0 0 0
[pid=18498/tid=18525] ppid=18496 vsize=4969340 CPUtime=63.86 cores=0-31
/proc/18498/task/18525/stat : 18525 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 76539 0 0 0 6259 127 0 0 18 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604553369918944 0 0 -1 24 0 0 0
[pid=18498/tid=18526] ppid=18496 vsize=4969340 CPUtime=63.77 cores=0-31
/proc/18498/task/18526/stat : 18526 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 63379 0 0 0 6252 125 0 0 18 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604496459374048 0 0 -1 2 0 0 0
[pid=18498/tid=18527] ppid=18496 vsize=4969340 CPUtime=62.27 cores=0-31
/proc/18498/task/18527/stat : 18527 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 57071 0 0 0 6095 132 0 0 25 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604457888759264 0 0 -1 31 0 0 0
[pid=18498/tid=18528] ppid=18496 vsize=4969340 CPUtime=63.85 cores=0-31
/proc/18498/task/18528/stat : 18528 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 74254 0 0 0 6265 120 0 0 18 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604506241605088 0 0 -1 5 0 0 0
[pid=18498/tid=18529] ppid=18496 vsize=4969340 CPUtime=63.43 cores=0-31
/proc/18498/task/18529/stat : 18529 (strangenight2-m) S 18496 18498 18232 0 -1 4202560 22436 0 0 0 6257 86 0 0 22 0 32 0 3789455 5088604160 929232 268435456000 4194304 4580107 140735266677792 18446744073709551615 47535640606260 0 0 4096 2 18446604461878607328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2039.99
Current children cumulated vsize (KiB) 4969340
[startup+71.5345 s]
/proc/loadavg: 27.91 29.83 31.10 3/445 18532
/proc/meminfo: memFree=259998544/264257624 swapFree=67044744/67111528
[pid=18498] ppid=18496 vsize=0 CPUtime=2040.74 cores=0-31
/proc/18498/stat : 18498 (strangenight2-m) Z 18496 18498 18232 0 -1 4203548 2322756 0 0 0 199373 4701 0 0 18 0 2 0 3789454 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18498/statm: 0 0 0 0 0 0 0
[pid=18498/tid=18527] ppid=18496 vsize=0 CPUtime=62.39 cores=0-31
/proc/18498/task/18527/stat : 18527 (strangenight2-m) R 18496 18498 18232 0 -1 4203588 57071 0 0 0 6095 144 0 0 18 0 2 0 3789455 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 2040.74
Current children cumulated vsize (KiB) 0
[startup+71.6005 s]
/proc/loadavg: 27.91 29.83 31.10 3/445 18532
/proc/meminfo: memFree=259998544/264257624 swapFree=67044744/67111528
[pid=18498] ppid=18496 vsize=0 CPUtime=2040.8 cores=0-31
/proc/18498/stat : 18498 (strangenight2-m) Z 18496 18498 18232 0 -1 4203548 2322756 0 0 0 199373 4707 0 0 18 0 2 0 3789454 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18498/statm: 0 0 0 0 0 0 0
[pid=18498/tid=18527] ppid=18496 vsize=0 CPUtime=62.45 cores=0-31
/proc/18498/task/18527/stat : 18527 (strangenight2-m) R 18496 18498 18232 0 -1 4203588 57071 0 0 0 6095 150 0 0 18 0 2 0 3789455 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 2040.8
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 71.693
CPU time (s): 2040.9
CPU user time (s): 1993.73
CPU system time (s): 47.1718
CPU usage (%): 2846.72
Max. virtual memory (cumulated for all children) (KiB): 4975712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1993.73
system time used= 47.1718
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2322756
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= 1360697
involuntary context switches= 9845
runsolver used 0.506922 second user time and 1.74673 second system time
The end
Begin job on node200 at 2011-05-30 19:57:15
IDJOB=3400777
IDBENCH=82473
IDSOLVER=1886
FILE ID=node200/3400777-1306778234
RUNJOBID= node200-1306777938-18246
PBS_JOBID= 13471832
Free space on /tmp= 61576 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400777-1306778234/watcher-3400777-1306778234 -o /tmp/evaluation-result-3400777-1306778234/solver-3400777-1306778234 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400777-1306778234.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ab962ce6f14e7741edd1ff987decb0b7
RANDOM SEED=217501926
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: 263735060 kB
Buffers: 47028 kB
Cached: 289300 kB
SwapCached: 29732 kB
Active: 120328 kB
Inactive: 248332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263735060 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 10804 kB
Writeback: 0 kB
AnonPages: 29420 kB
Mapped: 8464 kB
Slab: 59308 kB
PageTables: 4792 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 172840 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 19:58:27