0.00/0.00 c Outputting solution to console
0.00/0.00 c Using 8 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-3394280-1306093937.cnf'
0.00/0.05 c -- header says num vars: 70167
0.00/0.05 c -- header says num clauses: 209513
1.65/0.33 c -- clauses added: 0 learnts, 209513 normals, 0 xors
1.65/0.33 c -- vars added 70167
1.65/0.33 c Parsing time: 0.10 s
1.65/0.33 c N st 0 0 70167 69837 139674 0 488859 0 no data no data
1.65/0.76 c asymm cl-useful: 0/69836/69836 lits-rem:0 time: 0.43
12.74/1.75 c Flit: 6 Blit: 6 bXBeca: 0 bXProp: 242 Bins: 0 BRemL: 0 BRemN: 0 P: 19.6M T: 0.99
12.74/1.78 c Replacing 242 vars Replaced 2951 lits Time: 0.03 s
13.52/1.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
13.52/1.86 c bin-w-bin subsume rem 7 bins time: 0.01 s
13.52/1.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
14.94/2.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 69911 time: 0.11 s
15.76/2.12 c Removed useless bin: 224 fixed: 0 props: 16.81M time: 0.11 s
18.55/2.52 c lits-rem: 1786 cl-subs: 1963 v-elim: 23303 v-fix: 0 time: 0.30 s
18.55/2.53 c Finding binary XORs T: 0.01 s found: 4
18.55/2.55 c Replacing 4 vars Replaced 86 lits Time: 0.01 s
18.55/2.58 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan)
18.55/2.58 c calculated reachability. Time: 0.00
18.55/2.59 c Calc default polars - time: 0.01 s pos: 828 undec: 23733 neg: 45606
18.55/2.59 c =========================================================================================
18.55/2.59 c types(t): F = full restart, N = normal restart
18.55/2.59 c types(t): S = simplification begin/end, E = solution found
18.55/2.59 c restart types(rt): st = static, dy = dynamic
18.55/2.59 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
18.55/2.59 c B st 0 0 46604 66655 95195 0 432943 0 no data no data
25.73/3.44 c N dy 18 4280 46601 66655 95401 4001 432930 29800 4.43 4.77
32.98/4.35 c N dy 43 8378 46600 66655 96644 7903 432914 62702 4.58 4.84
40.91/5.30 c N dy 63 12412 46587 66655 97264 11764 432912 95834 4.58 5.58
48.89/6.30 c N dy 91 16441 46586 66655 97397 15638 432912 130607 4.63 5.00
57.67/7.45 c N dy 121 20449 46585 66655 98556 10007 432906 55425 4.74 4.99
66.45/8.53 c N dy 152 24615 46582 66655 98649 14055 432906 96354 4.86 5.12
67.25/8.62 c F st 156 25000 46582 66655 99535 14432 432905 102790 4.90 no data
74.43/9.59 c Finding binary XORs T: 0.01 s found: 26
77.77/9.97 c N dy 162 30000 46581 66512 99555 19312 432196 170372 4.90 no data
77.77/9.97 c S st 162 30000 46581 66512 99555 19312 432196 170372 4.90 no data
79.21/10.19 c S st 162 30500 46581 66512 99621 19744 432196 173519 4.90 no data
80.01/10.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
102.38/13.11 c Flit: 6 Blit: 21 bXBeca: 0 bXProp: 212 Bins: 306454 BRemL: 94771 BRemN: 19 P: 27.3M T: 2.90
103.22/13.16 c Replacing 238 vars Replaced 21706 lits Time: 0.05 s
103.22/13.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
104.11/13.22 c bin-w-bin subsume rem 5376 bins time: 0.03 s
104.11/13.27 c subs with bin: 960 lits-rem: 3593 v-fix: 0 time: 0.05 s
104.76/13.39 c Subs w/ non-existent bins: 150 l-rem: 766 v-fix: 0 done: 46316 time: 0.12 s
105.56/13.45 c Removed useless bin: 61 fixed: 0 props: 3.68M time: 0.06 s
109.56/13.93 c lits-rem: 3833 cl-subs: 4560 v-elim: 29980 v-fix: 0 time: 0.46 s
109.56/13.95 c subs with bin: 135 lits-rem: 467 v-fix: 0 time: 0.01 s
109.56/13.99 c lits-rem: 336 cl-subs: 577 v-elim: 0 v-fix: 0 time: 0.03 s
110.35/14.04 c asymm cl-useful: 0/4533/74369 lits-rem:0 time: 0.05
110.35/14.06 c calculated reachability. Time: 0.01
110.35/14.06 c N dy 162 30500 16336 74369 60484 5034 378947 103514 4.90 no data
110.35/14.09 c Finding binary XORs T: 0.03 s found: 3
115.93/14.75 c N dy 169 35436 16336 74369 60943 9822 378921 142315 4.82 5.15
120.78/15.34 c N dy 182 39600 16336 74369 80217 13861 378890 214658 4.79 5.06
122.31/15.53 c Finding binary XORs T: 0.02 s found: 6
125.51/15.96 c N dy 201 43822 16336 74369 80271 10037 378866 166230 4.78 5.20
127.91/16.24 c S st 207 45750 16335 74369 80353 11905 378855 181772 4.76 no data
128.70/16.37 c S st 207 46251 16335 74369 80391 12363 378854 185395 4.76 no data
128.70/16.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
134.28/17.01 c Flit: 9 Blit: 3 bXBeca: 0 bXProp: 34 Bins: 17501 BRemL: 40735 BRemN: 98 P: 12.8M T: 0.63
134.28/17.04 c Replacing 43 vars Replaced 5354 lits Time: 0.02 s
134.28/17.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
134.28/17.07 c bin-w-bin subsume rem 1877 bins time: 0.01 s
134.28/17.09 c subs with bin: 1938 lits-rem: 6874 v-fix: 0 time: 0.03 s
135.08/17.13 c Subs w/ non-existent bins: 206 l-rem: 1497 v-fix: 0 done: 16280 time: 0.04 s
135.08/17.15 c Removed useless bin: 16 fixed: 0 props: 0.65M time: 0.02 s
135.88/17.25 c lits-rem: 607 cl-subs: 1662 v-elim: 788 v-fix: 0 time: 0.10 s
135.88/17.27 c subs with bin: 85 lits-rem: 217 v-fix: 0 time: 0.01 s
136.67/17.32 c lits-rem: 266 cl-subs: 653 v-elim: 0 v-fix: 0 time: 0.03 s
136.67/17.35 c vivif2 -- cl tried 71510 cl shrink 1327 lits rem 1538 time: 0.03
136.67/17.36 c vivif2 -- cl tried 10825 cl shrink 889 lits rem 1100 time: 0.01
143.06/18.16 c asymm cl-useful: 1934/13514/71489 lits-rem:2348 time: 0.80
143.06/18.17 c calculated reachability. Time: 0.01
143.06/18.17 c N dy 207 46251 15492 71489 48294 10809 354648 112379 4.76 no data
143.06/18.19 c Finding binary XORs T: 0.02 s found: 2
147.98/18.77 c N dy 224 50364 15492 71489 48330 14838 354633 147317 4.74 5.02
153.43/19.44 c N dy 242 54630 15492 71489 59405 19018 354621 207303 4.73 4.99
154.23/19.53 c Finding binary XORs T: 0.02 s found: 1
159.81/20.23 c N dy 269 59253 15492 71489 65887 23562 354612 262586 4.74 4.99
165.55/20.93 c N dy 297 63374 15492 71489 65916 27608 354596 300009 4.75 5.07
170.20/21.53 c Finding binary XORs T: 0.02 s found: 3
171.00/21.64 c N dy 319 67591 15492 71489 70192 17518 354583 197765 4.74 5.00
172.60/21.91 c S st 326 69376 15492 71489 70201 19269 354576 213704 4.73 no data
174.33/22.06 c S st 326 69877 15492 71489 75267 19727 354574 227031 4.73 no data
174.33/22.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
179.77/22.75 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 30 Bins: 6794 BRemL: 26048 BRemN: 78 P: 13.3M T: 0.67
179.77/22.77 c Replacing 36 vars Replaced 3028 lits Time: 0.03 s
180.58/22.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
180.58/22.80 c bin-w-bin subsume rem 1330 bins time: 0.01 s
180.58/22.83 c subs with bin: 974 lits-rem: 517 v-fix: 0 time: 0.02 s
180.58/22.87 c Subs w/ non-existent bins: 134 l-rem: 82 v-fix: 0 done: 15454 time: 0.04 s
180.58/22.88 c Removed useless bin: 36 fixed: 0 props: 0.58M time: 0.02 s
181.38/22.96 c lits-rem: 186 cl-subs: 665 v-elim: 299 v-fix: 0 time: 0.08 s
181.38/22.99 c subs with bin: 241 lits-rem: 366 v-fix: 0 time: 0.01 s
182.21/23.05 c lits-rem: 365 cl-subs: 764 v-elim: 0 v-fix: 0 time: 0.04 s
182.21/23.08 c vivif2 -- cl tried 69979 cl shrink 453 lits rem 540 time: 0.03
182.21/23.10 c vivif2 -- cl tried 18120 cl shrink 1259 lits rem 1687 time: 0.01
186.16/23.51 c asymm cl-useful: 2010/6731/69958 lits-rem:2172 time: 0.42
186.16/23.53 c calculated reachability. Time: 0.01
186.16/23.53 c N dy 326 69877 15155 69922 51468 18117 345762 167569 4.73 no data
186.16/23.55 c Finding binary XORs T: 0.02 s found: 5
192.52/24.33 c N dy 353 74648 15155 69922 51494 22806 345754 212462 4.74 5.02
198.92/25.10 c N dy 381 79503 15151 69922 57760 27608 345745 273652 4.75 5.08
200.55/25.36 c Finding binary XORs T: 0.02 s found: 2
206.01/26.06 c N dy 415 84692 15151 69903 59704 32668 345667 329454 4.77 5.05
210.78/26.62 c F st 439 87500 15151 69903 59709 35443 345662 359934 4.79 no data
210.78/26.64 c Replacing 7 vars Replaced 443 lits Time: 0.02 s
214.78/27.19 c N st 444 90801 15144 69889 61993 22853 345586 219084 4.79 no data
217.22/27.50 c Finding binary XORs T: 0.02 s found: 5
223.56/28.21 c N dy 472 96803 15142 69876 61683 28757 345517 287586 4.80 5.06
232.34/29.39 c N dy 517 103332 15140 69876 63447 35187 345511 359945 4.83 5.11
234.78/29.66 c S st 528 104818 15137 69876 63457 36637 345510 374683 4.83 no data
236.32/29.84 c S st 528 105319 15137 69876 63487 37103 345509 378010 4.83 no data
236.32/29.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
241.92/30.53 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 16 Bins: 4778 BRemL: 13268 BRemN: 76 P: 14.6M T: 0.67
241.92/30.56 c Replacing 21 vars Replaced 1601 lits Time: 0.03 s
241.92/30.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
241.92/30.59 c bin-w-bin subsume rem 719 bins time: 0.01 s
242.72/30.62 c subs with bin: 582 lits-rem: 166 v-fix: 0 time: 0.02 s
242.72/30.65 c Subs w/ non-existent bins: 91 l-rem: 72 v-fix: 0 done: 15114 time: 0.03 s
242.72/30.67 c Removed useless bin: 21 fixed: 0 props: 0.56M time: 0.01 s
243.56/30.74 c lits-rem: 127 cl-subs: 356 v-elim: 128 v-fix: 0 time: 0.07 s
243.56/30.79 c subs with bin: 549 lits-rem: 583 v-fix: 0 time: 0.02 s
244.46/30.88 c lits-rem: 1580 cl-subs: 1212 v-elim: 0 v-fix: 0 time: 0.08 s
245.11/30.92 c vivif2 -- cl tried 68942 cl shrink 191 lits rem 212 time: 0.03
245.11/30.95 c vivif2 -- cl tried 33723 cl shrink 3179 lits rem 4483 time: 0.03
248.31/31.38 c asymm cl-useful: 884/12516/68931 lits-rem:1715 time: 0.44
249.11/31.40 c calculated reachability. Time: 0.01
249.11/31.40 c N dy 528 105319 14986 68658 53258 33718 340117 316920 4.83 no data
249.11/31.42 c Finding binary XORs T: 0.02 s found: 3
259.48/32.70 c N dy 580 112081 14985 68658 59027 40391 340109 405991 4.86 5.12
262.01/33.08 c Finding binary XORs T: 0.02 s found: 5
269.90/34.02 c N dy 631 119301 14984 68648 61078 31524 340068 285722 4.89 5.74
279.58/35.29 c E dy 680 127087 14977 68648 61166 39105 340063 369390 4.91 4.17
290.61/40.15 c Following stats are for *FIRST FINISHED THREAD ONLY*
290.61/40.15 c num threads : 8
290.61/40.15 c restarts : 680
290.61/40.15 c dynamic restarts : 662
290.61/40.15 c static restarts : 18
290.61/40.15 c full restarts : 2
290.61/40.15 c total simplify time : 0.25
290.61/40.15 c learnts DL2 : 0
290.61/40.16 c learnts size 2 : 567923
290.61/40.16 c learnts size 1 : 146 (0.21 % of vars)
290.61/40.16 c filedLit time : 5.86 (14.75 % time)
290.61/40.16 c v-elim SatELite : 54498 (77.67 % vars)
290.61/40.16 c SatELite time : 1.28 (3.22 % time)
290.61/40.16 c v-elim xor : 0 (0.00 % vars)
290.61/40.16 c xor elim time : 0.05 (0.14 % time)
290.61/40.16 c num binary xor trees : 480
290.61/40.16 c binxor trees' crown : 599 (1.25 leafs/tree)
290.61/40.16 c bin xor find time : 0.22
290.61/40.16 c OTF clause improved : 1606 (0.01 clauses/conflict)
290.61/40.16 c OTF impr. size diff : 1723 (1.07 lits/clause)
290.61/40.16 c OTF cl watch-shrink : 52699 (0.41 clauses/conflict)
290.61/40.16 c OTF cl watch-sh-lit : 89575 (1.70 lits/clause)
290.61/40.16 c tried to recurMin cls : 22908 (18.03 % of conflicts)
290.61/40.16 c updated cache : 0 (0.00 lits/tried recurMin)
290.61/40.16 c unit cls recevied : 13 (8.90 % of units)
290.61/40.16 c unit cls sent : 49 (33.56 % of units)
290.61/40.16 c bin cls recevied : 71092
290.61/40.16 c bin cls sent : 331854
290.61/40.16 c clauses over max glue : 0 (0.00 % of all clauses)
290.61/40.16 c conflicts : 127087 (3199.41 / sec)
290.61/40.16 c decisions : 476712 (5.34 % random)
290.61/40.16 c bogo-props : 1040885846 (26204291.53 / sec)
290.61/40.16 c conflict literals : 1244984 (28.17 % deleted)
290.61/40.16 c Memory used : 1436.99 MB
290.61/40.16 c single-thread CPU time : 39.72 s
290.61/40.16 c all-threads sum CPU time : 288.94 s
290.61/40.16 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-3394280-1306093937/watcher-3394280-1306093937 -o /tmp/evaluation-result-3394280-1306093937/solver-3394280-1306093937 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394280-1306093937.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.68 4.88 3.18 2/510 2136
/proc/meminfo: memFree=8869824/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=92144 CPUtime=0 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) R 2134 2136 1932 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 8 0 720990419 94355456 352 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2136/statm: 23036 352 299 95 0 18018 0
[pid=2136/tid=2137] ppid=2134 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 4 0 0 0 1 0 0 0 23 0 8 0 720990420 94355456 360 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105491 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=92144 CPUtime=0 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 720990420 94355456 360 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 720990420 94355456 360 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105488 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 720990420 94355456 360 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105491 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=92144 CPUtime=0 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 720990420 94355456 360 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105497 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 720990420 94355456 360 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105491 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 720990420 94355456 360 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105497 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.083395 s]
/proc/loadavg: 7.68 4.88 3.18 2/510 2136
/proc/meminfo: memFree=8869824/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=624656 CPUtime=0.47 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) S 2134 2136 1932 0 -1 4202496 8060 0 0 0 42 5 0 0 17 0 8 0 720990419 639647744 7172 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 156164 7192 337 95 0 151146 0
[pid=2136/tid=2137] ppid=2134 vsize=624656 CPUtime=0.06 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 986 0 0 0 6 0 0 0 17 0 8 0 720990420 639647744 7194 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446604441955337280 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=624656 CPUtime=0 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 874 0 0 0 0 0 0 0 17 0 8 0 720990420 639647744 7211 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446604441955337280 0 0 -1 7 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=624656 CPUtime=0.06 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 959 0 0 0 6 0 0 0 17 0 8 0 720990420 639647744 7222 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=624656 CPUtime=0.05 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) D 2134 2136 1932 0 -1 4202560 886 0 0 0 5 0 0 0 17 0 8 0 720990420 639647744 7234 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=624656 CPUtime=0.06 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 865 0 0 0 5 1 0 0 17 0 8 0 720990420 639647744 7235 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500389049 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=624656 CPUtime=0.05 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 1099 0 0 0 5 0 0 0 17 0 8 0 720990420 639647744 7243 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446604441955337280 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=624656 CPUtime=0.06 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 1009 0 0 0 6 0 0 0 17 0 8 0 720990420 639647744 7248 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 624656
[startup+0.102431 s]
/proc/loadavg: 7.68 4.88 3.18 2/510 2136
/proc/meminfo: memFree=8869824/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=634308 CPUtime=0.57 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) D 2134 2136 1932 0 -1 4202496 12865 0 0 0 47 10 0 0 17 0 8 0 720990419 649531392 10928 33554432000 4194304 4580107 140735683608736 18446744073709551615 4310274 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 158577 10960 337 95 0 153559 0
[pid=2136/tid=2137] ppid=2134 vsize=634308 CPUtime=0.06 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 1640 0 0 0 6 0 0 0 17 0 8 0 720990420 649531392 10962 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446604441955337280 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=634308 CPUtime=0.01 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 1521 0 0 0 0 1 0 0 17 0 8 0 720990420 649531392 11007 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446604441955337280 0 0 -1 7 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=634464 CPUtime=0.06 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) D 2134 2136 1932 0 -1 4202560 1569 0 0 0 6 0 0 0 17 0 8 0 720990420 649691136 11032 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=634464 CPUtime=0.07 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 1409 0 0 0 6 1 0 0 17 0 8 0 720990420 649691136 11046 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446604441955337280 0 0 -1 0 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=634464 CPUtime=0.07 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 1506 0 0 0 6 1 0 0 17 0 8 0 720990420 649691136 11063 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=634676 CPUtime=0.07 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 1640 0 0 0 6 1 0 0 17 0 8 0 720990420 649908224 11071 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446604441955337280 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=634676 CPUtime=0.07 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 1639 0 0 0 6 1 0 0 17 0 8 0 720990420 649908224 11085 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446604441955337280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 634308
[startup+0.302401 s]
/proc/loadavg: 7.68 4.88 3.18 2/510 2136
/proc/meminfo: memFree=8869824/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=778828 CPUtime=1.65 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) S 2134 2136 1932 0 -1 4202496 62485 0 0 0 113 52 0 0 17 0 8 0 720990419 797519872 53342 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 194707 53342 337 95 0 189689 0
[pid=2136/tid=2137] ppid=2134 vsize=778828 CPUtime=0.2 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 7777 0 0 0 15 5 0 0 17 0 8 0 720990420 797519872 53342 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446604441955337280 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=778828 CPUtime=0.15 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) D 2134 2136 1932 0 -1 4202560 6726 0 0 0 9 6 0 0 17 0 8 0 720990420 797519872 53342 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500389232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=778828 CPUtime=0.2 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 7998 0 0 0 15 5 0 0 17 0 8 0 720990420 797519872 53342 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446604441955337280 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=774728 CPUtime=0.21 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 6690 0 0 0 16 5 0 0 17 0 8 0 720990420 793321472 52960 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=774728 CPUtime=0.2 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 7925 0 0 0 14 6 0 0 17 0 8 0 720990420 793321472 53199 33554432000 4194304 4580107 140735683608736 18446744073709551615 4307185 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=774728 CPUtime=0.21 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 7959 0 0 0 14 7 0 0 17 0 8 0 720990420 793321472 53252 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=782924 CPUtime=0.21 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 9260 0 0 0 14 7 0 0 17 0 8 0 720990420 801714176 53640 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500796910 0 0 4096 2 18446604441955337280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 778828
[startup+1.5561 s]
/proc/loadavg: 7.68 4.88 3.18 2/510 2136
/proc/meminfo: memFree=8869824/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=824344 CPUtime=11.58 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) R 2134 2136 1932 0 -1 4202496 77927 0 0 0 1101 57 0 0 18 0 8 0 720990419 844128256 60907 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 206086 60907 360 95 0 201068 0
[pid=2136/tid=2137] ppid=2134 vsize=824344 CPUtime=1.44 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 9515 0 0 0 138 6 0 0 18 0 8 0 720990420 844128256 60907 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=824344 CPUtime=1.39 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 8788 0 0 0 132 7 0 0 19 0 8 0 720990420 844128256 60907 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=824344 CPUtime=1.45 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 9672 0 0 0 139 6 0 0 19 0 8 0 720990420 844128256 60907 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293268 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=824344 CPUtime=1.44 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 9610 0 0 0 139 5 0 0 19 0 8 0 720990420 844128256 60907 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=824344 CPUtime=1.44 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 10080 0 0 0 137 7 0 0 18 0 8 0 720990420 844128256 60907 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=824344 CPUtime=1.45 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 9615 0 0 0 138 7 0 0 18 0 8 0 720990420 844128256 60907 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=824344 CPUtime=1.45 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 10169 0 0 0 138 7 0 0 18 0 8 0 720990420 844128256 60907 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (KiB) 824344
[startup+1.60109 s]
/proc/loadavg: 7.68 4.88 3.18 2/510 2136
/proc/meminfo: memFree=8869824/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=824344 CPUtime=11.94 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) R 2134 2136 1932 0 -1 4202496 77931 0 0 0 1137 57 0 0 18 0 8 0 720990419 844128256 60911 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 206086 60911 360 95 0 201068 0
[pid=2136/tid=2137] ppid=2134 vsize=824344 CPUtime=1.49 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 9515 0 0 0 143 6 0 0 18 0 8 0 720990420 844128256 60911 33554432000 4194304 4580107 140735683608736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=824344 CPUtime=1.44 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 8788 0 0 0 137 7 0 0 19 0 8 0 720990420 844128256 60911 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=824344 CPUtime=1.49 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 9672 0 0 0 143 6 0 0 19 0 8 0 720990420 844128256 60911 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=824344 CPUtime=1.48 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 9610 0 0 0 143 5 0 0 19 0 8 0 720990420 844128256 60911 33554432000 4194304 4580107 140735683608736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=824344 CPUtime=1.49 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 10080 0 0 0 142 7 0 0 18 0 8 0 720990420 844128256 60911 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=824344 CPUtime=1.5 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 9615 0 0 0 143 7 0 0 19 0 8 0 720990420 844128256 60911 33554432000 4194304 4580107 140735683608736 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=824344 CPUtime=1.49 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 10173 0 0 0 142 7 0 0 19 0 8 0 720990420 844128256 60911 33554432000 4194304 4580107 140735683608736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.94
Current children cumulated vsize (KiB) 824344
[startup+3.10079 s]
/proc/loadavg: 7.86 4.96 3.21 9/518 2144
/proc/meminfo: memFree=8551152/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=921280 CPUtime=23.35 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) R 2134 2136 1932 0 -1 4202496 145891 0 0 0 2245 90 0 0 18 0 8 0 720990419 943390720 116404 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 230320 116404 378 95 0 225302 0
[pid=2136/tid=2137] ppid=2134 vsize=921280 CPUtime=2.91 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 19744 0 0 0 281 10 0 0 18 0 8 0 720990420 943390720 116404 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=921280 CPUtime=2.85 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 18153 0 0 0 274 11 0 0 18 0 8 0 720990420 943390720 116404 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=921280 CPUtime=2.94 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 17392 0 0 0 285 9 0 0 18 0 8 0 720990420 943390720 116405 33554432000 4194304 4580107 140735683608736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=921280 CPUtime=2.9 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 19515 0 0 0 279 11 0 0 18 0 8 0 720990420 943390720 116405 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=921280 CPUtime=2.91 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 20791 0 0 0 278 13 0 0 18 0 8 0 720990420 943390720 116405 33554432000 4194304 4580107 140735683608736 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=921280 CPUtime=2.91 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 20533 0 0 0 279 12 0 0 18 0 8 0 720990420 943390720 116405 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=921280 CPUtime=2.95 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 11139 0 0 0 287 8 0 0 18 0 8 0 720990420 943390720 116405 33554432000 4194304 4580107 140735683608736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.35
Current children cumulated vsize (KiB) 921280
[startup+6.30116 s]
/proc/loadavg: 7.86 4.96 3.21 9/518 2144
/proc/meminfo: memFree=8401368/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=921280 CPUtime=48.89 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) R 2134 2136 1932 0 -1 4202496 147560 0 0 0 4798 91 0 0 25 0 8 0 720990419 943390720 118073 33554432000 4194304 4580107 140735683608736 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 230320 118073 378 95 0 225302 0
[pid=2136/tid=2137] ppid=2134 vsize=921280 CPUtime=6.11 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 19942 0 0 0 601 10 0 0 25 0 8 0 720990420 943390720 118073 33554432000 4194304 4580107 140735683608736 18446744073709551615 4306354 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=921280 CPUtime=5.99 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 18331 0 0 0 588 11 0 0 25 0 8 0 720990420 943390720 118073 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=921280 CPUtime=6.15 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 17571 0 0 0 605 10 0 0 25 0 8 0 720990420 943390720 118073 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=921280 CPUtime=6.1 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 19682 0 0 0 599 11 0 0 25 0 8 0 720990420 943390720 118073 33554432000 4194304 4580107 140735683608736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=921280 CPUtime=6.11 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 20983 0 0 0 598 13 0 0 25 0 8 0 720990420 943390720 118073 33554432000 4194304 4580107 140735683608736 18446744073709551615 4294182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=921280 CPUtime=6.11 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 20744 0 0 0 599 12 0 0 25 0 8 0 720990420 943390720 118073 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=921280 CPUtime=6.15 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 11373 0 0 0 607 8 0 0 25 0 8 0 720990420 943390720 118073 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=2136] ppid=2134 vsize=1360448 CPUtime=202 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) R 2134 2136 1932 0 -1 4202496 371928 0 0 0 20056 144 0 0 18 0 8 0 720990419 1393098752 207140 33554432000 4194304 4580107 140735683608736 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 340112 207140 380 95 0 335094 0
[pid=2136/tid=2137] ppid=2134 vsize=1360448 CPUtime=25.3 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 51916 0 0 0 2511 19 0 0 25 0 8 0 720990420 1393098752 207141 33554432000 4194304 4580107 140735683608736 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=1360448 CPUtime=24.85 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 56902 0 0 0 2465 20 0 0 18 0 8 0 720990420 1393098752 207142 33554432000 4194304 4580107 140735683608736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=1360448 CPUtime=25.34 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 51453 0 0 0 2518 16 0 0 18 0 8 0 720990420 1393098752 207142 33554432000 4194304 4580107 140735683608736 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=1360448 CPUtime=25.21 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 49337 0 0 0 2503 18 0 0 18 0 8 0 720990420 1393098752 207142 33554432000 4194304 4580107 140735683608736 18446744073709551615 4395764 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=1360448 CPUtime=25.3 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 43732 0 0 0 2511 19 0 0 25 0 8 0 720990420 1393098752 207142 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=1360448 CPUtime=25.29 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 41074 0 0 0 2512 17 0 0 18 0 8 0 720990420 1393098752 207143 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=1360448 CPUtime=25.34 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 17295 0 0 0 2525 9 0 0 25 0 8 0 720990420 1393098752 207143 33554432000 4194304 4580107 140735683608736 18446744073709551615 4306246 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 202
Current children cumulated vsize (KiB) 1360448
Solver just ended. Dumping a history of the last processes samples
[startup+26.6011 s]
/proc/loadavg: 7.99 5.22 3.34 9/518 2145
/proc/meminfo: memFree=8032872/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=1427960 CPUtime=210.78 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) R 2134 2136 1932 0 -1 4202496 376511 0 0 0 20932 146 0 0 19 0 8 0 720990419 1462231040 211561 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 356990 211562 380 95 0 351972 0
[pid=2136/tid=2137] ppid=2134 vsize=1427960 CPUtime=26.4 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 52061 0 0 0 2621 19 0 0 25 0 8 0 720990420 1462231040 211562 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=1427960 CPUtime=25.96 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 57049 0 0 0 2575 21 0 0 19 0 8 0 720990420 1462231040 211563 33554432000 4194304 4580107 140735683608736 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=1427960 CPUtime=26.44 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 51584 0 0 0 2628 16 0 0 20 0 8 0 720990420 1462231040 211563 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=1427960 CPUtime=26.29 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 50181 0 0 0 2611 18 0 0 19 0 8 0 720990420 1462231040 211563 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=1427960 CPUtime=26.4 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 43740 0 0 0 2621 19 0 0 25 0 8 0 720990420 1462231040 211563 33554432000 4194304 4580107 140735683608736 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=1427960 CPUtime=26.39 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 44120 0 0 0 2621 18 0 0 19 0 8 0 720990420 1462231040 211564 33554432000 4194304 4580107 140735683608736 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=1427960 CPUtime=26.44 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 17408 0 0 0 2635 9 0 0 25 0 8 0 720990420 1462231040 211564 33554432000 4194304 4580107 140735683608736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 210.78
Current children cumulated vsize (KiB) 1427960
[startup+33.0198 s]
/proc/loadavg: 7.99 5.27 3.37 9/518 2145
/proc/meminfo: memFree=7933516/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=1459388 CPUtime=262.01 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) R 2134 2136 1932 0 -1 4202496 413236 0 0 0 26047 154 0 0 25 0 8 0 720990419 1494413312 234576 33554432000 4194304 4580107 140735683608736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 364847 234576 380 95 0 359829 0
[pid=2136/tid=2137] ppid=2134 vsize=1459388 CPUtime=32.81 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 53878 0 0 0 3262 19 0 0 25 0 8 0 720990420 1494413312 234576 33554432000 4194304 4580107 140735683608736 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=1459388 CPUtime=32.38 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 61167 0 0 0 3216 22 0 0 25 0 8 0 720990420 1494413312 234576 33554432000 4194304 4580107 140735683608736 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=1459388 CPUtime=32.85 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 53264 0 0 0 3269 16 0 0 25 0 8 0 720990420 1494413312 234576 33554432000 4194304 4580107 140735683608736 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=1459388 CPUtime=32.6 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 51466 0 0 0 3241 19 0 0 25 0 8 0 720990420 1494413312 234576 33554432000 4194304 4580107 140735683608736 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=1459388 CPUtime=32.82 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 54290 0 0 0 3261 21 0 0 25 0 8 0 720990420 1494413312 234576 33554432000 4194304 4580107 140735683608736 18446744073709551615 4320616 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=1459388 CPUtime=32.81 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 56980 0 0 0 3260 21 0 0 25 0 8 0 720990420 1494413312 234576 33554432000 4194304 4580107 140735683608736 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=1459388 CPUtime=32.87 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 18169 0 0 0 3277 10 0 0 25 0 8 0 720990420 1494413312 234576 33554432000 4194304 4580107 140735683608736 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 262.01
Current children cumulated vsize (KiB) 1459388
[startup+36.2013 s]
/proc/loadavg: 7.51 5.21 3.36 3/518 2145
/proc/meminfo: memFree=7875736/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=1471476 CPUtime=282.82 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) R 2134 2136 1932 0 -1 4202496 431300 0 0 0 28115 167 0 0 25 0 8 0 720990419 1506791424 248815 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512081092 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 367869 248815 380 95 0 362851 0
[pid=2136/tid=2137] ppid=2134 vsize=1471476 CPUtime=35.19 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 56114 0 0 0 3499 20 0 0 25 0 8 0 720990420 1506791424 248816 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=1471476 CPUtime=34.74 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 62062 0 0 0 3452 22 0 0 25 0 8 0 720990420 1506791424 248816 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 5 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=1471476 CPUtime=35.47 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 56255 0 0 0 3530 17 0 0 25 0 8 0 720990420 1506791424 248816 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=1471476 CPUtime=34.93 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 51666 0 0 0 3474 19 0 0 25 0 8 0 720990420 1506791424 248816 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 7 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=1471476 CPUtime=35.19 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 54516 0 0 0 3498 21 0 0 25 0 8 0 720990420 1506791424 248816 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 0 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=1471476 CPUtime=35.18 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 57328 0 0 0 3497 21 0 0 25 0 8 0 720990420 1506791424 248816 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=1471476 CPUtime=36.07 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 28411 0 0 0 3586 21 0 0 19 0 8 0 720990420 1506791424 248816 33554432000 4194304 4580107 140735683608736 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 282.82
Current children cumulated vsize (KiB) 1471476
[startup+37.8009 s]
/proc/loadavg: 7.51 5.21 3.36 3/518 2145
/proc/meminfo: memFree=7875532/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=1471476 CPUtime=286.01 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) R 2134 2136 1932 0 -1 4202496 431405 0 0 0 28433 168 0 0 25 0 8 0 720990419 1506791424 248920 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512081092 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 367869 248920 380 95 0 362851 0
[pid=2136/tid=2137] ppid=2134 vsize=1471476 CPUtime=35.19 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 56114 0 0 0 3499 20 0 0 25 0 8 0 720990420 1506791424 248920 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=1471476 CPUtime=34.74 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 62062 0 0 0 3452 22 0 0 25 0 8 0 720990420 1506791424 248920 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 5 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=1471476 CPUtime=35.47 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 56255 0 0 0 3530 17 0 0 25 0 8 0 720990420 1506791424 248920 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=1471476 CPUtime=34.93 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 51666 0 0 0 3474 19 0 0 25 0 8 0 720990420 1506791424 248920 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 7 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=1471476 CPUtime=35.19 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 54516 0 0 0 3498 21 0 0 25 0 8 0 720990420 1506791424 248920 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 0 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=1471476 CPUtime=35.18 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 57328 0 0 0 3497 21 0 0 25 0 8 0 720990420 1506791424 248920 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=1471476 CPUtime=37.65 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 28515 0 0 0 3744 21 0 0 23 0 8 0 720990420 1506791424 248920 33554432000 4194304 4580107 140735683608736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 286.01
Current children cumulated vsize (KiB) 1471476
[startup+39.4006 s]
/proc/loadavg: 7.51 5.21 3.36 3/518 2145
/proc/meminfo: memFree=7875408/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=1471476 CPUtime=289.21 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) R 2134 2136 1932 0 -1 4202496 435355 0 0 0 28750 171 0 0 25 0 8 0 720990419 1506791424 252395 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512080939 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 367869 252395 380 95 0 362851 0
[pid=2136/tid=2137] ppid=2134 vsize=1471476 CPUtime=35.19 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 56114 0 0 0 3499 20 0 0 25 0 8 0 720990420 1506791424 252395 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=1471476 CPUtime=34.74 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 62062 0 0 0 3452 22 0 0 25 0 8 0 720990420 1506791424 252395 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 5 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=1471476 CPUtime=35.47 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 56255 0 0 0 3530 17 0 0 25 0 8 0 720990420 1506791424 252395 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=1471476 CPUtime=34.93 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 51666 0 0 0 3474 19 0 0 25 0 8 0 720990420 1506791424 252395 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 7 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=1471476 CPUtime=35.19 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 54516 0 0 0 3498 21 0 0 25 0 8 0 720990420 1506791424 252395 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 0 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=1471476 CPUtime=35.18 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 57328 0 0 0 3497 21 0 0 25 0 8 0 720990420 1506791424 252395 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=1471476 CPUtime=39.25 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 32465 0 0 0 3900 25 0 0 25 0 8 0 720990420 1506791424 252395 33554432000 4194304 4580107 140735683608736 18446744073709551615 4439876 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 289.21
Current children cumulated vsize (KiB) 1471476
[startup+39.8005 s]
/proc/loadavg: 7.51 5.21 3.36 3/518 2145
/proc/meminfo: memFree=7855440/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=1471476 CPUtime=290.01 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) R 2134 2136 1932 0 -1 4202496 441297 0 0 0 28822 179 0 0 25 0 8 0 720990419 1506791424 256825 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512080939 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 367869 256825 380 95 0 362851 0
[pid=2136/tid=2137] ppid=2134 vsize=1471476 CPUtime=35.19 cores=0-7
/proc/2136/task/2137/stat : 2137 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 56114 0 0 0 3499 20 0 0 25 0 8 0 720990420 1506791424 256825 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 2 0 0 0
[pid=2136/tid=2138] ppid=2134 vsize=1471476 CPUtime=34.74 cores=0-7
/proc/2136/task/2138/stat : 2138 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 62062 0 0 0 3452 22 0 0 25 0 8 0 720990420 1506791424 256825 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 5 0 0 0
[pid=2136/tid=2139] ppid=2134 vsize=1471476 CPUtime=35.47 cores=0-7
/proc/2136/task/2139/stat : 2139 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 56255 0 0 0 3530 17 0 0 25 0 8 0 720990420 1506791424 256825 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 1 0 0 0
[pid=2136/tid=2140] ppid=2134 vsize=1471476 CPUtime=34.93 cores=0-7
/proc/2136/task/2140/stat : 2140 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 51666 0 0 0 3474 19 0 0 25 0 8 0 720990420 1506791424 256825 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 7 0 0 0
[pid=2136/tid=2141] ppid=2134 vsize=1471476 CPUtime=35.19 cores=0-7
/proc/2136/task/2141/stat : 2141 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 54516 0 0 0 3498 21 0 0 25 0 8 0 720990420 1506791424 256825 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 0 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=1471476 CPUtime=35.18 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) S 2134 2136 1932 0 -1 4202560 57328 0 0 0 3497 21 0 0 25 0 8 0 720990420 1506791424 256825 33554432000 4194304 4580107 140735683608736 18446744073709551615 47225512105524 0 0 4096 2 18446604441955337280 0 0 -1 6 0 0 0
[pid=2136/tid=2143] ppid=2134 vsize=1471476 CPUtime=39.65 cores=0-7
/proc/2136/task/2143/stat : 2143 (strangenight2-m) R 2134 2136 1932 0 -1 4202560 38407 0 0 0 3933 32 0 0 25 0 8 0 720990420 1506791424 256825 33554432000 4194304 4580107 140735683608736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 290.01
Current children cumulated vsize (KiB) 1471476
[startup+40.2005 s]
/proc/loadavg: 7.51 5.21 3.36 3/518 2145
/proc/meminfo: memFree=7855440/32950928 swapFree=45358860/67111528
[pid=2136] ppid=2134 vsize=0 CPUtime=290.77 cores=0-7
/proc/2136/stat : 2136 (strangenight2-m) Z 2134 2136 1932 0 -1 4202524 441316 0 0 0 28894 183 0 0 25 0 2 0 720990419 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/2136/statm: 0 0 0 0 0 0 0
[pid=2136/tid=2142] ppid=2134 vsize=0 CPUtime=35.22 cores=0-7
/proc/2136/task/2142/stat : 2142 (strangenight2-m) R 2134 2136 1932 0 -1 4203588 57328 0 0 0 3497 25 0 0 18 0 2 0 720990420 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 290.77
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 40.2077
CPU time (s): 290.784
CPU user time (s): 288.946
CPU system time (s): 1.83772
CPU usage (%): 723.204
Max. virtual memory (cumulated for all children) (KiB): 1471476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 288.946
system time used= 1.83772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441316
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= 94111
involuntary context switches= 1322
runsolver used 0.19297 second user time and 0.491925 second system time
The end
Begin job on node149 at 2011-05-22 21:52:17
IDJOB=3394280
IDBENCH=82465
IDSOLVER=1878
FILE ID=node149/3394280-1306093937
RUNJOBID= node149-1306093720-1946
PBS_JOBID= 13387951
Free space on /tmp= 73412 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394280-1306093937/watcher-3394280-1306093937 -o /tmp/evaluation-result-3394280-1306093937/solver-3394280-1306093937 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394280-1306093937.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 7599aafec7bebba20ceab50260cd7197
RANDOM SEED=1527635217
node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.73
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.806
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 8870104 kB
Buffers: 220128 kB
Cached: 5047864 kB
SwapCached: 36428 kB
Active: 11505672 kB
Inactive: 12252532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 8870104 kB
SwapTotal: 67111528 kB
SwapFree: 45358860 kB
Dirty: 8976 kB
Writeback: 0 kB
AnonPages: 18466780 kB
Mapped: 31228 kB
Slab: 132348 kB
PageTables: 116932 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 173085244 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73404 MiB
End job on node149 at 2011-05-22 21:52:58