0.00/0.00 c Outputting solution to console
0.00/0.00 c Using 8 threads
0.00/0.01 c This is CryptoMiniSat 3.0.0
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3321134-1307636047.cnf'
0.00/0.01 c -- header says num vars: 259762
0.00/0.01 c -- header says num clauses: 656573
4.29/0.88 c -- clauses added: 0 learnts, 656573 normals, 0 xors
4.29/0.88 c -- vars added 259762
4.29/0.88 c Parsing time: 0.36 s
4.29/0.88 c N st 0 0 259762 218857 437714 0 1531999 0 no data no data
13.68/2.00 c asymm cl-useful: 0/844/216224 lits-rem:0 time: 1.12
156.36/19.95 c Flit: 0 Blit: 4662 bXBeca: 0 bXProp: 3592 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 17.73
156.36/19.98 c Cleaning up after failed var search: 0.03 s
157.16/20.04 c Replacing 3592 vars Replaced 46696 lits Time: 0.05 s
157.96/20.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
157.96/20.16 c bin-w-bin subsume rem 0 bins time: 0.04 s
158.77/20.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s
177.13/22.59 c Subs w/ non-existent bins: 1 l-rem: 1 v-fix: 9527 done: 47736 time: 2.32 s
178.72/22.77 c Removed useless bin: 418 fixed: 0 props: 20.00M time: 0.18 s
213.06/27.12 c lits-rem: 0 cl-subs: 103 v-elim: 82958 v-fix: 0 time: 4.03 s
213.06/27.18 c Finding binary XORs T: 0.05 s found: 8572
213.86/27.22 c Replacing 8572 vars Replaced 77200 lits Time: 0.05 s
213.86/27.26 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan)
213.86/27.26 c calculated reachability. Time: 0.00
213.86/27.28 c Calc default polars - time: 0.02 s pos: 13258 undec: 114015 neg: 132489
213.86/27.28 c =========================================================================================
213.86/27.28 c types(t): F = full restart, N = normal restart
213.86/27.28 c types(t): S = simplification begin/end, E = solution found
213.86/27.28 c restart types(rt): st = static, dy = dynamic
213.86/27.28 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
213.86/27.28 c B st 0 0 147817 109942 307184 0 949717 0 no data no data
287.40/36.44 c N dy 18 4469 135899 102865 290054 3847 893215 2500855 10.37 11.16
289.80/36.73 c Finding binary XORs T: 0.05 s found: 8573
290.60/36.84 c Replacing 8573 vars Replaced 117306 lits Time: 0.10 s
321.83/40.74 c N dy 37 8511 110592 92325 265606 7793 780661 3922955 10.66 22.96
349.76/44.26 c N dy 58 12636 103709 75811 243660 11835 654177 4638185 11.04 11.78
357.00/45.11 c Finding binary XORs T: 0.05 s found: 13474
358.55/45.33 c Replacing 13474 vars Replaced 489553 lits Time: 0.22 s
376.14/47.56 c N dy 76 17412 85464 64923 180661 16459 534354 4941745 10.75 11.42
396.93/50.14 c N dy 92 21586 74982 57329 168847 11046 473250 1072771 10.57 11.23
415.30/52.46 c F st 98 25000 73749 57329 168847 14419 473250 1839634 10.35 6.95
418.53/52.82 c N st 100 25626 68153 48825 173997 15033 410538 1517768 10.35 no data
419.28/52.99 c Finding binary XORs T: 0.05 s found: 20162
420.09/53.04 c Replacing 20162 vars Replaced 403207 lits Time: 0.04 s
422.49/53.32 c N dy 104 30000 26413 25949 61269 19230 191710 328910 10.35 no data
422.49/53.32 c S st 104 30000 26413 25949 61269 19230 191710 328910 10.35 no data
423.28/53.46 c S st 104 30502 26413 25949 61311 19688 191710 336918 10.35 no data
423.28/53.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
529.13/66.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 7308 Bins: 20811 BRemL: 3095 BRemN: 0 P: 180.5M T: 13.05
529.94/66.81 c Replacing 7308 vars Replaced 135807 lits Time: 0.03 s
529.94/66.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
529.94/66.83 c bin-w-bin subsume rem 17077 bins time: 0.01 s
529.94/66.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
532.37/67.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 19105 time: 0.27 s
533.13/67.27 c Removed useless bin: 0 fixed: 0 props: 18.16M time: 0.14 s
536.33/67.68 c lits-rem: 0 cl-subs: 7309 v-elim: 11217 v-fix: 0 time: 0.41 s
537.13/67.70 c subs with bin: 0 lits-rem: 65 v-fix: 0 time: 0.01 s
537.13/67.72 c lits-rem: 68 cl-subs: 228 v-elim: 0 v-fix: 0 time: 0.02 s
537.13/67.74 c asymm cl-useful: 0/8900/9744 lits-rem:0 time: 0.02
537.13/67.76 c calculated reachability. Time: 0.02
537.13/67.76 c N dy 104 30502 7888 9744 16672 2450 94194 32221 10.35 no data
537.93/67.88 c Finding binary XORs T: 0.12 s found: 0
540.37/68.14 c N dy 123 34798 7887 9744 16680 6421 94194 120852 10.60 11.79
541.92/68.39 c N dy 140 39074 7885 9744 16766 10426 94194 207679 10.64 11.63
544.31/68.63 c N dy 148 43318 7885 9744 16766 8145 94194 93413 10.23 11.15
545.11/68.76 c S st 157 45754 7885 9744 16919 10381 94194 134619 10.09 6.71
545.91/68.80 c S st 157 46258 7885 9744 16919 10846 94194 141625 10.09 no data
545.91/68.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
548.31/69.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 45 BRemL: 170 BRemN: 0 P: 1.6M T: 0.29
548.31/69.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
548.31/69.11 c bin-w-bin subsume rem 59 bins time: 0.00 s
548.31/69.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
548.31/69.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7885 time: 0.02 s
548.31/69.18 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s
549.15/69.24 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
549.15/69.28 c subs with bin: 14 lits-rem: 261 v-fix: 0 time: 0.03 s
549.95/69.34 c lits-rem: 377 cl-subs: 702 v-elim: 0 v-fix: 0 time: 0.05 s
549.95/69.34 c vivif2 -- cl tried 9732 cl shrink 0 lits rem 0 time: 0.00
549.95/69.35 c vivif2 -- cl tried 10125 cl shrink 0 lits rem 0 time: 0.01
549.95/69.39 c asymm cl-useful: 0/9732/9732 lits-rem:0 time: 0.04
549.95/69.39 c calculated reachability. Time: 0.00
549.95/69.39 c N dy 157 46258 7885 9732 16367 10125 93036 132298 10.09 no data
553.10/69.70 c N dy 170 50399 7884 9732 16438 13997 93036 206212 9.88 11.01
555.50/70.02 c N dy 178 55348 7884 9732 16438 18655 93036 278473 9.58 10.20
557.93/70.36 c N dy 193 59382 7884 9732 16445 22458 93036 353261 9.52 16.39
561.10/70.75 c N dy 218 63446 7881 9732 16460 26228 93036 438623 9.74 21.28
564.29/71.10 c N dy 238 67590 7880 9732 16465 16729 93036 183458 9.74 11.20
565.09/71.24 c S st 244 69388 7880 9732 16527 18416 93036 213613 9.69 no data
565.89/71.32 c S st 244 69890 7880 9732 16527 18864 93036 221034 9.69 no data
565.89/71.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
568.28/71.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 60 BRemL: 47 BRemN: 0 P: 2.1M T: 0.31
568.28/71.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
568.28/71.65 c bin-w-bin subsume rem 18 bins time: 0.00 s
568.28/71.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
569.08/71.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7880 time: 0.02 s
569.08/71.72 c Removed useless bin: 0 fixed: 0 props: 0.42M time: 0.01 s
569.08/71.78 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
569.88/71.85 c subs with bin: 49 lits-rem: 468 v-fix: 0 time: 0.05 s
570.67/71.93 c lits-rem: 521 cl-subs: 780 v-elim: 0 v-fix: 0 time: 0.08 s
570.67/71.93 c vivif2 -- cl tried 9712 cl shrink 0 lits rem 0 time: 0.00
570.67/71.94 c vivif2 -- cl tried 17475 cl shrink 6 lits rem 7 time: 0.01
570.67/71.98 c asymm cl-useful: 0/9712/9712 lits-rem:0 time: 0.04
570.67/71.99 c calculated reachability. Time: 0.00
570.67/71.99 c N dy 244 69890 7880 9712 15779 17475 91106 207416 9.69 no data
574.68/72.42 c N dy 270 74546 7880 9712 15791 21918 91106 307423 9.81 10.74
577.86/72.86 c N dy 304 79484 7876 9712 15873 26576 91106 417451 10.09 10.75
581.85/73.37 c N dy 340 84591 7875 9712 15916 31467 91106 558254 10.30 11.00
606.07/84.25 c Following stats are for *FIRST FINISHED THREAD ONLY*
606.07/84.25 c num threads : 8
606.07/84.25 c restarts : 481
606.07/84.25 c dynamic restarts : 463
606.07/84.25 c static restarts : 18
606.07/84.25 c full restarts : 2
606.07/84.25 c total simplify time : 0.68
606.07/84.25 c learnts DL2 : 0
606.07/84.25 c learnts size 2 : 3097735
606.07/84.25 c learnts size 1 : 106731 (41.09 % of vars)
606.07/84.25 c filedLit time : 30.92 (37.23 % time)
606.07/84.25 c v-elim SatELite : 94163 (36.25 % vars)
606.07/84.25 c SatELite time : 7.53 (9.06 % time)
606.07/84.25 c v-elim xor : 0 (0.00 % vars)
606.07/84.25 c xor elim time : 0.01 (0.02 % time)
606.07/84.25 c num binary xor trees : 5031
606.07/84.25 c binxor trees' crown : 51250 (10.19 leafs/tree)
606.07/84.25 c bin xor find time : 0.27
606.07/84.25 c OTF clause improved : 4295 (0.04 clauses/conflict)
606.07/84.25 c OTF impr. size diff : 4681 (1.09 lits/clause)
606.07/84.25 c OTF cl watch-shrink : 18898 (0.16 clauses/conflict)
606.07/84.25 c OTF cl watch-sh-lit : 38187 (2.02 lits/clause)
606.07/84.25 c tried to recurMin cls : 46718 (39.43 % of conflicts)
606.07/84.25 c updated cache : 0 (0.00 lits/tried recurMin)
606.07/84.25 c unit cls recevied : 11689 (10.95 % of units)
606.07/84.25 c unit cls sent : 9014 (8.45 % of units)
606.07/84.25 c bin cls recevied : 130568
606.07/84.25 c bin cls sent : 158223
606.07/84.25 c clauses over max glue : 0 (0.00 % of all clauses)
606.07/84.25 c conflicts : 118491 (1426.74 / sec)
606.07/84.25 c decisions : 967381 (0.76 % random)
606.07/84.25 c bogo-props : 754182330 (9081022.68 / sec)
606.07/84.25 c conflict literals : 11955364 (6.09 % deleted)
606.07/84.25 c Memory used : 4515.60 MB
606.07/84.25 c single-thread CPU time : 83.05 s
606.07/84.25 c all-threads sum CPU time : 600.98 s
606.07/84.25 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3321134-1307636047/watcher-3321134-1307636047 -o /tmp/evaluation-result-3321134-1307636047/solver-3321134-1307636047 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321134-1307636047.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.44 7.92 7.58 2/165 21252
/proc/meminfo: memFree=29798292/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=92188 CPUtime=0 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) R 21250 21252 20904 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 8 0 875204418 94400512 352 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629868 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21252/statm: 23047 352 299 106 0 18018 0
[pid=21252/tid=21253] ppid=21250 vsize=92188 CPUtime=0 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 875204418 94400512 352 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629878 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=92188 CPUtime=0 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 875204418 94400512 352 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=92188 CPUtime=0 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 875204418 94400512 352 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=92188 CPUtime=0 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 875204418 94400512 352 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=92188 CPUtime=0 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 875204418 94400512 352 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=92188 CPUtime=0 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 875204418 94400512 352 33554432000 4194304 4627427 140736168123888 18446744073709551615 210658944054 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=92188 CPUtime=0 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 875204418 94400512 352 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629874 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.0896009 s]
/proc/loadavg: 7.44 7.92 7.58 2/165 21252
/proc/meminfo: memFree=29798292/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=630356 CPUtime=0.46 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) S 21250 21252 20904 0 -1 4202496 44032 0 0 0 27 19 0 0 17 0 8 0 875204418 645484544 35777 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21252/statm: 157589 35782 339 106 0 152560 0
[pid=21252/tid=21253] ppid=21250 vsize=630356 CPUtime=0.05 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 5506 0 0 0 3 2 0 0 17 0 8 0 875204418 645484544 35829 33554432000 4194304 4627427 140736168123888 18446744073709551615 210646807585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=630356 CPUtime=0.05 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 5950 0 0 0 3 2 0 0 17 0 8 0 875204418 645484544 35859 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=630356 CPUtime=0.05 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 5196 0 0 0 4 1 0 0 17 0 8 0 875204418 645484544 35861 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 1 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=630356 CPUtime=0.05 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 5260 0 0 0 3 2 0 0 17 0 8 0 875204418 645484544 35919 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 7 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=630356 CPUtime=0.04 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 4838 0 0 0 3 1 0 0 17 0 8 0 875204418 645484544 35953 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=630356 CPUtime=0.05 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 5659 0 0 0 3 2 0 0 17 0 8 0 875204418 645484544 35965 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=630356 CPUtime=0.05 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 5392 0 0 0 3 2 0 0 17 0 8 0 875204418 645484544 35996 33554432000 4194304 4627427 140736168123888 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 630356
[startup+0.103584 s]
/proc/loadavg: 7.44 7.92 7.58 2/165 21252
/proc/meminfo: memFree=29798292/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=630356 CPUtime=0.56 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) R 21250 21252 20904 0 -1 4202496 46020 0 0 0 33 23 0 0 17 0 8 0 875204418 645484544 37749 33554432000 4194304 4627427 140736168123888 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21252/statm: 157589 37762 339 106 0 152560 0
[pid=21252/tid=21253] ppid=21250 vsize=630356 CPUtime=0.07 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 5760 0 0 0 4 3 0 0 17 0 8 0 875204418 645484544 37775 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 6 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=630356 CPUtime=0.05 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 6172 0 0 0 3 2 0 0 17 0 8 0 875204418 645484544 37785 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=630356 CPUtime=0.06 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 5466 0 0 0 4 2 0 0 17 0 8 0 875204418 645484544 37798 33554432000 4194304 4627427 140736168123888 18446744073709551615 210646843584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=630356 CPUtime=0.06 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 5501 0 0 0 4 2 0 0 17 0 8 0 875204418 645484544 37813 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 7 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=630356 CPUtime=0.06 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 5088 0 0 0 4 2 0 0 17 0 8 0 875204418 645484544 37839 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=630356 CPUtime=0.05 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 5836 0 0 0 3 2 0 0 17 0 8 0 875204418 645484544 37841 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=630356 CPUtime=0.06 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 5690 0 0 0 3 3 0 0 17 0 8 0 875204418 645484544 37841 33554432000 4194304 4627427 140736168123888 18446744073709551615 210646843481 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 630356
[startup+0.302642 s]
/proc/loadavg: 7.44 7.92 7.58 2/165 21252
/proc/meminfo: memFree=29798292/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=725032 CPUtime=1.63 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) R 21250 21252 20904 0 -1 4202496 93717 0 0 0 100 63 0 0 17 0 8 0 875204418 742432768 77124 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251487 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21252/statm: 181258 77272 339 106 0 176229 0
[pid=21252/tid=21253] ppid=21250 vsize=725032 CPUtime=0.2 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 11299 0 0 0 12 8 0 0 17 0 8 0 875204418 742432768 77369 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=725032 CPUtime=0.2 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 12071 0 0 0 11 9 0 0 17 0 8 0 875204418 742432768 77402 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=725032 CPUtime=0.19 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 11868 0 0 0 12 7 0 0 17 0 8 0 875204418 742432768 77458 33554432000 4194304 4627427 140736168123888 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=725032 CPUtime=0.2 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 11041 0 0 0 14 6 0 0 17 0 8 0 875204418 742432768 77546 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 7 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=725032 CPUtime=0.18 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 11287 0 0 0 12 6 0 0 17 0 8 0 875204418 742432768 77658 33554432000 4194304 4627427 140736168123888 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=725032 CPUtime=0.2 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 12293 0 0 0 12 8 0 0 17 0 8 0 875204418 742432768 77753 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=725032 CPUtime=0.2 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 11638 0 0 0 11 9 0 0 17 0 8 0 875204418 742432768 77772 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 725032
[startup+0.70354 s]
/proc/loadavg: 7.44 7.92 7.58 2/165 21252
/proc/meminfo: memFree=29798292/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=1134952 CPUtime=3.81 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) S 21250 21252 20904 0 -1 4202496 193199 0 0 0 240 141 0 0 16 0 8 0 875204418 1162190848 159798 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21252/statm: 283738 159829 339 106 0 278709 0
[pid=21252/tid=21253] ppid=21250 vsize=1134952 CPUtime=0.46 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 22140 0 0 0 27 19 0 0 16 0 8 0 875204418 1162190848 159840 33554432000 4194304 4627427 140736168123888 18446744073709551615 210646843769 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=1134952 CPUtime=0.47 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 25074 0 0 0 30 17 0 0 16 0 8 0 875204418 1162190848 159853 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=1134952 CPUtime=0.45 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 22207 0 0 0 29 16 0 0 16 0 8 0 875204418 1162190848 159866 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 1 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=1134952 CPUtime=0.47 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 23820 0 0 0 31 16 0 0 16 0 8 0 875204418 1162190848 159878 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 7 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=1134952 CPUtime=0.45 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 23853 0 0 0 31 14 0 0 16 0 8 0 875204418 1162190848 159891 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=1134952 CPUtime=0.48 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 26294 0 0 0 30 18 0 0 16 0 8 0 875204418 1162190848 159904 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=1134952 CPUtime=0.47 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 25614 0 0 0 28 19 0 0 16 0 8 0 875204418 1162190848 159916 33554432000 4194304 4627427 140736168123888 18446744073709551615 210647251438 0 0 4096 2 18446604453868602304 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 1134952
[startup+1.50035 s]
/proc/loadavg: 7.44 7.92 7.58 9/173 21260
/proc/meminfo: memFree=29027220/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=1206656 CPUtime=9.68 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) R 21250 21252 20904 0 -1 4202496 227106 0 0 0 795 173 0 0 16 0 8 0 875204418 1235615744 192842 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21252/statm: 301664 192842 365 106 0 296635 0
[pid=21252/tid=21253] ppid=21250 vsize=1206656 CPUtime=1.2 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 25804 0 0 0 97 23 0 0 16 0 8 0 875204418 1235615744 192842 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=1206656 CPUtime=1.2 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 28576 0 0 0 99 21 0 0 16 0 8 0 875204418 1235615744 192842 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=1206656 CPUtime=1.2 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 28089 0 0 0 99 21 0 0 16 0 8 0 875204418 1235615744 192842 33554432000 4194304 4627427 140736168123888 18446744073709551615 4299670 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=1206656 CPUtime=1.2 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 27500 0 0 0 100 20 0 0 16 0 8 0 875204418 1235615744 192842 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=1206656 CPUtime=1.17 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 27963 0 0 0 100 17 0 0 16 0 8 0 875204418 1235615744 192842 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=1206656 CPUtime=1.21 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 30473 0 0 0 99 22 0 0 17 0 8 0 875204418 1235615744 192842 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=1206656 CPUtime=1.21 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 30611 0 0 0 99 22 0 0 17 0 8 0 875204418 1235615744 192842 33554432000 4194304 4627427 140736168123888 18446744073709551615 4322509 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (KiB) 1206656
[startup+3.10108 s]
/proc/loadavg: 7.44 7.92 7.58 10/173 21260
/proc/meminfo: memFree=28998780/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=1206656 CPUtime=22.48 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) R 21250 21252 20904 0 -1 4202496 235129 0 0 0 2073 175 0 0 19 0 8 0 875204418 1235615744 200390 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/21252/statm: 301664 200390 367 106 0 296635 0
[pid=21252/tid=21253] ppid=21250 vsize=1206656 CPUtime=2.8 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 26057 0 0 0 257 23 0 0 18 0 8 0 875204418 1235615744 200390 33554432000 4194304 4627427 140736168123888 18446744073709551615 4299638 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=1206656 CPUtime=2.8 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 29844 0 0 0 258 22 0 0 19 0 8 0 875204418 1235615744 200390 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=1206656 CPUtime=2.8 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 29104 0 0 0 259 21 0 0 19 0 8 0 875204418 1235615744 200390 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=1206656 CPUtime=2.81 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 28945 0 0 0 260 21 0 0 19 0 8 0 875204418 1235615744 200390 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=1206656 CPUtime=2.78 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 28978 0 0 0 260 18 0 0 19 0 8 0 875204418 1235615744 200390 33554432000 4194304 4627427 140736168123888 18446744073709551615 4309379 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=1206656 CPUtime=2.81 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 31360 0 0 0 259 22 0 0 19 0 8 0 875204418 1235615744 200390 33554432000 4194304 4627427 140736168123888 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=1206656 CPUtime=2.82 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 31611 0 0 0 259 23 0 0 19 0 8 0 875204418 1235615744 200390 33554432000 4194304 4627427 140736168123888 18446744073709551615 4310580 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.48
Current children cumulated vsize (KiB) 1206656
[startup+6.30054 s]
/proc/loadavg: 7.56 7.94 7.59 9/173 21260
/proc/meminfo: memFree=28993848/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=1239472 CPUtime=47.77 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) R 21250 21252 20904 0 -1 4202496 237325 0 0 0 4599 178 0 0 25 0 8 0 875204418 1269219328 201640 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21252/statm: 309868 201640 367 106 0 304839 0
[pid=21252/tid=21253] ppid=21250 vsize=1239472 CPUtime=5.93 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 26057 0 0 0 566 27 0 0 25 0 8 0 875204418 1269219328 201640 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=1239472 CPUtime=6 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 29844 0 0 0 578 22 0 0 25 0 8 0 875204418 1269219328 201640 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=1239472 CPUtime=6 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 29104 0 0 0 579 21 0 0 25 0 8 0 875204418 1269219328 201640 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=1239472 CPUtime=5.99 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 28945 0 0 0 578 21 0 0 25 0 8 0 875204418 1269219328 201640 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=1239472 CPUtime=5.98 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 28978 0 0 0 580 18 0 0 25 0 8 0 875204418 1269219328 201640 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=1239472 CPUtime=6.01 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 31360 0 0 0 579 22 0 0 25 0 8 0 875204418 1269219328 201640 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=1239472 CPUtime=6.01 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 33807 0 0 0 578 23 0 0 25 0 8 0 875204418 1269219328 201640 33554432000 4194304 4627427 140736168123888 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=21252/tid=21257] ppid=21250 vsize=3189956 CPUtime=50.64 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 89848 0 0 0 5027 37 0 0 25 0 8 0 875204418 3266514944 515986 33554432000 4194304 4627427 140736168123888 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=3189956 CPUtime=50.66 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 89396 0 0 0 5022 44 0 0 25 0 8 0 875204418 3266514944 515986 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=3189956 CPUtime=50.79 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 66143 0 0 0 5048 31 0 0 25 0 8 0 875204418 3266514944 515986 33554432000 4194304 4627427 140736168123888 18446744073709551615 4322525 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 404.9
Current children cumulated vsize (KiB) 3189956
Solver just ended. Dumping a history of the last processes samples
[startup+63.9008 s]
/proc/loadavg: 7.89 7.98 7.62 9/173 21262
/proc/meminfo: memFree=26580172/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=4152632 CPUtime=506.76 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) R 21250 21252 20904 0 -1 4202496 1022752 0 0 0 50226 450 0 0 25 0 8 0 875204418 4252295168 809368 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21252/statm: 1038158 809368 391 106 0 1033129 0
[pid=21252/tid=21253] ppid=21250 vsize=4152632 CPUtime=63.34 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 128769 0 0 0 6274 60 0 0 23 0 8 0 875204418 4252295168 809368 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=4152632 CPUtime=63.36 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 131887 0 0 0 6276 60 0 0 21 0 8 0 875204418 4252295168 809368 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=4152632 CPUtime=63.37 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 135888 0 0 0 6275 62 0 0 18 0 8 0 875204418 4252295168 809368 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=4152632 CPUtime=63.13 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 126939 0 0 0 6256 57 0 0 25 0 8 0 875204418 4252295168 809368 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=4152632 CPUtime=63.36 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 148231 0 0 0 6283 53 0 0 21 0 8 0 875204418 4252295168 809368 33554432000 4194304 4627427 140736168123888 18446744073709551615 4229264 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=4152632 CPUtime=63.42 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 125782 0 0 0 6287 55 0 0 20 0 8 0 875204418 4252295168 809369 33554432000 4194304 4627427 140736168123888 18446744073709551615 210646807585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=4152632 CPUtime=63.53 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 78612 0 0 0 6320 33 0 0 25 0 8 0 875204418 4252295168 809371 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 506.76
Current children cumulated vsize (KiB) 4152632
[startup+76.7007 s]
/proc/loadavg: 7.44 7.88 7.60 3/173 21262
/proc/meminfo: memFree=26154592/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=4558436 CPUtime=591.08 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) S 21250 21252 20904 0 -1 4202496 1149795 0 0 0 58610 498 0 0 25 0 8 0 875204418 4667838464 912963 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21252/statm: 1139609 912963 391 106 0 1134580 0
[pid=21252/tid=21253] ppid=21250 vsize=4558436 CPUtime=73.19 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 144445 0 0 0 7255 64 0 0 25 0 8 0 875204418 4667838464 912963 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 2 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=4558436 CPUtime=73.14 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 148537 0 0 0 7249 65 0 0 18 0 8 0 875204418 4667838464 912963 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=4558436 CPUtime=76.17 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 150108 0 0 0 7550 67 0 0 25 0 8 0 875204418 4667838464 912963 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141604907 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=4558436 CPUtime=72.9 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 136384 0 0 0 7230 60 0 0 25 0 8 0 875204418 4667838464 912963 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 7 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=4558436 CPUtime=73.15 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 161946 0 0 0 7257 58 0 0 18 0 8 0 875204418 4667838464 912963 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=4558436 CPUtime=73.22 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 141091 0 0 0 7261 61 0 0 25 0 8 0 875204418 4667838464 912963 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=4558436 CPUtime=76.29 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 103723 0 0 0 7579 50 0 0 25 0 8 0 875204418 4667838464 912963 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 591.08
Current children cumulated vsize (KiB) 4558436
[startup+79.9012 s]
/proc/loadavg: 7.44 7.88 7.60 3/173 21262
/proc/meminfo: memFree=26112928/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=4558436 CPUtime=597.47 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) S 21250 21252 20904 0 -1 4202496 1160002 0 0 0 59238 509 0 0 25 0 8 0 875204418 4667838464 923170 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21252/statm: 1139609 923170 391 106 0 1134580 0
[pid=21252/tid=21253] ppid=21250 vsize=4558436 CPUtime=73.19 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 144445 0 0 0 7255 64 0 0 25 0 8 0 875204418 4667838464 923170 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 2 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=4558436 CPUtime=73.14 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 148537 0 0 0 7249 65 0 0 18 0 8 0 875204418 4667838464 923170 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=4558436 CPUtime=79.37 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 150108 0 0 0 7870 67 0 0 25 0 8 0 875204418 4667838464 923170 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141604907 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=4558436 CPUtime=72.9 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 136384 0 0 0 7230 60 0 0 25 0 8 0 875204418 4667838464 923170 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 7 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=4558436 CPUtime=73.15 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 161946 0 0 0 7257 58 0 0 18 0 8 0 875204418 4667838464 923170 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=4558436 CPUtime=73.22 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 141091 0 0 0 7261 61 0 0 25 0 8 0 875204418 4667838464 923170 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=4558436 CPUtime=79.49 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 113930 0 0 0 7887 62 0 0 25 0 8 0 875204418 4667838464 923170 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308942 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 597.47
Current children cumulated vsize (KiB) 4558436
[startup+81.5009 s]
/proc/loadavg: 7.00 7.78 7.57 3/173 21262
/proc/meminfo: memFree=26082920/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=4623972 CPUtime=600.67 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) S 21250 21252 20904 0 -1 4202496 1166853 0 0 0 59553 514 0 0 25 0 8 0 875204418 4734947328 930021 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21252/statm: 1155993 930022 391 106 0 1150964 0
[pid=21252/tid=21253] ppid=21250 vsize=4623972 CPUtime=73.19 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 144445 0 0 0 7255 64 0 0 25 0 8 0 875204418 4734947328 930023 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 2 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=4623972 CPUtime=73.14 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 148537 0 0 0 7249 65 0 0 18 0 8 0 875204418 4734947328 930023 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=4623972 CPUtime=80.97 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 150108 0 0 0 8030 67 0 0 25 0 8 0 875204418 4734947328 930024 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141605060 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=4623972 CPUtime=72.9 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 136384 0 0 0 7230 60 0 0 25 0 8 0 875204418 4734947328 930025 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 7 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=4623972 CPUtime=73.15 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 161946 0 0 0 7257 58 0 0 18 0 8 0 875204418 4734947328 930025 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=4623972 CPUtime=73.22 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 141091 0 0 0 7261 61 0 0 25 0 8 0 875204418 4734947328 930025 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=4623972 CPUtime=81.09 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 120786 0 0 0 8042 67 0 0 25 0 8 0 875204418 4734947328 930026 33554432000 4194304 4627427 140736168123888 18446744073709551615 210646807585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 600.67
Current children cumulated vsize (KiB) 4623972
[startup+83.1006 s]
/proc/loadavg: 7.00 7.78 7.57 3/173 21262
/proc/meminfo: memFree=26071636/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=4623972 CPUtime=603.87 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) S 21250 21252 20904 0 -1 4202496 1167876 0 0 0 59871 516 0 0 25 0 8 0 875204418 4734947328 931044 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21252/statm: 1155993 931044 391 106 0 1150964 0
[pid=21252/tid=21253] ppid=21250 vsize=4623972 CPUtime=73.19 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 144445 0 0 0 7255 64 0 0 25 0 8 0 875204418 4734947328 931044 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 2 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=4623972 CPUtime=73.14 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 148537 0 0 0 7249 65 0 0 18 0 8 0 875204418 4734947328 931044 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=4623972 CPUtime=82.57 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 150108 0 0 0 8190 67 0 0 25 0 8 0 875204418 4734947328 931044 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141604907 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=4623972 CPUtime=72.9 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 136384 0 0 0 7230 60 0 0 25 0 8 0 875204418 4734947328 931044 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 7 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=4623972 CPUtime=73.15 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 161946 0 0 0 7257 58 0 0 18 0 8 0 875204418 4734947328 931044 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=4623972 CPUtime=73.22 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 141091 0 0 0 7261 61 0 0 25 0 8 0 875204418 4734947328 931044 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=4623972 CPUtime=82.69 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 121804 0 0 0 8200 69 0 0 25 0 8 0 875204418 4734947328 931044 33554432000 4194304 4627427 140736168123888 18446744073709551615 4440893 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 603.87
Current children cumulated vsize (KiB) 4623972
[startup+83.9005 s]
/proc/loadavg: 7.00 7.78 7.57 3/173 21262
/proc/meminfo: memFree=26068040/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=4623972 CPUtime=605.47 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) S 21250 21252 20904 0 -1 4202496 1172194 0 0 0 60027 520 0 0 25 0 8 0 875204418 4734947328 933283 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21252/statm: 1155993 933283 391 106 0 1150964 0
[pid=21252/tid=21253] ppid=21250 vsize=4623972 CPUtime=73.19 cores=0-7
/proc/21252/task/21253/stat : 21253 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 144445 0 0 0 7255 64 0 0 25 0 8 0 875204418 4734947328 933283 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 2 0 0 0
[pid=21252/tid=21254] ppid=21250 vsize=4623972 CPUtime=73.14 cores=0-7
/proc/21252/task/21254/stat : 21254 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 148537 0 0 0 7249 65 0 0 18 0 8 0 875204418 4734947328 933283 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 4 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=4623972 CPUtime=83.37 cores=0-7
/proc/21252/task/21255/stat : 21255 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 150108 0 0 0 8270 67 0 0 25 0 8 0 875204418 4734947328 933283 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141604907 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=4623972 CPUtime=72.9 cores=0-7
/proc/21252/task/21256/stat : 21256 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 136384 0 0 0 7230 60 0 0 25 0 8 0 875204418 4734947328 933283 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 7 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=4623972 CPUtime=73.15 cores=0-7
/proc/21252/task/21257/stat : 21257 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 161946 0 0 0 7257 58 0 0 18 0 8 0 875204418 4734947328 933283 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 0 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=4623972 CPUtime=73.22 cores=0-7
/proc/21252/task/21258/stat : 21258 (strangenight2-m) S 21250 21252 20904 0 -1 4202560 141091 0 0 0 7261 61 0 0 25 0 8 0 875204418 4734947328 933283 33554432000 4194304 4627427 140736168123888 18446744073709551615 47963141629492 0 0 4096 2 18446604453868602304 0 0 -1 5 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=4623972 CPUtime=83.49 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4202560 126122 0 0 0 8276 73 0 0 25 0 8 0 875204418 4734947328 933283 33554432000 4194304 4627427 140736168123888 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 605.47
Current children cumulated vsize (KiB) 4623972
[startup+84.3004 s]
/proc/loadavg: 7.00 7.78 7.57 3/173 21262
/proc/meminfo: memFree=26068040/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=0 CPUtime=606.22 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) Z 21250 21252 20904 0 -1 4203548 1172197 0 0 0 60097 525 0 0 18 0 2 0 875204418 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21252/statm: 0 0 0 0 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=0 CPUtime=83.89 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4203588 126122 0 0 0 8311 78 0 0 25 0 2 0 875204418 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 606.22
Current children cumulated vsize (KiB) 0
[startup+84.4004 s]
/proc/loadavg: 7.00 7.78 7.57 3/173 21262
/proc/meminfo: memFree=26068040/32951132 swapFree=67061144/67111528
[pid=21252] ppid=21250 vsize=0 CPUtime=606.32 cores=0-7
/proc/21252/stat : 21252 (strangenight2-m) Z 21250 21252 20904 0 -1 4203548 1172197 0 0 0 60097 535 0 0 18 0 2 0 875204418 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21252/statm: 0 0 0 0 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=0 CPUtime=83.99 cores=0-7
/proc/21252/task/21259/stat : 21259 (strangenight2-m) R 21250 21252 20904 0 -1 4203588 126122 0 0 0 8311 88 0 0 25 0 2 0 875204418 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 606.32
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 84.4338
CPU time (s): 606.369
CPU user time (s): 600.978
CPU system time (s): 5.39118
CPU usage (%): 718.159
Max. virtual memory (cumulated for all children) (KiB): 4623972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 600.978
system time used= 5.39118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1172197
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= 283536
involuntary context switches= 1905
runsolver used 0.112982 second user time and 0.302953 second system time
The end
Begin job on node129 at 2011-06-09 18:14:08
IDJOB=3321134
IDBENCH=82435
IDSOLVER=1709
FILE ID=node129/3321134-1307636047
RUNJOBID= node129-1307633302-20918
PBS_JOBID= 13549434
Free space on /tmp= 74156 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321134-1307636047/watcher-3321134-1307636047 -o /tmp/evaluation-result-3321134-1307636047/solver-3321134-1307636047 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321134-1307636047.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ceca868d07951273fdc2de08c57f2b6a
RANDOM SEED=1893702103
node129.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.831
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.66
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.831
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.831
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.831
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.82
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.831
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.74
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.831
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.83
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.831
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.831
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 29799340 kB
Buffers: 380412 kB
Cached: 2502776 kB
SwapCached: 13136 kB
Active: 734740 kB
Inactive: 2165976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 29799340 kB
SwapTotal: 67111528 kB
SwapFree: 67061144 kB
Dirty: 17516 kB
Writeback: 0 kB
AnonPages: 14668 kB
Mapped: 8792 kB
Slab: 186456 kB
PageTables: 3944 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 152576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74148 MiB
End job on node129 at 2011-06-09 18:15:32