0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.00/0.01 c This is CryptoMiniSat 3.0.0
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3321076-1304322913.cnf'
0.00/0.01 c -- header says num vars: 889302
0.00/0.01 c -- header says num clauses: 14582074
50.50/7.66 c -- clauses added: 0 learnts, 14582074 normals, 0 xors
50.50/7.66 c -- vars added 889302
50.50/7.66 c Parsing time: 4.95 s
50.50/7.66 c N st 0 0 889302 1778118 12803934 0 42006124 0 no data no data
53.61/8.03 c asymm cl-useful: 0/1799/1778118 lits-rem:0 time: 0.31
134.23/18.15 c Flit: 41 Blit: 818 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 10.09
134.23/18.16 c Cleaning up after failed var search: 0.00 s
147.91/20.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
160.65/21.84 c bin-w-bin subsume rem 0 bins time: 1.57 s
207.82/27.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 5.92 s
264.49/34.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2074 time: 7.02 s
268.49/35.39 c Removed useless bin: 1161 fixed: 0 props: 20.55M time: 0.53 s
524.74/67.48 c lits-rem: 0 cl-subs: 7754 v-elim: 7887 v-fix: 0 time: 31.94 s
528.74/67.91 c Finding binary XORs T: 0.43 s found: 0
531.93/68.33 c calculated reachability. Time: 0.02
535.14/68.75 c Calc default polars - time: 0.41 s pos: 9969 undec: 8783 neg: 870550
535.14/68.75 c =========================================================================================
535.14/68.75 c types(t): F = full restart, N = normal restart
535.14/68.75 c types(t): S = simplification begin/end, E = solution found
535.14/68.75 c restart types(rt): st = static, dy = dynamic
535.14/68.75 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
535.14/68.75 c B st 0 0 880552 1793246 12749864 0 43081937 0 no data no data
656.63/84.00 c N dy 14 4073 880551 1793246 12750233 3642 43081937 1120966 11.70 12.54
774.95/98.79 c N dy 27 8104 880547 1793246 12750951 7374 43081934 2168547 10.17 10.90
926.08/117.66 c N dy 47 12111 880543 1793246 12751163 11124 43081934 3043202 10.00 11.02
1090.72/138.26 c N dy 68 16222 880514 1793246 12754152 14916 43081934 3956839 9.91 10.57
1236.21/156.47 c N dy 87 20304 880486 1793246 12756920 9525 43081934 304793 9.84 10.72
1424.06/179.95 c N dy 112 24749 880485 1793246 12757264 13599 43081934 1522131 10.00 10.84
1432.07/180.97 c F st 114 25000 880446 1793246 12760180 13844 43081934 1564774 9.99 no data
1622.23/204.71 c N dy 120 30000 880445 1793246 12758415 18580 43077611 2390827 9.99 no data
1622.23/204.72 c S st 120 30000 880445 1793246 12758415 18580 43077611 2390827 9.99 no data
1651.02/208.35 c S st 120 30502 880443 1793246 12758457 19036 43077611 2485339 9.99 no data
1656.66/209.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.68
1769.30/223.16 c Flit: 68 Blit: 4281 bXBeca: 0 bXProp: 0 Bins:1306841 BRemL: 78 BRemN: 0 P: 200.2M T: 14.06
1770.15/223.21 c Cleaning up after failed var search: 0.00 s
1787.73/225.48 c blocked clauses removed: 0 vars: 0 tried: 876094 T: 0.82 s
1800.48/227.04 c bin-w-bin subsume rem 0 bins time: 1.57 s
1847.63/232.95 c subs with bin: 520 lits-rem: 9278 v-fix: 0 time: 5.89 s
1897.98/239.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11408 time: 6.27 s
1902.83/239.85 c Removed useless bin: 6 fixed: 0 props: 20.04M time: 0.58 s
1984.29/250.01 c lits-rem: 0 cl-subs: 1100 v-elim: 225 v-fix: 0 time: 10.12 s
2000.28/252.05 c subs with bin: 0 lits-rem: 182 v-fix: 0 time: 1.49 s
2128.17/268.02 c lits-rem: 2213 cl-subs: 1006 v-elim: 0 v-fix: 0 time: 15.14 s
2131.41/268.41 c asymm cl-useful: 0/101296/1793507 lits-rem:0 time: 0.40
2134.56/268.88 c calculated reachability. Time: 0.06
2135.36/268.93 c N dy 120 30502 875869 1793507 13956598 18310 42812913 4975486 9.99 no data
2138.56/269.38 c Finding binary XORs T: 0.44 s found: 6
2353.78/318.64 c N dy 148 34592 875779 1793507 13962473 22200 42812912 6513269 10.29 13.72
2796.18/492.93 c N dy 169 38697 875718 1793507 13964513 26081 42812911 7514078 10.30 11.43
2890.26/516.44 c N dy 200 42700 875717 1793507 13964723 15499 42812911 3391840 10.61 11.96
2995.33/533.46 c S st 221 45753 875402 1793507 14018552 18404 42812911 4236108 10.70 7.48
3045.64/539.78 c S st 221 46255 875391 1793507 14018615 18830 42812911 4260514 10.70 no data
3052.03/540.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.79
3189.15/557.78 c Flit: 18 Blit: 1423 bXBeca: 0 bXProp: 1 Bins:1622629 BRemL: 166 BRemN: 0 P: 200.6M T: 17.18
3189.89/557.88 c Cleaning up after failed var search: 0.00 s
3203.42/559.53 c Replacing 7 vars Replaced 12345 lits Time: 1.54 s
3220.89/561.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.06 s
3235.19/563.54 c bin-w-bin subsume rem 56 bins time: 1.80 s
3281.40/569.32 c subs with bin: 0 lits-rem: 2081 v-fix: 0 time: 5.78 s
3328.63/575.25 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 0 done: 13478 time: 5.93 s
3333.38/575.89 c Removed useless bin: 0 fixed: 0 props: 20.04M time: 0.64 s
3418.09/586.44 c lits-rem: 0 cl-subs: 532 v-elim: 89 v-fix: 0 time: 10.51 s
3434.13/588.42 c subs with bin: 1 lits-rem: 10 v-fix: 0 time: 1.51 s
3569.16/605.32 c lits-rem: 8415 cl-subs: 1048 v-elim: 0 v-fix: 0 time: 15.72 s
3573.16/605.89 c asymm cl-useful: 0/69120/1792252 lits-rem:0 time: 0.57
3577.95/606.44 c calculated reachability. Time: 0.08
3578.75/606.55 c N dy 221 46255 873854 1792252 15599802 18401 42814930 7402223 10.70 no data
3582.75/607.06 c Finding binary XORs T: 0.51 s found: 8
3898.61/671.23 c N dy 250 50333 873310 1792252 15605836 22284 42814930 8790463 10.85 11.45
3950.83/688.64 c N dy 279 54370 873308 1792252 15606046 26088 42814930 10110860 11.00 12.48
4582.07/950.48 c N dy 302 59570 873208 1792252 15607906 31128 42814930 11373912 10.96 11.56
4739.84/993.27 c N dy 330 63608 871180 1792252 15633429 35023 42814930 12862113 11.05 11.79
4901.15/1013.49 c N dy 346 67698 871179 1792252 15633617 21358 42814930 6989219 10.99 11.62
4969.89/1022.02 c S st 354 69382 871158 1792252 15634567 22989 42814930 7350442 11.01 no data
5017.72/1028.00 c S st 354 69883 871151 1792252 15634649 23399 42814930 7382216 11.01 no data
5024.12/1028.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.81
5166.37/1046.63 c Flit: 42 Blit: 72 bXBeca: 0 bXProp: 0 Bins:2452379 BRemL: 116 BRemN: 18 P: 200.0M T: 17.68
5167.17/1046.72 c Cleaning up after failed var search: 0.00 s
5179.99/1048.36 c Replacing 9 vars Replaced 41898 lits Time: 1.55 s
5195.12/1050.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.07 s
5212.71/1052.41 c bin-w-bin subsume rem 179 bins time: 2.20 s
5259.00/1058.23 c subs with bin: 44 lits-rem: 10116 v-fix: 0 time: 5.83 s
5294.92/1062.70 c Subs w/ non-existent bins: 18 l-rem: 8 v-fix: 0 done: 26353 time: 4.47 s
5300.51/1063.42 c Removed useless bin: 4 fixed: 0 props: 20.08M time: 0.72 s
5390.81/1074.73 c lits-rem: 962 cl-subs: 825 v-elim: 86 v-fix: 0 time: 11.29 s
5406.75/1076.77 c subs with bin: 12 lits-rem: 164 v-fix: 0 time: 1.58 s
5533.81/1092.66 c lits-rem: 39368 cl-subs: 481 v-elim: 0 v-fix: 0 time: 14.66 s
5538.61/1093.20 c asymm cl-useful: 0/87566/1791275 lits-rem:0 time: 0.53
5542.62/1093.79 c calculated reachability. Time: 0.08
5543.42/1093.88 c N dy 354 69883 870937 1791275 18025487 23051 42664488 12254194 11.01 no data
5548.26/1094.46 c Finding binary XORs T: 0.58 s found: 13
5979.23/1241.59 c N dy 379 74375 870848 1791275 18030580 27249 42664488 13300902 11.06 17.92
6018.42/1261.19 c N dy 413 79181 870848 1791275 18030753 31844 42664488 14828767 11.15 12.70
7568.11/2634.93 c Finding binary XORs T: 0.46 s found: 23
7603.91/2652.81 c N dy 439 84299 870816 1791275 21766522 36565 42659510 23665411 11.15 12.73
9392.84/4181.11 c F st 450 87502 870769 1791275 21767986 20115 42659510 18659188 11.12 10.51
9402.95/4182.77 c Replacing 36 vars Replaced 17978 lits Time: 1.12 s
9521.73/4197.83 c N st 455 90801 870727 1791272 21766887 23245 42657822 19616162 11.12 no data
9744.82/4226.06 c N dy 474 98051 870654 1791272 21786217 30298 42657822 20771410 11.08 11.69
9988.64/4256.59 c N dy 511 104427 870617 1791272 21788004 36426 42657821 23039170 11.13 11.83
10006.24/4258.73 c S st 513 104826 870615 1791272 21788029 36794 42657820 23076592 11.13 no data
10046.19/4263.80 c S st 513 105326 870575 1791272 21789302 37227 42657820 23122905 11.13 no data
10054.25/4264.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.96
10174.11/4279.79 c Flit: 66 Blit: 8 bXBeca: 0 bXProp: 0 Bins:3250805 BRemL: 518 BRemN: 4 P: 200.2M T: 15.00
10195.69/4282.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.05 s
10222.07/4285.75 c bin-w-bin subsume rem 26483 bins time: 3.33 s
10270.84/4291.90 c subs with bin: 1280 lits-rem: 7214 v-fix: 0 time: 6.14 s
10301.99/4295.78 c Subs w/ non-existent bins: 0 l-rem: 6 v-fix: 6 done: 65152 time: 3.89 s
10309.24/4296.66 c Removed useless bin: 28 fixed: 0 props: 20.07M time: 0.87 s
10404.33/4308.59 c lits-rem: 2633 cl-subs: 244 v-elim: 87 v-fix: 0 time: 11.91 s
10425.11/4311.19 c subs with bin: 0 lits-rem: 8 v-fix: 0 time: 1.59 s
10625.92/4337.22 c lits-rem: 26 cl-subs: 846 v-elim: 0 v-fix: 0 time: 25.19 s
10629.48/4337.89 c asymm cl-useful: 0/21019/1789730 lits-rem:0 time: 0.67
10634.28/4338.66 c calculated reachability. Time: 0.05
10634.88/4338.72 c N dy 513 105326 870395 1789730 25005063 36357 42621954 29273219 11.13 no data
10638.48/4339.31 c Finding binary XORs T: 0.59 s found: 20
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-3321076-1304322913/watcher-3321076-1304322913 -o /tmp/evaluation-result-3321076-1304322913/solver-3321076-1304322913 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321076-1304322913.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: 5.06 6.53 4.08 1/185 29991
/proc/meminfo: memFree=24870456/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=92188 CPUtime=0 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) R 29989 29991 29877 0 -1 4202496 413 0 0 0 0 0 0 0 24 0 8 0 543890187 94400512 352 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122278832 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29991/statm: 23047 352 299 106 0 18018 0
[pid=29991/tid=29992] ppid=29989 vsize=92188 CPUtime=0 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 543890187 94400512 352 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122278834 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=92188 CPUtime=0 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543890187 94400512 352 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122278834 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=92188 CPUtime=0 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543890187 94400512 352 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=92188 CPUtime=0 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543890187 94400512 352 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=92188 CPUtime=0 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543890187 94400512 352 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=92188 CPUtime=0 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543890187 94400512 352 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=92188 CPUtime=0 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 543890187 94400512 352 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.0362719 s]
/proc/loadavg: 5.06 6.53 4.08 1/185 29991
/proc/meminfo: memFree=24870456/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=385160 CPUtime=0.13 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) R 29989 29991 29877 0 -1 4202496 17899 0 0 0 9 4 0 0 18 0 8 0 543890187 394403840 14773 33554432000 4194304 4627427 140737036551840 18446744073709551615 255376998578 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29991/statm: 96450 15769 337 106 0 91421 0
[pid=29991/tid=29992] ppid=29989 vsize=385800 CPUtime=0.01 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 1412 0 0 0 1 0 0 0 17 0 8 0 543890187 395059200 15512 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446604471145540544 0 0 -1 4 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=385284 CPUtime=0.01 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 2051 0 0 0 1 0 0 0 17 0 8 0 543890187 394530816 15794 33554432000 4194304 4627427 140737036551840 18446744073709551615 4229260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=392396 CPUtime=0 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 2401 0 0 0 0 0 0 0 17 0 8 0 543890187 401813504 16979 33554432000 4194304 4627427 140737036551840 18446744073709551615 255376998768 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=392396 CPUtime=0 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 3217 0 0 0 0 0 0 0 18 0 8 0 543890187 401813504 16979 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377359274 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=392396 CPUtime=0.01 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 2930 0 0 0 1 0 0 0 18 0 8 0 543890187 401813504 16979 33554432000 4194304 4627427 140737036551840 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=392396 CPUtime=0.01 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 2778 0 0 0 1 0 0 0 17 0 8 0 543890187 401813504 16979 33554432000 4194304 4627427 140737036551840 18446744073709551615 255376998155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=392396 CPUtime=0.01 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 2172 0 0 0 1 0 0 0 17 0 8 0 543890187 401813504 16979 33554432000 4194304 4627427 140737036551840 18446744073709551615 4317104 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 385160
[startup+0.104149 s]
/proc/loadavg: 5.06 6.53 4.08 1/185 29991
/proc/meminfo: memFree=24870456/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=536304 CPUtime=0.58 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) R 29989 29991 29877 0 -1 4202496 84145 0 0 0 38 20 0 0 17 0 8 0 543890187 549175296 67944 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377359274 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29991/statm: 134076 67944 337 106 0 129047 0
[pid=29991/tid=29992] ppid=29989 vsize=536304 CPUtime=0.06 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 8873 0 0 0 4 2 0 0 17 0 8 0 543890187 549175296 67944 33554432000 4194304 4627427 140737036551840 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=554312 CPUtime=0.07 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 10319 0 0 0 5 2 0 0 18 0 8 0 543890187 567615488 69939 33554432000 4194304 4627427 140737036551840 18446744073709551615 255376998540 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=554312 CPUtime=0.06 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 10317 0 0 0 3 3 0 0 17 0 8 0 543890187 567615488 69939 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377359274 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=554312 CPUtime=0.07 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 12739 0 0 0 4 3 0 0 18 0 8 0 543890187 567615488 69939 33554432000 4194304 4627427 140737036551840 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=554312 CPUtime=0.06 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 11124 0 0 0 4 2 0 0 18 0 8 0 543890187 567615488 69939 33554432000 4194304 4627427 140737036551840 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=554312 CPUtime=0.07 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 11348 0 0 0 5 2 0 0 17 0 8 0 543890187 567615488 69939 33554432000 4194304 4627427 140737036551840 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=554312 CPUtime=0.06 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 9850 0 0 0 4 2 0 0 17 0 8 0 543890187 567615488 69939 33554432000 4194304 4627427 140737036551840 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 536304
[startup+0.320375 s]
/proc/loadavg: 5.06 6.53 4.08 1/185 29991
/proc/meminfo: memFree=24870456/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=1256784 CPUtime=2.08 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) D 29989 29991 29877 0 -1 4202496 304815 0 0 0 122 86 0 0 18 0 8 0 543890187 1286946816 237497 33554432000 4194304 4627427 140737036551840 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29991/statm: 314196 237497 337 106 0 309167 0
[pid=29991/tid=29992] ppid=29989 vsize=1256784 CPUtime=0.23 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 35110 0 0 0 14 9 0 0 17 0 8 0 543890187 1286946816 237497 33554432000 4194304 4627427 140737036551840 18446744073709551615 255376998869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=1256784 CPUtime=0.26 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 40146 0 0 0 15 11 0 0 18 0 8 0 543890187 1286946816 237497 33554432000 4194304 4627427 140737036551840 18446744073709551615 4313285 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=1256784 CPUtime=0.25 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 34508 0 0 0 15 10 0 0 17 0 8 0 543890187 1286946816 237497 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446604471145540544 0 0 -1 3 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=1256784 CPUtime=0.27 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 42197 0 0 0 15 12 0 0 18 0 8 0 543890187 1286946816 237497 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377344602 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=1256784 CPUtime=0.26 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 38959 0 0 0 16 10 0 0 18 0 8 0 543890187 1286946816 237497 33554432000 4194304 4627427 140737036551840 18446744073709551615 255376998849 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=1256784 CPUtime=0.25 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 40099 0 0 0 15 10 0 0 18 0 8 0 543890187 1286946816 237497 33554432000 4194304 4627427 140737036551840 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=1256784 CPUtime=0.23 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 35901 0 0 0 13 10 0 0 17 0 8 0 543890187 1286946816 237497 33554432000 4194304 4627427 140737036551840 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 1256784
[startup+0.706644 s]
/proc/loadavg: 5.06 6.53 4.08 1/185 29991
/proc/meminfo: memFree=24870456/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=2565476 CPUtime=4.42 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) S 29989 29991 29877 0 -1 4202496 633381 0 0 0 265 177 0 0 17 0 8 0 543890187 2627047424 497244 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29991/statm: 641369 497244 341 106 0 636340 0
[pid=29991/tid=29992] ppid=29989 vsize=2565476 CPUtime=0.53 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 83612 0 0 0 31 22 0 0 17 0 8 0 543890187 2627047424 497244 33554432000 4194304 4627427 140737036551840 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=2565476 CPUtime=0.52 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 81676 0 0 0 32 20 0 0 17 0 8 0 543890187 2627047424 497244 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377359274 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=2565476 CPUtime=0.54 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 71282 0 0 0 33 21 0 0 17 0 8 0 543890187 2627047424 497244 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377344695 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=2565476 CPUtime=0.57 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 83047 0 0 0 34 23 0 0 17 0 8 0 543890187 2627047424 497244 33554432000 4194304 4627427 140737036551840 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=2565476 CPUtime=0.58 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 78395 0 0 0 37 21 0 0 18 0 8 0 543890187 2627047424 497244 33554432000 4194304 4627427 140737036551840 18446744073709551615 4530619 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=2565476 CPUtime=0.54 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 81228 0 0 0 31 23 0 0 17 0 8 0 543890187 2627047424 497244 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446604471145540544 0 0 -1 2 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=2565476 CPUtime=0.52 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 78388 0 0 0 29 23 0 0 17 0 8 0 543890187 2627047424 497244 33554432000 4194304 4627427 140737036551840 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 2565476
[startup+1.5005 s]
/proc/loadavg: 5.06 6.53 4.08 9/193 29999
/proc/meminfo: memFree=22823152/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=2807820 CPUtime=9.79 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) S 29989 29991 29877 0 -1 4202496 673976 0 0 0 663 316 0 0 17 0 8 0 543890187 2875207680 537721 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29991/statm: 701955 537721 341 106 0 696926 0
[pid=29991/tid=29992] ppid=29989 vsize=2807820 CPUtime=1.2 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 90805 0 0 0 80 40 0 0 17 0 8 0 543890187 2875207680 537721 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=2807820 CPUtime=1.19 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 89494 0 0 0 81 38 0 0 17 0 8 0 543890187 2875207680 537721 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=2807820 CPUtime=1.19 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 73675 0 0 0 84 35 0 0 17 0 8 0 543890187 2875207680 537721 33554432000 4194304 4627427 140737036551840 18446744073709551615 255376962593 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=2807820 CPUtime=1.24 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 88528 0 0 0 83 41 0 0 17 0 8 0 543890187 2875207680 537721 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446604471145540544 0 0 -1 3 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=2807820 CPUtime=1.26 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 82304 0 0 0 87 39 0 0 17 0 8 0 543890187 2875207680 537721 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446604471145540544 0 0 -1 1 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=2807820 CPUtime=1.23 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 86194 0 0 0 81 42 0 0 17 0 8 0 543890187 2875207680 537721 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446604471145540544 0 0 -1 2 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=2807820 CPUtime=1.18 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 82125 0 0 0 82 36 0 0 17 0 8 0 543890187 2875207680 537721 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446604471145540544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 2807820
[startup+3.1012 s]
/proc/loadavg: 5.29 6.56 4.10 8/193 29999
/proc/meminfo: memFree=22496864/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=3599980 CPUtime=19.86 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) R 29989 29991 29877 0 -1 4202496 812311 0 0 0 1412 574 0 0 16 0 8 0 543890187 3686379520 676056 33554432000 4194304 4627427 140737036551840 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/29991/statm: 899995 676058 341 106 0 894966 0
[pid=29991/tid=29992] ppid=29989 vsize=3599980 CPUtime=2.48 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 107837 0 0 0 173 75 0 0 16 0 8 0 543890187 3686379520 676059 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446604471145540544 0 0 -1 4 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=3599980 CPUtime=2.47 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 106703 0 0 0 177 70 0 0 16 0 8 0 543890187 3686379520 676061 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=3599980 CPUtime=2.44 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 90690 0 0 0 178 66 0 0 16 0 8 0 543890187 3686379520 676061 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=3599980 CPUtime=2.51 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 106003 0 0 0 178 73 0 0 16 0 8 0 543890187 3686379520 676062 33554432000 4194304 4627427 140737036551840 18446744073709551615 255376962593 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=3599980 CPUtime=2.53 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 99814 0 0 0 182 71 0 0 16 0 8 0 543890187 3686379520 676063 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446604471145540544 0 0 -1 1 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=3599980 CPUtime=2.47 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 103398 0 0 0 171 76 0 0 16 0 8 0 543890187 3686379520 676063 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377344695 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=3599980 CPUtime=2.44 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) D 29989 29991 29877 0 -1 4202560 99440 0 0 0 176 68 0 0 16 0 8 0 543890187 3686379520 676064 33554432000 4194304 4627427 140737036551840 18446744073709551615 255376962593 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.86
Current children cumulated vsize (KiB) 3599980
[startup+6.30061 s]
/proc/loadavg: 5.29 6.56 4.10 5/193 29999
/proc/meminfo: memFree=21087232/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=5891620 CPUtime=42.39 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) R 29989 29991 29877 0 -1 4202496 1201074 0 0 0 3304 935 0 0 16 0 8 0 543890187 6033018880 1064819 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406495 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29991/statm: 1472905 1064822 341 106 0 1467876 0
[pid=29991/tid=29992] ppid=29989 vsize=5891620 CPUtime=5.32 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 156242 0 0 0 412 120 0 0 16 0 8 0 543890187 6033018880 1064830 33554432000 4194304 4627427 140737036551840 18446744073709551615 4360079 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=5891620 CPUtime=5.25 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 154089 0 0 0 409 116 0 0 16 0 8 0 543890187 6033018880 1064830 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=5891620 CPUtime=5.25 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 138097 0 0 0 413 112 0 0 17 0 8 0 543890187 6033018880 1064832 33554432000 4194304 4627427 140737036551840 18446744073709551615 4530642 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=5891808 CPUtime=5.37 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 155476 0 0 0 418 119 0 0 17 0 8 0 543890187 6033211392 1064837 33554432000 4194304 4627427 140737036551840 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=5891808 CPUtime=5.34 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 149237 0 0 0 416 118 0 0 17 0 8 0 543890187 6033211392 1064847 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377344695 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=5891808 CPUtime=5.27 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 151608 0 0 0 407 120 0 0 17 0 8 0 543890187 6033211392 1064867 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406446 0 0 4096 2 18446604471145540544 0 0 -1 6 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=5891808 CPUtime=5.23 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 148069 0 0 0 413 110 0 0 16 0 8 0 543890187 6033211392 1064887 33554432000 4194304 4627427 140737036551840 18446744073709551615 255377406495 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
Current children cumulated vsize (KiB) 18214308
[startup+4842.3 s]
/proc/loadavg: 1.25 1.72 1.85 2/193 30152
/proc/meminfo: memFree=9603024/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=18215332 CPUtime=11254.3 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) S 29989 29991 29877 0 -1 4202496 5784759 0 0 0 1123240 2191 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29991/statm: 4553833 3809403 390 106 0 4548804 0
[pid=29991/tid=29992] ppid=29989 vsize=18215332 CPUtime=1577.13 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 722226 0 0 0 157411 302 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=18215332 CPUtime=1348.72 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 640713 0 0 0 134615 257 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 3 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=18215332 CPUtime=1444.83 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 669109 0 0 0 144202 281 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 6 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=18215332 CPUtime=1356.12 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 598913 0 0 0 135381 231 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 4538320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=18215332 CPUtime=1543.08 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 586466 0 0 0 154068 240 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 4 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=18215332 CPUtime=1308.08 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 561017 0 0 0 130543 265 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 4 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=18215332 CPUtime=1364.83 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 1270483 0 0 0 136150 333 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11254.3
Current children cumulated vsize (KiB) 18215332
[startup+4902.3 s]
/proc/loadavg: 1.14 1.60 1.80 2/193 30154
/proc/meminfo: memFree=9602884/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=18215332 CPUtime=11314.3 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) S 29989 29991 29877 0 -1 4202496 5784759 0 0 0 1129240 2191 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29991/statm: 4553833 3809403 390 106 0 4548804 0
[pid=29991/tid=29992] ppid=29989 vsize=18215332 CPUtime=1577.13 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 722226 0 0 0 157411 302 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=18215332 CPUtime=1348.72 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 640713 0 0 0 134615 257 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 3 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=18215332 CPUtime=1444.83 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 669109 0 0 0 144202 281 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 6 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=18215332 CPUtime=1416.12 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 598913 0 0 0 141381 231 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 4538320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=18215332 CPUtime=1543.08 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 586466 0 0 0 154068 240 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 4 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=18215332 CPUtime=1308.08 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 561017 0 0 0 130543 265 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 4 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=18215332 CPUtime=1364.83 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 1270483 0 0 0 136150 333 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11314.3
Current children cumulated vsize (KiB) 18215332
[startup+4962.3 s]
/proc/loadavg: 1.11 1.50 1.75 2/193 30155
/proc/meminfo: memFree=9602868/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=18215332 CPUtime=11374.3 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) S 29989 29991 29877 0 -1 4202496 5784759 0 0 0 1135240 2191 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29991/statm: 4553833 3809403 390 106 0 4548804 0
[pid=29991/tid=29992] ppid=29989 vsize=18215332 CPUtime=1577.13 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 722226 0 0 0 157411 302 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=18215332 CPUtime=1348.72 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 640713 0 0 0 134615 257 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 3 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=18215332 CPUtime=1444.83 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 669109 0 0 0 144202 281 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 6 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=18215332 CPUtime=1476.12 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 598913 0 0 0 147381 231 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 4538320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=18215332 CPUtime=1543.08 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 586466 0 0 0 154068 240 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 4 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=18215332 CPUtime=1308.08 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 561017 0 0 0 130543 265 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 4 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=18215332 CPUtime=1364.83 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 1270483 0 0 0 136150 333 0 0 25 0 8 0 543890187 18652499968 3809403 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11374.3
Current children cumulated vsize (KiB) 18215332
[startup+5022.3 s]
/proc/loadavg: 1.38 1.49 1.73 2/193 30157
/proc/meminfo: memFree=9563552/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=18217380 CPUtime=11456.1 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) S 29989 29991 29877 0 -1 4202496 5796088 0 0 0 1143410 2202 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29991/statm: 4554345 3819233 390 106 0 4549316 0
[pid=29991/tid=29992] ppid=29989 vsize=18217380 CPUtime=1577.13 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 722226 0 0 0 157411 302 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=18217380 CPUtime=1348.72 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 640713 0 0 0 134615 257 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 3 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=18217380 CPUtime=1444.83 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 669109 0 0 0 144202 281 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 6 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=18217380 CPUtime=1533.49 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 600517 0 0 0 153118 231 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 1 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=18217380 CPUtime=1543.08 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 586466 0 0 0 154068 240 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 4 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=18217380 CPUtime=1332.51 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 570742 0 0 0 132976 275 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 4538330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=18217380 CPUtime=1364.83 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 1270483 0 0 0 136150 333 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11456.1
Current children cumulated vsize (KiB) 18217380
[startup+5082.3 s]
/proc/loadavg: 1.21 1.41 1.69 2/193 30159
/proc/meminfo: memFree=9563524/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=18217380 CPUtime=11516.1 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) S 29989 29991 29877 0 -1 4202496 5796088 0 0 0 1149410 2202 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29991/statm: 4554345 3819233 390 106 0 4549316 0
[pid=29991/tid=29992] ppid=29989 vsize=18217380 CPUtime=1577.13 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 722226 0 0 0 157411 302 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=18217380 CPUtime=1348.72 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 640713 0 0 0 134615 257 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 3 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=18217380 CPUtime=1444.83 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 669109 0 0 0 144202 281 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 6 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=18217380 CPUtime=1533.49 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 600517 0 0 0 153118 231 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 1 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=18217380 CPUtime=1543.08 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 586466 0 0 0 154068 240 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 4 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=18217380 CPUtime=1392.51 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 570742 0 0 0 138976 275 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 4538330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=18217380 CPUtime=1364.83 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 1270483 0 0 0 136150 333 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11516.1
Current children cumulated vsize (KiB) 18217380
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5100 s]
/proc/loadavg: 1.16 1.39 1.68 2/193 30159
/proc/meminfo: memFree=9563520/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=18217380 CPUtime=11533.8 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) S 29989 29991 29877 0 -1 4202496 5796088 0 0 0 1151180 2202 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29991/statm: 4554345 3819233 390 106 0 4549316 0
[pid=29991/tid=29992] ppid=29989 vsize=18217380 CPUtime=1577.13 cores=0-7
/proc/29991/task/29992/stat : 29992 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 722226 0 0 0 157411 302 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
[pid=29991/tid=29993] ppid=29989 vsize=18217380 CPUtime=1348.72 cores=0-7
/proc/29991/task/29993/stat : 29993 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 640713 0 0 0 134615 257 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 3 0 0 0
[pid=29991/tid=29994] ppid=29989 vsize=18217380 CPUtime=1444.83 cores=0-7
/proc/29991/task/29994/stat : 29994 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 669109 0 0 0 144202 281 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 6 0 0 0
[pid=29991/tid=29995] ppid=29989 vsize=18217380 CPUtime=1533.49 cores=0-7
/proc/29991/task/29995/stat : 29995 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 600517 0 0 0 153118 231 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 1 0 0 0
[pid=29991/tid=29996] ppid=29989 vsize=18217380 CPUtime=1543.08 cores=0-7
/proc/29991/task/29996/stat : 29996 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 586466 0 0 0 154068 240 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 4 0 0 0
[pid=29991/tid=29997] ppid=29989 vsize=18217380 CPUtime=1410.22 cores=0-7
/proc/29991/task/29997/stat : 29997 (strangenight2-m) R 29989 29991 29877 0 -1 4202560 570742 0 0 0 140747 275 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 4538330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=18217380 CPUtime=1364.83 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) S 29989 29991 29877 0 -1 4202560 1270483 0 0 0 136150 333 0 0 25 0 8 0 543890187 18654597120 3819233 33554432000 4194304 4627427 140737036551840 18446744073709551615 47066122277406 0 0 4096 2 18446604471145540544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11533.8
Current children cumulated vsize (KiB) 18217380
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5100.2 s]
/proc/loadavg: 1.16 1.39 1.68 2/193 30159
/proc/meminfo: memFree=9563520/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=0 CPUtime=11534 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) Z 29989 29991 29877 0 -1 4203548 5796088 0 0 0 1151181 2221 0 0 18 0 2 0 543890187 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29991/statm: 0 0 0 0 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=0 CPUtime=1365.02 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) R 29989 29991 29877 0 -1 4203588 1270483 0 0 0 136150 352 0 0 18 0 2 0 543890187 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11534
Current children cumulated vsize (KiB) 0
[startup+5100.6 s]
/proc/loadavg: 1.15 1.39 1.67 2/188 30160
/proc/meminfo: memFree=22474560/32951124 swapFree=67111352/67111528
[pid=29991] ppid=29989 vsize=0 CPUtime=11534.4 cores=0-7
/proc/29991/stat : 29991 (strangenight2-m) Z 29989 29991 29877 0 -1 4203548 5796088 0 0 0 1151181 2261 0 0 18 0 2 0 543890187 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29991/statm: 0 0 0 0 0 0 0
[pid=29991/tid=29998] ppid=29989 vsize=0 CPUtime=1365.42 cores=0-7
/proc/29991/task/29998/stat : 29998 (strangenight2-m) R 29989 29991 29877 0 -1 4203588 1270483 0 0 0 136150 392 0 0 18 0 2 0 543890187 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11534.4
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5100.7
CPU time (s): 11534.5
CPU user time (s): 11511.8
CPU system time (s): 22.7145
CPU usage (%): 226.136
Max. virtual memory (cumulated for all children) (KiB): 19123692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11511.8
system time used= 22.7145
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5796088
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= 1234644
involuntary context switches= 77468
runsolver used 7.8758 second user time and 18.4842 second system time
The end
Begin job on node135 at 2011-05-02 09:55:23
IDJOB=3321076
IDBENCH=71686
IDSOLVER=1709
FILE ID=node135/3321076-1304322913
RUNJOBID= node135-1304322184-29891
PBS_JOBID= 13176791
Free space on /tmp= 72840 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3321076-1304322913/watcher-3321076-1304322913 -o /tmp/evaluation-result-3321076-1304322913/solver-3321076-1304322913 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321076-1304322913.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 75d91f0ba4398ccb5b452707c0e7fa27
RANDOM SEED=1072388841
node135.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.851
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.70
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.851
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
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.851
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 : 6640.14
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.851
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.78
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.851
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.851
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.851
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 24871108 kB
Buffers: 987044 kB
Cached: 2752428 kB
SwapCached: 172 kB
Active: 4503064 kB
Inactive: 3033480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 24871108 kB
SwapTotal: 67111528 kB
SwapFree: 67111352 kB
Dirty: 322712 kB
Writeback: 0 kB
AnonPages: 3796756 kB
Mapped: 17024 kB
Slab: 471256 kB
PageTables: 13700 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 4671140 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72832 MiB
End job on node135 at 2011-05-02 11:20:25