0.00/0.00 c Outputting solution to console
0.06/0.01 c Using 8 threads
0.06/0.02 c This is CryptoMiniSat 3.0.0
0.06/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.06/0.02 c Reading file 'HOME/instance-3321042-1304322389.cnf'
0.06/0.02 c -- header says num vars: 13240
0.06/0.02 c -- header says num clauses: 39143
0.06/0.47 c -- clauses added: 0 learnts, 39143 normals, 0 xors
0.06/0.47 c -- vars added 13240
0.06/0.47 c Parsing time: 0.03 s
0.06/0.47 c N st 0 0 13240 13047 26094 0 91329 0 no data no data
0.06/0.47 c asymm cl-useful: 0/13030/13030 lits-rem:0 time: 0.39
10.79/1.46 c Flit: 0 Blit: 65 bXBeca: 0 bXProp: 67 Bins: 0 BRemL: 0 BRemN: 0 P: 16.7M T: 0.92
10.79/1.46 c Replacing 67 vars Replaced 1244 lits Time: 0.00 s
10.79/1.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
10.79/1.46 c bin-w-bin subsume rem 0 bins time: 0.00 s
10.79/1.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
11.52/1.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 13090 time: 0.05 s
11.52/1.55 c Removed useless bin: 66 fixed: 0 props: 7.71M time: 0.05 s
12.31/1.61 c lits-rem: 0 cl-subs: 116 v-elim: 4363 v-fix: 0 time: 0.05 s
12.31/1.63 c Finding binary XORs T: 0.03 s found: 0
12.31/1.64 c Finding non-binary XORs: 0.00 s (found: 525, avg size: 3.0)
12.31/1.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
12.31/1.65 c calculated reachability. Time: 0.01
12.31/1.65 c Calc default polars - time: 0.00 s pos: 230 undec: 5327 neg: 7683
12.31/1.65 c =========================================================================================
12.31/1.65 c types(t): F = full restart, N = normal restart
12.31/1.65 c types(t): S = simplification begin/end, E = solution found
12.31/1.65 c restart types(rt): st = static, dy = dynamic
12.31/1.65 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
12.31/1.65 c B st 0 0 8727 11656 15969 0 74988 0 no data no data
17.07/2.25 c N dy 10 6384 8727 11656 16065 3745 74988 58586 13.46 14.47
21.87/2.80 c N dy 20 10673 8725 11656 16803 7897 74988 274723 12.59 13.64
25.87/3.38 c N dy 29 15856 8724 11656 17858 8812 74988 220920 11.29 11.94
26.67/3.40 c Finding binary XORs T: 0.02 s found: 326
26.67/3.41 c Replacing 326 vars Replaced 9849 lits Time: 0.01 s
29.87/3.86 c N dy 47 19883 8395 10969 17730 7136 72890 101175 11.53 12.27
35.47/4.53 c F st 61 25000 8392 10969 17765 12165 72889 388783 11.43 9.45
35.47/4.54 c N st 61 25000 8392 10963 17763 12161 72865 388731 11.43 9.45
40.25/5.14 c N dy 67 30000 8389 10963 18525 10526 72864 235333 11.43 no data
40.25/5.14 c S st 67 30000 8389 10963 18525 10526 72864 235333 11.43 no data
41.05/5.23 c S st 67 30504 8389 10963 18555 11000 72864 246795 11.43 no data
41.05/5.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
58.63/7.41 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 260 Bins: 32905 BRemL: 3526 BRemN: 1 P: 20.6M T: 2.17
58.63/7.42 c Replacing 260 vars Replaced 12652 lits Time: 0.01 s
58.63/7.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
58.63/7.43 c bin-w-bin subsume rem 998 bins time: 0.01 s
58.63/7.44 c subs with bin: 231 lits-rem: 74 v-fix: 0 time: 0.01 s
58.63/7.47 c Subs w/ non-existent bins: 0 l-rem: 216 v-fix: 0 done: 8123 time: 0.03 s
58.63/7.48 c Removed useless bin: 3 fixed: 0 props: 0.41M time: 0.01 s
59.43/7.53 c lits-rem: 32 cl-subs: 124 v-elim: 3630 v-fix: 0 time: 0.05 s
59.43/7.54 c subs with bin: 113 lits-rem: 1433 v-fix: 0 time: 0.00 s
59.43/7.55 c lits-rem: 84 cl-subs: 131 v-elim: 0 v-fix: 0 time: 0.01 s
63.49/8.05 c asymm cl-useful: 348/11627/11627 lits-rem:406 time: 0.51
63.49/8.06 c calculated reachability. Time: 0.00
63.49/8.06 c N dy 67 30504 4493 11627 24853 3144 63404 54817 11.43 no data
63.49/8.07 c Finding binary XORs T: 0.01 s found: 0
66.62/8.42 c N dy 80 34839 4491 11627 25887 7374 63403 153827 11.11 12.14
69.81/8.80 c N dy 87 38986 4491 11627 29105 7515 63403 140903 10.77 11.35
72.29/9.17 c N dy 106 43050 4489 11627 29120 11523 63403 234302 10.68 11.30
73.01/9.28 c Finding binary XORs T: 0.01 s found: 315
73.01/9.29 c Replacing 315 vars Replaced 13485 lits Time: 0.01 s
74.61/9.44 c S st 116 45756 4174 10809 28348 7134 60699 101111 10.59 5.66
74.61/9.49 c S st 116 46256 4174 10809 28353 7625 60699 112278 10.59 no data
74.61/9.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
85.00/10.75 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 8 Bins: 14659 BRemL: 14712 BRemN: 0 P: 7.1M T: 1.26
85.00/10.75 c Replacing 8 vars Replaced 669 lits Time: 0.01 s
85.00/10.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
85.00/10.76 c bin-w-bin subsume rem 1179 bins time: 0.00 s
85.00/10.76 c subs with bin: 193 lits-rem: 31 v-fix: 0 time: 0.00 s
85.00/10.77 c Subs w/ non-existent bins: 14 l-rem: 46 v-fix: 0 done: 4164 time: 0.01 s
85.00/10.78 c Removed useless bin: 4 fixed: 0 props: 0.12M time: 0.00 s
85.00/10.79 c lits-rem: 0 cl-subs: 1 v-elim: 74 v-fix: 0 time: 0.01 s
85.80/10.80 c subs with bin: 58 lits-rem: 1621 v-fix: 0 time: 0.01 s
85.80/10.81 c lits-rem: 278 cl-subs: 360 v-elim: 0 v-fix: 0 time: 0.01 s
85.80/10.82 c vivif2 -- cl tried 10672 cl shrink 20 lits rem 20 time: 0.01
85.80/10.83 c vivif2 -- cl tried 6638 cl shrink 1110 lits rem 2314 time: 0.01
89.85/11.34 c asymm cl-useful: 6/10671/10671 lits-rem:6 time: 0.51
89.85/11.34 c calculated reachability. Time: 0.00
89.85/11.34 c N dy 116 46256 4090 10671 22310 6633 61254 82399 10.59 no data
89.85/11.35 c Finding binary XORs T: 0.01 s found: 0
92.19/11.68 c N dy 122 50357 4090 10671 24656 10649 61252 214181 10.38 11.14
95.38/12.03 c N dy 139 54584 4087 10671 24667 14814 61252 314333 10.28 10.85
98.63/12.41 c N dy 161 58781 4087 10671 26464 10513 61252 157717 10.29 10.92
98.63/12.49 c Finding binary XORs T: 0.01 s found: 63
98.63/12.49 c Replacing 63 vars Replaced 4026 lits Time: 0.00 s
100.96/12.77 c N dy 184 62944 4021 10532 25238 14515 60724 271687 10.31 11.17
104.16/13.16 c N dy 207 67086 4019 10532 25245 18574 60724 388139 10.30 10.87
105.76/13.39 c S st 225 69385 4019 10532 25278 10782 60724 130667 10.32 no data
106.61/13.44 c S st 225 69888 4019 10532 25285 11274 60724 145258 10.32 no data
106.61/13.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
115.42/14.58 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 18 Bins: 2868 BRemL: 10676 BRemN: 35 P: 11.7M T: 1.14
115.42/14.59 c Replacing 18 vars Replaced 1335 lits Time: 0.01 s
115.42/14.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
115.42/14.60 c bin-w-bin subsume rem 692 bins time: 0.00 s
115.42/14.60 c subs with bin: 52 lits-rem: 20 v-fix: 0 time: 0.01 s
116.21/14.61 c Subs w/ non-existent bins: 1 l-rem: 6 v-fix: 0 done: 3999 time: 0.01 s
116.21/14.61 c Removed useless bin: 0 fixed: 0 props: 0.11M time: 0.00 s
116.21/14.63 c lits-rem: 0 cl-subs: 7 v-elim: 18 v-fix: 0 time: 0.01 s
116.21/14.65 c subs with bin: 99 lits-rem: 743 v-fix: 0 time: 0.02 s
116.21/14.67 c lits-rem: 246 cl-subs: 366 v-elim: 0 v-fix: 0 time: 0.01 s
116.21/14.68 c vivif2 -- cl tried 10400 cl shrink 0 lits rem 0 time: 0.01
116.21/14.69 c vivif2 -- cl tried 9622 cl shrink 900 lits rem 2924 time: 0.01
120.94/15.22 c asymm cl-useful: 85/10400/10400 lits-rem:107 time: 0.53
120.94/15.23 c calculated reachability. Time: 0.00
120.94/15.23 c N dy 225 69888 3981 10396 15775 9614 60028 102355 10.32 no data
120.94/15.24 c Finding binary XORs T: 0.01 s found: 4
124.19/15.70 c N dy 243 75032 3978 10396 16943 14664 60028 268765 10.22 10.78
128.13/16.16 c N dy 271 79965 3974 10396 16953 19539 60028 420112 10.23 11.33
132.14/16.69 c N dy 300 85260 3972 10396 17661 13958 60027 193176 10.25 10.79
134.53/16.90 c F st 312 87502 3970 10396 17778 16158 60027 260111 10.24 6.43
134.53/16.91 c Replacing 4 vars Replaced 97 lits Time: 0.00 s
134.53/16.94 c Finding binary XORs T: 0.01 s found: 25
136.92/17.23 c N st 317 90803 3962 10343 17178 18767 59696 359903 10.24 no data
141.78/17.84 c N dy 335 96622 3962 10343 18467 12508 59696 126258 10.25 12.43
146.51/18.45 c N dy 376 102829 3958 10343 18724 18615 59696 359440 10.30 10.92
148.12/18.68 c S st 389 104832 3958 10343 18736 20562 59696 426821 10.31 7.83
148.92/18.74 c S st 389 105336 3958 10343 18737 21065 59696 449608 10.31 no data
148.92/18.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
160.17/20.15 c Flit: 0 Blit: 3 bXBeca: 0 bXProp: 37 Bins: 21332 BRemL: 6029 BRemN: 0 P: 12.0M T: 1.40
160.17/20.17 c Replacing 62 vars Replaced 18291 lits Time: 0.02 s
160.17/20.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
160.17/20.18 c bin-w-bin subsume rem 1126 bins time: 0.00 s
160.17/20.18 c subs with bin: 121 lits-rem: 331 v-fix: 0 time: 0.01 s
160.17/20.19 c Subs w/ non-existent bins: 1 l-rem: 42 v-fix: 0 done: 3893 time: 0.01 s
160.17/20.20 c Removed useless bin: 4 fixed: 0 props: 0.14M time: 0.00 s
160.91/20.21 c lits-rem: 8 cl-subs: 25 v-elim: 50 v-fix: 0 time: 0.02 s
161.71/20.38 c subs with bin: 825 lits-rem: 8067 v-fix: 0 time: 0.16 s
162.51/20.46 c lits-rem: 1252 cl-subs: 1010 v-elim: 0 v-fix: 0 time: 0.07 s
162.51/20.47 c vivif2 -- cl tried 10130 cl shrink 333 lits rem 421 time: 0.01
163.30/20.50 c vivif2 -- cl tried 15133 cl shrink 3992 lits rem 21277 time: 0.03
168.96/21.21 c asymm cl-useful: 121/9975/10104 lits-rem:210 time: 0.71
168.96/21.21 c calculated reachability. Time: 0.00
168.96/21.21 c N dy 389 105336 3843 10077 28750 14999 57829 255465 10.31 no data
168.96/21.23 c Finding binary XORs T: 0.01 s found: 15
174.49/21.98 c N dy 418 112115 3826 10017 40944 20467 57452 537340 10.29 11.29
178.49/22.47 c Finding binary XORs T: 0.01 s found: 11
180.89/22.74 c N dy 459 119376 3809 9962 40751 15923 57155 368573 10.30 10.88
188.08/23.67 c Finding binary XORs T: 0.01 s found: 56
188.08/23.69 c Replacing 82 vars Replaced 14923 lits Time: 0.01 s
188.88/23.71 c N dy 494 126993 3717 9894 54651 22540 56715 709318 10.31 11.00
196.07/24.65 c N dy 546 135158 3704 9894 57068 18372 56715 433623 10.35 11.80
205.67/25.83 c N dy 606 143787 3699 9894 57648 26869 56715 851374 10.48 16.29
211.26/26.57 c Finding binary XORs T: 0.01 s found: 65
211.26/26.58 c Replacing 65 vars Replaced 11978 lits Time: 0.01 s
215.26/27.05 c N dy 661 153061 3622 9752 65155 20054 55870 542183 10.51 11.13
220.91/27.75 c S st 685 158004 3605 9752 65970 24896 55864 757720 10.50 no data
221.71/27.82 c S st 685 158505 3605 9752 65970 25394 55864 788105 10.50 no data
221.71/27.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
236.03/29.63 c Flit: 9 Blit: 8 bXBeca: 0 bXProp: 156 Bins: 15081 BRemL: 24679 BRemN: 1 P: 24.2M T: 1.81
236.03/29.66 c Replacing 156 vars Replaced 31902 lits Time: 0.03 s
236.03/29.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
236.03/29.68 c bin-w-bin subsume rem 10832 bins time: 0.01 s
236.03/29.69 c subs with bin: 429 lits-rem: 887 v-fix: 0 time: 0.01 s
236.83/29.70 c Subs w/ non-existent bins: 32 l-rem: 302 v-fix: 0 done: 3399 time: 0.01 s
236.83/29.70 c Removed useless bin: 20 fixed: 0 props: 0.18M time: 0.00 s
236.83/29.72 c lits-rem: 162 cl-subs: 241 v-elim: 119 v-fix: 0 time: 0.02 s
237.64/29.84 c subs with bin: 2002 lits-rem: 5852 v-fix: 0 time: 0.10 s
237.64/29.89 c lits-rem: 646 cl-subs: 791 v-elim: 0 v-fix: 0 time: 0.05 s
237.64/29.89 c vivif2 -- cl tried 8688 cl shrink 482 lits rem 845 time: 0.01
238.49/29.92 c vivif2 -- cl tried 11249 cl shrink 5227 lits rem 36049 time: 0.03
244.02/30.63 c asymm cl-useful: 143/6823/8604 lits-rem:325 time: 0.70
244.02/30.63 c calculated reachability. Time: 0.00
244.02/30.63 c N dy 685 158505 3280 8540 41002 10843 48930 227506 10.50 no data
244.02/30.65 c Finding binary XORs T: 0.02 s found: 95
244.02/30.65 c Replacing 95 vars Replaced 3956 lits Time: 0.00 s
252.83/31.70 c N dy 721 168792 3127 8296 45812 10404 47480 194845 10.41 11.25
253.63/31.83 c Finding binary XORs T: 0.01 s found: 47
253.63/31.84 c Replacing 47 vars Replaced 6451 lits Time: 0.01 s
258.04/32.90 c Following stats are for *FIRST FINISHED THREAD ONLY*
258.04/32.90 c num threads : 8
258.04/32.90 c restarts : 904
258.04/32.90 c dynamic restarts : 886
258.04/32.90 c static restarts : 18
258.04/32.90 c full restarts : 2
258.04/32.90 c total simplify time : 0.30
258.04/32.90 c learnts DL2 : 0
258.04/32.90 c learnts size 2 : 182863
258.04/32.90 c learnts size 1 : 874 (6.60 % of vars)
258.04/32.90 c filedLit time : 4.91 (14.99 % time)
258.04/32.90 c v-elim SatELite : 8119 (61.32 % vars)
258.04/32.90 c SatELite time : 0.22 (0.67 % time)
258.04/32.90 c v-elim xor : 0 (0.00 % vars)
258.04/32.90 c xor elim time : 0.01 (0.04 % time)
258.04/32.90 c num binary xor trees : 356
258.04/32.90 c binxor trees' crown : 1523 (4.28 leafs/tree)
258.04/32.90 c bin xor find time : 0.18
258.04/32.90 c OTF clause improved : 2729 (0.01 clauses/conflict)
258.04/32.90 c OTF impr. size diff : 3941 (1.44 lits/clause)
258.04/32.90 c OTF cl watch-shrink : 131530 (0.63 clauses/conflict)
258.04/32.90 c OTF cl watch-sh-lit : 607752 (4.62 lits/clause)
258.04/32.90 c tried to recurMin cls : 96889 (46.47 % of conflicts)
258.04/32.90 c updated cache : 0 (0.00 lits/tried recurMin)
258.04/32.90 c unit cls recevied : 148 (16.93 % of units)
258.04/32.90 c unit cls sent : 40 (4.58 % of units)
258.04/32.90 c bin cls recevied : 126537
258.04/32.90 c bin cls sent : 17880
258.04/32.90 c clauses over max glue : 0 (0.00 % of all clauses)
258.04/32.90 c conflicts : 208515 (6365.70 / sec)
258.04/32.90 c decisions : 608989 (1.41 % random)
258.04/32.90 c bogo-props : 1238330970 (37804683.54 / sec)
258.04/32.90 c conflict literals : 8150375 (35.00 % deleted)
258.04/32.90 c Memory used : 968.50 MB
258.04/32.90 c single-thread CPU time : 32.76 s
258.04/32.90 c all-threads sum CPU time : 257.34 s
258.04/32.90 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321042-1304322389/watcher-3321042-1304322389 -o /tmp/evaluation-result-3321042-1304322389/solver-3321042-1304322389 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321042-1304322389.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.72 3.92 1.55 1/235 26699
/proc/meminfo: memFree=25111936/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=92188 CPUtime=0.01 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) R 26697 26699 26634 0 -1 4202496 414 0 0 0 1 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743536 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26699/statm: 23047 353 299 106 0 18018 0
[pid=26699/tid=26700] ppid=26697 vsize=92188 CPUtime=0 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743538 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=92188 CPUtime=0 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743538 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=92188 CPUtime=0 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743538 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=92188 CPUtime=0 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743542 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=92188 CPUtime=0 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=92188 CPUtime=0 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743538 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=92188 CPUtime=0 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743538 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.017057 s]
/proc/loadavg: 7.72 3.92 1.55 1/235 26699
/proc/meminfo: memFree=25111936/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=92188 CPUtime=0.06 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) R 26697 26699 26634 0 -1 4202496 414 0 0 0 6 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743536 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26699/statm: 23047 353 299 106 0 18018 0
[pid=26699/tid=26700] ppid=26697 vsize=92188 CPUtime=0.01 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743532 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=92188 CPUtime=0 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743538 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=92188 CPUtime=0.01 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743538 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=92188 CPUtime=0 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743542 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=92188 CPUtime=0 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=92188 CPUtime=0.01 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743538 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=92188 CPUtime=0.01 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 622469393 94400512 353 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743538 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92188
[startup+0.479227 s]
/proc/loadavg: 7.72 3.92 1.55 1/235 26699
/proc/meminfo: memFree=25111936/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=635788 CPUtime=3.66 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) R 26697 26699 26634 0 -1 4202496 15193 0 0 0 354 12 0 0 18 0 8 0 622469393 651046912 13253 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26699/statm: 158980 13342 367 106 0 153951 0
[pid=26699/tid=26700] ppid=26697 vsize=635920 CPUtime=0.46 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 1777 0 0 0 45 1 0 0 18 0 8 0 622469393 651182080 13367 33554432000 4194304 4627427 140736661795984 18446744073709551615 252457733122 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=635920 CPUtime=0.44 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) D 26697 26699 26634 0 -1 4202560 1806 0 0 0 43 1 0 0 18 0 8 0 622469393 651182080 13466 33554432000 4194304 4627427 140736661795984 18446744073709551615 252457727009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=635920 CPUtime=0.45 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 1979 0 0 0 44 1 0 0 18 0 8 0 622469393 651182080 13474 33554432000 4194304 4627427 140736661795984 18446744073709551615 4309379 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=636192 CPUtime=0.46 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 1928 0 0 0 45 1 0 0 18 0 8 0 622469393 651460608 13717 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952339288045 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=636192 CPUtime=0.44 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) D 26697 26699 26634 0 -1 4202560 1862 0 0 0 43 1 0 0 18 0 8 0 622469393 651460608 13718 33554432000 4194304 4627427 140736661795984 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=636192 CPUtime=0.45 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) D 26697 26699 26634 0 -1 4202560 1750 0 0 0 44 1 0 0 18 0 8 0 622469393 651460608 13718 33554432000 4194304 4627427 140736661795984 18446744073709551615 252457726661 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=636192 CPUtime=0.46 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 2064 0 0 0 45 1 0 0 18 0 8 0 622469393 651460608 13718 33554432000 4194304 4627427 140736661795984 18446744073709551615 252458170862 0 0 4096 2 18446604443654473728 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 635788
[startup+0.513622 s]
/proc/loadavg: 7.72 3.92 1.55 1/235 26699
/proc/meminfo: memFree=25111936/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=637124 CPUtime=3.88 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) D 26697 26699 26634 0 -1 4202496 17594 0 0 0 375 13 0 0 18 0 8 0 622469393 652414976 15654 33554432000 4194304 4627427 140736661795984 18446744073709551615 4229226 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26699/statm: 159281 15683 367 106 0 154252 0
[pid=26699/tid=26700] ppid=26697 vsize=637256 CPUtime=0.49 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 2125 0 0 0 48 1 0 0 18 0 8 0 622469393 652550144 15824 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=637256 CPUtime=0.46 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) D 26697 26699 26634 0 -1 4202560 2148 0 0 0 45 1 0 0 18 0 8 0 622469393 652550144 15881 33554432000 4194304 4627427 140736661795984 18446744073709551615 252457727009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=637256 CPUtime=0.49 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 2365 0 0 0 47 2 0 0 18 0 8 0 622469393 652550144 16099 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=637388 CPUtime=0.48 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 2283 0 0 0 47 1 0 0 18 0 8 0 622469393 652685312 16263 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308096 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=637388 CPUtime=0.48 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 2258 0 0 0 46 2 0 0 18 0 8 0 622469393 652685312 16434 33554432000 4194304 4627427 140736661795984 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=637388 CPUtime=0.48 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 2153 0 0 0 47 1 0 0 18 0 8 0 622469393 652685312 16547 33554432000 4194304 4627427 140736661795984 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=637388 CPUtime=0.5 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 2066 0 0 0 49 1 0 0 18 0 8 0 622469393 652685312 16566 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 637124
[startup+0.721937 s]
/proc/loadavg: 7.72 3.92 1.55 1/235 26699
/proc/meminfo: memFree=25111936/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=646100 CPUtime=5.41 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) D 26697 26699 26634 0 -1 4202496 34040 0 0 0 520 21 0 0 18 0 8 0 622469393 661606400 31874 33554432000 4194304 4627427 140736661795984 18446744073709551615 252458109111 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26699/statm: 161525 31874 368 106 0 156496 0
[pid=26699/tid=26700] ppid=26697 vsize=646100 CPUtime=0.67 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 4415 0 0 0 65 2 0 0 18 0 8 0 622469393 661606400 31874 33554432000 4194304 4627427 140736661795984 18446744073709551615 252457727009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=646100 CPUtime=0.65 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) D 26697 26699 26634 0 -1 4202560 4470 0 0 0 62 3 0 0 18 0 8 0 622469393 661606400 31874 33554432000 4194304 4627427 140736661795984 18446744073709551615 252457727009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=646100 CPUtime=0.67 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 4596 0 0 0 65 2 0 0 18 0 8 0 622469393 661606400 31874 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=646100 CPUtime=0.67 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) D 26697 26699 26634 0 -1 4202560 4489 0 0 0 65 2 0 0 18 0 8 0 622469393 661606400 31874 33554432000 4194304 4627427 140736661795984 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=646100 CPUtime=0.66 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 4489 0 0 0 63 3 0 0 18 0 8 0 622469393 661606400 31874 33554432000 4194304 4627427 140736661795984 18446744073709551615 252457724166 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=646100 CPUtime=0.67 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) D 26697 26699 26634 0 -1 4202560 4332 0 0 0 65 2 0 0 18 0 8 0 622469393 661606400 31874 33554432000 4194304 4627427 140736661795984 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=646100 CPUtime=0.68 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 2236 0 0 0 67 1 0 0 18 0 8 0 622469393 661606400 31874 33554432000 4194304 4627427 140736661795984 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 646100
[startup+1.50074 s]
/proc/loadavg: 7.72 3.92 1.55 9/243 26707
/proc/meminfo: memFree=24894556/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=664516 CPUtime=11.52 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) R 26697 26699 26634 0 -1 4202496 60934 0 0 0 1122 30 0 0 18 0 8 0 622469393 680464384 58768 33554432000 4194304 4627427 140736661795984 18446744073709551615 4534808 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26699/statm: 166129 58768 379 106 0 161100 0
[pid=26699/tid=26700] ppid=26697 vsize=664516 CPUtime=1.44 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 8277 0 0 0 140 4 0 0 18 0 8 0 622469393 680464384 58768 33554432000 4194304 4627427 140736661795984 18446744073709551615 4436126 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=664516 CPUtime=1.42 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 8266 0 0 0 138 4 0 0 18 0 8 0 622469393 680464384 58768 33554432000 4194304 4627427 140736661795984 18446744073709551615 4436150 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=664516 CPUtime=1.43 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 8353 0 0 0 139 4 0 0 18 0 8 0 622469393 680464384 58768 33554432000 4194304 4627427 140736661795984 18446744073709551615 4436184 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=664516 CPUtime=1.44 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 8225 0 0 0 141 3 0 0 19 0 8 0 622469393 680464384 58768 33554432000 4194304 4627427 140736661795984 18446744073709551615 4534959 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=664516 CPUtime=1.41 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 8249 0 0 0 137 4 0 0 18 0 8 0 622469393 680464384 58768 33554432000 4194304 4627427 140736661795984 18446744073709551615 4534718 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=664516 CPUtime=1.43 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 8168 0 0 0 140 3 0 0 18 0 8 0 622469393 680464384 58768 33554432000 4194304 4627427 140736661795984 18446744073709551615 4436854 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=664516 CPUtime=1.44 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 2653 0 0 0 143 1 0 0 19 0 8 0 622469393 680464384 58768 33554432000 4194304 4627427 140736661795984 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 664516
[startup+3.10044 s]
/proc/loadavg: 7.75 3.98 1.59 9/243 26707
/proc/meminfo: memFree=24845592/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=675404 CPUtime=24.27 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) R 26697 26699 26634 0 -1 4202496 77308 0 0 0 2386 41 0 0 20 0 8 0 622469393 691613696 67190 33554432000 4194304 4627427 140736661795984 18446744073709551615 4306360 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26699/statm: 168851 67190 389 106 0 163822 0
[pid=26699/tid=26700] ppid=26697 vsize=675404 CPUtime=3.04 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 10883 0 0 0 298 6 0 0 20 0 8 0 622469393 691613696 67190 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=675404 CPUtime=3.01 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 10275 0 0 0 295 6 0 0 20 0 8 0 622469393 691613696 67190 33554432000 4194304 4627427 140736661795984 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=675404 CPUtime=3.04 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 10465 0 0 0 299 5 0 0 20 0 8 0 622469393 691613696 67191 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=675404 CPUtime=3.04 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 10279 0 0 0 299 5 0 0 20 0 8 0 622469393 691613696 67191 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308428 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=675404 CPUtime=2.99 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 10724 0 0 0 293 6 0 0 20 0 8 0 622469393 691613696 67191 33554432000 4194304 4627427 140736661795984 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=675404 CPUtime=3.02 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 10358 0 0 0 297 5 0 0 20 0 8 0 622469393 691613696 67191 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=675404 CPUtime=3.04 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 3373 0 0 0 303 1 0 0 22 0 8 0 622469393 691613696 67191 33554432000 4194304 4627427 140736661795984 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.27
Current children cumulated vsize (KiB) 675404
[startup+6.30084 s]
/proc/loadavg: 7.75 3.98 1.59 9/243 26707
/proc/meminfo: memFree=24823408/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=678804 CPUtime=49.85 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) R 26697 26699 26634 0 -1 4202496 91987 0 0 0 4939 46 0 0 25 0 8 0 622469393 695095296 74303 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26699/statm: 169701 74303 391 106 0 164672 0
[pid=26699/tid=26700] ppid=26697 vsize=678804 CPUtime=6.23 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 13110 0 0 0 617 6 0 0 25 0 8 0 622469393 695095296 74303 33554432000 4194304 4627427 140736661795984 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=678804 CPUtime=6.21 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 11532 0 0 0 615 6 0 0 25 0 8 0 622469393 695095296 74303 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=678804 CPUtime=6.23 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 12207 0 0 0 618 5 0 0 25 0 8 0 622469393 695095296 74303 33554432000 4194304 4627427 140736661795984 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=678804 CPUtime=6.23 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 12101 0 0 0 618 5 0 0 25 0 8 0 622469393 695095296 74303 33554432000 4194304 4627427 140736661795984 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=678804 CPUtime=6.17 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 12766 0 0 0 611 6 0 0 25 0 8 0 622469393 695095296 74303 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=678804 CPUtime=6.22 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 13183 0 0 0 616 6 0 0 25 0 8 0 622469393 695095296 74303 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=678804 CPUtime=6.25 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 4691 0 0 0 623 2 0 0 25 0 8 0 622469393 695095296 74303 33554432000 4194304 4627427 140736661795984 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/26699/task/26704/stat : 26704 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 21951 0 0 0 2525 9 0 0 25 0 8 0 622469393 1072873472 125615 33554432000 4194304 4627427 140736661795984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=1047728 CPUtime=25.42 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 20580 0 0 0 2535 7 0 0 25 0 8 0 622469393 1072873472 125615 33554432000 4194304 4627427 140736661795984 18446744073709551615 4322064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=1047728 CPUtime=25.34 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 16313 0 0 0 2529 5 0 0 25 0 8 0 622469393 1072873472 125615 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.33
Current children cumulated vsize (KiB) 1047728
Solver just ended. Dumping a history of the last processes samples
[startup+25.8012 s]
/proc/loadavg: 7.82 4.24 1.72 9/243 26708
/proc/meminfo: memFree=24610168/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=982192 CPUtime=205.67 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) R 26697 26699 26634 0 -1 4202496 169811 0 0 0 20500 67 0 0 25 0 8 0 622469393 1005764608 126023 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26699/statm: 245548 126023 391 106 0 240519 0
[pid=26699/tid=26700] ppid=26697 vsize=982192 CPUtime=25.72 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 25922 0 0 0 2563 9 0 0 25 0 8 0 622469393 1005764608 126023 33554432000 4194304 4627427 140736661795984 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=982192 CPUtime=25.7 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 21243 0 0 0 2561 9 0 0 25 0 8 0 622469393 1005764608 126023 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=982192 CPUtime=25.73 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 20893 0 0 0 2565 8 0 0 25 0 8 0 622469393 1005764608 126023 33554432000 4194304 4627427 140736661795984 18446744073709551615 4306556 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=982192 CPUtime=25.73 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 21335 0 0 0 2566 7 0 0 25 0 8 0 622469393 1005764608 126023 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=982192 CPUtime=25.63 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 22065 0 0 0 2554 9 0 0 25 0 8 0 622469393 1005764608 126023 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=982192 CPUtime=25.71 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 20683 0 0 0 2564 7 0 0 25 0 8 0 622469393 1005764608 126023 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=982192 CPUtime=25.63 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 16398 0 0 0 2558 5 0 0 25 0 8 0 622469393 1005764608 126023 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 205.67
Current children cumulated vsize (KiB) 982192
[startup+29.0006 s]
/proc/loadavg: 7.91 4.32 1.76 9/243 26708
/proc/meminfo: memFree=24606572/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=982192 CPUtime=231.23 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) R 26697 26699 26634 0 -1 4202496 178760 0 0 0 23054 69 0 0 25 0 8 0 622469393 1005764608 126906 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26699/statm: 245548 126906 391 106 0 240519 0
[pid=26699/tid=26700] ppid=26697 vsize=982192 CPUtime=28.92 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 27334 0 0 0 2883 9 0 0 25 0 8 0 622469393 1005764608 126906 33554432000 4194304 4627427 140736661795984 18446744073709551615 4321813 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=982192 CPUtime=28.9 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 22752 0 0 0 2881 9 0 0 25 0 8 0 622469393 1005764608 126906 33554432000 4194304 4627427 140736661795984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=982192 CPUtime=28.93 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 21363 0 0 0 2885 8 0 0 25 0 8 0 622469393 1005764608 126906 33554432000 4194304 4627427 140736661795984 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=982192 CPUtime=28.93 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 22988 0 0 0 2885 8 0 0 25 0 8 0 622469393 1005764608 126906 33554432000 4194304 4627427 140736661795984 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=982192 CPUtime=28.83 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 22676 0 0 0 2874 9 0 0 25 0 8 0 622469393 1005764608 126907 33554432000 4194304 4627427 140736661795984 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=982192 CPUtime=28.92 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 22068 0 0 0 2884 8 0 0 25 0 8 0 622469393 1005764608 126907 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=982192 CPUtime=28.81 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 16742 0 0 0 2876 5 0 0 25 0 8 0 622469393 1005764608 126907 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 231.23
Current children cumulated vsize (KiB) 982192
[startup+30.6003 s]
/proc/loadavg: 7.91 4.32 1.76 9/243 26708
/proc/meminfo: memFree=24595416/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=916656 CPUtime=244.02 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) R 26697 26699 26634 0 -1 4202496 182848 0 0 0 24332 70 0 0 25 0 8 0 622469393 938655744 129773 33554432000 4194304 4627427 140736661795984 18446744073709551615 4309633 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26699/statm: 229164 129774 391 106 0 224135 0
[pid=26699/tid=26700] ppid=26697 vsize=916656 CPUtime=30.52 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 27763 0 0 0 3043 9 0 0 25 0 8 0 622469393 938655744 129774 33554432000 4194304 4627427 140736661795984 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=916656 CPUtime=30.5 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 23201 0 0 0 3041 9 0 0 25 0 8 0 622469393 938655744 129774 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=916656 CPUtime=30.53 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 21384 0 0 0 3045 8 0 0 25 0 8 0 622469393 938655744 129774 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=916656 CPUtime=30.53 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 23495 0 0 0 3045 8 0 0 25 0 8 0 622469393 938655744 129774 33554432000 4194304 4627427 140736661795984 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=916656 CPUtime=30.43 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 23174 0 0 0 3034 9 0 0 25 0 8 0 622469393 938655744 129774 33554432000 4194304 4627427 140736661795984 18446744073709551615 4242353 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=916656 CPUtime=30.51 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 22911 0 0 0 3043 8 0 0 25 0 8 0 622469393 938655744 129774 33554432000 4194304 4627427 140736661795984 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=916656 CPUtime=30.4 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 17237 0 0 0 3035 5 0 0 25 0 8 0 622469393 938655744 129774 33554432000 4194304 4627427 140736661795984 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 244.02
Current children cumulated vsize (KiB) 916656
[startup+32.2091 s]
/proc/loadavg: 7.92 4.38 1.79 9/243 26708
/proc/meminfo: memFree=24590580/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=991744 CPUtime=256.66 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) S 26697 26699 26634 0 -1 4202496 186879 0 0 0 25595 71 0 0 25 0 8 0 622469393 1015545856 130712 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26699/statm: 247936 130712 391 106 0 242907 0
[pid=26699/tid=26700] ppid=26697 vsize=991744 CPUtime=32.09 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 27848 0 0 0 3200 9 0 0 25 0 8 0 622469393 1015545856 130712 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 0 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=991744 CPUtime=32.11 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 24581 0 0 0 3201 10 0 0 25 0 8 0 622469393 1015545856 130712 33554432000 4194304 4627427 140736661795984 18446744073709551615 4520550 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=991744 CPUtime=32.1 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 21691 0 0 0 3202 8 0 0 25 0 8 0 622469393 1015545856 130712 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=991744 CPUtime=32.14 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 24205 0 0 0 3206 8 0 0 25 0 8 0 622469393 1015545856 130712 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341718571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=991744 CPUtime=32 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 23544 0 0 0 3191 9 0 0 25 0 8 0 622469393 1015545856 130712 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 4 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=991744 CPUtime=32.08 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 23330 0 0 0 3200 8 0 0 25 0 8 0 622469393 1015545856 130712 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=991744 CPUtime=31.96 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 17305 0 0 0 3191 5 0 0 25 0 8 0 622469393 1015545856 130712 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 256.66
Current children cumulated vsize (KiB) 991744
[startup+32.601 s]
/proc/loadavg: 7.92 4.38 1.79 9/243 26708
/proc/meminfo: memFree=24590580/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=991744 CPUtime=257.44 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) S 26697 26699 26634 0 -1 4202496 187025 0 0 0 25673 71 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26699/statm: 247936 130858 391 106 0 242907 0
[pid=26699/tid=26700] ppid=26697 vsize=991744 CPUtime=32.09 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 27848 0 0 0 3200 9 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 0 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=991744 CPUtime=32.5 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 24727 0 0 0 3240 10 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=991744 CPUtime=32.1 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 21691 0 0 0 3202 8 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=991744 CPUtime=32.53 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 24205 0 0 0 3245 8 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341718724 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=991744 CPUtime=32 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 23544 0 0 0 3191 9 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 4 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=991744 CPUtime=32.08 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 23330 0 0 0 3200 8 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=991744 CPUtime=31.96 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 17305 0 0 0 3191 5 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 257.44
Current children cumulated vsize (KiB) 991744
[startup+32.801 s]
/proc/loadavg: 7.92 4.38 1.79 9/243 26708
/proc/meminfo: memFree=24590580/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=991744 CPUtime=257.84 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) S 26697 26699 26634 0 -1 4202496 187025 0 0 0 25713 71 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26699/statm: 247936 130858 391 106 0 242907 0
[pid=26699/tid=26700] ppid=26697 vsize=991744 CPUtime=32.09 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 27848 0 0 0 3200 9 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 0 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=991744 CPUtime=32.7 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 24727 0 0 0 3260 10 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=991744 CPUtime=32.1 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 21691 0 0 0 3202 8 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=991744 CPUtime=32.73 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 24205 0 0 0 3265 8 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341718724 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=991744 CPUtime=32 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 23544 0 0 0 3191 9 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 4 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=991744 CPUtime=32.08 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 23330 0 0 0 3200 8 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=991744 CPUtime=31.96 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 17305 0 0 0 3191 5 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 257.84
Current children cumulated vsize (KiB) 991744
[startup+32.9009 s]
/proc/loadavg: 7.92 4.38 1.79 9/243 26708
/proc/meminfo: memFree=24590580/32951124 swapFree=67111348/67111528
[pid=26699] ppid=26697 vsize=991744 CPUtime=258.04 cores=0-7
/proc/26699/stat : 26699 (strangenight2-m) S 26697 26699 26634 0 -1 4202496 187025 0 0 0 25733 71 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26699/statm: 247936 130858 391 106 0 242907 0
[pid=26699/tid=26700] ppid=26697 vsize=991744 CPUtime=32.09 cores=0-7
/proc/26699/task/26700/stat : 26700 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 27848 0 0 0 3200 9 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 0 0 0 0
[pid=26699/tid=26701] ppid=26697 vsize=991744 CPUtime=32.8 cores=0-7
/proc/26699/task/26701/stat : 26701 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 24727 0 0 0 3270 10 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 4298855 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26699/tid=26702] ppid=26697 vsize=991744 CPUtime=32.1 cores=0-7
/proc/26699/task/26702/stat : 26702 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 21691 0 0 0 3202 8 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 1 0 0 0
[pid=26699/tid=26703] ppid=26697 vsize=991744 CPUtime=32.83 cores=0-7
/proc/26699/task/26703/stat : 26703 (strangenight2-m) R 26697 26699 26634 0 -1 4202560 24205 0 0 0 3275 8 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341718571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26699/tid=26704] ppid=26697 vsize=991744 CPUtime=32 cores=0-7
/proc/26699/task/26704/stat : 26704 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 23544 0 0 0 3191 9 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 4 0 0 0
[pid=26699/tid=26705] ppid=26697 vsize=991744 CPUtime=32.08 cores=0-7
/proc/26699/task/26705/stat : 26705 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 23330 0 0 0 3200 8 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 6 0 0 0
[pid=26699/tid=26706] ppid=26697 vsize=991744 CPUtime=31.96 cores=0-7
/proc/26699/task/26706/stat : 26706 (strangenight2-m) S 26697 26699 26634 0 -1 4202560 17305 0 0 0 3191 5 0 0 25 0 8 0 622469393 1015545856 130858 33554432000 4194304 4627427 140736661795984 18446744073709551615 46952341743156 0 0 4096 2 18446604443654473728 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 258.04
Current children cumulated vsize (KiB) 991744
Child status: 20
Real time (s): 32.9323
CPU time (s): 258.086
CPU user time (s): 257.339
CPU system time (s): 0.746886
CPU usage (%): 783.686
Max. virtual memory (cumulated for all children) (KiB): 1047728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.339
system time used= 0.746886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187028
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= 33316
involuntary context switches= 1201
runsolver used 0.089986 second user time and 0.162975 second system time
The end
Begin job on node111 at 2011-05-02 09:46:29
IDJOB=3321042
IDBENCH=70818
IDSOLVER=1709
FILE ID=node111/3321042-1304322389
RUNJOBID= node111-1304322188-26648
PBS_JOBID= 13176814
Free space on /tmp= 73132 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor032.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321042-1304322389/watcher-3321042-1304322389 -o /tmp/evaluation-result-3321042-1304322389/solver-3321042-1304322389 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321042-1304322389.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= e1a6f3a7c69cc7fbec84aac478eb151a
RANDOM SEED=1777622561
node111.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.849
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.69
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.849
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 : 5428.12
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.849
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.849
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.86
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.849
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.75
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.849
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.849
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.67
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.849
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: 25112216 kB
Buffers: 1062020 kB
Cached: 2597108 kB
SwapCached: 0 kB
Active: 4055484 kB
Inactive: 3312600 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 25112216 kB
SwapTotal: 67111528 kB
SwapFree: 67111348 kB
Dirty: 6240 kB
Writeback: 0 kB
AnonPages: 3708756 kB
Mapped: 21996 kB
Slab: 390836 kB
PageTables: 17692 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 34952512 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= 73128 MiB
End job on node111 at 2011-05-02 09:47:02