0.00/0.00 c Outputting solution to console
0.15/0.05 c Using 8 threads
0.15/0.06 c This is CryptoMiniSat 3.0.0
0.15/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.15/0.06 c Reading file 'HOME/instance-3394132-1306091502.cnf'
0.15/0.06 c -- header says num vars: 889302
0.15/0.06 c -- header says num clauses: 14582074
46.78/7.44 c -- clauses added: 0 learnts, 14582074 normals, 0 xors
46.78/7.44 c -- vars added 889302
46.78/7.44 c Parsing time: 4.49 s
46.78/7.44 c N st 0 0 889302 1778118 12803934 0 42006124 0 no data no data
49.20/7.76 c asymm cl-useful: 0/1799/1778118 lits-rem:0 time: 0.24
120.02/16.65 c Flit: 41 Blit: 818 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.87
120.02/16.66 c Cleaning up after failed var search: 0.00 s
134.83/18.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
144.23/19.93 c bin-w-bin subsume rem 0 bins time: 1.21 s
186.69/25.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.29 s
238.43/31.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2074 time: 6.53 s
243.21/32.38 c Removed useless bin: 1161 fixed: 0 props: 20.55M time: 0.63 s
468.11/60.55 c lits-rem: 0 cl-subs: 7754 v-elim: 7887 v-fix: 0 time: 28.05 s
471.14/60.99 c Finding binary XORs T: 0.44 s found: 0
475.13/61.42 c calculated reachability. Time: 0.02
478.31/61.82 c Calc default polars - time: 0.40 s pos: 9969 undec: 8783 neg: 870550
478.31/61.82 c =========================================================================================
478.31/61.82 c types(t): F = full restart, N = normal restart
478.31/61.82 c types(t): S = simplification begin/end, E = solution found
478.31/61.82 c restart types(rt): st = static, dy = dynamic
478.31/61.82 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
478.31/61.82 c B st 0 0 880552 1793246 12749864 0 43081937 0 no data no data
593.15/76.27 c N dy 14 4073 880551 1793246 12750233 3642 43081937 1120966 11.70 12.54
705.05/90.26 c N dy 27 8104 880547 1793246 12750951 7374 43081934 2168547 10.17 10.90
848.53/108.21 c N dy 47 12111 880543 1793246 12751163 11124 43081934 3043202 10.00 11.02
1009.75/128.45 c N dy 68 16129 880517 1793246 12754144 14851 43081932 3893041 9.93 10.94
1159.78/147.32 c N dy 95 20132 880487 1793246 12756974 9335 43081931 301938 10.16 14.79
1324.97/167.97 c N dy 125 24210 880484 1793246 12757243 13114 43081929 1589745 10.45 11.01
1351.31/171.23 c F st 129 25004 880440 1793246 12759795 13856 43081925 1723954 10.44 8.73
1464.59/185.47 c N st 134 28303 880435 1793246 12757730 17022 43077193 2823201 10.44 no data
1506.08/190.61 c S st 135 30000 880435 1793246 12757776 18666 43077193 3326515 10.44 no data
1545.98/195.62 c S st 135 30500 880430 1793246 12757848 19087 43077193 3358560 10.44 no data
1550.75/196.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.62
1643.49/207.91 c Flit: 1 Blit: 6691 bXBeca: 0 bXProp: 2 Bins:1291555 BRemL: 81 BRemN: 0 P: 200.0M T: 11.62
1644.29/207.95 c Cleaning up after failed var search: 0.00 s
1655.29/209.37 c Replacing 3 vars Replaced 4882 lits Time: 1.36 s
1672.85/211.57 c blocked clauses removed: 0 vars: 0 tried: 873734 T: 0.84 s
1682.43/212.71 c bin-w-bin subsume rem 14 bins time: 1.15 s
1727.93/218.42 c subs with bin: 744 lits-rem: 7853 v-fix: 0 time: 5.71 s
1754.26/221.77 c Subs w/ non-existent bins: 2 l-rem: 51 v-fix: 2 done: 38110 time: 3.35 s
1759.84/222.41 c Removed useless bin: 4 fixed: 0 props: 20.41M time: 0.59 s
1841.98/232.72 c lits-rem: 0 cl-subs: 1372 v-elim: 233 v-fix: 0 time: 10.25 s
1859.54/234.97 c subs with bin: 0 lits-rem: 2 v-fix: 0 time: 1.32 s
1998.37/252.35 c lits-rem: 1889 cl-subs: 1251 v-elim: 0 v-fix: 0 time: 16.50 s
2001.57/252.76 c asymm cl-useful: 0/101197/1792629 lits-rem:0 time: 0.41
2005.56/253.23 c calculated reachability. Time: 0.05
2005.56/253.28 c N dy 135 30500 873499 1792629 13884604 18448 42683772 5772882 10.44 no data
2009.56/253.72 c Finding binary XORs T: 0.44 s found: 7
2175.98/296.09 c N dy 161 35288 873419 1792629 13891252 22894 42683772 6817933 10.37 10.96
2504.67/464.67 c N dy 185 39301 873372 1792629 13893512 26717 42683772 7686497 10.42 12.28
2744.64/522.25 c N dy 217 43347 873314 1792629 14073912 16208 42683772 3672824 10.59 11.32
2751.82/523.14 c Finding binary XORs T: 0.41 s found: 6
2833.23/533.42 c S st 234 45750 873146 1792629 14066881 18490 42670059 4377411 10.67 no data
2865.15/537.35 c S st 234 46250 873140 1792629 14066916 18947 42670059 4421466 10.67 no data
2870.72/538.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.67
2950.52/548.07 c Flit: 92 Blit: 185 bXBeca: 0 bXProp: 0 Bins:1431214 BRemL: 164 BRemN: 0 P: 200.0M T: 10.03
2951.32/548.12 c Cleaning up after failed var search: 0.00 s
2964.11/549.77 c Replacing 13 vars Replaced 617 lits Time: 1.59 s
2979.21/551.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.04 s
2989.60/552.95 c bin-w-bin subsume rem 188 bins time: 1.31 s
3030.29/558.07 c subs with bin: 0 lits-rem: 1452 v-fix: 0 time: 5.13 s
3068.60/562.80 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 0 done: 10829 time: 4.73 s
3072.59/563.38 c Removed useless bin: 21 fixed: 0 props: 20.17M time: 0.58 s
3148.36/572.86 c lits-rem: 0 cl-subs: 343 v-elim: 116 v-fix: 0 time: 9.44 s
3162.72/574.67 c subs with bin: 1 lits-rem: 35 v-fix: 0 time: 1.40 s
3267.20/587.78 c lits-rem: 2105 cl-subs: 387 v-elim: 0 v-fix: 0 time: 12.30 s
3271.20/588.21 c asymm cl-useful: 0/69009/1792161 lits-rem:0 time: 0.44
3275.18/588.71 c calculated reachability. Time: 0.06
3275.18/588.76 c N dy 234 46250 872733 1792161 15492891 18561 42742140 7192662 10.67 no data
3279.18/589.20 c Finding binary XORs T: 0.44 s found: 0
3532.24/642.79 c N dy 249 50541 872449 1792161 15496552 22684 42742140 8174354 10.63 12.65
3574.83/656.94 c N dy 274 55212 872446 1792161 15496749 27134 42742140 9652526 10.75 11.42
4066.68/883.76 c N dy 298 59286 870744 1792161 15500977 31003 42742140 10675137 10.83 11.87
4270.68/934.28 c Finding binary XORs T: 0.39 s found: 26
4291.70/939.29 c N dy 323 63294 870201 1792161 15823008 34794 42643303 12509014 10.92 11.58
4323.84/949.28 c N dy 334 67426 870198 1792161 15823120 21272 42643303 7238281 10.82 11.48
4507.55/1002.88 c S st 343 69375 870166 1792161 15825109 23106 42643302 7584625 10.82 no data
4541.87/1007.13 c S st 343 69878 870163 1792161 15825178 23534 42643302 7616699 10.82 no data
4547.62/1007.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.78
4642.04/1019.94 c Flit: 106 Blit: 64 bXBeca: 0 bXProp: 0 Bins:2709163 BRemL: 115 BRemN: 18 P: 200.0M T: 11.97
4642.04/1019.98 c Cleaning up after failed var search: 0.00 s
4655.45/1021.68 c Replacing 26 vars Replaced 38664 lits Time: 1.64 s
4673.73/1023.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.05 s
4686.66/1025.61 c bin-w-bin subsume rem 524 bins time: 1.65 s
4728.79/1030.83 c subs with bin: 39 lits-rem: 1513 v-fix: 0 time: 5.22 s
4751.91/1033.78 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 44701 time: 2.95 s
4757.59/1034.48 c Removed useless bin: 9 fixed: 0 props: 20.02M time: 0.70 s
4851.99/1046.40 c lits-rem: 1571 cl-subs: 851 v-elim: 28 v-fix: 0 time: 11.85 s
4867.92/1048.32 c subs with bin: 11 lits-rem: 71 v-fix: 0 time: 1.46 s
4989.09/1063.79 c lits-rem: 7161 cl-subs: 860 v-elim: 0 v-fix: 0 time: 14.25 s
4993.07/1064.21 c asymm cl-useful: 0/88740/1790723 lits-rem:0 time: 0.42
4997.06/1064.79 c calculated reachability. Time: 0.05
4997.86/1064.83 c N dy 343 69878 869930 1790723 18528972 22522 42633701 12907277 10.82 no data
5001.85/1065.32 c Finding binary XORs T: 0.49 s found: 10
5389.34/1219.38 c N dy 374 74433 869922 1790723 18534080 26780 42633701 14276170 10.95 11.58
5421.10/1235.21 c N dy 406 79204 869842 1790723 18534308 31284 42633700 15655397 11.02 11.61
7120.55/2777.18 c Finding binary XORs T: 0.43 s found: 10
7141.55/2787.62 c N dy 438 84356 869776 1790723 22642292 36239 42627604 25507008 11.15 11.76
9133.75/4622.06 c F st 462 87501 869742 1790723 22643809 19945 42627604 20477994 11.20 no data
9148.13/4623.88 c Replacing 20 vars Replaced 1218 lits Time: 1.21 s
9254.41/4637.21 c N st 467 90798 869721 1790723 22642845 23124 42626146 21431027 11.20 no data
9443.30/4660.83 c N dy 486 96694 869678 1790723 22644598 28794 42626146 22454020 11.15 11.85
9646.60/4686.34 c N dy 513 102904 869646 1790723 22646123 34668 42626145 23838102 11.13 11.92
9726.86/4696.49 c S st 526 104817 869644 1790723 22646192 36501 42626145 24713262 11.21 no data
9755.50/4700.06 c S st 526 105318 869614 1790723 22647679 36957 42626145 24781541 11.21 no data
9762.80/4700.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.92
9856.34/4712.79 c Flit: 24 Blit: 189 bXBeca: 0 bXProp: 0 Bins:2909807 BRemL: 469 BRemN: 4 P: 200.1M T: 11.76
9857.14/4712.82 c Cleaning up after failed var search: 0.00 s
9872.29/4714.71 c Replacing 1 vars Replaced 77 lits Time: 1.83 s
9888.24/4716.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.04 s
9908.21/4719.28 c bin-w-bin subsume rem 37367 bins time: 2.55 s
9948.90/4724.38 c subs with bin: 37 lits-rem: 11141 v-fix: 0 time: 5.10 s
9971.24/4727.15 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 1 done: 59358 time: 2.77 s
9978.42/4728.00 c Removed useless bin: 8 fixed: 0 props: 20.21M time: 0.85 s
10061.98/4738.53 c lits-rem: 722 cl-subs: 220 v-elim: 49 v-fix: 0 time: 10.49 s
10081.95/4741.06 c subs with bin: 2 lits-rem: 83 v-fix: 0 time: 1.42 s
10287.08/4768.69 c lits-rem: 107 cl-subs: 859 v-elim: 0 v-fix: 0 time: 26.72 s
10290.18/4769.22 c asymm cl-useful: 0/20622/1790318 lits-rem:0 time: 0.52
10293.58/4769.93 c calculated reachability. Time: 0.04
10293.58/4769.96 c N dy 526 105318 869350 1790318 25492202 36357 42591322 30352128 11.21 no data
10296.08/4770.48 c Finding binary XORs T: 0.52 s found: 15
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-3394132-1306091502/watcher-3394132-1306091502 -o /tmp/evaluation-result-3394132-1306091502/solver-3394132-1306091502 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394132-1306091502.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.60 7.74 7.91 1/543 22203
/proc/meminfo: memFree=13202344/32951124 swapFree=56449260/67111528
[pid=22203] ppid=22201 vsize=92144 CPUtime=0.1 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) R 22201 22203 21978 0 -1 4202496 411 0 0 0 10 0 0 0 24 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008946 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22203/statm: 23036 352 299 95 0 18018 0
[pid=22203/tid=22204] ppid=22201 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008946 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22203/tid=22205] ppid=22201 vsize=92144 CPUtime=0 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22203/tid=22206] ppid=22201 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008946 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22203/tid=22207] ppid=22201 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008936 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22203/tid=22208] ppid=22201 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008946 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22203/tid=22209] ppid=22201 vsize=92144 CPUtime=0.01 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008946 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22203/tid=22210] ppid=22201 vsize=92144 CPUtime=0 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008940 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.028997 s]
/proc/loadavg: 6.60 7.74 7.91 1/543 22203
/proc/meminfo: memFree=13202344/32951124 swapFree=56449260/67111528
[pid=22203] ppid=22201 vsize=92144 CPUtime=0.15 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) R 22201 22203 21978 0 -1 4202496 411 0 0 0 15 0 0 0 24 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008936 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22203/statm: 23036 352 299 95 0 18018 0
[pid=22203/tid=22204] ppid=22201 vsize=92144 CPUtime=0.02 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008940 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22203/tid=22205] ppid=22201 vsize=92144 CPUtime=0 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22203/tid=22206] ppid=22201 vsize=92144 CPUtime=0.02 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008950 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22203/tid=22207] ppid=22201 vsize=92144 CPUtime=0.02 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008946 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22203/tid=22208] ppid=22201 vsize=92144 CPUtime=0.02 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008944 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22203/tid=22209] ppid=22201 vsize=92144 CPUtime=0.02 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008950 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22203/tid=22210] ppid=22201 vsize=92144 CPUtime=0 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 720751632 94355456 352 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323008946 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 92144
[startup+0.101231 s]
/proc/loadavg: 6.60 7.74 7.91 1/543 22203
/proc/meminfo: memFree=13202344/32951124 swapFree=56449260/67111528
[pid=22203] ppid=22201 vsize=422516 CPUtime=0.61 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) R 22201 22203 21978 0 -1 4202496 31543 0 0 0 48 13 0 0 17 0 8 0 720751632 432656384 24753 33554432000 4194304 4580107 140735485762560 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22203/statm: 105629 24817 334 95 0 100611 0
[pid=22203/tid=22204] ppid=22201 vsize=422516 CPUtime=0.07 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 3904 0 0 0 6 1 0 0 18 0 8 0 720751632 432656384 24850 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964590 0 0 4096 2 18446604455114946432 0 0 -1 7 0 0 0
[pid=22203/tid=22205] ppid=22201 vsize=422516 CPUtime=0.02 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 2461 0 0 0 1 1 0 0 17 0 8 0 720751632 432656384 24884 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640557003 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22203/tid=22206] ppid=22201 vsize=422516 CPUtime=0.07 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 3977 0 0 0 6 1 0 0 17 0 8 0 720751632 432656384 24918 33554432000 4194304 4580107 140735485762560 18446744073709551615 4231587 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22203/tid=22207] ppid=22201 vsize=422516 CPUtime=0.08 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 4284 0 0 0 7 1 0 0 18 0 8 0 720751632 432656384 24958 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640557013 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22203/tid=22208] ppid=22201 vsize=422516 CPUtime=0.07 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 4692 0 0 0 6 1 0 0 18 0 8 0 720751632 432656384 24997 33554432000 4194304 4580107 140735485762560 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22203/tid=22209] ppid=22201 vsize=422516 CPUtime=0.07 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 4286 0 0 0 6 1 0 0 18 0 8 0 720751632 432656384 25032 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640556993 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22203/tid=22210] ppid=22201 vsize=422516 CPUtime=0.06 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 3933 0 0 0 5 1 0 0 17 0 8 0 720751632 432656384 25065 33554432000 4194304 4580107 140735485762560 18446744073709551615 4307426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 422516
[startup+0.303376 s]
/proc/loadavg: 6.60 7.74 7.91 1/543 22203
/proc/meminfo: memFree=13202344/32951124 swapFree=56449260/67111528
[pid=22203] ppid=22201 vsize=1127436 CPUtime=1.91 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) R 22201 22203 21978 0 -1 4202496 236687 0 0 0 117 74 0 0 18 0 8 0 720751632 1154494464 177970 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640902791 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22203/statm: 281859 177970 334 95 0 276841 0
[pid=22203/tid=22204] ppid=22201 vsize=1127436 CPUtime=0.24 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) D 22201 22203 21978 0 -1 4202560 28058 0 0 0 16 8 0 0 18 0 8 0 720751632 1154494464 177970 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640556993 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22203/tid=22205] ppid=22201 vsize=1127436 CPUtime=0.17 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) D 22201 22203 21978 0 -1 4202560 25412 0 0 0 9 8 0 0 17 0 8 0 720751632 1154494464 177458 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640556912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22203/tid=22206] ppid=22201 vsize=1127436 CPUtime=0.24 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) D 22201 22203 21978 0 -1 4202560 30735 0 0 0 15 9 0 0 18 0 8 0 720751632 1154494464 177458 33554432000 4194304 4580107 140735485762560 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22203/tid=22207] ppid=22201 vsize=1127436 CPUtime=0.24 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 30142 0 0 0 15 9 0 0 18 0 8 0 720751632 1154494464 176946 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964590 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 0
[pid=22203/tid=22208] ppid=22201 vsize=1127436 CPUtime=0.25 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) D 22201 22203 21978 0 -1 4202560 33850 0 0 0 15 10 0 0 18 0 8 0 720751632 1154494464 176946 33554432000 4194304 4580107 140735485762560 18446744073709551615 4307217 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22203/tid=22209] ppid=22201 vsize=1127436 CPUtime=0.24 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) D 22201 22203 21978 0 -1 4202560 28857 0 0 0 15 9 0 0 18 0 8 0 720751632 1154494464 176946 33554432000 4194304 4580107 140735485762560 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22203/tid=22210] ppid=22201 vsize=1127436 CPUtime=0.22 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) D 22201 22203 21978 0 -1 4202560 28852 0 0 0 14 8 0 0 18 0 8 0 720751632 1154494464 176434 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640556941 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 1127436
[startup+0.700893 s]
/proc/loadavg: 6.60 7.74 7.91 1/543 22203
/proc/meminfo: memFree=13202344/32951124 swapFree=56449260/67111528
[pid=22203] ppid=22201 vsize=2487624 CPUtime=4.31 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) R 22201 22203 21978 0 -1 4202496 611340 0 0 0 257 174 0 0 18 0 8 0 720751632 2547326976 470312 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640917418 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22203/statm: 621906 470312 338 95 0 616888 0
[pid=22203/tid=22204] ppid=22201 vsize=2487624 CPUtime=0.55 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) D 22201 22203 21978 0 -1 4202560 77590 0 0 0 34 21 0 0 17 0 8 0 720751632 2547326976 470312 33554432000 4194304 4580107 140735485762560 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22203/tid=22205] ppid=22201 vsize=2487624 CPUtime=0.41 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) D 22201 22203 21978 0 -1 4202560 67511 0 0 0 23 18 0 0 17 0 8 0 720751632 2547326976 470312 33554432000 4194304 4580107 140735485762560 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22203/tid=22206] ppid=22201 vsize=2487624 CPUtime=0.54 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) D 22201 22203 21978 0 -1 4202560 77090 0 0 0 32 22 0 0 17 0 8 0 720751632 2547326976 470312 33554432000 4194304 4580107 140735485762560 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22203/tid=22207] ppid=22201 vsize=2487624 CPUtime=0.55 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) D 22201 22203 21978 0 -1 4202560 75410 0 0 0 34 21 0 0 17 0 8 0 720751632 2547326976 470312 33554432000 4194304 4580107 140735485762560 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22203/tid=22208] ppid=22201 vsize=2487624 CPUtime=0.53 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) D 22201 22203 21978 0 -1 4202560 77891 0 0 0 31 22 0 0 17 0 8 0 720751632 2547326976 470312 33554432000 4194304 4580107 140735485762560 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22203/tid=22209] ppid=22201 vsize=2487624 CPUtime=0.58 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) D 22201 22203 21978 0 -1 4202560 79281 0 0 0 34 24 0 0 18 0 8 0 720751632 2547326976 470312 33554432000 4194304 4580107 140735485762560 18446744073709551615 4307185 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22203/tid=22210] ppid=22201 vsize=2487624 CPUtime=0.53 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 76232 0 0 0 32 21 0 0 17 0 8 0 720751632 2547326976 470312 33554432000 4194304 4580107 140735485762560 18446744073709551615 4353567 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 2487624
[startup+1.5007 s]
/proc/loadavg: 6.60 7.74 7.91 7/551 22211
/proc/meminfo: memFree=11164464/32951124 swapFree=56449260/67111528
[pid=22203] ppid=22201 vsize=2778564 CPUtime=9.51 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) R 22201 22203 21978 0 -1 4202496 674367 0 0 0 633 318 0 0 17 0 8 0 720751632 2845249536 532745 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964590 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22203/statm: 694641 532746 338 95 0 689623 0
[pid=22203/tid=22204] ppid=22201 vsize=2778564 CPUtime=1.19 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 80830 0 0 0 80 39 0 0 17 0 8 0 720751632 2845249536 532746 33554432000 4194304 4580107 140735485762560 18446744073709551615 4354962 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22203/tid=22205] ppid=22201 vsize=2778564 CPUtime=1.09 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 93904 0 0 0 69 40 0 0 17 0 8 0 720751632 2845249536 532749 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640902839 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22203/tid=22206] ppid=22201 vsize=2778564 CPUtime=1.15 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 84773 0 0 0 76 39 0 0 17 0 8 0 720751632 2845249536 532753 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964590 0 0 4096 2 18446604455114946432 0 0 -1 6 0 0 0
[pid=22203/tid=22207] ppid=22201 vsize=2778564 CPUtime=1.19 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 80049 0 0 0 82 37 0 0 17 0 8 0 720751632 2845249536 532756 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22203/tid=22208] ppid=22201 vsize=2778564 CPUtime=1.19 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 82819 0 0 0 78 41 0 0 17 0 8 0 720751632 2845249536 532758 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640515541 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22203/tid=22209] ppid=22201 vsize=2778564 CPUtime=1.23 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 83254 0 0 0 86 37 0 0 17 0 8 0 720751632 2845249536 532758 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640528544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22203/tid=22210] ppid=22201 vsize=2778564 CPUtime=1.2 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 79555 0 0 0 81 39 0 0 17 0 8 0 720751632 2845249536 532768 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 9.51
Current children cumulated vsize (KiB) 2778564
[startup+3.10041 s]
/proc/loadavg: 6.60 7.74 7.91 8/551 22211
/proc/meminfo: memFree=10830160/32951124 swapFree=56449260/67111528
[pid=22203] ppid=22201 vsize=3572628 CPUtime=19.35 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) S 22201 22203 21978 0 -1 4202496 825768 0 0 0 1352 583 0 0 16 0 8 0 720751632 3658371072 684146 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964590 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22203/statm: 893157 684159 338 95 0 888139 0
[pid=22203/tid=22204] ppid=22201 vsize=3572628 CPUtime=2.4 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 99316 0 0 0 169 71 0 0 16 0 8 0 720751632 3658371072 684159 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22203/tid=22205] ppid=22201 vsize=3572628 CPUtime=2.36 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 113965 0 0 0 162 74 0 0 16 0 8 0 720751632 3658371072 684160 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964590 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 0
[pid=22203/tid=22206] ppid=22201 vsize=3572628 CPUtime=2.39 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 103968 0 0 0 163 76 0 0 16 0 8 0 720751632 3658371072 684160 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964590 0 0 4096 2 18446604455114946432 0 0 -1 4 0 0 0
[pid=22203/tid=22207] ppid=22201 vsize=3572628 CPUtime=2.44 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 99746 0 0 0 175 69 0 0 16 0 8 0 720751632 3658371072 684160 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964590 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 0
[pid=22203/tid=22208] ppid=22201 vsize=3572628 CPUtime=2.42 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 101240 0 0 0 168 74 0 0 16 0 8 0 720751632 3658371072 684161 33554432000 4194304 4580107 140735485762560 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22203/tid=22209] ppid=22201 vsize=3572628 CPUtime=2.4 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 100721 0 0 0 172 68 0 0 17 0 8 0 720751632 3658371072 684161 33554432000 4194304 4580107 140735485762560 18446744073709551615 4511053 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22203/tid=22210] ppid=22201 vsize=3572628 CPUtime=2.43 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 98429 0 0 0 172 71 0 0 17 0 8 0 720751632 3658371072 684162 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964590 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.35
Current children cumulated vsize (KiB) 3572628
[startup+6.30082 s]
/proc/loadavg: 6.71 7.75 7.91 9/551 22211
/proc/meminfo: memFree=9407816/32951124 swapFree=56449260/67111528
[pid=22203] ppid=22201 vsize=6050944 CPUtime=40.24 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) R 22201 22203 21978 0 -1 4202496 1220560 0 0 0 3104 920 0 0 16 0 8 0 720751632 6196166656 1078938 33554432000 4194304 4580107 140735485762560 18446744073709551615 4512024 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/22203/statm: 1512736 1078940 338 95 0 1507718 0
[pid=22203/tid=22204] ppid=22201 vsize=6050944 CPUtime=5.03 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 149348 0 0 0 390 113 0 0 17 0 8 0 720751632 6196166656 1078941 33554432000 4194304 4580107 140735485762560 18446744073709551615 4353393 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22203/tid=22205] ppid=22201 vsize=6050944 CPUtime=5.01 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 164978 0 0 0 381 120 0 0 16 0 8 0 720751632 6196166656 1078942 33554432000 4194304 4580107 140735485762560 18446744073709551615 4512098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22203/tid=22206] ppid=22201 vsize=6050944 CPUtime=5.09 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 156910 0 0 0 387 122 0 0 16 0 8 0 720751632 6196166656 1078945 33554432000 4194304 4580107 140735485762560 18446744073709551615 4511072 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22203/tid=22207] ppid=22201 vsize=6050944 CPUtime=5.16 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 151965 0 0 0 406 110 0 0 16 0 8 0 720751632 6196166656 1078948 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964639 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22203/tid=22208] ppid=22201 vsize=6050944 CPUtime=5.11 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 151664 0 0 0 394 117 0 0 17 0 8 0 720751632 6196166656 1078950 33554432000 4194304 4580107 140735485762560 18446744073709551615 4353868 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=22203/tid=22209] ppid=22201 vsize=6050944 CPUtime=4.8 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 145376 0 0 0 373 107 0 0 17 0 8 0 720751632 6196166656 1078954 33554432000 4194304 4580107 140735485762560 18446744073709551615 253640964590 0 0 4096 2 18446604455114946432 0 0 -1 1 0 0 0
[pid=22203/tid=22210] ppid=22201 vsize=6050944 CPUtime=4.86 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 143844 0 0 0 376 110 0 0 17 0 8 0 720751632 6196166656 1078957 33554432000 4194304 4580107 140735485762560 18446744073709551615 4510923 0 0 4096 2 0 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/22203/task/22205/stat : 22205 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 684114 0 0 0 131601 277 0 0 25 0 8 0 720751632 19529506816 3934026 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 1 0 0 87
[pid=22203/tid=22206] ppid=22201 vsize=19071784 CPUtime=1281.43 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 616932 0 0 0 127890 253 0 0 25 0 8 0 720751632 19529506816 3934026 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 4 0 0 32
[pid=22203/tid=22207] ppid=22201 vsize=19071784 CPUtime=1238.31 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 563004 0 0 0 123600 231 0 0 25 0 8 0 720751632 19529506816 3934026 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 22
[pid=22203/tid=22208] ppid=22201 vsize=19071784 CPUtime=1267.58 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 585017 0 0 0 126500 258 0 0 22 0 8 0 720751632 19529506816 3934026 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 31
[pid=22203/tid=22209] ppid=22201 vsize=19071784 CPUtime=1300.51 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 582918 0 0 0 129796 255 0 0 25 0 8 0 720751632 19529506816 3934026 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 55
[pid=22203/tid=22210] ppid=22201 vsize=19071784 CPUtime=1356.44 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 1347129 0 0 0 135260 384 0 0 25 0 8 0 720751632 19529506816 3934026 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 116
Current children cumulated CPU time (s) 10435.1
Current children cumulated vsize (KiB) 19071784
[startup+4902.32 s]
/proc/loadavg: 1.84 2.95 2.08 2/551 22354
/proc/meminfo: memFree=162644/32951124 swapFree=54323904/67111528
[pid=22203] ppid=22201 vsize=19071784 CPUtime=10495.1 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) S 22201 22203 21978 0 -1 4202496 5821651 0 0 0 1047289 2222 0 0 25 0 8 0 720751632 19529506816 3934027 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 14
/proc/22203/statm: 4767946 3934027 418 95 0 4762928 0
[pid=22203/tid=22204] ppid=22201 vsize=19071784 CPUtime=1477.97 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 677284 0 0 0 147533 264 0 0 25 0 8 0 720751632 19529506816 3934027 33554432000 4194304 4580107 140735485762560 18446744073709551615 4518611 0 0 4096 2 0 0 0 -1 5 0 0 17
[pid=22203/tid=22205] ppid=22201 vsize=19071784 CPUtime=1318.78 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 684114 0 0 0 131601 277 0 0 25 0 8 0 720751632 19529506816 3934027 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 1 0 0 87
[pid=22203/tid=22206] ppid=22201 vsize=19071784 CPUtime=1281.43 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 616932 0 0 0 127890 253 0 0 25 0 8 0 720751632 19529506816 3934027 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 4 0 0 32
[pid=22203/tid=22207] ppid=22201 vsize=19071784 CPUtime=1238.31 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 563004 0 0 0 123600 231 0 0 25 0 8 0 720751632 19529506816 3934027 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 22
[pid=22203/tid=22208] ppid=22201 vsize=19071784 CPUtime=1267.58 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 585017 0 0 0 126500 258 0 0 22 0 8 0 720751632 19529506816 3934027 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 31
[pid=22203/tid=22209] ppid=22201 vsize=19071784 CPUtime=1300.51 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 582918 0 0 0 129796 255 0 0 25 0 8 0 720751632 19529506816 3934027 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 55
[pid=22203/tid=22210] ppid=22201 vsize=19071784 CPUtime=1356.44 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 1347129 0 0 0 135260 384 0 0 25 0 8 0 720751632 19529506816 3934027 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 116
Current children cumulated CPU time (s) 10495.1
Current children cumulated vsize (KiB) 19071784
[startup+4962.3 s]
/proc/loadavg: 1.31 2.59 2.01 2/551 22355
/proc/meminfo: memFree=161648/32951124 swapFree=54323904/67111528
[pid=22203] ppid=22201 vsize=19071784 CPUtime=10555.1 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) S 22201 22203 21978 0 -1 4202496 5821927 0 0 0 1053287 2222 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 14
/proc/22203/statm: 4767946 3934303 418 95 0 4762928 0
[pid=22203/tid=22204] ppid=22201 vsize=19071784 CPUtime=1537.96 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 677560 0 0 0 153532 264 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 4518621 0 0 4096 2 0 0 0 -1 5 0 0 17
[pid=22203/tid=22205] ppid=22201 vsize=19071784 CPUtime=1318.78 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 684114 0 0 0 131601 277 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 1 0 0 87
[pid=22203/tid=22206] ppid=22201 vsize=19071784 CPUtime=1281.43 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 616932 0 0 0 127890 253 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 4 0 0 32
[pid=22203/tid=22207] ppid=22201 vsize=19071784 CPUtime=1238.31 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 563004 0 0 0 123600 231 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 22
[pid=22203/tid=22208] ppid=22201 vsize=19071784 CPUtime=1267.58 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 585017 0 0 0 126500 258 0 0 22 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 31
[pid=22203/tid=22209] ppid=22201 vsize=19071784 CPUtime=1300.51 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 582918 0 0 0 129796 255 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 55
[pid=22203/tid=22210] ppid=22201 vsize=19071784 CPUtime=1356.44 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 1347129 0 0 0 135260 384 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 116
Current children cumulated CPU time (s) 10555.1
Current children cumulated vsize (KiB) 19071784
[startup+5022.3 s]
/proc/loadavg: 1.11 2.30 1.94 2/551 22357
/proc/meminfo: memFree=161520/32951124 swapFree=54323904/67111528
[pid=22203] ppid=22201 vsize=19071784 CPUtime=10615.1 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) S 22201 22203 21978 0 -1 4202496 5821927 0 0 0 1059288 2222 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 14
/proc/22203/statm: 4767946 3934303 418 95 0 4762928 0
[pid=22203/tid=22204] ppid=22201 vsize=19071784 CPUtime=1597.96 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 677560 0 0 0 159532 264 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 4518611 0 0 4096 2 0 0 0 -1 5 0 0 17
[pid=22203/tid=22205] ppid=22201 vsize=19071784 CPUtime=1318.78 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 684114 0 0 0 131601 277 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 1 0 0 87
[pid=22203/tid=22206] ppid=22201 vsize=19071784 CPUtime=1281.43 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 616932 0 0 0 127890 253 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 4 0 0 32
[pid=22203/tid=22207] ppid=22201 vsize=19071784 CPUtime=1238.31 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 563004 0 0 0 123600 231 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 22
[pid=22203/tid=22208] ppid=22201 vsize=19071784 CPUtime=1267.58 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 585017 0 0 0 126500 258 0 0 22 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 31
[pid=22203/tid=22209] ppid=22201 vsize=19071784 CPUtime=1300.51 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 582918 0 0 0 129796 255 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 55
[pid=22203/tid=22210] ppid=22201 vsize=19071784 CPUtime=1356.44 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 1347129 0 0 0 135260 384 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 116
Current children cumulated CPU time (s) 10615.1
Current children cumulated vsize (KiB) 19071784
[startup+5082.3 s]
/proc/loadavg: 1.04 2.06 1.88 2/551 22358
/proc/meminfo: memFree=161628/32951124 swapFree=54323904/67111528
[pid=22203] ppid=22201 vsize=19071784 CPUtime=10675.1 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) S 22201 22203 21978 0 -1 4202496 5821927 0 0 0 1065288 2222 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 14
/proc/22203/statm: 4767946 3934303 418 95 0 4762928 0
[pid=22203/tid=22204] ppid=22201 vsize=19071784 CPUtime=1657.96 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 677560 0 0 0 165532 264 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 4518611 0 0 4096 2 0 0 0 -1 5 0 0 17
[pid=22203/tid=22205] ppid=22201 vsize=19071784 CPUtime=1318.78 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 684114 0 0 0 131601 277 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 1 0 0 87
[pid=22203/tid=22206] ppid=22201 vsize=19071784 CPUtime=1281.43 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 616932 0 0 0 127890 253 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 4 0 0 32
[pid=22203/tid=22207] ppid=22201 vsize=19071784 CPUtime=1238.31 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 563004 0 0 0 123600 231 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 22
[pid=22203/tid=22208] ppid=22201 vsize=19071784 CPUtime=1267.58 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 585017 0 0 0 126500 258 0 0 22 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 31
[pid=22203/tid=22209] ppid=22201 vsize=19071784 CPUtime=1300.51 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 582918 0 0 0 129796 255 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 55
[pid=22203/tid=22210] ppid=22201 vsize=19071784 CPUtime=1356.44 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 1347129 0 0 0 135260 384 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 116
Current children cumulated CPU time (s) 10675.1
Current children cumulated vsize (KiB) 19071784
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5100 s]
/proc/loadavg: 1.03 1.99 1.86 2/551 22359
/proc/meminfo: memFree=161512/32951124 swapFree=54323904/67111528
[pid=22203] ppid=22201 vsize=19071784 CPUtime=10692.8 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) S 22201 22203 21978 0 -1 4202496 5821927 0 0 0 1067060 2222 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 14
/proc/22203/statm: 4767946 3934303 418 95 0 4762928 0
[pid=22203/tid=22204] ppid=22201 vsize=19071784 CPUtime=1675.68 cores=0-7
/proc/22203/task/22204/stat : 22204 (strangenight2-m) R 22201 22203 21978 0 -1 4202560 677560 0 0 0 167304 264 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 4518621 0 0 4096 2 0 0 0 -1 5 0 0 17
[pid=22203/tid=22205] ppid=22201 vsize=19071784 CPUtime=1318.78 cores=0-7
/proc/22203/task/22205/stat : 22205 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 684114 0 0 0 131601 277 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 1 0 0 87
[pid=22203/tid=22206] ppid=22201 vsize=19071784 CPUtime=1281.43 cores=0-7
/proc/22203/task/22206/stat : 22206 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 616932 0 0 0 127890 253 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 4 0 0 32
[pid=22203/tid=22207] ppid=22201 vsize=19071784 CPUtime=1238.31 cores=0-7
/proc/22203/task/22207/stat : 22207 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 563004 0 0 0 123600 231 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 22
[pid=22203/tid=22208] ppid=22201 vsize=19071784 CPUtime=1267.58 cores=0-7
/proc/22203/task/22208/stat : 22208 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 585017 0 0 0 126500 258 0 0 22 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 31
[pid=22203/tid=22209] ppid=22201 vsize=19071784 CPUtime=1300.51 cores=0-7
/proc/22203/task/22209/stat : 22209 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 582918 0 0 0 129796 255 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 0 0 0 55
[pid=22203/tid=22210] ppid=22201 vsize=19071784 CPUtime=1356.44 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) S 22201 22203 21978 0 -1 4202560 1347129 0 0 0 135260 384 0 0 25 0 8 0 720751632 19529506816 3934303 33554432000 4194304 4580107 140735485762560 18446744073709551615 47203323007518 0 0 4096 2 18446604455114946432 0 0 -1 3 0 0 116
Current children cumulated CPU time (s) 10692.8
Current children cumulated vsize (KiB) 19071784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5100.12 s]
/proc/loadavg: 1.03 1.99 1.86 2/551 22359
/proc/meminfo: memFree=161512/32951124 swapFree=54323904/67111528
[pid=22203] ppid=22201 vsize=0 CPUtime=10692.9 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) Z 22201 22203 21978 0 -1 4203548 5821927 0 0 0 1067060 2232 0 0 18 0 2 0 720751632 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 14
/proc/22203/statm: 0 0 0 0 0 0 0
[pid=22203/tid=22210] ppid=22201 vsize=0 CPUtime=1356.54 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) R 22201 22203 21978 0 -1 4203588 1347129 0 0 0 135260 394 0 0 18 0 2 0 720751632 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 116
Current children cumulated CPU time (s) 10692.9
Current children cumulated vsize (KiB) 0
[startup+5100.5 s]
/proc/loadavg: 1.03 1.99 1.86 2/546 22360
/proc/meminfo: memFree=4004684/32951124 swapFree=54323904/67111528
[pid=22203] ppid=22201 vsize=0 CPUtime=10693.3 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) Z 22201 22203 21978 0 -1 4203548 5821927 0 0 0 1067060 2270 0 0 18 0 2 0 720751632 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 14
/proc/22203/statm: 0 0 0 0 0 0 0
[pid=22203/tid=22210] ppid=22201 vsize=0 CPUtime=1356.92 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) R 22201 22203 21978 0 -1 4203588 1347129 0 0 0 135260 432 0 0 18 0 2 0 720751632 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 116
Current children cumulated CPU time (s) 10693.3
Current children cumulated vsize (KiB) 0
[startup+5100.6 s]
/proc/loadavg: 1.03 1.99 1.86 2/546 22360
/proc/meminfo: memFree=4004684/32951124 swapFree=54323904/67111528
[pid=22203] ppid=22201 vsize=0 CPUtime=10693.4 cores=0-7
/proc/22203/stat : 22203 (strangenight2-m) Z 22201 22203 21978 0 -1 4203548 5821927 0 0 0 1067060 2280 0 0 18 0 2 0 720751632 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 14
/proc/22203/statm: 0 0 0 0 0 0 0
[pid=22203/tid=22210] ppid=22201 vsize=0 CPUtime=1357.02 cores=0-7
/proc/22203/task/22210/stat : 22210 (strangenight2-m) R 22201 22203 21978 0 -1 4203588 1347129 0 0 0 135260 442 0 0 18 0 2 0 720751632 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 116
Current children cumulated CPU time (s) 10693.4
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5100.69
CPU time (s): 10693.5
CPU user time (s): 10670.6
CPU system time (s): 22.8975
CPU usage (%): 209.648
Max. virtual memory (cumulated for all children) (KiB): 19430944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10670.6
system time used= 22.8975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5821927
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= 1225990
involuntary context switches= 40518
runsolver used 24.8832 second user time and 61.8526 second system time
The end
Begin job on node106 at 2011-05-22 21:11:52
IDJOB=3394132
IDBENCH=71686
IDSOLVER=1878
FILE ID=node106/3394132-1306091502
RUNJOBID= node106-1306086488-21992
PBS_JOBID= 13387922
Free space on /tmp= 72952 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE06/velev-npe-1.0-9dlx-b71.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394132-1306091502/watcher-3394132-1306091502 -o /tmp/evaluation-result-3394132-1306091502/solver-3394132-1306091502 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394132-1306091502.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 75d91f0ba4398ccb5b452707c0e7fa27
RANDOM SEED=1766582559
node106.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 : 5226.20
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.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.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: 13202500 kB
Buffers: 342252 kB
Cached: 11304532 kB
SwapCached: 27520 kB
Active: 8335332 kB
Inactive: 11090196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 13202500 kB
SwapTotal: 67111528 kB
SwapFree: 56449260 kB
Dirty: 322220 kB
Writeback: 0 kB
AnonPages: 7759728 kB
Mapped: 25600 kB
Slab: 173636 kB
PageTables: 77524 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 167520048 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= 72948 MiB
End job on node106 at 2011-05-22 22:36:54