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-3321112-1304323749.cnf'
0.00/0.02 c -- header says num vars: 559571
0.00/0.02 c -- header says num clauses: 10223027
38.09/8.09 c -- clauses added: 0 learnts, 10223027 normals, 0 xors
38.09/8.09 c -- vars added 559571
38.09/8.09 c Parsing time: 2.88 s
38.09/8.09 c N st 0 0 559571 351283 8886087 0 20126913 0 no data no data
54.55/10.19 c asymm cl-useful: 491/667/276845 lits-rem:2206 time: 1.09
188.02/26.80 c Flit: 233 Blit: 93807 bXBeca: 0 bXProp: 806 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 17.53
188.82/26.98 c Cleaning up after failed var search: 0.17 s
191.22/27.22 c Replacing 809 vars Replaced 26604 lits Time: 0.23 s
192.87/27.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
198.41/28.15 c bin-w-bin subsume rem 884 bins time: 0.65 s
238.37/33.17 c subs with bin: 0 lits-rem: 5054 v-fix: 0 time: 5.02 s
268.70/36.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 21770 time: 3.78 s
271.09/37.23 c Removed useless bin: 6590 fixed: 0 props: 20.02M time: 0.28 s
279.08/38.27 c lits-rem: 0 cl-subs: 0 v-elim: 7 v-fix: 0 time: 1.03 s
280.73/38.43 c Finding binary XORs T: 0.16 s found: 2248
282.27/38.69 c Replacing 2248 vars Replaced 277404 lits Time: 0.26 s
284.67/38.90 c Finding non-binary XORs: 0.08 s (found: 0, avg size: nan)
284.67/38.90 c calculated reachability. Time: 0.01
285.47/39.00 c Calc default polars - time: 0.10 s pos: 3339 undec: 253131 neg: 303101
285.47/39.00 c =========================================================================================
285.47/39.00 c types(t): F = full restart, N = normal restart
285.47/39.00 c types(t): S = simplification begin/end, E = solution found
285.47/39.00 c restart types(rt): st = static, dy = dynamic
285.47/39.00 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
285.47/39.00 c B st 0 0 306440 212135 5098935 0 11610538 0 no data no data
434.14/57.61 c N dy 17 4197 259185 178586 4058914 3749 9302132 2222187 13.44 14.19
601.22/78.54 c N dy 36 8349 258341 178586 4060195 7715 9302132 5351879 13.50 14.24
781.09/101.06 c N dy 49 12987 258320 178586 4060744 12249 9302132 8658230 12.77 13.48
932.22/119.91 c N dy 62 17119 258233 178586 4060795 16300 9302132 12479807 12.42 13.30
1079.24/138.31 c N dy 79 21209 258103 178586 4061854 10733 9302132 2093766 12.16 12.85
1203.15/153.80 c F st 97 25001 258092 178586 4061888 14462 9302132 4355071 12.14 8.17
1227.92/156.98 c N st 98 25251 258092 177771 4037080 14689 9246975 4729919 12.14 no data
1559.65/198.42 c N dy 103 30000 257953 177771 4037672 19389 9246975 11557461 12.14 no data
1559.65/198.43 c S st 103 30000 257953 177771 4037672 19389 9246975 11557461 12.14 no data
1585.22/201.65 c S st 103 30501 257950 177771 4037698 19849 9246975 11793932 12.14 no data
1586.82/201.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.21
1857.80/235.78 c Flit: 223 Blit: 5222 bXBeca: 0 bXProp: 57 Bins: 501500 BRemL: 1 BRemN: 217 P: 200.0M T: 33.91
1859.40/235.94 c Cleaning up after failed var search: 0.16 s
1861.81/236.30 c Replacing 57 vars Replaced 6474 lits Time: 0.34 s
1865.00/236.64 c blocked clauses removed: 0 vars: 0 tried: 252159 T: 0.18 s
1868.19/237.04 c bin-w-bin subsume rem 739 bins time: 0.39 s
1900.17/241.09 c subs with bin: 1 lits-rem: 48 v-fix: 0 time: 4.06 s
1923.36/243.96 c Subs w/ non-existent bins: 0 l-rem: 24 v-fix: 219 done: 23396 time: 2.87 s
1927.35/244.42 c Removed useless bin: 3842 fixed: 247 props: 20.02M time: 0.46 s
1934.61/245.34 c lits-rem: 0 cl-subs: 4 v-elim: 5 v-fix: 0 time: 0.91 s
1957.72/248.23 c subs with bin: 132 lits-rem: 5940 v-fix: 0 time: 1.66 s
1980.10/251.08 c lits-rem: 1922 cl-subs: 865 v-elim: 0 v-fix: 0 time: 2.74 s
1986.55/251.90 c asymm cl-useful: 2/677/173526 lits-rem:4 time: 0.82
1988.09/252.01 c calculated reachability. Time: 0.01
1988.09/252.02 c N dy 103 30501 251907 173526 4353188 18678 8933305 11978259 12.14 no data
1988.89/252.18 c Finding binary XORs T: 0.16 s found: 2221
2119.93/268.74 c N dy 109 34761 246741 169774 4282736 22414 8679549 14184779 11.71 13.98
2261.40/286.44 c Finding binary XORs T: 0.15 s found: 758
2268.59/287.33 c Replacing 2979 vars Replaced 356649 lits Time: 0.89 s
2287.78/289.79 c N dy 125 38961 244197 169735 4279660 26528 8666968 17396474 11.53 12.45
2440.45/308.84 c N dy 136 43100 244192 169735 4279701 15847 8666968 2900915 11.30 11.94
2542.76/321.62 c S st 146 45752 241537 167708 4179226 17786 8535594 4633510 11.29 no data
2562.75/324.17 c S st 146 46254 241537 167708 4179246 18261 8535594 4883656 11.29 no data
2564.35/324.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.20
2746.59/347.15 c Flit: 179 Blit: 1465 bXBeca: 0 bXProp: 6 Bins: 202060 BRemL: 375 BRemN: 100 P: 200.1M T: 22.78
2746.59/347.16 c Cleaning up after failed var search: 0.00 s
2749.84/347.55 c Replacing 7 vars Replaced 984 lits Time: 0.37 s
2751.38/347.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
2754.58/348.16 c bin-w-bin subsume rem 11988 bins time: 0.43 s
2786.55/352.17 c subs with bin: 1 lits-rem: 123 v-fix: 0 time: 4.01 s
2816.13/355.80 c Subs w/ non-existent bins: 0 l-rem: 47 v-fix: 38 done: 40565 time: 3.61 s
2819.33/356.25 c Removed useless bin: 3493 fixed: 52 props: 20.02M time: 0.45 s
2826.52/357.17 c lits-rem: 0 cl-subs: 46 v-elim: 6 v-fix: 0 time: 0.92 s
2842.51/359.19 c subs with bin: 69 lits-rem: 438 v-fix: 0 time: 1.69 s
2855.35/360.80 c lits-rem: 867 cl-subs: 462 v-elim: 0 v-fix: 0 time: 1.54 s
2863.29/361.80 c asymm cl-useful: 47/1190/166239 lits-rem:97 time: 0.99
2864.94/361.91 c calculated reachability. Time: 0.02
2864.94/361.93 c N dy 146 46254 239700 166239 4287215 17648 8432399 5022896 11.29 no data
2865.68/362.09 c Finding binary XORs T: 0.16 s found: 628
2983.18/376.79 c N dy 157 50579 239697 166239 4287259 21905 8432399 7513391 11.14 11.75
3117.44/393.57 c N dy 178 54605 237601 166239 4293448 25888 8432399 9925785 11.14 11.90
3286.16/414.65 c N dy 187 59313 237462 166239 4298444 30533 8432399 13618779 10.97 11.99
3413.99/430.64 c N dy 210 63343 237355 166239 4298467 34510 8432399 16610181 11.00 11.97
3516.92/443.54 c Finding binary XORs T: 0.16 s found: 895
3570.48/450.28 c N dy 221 67415 234526 162553 4378415 20249 8185676 4078730 10.95 19.65
3626.43/457.25 c S st 229 69382 234524 162553 4378422 22202 8185676 5134144 10.92 8.00
3646.48/459.76 c S st 229 69882 234524 162553 4384525 22669 8185676 5405235 10.92 no data
3648.01/459.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.21
3843.04/484.34 c Flit: 152 Blit: 608 bXBeca: 0 bXProp: 19 Bins: 168741 BRemL: 812 BRemN: 106 P: 200.1M T: 24.37
3843.84/484.48 c Cleaning up after failed var search: 0.13 s
3847.04/484.86 c Replacing 1543 vars Replaced 125711 lits Time: 0.36 s
3848.69/485.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
3852.64/485.50 c bin-w-bin subsume rem 36892 bins time: 0.46 s
3883.02/489.40 c subs with bin: 4 lits-rem: 49 v-fix: 0 time: 3.91 s
3912.58/493.09 c Subs w/ non-existent bins: 0 l-rem: 20 v-fix: 46 done: 28752 time: 3.69 s
3916.58/493.59 c Removed useless bin: 4591 fixed: 47 props: 20.01M time: 0.50 s
3924.58/494.57 c lits-rem: 0 cl-subs: 20 v-elim: 5 v-fix: 0 time: 0.98 s
3939.77/496.48 c subs with bin: 178 lits-rem: 1830 v-fix: 0 time: 1.59 s
3953.36/498.11 c lits-rem: 923 cl-subs: 559 v-elim: 0 v-fix: 0 time: 1.55 s
3962.15/499.26 c asymm cl-useful: 55/632/159909 lits-rem:71 time: 1.15
3963.00/499.37 c calculated reachability. Time: 0.01
3963.00/499.38 c N dy 229 69882 230483 159909 4366568 20954 7986439 5238051 10.92 no data
3998.97/503.81 c Finding binary XORs T: 0.16 s found: 683
4087.64/514.92 c Following stats are for *FIRST FINISHED THREAD ONLY*
4087.64/514.92 c num threads : 8
4087.64/514.92 c restarts : 427
4087.64/514.92 c dynamic restarts : 409
4087.64/514.92 c static restarts : 18
4087.64/514.92 c full restarts : 2
4087.64/514.92 c total simplify time : 7.55
4087.64/514.92 c learnts DL2 : 0
4087.64/514.92 c learnts size 2 : 9978989
4087.64/514.92 c learnts size 1 : 399636 (71.42 % of vars)
4087.64/514.92 c filedLit time : 24.85 (4.88 % time)
4087.64/514.92 c v-elim SatELite : 5 (0.00 % vars)
4087.64/514.92 c SatELite time : 6.71 (1.32 % time)
4087.64/514.92 c v-elim xor : 0 (0.00 % vars)
4087.64/514.92 c xor elim time : 0.20 (0.04 % time)
4087.64/514.92 c num binary xor trees : 7736
4087.64/514.92 c binxor trees' crown : 8491 (1.10 leafs/tree)
4087.64/514.92 c bin xor find time : 4.24
4087.64/514.92 c OTF clause improved : 677 (0.01 clauses/conflict)
4087.64/514.92 c OTF impr. size diff : 7495 (11.07 lits/clause)
4087.64/514.92 c OTF cl watch-shrink : 72775 (0.66 clauses/conflict)
4087.64/514.92 c OTF cl watch-sh-lit : 2961478 (40.69 lits/clause)
4087.64/514.92 c tried to recurMin cls : 68163 (62.09 % of conflicts)
4087.64/514.92 c updated cache : 134026 (1.97 lits/tried recurMin)
4087.64/514.92 c unit cls recevied : 7763 (1.94 % of units)
4087.64/514.92 c unit cls sent : 304628 (76.23 % of units)
4087.64/514.92 c bin cls recevied : 842566
4087.64/514.92 c bin cls sent : 255734
4087.64/514.92 c clauses over max glue : 0 (0.00 % of all clauses)
4087.64/514.92 c conflicts : 109775 (215.53 / sec)
4087.64/514.92 c decisions : 558038 (3.06 % random)
4087.64/514.92 c bogo-props : 4896448929 (9613687.74 / sec)
4087.64/514.92 c conflict literals : 57822164 (39.43 % deleted)
4087.64/514.92 c Memory used : 6881.56 MB
4087.64/514.92 c single-thread CPU time : 509.32 s
4087.64/514.92 c all-threads sum CPU time : 4069.85 s
4087.64/514.92 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-3321112-1304323749/watcher-3321112-1304323749 -o /tmp/evaluation-result-3321112-1304323749/solver-3321112-1304323749 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321112-1304323749.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.03 7.79 6.47 1/218 19261
/proc/meminfo: memFree=29923680/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=92188 CPUtime=0.01 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) R 19259 19261 19044 0 -1 4202496 414 0 0 0 1 0 0 0 23 0 8 0 543972160 94400512 353 33554432000 4194304 4627427 140734736508592 18446744073709551615 47580403333042 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/19261/statm: 23047 353 299 106 0 18018 0
[pid=19261/tid=19262] ppid=19259 vsize=92188 CPUtime=0 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 543972161 94400512 353 33554432000 4194304 4627427 140734736508592 18446744073709551615 47580403333042 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=92188 CPUtime=0 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 543972161 94400512 353 33554432000 4194304 4627427 140734736508592 18446744073709551615 47580403333036 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=92188 CPUtime=0 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543972161 94400512 353 33554432000 4194304 4627427 140734736508592 18446744073709551615 47580403333032 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=92188 CPUtime=0 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543972161 94400512 353 33554432000 4194304 4627427 140734736508592 18446744073709551615 47580403333042 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=92188 CPUtime=0 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543972161 94400512 353 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=92188 CPUtime=0 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543972161 94400512 353 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=92188 CPUtime=0 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 543972161 94400512 353 33554432000 4194304 4627427 140734736508592 18446744073709551615 47580403333042 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.0841761 s]
/proc/loadavg: 7.03 7.79 6.47 1/218 19261
/proc/meminfo: memFree=29923680/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=525716 CPUtime=0.6 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) R 19259 19261 19044 0 -1 4202496 21253 0 0 0 53 7 0 0 18 0 8 0 543972160 538333184 17452 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796959 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19261/statm: 131429 17472 341 106 0 126400 0
[pid=19261/tid=19262] ppid=19259 vsize=525716 CPUtime=0.07 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 2749 0 0 0 7 0 0 0 18 0 8 0 543972161 538333184 17481 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=527476 CPUtime=0.08 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) D 19259 19261 19044 0 -1 4202560 2823 0 0 0 8 0 0 0 18 0 8 0 543972161 540135424 18588 33554432000 4194304 4627427 140734736508592 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=527476 CPUtime=0.08 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 2676 0 0 0 7 1 0 0 18 0 8 0 543972161 540135424 18588 33554432000 4194304 4627427 140734736508592 18446744073709551615 4530765 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=527476 CPUtime=0.07 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 2550 0 0 0 7 0 0 0 18 0 8 0 543972161 540135424 18588 33554432000 4194304 4627427 140734736508592 18446744073709551615 4530486 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=527476 CPUtime=0.07 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) D 19259 19261 19044 0 -1 4202560 2826 0 0 0 6 1 0 0 18 0 8 0 543972161 540135424 18588 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500388960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=527476 CPUtime=0.06 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) D 19259 19261 19044 0 -1 4202560 2528 0 0 0 6 0 0 0 18 0 8 0 543972161 540135424 18588 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=527476 CPUtime=0.07 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 3087 0 0 0 7 0 0 0 18 0 8 0 543972161 540135424 18588 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500749738 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 525716
[startup+0.117595 s]
/proc/loadavg: 7.03 7.79 6.47 1/218 19261
/proc/meminfo: memFree=29923680/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=553036 CPUtime=0.79 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) R 19259 19261 19044 0 -1 4202496 26769 0 0 0 69 10 0 0 17 0 8 0 543972160 566308864 22917 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500735159 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19261/statm: 138259 22921 341 106 0 133230 0
[pid=19261/tid=19262] ppid=19259 vsize=553036 CPUtime=0.1 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 3325 0 0 0 9 1 0 0 18 0 8 0 543972161 566308864 22703 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 1 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=553036 CPUtime=0.09 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) D 19259 19261 19044 0 -1 4202560 3437 0 0 0 9 0 0 0 18 0 8 0 543972161 566308864 22703 33554432000 4194304 4627427 140734736508592 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=553036 CPUtime=0.09 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) D 19259 19261 19044 0 -1 4202560 3313 0 0 0 8 1 0 0 18 0 8 0 543972161 566308864 22703 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500735066 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=553036 CPUtime=0.09 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 3006 0 0 0 9 0 0 0 18 0 8 0 543972161 566308864 22703 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=550984 CPUtime=0.08 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) D 19259 19261 19044 0 -1 4202560 3256 0 0 0 7 1 0 0 18 0 8 0 543972161 564207616 22411 33554432000 4194304 4627427 140734736508592 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=555084 CPUtime=0.08 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 3110 0 0 0 7 1 0 0 18 0 8 0 543972161 568406016 23001 33554432000 4194304 4627427 140734736508592 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=555084 CPUtime=0.1 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) D 19259 19261 19044 0 -1 4202560 3956 0 0 0 9 1 0 0 18 0 8 0 543972161 568406016 23038 33554432000 4194304 4627427 140734736508592 18446744073709551615 4314333 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 553036
[startup+0.303929 s]
/proc/loadavg: 7.03 7.79 6.47 1/218 19261
/proc/meminfo: memFree=29923680/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=643492 CPUtime=1.87 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) R 19259 19261 19044 0 -1 4202496 54518 0 0 0 146 41 0 0 17 0 8 0 543972160 658935808 46327 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500351344 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19261/statm: 160873 46329 341 106 0 155844 0
[pid=19261/tid=19262] ppid=19259 vsize=643492 CPUtime=0.23 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 6899 0 0 0 18 5 0 0 17 0 8 0 543972161 658935808 46331 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=643492 CPUtime=0.22 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 6804 0 0 0 18 4 0 0 17 0 8 0 543972161 658935808 46351 33554432000 4194304 4627427 140734736508592 18446744073709551615 4359797 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=643492 CPUtime=0.23 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 7104 0 0 0 17 6 0 0 17 0 8 0 543972161 658935808 46355 33554432000 4194304 4627427 140734736508592 18446744073709551615 4530637 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=643492 CPUtime=0.22 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) D 19259 19261 19044 0 -1 4202560 6601 0 0 0 19 3 0 0 17 0 8 0 543972161 658935808 46355 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=643492 CPUtime=0.21 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 6636 0 0 0 17 4 0 0 17 0 8 0 543972161 658935808 46364 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 7 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=643492 CPUtime=0.22 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 6462 0 0 0 17 5 0 0 17 0 8 0 543972161 658935808 46366 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=643492 CPUtime=0.23 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 7162 0 0 0 19 4 0 0 17 0 8 0 543972161 658935808 46375 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 643492
[startup+0.70184 s]
/proc/loadavg: 7.03 7.79 6.47 1/218 19261
/proc/meminfo: memFree=29923680/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=708252 CPUtime=3.9 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) R 19259 19261 19044 0 -1 4202496 93478 0 0 0 270 120 0 0 17 0 8 0 543972160 725250048 76678 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796959 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19261/statm: 177063 76682 341 106 0 172034 0
[pid=19261/tid=19262] ppid=19259 vsize=708252 CPUtime=0.48 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 11770 0 0 0 35 13 0 0 17 0 8 0 543972161 725250048 76683 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=708252 CPUtime=0.5 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 12172 0 0 0 34 16 0 0 17 0 8 0 543972161 725250048 76683 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=708252 CPUtime=0.47 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 11655 0 0 0 32 15 0 0 17 0 8 0 543972161 725250048 76683 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=708252 CPUtime=0.47 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 11246 0 0 0 34 13 0 0 17 0 8 0 543972161 725250048 76685 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=708252 CPUtime=0.47 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 11464 0 0 0 32 15 0 0 17 0 8 0 543972161 725250048 76685 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=708252 CPUtime=0.46 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 11286 0 0 0 32 14 0 0 17 0 8 0 543972161 725250048 76685 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=708252 CPUtime=0.49 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 12093 0 0 0 35 14 0 0 17 0 8 0 543972161 725250048 76685 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 708252
[startup+1.5007 s]
/proc/loadavg: 7.03 7.79 6.47 7/226 19269
/proc/meminfo: memFree=29518816/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=1041336 CPUtime=7.65 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) S 19259 19261 19044 0 -1 4202496 183848 0 0 0 494 271 0 0 15 0 8 0 543972160 1066328064 150286 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19261/statm: 260334 150286 341 106 0 255305 0
[pid=19261/tid=19262] ppid=19259 vsize=1041336 CPUtime=0.96 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 23268 0 0 0 63 33 0 0 15 0 8 0 543972161 1066328064 150286 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 7 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=1041336 CPUtime=0.98 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 23941 0 0 0 66 32 0 0 15 0 8 0 543972161 1066328064 150286 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=1041336 CPUtime=0.95 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 22062 0 0 0 60 35 0 0 16 0 8 0 543972161 1066328064 150286 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=1041336 CPUtime=0.93 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 21886 0 0 0 62 31 0 0 15 0 8 0 543972161 1066328064 150286 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=1041336 CPUtime=0.94 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 23103 0 0 0 60 34 0 0 15 0 8 0 543972161 1066328064 150286 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 3 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=1041336 CPUtime=0.93 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 22676 0 0 0 61 32 0 0 16 0 8 0 543972161 1066328064 150286 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 5 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=1041336 CPUtime=0.94 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 23573 0 0 0 59 35 0 0 16 0 8 0 543972161 1066328064 150286 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 1041336
[startup+3.10037 s]
/proc/loadavg: 6.95 7.76 6.47 7/226 19269
/proc/meminfo: memFree=29159960/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=1599152 CPUtime=15.28 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) R 19259 19261 19044 0 -1 4202496 313065 0 0 0 941 587 0 0 15 0 8 0 543972160 1637531648 278700 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19261/statm: 399788 278703 341 106 0 394759 0
[pid=19261/tid=19262] ppid=19259 vsize=1599152 CPUtime=1.91 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 39629 0 0 0 121 70 0 0 15 0 8 0 543972161 1637531648 278705 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=1599152 CPUtime=1.97 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 39840 0 0 0 130 67 0 0 16 0 8 0 543972161 1637531648 278705 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=1599152 CPUtime=1.9 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 38810 0 0 0 115 75 0 0 15 0 8 0 543972161 1637531648 278707 33554432000 4194304 4627427 140734736508592 18446744073709551615 4351173 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=1599152 CPUtime=1.88 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 37247 0 0 0 116 72 0 0 15 0 8 0 543972161 1637531648 278707 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=1599152 CPUtime=1.89 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 40293 0 0 0 115 74 0 0 15 0 8 0 543972161 1637531648 278707 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=1599152 CPUtime=1.89 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 38557 0 0 0 118 71 0 0 15 0 8 0 543972161 1637531648 278708 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 5 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=1599152 CPUtime=1.88 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 38631 0 0 0 111 77 0 0 15 0 8 0 543972161 1637531648 278709 33554432000 4194304 4627427 140734736508592 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 15.28
Current children cumulated vsize (KiB) 1599152
[startup+6.30073 s]
/proc/loadavg: 6.95 7.76 6.47 6/226 19269
/proc/meminfo: memFree=28041180/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=2788296 CPUtime=30.12 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) D 19259 19261 19044 0 -1 4202496 609255 0 0 0 1874 1138 0 0 16 0 8 0 543972160 2855215104 540533 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500735159 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19261/statm: 697074 540533 341 106 0 692045 0
[pid=19261/tid=19262] ppid=19259 vsize=2788296 CPUtime=3.72 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 76553 0 0 0 237 135 0 0 16 0 8 0 543972161 2855215104 540533 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=2788296 CPUtime=3.89 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 77975 0 0 0 255 134 0 0 15 0 8 0 543972161 2855215104 540533 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=2788296 CPUtime=3.71 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) D 19259 19261 19044 0 -1 4202560 75159 0 0 0 227 144 0 0 16 0 8 0 543972161 2855215104 540533 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=2788296 CPUtime=3.78 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 72534 0 0 0 235 143 0 0 16 0 8 0 543972161 2855215104 540533 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=2788296 CPUtime=3.69 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 79905 0 0 0 227 142 0 0 16 0 8 0 543972161 2855215104 540533 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 5 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=2788296 CPUtime=3.7 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 75229 0 0 0 230 140 0 0 16 0 8 0 543972161 2855215104 540533 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 5 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=2788296 CPUtime=3.81 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) S 19259 19261 19044 0 -1 4202560 74943 0 0 0 233 148 0 0 15 0 8 0 543972161 2855215104 540533 33554432000 4194304 4627427 140734736508592 18446744073709551615 254500796910 0 0 4096 2 18446604451613919936 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=19261/tid=19265] ppid=19259 vsize=6871720 CPUtime=483.13 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 258815 0 0 0 48088 225 0 0 25 0 8 0 543972161 7036641280 1363524 33554432000 4194304 4627427 140734736508592 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=6871720 CPUtime=482.11 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 232823 0 0 0 47996 215 0 0 25 0 8 0 543972161 7036641280 1363524 33554432000 4194304 4627427 140734736508592 18446744073709551615 4322044 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=6871720 CPUtime=481.91 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 229821 0 0 0 47981 210 0 0 25 0 8 0 543972161 7036641280 1363524 33554432000 4194304 4627427 140734736508592 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=6871720 CPUtime=483.12 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 319638 0 0 0 48070 242 0 0 25 0 8 0 543972161 7036641280 1363524 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3859.03
Current children cumulated vsize (KiB) 6871720
[startup+499.101 s]
/proc/loadavg: 8.04 7.99 7.10 9/226 19282
/proc/meminfo: memFree=24453092/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=6896740 CPUtime=3961.35 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) R 19259 19261 19044 0 -1 4202496 2172952 0 0 0 394346 1789 0 0 25 0 8 0 543972160 7062261760 1369396 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308141 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19261/statm: 1724185 1369396 391 106 0 1719156 0
[pid=19261/tid=19262] ppid=19259 vsize=6896740 CPUtime=495.63 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 283806 0 0 0 49338 225 0 0 25 0 8 0 543972161 7062261760 1369396 33554432000 4194304 4627427 140734736508592 18446744073709551615 4321482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=6896740 CPUtime=496.09 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 227162 0 0 0 49402 207 0 0 25 0 8 0 543972161 7062261760 1369396 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=6896740 CPUtime=492.41 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 340726 0 0 0 49013 228 0 0 25 0 8 0 543972161 7062261760 1369396 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=6896740 CPUtime=495.92 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 260588 0 0 0 49367 225 0 0 25 0 8 0 543972161 7062261760 1369396 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=6896740 CPUtime=494.91 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 233793 0 0 0 49275 216 0 0 25 0 8 0 543972161 7062261760 1369396 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=6896740 CPUtime=494.72 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 231476 0 0 0 49261 211 0 0 25 0 8 0 543972161 7062261760 1369396 33554432000 4194304 4627427 140734736508592 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=6896740 CPUtime=495.93 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 320766 0 0 0 49350 243 0 0 25 0 8 0 543972161 7062261760 1369396 33554432000 4194304 4627427 140734736508592 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3961.35
Current children cumulated vsize (KiB) 6896740
[startup+505.501 s]
/proc/loadavg: 8.03 7.99 7.11 9/226 19282
/proc/meminfo: memFree=24419596/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=7115028 CPUtime=4012.51 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) R 19259 19261 19044 0 -1 4202496 2181265 0 0 0 399458 1793 0 0 25 0 8 0 543972160 7285788672 1377709 33554432000 4194304 4627427 140734736508592 18446744073709551615 4332298 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19261/statm: 1778757 1377709 391 106 0 1773728 0
[pid=19261/tid=19262] ppid=19259 vsize=7115028 CPUtime=502.03 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 284630 0 0 0 49977 226 0 0 25 0 8 0 543972161 7285788672 1377709 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=7115028 CPUtime=502.49 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 228663 0 0 0 50041 208 0 0 25 0 8 0 543972161 7285788672 1377709 33554432000 4194304 4627427 140734736508592 18446744073709551615 4299657 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=7115028 CPUtime=498.77 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 341883 0 0 0 49648 229 0 0 25 0 8 0 543972161 7285788672 1377709 33554432000 4194304 4627427 140734736508592 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=7115028 CPUtime=502.32 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 261602 0 0 0 50007 225 0 0 25 0 8 0 543972161 7285788672 1377709 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=7115028 CPUtime=501.31 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 235182 0 0 0 49915 216 0 0 25 0 8 0 543972161 7285788672 1377710 33554432000 4194304 4627427 140734736508592 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=7115028 CPUtime=501.11 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 232532 0 0 0 49900 211 0 0 25 0 8 0 543972161 7285788672 1377710 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=7115028 CPUtime=502.33 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 321326 0 0 0 49990 243 0 0 25 0 8 0 543972161 7285788672 1377710 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4012.51
Current children cumulated vsize (KiB) 7115028
[startup+511.901 s]
/proc/loadavg: 8.03 7.99 7.11 9/226 19282
/proc/meminfo: memFree=24387340/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=7115028 CPUtime=4063.66 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) R 19259 19261 19044 0 -1 4202496 2189281 0 0 0 404570 1796 0 0 25 0 8 0 543972160 7285788672 1385725 33554432000 4194304 4627427 140734736508592 18446744073709551615 4322609 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19261/statm: 1778757 1385725 391 106 0 1773728 0
[pid=19261/tid=19262] ppid=19259 vsize=7115028 CPUtime=508.43 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 285488 0 0 0 50616 227 0 0 25 0 8 0 543972161 7285788672 1385725 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=7115028 CPUtime=508.9 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 229757 0 0 0 50681 209 0 0 25 0 8 0 543972161 7285788672 1385725 33554432000 4194304 4627427 140734736508592 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=7115028 CPUtime=505.12 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 343041 0 0 0 50283 229 0 0 25 0 8 0 543972161 7285788672 1385725 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=7115028 CPUtime=508.72 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 262712 0 0 0 50646 226 0 0 25 0 8 0 543972161 7285788672 1385725 33554432000 4194304 4627427 140734736508592 18446744073709551615 4322525 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=7115028 CPUtime=507.72 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 236029 0 0 0 50555 217 0 0 25 0 8 0 543972161 7285788672 1385725 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=7115028 CPUtime=507.52 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 233364 0 0 0 50540 212 0 0 25 0 8 0 543972161 7285788672 1385725 33554432000 4194304 4627427 140734736508592 18446744073709551615 4321661 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=7115028 CPUtime=508.72 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 321711 0 0 0 50629 243 0 0 25 0 8 0 543972161 7285788672 1385725 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4063.66
Current children cumulated vsize (KiB) 7115028
[startup+513.5 s]
/proc/loadavg: 8.03 7.99 7.12 9/226 19282
/proc/meminfo: memFree=24424044/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=7046716 CPUtime=4076.46 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) R 19259 19261 19044 0 -1 4202496 2193776 0 0 0 405848 1798 0 0 25 0 8 0 543972160 7215837184 1376839 33554432000 4194304 4627427 140734736508592 18446744073709551615 4352202 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19261/statm: 1761679 1376839 391 106 0 1756650 0
[pid=19261/tid=19262] ppid=19259 vsize=7046716 CPUtime=510.03 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 285654 0 0 0 50776 227 0 0 25 0 8 0 543972161 7215837184 1376839 33554432000 4194304 4627427 140734736508592 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=7046716 CPUtime=510.49 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 230013 0 0 0 50840 209 0 0 25 0 8 0 543972161 7215837184 1376839 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=7046716 CPUtime=506.72 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 343287 0 0 0 50443 229 0 0 25 0 8 0 543972161 7215837184 1376839 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=7046716 CPUtime=510.32 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 263074 0 0 0 50806 226 0 0 25 0 8 0 543972161 7215837184 1376839 33554432000 4194304 4627427 140734736508592 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=7046716 CPUtime=509.32 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 238660 0 0 0 50714 218 0 0 25 0 8 0 543972161 7215837184 1376839 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=7046716 CPUtime=509.11 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 233569 0 0 0 50699 212 0 0 25 0 8 0 543972161 7215837184 1376839 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=7046716 CPUtime=510.32 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 321818 0 0 0 50789 243 0 0 25 0 8 0 543972161 7215837184 1376839 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4076.46
Current children cumulated vsize (KiB) 7046716
[startup+514.301 s]
/proc/loadavg: 8.03 7.99 7.12 9/226 19282
/proc/meminfo: memFree=24419084/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=7046716 CPUtime=4082.85 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) R 19259 19261 19044 0 -1 4202496 2195548 0 0 0 406487 1798 0 0 25 0 8 0 543972160 7215837184 1377879 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19261/statm: 1761679 1377879 391 106 0 1756650 0
[pid=19261/tid=19262] ppid=19259 vsize=7046716 CPUtime=510.83 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 285773 0 0 0 50856 227 0 0 25 0 8 0 543972161 7215837184 1377879 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=7046716 CPUtime=511.3 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 230137 0 0 0 50921 209 0 0 25 0 8 0 543972161 7215837184 1377879 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=7046716 CPUtime=507.51 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 343462 0 0 0 50522 229 0 0 25 0 8 0 543972161 7215837184 1377879 33554432000 4194304 4627427 140734736508592 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=7046716 CPUtime=511.12 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 263315 0 0 0 50886 226 0 0 25 0 8 0 543972161 7215837184 1377879 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=7046716 CPUtime=510.11 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 239515 0 0 0 50793 218 0 0 25 0 8 0 543972161 7215837184 1377879 33554432000 4194304 4627427 140734736508592 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=7046716 CPUtime=509.91 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 233606 0 0 0 50779 212 0 0 25 0 8 0 543972161 7215837184 1377879 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=7046716 CPUtime=511.12 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 321881 0 0 0 50869 243 0 0 25 0 8 0 543972161 7215837184 1377879 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308996 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4082.85
Current children cumulated vsize (KiB) 7046716
[startup+514.701 s]
/proc/loadavg: 8.03 7.99 7.12 9/226 19282
/proc/meminfo: memFree=24413628/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=7046716 CPUtime=4086.09 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) R 19259 19261 19044 0 -1 4202496 2196020 0 0 0 406811 1798 0 0 25 0 8 0 543972160 7215837184 1378351 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19261/statm: 1761679 1378351 391 106 0 1756650 0
[pid=19261/tid=19262] ppid=19259 vsize=7046716 CPUtime=511.24 cores=0-7
/proc/19261/task/19262/stat : 19262 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 285830 0 0 0 50897 227 0 0 25 0 8 0 543972161 7215837184 1378351 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19261/tid=19263] ppid=19259 vsize=7046716 CPUtime=511.7 cores=0-7
/proc/19261/task/19263/stat : 19263 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 230183 0 0 0 50961 209 0 0 25 0 8 0 543972161 7215837184 1378351 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19261/tid=19264] ppid=19259 vsize=7046716 CPUtime=507.91 cores=0-7
/proc/19261/task/19264/stat : 19264 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 343553 0 0 0 50562 229 0 0 25 0 8 0 543972161 7215837184 1378351 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=7046716 CPUtime=511.53 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 263410 0 0 0 50927 226 0 0 25 0 8 0 543972161 7215837184 1378351 33554432000 4194304 4627427 140734736508592 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19261/tid=19266] ppid=19259 vsize=7046716 CPUtime=510.52 cores=0-7
/proc/19261/task/19266/stat : 19266 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 239592 0 0 0 50834 218 0 0 25 0 8 0 543972161 7215837184 1378351 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19261/tid=19267] ppid=19259 vsize=7046716 CPUtime=510.32 cores=0-7
/proc/19261/task/19267/stat : 19267 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 233648 0 0 0 50820 212 0 0 25 0 8 0 543972161 7215837184 1378351 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19261/tid=19268] ppid=19259 vsize=7046716 CPUtime=511.53 cores=0-7
/proc/19261/task/19268/stat : 19268 (strangenight2-m) R 19259 19261 19044 0 -1 4202560 321890 0 0 0 50910 243 0 0 25 0 8 0 543972161 7215837184 1378351 33554432000 4194304 4627427 140734736508592 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4086.09
Current children cumulated vsize (KiB) 7046716
[startup+515.101 s]
/proc/loadavg: 8.03 7.99 7.12 9/226 19282
/proc/meminfo: memFree=24413628/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=0 CPUtime=4088 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) Z 19259 19261 19044 0 -1 4203548 2196226 0 0 0 406984 1816 0 0 25 0 2 0 543972160 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19261/statm: 0 0 0 0 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=0 CPUtime=511.93 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4203588 263439 0 0 0 50949 244 0 0 25 0 2 0 543972161 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) 4088
Current children cumulated vsize (KiB) 0
[startup+515.201 s]
/proc/loadavg: 8.03 7.99 7.12 9/226 19282
/proc/meminfo: memFree=24413628/32950928 swapFree=67093856/67111528
[pid=19261] ppid=19259 vsize=0 CPUtime=4088.1 cores=0-7
/proc/19261/stat : 19261 (strangenight2-m) Z 19259 19261 19044 0 -1 4203548 2196226 0 0 0 406984 1826 0 0 25 0 2 0 543972160 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/19261/statm: 0 0 0 0 0 0 0
[pid=19261/tid=19265] ppid=19259 vsize=0 CPUtime=512.03 cores=0-7
/proc/19261/task/19265/stat : 19265 (strangenight2-m) R 19259 19261 19044 0 -1 4203588 263439 0 0 0 50949 254 0 0 25 0 2 0 543972161 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) 4088.1
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 515.205
CPU time (s): 4088.11
CPU user time (s): 4069.85
CPU system time (s): 18.2662
CPU usage (%): 793.493
Max. virtual memory (cumulated for all children) (KiB): 7146404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4069.85
system time used= 18.2662
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2196226
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= 2025159
involuntary context switches= 27066
runsolver used 0.979851 second user time and 2.48562 second system time
The end
Begin job on node149 at 2011-05-02 10:09:15
IDJOB=3321112
IDBENCH=82399
IDSOLVER=1709
FILE ID=node149/3321112-1304323749
RUNJOBID= node149-1304322183-19058
PBS_JOBID= 13176777
Free space on /tmp= 73416 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.130-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321112-1304323749/watcher-3321112-1304323749 -o /tmp/evaluation-result-3321112-1304323749/solver-3321112-1304323749 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321112-1304323749.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= c7a9573eb59580c8d4fc5a3ca880d541
RANDOM SEED=290782885
node149.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.806
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.61
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.806
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.806
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.83
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.806
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.806
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.82
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.806
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.806
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.82
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.806
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: 29923720 kB
Buffers: 86040 kB
Cached: 1002704 kB
SwapCached: 100 kB
Active: 1854084 kB
Inactive: 912440 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29923720 kB
SwapTotal: 67111528 kB
SwapFree: 67093856 kB
Dirty: 191172 kB
Writeback: 0 kB
AnonPages: 1678356 kB
Mapped: 18652 kB
Slab: 181632 kB
PageTables: 12156 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 22655996 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= 73412 MiB
End job on node149 at 2011-05-02 10:17:50