0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3321063-1304322696.cnf'
0.00/0.05 c -- header says num vars: 199304
0.00/0.05 c -- header says num clauses: 1005834
7.28/1.31 c -- clauses added: 0 learnts, 1005834 normals, 0 xors
7.28/1.31 c -- vars added 199304
7.28/1.31 c Parsing time: 0.52 s
7.28/1.31 c N st 0 0 199304 238668 756167 0 2381218 0 no data no data
10.46/1.75 c asymm cl-useful: 11/1975/201402 lits-rem:44 time: 0.42
118.38/15.24 c Flit: 1222 Blit: 1522 bXBeca: 0 bXProp: 1178 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 13.49
118.38/15.28 c Cleaning up after failed var search: 0.04 s
119.22/15.35 c Replacing 1178 vars Replaced 34467 lits Time: 0.06 s
120.02/15.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
120.77/15.50 c bin-w-bin subsume rem 27898 bins time: 0.05 s
121.57/15.60 c subs with bin: 3718 lits-rem: 34814 v-fix: 0 time: 0.09 s
145.55/18.65 c Subs w/ non-existent bins: 38 l-rem: 0 v-fix: 7124 done: 23538 time: 3.04 s
148.71/19.01 c Removed useless bin: 724 fixed: 0 props: 20.00M time: 0.36 s
154.36/19.77 c lits-rem: 2485 cl-subs: 6524 v-elim: 47670 v-fix: 0 time: 0.71 s
155.16/19.82 c Finding binary XORs T: 0.05 s found: 606
155.16/19.88 c Replacing 606 vars Replaced 16034 lits Time: 0.06 s
156.70/20.00 c Finding non-binary XORs: 0.09 s (found: 0, avg size: nan)
156.70/20.00 c calculated reachability. Time: 0.00
156.70/20.02 c Calc default polars - time: 0.02 s pos: 18510 undec: 111758 neg: 69036
156.70/20.02 c =========================================================================================
156.70/20.02 c types(t): F = full restart, N = normal restart
156.70/20.02 c types(t): S = simplification begin/end, E = solution found
156.70/20.02 c restart types(rt): st = static, dy = dynamic
156.70/20.02 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
156.70/20.02 c B st 0 0 87612 198107 323709 0 1433590 0 no data no data
200.58/25.57 c N dy 16 4614 77495 183974 281199 4100 1257544 564591 13.58 14.49
228.57/29.05 c Finding binary XORs T: 0.04 s found: 2309
229.37/29.14 c Replacing 2309 vars Replaced 112821 lits Time: 0.09 s
254.95/32.39 c N dy 38 8696 71184 171344 262939 7912 1160956 1616241 16.06 36.44
323.70/40.96 c N dy 52 13560 68269 164483 254823 12610 1105856 2924448 14.65 16.13
434.03/54.78 c N dy 64 18792 68248 164483 254842 17791 1105856 5583380 13.77 16.56
434.82/54.89 c Finding binary XORs T: 0.04 s found: 897
435.67/55.00 c Replacing 897 vars Replaced 32711 lits Time: 0.11 s
544.35/68.53 c N dy 77 24515 65729 160411 246877 13771 1066332 2809416 13.24 13.96
554.74/69.82 c F st 78 25002 65451 160411 247387 14249 1066332 2912887 13.18 11.59
651.48/81.92 c N dy 84 30000 65444 158942 246481 19083 1058831 4150478 13.18 no data
651.48/81.92 c S st 84 30000 65444 158942 246481 19083 1058831 4150478 13.18 no data
660.28/83.03 c S st 84 30504 65441 158942 246506 19531 1058831 4315699 13.18 no data
660.28/83.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
837.76/105.26 c Flit: 1138 Blit: 3056 bXBeca: 0 bXProp: 920 Bins: 49909 BRemL: 3608 BRemN: 16 P: 200.0M T: 22.19
838.56/105.32 c Cleaning up after failed var search: 0.05 s
840.20/105.52 c Replacing 921 vars Replaced 209766 lits Time: 0.19 s
840.20/105.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
840.20/105.60 c bin-w-bin subsume rem 6621 bins time: 0.03 s
841.00/105.67 c subs with bin: 3658 lits-rem: 3418 v-fix: 0 time: 0.07 s
872.14/109.59 c Subs w/ non-existent bins: 2323 l-rem: 268 v-fix: 6 done: 35129 time: 3.92 s
874.53/109.85 c Removed useless bin: 4886 fixed: 7 props: 20.01M time: 0.26 s
877.72/110.23 c lits-rem: 241 cl-subs: 9428 v-elim: 5247 v-fix: 0 time: 0.38 s
879.33/110.46 c subs with bin: 103 lits-rem: 378 v-fix: 0 time: 0.17 s
880.13/110.58 c lits-rem: 65 cl-subs: 334 v-elim: 0 v-fix: 0 time: 0.10 s
885.72/111.29 c asymm cl-useful: 366/880/124947 lits-rem:734 time: 0.71
886.52/111.31 c calculated reachability. Time: 0.00
886.52/111.31 c N dy 84 30504 54276 124947 234241 5746 873010 404112 13.18 no data
886.52/111.35 c Finding binary XORs T: 0.04 s found: 35
965.67/121.20 c N dy 87 35506 54149 124947 234784 10644 873010 1092373 12.65 13.47
1041.62/130.76 c N dy 90 40511 54140 124947 249544 15557 873010 1925731 12.30 13.30
1042.46/130.82 c Finding binary XORs T: 0.04 s found: 30
1112.81/139.61 c N dy 92 45756 54112 124718 259298 12506 870305 1414505 11.91 8.98
1112.81/139.61 c S st 92 45756 54112 124718 259298 12506 870305 1414505 11.91 8.98
1112.81/139.68 c Finding binary XORs T: 0.04 s found: 192
1119.96/140.50 c S st 92 46258 52101 113733 248132 12909 820365 1453103 11.91 no data
1119.96/140.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
1249.47/156.74 c Flit: 568 Blit: 1585 bXBeca: 0 bXProp: 623 Bins: 30627 BRemL: 4934 BRemN: 14 P: 200.0M T: 16.06
1249.47/156.77 c Cleaning up after failed var search: 0.03 s
1250.27/156.85 c Replacing 880 vars Replaced 41854 lits Time: 0.07 s
1250.27/156.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1251.07/156.92 c bin-w-bin subsume rem 16244 bins time: 0.03 s
1251.07/156.99 c subs with bin: 1582 lits-rem: 7014 v-fix: 0 time: 0.07 s
1281.44/160.76 c Subs w/ non-existent bins: 932 l-rem: 674 v-fix: 2 done: 33930 time: 3.77 s
1284.64/161.13 c Removed useless bin: 9737 fixed: 0 props: 20.02M time: 0.37 s
1286.24/161.39 c lits-rem: 913 cl-subs: 5684 v-elim: 3298 v-fix: 0 time: 0.26 s
1287.84/161.53 c subs with bin: 47 lits-rem: 147 v-fix: 0 time: 0.11 s
1288.68/161.62 c lits-rem: 55 cl-subs: 381 v-elim: 0 v-fix: 0 time: 0.07 s
1291.04/161.95 c vivif2 -- cl tried 100305 cl shrink 4469 lits rem 5319 time: 0.33
1291.83/162.01 c vivif2 -- cl tried 5601 cl shrink 1593 lits rem 25163 time: 0.06
1296.63/162.61 c asymm cl-useful: 34/3119/99374 lits-rem:41 time: 0.61
1297.47/162.79 c calculated reachability. Time: 0.16
1297.47/162.79 c N dy 92 46258 45331 99374 215373 5484 714090 293738 11.91 no data
1303.83/163.54 c Finding binary XORs T: 0.75 s found: 2
1349.39/169.21 c N dy 93 50632 45325 99374 224251 9824 714090 1423060 11.44 12.16
1386.21/173.86 c Finding binary XORs T: 0.54 s found: 146
1430.18/179.33 c N dy 94 57246 44689 97981 221638 16297 703162 2322300 10.93 11.56
1481.30/185.77 c N dy 96 61912 44649 97981 227154 20901 703162 3104008 10.62 11.20
1504.48/188.67 c Finding binary XORs T: 0.52 s found: 10
1558.84/195.49 c N dy 100 68897 44131 95313 234748 16218 691381 1527348 10.30 10.85
1564.43/196.11 c S st 101 69390 44131 95313 234750 16702 691381 1593284 10.30 9.38
1570.07/196.83 c S st 101 69893 44100 95313 234883 17156 691381 1683684 10.30 no data
1570.07/196.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
1690.74/211.91 c Flit: 548 Blit: 921 bXBeca: 0 bXProp: 584 Bins: 38413 BRemL: 491 BRemN: 20 P: 200.0M T: 14.94
1690.74/211.94 c Cleaning up after failed var search: 0.03 s
1691.54/212.02 c Replacing 742 vars Replaced 53053 lits Time: 0.08 s
1691.54/212.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1692.35/212.10 c bin-w-bin subsume rem 9261 bins time: 0.03 s
1692.35/212.16 c subs with bin: 894 lits-rem: 1604 v-fix: 0 time: 0.06 s
1716.32/215.11 c Subs w/ non-existent bins: 232 l-rem: 226 v-fix: 5 done: 40032 time: 2.95 s
1718.73/215.47 c Removed useless bin: 7200 fixed: 0 props: 19.66M time: 0.35 s
1720.37/215.69 c lits-rem: 165 cl-subs: 4655 v-elim: 2252 v-fix: 0 time: 0.22 s
1721.13/215.79 c subs with bin: 758 lits-rem: 228 v-fix: 0 time: 0.07 s
1721.92/215.87 c lits-rem: 65 cl-subs: 360 v-elim: 0 v-fix: 0 time: 0.06 s
1725.13/216.28 c vivif2 -- cl tried 86984 cl shrink 4893 lits rem 5804 time: 0.40
1725.93/216.35 c vivif2 -- cl tried 6183 cl shrink 701 lits rem 5153 time: 0.07
1731.52/217.07 c asymm cl-useful: 173/1246/86121 lits-rem:192 time: 0.72
1733.91/217.31 c calculated reachability. Time: 0.22
1733.91/217.31 c N dy 101 69893 39424 86120 230006 6092 620709 310044 10.30 no data
1741.10/218.29 c Finding binary XORs T: 0.98 s found: 5
1781.94/223.35 c N dy 103 74412 39424 86120 230033 10557 620709 1077072 10.12 10.66
1813.06/227.29 c Finding binary XORs T: 0.77 s found: 195
1888.21/236.61 c N dy 106 84423 38286 82833 275580 19538 602202 1878371 9.79 10.33
1920.19/240.64 c F st 108 87500 38151 82833 278745 22540 602202 2173011 9.70 7.40
1920.99/240.72 c Replacing 200 vars Replaced 7940 lits Time: 0.05 s
1952.17/244.69 c N st 113 90794 37953 81497 277186 13741 597283 960365 9.70 no data
1999.34/250.56 c Finding binary XORs T: 0.77 s found: 1
2038.52/255.41 c N dy 116 98056 37842 81497 292507 20834 597263 1556435 9.57 10.15
2062.54/258.49 c Finding binary XORs T: 0.80 s found: 12
2070.50/259.49 c Following stats are for *FIRST FINISHED THREAD ONLY*
2070.50/259.49 c num threads : 8
2070.50/259.49 c restarts : 139
2070.50/259.49 c dynamic restarts : 121
2070.50/259.49 c static restarts : 18
2070.50/259.49 c full restarts : 2
2070.50/259.49 c total simplify time : 4.49
2070.50/259.49 c learnts DL2 : 0
2070.50/259.49 c learnts size 2 : 1117299
2070.50/259.49 c learnts size 1 : 108551 (54.47 % of vars)
2070.50/259.49 c filedLit time : 40.97 (15.85 % time)
2070.50/259.49 c v-elim SatELite : 54027 (27.11 % vars)
2070.50/259.49 c SatELite time : 12.67 (4.90 % time)
2070.50/259.49 c v-elim xor : 0 (0.00 % vars)
2070.50/259.49 c xor elim time : 0.04 (0.02 % time)
2070.50/259.49 c num binary xor trees : 5236
2070.50/259.49 c binxor trees' crown : 8825 (1.69 leafs/tree)
2070.50/259.49 c bin xor find time : 3.39
2070.50/259.49 c OTF clause improved : 1334 (0.01 clauses/conflict)
2070.50/259.49 c OTF impr. size diff : 2983 (2.24 lits/clause)
2070.50/259.49 c OTF cl watch-shrink : 35028 (0.37 clauses/conflict)
2070.50/259.49 c OTF cl watch-sh-lit : 261614 (7.47 lits/clause)
2070.50/259.49 c tried to recurMin cls : 16719 (17.49 % of conflicts)
2070.50/259.49 c updated cache : 5809 (0.35 lits/tried recurMin)
2070.50/259.49 c unit cls recevied : 9086 (8.37 % of units)
2070.50/259.49 c unit cls sent : 4081 (3.76 % of units)
2070.50/259.49 c bin cls recevied : 239136
2070.50/259.49 c bin cls sent : 19474
2070.50/259.49 c clauses over max glue : 0 (0.00 % of all clauses)
2070.50/259.49 c conflicts : 95619 (369.95 / sec)
2070.50/259.49 c decisions : 281165 (2.52 % random)
2070.50/259.49 c bogo-props : 4259655624 (16480672.17 / sec)
2070.50/259.49 c conflict literals : 20324344 (41.20 % deleted)
2070.50/259.49 c Memory used : 5060.86 MB
2070.50/259.49 c single-thread CPU time : 258.46 s
2070.50/259.49 c all-threads sum CPU time : 2065.22 s
2070.50/259.49 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321063-1304322696/watcher-3321063-1304322696 -o /tmp/evaluation-result-3321063-1304322696/solver-3321063-1304322696 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321063-1304322696.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: 8.05 6.48 3.32 2/182 24869
/proc/meminfo: memFree=26885720/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=92188 CPUtime=0 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) R 24867 24869 24761 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 8 0 622500394 94400512 353 33554432000 4194304 4627427 140737279779328 18446744073709551615 47028617435052 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 23047 353 299 106 0 18018 0
[pid=24869/tid=24870] ppid=24867 vsize=92188 CPUtime=0 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 622500394 94400512 353 33554432000 4194304 4627427 140737279779328 18446744073709551615 47028617435058 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=92188 CPUtime=0 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622500394 94400512 353 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=92188 CPUtime=0 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622500394 94400512 353 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=92188 CPUtime=0 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622500394 94400512 353 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=92188 CPUtime=0 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622500394 94400512 353 33554432000 4194304 4627427 140737279779328 18446744073709551615 47028617435062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=92188 CPUtime=0 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622500394 94400512 353 33554432000 4194304 4627427 140737279779328 18446744073709551615 47028617435058 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=92188 CPUtime=0 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622500394 94400512 353 33554432000 4194304 4627427 140737279779328 18446744073709551615 47028617435058 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.0789111 s]
/proc/loadavg: 8.05 6.48 3.32 2/182 24869
/proc/meminfo: memFree=26885720/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=524188 CPUtime=0.4 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) R 24867 24869 24761 0 -1 4202496 21275 0 0 0 35 5 0 0 17 0 8 0 622500394 536768512 17271 33554432000 4194304 4627427 140737279779328 18446744073709551615 4314333 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 131047 17434 341 106 0 126018 0
[pid=24869/tid=24870] ppid=24867 vsize=524188 CPUtime=0.05 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 3095 0 0 0 5 0 0 0 18 0 8 0 622500394 536768512 17463 33554432000 4194304 4627427 140737279779328 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=524188 CPUtime=0.04 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 3149 0 0 0 4 0 0 0 18 0 8 0 622500394 536768512 17463 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895548330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=525632 CPUtime=0.04 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) S 24867 24869 24761 0 -1 4202560 2256 0 0 0 4 0 0 0 17 0 8 0 622500394 538247168 17463 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595502 0 0 4096 2 18446604453897499712 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=525148 CPUtime=0.04 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) S 24867 24869 24761 0 -1 4202560 2239 0 0 0 4 0 0 0 17 0 8 0 622500394 537751552 17468 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595502 0 0 4096 2 18446604453897499712 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=525148 CPUtime=0.05 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 2707 0 0 0 5 0 0 0 18 0 8 0 622500394 537751552 17483 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895187905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=525148 CPUtime=0.05 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 2825 0 0 0 5 0 0 0 18 0 8 0 622500394 537751552 17491 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=526108 CPUtime=0 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) S 24867 24869 24761 0 -1 4202560 2281 0 0 0 0 0 0 0 17 0 8 0 622500394 538734592 17499 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595502 0 0 4096 2 18446604453897499712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 524188
[startup+0.100891 s]
/proc/loadavg: 8.05 6.48 3.32 2/182 24869
/proc/meminfo: memFree=26885720/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=574456 CPUtime=0.52 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) S 24867 24869 24761 0 -1 4202496 43686 0 0 0 43 9 0 0 17 0 8 0 622500394 588242944 35405 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 143614 35440 341 106 0 138585 0
[pid=24869/tid=24870] ppid=24867 vsize=574456 CPUtime=0.06 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 6159 0 0 0 6 0 0 0 18 0 8 0 622500394 588242944 35451 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=574456 CPUtime=0.06 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 6459 0 0 0 5 1 0 0 18 0 8 0 622500394 588242944 35462 33554432000 4194304 4627427 140737279779328 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=574456 CPUtime=0.06 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 4850 0 0 0 5 1 0 0 17 0 8 0 622500394 588242944 35483 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=574456 CPUtime=0.06 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 5330 0 0 0 5 1 0 0 17 0 8 0 622500394 588242944 35504 33554432000 4194304 4627427 140737279779328 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=574456 CPUtime=0.07 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) S 24867 24869 24761 0 -1 4202560 5243 0 0 0 6 1 0 0 18 0 8 0 622500394 588242944 35521 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595502 0 0 4096 2 18446604453897499712 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=574456 CPUtime=0.06 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 5753 0 0 0 6 0 0 0 18 0 8 0 622500394 588242944 35540 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895187567 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=574456 CPUtime=0.02 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) S 24867 24869 24761 0 -1 4202560 4627 0 0 0 1 1 0 0 17 0 8 0 622500394 588242944 35559 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595502 0 0 4096 2 18446604453897499712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 574456
[startup+0.309829 s]
/proc/loadavg: 8.05 6.48 3.32 2/182 24869
/proc/meminfo: memFree=26885720/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=909348 CPUtime=1.81 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) D 24867 24869 24761 0 -1 4202496 141662 0 0 0 133 48 0 0 17 0 8 0 622500394 931172352 107566 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895533751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 227337 107575 341 106 0 222308 0
[pid=24869/tid=24870] ppid=24867 vsize=909348 CPUtime=0.22 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 17798 0 0 0 17 5 0 0 17 0 8 0 622500394 931172352 107575 33554432000 4194304 4627427 140737279779328 18446744073709551615 4350871 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=909348 CPUtime=0.22 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 18063 0 0 0 17 5 0 0 17 0 8 0 622500394 931172352 107581 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=909348 CPUtime=0.21 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) D 24867 24869 24761 0 -1 4202560 21728 0 0 0 15 6 0 0 17 0 8 0 622500394 931172352 107595 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=909348 CPUtime=0.22 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 18355 0 0 0 16 6 0 0 17 0 8 0 622500394 931172352 107617 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=909348 CPUtime=0.23 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 15389 0 0 0 17 6 0 0 17 0 8 0 622500394 931172352 107622 33554432000 4194304 4627427 140737279779328 18446744073709551615 4301439 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=909348 CPUtime=0.23 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 17014 0 0 0 18 5 0 0 17 0 8 0 622500394 931172352 107645 33554432000 4194304 4627427 140737279779328 18446744073709551615 4359989 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=909348 CPUtime=0.18 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) S 24867 24869 24761 0 -1 4202560 16290 0 0 0 12 6 0 0 17 0 8 0 622500394 931172352 107674 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595502 0 0 4096 2 18446604453897499712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 909348
[startup+0.700741 s]
/proc/loadavg: 8.05 6.48 3.32 2/182 24869
/proc/meminfo: memFree=26885720/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=1044744 CPUtime=4.13 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) R 24867 24869 24761 0 -1 4202496 160896 0 0 0 278 135 0 0 17 0 8 0 622500394 1069817856 126799 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 261186 126799 341 106 0 256157 0
[pid=24869/tid=24870] ppid=24867 vsize=1044744 CPUtime=0.51 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 19830 0 0 0 36 15 0 0 17 0 8 0 622500394 1069817856 126799 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=1044744 CPUtime=0.51 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) S 24867 24869 24761 0 -1 4202560 20598 0 0 0 35 16 0 0 17 0 8 0 622500394 1069817856 126800 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595502 0 0 4096 2 18446604453897499712 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=1044744 CPUtime=0.5 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) S 24867 24869 24761 0 -1 4202560 24519 0 0 0 34 16 0 0 17 0 8 0 622500394 1069817856 126800 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595502 0 0 4096 2 18446604453897499712 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=1044744 CPUtime=0.5 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 20916 0 0 0 33 17 0 0 17 0 8 0 622500394 1069817856 126802 33554432000 4194304 4627427 140737279779328 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=1044744 CPUtime=0.53 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 17674 0 0 0 35 18 0 0 17 0 8 0 622500394 1069817856 126802 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=1044744 CPUtime=0.53 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 19306 0 0 0 38 15 0 0 17 0 8 0 622500394 1069817856 126803 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=1044744 CPUtime=0.46 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 18395 0 0 0 30 16 0 0 17 0 8 0 622500394 1069817856 126804 33554432000 4194304 4627427 140737279779328 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 1044744
[startup+1.50059 s]
/proc/loadavg: 8.05 6.48 3.32 9/190 24877
/proc/meminfo: memFree=26314512/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=1127108 CPUtime=8.86 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) R 24867 24869 24761 0 -1 4202496 208077 0 0 0 619 267 0 0 16 0 8 0 622500394 1154158592 173601 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 281777 173601 365 106 0 276748 0
[pid=24869/tid=24870] ppid=24867 vsize=1127108 CPUtime=1.09 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 25547 0 0 0 79 30 0 0 16 0 8 0 622500394 1154158592 173601 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=1127108 CPUtime=1.09 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 26053 0 0 0 77 32 0 0 16 0 8 0 622500394 1154158592 173601 33554432000 4194304 4627427 140737279779328 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=1127108 CPUtime=1.1 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 29685 0 0 0 76 34 0 0 16 0 8 0 622500394 1154158592 173601 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=1127108 CPUtime=1.11 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 27027 0 0 0 76 35 0 0 16 0 8 0 622500394 1154158592 173601 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=1127108 CPUtime=1.12 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 23454 0 0 0 78 34 0 0 16 0 8 0 622500394 1154158592 173601 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=1127108 CPUtime=1.12 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 25494 0 0 0 84 28 0 0 17 0 8 0 622500394 1154158592 173601 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=1127108 CPUtime=1.06 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 24878 0 0 0 71 35 0 0 16 0 8 0 622500394 1154158592 173601 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.86
Current children cumulated vsize (KiB) 1127108
[startup+3.10129 s]
/proc/loadavg: 8.05 6.48 3.32 10/190 24877
/proc/meminfo: memFree=26156908/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=1137760 CPUtime=21.66 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) R 24867 24869 24761 0 -1 4202496 217875 0 0 0 1896 270 0 0 18 0 8 0 622500394 1165066240 182932 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 284440 182932 368 106 0 279411 0
[pid=24869/tid=24870] ppid=24867 vsize=1137760 CPUtime=2.68 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 26463 0 0 0 238 30 0 0 18 0 8 0 622500394 1165066240 182932 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=1137760 CPUtime=2.69 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 27193 0 0 0 237 32 0 0 18 0 8 0 622500394 1165066240 182932 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=1137760 CPUtime=2.7 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 30900 0 0 0 236 34 0 0 18 0 8 0 622500394 1165066240 182932 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=1137760 CPUtime=2.71 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 28251 0 0 0 236 35 0 0 18 0 8 0 622500394 1165066240 182932 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=1137760 CPUtime=2.72 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 24659 0 0 0 238 34 0 0 18 0 8 0 622500394 1165066240 182932 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=1137760 CPUtime=2.72 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 26700 0 0 0 244 28 0 0 19 0 8 0 622500394 1165066240 182932 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=1137760 CPUtime=2.66 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 26604 0 0 0 230 36 0 0 18 0 8 0 622500394 1165066240 182932 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308127 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 21.66
Current children cumulated vsize (KiB) 1137760
[startup+6.30068 s]
/proc/loadavg: 8.20 6.54 3.36 9/190 24877
/proc/meminfo: memFree=26150480/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=1137760 CPUtime=47.23 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) R 24867 24869 24761 0 -1 4202496 219642 0 0 0 4452 271 0 0 25 0 8 0 622500394 1165066240 184238 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 284440 184238 368 106 0 279411 0
[pid=24869/tid=24870] ppid=24867 vsize=1137760 CPUtime=5.88 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 26467 0 0 0 558 30 0 0 25 0 8 0 622500394 1165066240 184238 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=1137760 CPUtime=5.89 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 27199 0 0 0 557 32 0 0 25 0 8 0 622500394 1165066240 184238 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=1137760 CPUtime=5.9 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 30904 0 0 0 556 34 0 0 25 0 8 0 622500394 1165066240 184238 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=1137760 CPUtime=5.91 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 28257 0 0 0 556 35 0 0 25 0 8 0 622500394 1165066240 184238 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=1137760 CPUtime=5.91 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 24664 0 0 0 557 34 0 0 25 0 8 0 622500394 1165066240 184238 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=1137760 CPUtime=5.92 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 26707 0 0 0 564 28 0 0 25 0 8 0 622500394 1165066240 184238 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=1137760 CPUtime=5.84 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 28332 0 0 0 547 37 0 0 25 0 8 0 622500394 1165066240 184238 33554432000 4194304 4627427 140737279779328 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=24869/tid=24873] ppid=24867 vsize=5022128 CPUtime=229.88 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 163155 0 0 0 22914 74 0 0 25 0 8 0 622500394 5142659072 986200 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=5022128 CPUtime=229.9 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 151062 0 0 0 22924 66 0 0 25 0 8 0 622500394 5142659072 986200 33554432000 4194304 4627427 140737279779328 18446744073709551615 4515560 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=5022128 CPUtime=229.91 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 158399 0 0 0 22927 64 0 0 25 0 8 0 622500394 5142659072 986200 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=5022128 CPUtime=228.62 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 162151 0 0 0 22786 76 0 0 25 0 8 0 622500394 5142659072 986200 33554432000 4194304 4627427 140737279779328 18446744073709551615 4534929 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1837.84
Current children cumulated vsize (KiB) 5022128
[startup+243.107 s]
/proc/loadavg: 8.09 7.38 4.42 9/190 24883
/proc/meminfo: memFree=22775104/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=5418384 CPUtime=1940.22 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) R 24867 24869 24761 0 -1 4202496 1369955 0 0 0 193426 596 0 0 25 0 8 0 622500394 5548425216 1026371 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 1354596 1026371 392 106 0 1349567 0
[pid=24869/tid=24870] ppid=24867 vsize=5418384 CPUtime=242.66 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 169256 0 0 0 24197 69 0 0 25 0 8 0 622500394 5548425216 1026371 33554432000 4194304 4627427 140737279779328 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=5418384 CPUtime=242.67 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 188751 0 0 0 24188 79 0 0 25 0 8 0 622500394 5548425216 1026371 33554432000 4194304 4627427 140737279779328 18446744073709551615 4436849 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=5418384 CPUtime=242.67 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 158791 0 0 0 24190 77 0 0 25 0 8 0 622500394 5548425216 1026371 33554432000 4194304 4627427 140737279779328 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=5418384 CPUtime=242.69 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 188684 0 0 0 24191 78 0 0 25 0 8 0 622500394 5548425216 1026371 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=5418384 CPUtime=242.7 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 153585 0 0 0 24204 66 0 0 25 0 8 0 622500394 5548425216 1026371 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=5418384 CPUtime=242.72 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 159166 0 0 0 24208 64 0 0 25 0 8 0 622500394 5548425216 1026371 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=5418384 CPUtime=241.35 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 168926 0 0 0 24057 78 0 0 25 0 8 0 622500394 5548425216 1026371 33554432000 4194304 4627427 140737279779328 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1940.22
Current children cumulated vsize (KiB) 5418384
[startup+249.5 s]
/proc/loadavg: 8.08 7.39 4.44 9/190 24884
/proc/meminfo: memFree=22756380/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=5264128 CPUtime=1991.35 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) R 24867 24869 24761 0 -1 4202496 1377767 0 0 0 198535 600 0 0 25 0 8 0 622500394 5390467072 1031404 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 1316032 1031404 392 106 0 1311003 0
[pid=24869/tid=24870] ppid=24867 vsize=5264128 CPUtime=249.05 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 170873 0 0 0 24836 69 0 0 25 0 8 0 622500394 5390467072 1031404 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=5264128 CPUtime=249.06 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 190493 0 0 0 24827 79 0 0 25 0 8 0 622500394 5390467072 1031404 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=5264128 CPUtime=249.06 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 159090 0 0 0 24829 77 0 0 25 0 8 0 622500394 5390467072 1031404 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=5264128 CPUtime=249.08 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 188969 0 0 0 24830 78 0 0 25 0 8 0 622500394 5390467072 1031404 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=5264128 CPUtime=249.1 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 154477 0 0 0 24843 67 0 0 25 0 8 0 622500394 5390467072 1031404 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=5264128 CPUtime=249.12 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 160739 0 0 0 24847 65 0 0 25 0 8 0 622500394 5390467072 1031404 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=5264128 CPUtime=247.72 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 169339 0 0 0 24693 79 0 0 25 0 8 0 622500394 5390467072 1031404 33554432000 4194304 4627427 140737279779328 18446744073709551615 4302426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1991.35
Current children cumulated vsize (KiB) 5264128
[startup+255.901 s]
/proc/loadavg: 8.07 7.40 4.46 9/190 24884
/proc/meminfo: memFree=22746332/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=5264128 CPUtime=2042.51 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) R 24867 24869 24761 0 -1 4202496 1380593 0 0 0 203650 601 0 0 25 0 8 0 622500394 5390467072 1034028 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 1316032 1034028 392 106 0 1311003 0
[pid=24869/tid=24870] ppid=24867 vsize=5264128 CPUtime=255.45 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 171130 0 0 0 25476 69 0 0 25 0 8 0 622500394 5390467072 1034028 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=5264128 CPUtime=255.47 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 190953 0 0 0 25467 80 0 0 25 0 8 0 622500394 5390467072 1034028 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=5264128 CPUtime=255.46 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 159311 0 0 0 25469 77 0 0 25 0 8 0 622500394 5390467072 1034028 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=5264128 CPUtime=255.49 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 189194 0 0 0 25470 79 0 0 25 0 8 0 622500394 5390467072 1034028 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=5264128 CPUtime=255.49 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 154848 0 0 0 25482 67 0 0 25 0 8 0 622500394 5390467072 1034028 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=5264128 CPUtime=255.52 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 161390 0 0 0 25487 65 0 0 25 0 8 0 622500394 5390467072 1034028 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=5264128 CPUtime=254.08 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 169651 0 0 0 25329 79 0 0 25 0 8 0 622500394 5390467072 1034028 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2042.51
Current children cumulated vsize (KiB) 5264128
[startup+257.501 s]
/proc/loadavg: 8.07 7.40 4.46 9/190 24884
/proc/meminfo: memFree=22742736/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=5264128 CPUtime=2055.3 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) R 24867 24869 24761 0 -1 4202496 1381204 0 0 0 204928 602 0 0 25 0 8 0 622500394 5390467072 1034639 33554432000 4194304 4627427 140737279779328 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 1316032 1034639 392 106 0 1311003 0
[pid=24869/tid=24870] ppid=24867 vsize=5264128 CPUtime=257.05 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 171179 0 0 0 25636 69 0 0 25 0 8 0 622500394 5390467072 1034639 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=5264128 CPUtime=257.07 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 191054 0 0 0 25627 80 0 0 25 0 8 0 622500394 5390467072 1034639 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=5264128 CPUtime=257.06 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 159359 0 0 0 25629 77 0 0 25 0 8 0 622500394 5390467072 1034639 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309004 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=5264128 CPUtime=257.09 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 189259 0 0 0 25630 79 0 0 25 0 8 0 622500394 5390467072 1034639 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=5264128 CPUtime=257.09 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 154937 0 0 0 25642 67 0 0 25 0 8 0 622500394 5390467072 1034639 33554432000 4194304 4627427 140737279779328 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=5264128 CPUtime=257.12 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 161446 0 0 0 25647 65 0 0 25 0 8 0 622500394 5390467072 1034639 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=5264128 CPUtime=255.67 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 169751 0 0 0 25488 79 0 0 25 0 8 0 622500394 5390467072 1034639 33554432000 4194304 4627427 140737279779328 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2055.3
Current children cumulated vsize (KiB) 5264128
[startup+258.301 s]
/proc/loadavg: 8.07 7.40 4.46 9/190 24884
/proc/meminfo: memFree=22742736/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=5264128 CPUtime=2061.7 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) R 24867 24869 24761 0 -1 4202496 1381439 0 0 0 205568 602 0 0 25 0 8 0 622500394 5390467072 1034874 33554432000 4194304 4627427 140737279779328 18446744073709551615 4515678 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 1316032 1034874 392 106 0 1311003 0
[pid=24869/tid=24870] ppid=24867 vsize=5264128 CPUtime=257.85 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 171204 0 0 0 25716 69 0 0 25 0 8 0 622500394 5390467072 1034874 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=5264128 CPUtime=257.87 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 191090 0 0 0 25707 80 0 0 25 0 8 0 622500394 5390467072 1034874 33554432000 4194304 4627427 140737279779328 18446744073709551615 4326315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=5264128 CPUtime=257.86 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 159392 0 0 0 25709 77 0 0 25 0 8 0 622500394 5390467072 1034874 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=5264128 CPUtime=257.89 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 189284 0 0 0 25710 79 0 0 25 0 8 0 622500394 5390467072 1034874 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=5264128 CPUtime=257.89 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 154987 0 0 0 25722 67 0 0 25 0 8 0 622500394 5390467072 1034874 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=5264128 CPUtime=257.91 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 161452 0 0 0 25726 65 0 0 25 0 8 0 622500394 5390467072 1034874 33554432000 4194304 4627427 140737279779328 18446744073709551615 4515654 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=5264128 CPUtime=256.47 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 169791 0 0 0 25568 79 0 0 25 0 8 0 622500394 5390467072 1034874 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2061.7
Current children cumulated vsize (KiB) 5264128
[startup+259.101 s]
/proc/loadavg: 8.07 7.41 4.48 9/190 24884
/proc/meminfo: memFree=22741372/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=5182316 CPUtime=2068.1 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) R 24867 24869 24761 0 -1 4202496 1382421 0 0 0 206207 603 0 0 25 0 8 0 622500394 5306691584 1034939 33554432000 4194304 4627427 140737279779328 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 1295579 1034939 392 106 0 1290550 0
[pid=24869/tid=24870] ppid=24867 vsize=5182316 CPUtime=258.65 cores=0-7
/proc/24869/task/24870/stat : 24870 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 171228 0 0 0 25796 69 0 0 25 0 8 0 622500394 5306691584 1034939 33554432000 4194304 4627427 140737279779328 18446744073709551615 4299706 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24869/tid=24871] ppid=24867 vsize=5182316 CPUtime=258.67 cores=0-7
/proc/24869/task/24871/stat : 24871 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 191131 0 0 0 25787 80 0 0 25 0 8 0 622500394 5306691584 1034939 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=5182316 CPUtime=258.66 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 159420 0 0 0 25789 77 0 0 25 0 8 0 622500394 5306691584 1034939 33554432000 4194304 4627427 140737279779328 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24869/tid=24873] ppid=24867 vsize=5182316 CPUtime=258.69 cores=0-7
/proc/24869/task/24873/stat : 24873 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 189309 0 0 0 25790 79 0 0 25 0 8 0 622500394 5306691584 1034939 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24869/tid=24874] ppid=24867 vsize=5182316 CPUtime=258.69 cores=0-7
/proc/24869/task/24874/stat : 24874 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 155026 0 0 0 25802 67 0 0 25 0 8 0 622500394 5306691584 1034939 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24869/tid=24875] ppid=24867 vsize=5182316 CPUtime=258.71 cores=0-7
/proc/24869/task/24875/stat : 24875 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 161480 0 0 0 25806 65 0 0 25 0 8 0 622500394 5306691584 1034939 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24869/tid=24876] ppid=24867 vsize=5182316 CPUtime=257.26 cores=0-7
/proc/24869/task/24876/stat : 24876 (strangenight2-m) R 24867 24869 24761 0 -1 4202560 170557 0 0 0 25647 79 0 0 25 0 8 0 622500394 5306691584 1034939 33554432000 4194304 4627427 140737279779328 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2068.1
Current children cumulated vsize (KiB) 5182316
[startup+259.501 s]
/proc/loadavg: 8.07 7.41 4.48 2/184 24884
/proc/meminfo: memFree=22831328/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=0 CPUtime=2071.26 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) Z 24867 24869 24761 0 -1 4203548 1382580 0 0 0 206522 604 0 0 25 0 2 0 622500394 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 0 0 0 0 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=0 CPUtime=259.07 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4203588 159443 0 0 0 25828 79 0 0 25 0 2 0 622500394 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2071.26
Current children cumulated vsize (KiB) 0
[startup+259.607 s]
/proc/loadavg: 8.07 7.41 4.48 2/184 24884
/proc/meminfo: memFree=22831328/32950928 swapFree=67111356/67111528
[pid=24869] ppid=24867 vsize=0 CPUtime=2071.36 cores=0-7
/proc/24869/stat : 24869 (strangenight2-m) Z 24867 24869 24761 0 -1 4203548 1382580 0 0 0 206522 614 0 0 25 0 2 0 622500394 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24869/statm: 0 0 0 0 0 0 0
[pid=24869/tid=24872] ppid=24867 vsize=0 CPUtime=259.17 cores=0-7
/proc/24869/task/24872/stat : 24872 (strangenight2-m) R 24867 24869 24761 0 -1 4203588 159443 0 0 0 25828 89 0 0 25 0 2 0 622500394 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2071.36
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 259.699
CPU time (s): 2071.46
CPU user time (s): 2065.22
CPU system time (s): 6.23505
CPU usage (%): 797.638
Max. virtual memory (cumulated for all children) (KiB): 5418384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2065.22
system time used= 6.23505
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1382580
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= 306190
involuntary context switches= 8735
runsolver used 0.356945 second user time and 1.07184 second system time
The end
Begin job on node114 at 2011-05-02 09:51:37
IDJOB=3321063
IDBENCH=71039
IDSOLVER=1709
FILE ID=node114/3321063-1304322696
RUNJOBID= node114-1304322188-24775
PBS_JOBID= 13176812
Free space on /tmp= 73824 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321063-1304322696/watcher-3321063-1304322696 -o /tmp/evaluation-result-3321063-1304322696/solver-3321063-1304322696 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321063-1304322696.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= bcbcc9a4e4a7e3ebed9eeaa393ebdc32
RANDOM SEED=1510055892
node114.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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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.15
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.848
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.74
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.848
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.73
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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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.848
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.848
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 26886124 kB
Buffers: 1137148 kB
Cached: 1981240 kB
SwapCached: 168 kB
Active: 2741204 kB
Inactive: 2806592 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 26886124 kB
SwapTotal: 67111528 kB
SwapFree: 67111356 kB
Dirty: 24080 kB
Writeback: 0 kB
AnonPages: 2429724 kB
Mapped: 19032 kB
Slab: 445816 kB
PageTables: 9900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 2876760 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= 73820 MiB
End job on node114 at 2011-05-02 09:55:57