0.00/0.00 c Outputting solution to console
0.00/0.00 c Using 8 threads
0.04/0.02 c This is CryptoMiniSat 3.0.0
0.04/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.04/0.02 c Reading file 'HOME/instance-3321187-1304325727.cnf'
0.04/0.03 c -- header says num vars: 19995
0.04/0.03 c -- header says num clauses: 66333
0.58/0.57 c -- clauses added: 0 learnts, 66333 normals, 0 xors
0.58/0.57 c -- vars added 19995
0.58/0.57 c Parsing time: 0.04 s
0.58/0.57 c N st 0 0 19995 30626 31735 0 158899 0 no data no data
0.58/0.57 c asymm cl-useful: 8/30626/30626 lits-rem:83 time: 0.46
10.65/1.45 c Flit: 59 Blit: 1904 bXBeca: 0 bXProp: 3257 Bins: 0 BRemL: 0 BRemN: 0 P: 14.4M T: 0.79
10.65/1.45 c Cleaning up after failed var search: 0.00 s
10.65/1.47 c Replacing 3257 vars Replaced 87417 lits Time: 0.01 s
10.65/1.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
10.65/1.48 c bin-w-bin subsume rem 509 bins time: 0.00 s
10.65/1.49 c subs with bin: 0 lits-rem: 12 v-fix: 0 time: 0.01 s
11.35/1.50 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 0 done: 13673 time: 0.01 s
11.35/1.52 c Removed useless bin: 38 fixed: 0 props: 1.82M time: 0.01 s
11.35/1.58 c lits-rem: 0 cl-subs: 150 v-elim: 4557 v-fix: 0 time: 0.05 s
12.11/1.61 c Finding binary XORs T: 0.02 s found: 13
12.11/1.61 c Replacing 13 vars Replaced 166 lits Time: 0.00 s
12.11/1.63 c Finding non-binary XORs: 0.01 s (found: 4121, avg size: 3.0)
12.11/1.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 647 locsubst: 2628 time: 0.01
12.11/1.63 c Replacing 1314 vars Replaced 7884 lits Time: 0.00 s
12.11/1.64 c calculated reachability. Time: 0.00
12.11/1.64 c Calc default polars - time: 0.00 s pos: 1080 undec: 12882 neg: 6033
12.11/1.64 c =========================================================================================
12.11/1.64 c types(t): F = full restart, N = normal restart
12.11/1.64 c types(t): S = simplification begin/end, E = solution found
12.11/1.64 c restart types(rt): st = static, dy = dynamic
12.11/1.64 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
12.11/1.64 c B st 0 0 7142 11596 9930 0 76602 0 no data no data
13.71/1.84 c Decided on static restart strategy
16.11/2.19 c N st 8 4926 7138 11596 9965 4775 76602 209078 no data no data
24.90/3.27 c N st 10 11311 7133 11596 10312 4580 76602 141695 no data no data
33.69/4.34 c N st 11 17056 7121 11596 10325 10230 76602 474461 no data no data
33.69/4.37 c Finding binary XORs T: 0.02 s found: 4
44.95/5.78 c F st 12 25001 7115 11590 10279 12504 75950 632464 no data no data
44.95/5.80 c Replacing 4 vars Replaced 3756 lits Time: 0.02 s
45.74/5.80 c N st 12 25001 7111 11589 10267 12504 75935 632452 no data no data
52.08/6.63 c Decided on static restart strategy
52.08/6.63 c N st 18 30000 7111 11589 10348 10732 75935 483276 no data no data
52.08/6.63 c S st 18 30000 7111 11589 10348 10732 75935 483276 no data no data
52.88/6.73 c S st 18 30502 7111 11589 10404 11176 75935 491001 no data no data
52.88/6.74 c x-sub: 1314 x-cut: 0 vfix: 0 v-elim: 324 locsubst: 0 time: 0.01
55.28/7.09 c Flit: 55 Blit: 9 bXBeca: 0 bXProp: 21 Bins: 68167 BRemL: 38399 BRemN: 11 P: 5.2M T: 0.34
56.07/7.10 c Replacing 21 vars Replaced 1146 lits Time: 0.01 s
56.07/7.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
56.07/7.11 c bin-w-bin subsume rem 261 bins time: 0.00 s
56.07/7.12 c subs with bin: 545 lits-rem: 427 v-fix: 0 time: 0.01 s
56.07/7.13 c Subs w/ non-existent bins: 0 l-rem: 9 v-fix: 0 done: 6701 time: 0.01 s
56.07/7.13 c Removed useless bin: 19 fixed: 0 props: 0.19M time: 0.00 s
56.07/7.16 c lits-rem: 178 cl-subs: 173 v-elim: 1234 v-fix: 0 time: 0.03 s
56.07/7.17 c subs with bin: 41 lits-rem: 197 v-fix: 0 time: 0.01 s
56.07/7.18 c lits-rem: 175 cl-subs: 160 v-elim: 0 v-fix: 0 time: 0.01 s
56.87/7.28 c asymm cl-useful: 165/11185/11185 lits-rem:689 time: 0.10
56.87/7.28 c calculated reachability. Time: 0.00
56.87/7.28 c N st 18 30502 5467 11185 31155 2154 66159 79839 no data no data
57.67/7.30 c Finding binary XORs T: 0.02 s found: 0
65.66/8.31 c N st 20 37614 5465 11185 31197 5662 66159 350702 no data no data
65.66/8.34 c Finding binary XORs T: 0.01 s found: 1
72.85/9.22 c N st 21 44013 5438 11142 46667 11913 65395 630202 no data no data
74.45/9.45 c S st 22 45753 5437 11142 46684 13623 65395 734663 no data no data
75.25/9.55 c S st 22 46253 5437 11142 46691 7463 65395 288482 no data no data
75.25/9.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 144 locsubst: 0 time: 0.01
76.85/9.72 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 2777 BRemL: 25248 BRemN: 68 P: 2.4M T: 0.16
76.85/9.72 c Replacing 2 vars Replaced 70 lits Time: 0.00 s
76.85/9.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
76.85/9.73 c bin-w-bin subsume rem 4620 bins time: 0.00 s
76.85/9.73 c subs with bin: 60 lits-rem: 37 v-fix: 0 time: 0.00 s
76.85/9.74 c Subs w/ non-existent bins: 0 l-rem: 38 v-fix: 0 done: 5290 time: 0.01 s
76.85/9.74 c Removed useless bin: 4 fixed: 0 props: 0.15M time: 0.00 s
76.85/9.75 c lits-rem: 0 cl-subs: 42 v-elim: 36 v-fix: 0 time: 0.01 s
76.85/9.78 c subs with bin: 3 lits-rem: 69 v-fix: 0 time: 0.03 s
77.65/9.80 c lits-rem: 168 cl-subs: 103 v-elim: 0 v-fix: 0 time: 0.02 s
77.65/9.81 c vivif2 -- cl tried 11032 cl shrink 96 lits rem 235 time: 0.00
77.65/9.81 c vivif2 -- cl tried 4994 cl shrink 236 lits rem 891 time: 0.00
78.45/9.92 c asymm cl-useful: 47/11016/11016 lits-rem:108 time: 0.11
78.45/9.92 c calculated reachability. Time: 0.00
78.45/9.92 c N st 22 46253 5254 11015 18166 4994 63965 139062 no data no data
78.45/9.94 c Finding binary XORs T: 0.01 s found: 0
94.44/11.93 c N st 23 60650 5254 11015 18166 11305 63965 331366 no data no data
104.02/13.14 c N st 24 69379 5250 11015 18348 10354 63965 265948 no data no data
104.02/13.14 c S st 24 69379 5250 11015 18348 10354 63965 265948 no data no data
104.02/13.16 c Finding binary XORs T: 0.01 s found: 1
104.83/13.24 c S st 24 69881 5248 11010 19760 10838 63812 278685 no data no data
104.83/13.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 72 locsubst: 0 time: 0.00
105.63/13.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 33 BRemL: 1677 BRemN: 3 P: 2.9M T: 0.13
105.63/13.38 c Replacing 1 vars Replaced 16 lits Time: 0.00 s
105.63/13.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
105.63/13.39 c bin-w-bin subsume rem 674 bins time: 0.00 s
105.63/13.39 c subs with bin: 31 lits-rem: 17 v-fix: 0 time: 0.00 s
106.49/13.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5175 time: 0.01 s
106.49/13.41 c Removed useless bin: 2 fixed: 0 props: 0.14M time: 0.00 s
106.49/13.42 c lits-rem: 0 cl-subs: 42 v-elim: 34 v-fix: 0 time: 0.01 s
106.49/13.48 c subs with bin: 0 lits-rem: 21 v-fix: 0 time: 0.05 s
107.28/13.54 c lits-rem: 381 cl-subs: 405 v-elim: 0 v-fix: 0 time: 0.05 s
107.28/13.54 c vivif2 -- cl tried 10941 cl shrink 37 lits rem 49 time: 0.00
107.28/13.55 c vivif2 -- cl tried 10390 cl shrink 1303 lits rem 3001 time: 0.01
108.02/13.66 c asymm cl-useful: 305/10941/10941 lits-rem:834 time: 0.11
108.02/13.66 c calculated reachability. Time: 0.00
108.02/13.66 c N st 24 69881 5141 10717 17502 10390 62957 260500 no data no data
135.20/17.08 c F st 25 87500 5141 10717 17502 16384 62957 554929 no data no data
135.20/17.08 c N st 25 87500 5141 10717 17502 16384 62957 554929 no data no data
136.00/17.10 c Finding binary XORs T: 0.01 s found: 108
136.00/17.12 c Replacing 108 vars Replaced 9610 lits Time: 0.02 s
142.46/17.94 c Decided on static restart strategy
145.59/18.33 c N st 32 95537 5016 10676 17763 24126 62218 891939 no data no data
157.58/19.86 c N st 34 104822 5012 10676 18339 20840 62218 644515 no data no data
157.58/19.86 c S st 34 104822 5012 10676 18339 20840 62218 644515 no data no data
157.58/19.88 c Finding binary XORs T: 0.01 s found: 1
158.38/19.99 c S st 34 105323 5012 10672 17830 21337 62113 650910 no data no data
158.38/19.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
160.04/20.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 6 Bins: 1037 BRemL: 5366 BRemN: 2 P: 3.9M T: 0.16
160.04/20.17 c Replacing 7 vars Replaced 717 lits Time: 0.00 s
160.04/20.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
160.04/20.18 c bin-w-bin subsume rem 753 bins time: 0.00 s
160.04/20.18 c subs with bin: 153 lits-rem: 217 v-fix: 0 time: 0.00 s
160.04/20.18 c Subs w/ non-existent bins: 0 l-rem: 7 v-fix: 0 done: 5005 time: 0.00 s
160.04/20.19 c Removed useless bin: 2 fixed: 0 props: 0.13M time: 0.00 s
160.77/20.20 c lits-rem: 27 cl-subs: 231 v-elim: 59 v-fix: 0 time: 0.01 s
161.57/20.31 c subs with bin: 36 lits-rem: 3067 v-fix: 0 time: 0.09 s
163.17/20.57 c lits-rem: 2018 cl-subs: 708 v-elim: 0 v-fix: 0 time: 0.25 s
163.17/20.57 c vivif2 -- cl tried 10279 cl shrink 2 lits rem 2 time: 0.00
163.97/20.60 c vivif2 -- cl tried 18840 cl shrink 4099 lits rem 9023 time: 0.03
164.77/20.76 c asymm cl-useful: 26/10278/10278 lits-rem:43 time: 0.15
164.77/20.76 c calculated reachability. Time: 0.00
164.77/20.76 c N st 34 105323 4946 10275 11681 18840 60549 529995 no data no data
179.16/22.53 c N st 35 114921 4946 10275 11681 15542 60549 354284 no data no data
179.16/22.54 c Finding binary XORs T: 0.01 s found: 0
192.74/24.27 c N st 36 129320 4940 10261 11292 15331 60429 307566 no data no data
192.74/24.29 c Finding binary XORs T: 0.01 s found: 52
193.55/24.30 c Replacing 73 vars Replaced 6972 lits Time: 0.01 s
217.52/27.32 c N st 37 150916 4776 9976 11706 18096 58555 399993 no data no data
224.72/28.29 c S st 38 157984 4772 9976 11723 24834 58555 576793 no data no data
225.52/28.39 c S st 38 158485 4769 9976 11748 25328 58555 584900 no data no data
226.32/28.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 2 locsubst: 0 time: 0.01
227.12/28.56 c Flit: 1 Blit: 9 bXBeca: 0 bXProp: 40 Bins: 1068 BRemL: 1889 BRemN: 17 P: 4.4M T: 0.16
227.12/28.58 c Replacing 70 vars Replaced 11803 lits Time: 0.02 s
227.12/28.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
227.12/28.59 c bin-w-bin subsume rem 358 bins time: 0.00 s
227.12/28.59 c subs with bin: 85 lits-rem: 105 v-fix: 0 time: 0.00 s
227.12/28.60 c Subs w/ non-existent bins: 7 l-rem: 4 v-fix: 0 done: 4685 time: 0.00 s
227.92/28.60 c Removed useless bin: 12 fixed: 0 props: 0.14M time: 0.00 s
227.92/28.61 c lits-rem: 13 cl-subs: 108 v-elim: 94 v-fix: 0 time: 0.01 s
229.57/28.81 c subs with bin: 1731 lits-rem: 5950 v-fix: 0 time: 0.17 s
230.37/28.96 c lits-rem: 1364 cl-subs: 1253 v-elim: 0 v-fix: 0 time: 0.15 s
230.37/28.96 c vivif2 -- cl tried 9408 cl shrink 24 lits rem 24 time: 0.00
230.37/28.98 c vivif2 -- cl tried 16252 cl shrink 6299 lits rem 20185 time: 0.02
231.91/29.11 c asymm cl-useful: 67/9408/9408 lits-rem:204 time: 0.12
231.91/29.11 c calculated reachability. Time: 0.00
231.91/29.11 c N st 38 158485 4591 9378 9718 16249 55546 320572 no data no data
233.51/29.32 c Following stats are for *FIRST FINISHED THREAD ONLY*
233.51/29.32 c num threads : 8
233.51/29.32 c restarts : 38
233.51/29.32 c dynamic restarts : 0
233.51/29.32 c static restarts : 38
233.51/29.32 c full restarts : 2
233.51/29.32 c total simplify time : 0.32
233.51/29.32 c learnts DL2 : 0
233.51/29.32 c learnts size 2 : 121983
233.51/29.32 c learnts size 1 : 3882 (19.41 % of vars)
233.51/29.32 c filedLit time : 1.43 (4.90 % time)
233.51/29.32 c v-elim SatELite : 5913 (29.57 % vars)
233.51/29.32 c SatELite time : 0.53 (1.82 % time)
233.51/29.32 c v-elim xor : 1187 (5.94 % vars)
233.51/29.32 c xor elim time : 0.03 (0.09 % time)
233.51/29.32 c num binary xor trees : 2198
233.51/29.32 c binxor trees' crown : 4865 (2.21 leafs/tree)
233.51/29.32 c bin xor find time : 0.18
233.51/29.32 c OTF clause improved : 6599 (0.04 clauses/conflict)
233.51/29.32 c OTF impr. size diff : 8343 (1.26 lits/clause)
233.51/29.32 c OTF cl watch-shrink : 106046 (0.58 clauses/conflict)
233.51/29.32 c OTF cl watch-sh-lit : 267835 (2.53 lits/clause)
233.51/29.32 c tried to recurMin cls : 41903 (22.78 % of conflicts)
233.51/29.32 c updated cache : 0 (0.00 lits/tried recurMin)
233.51/29.32 c unit cls recevied : 55 (1.42 % of units)
233.51/29.32 c unit cls sent : 274 (7.06 % of units)
233.51/29.32 c bin cls recevied : 45284
233.51/29.32 c bin cls sent : 2818
233.51/29.32 c clauses over max glue : 0 (0.00 % of all clauses)
233.51/29.32 c conflicts : 183962 (6309.45 / sec)
233.51/29.32 c decisions : 249545 (4.70 % random)
233.51/29.32 c bogo-props : 2309362625 (79205574.00 / sec)
233.51/29.32 c conflict literals : 5789637 (37.01 % deleted)
233.51/29.32 c Memory used : 916.21 MB
233.51/29.32 c single-thread CPU time : 29.16 s
233.51/29.32 c all-threads sum CPU time : 233.07 s
233.51/29.32 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3321187-1304325727/watcher-3321187-1304325727 -o /tmp/evaluation-result-3321187-1304325727/solver-3321187-1304325727 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321187-1304325727.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: 8.51 8.17 8.56 1/240 27143
/proc/meminfo: memFree=32648248/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=92188 CPUtime=0.02 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 422 0 0 0 2 0 0 0 23 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218482 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27143/statm: 23047 361 303 106 0 18018 0
[pid=27143/tid=27144] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218073 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218476 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218073 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218073 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218073 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218073 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218073 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.012373 s]
/proc/loadavg: 8.51 8.17 8.56 1/240 27143
/proc/meminfo: memFree=32648248/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=92188 CPUtime=0.04 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 422 0 0 0 4 0 0 0 23 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218482 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27143/statm: 23047 361 303 106 0 18018 0
[pid=27143/tid=27144] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218071 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218476 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218077 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218073 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218071 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218067 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=92188 CPUtime=0 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 622803405 94400512 361 33554432000 4194304 4627427 140734904602784 18446744073709551615 47487809218073 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 92188
[startup+0.100382 s]
/proc/loadavg: 8.51 8.17 8.56 1/240 27143
/proc/meminfo: memFree=32648248/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=648344 CPUtime=0.58 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) S 27141 27143 26751 0 -1 4202496 21753 0 0 0 40 18 0 0 17 0 8 0 622803405 663904256 18152 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905499118 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 162086 18198 347 106 0 157057 0
[pid=27143/tid=27144] ppid=27141 vsize=648344 CPUtime=0.07 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 3010 0 0 0 5 2 0 0 17 0 8 0 622803405 663904256 18218 33554432000 4194304 4627427 140734904602784 18446744073709551615 4299634 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=648344 CPUtime=0.04 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 2703 0 0 0 3 1 0 0 17 0 8 0 622803405 663904256 18231 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905055265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=648476 CPUtime=0.06 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 2705 0 0 0 4 2 0 0 17 0 8 0 622803405 664039424 18242 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=648476 CPUtime=0.07 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 2636 0 0 0 5 2 0 0 17 0 8 0 622803405 664039424 18244 33554432000 4194304 4627427 140734904602784 18446744073709551615 4350866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=648960 CPUtime=0.06 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 2567 0 0 0 5 1 0 0 17 0 8 0 622803405 664535040 18354 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905499118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=648960 CPUtime=0.07 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 2825 0 0 0 6 1 0 0 17 0 8 0 622803405 664535040 18383 33554432000 4194304 4627427 140734904602784 18446744073709551615 4299545 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=648960 CPUtime=0.06 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 2302 0 0 0 5 1 0 0 17 0 8 0 622803405 664535040 18416 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 648344
[startup+0.572744 s]
/proc/loadavg: 8.51 8.17 8.56 1/240 27143
/proc/meminfo: memFree=32648248/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=650360 CPUtime=4.37 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) D 27141 27143 26751 0 -1 4202496 24305 0 0 0 418 19 0 0 18 0 8 0 622803405 665968640 20681 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905437367 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 162623 20981 368 106 0 157594 0
[pid=27143/tid=27144] ppid=27141 vsize=650492 CPUtime=0.55 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) D 27141 27143 26751 0 -1 4202560 3306 0 0 0 53 2 0 0 18 0 8 0 622803405 666103808 21028 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=650492 CPUtime=0.52 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) D 27141 27143 26751 0 -1 4202560 3043 0 0 0 50 2 0 0 18 0 8 0 622803405 666103808 21029 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905055265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=650492 CPUtime=0.55 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 3029 0 0 0 52 3 0 0 18 0 8 0 622803405 666103808 21094 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905054917 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=650624 CPUtime=0.55 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 3007 0 0 0 53 2 0 0 18 0 8 0 622803405 666238976 21356 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=650756 CPUtime=0.55 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 2834 0 0 0 53 2 0 0 18 0 8 0 622803405 666374144 21621 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=651020 CPUtime=0.56 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) D 27141 27143 26751 0 -1 4202560 3464 0 0 0 55 1 0 0 18 0 8 0 622803405 666644480 22200 33554432000 4194304 4627427 140734904602784 18446744073709551615 4229226 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=651152 CPUtime=0.56 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 2842 0 0 0 55 1 0 0 18 0 8 0 622803405 666779648 22442 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 650360
[startup+0.703414 s]
/proc/loadavg: 8.51 8.17 8.56 1/240 27143
/proc/meminfo: memFree=32648248/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=655664 CPUtime=5.29 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 33225 0 0 0 505 24 0 0 18 0 8 0 622803405 671399936 29600 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905437367 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 163916 29600 368 106 0 158887 0
[pid=27143/tid=27144] ppid=27141 vsize=655664 CPUtime=0.66 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) D 27141 27143 26751 0 -1 4202560 4662 0 0 0 63 3 0 0 18 0 8 0 622803405 671399936 29600 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=655664 CPUtime=0.62 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) D 27141 27143 26751 0 -1 4202560 4237 0 0 0 60 2 0 0 18 0 8 0 622803405 671399936 29600 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=655664 CPUtime=0.65 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) D 27141 27143 26751 0 -1 4202560 4157 0 0 0 62 3 0 0 18 0 8 0 622803405 671399936 29600 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=655664 CPUtime=0.65 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) D 27141 27143 26751 0 -1 4202560 4084 0 0 0 62 3 0 0 18 0 8 0 622803405 671399936 29600 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=655664 CPUtime=0.66 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) D 27141 27143 26751 0 -1 4202560 3955 0 0 0 63 3 0 0 18 0 8 0 622803405 671399936 29600 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=655664 CPUtime=0.66 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) D 27141 27143 26751 0 -1 4202560 4541 0 0 0 64 2 0 0 18 0 8 0 622803405 671399936 29600 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905054917 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=655664 CPUtime=0.66 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 2871 0 0 0 65 1 0 0 18 0 8 0 622803405 671399936 29600 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 655664
[startup+1.5011 s]
/proc/loadavg: 8.51 8.17 8.56 9/248 27151
/proc/meminfo: memFree=32430264/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=675848 CPUtime=11.35 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 67553 0 0 0 1096 39 0 0 18 0 8 0 622803405 692068352 62973 33554432000 4194304 4627427 140734904602784 18446744073709551615 4435187 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 168962 62977 383 106 0 163933 0
[pid=27143/tid=27144] ppid=27141 vsize=675848 CPUtime=1.42 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 9931 0 0 0 137 5 0 0 19 0 8 0 622803405 692068352 62979 33554432000 4194304 4627427 140734904602784 18446744073709551615 260905499167 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=675848 CPUtime=1.38 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 8790 0 0 0 135 3 0 0 18 0 8 0 622803405 692068352 62981 33554432000 4194304 4627427 140734904602784 18446744073709551615 4431969 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=675848 CPUtime=1.41 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 8747 0 0 0 136 5 0 0 18 0 8 0 622803405 692068352 62983 33554432000 4194304 4627427 140734904602784 18446744073709551615 4508542 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=675848 CPUtime=1.41 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 8429 0 0 0 134 7 0 0 18 0 8 0 622803405 692068352 62985 33554432000 4194304 4627427 140734904602784 18446744073709551615 4435213 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=675848 CPUtime=1.41 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 8422 0 0 0 136 5 0 0 18 0 8 0 622803405 692068352 62986 33554432000 4194304 4627427 140734904602784 18446744073709551615 4436206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=675848 CPUtime=1.42 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 10172 0 0 0 138 4 0 0 18 0 8 0 622803405 692068352 62988 33554432000 4194304 4627427 140734904602784 18446744073709551615 4441204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=675848 CPUtime=1.44 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 3581 0 0 0 142 2 0 0 19 0 8 0 622803405 692068352 62989 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.35
Current children cumulated vsize (KiB) 675848
[startup+3.10081 s]
/proc/loadavg: 8.47 8.16 8.56 10/248 27151
/proc/meminfo: memFree=32363924/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=718184 CPUtime=24.11 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 85332 0 0 0 2365 46 0 0 20 0 8 0 622803405 735420416 74361 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 179546 74361 389 106 0 174517 0
[pid=27143/tid=27144] ppid=27141 vsize=718184 CPUtime=3.01 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 12370 0 0 0 296 5 0 0 20 0 8 0 622803405 735420416 74361 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=718184 CPUtime=2.97 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 11077 0 0 0 293 4 0 0 20 0 8 0 622803405 735420416 74361 33554432000 4194304 4627427 140734904602784 18446744073709551615 4330026 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=718184 CPUtime=3 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 11574 0 0 0 295 5 0 0 20 0 8 0 622803405 735420416 74361 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=718184 CPUtime=3.01 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 10916 0 0 0 293 8 0 0 20 0 8 0 622803405 735420416 74362 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=718184 CPUtime=3.01 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 11112 0 0 0 294 7 0 0 20 0 8 0 622803405 735420416 74362 33554432000 4194304 4627427 140734904602784 18446744073709551615 4330039 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=718184 CPUtime=3.01 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 12223 0 0 0 296 5 0 0 21 0 8 0 622803405 735420416 74362 33554432000 4194304 4627427 140734904602784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=718184 CPUtime=3.03 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 4204 0 0 0 301 2 0 0 23 0 8 0 622803405 735420416 74362 33554432000 4194304 4627427 140734904602784 18446744073709551615 4321463 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.11
Current children cumulated vsize (KiB) 718184
[startup+6.30122 s]
/proc/loadavg: 8.47 8.16 8.56 9/248 27151
/proc/meminfo: memFree=32330964/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=739508 CPUtime=49.69 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 100017 0 0 0 4920 49 0 0 25 0 8 0 622803405 757256192 80134 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 184877 80134 390 106 0 179848 0
[pid=27143/tid=27144] ppid=27141 vsize=739508 CPUtime=6.21 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 13958 0 0 0 615 6 0 0 25 0 8 0 622803405 757256192 80134 33554432000 4194304 4627427 140734904602784 18446744073709551615 4332048 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=739508 CPUtime=6.18 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 12834 0 0 0 613 5 0 0 25 0 8 0 622803405 757256192 80134 33554432000 4194304 4627427 140734904602784 18446744073709551615 4329707 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=739508 CPUtime=6.21 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 13042 0 0 0 615 6 0 0 25 0 8 0 622803405 757256192 80134 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309965 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=739508 CPUtime=6.2 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 12736 0 0 0 612 8 0 0 25 0 8 0 622803405 757256192 80134 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=739508 CPUtime=6.21 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 12816 0 0 0 614 7 0 0 25 0 8 0 622803405 757256192 80134 33554432000 4194304 4627427 140734904602784 18446744073709551615 4333433 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=739508 CPUtime=6.22 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 14856 0 0 0 616 6 0 0 25 0 8 0 622803405 757256192 80134 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=739508 CPUtime=6.23 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 5817 0 0 0 621 2 0 0 25 0 8 0 622803405 757256192 80134 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 15964 0 0 0 1253 7 0 0 25 0 8 0 622803405 775827456 95460 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=757644 CPUtime=12.62 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 18116 0 0 0 1255 7 0 0 25 0 8 0 622803405 775827456 95460 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=757644 CPUtime=12.62 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 6998 0 0 0 1260 2 0 0 25 0 8 0 622803405 775827456 95460 33554432000 4194304 4627427 140734904602784 18446744073709551615 4321435 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.83
Current children cumulated vsize (KiB) 757644
[startup+25.5007 s]
/proc/loadavg: 8.34 8.15 8.55 9/248 27152
/proc/meminfo: memFree=32179388/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=872660 CPUtime=203.2 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 165088 0 0 0 20255 65 0 0 25 0 8 0 622803405 893603840 117952 33554432000 4194304 4627427 140734904602784 18446744073709551615 4299657 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 218165 117952 391 106 0 213136 0
[pid=27143/tid=27144] ppid=27141 vsize=872660 CPUtime=25.42 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22959 0 0 0 2533 9 0 0 25 0 8 0 622803405 893603840 117952 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=872660 CPUtime=25.39 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 19925 0 0 0 2533 6 0 0 25 0 8 0 622803405 893603840 117952 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=872660 CPUtime=25.41 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22106 0 0 0 2533 8 0 0 25 0 8 0 622803405 893603840 117952 33554432000 4194304 4627427 140734904602784 18446744073709551615 4324114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=872660 CPUtime=25.41 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 20879 0 0 0 2531 10 0 0 25 0 8 0 622803405 893603840 117952 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309067 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=872660 CPUtime=25.41 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 21034 0 0 0 2533 8 0 0 25 0 8 0 622803405 893603840 117952 33554432000 4194304 4627427 140734904602784 18446744073709551615 4260901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=872660 CPUtime=25.42 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 24294 0 0 0 2534 8 0 0 25 0 8 0 622803405 893603840 117952 33554432000 4194304 4627427 140734904602784 18446744073709551615 4332856 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=872660 CPUtime=25.44 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 9860 0 0 0 2541 3 0 0 25 0 8 0 622803405 893603840 117952 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.2
Current children cumulated vsize (KiB) 872660
Solver just ended. Dumping a history of the last processes samples
[startup+25.8007 s]
/proc/loadavg: 8.34 8.15 8.55 9/248 27152
/proc/meminfo: memFree=32179388/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=872660 CPUtime=205.53 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 165340 0 0 0 20488 65 0 0 25 0 8 0 622803405 893603840 118204 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 218165 118204 391 106 0 213136 0
[pid=27143/tid=27144] ppid=27141 vsize=872660 CPUtime=25.71 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22960 0 0 0 2562 9 0 0 25 0 8 0 622803405 893603840 118204 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309043 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=872660 CPUtime=25.68 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 19925 0 0 0 2562 6 0 0 25 0 8 0 622803405 893603840 118204 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=872660 CPUtime=25.71 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22106 0 0 0 2563 8 0 0 25 0 8 0 622803405 893603840 118204 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=872660 CPUtime=25.7 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 20940 0 0 0 2560 10 0 0 25 0 8 0 622803405 893603840 118204 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=872660 CPUtime=25.7 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 21095 0 0 0 2562 8 0 0 25 0 8 0 622803405 893603840 118204 33554432000 4194304 4627427 140734904602784 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=872660 CPUtime=25.71 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 24388 0 0 0 2563 8 0 0 25 0 8 0 622803405 893603840 118204 33554432000 4194304 4627427 140734904602784 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=872660 CPUtime=25.73 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 9895 0 0 0 2570 3 0 0 25 0 8 0 622803405 893603840 118204 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 205.53
Current children cumulated vsize (KiB) 872660
[startup+27.4004 s]
/proc/loadavg: 8.31 8.15 8.54 9/248 27152
/proc/meminfo: memFree=32191912/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=807124 CPUtime=218.32 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 168340 0 0 0 21767 65 0 0 25 0 8 0 622803405 826494976 116106 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 201781 116106 391 106 0 196752 0
[pid=27143/tid=27144] ppid=27141 vsize=807124 CPUtime=27.31 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 23015 0 0 0 2722 9 0 0 25 0 8 0 622803405 826494976 116106 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=807124 CPUtime=27.28 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 20060 0 0 0 2722 6 0 0 25 0 8 0 622803405 826494976 116106 33554432000 4194304 4627427 140734904602784 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=807124 CPUtime=27.3 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22262 0 0 0 2722 8 0 0 25 0 8 0 622803405 826494976 116106 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=807124 CPUtime=27.3 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 21274 0 0 0 2720 10 0 0 25 0 8 0 622803405 826494976 116106 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=807124 CPUtime=27.3 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 21426 0 0 0 2722 8 0 0 25 0 8 0 622803405 826494976 116106 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=807124 CPUtime=27.31 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 25236 0 0 0 2723 8 0 0 25 0 8 0 622803405 826494976 116106 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=807124 CPUtime=27.33 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 10464 0 0 0 2730 3 0 0 25 0 8 0 622803405 826494976 116106 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 218.32
Current children cumulated vsize (KiB) 807124
[startup+28.2012 s]
/proc/loadavg: 8.31 8.15 8.54 9/248 27152
/proc/meminfo: memFree=32183108/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=872660 CPUtime=224.72 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 170468 0 0 0 22406 66 0 0 25 0 8 0 622803405 893603840 118234 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308280 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 218165 118234 391 106 0 213136 0
[pid=27143/tid=27144] ppid=27141 vsize=872660 CPUtime=28.11 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 23032 0 0 0 2802 9 0 0 25 0 8 0 622803405 893603840 118234 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=872660 CPUtime=28.08 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 20284 0 0 0 2802 6 0 0 25 0 8 0 622803405 893603840 118234 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=872660 CPUtime=28.1 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22262 0 0 0 2802 8 0 0 25 0 8 0 622803405 893603840 118234 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=872660 CPUtime=28.1 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22118 0 0 0 2800 10 0 0 25 0 8 0 622803405 893603840 118234 33554432000 4194304 4627427 140734904602784 18446744073709551615 4332648 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=872660 CPUtime=28.11 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 21995 0 0 0 2802 9 0 0 25 0 8 0 622803405 893603840 118234 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=872660 CPUtime=28.11 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 25441 0 0 0 2803 8 0 0 25 0 8 0 622803405 893603840 118234 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=872660 CPUtime=28.12 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 10568 0 0 0 2809 3 0 0 25 0 8 0 622803405 893603840 118234 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 224.72
Current children cumulated vsize (KiB) 872660
[startup+29.0011 s]
/proc/loadavg: 8.31 8.15 8.54 9/248 27152
/proc/meminfo: memFree=32172196/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=938196 CPUtime=231.11 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 172920 0 0 0 23045 66 0 0 25 0 8 0 622803405 960712704 119684 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 234549 119684 391 106 0 229520 0
[pid=27143/tid=27144] ppid=27141 vsize=938196 CPUtime=28.91 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 23103 0 0 0 2882 9 0 0 25 0 8 0 622803405 960712704 119684 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=938196 CPUtime=28.88 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 20349 0 0 0 2882 6 0 0 25 0 8 0 622803405 960712704 119684 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=938196 CPUtime=28.9 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22266 0 0 0 2882 8 0 0 25 0 8 0 622803405 960712704 119684 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=938196 CPUtime=28.9 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22336 0 0 0 2880 10 0 0 25 0 8 0 622803405 960712704 119684 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=938196 CPUtime=28.91 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22148 0 0 0 2882 9 0 0 25 0 8 0 622803405 960712704 119684 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=938196 CPUtime=28.91 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 25695 0 0 0 2883 8 0 0 25 0 8 0 622803405 960712704 119684 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=938196 CPUtime=28.93 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 11030 0 0 0 2889 4 0 0 25 0 8 0 622803405 960712704 119684 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 231.11
Current children cumulated vsize (KiB) 938196
[startup+29.201 s]
/proc/loadavg: 8.31 8.15 8.54 9/248 27152
/proc/meminfo: memFree=32172196/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=938196 CPUtime=232.7 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 173120 0 0 0 23204 66 0 0 25 0 8 0 622803405 960712704 119884 33554432000 4194304 4627427 140734904602784 18446744073709551615 4321691 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 234549 119884 391 106 0 229520 0
[pid=27143/tid=27144] ppid=27141 vsize=938196 CPUtime=29.11 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 23118 0 0 0 2902 9 0 0 25 0 8 0 622803405 960712704 119884 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309200 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=938196 CPUtime=29.08 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 20351 0 0 0 2902 6 0 0 25 0 8 0 622803405 960712704 119884 33554432000 4194304 4627427 140734904602784 18446744073709551615 4321480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=938196 CPUtime=29.1 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22266 0 0 0 2902 8 0 0 25 0 8 0 622803405 960712704 119884 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=938196 CPUtime=29.1 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22383 0 0 0 2900 10 0 0 25 0 8 0 622803405 960712704 119884 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=938196 CPUtime=29.11 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22180 0 0 0 2902 9 0 0 25 0 8 0 622803405 960712704 119884 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=938196 CPUtime=29.11 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 25753 0 0 0 2903 8 0 0 25 0 8 0 622803405 960712704 119884 33554432000 4194304 4627427 140734904602784 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=938196 CPUtime=29.13 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 11057 0 0 0 2909 4 0 0 25 0 8 0 622803405 960712704 119884 33554432000 4194304 4627427 140734904602784 18446744073709551615 4334195 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 232.7
Current children cumulated vsize (KiB) 938196
[startup+29.301 s]
/proc/loadavg: 8.31 8.15 8.54 9/248 27152
/proc/meminfo: memFree=32172196/32950928 swapFree=65758260/67111528
[pid=27143] ppid=27141 vsize=938196 CPUtime=233.51 cores=0-7
/proc/27143/stat : 27143 (strangenight2-m) R 27141 27143 26751 0 -1 4202496 173676 0 0 0 23284 67 0 0 25 0 8 0 622803405 960712704 120440 33554432000 4194304 4627427 140734904602784 18446744073709551615 4299630 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/27143/statm: 234549 120440 391 106 0 229520 0
[pid=27143/tid=27144] ppid=27141 vsize=938196 CPUtime=29.21 cores=0-7
/proc/27143/task/27144/stat : 27144 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 23128 0 0 0 2912 9 0 0 25 0 8 0 622803405 960712704 120440 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27143/tid=27145] ppid=27141 vsize=938196 CPUtime=29.18 cores=0-7
/proc/27143/task/27145/stat : 27145 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 20351 0 0 0 2912 6 0 0 25 0 8 0 622803405 960712704 120440 33554432000 4194304 4627427 140734904602784 18446744073709551615 4310609 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27143/tid=27146] ppid=27141 vsize=938196 CPUtime=29.2 cores=0-7
/proc/27143/task/27146/stat : 27146 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22266 0 0 0 2912 8 0 0 25 0 8 0 622803405 960712704 120440 33554432000 4194304 4627427 140734904602784 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27143/tid=27147] ppid=27141 vsize=938196 CPUtime=29.2 cores=0-7
/proc/27143/task/27147/stat : 27147 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22399 0 0 0 2910 10 0 0 25 0 8 0 622803405 960712704 120440 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27143/tid=27148] ppid=27141 vsize=938196 CPUtime=29.21 cores=0-7
/proc/27143/task/27148/stat : 27148 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 22195 0 0 0 2912 9 0 0 25 0 8 0 622803405 960712704 120440 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27143/tid=27149] ppid=27141 vsize=938196 CPUtime=29.21 cores=0-7
/proc/27143/task/27149/stat : 27149 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 26226 0 0 0 2913 8 0 0 25 0 8 0 622803405 960712704 120440 33554432000 4194304 4627427 140734904602784 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27143/tid=27150] ppid=27141 vsize=938196 CPUtime=29.23 cores=0-7
/proc/27143/task/27150/stat : 27150 (strangenight2-m) R 27141 27143 26751 0 -1 4202560 11075 0 0 0 2919 4 0 0 25 0 8 0 622803405 960712704 120440 33554432000 4194304 4627427 140734904602784 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 233.51
Current children cumulated vsize (KiB) 938196
Child status: 20
Real time (s): 29.3526
CPU time (s): 233.766
CPU user time (s): 233.073
CPU system time (s): 0.693894
CPU usage (%): 796.408
Max. virtual memory (cumulated for all children) (KiB): 938196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 233.073
system time used= 0.693894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173711
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= 39636
involuntary context switches= 1097
runsolver used 0.076988 second user time and 0.147977 second system time
The end
Begin job on node116 at 2011-05-02 10:42:07
IDJOB=3321187
IDBENCH=83117
IDSOLVER=1709
FILE ID=node116/3321187-1304325727
RUNJOBID= node116-1304322188-26765
PBS_JOBID= 13176810
Free space on /tmp= 73840 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321187-1304325727/watcher-3321187-1304325727 -o /tmp/evaluation-result-3321187-1304325727/solver-3321187-1304325727 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321187-1304325727.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= f3c2fb082f5fbc8fb1f714d6ee13929d
RANDOM SEED=39397499
node116.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.826
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.65
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.826
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 : 5226.15
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.826
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.75
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.826
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.75
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.826
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.77
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.826
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.826
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.75
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.826
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: 32648404 kB
Buffers: 31088 kB
Cached: 79112 kB
SwapCached: 24500 kB
Active: 77544 kB
Inactive: 62016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 32648404 kB
SwapTotal: 67111528 kB
SwapFree: 65758260 kB
Dirty: 6628 kB
Writeback: 0 kB
AnonPages: 16632 kB
Mapped: 7200 kB
Slab: 84356 kB
PageTables: 13940 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 34922756 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= 73832 MiB
End job on node116 at 2011-05-02 10:42:37