0.00/0.00 c Outputting solution to console
0.00/0.00 c Using 8 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3394254-1306093767.cnf'
0.00/0.05 c -- header says num vars: 259762
0.00/0.05 c -- header says num clauses: 656573
16.06/2.33 c -- clauses added: 0 learnts, 656573 normals, 0 xors
16.06/2.33 c -- vars added 259762
16.06/2.33 c Parsing time: 0.35 s
16.06/2.33 c N st 0 0 259762 218857 437714 0 1531999 0 no data no data
16.06/2.33 c asymm cl-useful: 0/844/216224 lits-rem:0 time: 1.05
147.18/18.74 c Flit: 0 Blit: 4662 bXBeca: 0 bXProp: 3592 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 16.79
147.18/18.77 c Cleaning up after failed var search: 0.03 s
147.86/18.83 c Replacing 3592 vars Replaced 46696 lits Time: 0.05 s
148.65/18.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
149.40/19.01 c bin-w-bin subsume rem 0 bins time: 0.04 s
150.20/19.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.09 s
167.75/21.34 c Subs w/ non-existent bins: 1 l-rem: 1 v-fix: 9527 done: 47736 time: 2.21 s
169.34/21.51 c Removed useless bin: 418 fixed: 0 props: 20.00M time: 0.17 s
200.10/25.57 c lits-rem: 0 cl-subs: 103 v-elim: 82958 v-fix: 0 time: 3.68 s
200.88/25.62 c Finding binary XORs T: 0.05 s found: 8572
200.88/25.67 c Replacing 8572 vars Replaced 77200 lits Time: 0.04 s
201.67/25.71 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan)
201.67/25.71 c calculated reachability. Time: 0.00
201.67/25.73 c Calc default polars - time: 0.02 s pos: 13258 undec: 114015 neg: 132489
201.67/25.73 c =========================================================================================
201.67/25.73 c types(t): F = full restart, N = normal restart
201.67/25.73 c types(t): S = simplification begin/end, E = solution found
201.67/25.73 c restart types(rt): st = static, dy = dynamic
201.67/25.73 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
201.67/25.73 c B st 0 0 147817 109942 307184 0 949717 0 no data no data
270.37/34.37 c N dy 18 4469 135899 102865 290054 3847 893215 2500855 10.37 11.16
272.78/34.66 c Finding binary XORs T: 0.05 s found: 8573
273.58/34.76 c Replacing 8573 vars Replaced 117306 lits Time: 0.10 s
302.34/38.34 c N dy 37 8511 110592 92325 265606 7793 780661 3922955 10.66 22.96
327.79/41.50 c N dy 58 12589 103720 75811 244771 11790 654177 4581044 11.05 11.96
336.58/42.66 c Finding binary XORs T: 0.05 s found: 13978
338.26/42.90 c Replacing 13978 vars Replaced 542049 lits Time: 0.23 s
347.85/44.04 c N dy 65 17317 83948 63913 176982 16211 524017 5190759 9.88 10.42
367.72/46.50 c N dy 81 21487 77360 57328 165917 10881 470971 1772693 9.76 10.67
382.18/48.37 c F st 102 25000 77360 57328 165917 14366 470971 2403946 9.74 6.16
386.08/48.86 c N st 104 25626 75809 57328 176776 14986 470971 2502960 9.74 no data
389.28/49.30 c Finding binary XORs T: 0.04 s found: 5544
390.08/49.38 c Replacing 5544 vars Replaced 135812 lits Time: 0.09 s
403.64/51.02 c N dy 108 30000 68310 53827 139956 19254 424133 3693023 9.74 no data
403.64/51.03 c S st 108 30000 68310 53827 139956 19254 424133 3693023 9.74 no data
406.04/51.39 c S st 108 30503 66380 53827 139971 19728 424133 3760066 9.74 no data
406.84/51.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
503.89/63.64 c Flit: 23 Blit: 0 bXBeca: 0 bXProp: 15226 Bins: 17649 BRemL: 13951 BRemN: 10529 P: 200.0M T: 12.15
504.76/63.73 c Replacing 15226 vars Replaced 378553 lits Time: 0.05 s
504.76/63.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
504.76/63.75 c bin-w-bin subsume rem 6451 bins time: 0.01 s
504.76/63.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
508.68/64.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 25301 time: 0.42 s
509.48/64.39 c Removed useless bin: 0 fixed: 0 props: 20.00M time: 0.19 s
514.36/64.99 c lits-rem: 0 cl-subs: 1110 v-elim: 16866 v-fix: 0 time: 0.59 s
515.06/65.01 c subs with bin: 0 lits-rem: 158 v-fix: 0 time: 0.01 s
515.06/65.04 c lits-rem: 97 cl-subs: 404 v-elim: 0 v-fix: 0 time: 0.02 s
515.06/65.05 c asymm cl-useful: 0/8882/9726 lits-rem:0 time: 0.02
515.06/65.06 c calculated reachability. Time: 0.00
515.06/65.06 c N dy 108 30503 8435 9726 18582 3195 84506 45506 9.74 no data
515.06/65.07 c Finding binary XORs T: 0.01 s found: 0
518.27/65.47 c N dy 124 34553 8430 9726 18587 7043 84506 116725 9.56 12.25
520.66/65.74 c N dy 139 38601 8430 9726 22448 10969 84506 199457 9.54 10.45
522.33/65.99 c N dy 154 42739 8430 9726 22448 8108 84506 90106 9.46 10.41
524.65/66.21 c S st 171 45754 8430 9726 22450 10996 84506 154428 9.55 7.15
524.65/66.28 c S st 171 46257 8430 9726 22451 11485 84506 160033 9.55 no data
524.65/66.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
526.24/66.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3184 BRemL: 2409 BRemN: 54 P: 2.0M T: 0.14
526.24/66.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
526.24/66.45 c bin-w-bin subsume rem 3838 bins time: 0.00 s
526.24/66.48 c subs with bin: 2 lits-rem: 3 v-fix: 0 time: 0.02 s
527.03/66.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8430 time: 0.02 s
527.03/66.51 c Removed useless bin: 2 fixed: 0 props: 0.44M time: 0.01 s
527.84/66.60 c lits-rem: 0 cl-subs: 2 v-elim: 426 v-fix: 0 time: 0.09 s
527.84/66.63 c subs with bin: 8 lits-rem: 185 v-fix: 0 time: 0.01 s
527.84/66.66 c lits-rem: 143 cl-subs: 318 v-elim: 0 v-fix: 0 time: 0.03 s
527.84/66.67 c vivif2 -- cl tried 9852 cl shrink 0 lits rem 0 time: 0.00
527.84/66.67 c vivif2 -- cl tried 8900 cl shrink 0 lits rem 0 time: 0.00
528.63/66.72 c asymm cl-useful: 0/9852/9852 lits-rem:0 time: 0.05
528.63/66.72 c calculated reachability. Time: 0.00
528.63/66.72 c N dy 171 46257 8004 9852 16333 8900 93453 92238 9.55 no data
528.63/66.74 c Finding binary XORs T: 0.02 s found: 0
531.11/67.07 c N dy 186 51283 8002 9852 18743 13599 93453 185760 9.37 9.88
533.42/67.35 c N dy 207 55412 8001 9852 18746 17488 93453 274979 9.39 11.02
535.82/67.69 c Finding binary XORs T: 0.02 s found: 0
536.62/67.74 c N dy 222 59460 8001 9840 18374 19914 92295 336305 9.40 18.99
539.02/68.08 c N dy 245 63467 8000 9840 20085 23669 92295 431751 9.54 10.17
542.21/68.46 c N dy 266 68163 8000 9840 20100 16184 92295 194494 9.59 10.62
543.01/68.58 c S st 275 69385 7999 9840 20113 17338 92295 224200 9.65 no data
543.81/68.68 c S st 275 69888 7998 9840 20113 17812 92295 230695 9.65 no data
543.81/68.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
545.41/68.81 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 23 BRemL: 111 BRemN: 0 P: 2.1M T: 0.12
545.41/68.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
545.41/68.82 c bin-w-bin subsume rem 3967 bins time: 0.00 s
545.41/68.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.03 s
545.41/68.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7997 time: 0.01 s
545.41/68.88 c Removed useless bin: 0 fixed: 0 props: 0.43M time: 0.01 s
546.20/68.94 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
547.01/69.01 c subs with bin: 32 lits-rem: 364 v-fix: 0 time: 0.05 s
547.01/69.09 c lits-rem: 600 cl-subs: 593 v-elim: 0 v-fix: 0 time: 0.07 s
547.01/69.09 c vivif2 -- cl tried 9824 cl shrink 0 lits rem 0 time: 0.00
547.01/69.09 c vivif2 -- cl tried 16402 cl shrink 2 lits rem 2 time: 0.01
547.81/69.14 c asymm cl-useful: 0/9824/9824 lits-rem:0 time: 0.05
547.81/69.15 c calculated reachability. Time: 0.00
547.81/69.15 c N dy 275 69888 7997 9824 15540 16402 90751 208082 9.65 no data
550.99/69.51 c N dy 291 74436 7997 9824 15557 20710 90751 290035 9.56 10.31
552.60/69.77 c Finding binary XORs T: 0.02 s found: 0
554.20/69.96 c N dy 319 79196 7994 9816 17240 24991 89979 393942 9.58 10.29
558.27/70.43 c N dy 347 84292 7991 9816 17311 29802 89979 508239 9.56 10.22
560.57/70.75 c F st 368 87500 7991 9816 17356 16527 89979 120952 9.57 no data
585.56/80.67 c Following stats are for *FIRST FINISHED THREAD ONLY*
585.56/80.67 c num threads : 8
585.56/80.67 c restarts : 289
585.56/80.67 c dynamic restarts : 277
585.56/80.67 c static restarts : 12
585.56/80.67 c full restarts : 1
585.56/80.67 c total simplify time : 0.98
585.56/80.67 c learnts DL2 : 0
585.56/80.67 c learnts size 2 : 3133758
585.56/80.67 c learnts size 1 : 98776 (38.03 % of vars)
585.56/80.67 c filedLit time : 29.33 (36.91 % time)
585.56/80.67 c v-elim SatELite : 94159 (36.25 % vars)
585.56/80.67 c SatELite time : 7.13 (8.98 % time)
585.56/80.67 c v-elim xor : 0 (0.00 % vars)
585.56/80.67 c xor elim time : 0.02 (0.02 % time)
585.56/80.67 c num binary xor trees : 13047
585.56/80.67 c binxor trees' crown : 59269 (4.54 leafs/tree)
585.56/80.67 c bin xor find time : 0.34
585.56/80.67 c OTF clause improved : 2425 (0.03 clauses/conflict)
585.56/80.67 c OTF impr. size diff : 3119 (1.29 lits/clause)
585.56/80.67 c OTF cl watch-shrink : 13812 (0.17 clauses/conflict)
585.56/80.67 c OTF cl watch-sh-lit : 27413 (1.98 lits/clause)
585.56/80.67 c tried to recurMin cls : 22867 (28.09 % of conflicts)
585.56/80.67 c updated cache : 0 (0.00 lits/tried recurMin)
585.56/80.67 c unit cls recevied : 11714 (11.86 % of units)
585.56/80.67 c unit cls sent : 9006 (9.12 % of units)
585.56/80.67 c bin cls recevied : 179305
585.56/80.67 c bin cls sent : 165353
585.56/80.67 c clauses over max glue : 0 (0.00 % of all clauses)
585.56/80.67 c conflicts : 81395 (1024.47 / sec)
585.56/80.67 c decisions : 688734 (1.24 % random)
585.56/80.67 c bogo-props : 637439760 (8023063.19 / sec)
585.56/80.67 c conflict literals : 13110571 (3.99 % deleted)
585.56/80.67 c Memory used : 4200.73 MB
585.56/80.67 c single-thread CPU time : 79.45 s
585.56/80.67 c all-threads sum CPU time : 580.82 s
585.56/80.67 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394254-1306093767/watcher-3394254-1306093767 -o /tmp/evaluation-result-3394254-1306093767/solver-3394254-1306093767 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394254-1306093767.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: 6.69 7.64 7.86 1/320 22674
/proc/meminfo: memFree=19978248/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=92144 CPUtime=0.04 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22577 0 -1 4202496 420 0 0 0 4 0 0 0 21 0 8 0 799607324 94355456 360 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197810 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/22674/statm: 23036 360 302 95 0 18018 0
[pid=22674/tid=22675] ppid=22672 vsize=92144 CPUtime=0 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 8 0 799607324 94355456 360 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=92144 CPUtime=0 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 799607324 94355456 360 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197808 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=92144 CPUtime=0 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 8 0 799607324 94355456 360 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197405 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=92144 CPUtime=0 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 799607324 94355456 360 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=92144 CPUtime=0 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 799607324 94355456 360 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=92144 CPUtime=0 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 799607324 94355456 360 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197395 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=92144 CPUtime=0 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 799607324 94355456 360 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197401 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.0771529 s]
/proc/loadavg: 6.69 7.64 7.86 1/320 22674
/proc/meminfo: memFree=19978248/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=451036 CPUtime=0.46 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22577 0 -1 4202496 16594 0 0 0 41 5 0 0 17 0 8 0 799607324 461860864 14421 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020093367 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22674/statm: 112759 14454 334 95 0 107741 0
[pid=22674/tid=22675] ppid=22672 vsize=451036 CPUtime=0.06 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) D 22672 22674 22577 0 -1 4202560 2481 0 0 0 6 0 0 0 22 0 8 0 799607324 461860864 14955 33554432000 4194304 4580107 140735340078112 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=451036 CPUtime=0 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) D 22672 22674 22577 0 -1 4202560 1170 0 0 0 0 0 0 0 17 0 8 0 799607324 461860864 14698 33554432000 4194304 4580107 140735340078112 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=450008 CPUtime=0.06 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 2707 0 0 0 6 0 0 0 18 0 8 0 799607324 460808192 14699 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020093325 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=450840 CPUtime=0.06 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) D 22672 22674 22577 0 -1 4202560 2503 0 0 0 6 0 0 0 18 0 8 0 799607324 461660160 14956 33554432000 4194304 4580107 140735340078112 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=450840 CPUtime=0.05 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) D 22672 22674 22577 0 -1 4202560 2120 0 0 0 5 0 0 0 17 0 8 0 799607324 461660160 14699 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020439399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=449812 CPUtime=0.05 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) D 22672 22674 22577 0 -1 4202560 2643 0 0 0 5 0 0 0 18 0 8 0 799607324 460607488 14477 33554432000 4194304 4580107 140735340078112 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=449812 CPUtime=0.05 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 1532 0 0 0 5 0 0 0 17 0 8 0 799607324 460607488 14477 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020439223 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 451036
[startup+0.103213 s]
/proc/loadavg: 6.69 7.64 7.86 1/320 22674
/proc/meminfo: memFree=19978248/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=614544 CPUtime=0.61 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22577 0 -1 4202496 37361 0 0 0 52 9 0 0 17 0 8 0 799607324 629293056 29695 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020501023 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22674/statm: 153636 29932 337 95 0 148618 0
[pid=22674/tid=22675] ppid=22672 vsize=614544 CPUtime=0.08 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 4518 0 0 0 7 1 0 0 17 0 8 0 799607324 629293056 29972 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020453802 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=614544 CPUtime=0.01 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) D 22672 22674 22577 0 -1 4202560 4005 0 0 0 1 0 0 0 17 0 8 0 799607324 629293056 29972 33554432000 4194304 4580107 140735340078112 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=614544 CPUtime=0.08 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) D 22672 22674 22577 0 -1 4202560 4890 0 0 0 7 1 0 0 17 0 8 0 799607324 629293056 29972 33554432000 4194304 4580107 140735340078112 18446744073709551615 4307480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=614544 CPUtime=0.08 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 4777 0 0 0 7 1 0 0 17 0 8 0 799607324 629293056 29972 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020064689 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=614544 CPUtime=0.07 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) D 22672 22674 22577 0 -1 4202560 5062 0 0 0 6 1 0 0 17 0 8 0 799607324 629293056 29972 33554432000 4194304 4580107 140735340078112 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=614544 CPUtime=0.07 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) D 22672 22674 22577 0 -1 4202560 5208 0 0 0 6 1 0 0 17 0 8 0 799607324 629293056 29972 33554432000 4194304 4580107 140735340078112 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=616708 CPUtime=0.07 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) D 22672 22674 22577 0 -1 4202560 4002 0 0 0 7 0 0 0 17 0 8 0 799607324 631508992 29972 33554432000 4194304 4580107 140735340078112 18446744073709551615 4307191 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 614544
[startup+0.301139 s]
/proc/loadavg: 6.69 7.64 7.86 1/320 22674
/proc/meminfo: memFree=19978248/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=759472 CPUtime=1.61 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22577 0 -1 4202496 86761 0 0 0 115 46 0 0 17 0 8 0 799607324 777699328 70712 33554432000 4194304 4580107 140735340078112 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22674/statm: 189868 70823 337 95 0 184850 0
[pid=22674/tid=22675] ppid=22672 vsize=759472 CPUtime=0.2 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 10167 0 0 0 15 5 0 0 17 0 8 0 799607324 777699328 70857 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020057121 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=759472 CPUtime=0.14 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) D 22672 22674 22577 0 -1 4202560 9542 0 0 0 9 5 0 0 17 0 8 0 799607324 777699328 70979 33554432000 4194304 4580107 140735340078112 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=759472 CPUtime=0.2 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 11249 0 0 0 14 6 0 0 17 0 8 0 799607324 777699328 71024 33554432000 4194304 4580107 140735340078112 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=759472 CPUtime=0.2 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 10796 0 0 0 15 5 0 0 17 0 8 0 799607324 777699328 71058 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=759472 CPUtime=0.2 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 11578 0 0 0 15 5 0 0 17 0 8 0 799607324 777699328 71084 33554432000 4194304 4580107 140735340078112 18446744073709551615 4512101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=759472 CPUtime=0.2 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 11256 0 0 0 14 6 0 0 17 0 8 0 799607324 777699328 71170 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=759472 CPUtime=0.2 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 10205 0 0 0 15 5 0 0 17 0 8 0 799607324 777699328 71170 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 759472
[startup+0.701063 s]
/proc/loadavg: 6.69 7.64 7.86 1/320 22674
/proc/meminfo: memFree=19978248/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=1127348 CPUtime=3.79 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) S 22672 22674 22577 0 -1 4202496 186910 0 0 0 251 128 0 0 16 0 8 0 799607324 1154404352 153818 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22674/statm: 281837 153818 337 95 0 276819 0
[pid=22674/tid=22675] ppid=22672 vsize=1127348 CPUtime=0.48 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 23562 0 0 0 32 16 0 0 16 0 8 0 799607324 1154404352 153818 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=1127348 CPUtime=0.41 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 20340 0 0 0 26 15 0 0 16 0 8 0 799607324 1154404352 153818 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 7 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=1127348 CPUtime=0.48 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 25586 0 0 0 30 18 0 0 16 0 8 0 799607324 1154404352 153818 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=1127348 CPUtime=0.47 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 23943 0 0 0 31 16 0 0 16 0 8 0 799607324 1154404352 153818 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 1 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=1127348 CPUtime=0.48 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 23596 0 0 0 35 13 0 0 16 0 8 0 799607324 1154404352 153818 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 0 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=1127348 CPUtime=0.47 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 24347 0 0 0 31 16 0 0 16 0 8 0 799607324 1154404352 153818 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020500974 0 0 4096 2 18446604448048868352 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=1127348 CPUtime=0.47 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 22112 0 0 0 31 16 0 0 16 0 8 0 799607324 1154404352 153818 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020093335 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 1127348
[startup+1.50089 s]
/proc/loadavg: 6.69 7.64 7.86 10/328 22682
/proc/meminfo: memFree=19201944/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=1208168 CPUtime=9.67 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22577 0 -1 4202496 228251 0 0 0 804 163 0 0 16 0 8 0 799607324 1237164032 194199 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22674/statm: 302042 194199 359 95 0 297024 0
[pid=22674/tid=22675] ppid=22672 vsize=1208168 CPUtime=1.21 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 27915 0 0 0 102 19 0 0 16 0 8 0 799607324 1237164032 194199 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=1208168 CPUtime=1.14 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 26468 0 0 0 94 20 0 0 16 0 8 0 799607324 1237164032 194199 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=1208168 CPUtime=1.22 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 29659 0 0 0 99 23 0 0 16 0 8 0 799607324 1237164032 194199 33554432000 4194304 4580107 140735340078112 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=1208168 CPUtime=1.2 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 27492 0 0 0 99 21 0 0 16 0 8 0 799607324 1237164032 194199 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=1208168 CPUtime=1.21 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 30541 0 0 0 105 16 0 0 16 0 8 0 799607324 1237164032 194199 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=1208168 CPUtime=1.21 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 27728 0 0 0 101 20 0 0 17 0 8 0 799607324 1237164032 194199 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=1208168 CPUtime=1.2 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 28109 0 0 0 100 20 0 0 16 0 8 0 799607324 1237164032 194199 33554432000 4194304 4580107 140735340078112 18446744073709551615 4316442 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.67
Current children cumulated vsize (KiB) 1208168
[startup+3.10059 s]
/proc/loadavg: 6.96 7.68 7.87 12/328 22682
/proc/meminfo: memFree=19169660/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=1208168 CPUtime=22.45 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22577 0 -1 4202496 237214 0 0 0 2081 164 0 0 19 0 8 0 799607324 1237164032 202467 33554432000 4194304 4580107 140735340078112 18446744073709551615 4292896 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22674/statm: 302042 202467 360 95 0 297024 0
[pid=22674/tid=22675] ppid=22672 vsize=1208168 CPUtime=2.82 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 29402 0 0 0 262 20 0 0 18 0 8 0 799607324 1237164032 202467 33554432000 4194304 4580107 140735340078112 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=1208168 CPUtime=2.73 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 28003 0 0 0 253 20 0 0 18 0 8 0 799607324 1237164032 202467 33554432000 4194304 4580107 140735340078112 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=1208168 CPUtime=2.82 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 31053 0 0 0 259 23 0 0 18 0 8 0 799607324 1237164032 202467 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=1208168 CPUtime=2.81 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 28753 0 0 0 259 22 0 0 19 0 8 0 799607324 1237164032 202467 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=1208168 CPUtime=2.81 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 31302 0 0 0 265 16 0 0 19 0 8 0 799607324 1237164032 202467 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=1208168 CPUtime=2.8 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 28959 0 0 0 260 20 0 0 19 0 8 0 799607324 1237164032 202467 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=1208168 CPUtime=2.8 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 29403 0 0 0 259 21 0 0 19 0 8 0 799607324 1237164032 202467 33554432000 4194304 4580107 140735340078112 18446744073709551615 4317489 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.45
Current children cumulated vsize (KiB) 1208168
[startup+6.301 s]
/proc/loadavg: 6.96 7.68 7.87 9/328 22682
/proc/meminfo: memFree=19164832/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=1240984 CPUtime=48.01 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22577 0 -1 4202496 239085 0 0 0 4637 164 0 0 25 0 8 0 799607324 1270767616 203865 33554432000 4194304 4580107 140735340078112 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/22674/statm: 310246 203865 360 95 0 305228 0
[pid=22674/tid=22675] ppid=22672 vsize=1240984 CPUtime=6.02 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 29402 0 0 0 582 20 0 0 25 0 8 0 799607324 1270767616 203865 33554432000 4194304 4580107 140735340078112 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=1240984 CPUtime=5.89 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 28003 0 0 0 569 20 0 0 25 0 8 0 799607324 1270767616 203865 33554432000 4194304 4580107 140735340078112 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=1240984 CPUtime=6.01 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 31053 0 0 0 578 23 0 0 25 0 8 0 799607324 1270767616 203865 33554432000 4194304 4580107 140735340078112 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=1240984 CPUtime=6.01 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 28753 0 0 0 579 22 0 0 25 0 8 0 799607324 1270767616 203865 33554432000 4194304 4580107 140735340078112 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=1240984 CPUtime=6.01 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 31302 0 0 0 585 16 0 0 25 0 8 0 799607324 1270767616 203865 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=1240984 CPUtime=6 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 28959 0 0 0 580 20 0 0 25 0 8 0 799607324 1270767616 203865 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=1240984 CPUtime=6 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 31274 0 0 0 579 21 0 0 25 0 8 0 799607324 1270767616 203865 33554432000 4194304 4580107 140735340078112 18446744073709551615 4317443 0 0 4096 2 0 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=22674/tid=22679] ppid=22672 vsize=2857624 CPUtime=50.62 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 111314 0 0 0 5021 41 0 0 25 0 8 0 799607324 2926206976 488777 33554432000 4194304 4580107 140735340078112 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=2857624 CPUtime=50.63 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 86549 0 0 0 5022 41 0 0 25 0 8 0 799607324 2926206976 488777 33554432000 4194304 4580107 140735340078112 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=2857624 CPUtime=50.76 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 69839 0 0 0 5045 31 0 0 25 0 8 0 799607324 2926206976 488777 33554432000 4194304 4580107 140735340078112 18446744073709551615 4294163 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 404.44
Current children cumulated vsize (KiB) 2857624
Solver just ended. Dumping a history of the last processes samples
[startup+63.9004 s]
/proc/loadavg: 7.78 7.78 7.89 9/328 22683
/proc/meminfo: memFree=17006420/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=3749140 CPUtime=506.27 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22577 0 -1 4202496 996813 0 0 0 50198 429 0 0 25 0 8 0 799607324 3839119360 747215 33554432000 4194304 4580107 140735340078112 18446744073709551615 4428667 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22674/statm: 937285 747217 380 95 0 932267 0
[pid=22674/tid=22675] ppid=22672 vsize=3749140 CPUtime=63.32 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 143694 0 0 0 6267 65 0 0 24 0 8 0 799607324 3839119360 747217 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=3749140 CPUtime=63.08 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 130323 0 0 0 6252 56 0 0 21 0 8 0 799607324 3839119360 747217 33554432000 4194304 4580107 140735340078112 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=3749140 CPUtime=63.31 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 134224 0 0 0 6270 61 0 0 25 0 8 0 799607324 3839119360 747219 33554432000 4194304 4580107 140735340078112 18446744073709551615 4234907 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=3749140 CPUtime=63.19 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 127823 0 0 0 6266 53 0 0 21 0 8 0 799607324 3839119360 747219 33554432000 4194304 4580107 140735340078112 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=3749140 CPUtime=63.37 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 148280 0 0 0 6284 53 0 0 21 0 8 0 799607324 3839119360 747219 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=3749140 CPUtime=63.38 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 130684 0 0 0 6281 57 0 0 22 0 8 0 799607324 3839119360 747219 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=3749140 CPUtime=63.53 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 75358 0 0 0 6320 33 0 0 25 0 8 0 799607324 3839119360 747219 33554432000 4194304 4580107 140735340078112 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 506.27
Current children cumulated vsize (KiB) 3749140
[startup+70.3012 s]
/proc/loadavg: 7.80 7.79 7.89 9/328 22684
/proc/meminfo: memFree=16719732/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=4044092 CPUtime=557.47 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) R 22672 22674 22577 0 -1 4202496 1083141 0 0 0 55289 458 0 0 25 0 8 0 799607324 4141150208 814202 33554432000 4194304 4580107 140735340078112 18446744073709551615 4305960 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22674/statm: 1011023 814202 380 95 0 1006005 0
[pid=22674/tid=22675] ppid=22672 vsize=4044092 CPUtime=69.72 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 152938 0 0 0 6904 68 0 0 25 0 8 0 799607324 4141150208 814204 33554432000 4194304 4580107 140735340078112 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=4044092 CPUtime=69.49 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 139525 0 0 0 6889 60 0 0 25 0 8 0 799607324 4141150208 814207 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=4044092 CPUtime=69.71 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 144399 0 0 0 6908 63 0 0 25 0 8 0 799607324 4141150208 814208 33554432000 4194304 4580107 140735340078112 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=4044092 CPUtime=69.53 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 136462 0 0 0 6897 56 0 0 25 0 8 0 799607324 4141150208 814213 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=4044092 CPUtime=69.78 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 174079 0 0 0 6917 61 0 0 25 0 8 0 799607324 4141150208 814214 33554432000 4194304 4580107 140735340078112 18446744073709551615 4228100 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=4044092 CPUtime=69.79 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 135268 0 0 0 6919 60 0 0 25 0 8 0 799607324 4141150208 814214 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=4044092 CPUtime=69.94 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 81335 0 0 0 6959 35 0 0 25 0 8 0 799607324 4141150208 814214 33554432000 4194304 4580107 140735340078112 18446744073709551615 4235151 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 557.47
Current children cumulated vsize (KiB) 4044092
[startup+76.7011 s]
/proc/loadavg: 7.41 7.71 7.87 3/328 22684
/proc/meminfo: memFree=16558472/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=4169076 CPUtime=577.76 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) S 22672 22674 22577 0 -1 4202496 1130444 0 0 0 57288 488 0 0 25 0 8 0 799607324 4269133824 857144 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22674/statm: 1042269 857144 380 95 0 1037251 0
[pid=22674/tid=22675] ppid=22672 vsize=4169076 CPUtime=70.32 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 153119 0 0 0 6964 68 0 0 25 0 8 0 799607324 4269133824 857144 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=4169076 CPUtime=70.17 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 142689 0 0 0 6957 60 0 0 25 0 8 0 799607324 4269133824 857144 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 3 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=4169076 CPUtime=76.1 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 144583 0 0 0 7547 63 0 0 25 0 8 0 799607324 4269133824 857144 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220172843 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=4169076 CPUtime=70.13 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 137111 0 0 0 6957 56 0 0 25 0 8 0 799607324 4269133824 857144 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 7 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=4169076 CPUtime=73.8 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 182252 0 0 0 7316 64 0 0 18 0 8 0 799607324 4269133824 857144 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 3 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=4169076 CPUtime=70.82 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 139825 0 0 0 7021 61 0 0 18 0 8 0 799607324 4269133824 857144 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=4169076 CPUtime=76.33 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 111023 0 0 0 7571 62 0 0 23 0 8 0 799607324 4269133824 857144 33554432000 4194304 4580107 140735340078112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 577.76
Current children cumulated vsize (KiB) 4169076
[startup+78.3008 s]
/proc/loadavg: 6.98 7.61 7.84 3/328 22684
/proc/meminfo: memFree=16522004/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=4301540 CPUtime=580.96 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) S 22672 22674 22577 0 -1 4202496 1139255 0 0 0 57607 489 0 0 25 0 8 0 799607324 4404776960 865955 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22674/statm: 1075385 865955 380 95 0 1070367 0
[pid=22674/tid=22675] ppid=22672 vsize=4301540 CPUtime=70.32 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 153119 0 0 0 6964 68 0 0 25 0 8 0 799607324 4404776960 865955 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=4301540 CPUtime=70.17 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 142689 0 0 0 6957 60 0 0 25 0 8 0 799607324 4404776960 865955 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 3 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=4301540 CPUtime=77.7 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 144583 0 0 0 7707 63 0 0 25 0 8 0 799607324 4404776960 865955 33554432000 4194304 4580107 140735340078112 18446744073709551615 4205160 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=4301540 CPUtime=70.13 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 137111 0 0 0 6957 56 0 0 25 0 8 0 799607324 4404776960 865955 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 7 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=4301540 CPUtime=73.8 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 182252 0 0 0 7316 64 0 0 18 0 8 0 799607324 4404776960 865955 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 3 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=4301540 CPUtime=70.82 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 139825 0 0 0 7021 61 0 0 18 0 8 0 799607324 4404776960 865955 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=4301540 CPUtime=77.92 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 119834 0 0 0 7730 62 0 0 25 0 8 0 799607324 4404776960 865955 33554432000 4194304 4580107 140735340078112 18446744073709551615 4428002 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 580.96
Current children cumulated vsize (KiB) 4301540
[startup+79.9005 s]
/proc/loadavg: 6.98 7.61 7.84 3/328 22684
/proc/meminfo: memFree=16510844/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=4301540 CPUtime=584.16 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) S 22672 22674 22577 0 -1 4202496 1140031 0 0 0 57927 489 0 0 25 0 8 0 799607324 4404776960 866731 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22674/statm: 1075385 866732 380 95 0 1070367 0
[pid=22674/tid=22675] ppid=22672 vsize=4301540 CPUtime=70.32 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 153119 0 0 0 6964 68 0 0 25 0 8 0 799607324 4404776960 866732 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=4301540 CPUtime=70.17 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 142689 0 0 0 6957 60 0 0 25 0 8 0 799607324 4404776960 866732 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 3 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=4301540 CPUtime=79.3 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 144583 0 0 0 7867 63 0 0 25 0 8 0 799607324 4404776960 866732 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220172996 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=4301540 CPUtime=70.13 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 137111 0 0 0 6957 56 0 0 25 0 8 0 799607324 4404776960 866732 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 7 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=4301540 CPUtime=73.8 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 182252 0 0 0 7316 64 0 0 18 0 8 0 799607324 4404776960 866732 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 3 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=4301540 CPUtime=70.82 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 139825 0 0 0 7021 61 0 0 18 0 8 0 799607324 4404776960 866732 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=4301540 CPUtime=79.52 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 120611 0 0 0 7890 62 0 0 25 0 8 0 799607324 4404776960 866732 33554432000 4194304 4580107 140735340078112 18446744073709551615 260020057121 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 584.16
Current children cumulated vsize (KiB) 4301540
[startup+80.3124 s]
/proc/loadavg: 6.98 7.61 7.84 3/328 22684
/proc/meminfo: memFree=16497700/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=4301540 CPUtime=584.99 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) S 22672 22674 22577 0 -1 4202496 1142979 0 0 0 58009 490 0 0 25 0 8 0 799607324 4404776960 868653 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22674/statm: 1075385 868653 380 95 0 1070367 0
[pid=22674/tid=22675] ppid=22672 vsize=4301540 CPUtime=70.32 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 153119 0 0 0 6964 68 0 0 25 0 8 0 799607324 4404776960 868653 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 4 0 0 0
[pid=22674/tid=22676] ppid=22672 vsize=4301540 CPUtime=70.17 cores=0-7
/proc/22674/task/22676/stat : 22676 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 142689 0 0 0 6957 60 0 0 25 0 8 0 799607324 4404776960 868653 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 3 0 0 0
[pid=22674/tid=22677] ppid=22672 vsize=4301540 CPUtime=79.71 cores=0-7
/proc/22674/task/22677/stat : 22677 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 144583 0 0 0 7908 63 0 0 25 0 8 0 799607324 4404776960 868653 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220172843 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22674/tid=22678] ppid=22672 vsize=4301540 CPUtime=70.13 cores=0-7
/proc/22674/task/22678/stat : 22678 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 137111 0 0 0 6957 56 0 0 25 0 8 0 799607324 4404776960 868653 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 7 0 0 0
[pid=22674/tid=22679] ppid=22672 vsize=4301540 CPUtime=73.8 cores=0-7
/proc/22674/task/22679/stat : 22679 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 182252 0 0 0 7316 64 0 0 18 0 8 0 799607324 4404776960 868653 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 3 0 0 0
[pid=22674/tid=22680] ppid=22672 vsize=4301540 CPUtime=70.82 cores=0-7
/proc/22674/task/22680/stat : 22680 (strangenight2-m) S 22672 22674 22577 0 -1 4202560 139825 0 0 0 7021 61 0 0 18 0 8 0 799607324 4404776960 868653 33554432000 4194304 4580107 140735340078112 18446744073709551615 47394220197428 0 0 4096 2 18446604448048868352 0 0 -1 5 0 0 0
[pid=22674/tid=22681] ppid=22672 vsize=4301540 CPUtime=79.94 cores=0-7
/proc/22674/task/22681/stat : 22681 (strangenight2-m) R 22672 22674 22577 0 -1 4202560 123558 0 0 0 7931 63 0 0 25 0 8 0 799607324 4404776960 868653 33554432000 4194304 4580107 140735340078112 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 584.99
Current children cumulated vsize (KiB) 4301540
[startup+80.7013 s]
/proc/loadavg: 6.98 7.61 7.84 3/328 22684
/proc/meminfo: memFree=16497700/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=0 CPUtime=585.74 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) Z 22672 22674 22577 0 -1 4203548 1142982 0 0 0 58082 492 0 0 18 0 2 0 799607324 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22674/statm: 0 0 0 0 0 0 0
[pid=22674/tid=22675] ppid=22672 vsize=0 CPUtime=70.34 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22577 0 -1 4203588 153119 0 0 0 6964 70 0 0 18 0 2 0 799607324 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) 585.74
Current children cumulated vsize (KiB) 0
[startup+80.8003 s]
/proc/loadavg: 6.98 7.61 7.84 3/328 22684
/proc/meminfo: memFree=16497700/32951124 swapFree=67083432/67111528
[pid=22674] ppid=22672 vsize=0 CPUtime=585.84 cores=0-7
/proc/22674/stat : 22674 (strangenight2-m) Z 22672 22674 22577 0 -1 4203548 1142982 0 0 0 58082 502 0 0 18 0 2 0 799607324 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/22674/statm: 0 0 0 0 0 0 0
[pid=22674/tid=22675] ppid=22672 vsize=0 CPUtime=70.44 cores=0-7
/proc/22674/task/22675/stat : 22675 (strangenight2-m) R 22672 22674 22577 0 -1 4203588 153119 0 0 0 6964 80 0 0 18 0 2 0 799607324 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) 585.84
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 80.844
CPU time (s): 585.889
CPU user time (s): 580.824
CPU system time (s): 5.06523
CPU usage (%): 724.716
Max. virtual memory (cumulated for all children) (KiB): 4301540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 580.824
system time used= 5.06523
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1142982
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= 294077
involuntary context switches= 2517
runsolver used 0.246962 second user time and 0.577912 second system time
The end
Begin job on node110 at 2011-05-22 21:49:27
IDJOB=3394254
IDBENCH=82435
IDSOLVER=1878
FILE ID=node110/3394254-1306093767
RUNJOBID= node110-1306093681-22591
PBS_JOBID= 13387949
Free space on /tmp= 73332 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3394254-1306093767/watcher-3394254-1306093767 -o /tmp/evaluation-result-3394254-1306093767/solver-3394254-1306093767 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394254-1306093767.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ceca868d07951273fdc2de08c57f2b6a
RANDOM SEED=1911347272
node110.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.830
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.830
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.830
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.830
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.83
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.830
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.76
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.830
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.830
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.74
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.830
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: 32951124 kB
MemFree: 19978528 kB
Buffers: 323464 kB
Cached: 8690076 kB
SwapCached: 1416 kB
Active: 5978680 kB
Inactive: 6660808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 19978528 kB
SwapTotal: 67111528 kB
SwapFree: 67083432 kB
Dirty: 17548 kB
Writeback: 228 kB
AnonPages: 3624680 kB
Mapped: 27628 kB
Slab: 240484 kB
PageTables: 26680 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 75579992 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= 73324 MiB
End job on node110 at 2011-05-22 21:50:48