0.00/0.00 c Outputting solution to console
1.36/0.05 c Using 32 threads
1.36/0.07 c This is CryptoMiniSat 3.0.0
1.36/0.07 c WARNING: for repeatability, setting FPU to use double precision
1.36/0.07 c Reading file 'HOME/instance-3400674-1306327672.cnf'
2.65/0.11 c -- header says num vars: 135543
2.65/0.11 c -- header says num clauses: 404326
104.64/4.93 c -- clauses added: 0 learnts, 404326 normals, 0 xors
104.64/4.93 c -- vars added 135543
104.64/4.93 c Parsing time: 0.54 s
104.64/4.93 c N st 0 0 135543 134725 269475 0 943125 0 no data no data
111.03/5.13 c asymm cl-useful: 0/12383/134595 lits-rem:0 time: 1.79
484.56/16.85 c Flit: 839 Blit: 23912 bXBeca: 0 bXProp: 38638 Bins: 0 BRemL: 0 BRemN: 0 P: 189.3M T: 11.69
487.71/16.91 c Cleaning up after failed var search: 0.06 s
493.47/17.10 c Replacing 38638 vars Replaced 662546 lits Time: 0.12 s
498.57/17.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
498.57/17.36 c bin-w-bin subsume rem 8270 bins time: 0.03 s
501.11/17.45 c subs with bin: 11 lits-rem: 11 v-fix: 0 time: 0.08 s
508.96/17.78 c Subs w/ non-existent bins: 4 l-rem: 2 v-fix: 2 done: 67032 time: 0.30 s
515.23/17.99 c Removed useless bin: 5894 fixed: 0 props: 20.00M time: 0.20 s
530.29/18.49 c lits-rem: 340 cl-subs: 2893 v-elim: 22344 v-fix: 0 time: 0.37 s
533.33/18.53 c Finding binary XORs T: 0.03 s found: 335
533.33/18.56 c Replacing 335 vars Replaced 2921 lits Time: 0.04 s
536.95/18.63 c Finding non-binary XORs: 0.03 s (found: 1669, avg size: 3.0)
536.95/18.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 826 locsubst: 0 time: 0.03
536.95/18.64 c calculated reachability. Time: 0.00
536.95/18.66 c Calc default polars - time: 0.01 s pos: 617 undec: 92263 neg: 42663
536.95/18.66 c =========================================================================================
536.95/18.66 c types(t): F = full restart, N = normal restart
536.95/18.66 c types(t): S = simplification begin/end, E = solution found
536.95/18.66 c restart types(rt): st = static, dy = dynamic
536.95/18.66 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
536.95/18.66 c B st 0 0 43525 55144 90795 0 353144 0 no data no data
616.16/21.18 c N dy 16 4072 43525 55144 90826 3997 353144 148734 8.69 9.37
677.54/23.02 c N dy 33 8345 42890 53038 91086 7328 344137 223789 8.54 9.01
731.22/24.75 c N dy 44 12444 42266 51272 90808 10335 336690 284781 7.97 10.66
782.97/26.40 c Finding binary XORs T: 0.04 s found: 1077
786.19/26.46 c Replacing 1089 vars Replaced 50187 lits Time: 0.06 s
788.72/26.54 c N dy 65 16777 41109 50862 88266 14366 330624 391045 8.15 8.73
836.65/28.01 c N dy 80 20978 41084 50862 89524 9723 330624 140160 8.04 8.54
888.41/29.70 c F st 105 25003 40485 49344 90362 12890 323698 235009 8.22 8.78
891.61/29.75 c Replacing 28 vars Replaced 396 lits Time: 0.03 s
894.17/29.89 c N st 105 25003 39818 47839 88693 11552 316474 210258 8.22 8.78
964.48/32.05 c N dy 111 30000 39818 47839 88728 16474 316474 358724 8.22 no data
964.48/32.05 c S st 111 30000 39818 47839 88728 16474 316474 358724 8.22 no data
980.47/32.56 c S st 111 30500 39814 47839 90701 16865 316474 367022 8.22 no data
980.47/32.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
1271.25/41.70 c Flit: 68 Blit: 1716 bXBeca: 0 bXProp: 3834 Bins: 309367 BRemL: 121118 BRemN: 1316 P: 55.3M T: 8.89
1275.07/41.73 c Cleaning up after failed var search: 0.03 s
1278.27/41.82 c Replacing 3867 vars Replaced 252115 lits Time: 0.08 s
1278.27/41.86 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1280.83/41.90 c bin-w-bin subsume rem 25124 bins time: 0.04 s
1280.83/41.96 c subs with bin: 750 lits-rem: 423 v-fix: 0 time: 0.06 s
1287.23/42.18 c Subs w/ non-existent bins: 560 l-rem: 12 v-fix: 0 done: 33706 time: 0.21 s
1290.42/42.25 c Removed useless bin: 1777 fixed: 0 props: 2.06M time: 0.07 s
1300.01/42.59 c lits-rem: 879 cl-subs: 7186 v-elim: 22470 v-fix: 0 time: 0.33 s
1303.21/42.63 c subs with bin: 460 lits-rem: 2634 v-fix: 0 time: 0.02 s
1303.21/42.68 c lits-rem: 350 cl-subs: 203 v-elim: 0 v-fix: 0 time: 0.03 s
1315.98/43.07 c asymm cl-useful: 1/31115/43498 lits-rem:3 time: 0.40
1319.17/43.10 c calculated reachability. Time: 0.02
1319.17/43.10 c N dy 111 30500 11236 43497 43507 3587 170116 99039 8.22 no data
1319.17/43.19 c Finding binary XORs T: 0.08 s found: 31
1338.30/43.79 c N dy 121 34617 11234 43497 43578 7543 170116 160695 7.93 8.36
1357.46/44.31 c Replacing 163 vars Replaced 2919 lits Time: 0.02 s
1370.27/44.80 c N dy 133 39576 10577 40560 40903 9278 159493 192135 7.75 8.26
1400.88/45.80 c Finding binary XORs T: 0.05 s found: 270
1403.83/45.82 c Replacing 270 vars Replaced 24024 lits Time: 0.03 s
1409.82/46.02 c N dy 150 43730 10299 40348 70617 7621 157545 194977 7.71 8.16
1421.50/46.42 c S st 154 45752 10299 40348 70633 9606 157545 234150 7.64 no data
1424.21/46.58 c S st 154 46253 10299 40348 70673 10051 157545 238900 7.64 no data
1424.21/46.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 22 locsubst: 0 time: 0.02
1447.07/47.52 c Flit: 38 Blit: 317 bXBeca: 0 bXProp: 412 Bins: 37200 BRemL: 56241 BRemN: 418 P: 9.9M T: 0.92
1447.07/47.54 c Cleaning up after failed var search: 0.01 s
1447.07/47.57 c Replacing 420 vars Replaced 23617 lits Time: 0.03 s
1447.07/47.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1449.12/47.60 c bin-w-bin subsume rem 10848 bins time: 0.01 s
1449.12/47.62 c subs with bin: 1299 lits-rem: 1006 v-fix: 0 time: 0.02 s
1449.12/47.66 c Subs w/ non-existent bins: 1942 l-rem: 21 v-fix: 0 done: 9454 time: 0.04 s
1449.12/47.68 c Removed useless bin: 79 fixed: 0 props: 0.26M time: 0.02 s
1453.15/47.87 c lits-rem: 1678 cl-subs: 3827 v-elim: 4558 v-fix: 0 time: 0.16 s
1455.20/47.90 c subs with bin: 295 lits-rem: 1536 v-fix: 0 time: 0.01 s
1455.20/47.94 c lits-rem: 746 cl-subs: 278 v-elim: 0 v-fix: 0 time: 0.02 s
1455.20/47.95 c vivif2 -- cl tried 26765 cl shrink 236 lits rem 267 time: 0.01
1455.20/47.95 c vivif2 -- cl tried 5809 cl shrink 732 lits rem 1371 time: 0.01
1459.04/48.16 c asymm cl-useful: 933/26664/26664 lits-rem:991 time: 0.20
1459.04/48.17 c calculated reachability. Time: 0.00
1459.04/48.17 c N dy 154 46253 4896 26657 9325 5799 106601 72458 7.64 no data
1461.00/48.20 c Finding binary XORs T: 0.03 s found: 0
1469.76/48.70 c N dy 166 50607 4890 26657 13181 10019 106601 155177 7.52 7.95
1474.55/49.04 c Finding binary XORs T: 0.03 s found: 34
1477.85/49.23 c N dy 176 54615 4854 26254 12326 13422 104975 211486 7.42 7.92
1543.37/54.90 c Finding binary XORs T: 0.03 s found: 17
1544.31/54.92 c Replacing 51 vars Replaced 6754 lits Time: 0.02 s
1544.31/54.96 c N dy 192 58717 4793 26083 47421 17237 104123 349815 7.38 7.91
1549.44/55.54 c N dy 217 62755 4791 26083 47827 21186 104123 424537 7.41 11.60
1552.70/56.00 c N dy 242 66775 4767 26083 47842 13790 104123 227002 7.46 13.21
1610.18/60.62 c S st 255 69379 4762 26083 50541 16347 104123 280778 7.46 7.02
1610.18/60.70 c S st 255 69879 4762 26083 50554 16816 104123 286793 7.46 no data
1612.20/60.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 39 locsubst: 0 time: 0.02
1616.48/60.92 c Flit: 5 Blit: 15 bXBeca: 0 bXProp: 54 Bins: 4991 BRemL: 11222 BRemN: 13 P: 2.6M T: 0.20
1616.48/60.95 c Replacing 68 vars Replaced 6091 lits Time: 0.02 s
1616.48/60.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1616.48/60.98 c bin-w-bin subsume rem 19438 bins time: 0.01 s
1616.48/61.00 c subs with bin: 536 lits-rem: 234 v-fix: 0 time: 0.01 s
1618.47/61.01 c Subs w/ non-existent bins: 42 l-rem: 13 v-fix: 0 done: 4598 time: 0.01 s
1618.47/61.02 c Removed useless bin: 23 fixed: 0 props: 0.09M time: 0.01 s
1618.47/61.06 c lits-rem: 485 cl-subs: 215 v-elim: 182 v-fix: 0 time: 0.04 s
1620.48/61.12 c subs with bin: 520 lits-rem: 5933 v-fix: 0 time: 0.03 s
1620.48/61.19 c lits-rem: 1758 cl-subs: 719 v-elim: 0 v-fix: 0 time: 0.06 s
1622.58/61.20 c vivif2 -- cl tried 24392 cl shrink 98 lits rem 138 time: 0.01
1622.58/61.22 c vivif2 -- cl tried 13460 cl shrink 1832 lits rem 2995 time: 0.01
1626.96/61.51 c asymm cl-useful: 812/24384/24384 lits-rem:1120 time: 0.30
1629.48/61.52 c calculated reachability. Time: 0.00
1629.48/61.52 c N dy 255 69879 4416 24249 14971 13447 96591 170116 7.46 no data
1631.51/61.63 c Finding binary XORs T: 0.03 s found: 9
1643.20/62.22 c N dy 274 74395 4412 24241 16705 17871 96512 254185 7.43 7.83
1704.50/65.04 c Finding binary XORs T: 0.03 s found: 28
1704.50/65.05 c N dy 292 79941 4392 24062 21698 21828 95831 330510 7.38 7.81
1739.66/66.17 c N dy 310 85997 4384 24062 21719 27767 95831 426703 7.31 7.81
1749.26/66.40 c F st 317 87500 4382 24062 21906 29226 95831 449981 7.30 5.79
1749.26/66.44 c Replacing 39 vars Replaced 7412 lits Time: 0.03 s
1772.26/67.17 c N dy 323 92691 4322 23721 20188 18879 94373 231435 7.30 no data
1778.02/67.37 c Finding binary XORs T: 0.03 s found: 26
1807.42/68.26 c N dy 346 98799 4318 23689 23684 24775 94255 338076 7.29 7.77
1842.52/69.39 c S st 376 104820 4312 23689 24303 30668 94255 434153 7.28 no data
1848.26/69.59 c S st 376 105324 4312 23689 26428 31157 94255 443190 7.28 no data
1851.46/69.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 51 locsubst: 0 time: 0.02
1857.85/69.83 c Flit: 13 Blit: 3 bXBeca: 0 bXProp: 68 Bins: 3178 BRemL: 6663 BRemN: 10 P: 3.0M T: 0.22
1857.85/69.88 c Replacing 95 vars Replaced 38238 lits Time: 0.05 s
1861.05/69.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1861.05/69.91 c bin-w-bin subsume rem 4009 bins time: 0.01 s
1861.05/69.92 c subs with bin: 337 lits-rem: 157 v-fix: 0 time: 0.01 s
1861.05/69.94 c Subs w/ non-existent bins: 4 l-rem: 1 v-fix: 0 done: 4133 time: 0.02 s
1861.05/69.94 c Removed useless bin: 2 fixed: 0 props: 0.08M time: 0.01 s
1861.05/69.98 c lits-rem: 106 cl-subs: 120 v-elim: 115 v-fix: 0 time: 0.04 s
1867.45/70.10 c subs with bin: 968 lits-rem: 12754 v-fix: 0 time: 0.08 s
1870.64/70.30 c lits-rem: 6876 cl-subs: 2373 v-elim: 0 v-fix: 0 time: 0.19 s
1870.64/70.31 c vivif2 -- cl tried 22487 cl shrink 23 lits rem 52 time: 0.01
1874.45/70.34 c vivif2 -- cl tried 22826 cl shrink 2331 lits rem 3297 time: 0.02
1886.20/70.71 c asymm cl-useful: 348/22486/22486 lits-rem:546 time: 0.37
1886.20/70.72 c calculated reachability. Time: 0.00
1886.20/70.72 c N dy 376 105324 4018 22404 12663 22812 88778 277156 7.28 no data
1886.20/70.76 c Finding binary XORs T: 0.03 s found: 1
1930.88/72.12 c N dy 393 112289 4009 22404 13708 29607 88777 384937 7.21 7.73
1953.25/72.89 c Finding binary XORs T: 0.03 s found: 26
1972.44/73.46 c N dy 405 119632 3986 22069 15768 19244 87420 183822 7.14 7.57
1979.46/73.71 c Finding binary XORs T: 0.03 s found: 21
1982.69/73.73 c Replacing 51 vars Replaced 3608 lits Time: 0.02 s
1991.61/74.06 c E dy 409 122841 3914 21780 15163 21045 86128 215308 7.10 4.13
2015.13/80.14 c Following stats are for *FIRST FINISHED THREAD ONLY*
2015.13/80.14 c num threads : 32
2015.13/80.14 c restarts : 409
2015.13/80.14 c dynamic restarts : 391
2015.13/80.14 c static restarts : 18
2015.13/80.14 c full restarts : 2
2015.13/80.14 c total simplify time : 0.80
2015.13/80.14 c learnts DL2 : 0
2015.13/80.14 c learnts size 2 : 785888
2015.13/80.14 c learnts size 1 : 38101 (28.11 % of vars)
2015.13/80.14 c filedLit time : 22.04 (33.52 % time)
2015.13/80.14 c v-elim SatELite : 49669 (36.64 % vars)
2015.13/80.14 c SatELite time : 1.35 (2.05 % time)
2015.13/80.14 c v-elim xor : 938 (0.69 % vars)
2015.13/80.14 c xor elim time : 0.12 (0.18 % time)
2015.13/80.14 c num binary xor trees : 7843
2015.13/80.14 c binxor trees' crown : 45114 (5.75 leafs/tree)
2015.13/80.14 c bin xor find time : 0.50
2015.13/80.14 c OTF clause improved : 2185 (0.02 clauses/conflict)
2015.13/80.14 c OTF impr. size diff : 2450 (1.12 lits/clause)
2015.13/80.14 c OTF cl watch-shrink : 53823 (0.44 clauses/conflict)
2015.13/80.14 c OTF cl watch-sh-lit : 144199 (2.68 lits/clause)
2015.13/80.14 c tried to recurMin cls : 36310 (29.56 % of conflicts)
2015.13/80.14 c updated cache : 0 (0.00 lits/tried recurMin)
2015.13/80.14 c unit cls recevied : 546 (1.43 % of units)
2015.13/80.14 c unit cls sent : 4498 (11.81 % of units)
2015.13/80.14 c bin cls recevied : 209793
2015.13/80.14 c bin cls sent : 378429
2015.13/80.14 c clauses over max glue : 0 (0.00 % of all clauses)
2015.13/80.14 c conflicts : 122841 (1868.62 / sec)
2015.13/80.14 c decisions : 224454 (8.03 % random)
2015.13/80.14 c bogo-props : 903449906 (13742980.93 / sec)
2015.13/80.14 c conflict literals : 2363084 (34.38 % deleted)
2015.13/80.14 c Memory used : 5311.71 MB
2015.13/80.14 c single-thread CPU time : 65.74 s
2015.13/80.14 c all-threads sum CPU time : 1972.81 s
2015.13/80.14 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-3400674-1306327672/watcher-3400674-1306327672 -o /tmp/evaluation-result-3400674-1306327672/solver-3400674-1306327672 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400674-1306327672.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.80 31.34 31.65 1/413 15287
/proc/meminfo: memFree=255153740/264257624 swapFree=67111528/67111528
[pid=15287] ppid=15285 vsize=338000 CPUtime=0.87 cores=0-31
/proc/15287/stat : 15287 (strangenight2-m) R 15285 15287 15261 0 -1 4202496 436 0 0 0 87 0 0 0 25 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15287/statm: 84500 376 297 95 0 79482 0
[pid=15287/tid=15288] ppid=15285 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15287/task/15288/stat : 15288 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15287/tid=15289] ppid=15285 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15287/task/15289/stat : 15289 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15287/tid=15290] ppid=15285 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15287/task/15290/stat : 15290 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288048 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15287/tid=15291] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15291/stat : 15291 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15287/tid=15292] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15292/stat : 15292 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15287/tid=15293] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15293/stat : 15293 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15287/tid=15294] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15294/stat : 15294 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15287/tid=15295] ppid=15285 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15287/task/15295/stat : 15295 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15287/tid=15296] ppid=15285 vsize=338000 CPUtime=0 cores=0-31
/proc/15287/task/15296/stat : 15296 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15287/tid=15297] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15297/stat : 15297 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15287/tid=15298] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15298/stat : 15298 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15287/tid=15299] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15299/stat : 15299 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288040 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15287/tid=15300] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15300/stat : 15300 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15287/tid=15301] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15301/stat : 15301 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15287/tid=15302] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15302/stat : 15302 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15287/tid=15303] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15303/stat : 15303 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15287/tid=15304] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15304/stat : 15304 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15287/tid=15305] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15305/stat : 15305 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15287/tid=15306] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15306/stat : 15306 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288048 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15287/tid=15307] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15307/stat : 15307 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15287/tid=15308] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15308/stat : 15308 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15287/tid=15309] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15309/stat : 15309 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15287/tid=15310] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15310/stat : 15310 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15287/tid=15311] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15311/stat : 15311 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288054 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15287/tid=15312] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15312/stat : 15312 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15287/tid=15313] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15313/stat : 15313 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15287/tid=15314] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15314/stat : 15314 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288040 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15287/tid=15315] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15315/stat : 15315 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15287/tid=15316] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15316/stat : 15316 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288040 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15287/tid=15317] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15317/stat : 15317 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15287/tid=15318] ppid=15285 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15287/task/15318/stat : 15318 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.0508389 s]
/proc/loadavg: 29.80 31.34 31.65 1/413 15287
/proc/meminfo: memFree=255153740/264257624 swapFree=67111528/67111528
[pid=15287] ppid=15285 vsize=338000 CPUtime=1.36 cores=0-31
/proc/15287/stat : 15287 (strangenight2-m) R 15285 15287 15261 0 -1 4202496 436 0 0 0 136 0 0 0 25 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15287/statm: 84500 376 297 95 0 79482 0
[pid=15287/tid=15288] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15288/stat : 15288 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15287/tid=15289] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15289/stat : 15289 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15287/tid=15290] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15290/stat : 15290 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15287/tid=15291] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15291/stat : 15291 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15287/tid=15292] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15292/stat : 15292 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15287/tid=15293] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15293/stat : 15293 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15287/tid=15294] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15294/stat : 15294 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15287/tid=15295] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15295/stat : 15295 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15287/tid=15296] ppid=15285 vsize=338000 CPUtime=0 cores=0-31
/proc/15287/task/15296/stat : 15296 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15287/tid=15297] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15297/stat : 15297 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288040 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15287/tid=15298] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15298/stat : 15298 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15287/tid=15299] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15299/stat : 15299 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15287/tid=15300] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15300/stat : 15300 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288054 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15287/tid=15301] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15301/stat : 15301 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 744253730 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15287/tid=15302] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15302/stat : 15302 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15287/tid=15303] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15303/stat : 15303 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15287/tid=15304] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15304/stat : 15304 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15287/tid=15305] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15305/stat : 15305 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15287/tid=15306] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15306/stat : 15306 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15287/tid=15307] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15307/stat : 15307 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15287/tid=15308] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15308/stat : 15308 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288040 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15287/tid=15309] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15309/stat : 15309 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288040 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15287/tid=15310] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15310/stat : 15310 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288044 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15287/tid=15311] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15311/stat : 15311 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15287/tid=15312] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15312/stat : 15312 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15287/tid=15313] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15313/stat : 15313 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15287/tid=15314] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15314/stat : 15314 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15287/tid=15315] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15315/stat : 15315 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288040 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15287/tid=15316] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15316/stat : 15316 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15287/tid=15317] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15317/stat : 15317 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15287/tid=15318] ppid=15285 vsize=338000 CPUtime=0.04 cores=0-31
/proc/15287/task/15318/stat : 15318 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 744253731 346112000 376 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922288050 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 338000
[startup+0.102854 s]
/proc/loadavg: 29.80 31.34 31.65 1/413 15287
/proc/meminfo: memFree=255153740/264257624 swapFree=67111528/67111528
[pid=15287] ppid=15285 vsize=798104 CPUtime=2.65 cores=0-31
/proc/15287/stat : 15287 (strangenight2-m) R 15285 15287 15261 0 -1 4202496 6923 0 0 0 208 57 0 0 18 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15287/statm: 199526 6804 330 95 0 194508 0
[pid=15287/tid=15288] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
/proc/15287/task/15288/stat : 15288 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 176 0 0 0 6 1 0 0 23 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15287/tid=15289] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
/proc/15287/task/15289/stat : 15289 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 197 0 0 0 6 1 0 0 18 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15287/tid=15290] ppid=15285 vsize=798104 CPUtime=0.08 cores=0-31
/proc/15287/task/15290/stat : 15290 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 299 0 0 0 6 2 0 0 18 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15287/tid=15291] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
/proc/15287/task/15291/stat : 15291 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 177 0 0 0 6 1 0 0 23 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15287/tid=15292] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
/proc/15287/task/15292/stat : 15292 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 159 0 0 0 6 1 0 0 18 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15287/tid=15293] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
/proc/15287/task/15293/stat : 15293 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 289 0 0 0 6 1 0 0 18 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15287/tid=15294] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
/proc/15287/task/15294/stat : 15294 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 180 0 0 0 6 1 0 0 23 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15287/tid=15295] ppid=15285 vsize=798104 CPUtime=0.05 cores=0-31
/proc/15287/task/15295/stat : 15295 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 193 0 0 0 4 1 0 0 24 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15287/tid=15296] ppid=15285 vsize=798104 CPUtime=0.02 cores=0-31
/proc/15287/task/15296/stat : 15296 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 208 0 0 0 1 1 0 0 24 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15287/tid=15297] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
/proc/15287/task/15297/stat : 15297 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 209 0 0 0 6 1 0 0 24 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15287/tid=15298] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
/proc/15287/task/15298/stat : 15298 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 193 0 0 0 6 1 0 0 18 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15287/tid=15299] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
/proc/15287/task/15299/stat : 15299 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 278 0 0 0 6 1 0 0 18 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15287/tid=15300] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
/proc/15287/task/15300/stat : 15300 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 208 0 0 0 6 1 0 0 24 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15287/tid=15301] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
/proc/15287/task/15301/stat : 15301 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 187 0 0 0 6 1 0 0 24 0 32 0 744253730 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15287/tid=15302] ppid=15285 vsize=798104 CPUtime=0.08 cores=0-31
/proc/15287/task/15302/stat : 15302 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 203 0 0 0 6 2 0 0 25 0 32 0 744253731 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15287/tid=15303] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
/proc/15287/task/15303/stat : 15303 (strangenight2-m) D 15285 15287 15261 0 -1 4202560 226 0 0 0 6 1 0 0 18 0 32 0 744253731 817258496 6804 268435456000 4194304 4580107 140736303160464 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15287/tid=15304] ppid=15285 vsize=798104 CPUtime=0.07 cores=0-31
################
# More data... #
################
[pid=15287/tid=15315] ppid=15285 vsize=5436412 CPUtime=62.63 cores=0-31
/proc/15287/task/15315/stat : 15315 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 44271 0 0 0 6131 132 0 0 25 0 32 0 744253731 5566885888 965310 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604643399400928 0 0 -1 30 0 0 0
[pid=15287/tid=15316] ppid=15285 vsize=5436412 CPUtime=59.32 cores=0-31
/proc/15287/task/15316/stat : 15316 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 37054 0 0 0 5793 139 0 0 21 0 32 0 744253731 5566885888 965310 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604636573851104 0 0 -1 31 0 0 0
[pid=15287/tid=15317] ppid=15285 vsize=5436412 CPUtime=61.9 cores=0-31
/proc/15287/task/15317/stat : 15317 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 43839 0 0 0 6069 121 0 0 25 0 32 0 744253731 5566885888 965310 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604632269880800 0 0 -1 7 0 0 0
[pid=15287/tid=15318] ppid=15285 vsize=5436412 CPUtime=61.55 cores=0-31
/proc/15287/task/15318/stat : 15318 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 69923 0 0 0 6034 121 0 0 25 0 32 0 744253731 5566885888 965310 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604642192547296 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2007.98
Current children cumulated vsize (KiB) 5436412
[startup+78.3017 s]
/proc/loadavg: 24.99 29.69 31.05 3/445 15321
/proc/meminfo: memFree=251296844/264257624 swapFree=67111528/67111528
[pid=15287] ppid=15285 vsize=5436544 CPUtime=2011.52 cores=0-31
/proc/15287/stat : 15287 (strangenight2-m) R 15285 15287 15261 0 -1 4202496 1416772 0 0 0 196912 4240 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922263083 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/15287/statm: 1359136 965391 379 95 0 1354118 0
[pid=15287/tid=15288] ppid=15285 vsize=5436544 CPUtime=59.35 cores=0-31
/proc/15287/task/15288/stat : 15288 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 52496 0 0 0 5800 135 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604633324551648 0 0 -1 5 0 0 0
[pid=15287/tid=15289] ppid=15285 vsize=5436544 CPUtime=62.06 cores=0-31
/proc/15287/task/15289/stat : 15289 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 47554 0 0 0 6080 126 0 0 18 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604627923975648 0 0 -1 2 0 0 0
[pid=15287/tid=15290] ppid=15285 vsize=5436544 CPUtime=63.27 cores=0-31
/proc/15287/task/15290/stat : 15290 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 48202 0 0 0 6178 149 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604631531544032 0 0 -1 20 0 0 0
[pid=15287/tid=15291] ppid=15285 vsize=5436544 CPUtime=65.37 cores=0-31
/proc/15287/task/15291/stat : 15291 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 49949 0 0 0 6393 144 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604502951730656 0 0 -1 24 0 0 0
[pid=15287/tid=15292] ppid=15285 vsize=5436544 CPUtime=64.09 cores=0-31
/proc/15287/task/15292/stat : 15292 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 54704 0 0 0 6259 150 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604643857366496 0 0 -1 10 0 0 0
[pid=15287/tid=15293] ppid=15285 vsize=5436544 CPUtime=67.06 cores=0-31
/proc/15287/task/15293/stat : 15293 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 49323 0 0 0 6567 139 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604630511828448 0 0 -1 1 0 0 0
[pid=15287/tid=15294] ppid=15285 vsize=5436544 CPUtime=62.07 cores=0-31
/proc/15287/task/15294/stat : 15294 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 43400 0 0 0 6090 117 0 0 20 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604478401871328 0 0 -1 2 0 0 0
[pid=15287/tid=15295] ppid=15285 vsize=5436544 CPUtime=64.29 cores=0-31
/proc/15287/task/15295/stat : 15295 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 45780 0 0 0 6287 142 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604498831654368 0 0 -1 4 0 0 0
[pid=15287/tid=15296] ppid=15285 vsize=5436544 CPUtime=66.06 cores=0-31
/proc/15287/task/15296/stat : 15296 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 41111 0 0 0 6482 124 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 4234187 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15287/tid=15297] ppid=15285 vsize=5436544 CPUtime=63.47 cores=0-31
/proc/15287/task/15297/stat : 15297 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 44389 0 0 0 6228 119 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604490319453664 0 0 -1 22 0 0 0
[pid=15287/tid=15298] ppid=15285 vsize=5436544 CPUtime=64.16 cores=0-31
/proc/15287/task/15298/stat : 15298 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 40074 0 0 0 6290 126 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604643984039392 0 0 -1 21 0 0 0
[pid=15287/tid=15299] ppid=15285 vsize=5436544 CPUtime=59.86 cores=0-31
/proc/15287/task/15299/stat : 15299 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 38747 0 0 0 5848 138 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604479354060256 0 0 -1 26 0 0 0
[pid=15287/tid=15300] ppid=15285 vsize=5436544 CPUtime=63.4 cores=0-31
/proc/15287/task/15300/stat : 15300 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 41168 0 0 0 6212 128 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604631725792736 0 0 -1 6 0 0 0
[pid=15287/tid=15301] ppid=15285 vsize=5436544 CPUtime=63.99 cores=0-31
/proc/15287/task/15301/stat : 15301 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 37742 0 0 0 6267 132 0 0 25 0 32 0 744253730 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604636718915040 0 0 -1 28 0 0 0
[pid=15287/tid=15302] ppid=15285 vsize=5436544 CPUtime=66.21 cores=0-31
/proc/15287/task/15302/stat : 15302 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 45134 0 0 0 6481 140 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604642732228064 0 0 -1 13 0 0 0
[pid=15287/tid=15303] ppid=15285 vsize=5436544 CPUtime=57.65 cores=0-31
/proc/15287/task/15303/stat : 15303 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 36038 0 0 0 5631 134 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446744071566931264 0 0 -1 16 0 0 0
[pid=15287/tid=15304] ppid=15285 vsize=5436544 CPUtime=64.42 cores=0-31
/proc/15287/task/15304/stat : 15304 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 44580 0 0 0 6307 135 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604633875144160 0 0 -1 17 0 0 0
[pid=15287/tid=15305] ppid=15285 vsize=5436544 CPUtime=61.53 cores=0-31
/proc/15287/task/15305/stat : 15305 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 40685 0 0 0 6034 119 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604504211045856 0 0 -1 25 0 0 0
[pid=15287/tid=15306] ppid=15285 vsize=5436544 CPUtime=63.06 cores=0-31
/proc/15287/task/15306/stat : 15306 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 38381 0 0 0 6183 123 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604643759103456 0 0 -1 19 0 0 0
[pid=15287/tid=15307] ppid=15285 vsize=5436544 CPUtime=60.06 cores=0-31
/proc/15287/task/15307/stat : 15307 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 36189 0 0 0 5875 131 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604631293877728 0 0 -1 8 0 0 0
[pid=15287/tid=15308] ppid=15285 vsize=5436544 CPUtime=62.23 cores=0-31
/proc/15287/task/15308/stat : 15308 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 44678 0 0 0 6097 126 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604638762819040 0 0 -1 14 0 0 0
[pid=15287/tid=15309] ppid=15285 vsize=5436544 CPUtime=63.16 cores=0-31
/proc/15287/task/15309/stat : 15309 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 43599 0 0 0 6182 134 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604636716269024 0 0 -1 29 0 0 0
[pid=15287/tid=15310] ppid=15285 vsize=5436544 CPUtime=63.31 cores=0-31
/proc/15287/task/15310/stat : 15310 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 43959 0 0 0 6193 138 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604643105226208 0 0 -1 18 0 0 0
[pid=15287/tid=15311] ppid=15285 vsize=5436544 CPUtime=60.25 cores=0-31
/proc/15287/task/15311/stat : 15311 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 46451 0 0 0 5888 137 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604482411732448 0 0 -1 23 0 0 0
[pid=15287/tid=15312] ppid=15285 vsize=5436544 CPUtime=64.36 cores=0-31
/proc/15287/task/15312/stat : 15312 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 37798 0 0 0 6302 134 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604628094197216 0 0 -1 27 0 0 0
[pid=15287/tid=15313] ppid=15285 vsize=5436544 CPUtime=63.98 cores=0-31
/proc/15287/task/15313/stat : 15313 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 38481 0 0 0 6285 113 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604627877977568 0 0 -1 12 0 0 0
[pid=15287/tid=15314] ppid=15285 vsize=5436544 CPUtime=61.6 cores=0-31
/proc/15287/task/15314/stat : 15314 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 35414 0 0 0 6039 121 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604628591508960 0 0 -1 9 0 0 0
[pid=15287/tid=15315] ppid=15285 vsize=5436544 CPUtime=62.63 cores=0-31
/proc/15287/task/15315/stat : 15315 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 44271 0 0 0 6131 132 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604643399400928 0 0 -1 30 0 0 0
[pid=15287/tid=15316] ppid=15285 vsize=5436544 CPUtime=59.32 cores=0-31
/proc/15287/task/15316/stat : 15316 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 37054 0 0 0 5793 139 0 0 21 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604636573851104 0 0 -1 31 0 0 0
[pid=15287/tid=15317] ppid=15285 vsize=5436544 CPUtime=61.9 cores=0-31
/proc/15287/task/15317/stat : 15317 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 43839 0 0 0 6069 121 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604632269880800 0 0 -1 7 0 0 0
[pid=15287/tid=15318] ppid=15285 vsize=5436544 CPUtime=61.55 cores=0-31
/proc/15287/task/15318/stat : 15318 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 69923 0 0 0 6034 121 0 0 25 0 32 0 744253731 5567021056 965391 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604642192547296 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2011.52
Current children cumulated vsize (KiB) 5436544
[startup+79.9017 s]
/proc/loadavg: 24.99 29.69 31.05 3/445 15321
/proc/meminfo: memFree=251296744/264257624 swapFree=67111528/67111528
[pid=15287] ppid=15285 vsize=5439184 CPUtime=2014.73 cores=0-31
/proc/15287/stat : 15287 (strangenight2-m) R 15285 15287 15261 0 -1 4202496 1419944 0 0 0 197232 4241 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922263083 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/15287/statm: 1359796 966506 379 95 0 1354778 0
[pid=15287/tid=15288] ppid=15285 vsize=5439184 CPUtime=59.35 cores=0-31
/proc/15287/task/15288/stat : 15288 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 52496 0 0 0 5800 135 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604633324551648 0 0 -1 5 0 0 0
[pid=15287/tid=15289] ppid=15285 vsize=5439184 CPUtime=62.06 cores=0-31
/proc/15287/task/15289/stat : 15289 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 47554 0 0 0 6080 126 0 0 18 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604627923975648 0 0 -1 2 0 0 0
[pid=15287/tid=15290] ppid=15285 vsize=5439184 CPUtime=63.27 cores=0-31
/proc/15287/task/15290/stat : 15290 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 48202 0 0 0 6178 149 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604631531544032 0 0 -1 20 0 0 0
[pid=15287/tid=15291] ppid=15285 vsize=5439184 CPUtime=65.37 cores=0-31
/proc/15287/task/15291/stat : 15291 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 49949 0 0 0 6393 144 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604502951730656 0 0 -1 24 0 0 0
[pid=15287/tid=15292] ppid=15285 vsize=5439184 CPUtime=64.09 cores=0-31
/proc/15287/task/15292/stat : 15292 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 54704 0 0 0 6259 150 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604643857366496 0 0 -1 10 0 0 0
[pid=15287/tid=15293] ppid=15285 vsize=5439184 CPUtime=67.06 cores=0-31
/proc/15287/task/15293/stat : 15293 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 49323 0 0 0 6567 139 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604630511828448 0 0 -1 1 0 0 0
[pid=15287/tid=15294] ppid=15285 vsize=5439184 CPUtime=62.07 cores=0-31
/proc/15287/task/15294/stat : 15294 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 43400 0 0 0 6090 117 0 0 20 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604478401871328 0 0 -1 2 0 0 0
[pid=15287/tid=15295] ppid=15285 vsize=5439184 CPUtime=64.29 cores=0-31
/proc/15287/task/15295/stat : 15295 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 45780 0 0 0 6287 142 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604498831654368 0 0 -1 4 0 0 0
[pid=15287/tid=15296] ppid=15285 vsize=5439184 CPUtime=67.66 cores=0-31
/proc/15287/task/15296/stat : 15296 (strangenight2-m) R 15285 15287 15261 0 -1 4202560 44283 0 0 0 6642 124 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15287/tid=15297] ppid=15285 vsize=5439184 CPUtime=63.47 cores=0-31
/proc/15287/task/15297/stat : 15297 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 44389 0 0 0 6228 119 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604490319453664 0 0 -1 22 0 0 0
[pid=15287/tid=15298] ppid=15285 vsize=5439184 CPUtime=64.16 cores=0-31
/proc/15287/task/15298/stat : 15298 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 40074 0 0 0 6290 126 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604643984039392 0 0 -1 21 0 0 0
[pid=15287/tid=15299] ppid=15285 vsize=5439184 CPUtime=59.86 cores=0-31
/proc/15287/task/15299/stat : 15299 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 38747 0 0 0 5848 138 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604479354060256 0 0 -1 26 0 0 0
[pid=15287/tid=15300] ppid=15285 vsize=5439184 CPUtime=63.4 cores=0-31
/proc/15287/task/15300/stat : 15300 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 41168 0 0 0 6212 128 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604631725792736 0 0 -1 6 0 0 0
[pid=15287/tid=15301] ppid=15285 vsize=5439184 CPUtime=63.99 cores=0-31
/proc/15287/task/15301/stat : 15301 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 37742 0 0 0 6267 132 0 0 25 0 32 0 744253730 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604636718915040 0 0 -1 28 0 0 0
[pid=15287/tid=15302] ppid=15285 vsize=5439184 CPUtime=66.21 cores=0-31
/proc/15287/task/15302/stat : 15302 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 45134 0 0 0 6481 140 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604642732228064 0 0 -1 13 0 0 0
[pid=15287/tid=15303] ppid=15285 vsize=5439184 CPUtime=57.65 cores=0-31
/proc/15287/task/15303/stat : 15303 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 36038 0 0 0 5631 134 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446744071566931264 0 0 -1 16 0 0 0
[pid=15287/tid=15304] ppid=15285 vsize=5439184 CPUtime=64.42 cores=0-31
/proc/15287/task/15304/stat : 15304 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 44580 0 0 0 6307 135 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604633875144160 0 0 -1 17 0 0 0
[pid=15287/tid=15305] ppid=15285 vsize=5439184 CPUtime=61.53 cores=0-31
/proc/15287/task/15305/stat : 15305 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 40685 0 0 0 6034 119 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604504211045856 0 0 -1 25 0 0 0
[pid=15287/tid=15306] ppid=15285 vsize=5439184 CPUtime=63.06 cores=0-31
/proc/15287/task/15306/stat : 15306 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 38381 0 0 0 6183 123 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604643759103456 0 0 -1 19 0 0 0
[pid=15287/tid=15307] ppid=15285 vsize=5439184 CPUtime=60.06 cores=0-31
/proc/15287/task/15307/stat : 15307 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 36189 0 0 0 5875 131 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604631293877728 0 0 -1 8 0 0 0
[pid=15287/tid=15308] ppid=15285 vsize=5439184 CPUtime=62.23 cores=0-31
/proc/15287/task/15308/stat : 15308 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 44678 0 0 0 6097 126 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604638762819040 0 0 -1 14 0 0 0
[pid=15287/tid=15309] ppid=15285 vsize=5439184 CPUtime=63.16 cores=0-31
/proc/15287/task/15309/stat : 15309 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 43599 0 0 0 6182 134 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604636716269024 0 0 -1 29 0 0 0
[pid=15287/tid=15310] ppid=15285 vsize=5439184 CPUtime=63.31 cores=0-31
/proc/15287/task/15310/stat : 15310 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 43959 0 0 0 6193 138 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604643105226208 0 0 -1 18 0 0 0
[pid=15287/tid=15311] ppid=15285 vsize=5439184 CPUtime=60.25 cores=0-31
/proc/15287/task/15311/stat : 15311 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 46451 0 0 0 5888 137 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604482411732448 0 0 -1 23 0 0 0
[pid=15287/tid=15312] ppid=15285 vsize=5439184 CPUtime=64.36 cores=0-31
/proc/15287/task/15312/stat : 15312 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 37798 0 0 0 6302 134 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604628094197216 0 0 -1 27 0 0 0
[pid=15287/tid=15313] ppid=15285 vsize=5439184 CPUtime=63.98 cores=0-31
/proc/15287/task/15313/stat : 15313 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 38481 0 0 0 6285 113 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604627877977568 0 0 -1 12 0 0 0
[pid=15287/tid=15314] ppid=15285 vsize=5439184 CPUtime=61.6 cores=0-31
/proc/15287/task/15314/stat : 15314 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 35414 0 0 0 6039 121 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604628591508960 0 0 -1 9 0 0 0
[pid=15287/tid=15315] ppid=15285 vsize=5439184 CPUtime=62.63 cores=0-31
/proc/15287/task/15315/stat : 15315 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 44271 0 0 0 6131 132 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604643399400928 0 0 -1 30 0 0 0
[pid=15287/tid=15316] ppid=15285 vsize=5439184 CPUtime=59.32 cores=0-31
/proc/15287/task/15316/stat : 15316 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 37054 0 0 0 5793 139 0 0 21 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604636573851104 0 0 -1 31 0 0 0
[pid=15287/tid=15317] ppid=15285 vsize=5439184 CPUtime=61.9 cores=0-31
/proc/15287/task/15317/stat : 15317 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 43839 0 0 0 6069 121 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604632269880800 0 0 -1 7 0 0 0
[pid=15287/tid=15318] ppid=15285 vsize=5439184 CPUtime=61.55 cores=0-31
/proc/15287/task/15318/stat : 15318 (strangenight2-m) S 15285 15287 15261 0 -1 4202560 69923 0 0 0 6034 121 0 0 25 0 32 0 744253731 5569724416 966506 268435456000 4194304 4580107 140736303160464 18446744073709551615 47988922287668 0 0 4096 2 18446604642192547296 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2014.73
Current children cumulated vsize (KiB) 5439184
[startup+80.3198 s]
/proc/loadavg: 24.99 29.69 31.05 2/414 15321
/proc/meminfo: memFree=251843840/264257624 swapFree=67111528/67111528
[pid=15287] ppid=15285 vsize=0 CPUtime=2015.4 cores=0-31
/proc/15287/stat : 15287 (strangenight2-m) R 15285 15287 15261 0 -1 4202500 1419948 0 0 0 197280 4260 0 0 25 0 1 0 744253730 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/15287/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2015.4
Current children cumulated vsize (KiB) 0
[startup+80.5008 s]
/proc/loadavg: 24.99 29.69 31.05 2/414 15321
/proc/meminfo: memFree=251843840/264257624 swapFree=67111528/67111528
[pid=15287] ppid=15285 vsize=0 CPUtime=2015.58 cores=0-31
/proc/15287/stat : 15287 (strangenight2-m) R 15285 15287 15261 0 -1 4202500 1419948 0 0 0 197280 4278 0 0 25 0 1 0 744253730 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/15287/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2015.58
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 80.5112
CPU time (s): 2015.6
CPU user time (s): 1972.81
CPU system time (s): 42.7955
CPU usage (%): 2503.51
Max. virtual memory (cumulated for all children) (KiB): 5439184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1972.81
system time used= 42.7955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1419948
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= 861510
involuntary context switches= 7206
runsolver used 0.480926 second user time and 1.92771 second system time
The end
Begin job on node200 at 2011-05-25 14:47:53
IDJOB=3400674
IDBENCH=70952
IDSOLVER=1886
FILE ID=node200/3400674-1306327672
RUNJOBID= node200-1306327672-15275
PBS_JOBID= 13411789
Free space on /tmp= 62040 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400674-1306327672/watcher-3400674-1306327672 -o /tmp/evaluation-result-3400674-1306327672/solver-3400674-1306327672 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400674-1306327672.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= a61ef2b7b3d16661e8162c430ffb1a51
RANDOM SEED=596948319
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: 255154144 kB
Buffers: 466548 kB
Cached: 8227912 kB
SwapCached: 0 kB
Active: 7779352 kB
Inactive: 984232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255154144 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12320 kB
Writeback: 0 kB
AnonPages: 69532 kB
Mapped: 13480 kB
Slab: 255920 kB
PageTables: 4720 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189336 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= 62032 MiB
End job on node200 at 2011-05-25 14:49:14