0.00/0.00 c Outputting solution to console
0.00/0.00 c Using 8 threads
0.00/0.10 c This is CryptoMiniSat 3.0.0
0.00/0.10 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.10 c Reading file 'HOME/instance-3321155-1304324465.cnf'
0.00/0.10 c -- header says num vars: 102621
0.00/0.10 c -- header says num clauses: 307469
3.20/0.60 c -- clauses added: 0 learnts, 307469 normals, 0 xors
3.20/0.60 c -- vars added 102621
3.20/0.60 c Parsing time: 0.11 s
3.20/0.60 c N st 0 0 102621 102489 204978 0 717423 0 no data no data
3.20/0.94 c asymm cl-useful: 0/29010/102488 lits-rem:0 time: 0.36
35.14/4.68 c Flit: 1128 Blit: 5284 bXBeca: 0 bXProp: 11956 Bins: 0 BRemL: 0 BRemN: 0 P: 78.7M T: 3.80
35.14/4.70 c Cleaning up after failed var search: 0.02 s
35.97/4.76 c Replacing 11956 vars Replaced 303381 lits Time: 0.05 s
36.68/4.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
36.68/4.83 c bin-w-bin subsume rem 599 bins time: 0.02 s
36.68/4.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.04 s
39.06/5.11 c Subs w/ non-existent bins: 31 l-rem: 31 v-fix: 0 done: 83916 time: 0.23 s
39.85/5.22 c Removed useless bin: 3080 fixed: 0 props: 20.00M time: 0.11 s
43.54/5.78 c lits-rem: 3112 cl-subs: 3947 v-elim: 27972 v-fix: 0 time: 0.40 s
43.54/5.80 c Finding binary XORs T: 0.02 s found: 114
44.37/5.83 c Replacing 114 vars Replaced 997 lits Time: 0.02 s
44.37/5.87 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
44.37/5.87 c calculated reachability. Time: 0.00
44.37/5.88 c Calc default polars - time: 0.01 s pos: 3039 undec: 46831 neg: 52751
44.37/5.88 c =========================================================================================
44.37/5.88 c types(t): F = full restart, N = normal restart
44.37/5.88 c types(t): S = simplification begin/end, E = solution found
44.37/5.88 c restart types(rt): st = static, dy = dynamic
44.37/5.88 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
44.37/5.88 c B st 0 0 55830 79848 115174 0 515111 0 no data no data
53.16/6.94 c N dy 17 4106 55811 79848 115569 3675 515108 42042 5.20 5.48
62.68/8.11 c N dy 45 8115 55747 79848 120550 7424 515099 103652 5.44 5.93
70.73/9.16 c N dy 68 12323 55548 79848 120679 11436 515080 153074 5.51 6.20
76.27/9.86 c Finding binary XORs T: 0.02 s found: 1065
76.27/9.89 c Replacing 1065 vars Replaced 35240 lits Time: 0.04 s
80.26/10.31 c N dy 86 16369 54219 76326 119070 15111 495439 199389 5.53 7.80
88.32/11.39 c N dy 108 20436 54125 76326 120553 9757 495434 75468 5.54 5.84
97.83/12.50 c N dy 127 24447 54123 76326 120606 13667 495423 132365 5.51 6.00
98.63/12.69 c F st 129 25000 54121 76326 121594 14206 495421 141042 5.49 4.92
113.02/14.48 c N dy 135 30000 54115 75172 121076 19082 489036 228371 5.49 no data
113.02/14.48 c S st 135 30000 54115 75172 121076 19082 489036 228371 5.49 no data
116.21/14.88 c S st 135 30500 54019 75172 121892 19503 489036 233532 5.49 no data
117.01/14.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
166.57/21.16 c Flit: 86 Blit: 144 bXBeca: 0 bXProp: 2218 Bins: 279013 BRemL: 104094 BRemN: 2598 P: 52.4M T: 6.16
166.57/21.16 c Cleaning up after failed var search: 0.00 s
167.43/21.23 c Replacing 2218 vars Replaced 206772 lits Time: 0.07 s
167.43/21.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
168.15/21.39 c bin-w-bin subsume rem 56585 bins time: 0.13 s
168.95/21.44 c subs with bin: 6140 lits-rem: 10071 v-fix: 0 time: 0.05 s
171.35/21.70 c Subs w/ non-existent bins: 531 l-rem: 5009 v-fix: 0 done: 51375 time: 0.26 s
172.14/21.87 c Removed useless bin: 2564 fixed: 0 props: 15.42M time: 0.17 s
176.92/22.45 c lits-rem: 6552 cl-subs: 8506 v-elim: 34250 v-fix: 0 time: 0.52 s
176.92/22.47 c subs with bin: 339 lits-rem: 2180 v-fix: 0 time: 0.02 s
177.72/22.52 c lits-rem: 175 cl-subs: 465 v-elim: 0 v-fix: 0 time: 0.03 s
181.72/23.04 c asymm cl-useful: 463/39227/68237 lits-rem:699 time: 0.52
181.72/23.06 c calculated reachability. Time: 0.02
181.72/23.06 c N dy 135 30500 17125 68134 62472 4660 348554 97496 5.49 no data
182.51/23.12 c Finding binary XORs T: 0.05 s found: 76
187.30/23.70 c N dy 146 34598 17124 68134 62599 8589 348530 139373 5.38 5.77
192.10/24.32 c N dy 167 38772 17124 68134 63509 12631 348516 189550 5.36 5.67
196.90/24.99 c N dy 185 42858 17112 68134 63574 8821 348505 123548 5.32 5.61
201.68/25.51 c S st 200 45754 17111 68134 142182 11643 348491 315091 5.32 4.17
202.51/25.65 c Finding binary XORs T: 0.03 s found: 153
202.51/25.68 c Replacing 229 vars Replaced 14119 lits Time: 0.02 s
203.24/25.75 c S st 200 46255 16871 67369 140409 12094 345163 315889 5.32 no data
203.24/25.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
214.42/27.15 c Flit: 6 Blit: 2 bXBeca: 0 bXProp: 25 Bins: 23041 BRemL: 59018 BRemN: 637 P: 14.0M T: 1.37
214.42/27.18 c Replacing 25 vars Replaced 5235 lits Time: 0.03 s
215.22/27.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
215.22/27.25 c bin-w-bin subsume rem 35783 bins time: 0.04 s
215.22/27.29 c subs with bin: 8668 lits-rem: 18499 v-fix: 0 time: 0.04 s
216.02/27.36 c Subs w/ non-existent bins: 1733 l-rem: 13653 v-fix: 0 done: 16838 time: 0.08 s
216.82/27.40 c Removed useless bin: 1832 fixed: 0 props: 2.24M time: 0.04 s
217.61/27.57 c lits-rem: 1538 cl-subs: 3182 v-elim: 4034 v-fix: 0 time: 0.16 s
218.41/27.60 c subs with bin: 136 lits-rem: 303 v-fix: 0 time: 0.02 s
218.41/27.64 c lits-rem: 239 cl-subs: 492 v-elim: 0 v-fix: 0 time: 0.03 s
218.41/27.68 c vivif2 -- cl tried 57264 cl shrink 10348 lits rem 25201 time: 0.03
218.41/27.69 c vivif2 -- cl tried 8950 cl shrink 859 lits rem 2515 time: 0.01
224.80/28.48 c asymm cl-useful: 2401/55811/55811 lits-rem:6432 time: 0.78
224.80/28.49 c calculated reachability. Time: 0.01
224.80/28.49 c N dy 200 46255 12804 55537 43614 8930 241844 95177 5.32 no data
225.59/28.52 c Finding binary XORs T: 0.03 s found: 22
230.39/29.18 c N dy 210 50408 12804 55537 78398 13009 241842 213668 5.26 5.55
232.78/29.44 c Finding binary XORs T: 0.02 s found: 47
235.99/29.85 c N dy 222 54427 12795 55377 78292 16903 241245 261091 5.23 5.66
239.97/30.35 c Finding binary XORs T: 0.02 s found: 18
242.36/30.67 c N dy 247 58678 12791 55334 93730 21089 241057 346137 5.23 5.57
247.96/31.39 c N dy 268 62699 12791 55334 93952 25040 241056 396954 5.23 5.54
254.36/32.19 c N dy 289 66730 12789 55334 93972 16105 241055 246914 5.24 5.56
258.33/32.65 c S st 304 69382 12789 55334 96704 18713 241053 285640 5.23 4.99
259.94/32.80 c S st 304 69883 12789 55334 96733 19182 241053 289705 5.23 no data
259.94/32.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
267.93/33.85 c Flit: 2 Blit: 6 bXBeca: 0 bXProp: 45 Bins: 13069 BRemL: 46825 BRemN: 1763 P: 11.0M T: 1.02
267.93/33.88 c Replacing 132 vars Replaced 6000 lits Time: 0.03 s
268.73/33.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
268.73/33.91 c bin-w-bin subsume rem 19766 bins time: 0.02 s
268.73/33.93 c subs with bin: 3508 lits-rem: 800 v-fix: 0 time: 0.02 s
268.73/33.98 c Subs w/ non-existent bins: 463 l-rem: 28 v-fix: 0 done: 12640 time: 0.04 s
269.52/34.00 c Removed useless bin: 406 fixed: 0 props: 0.70M time: 0.02 s
269.52/34.09 c lits-rem: 240 cl-subs: 1629 v-elim: 2665 v-fix: 0 time: 0.09 s
270.32/34.12 c subs with bin: 231 lits-rem: 631 v-fix: 0 time: 0.02 s
270.32/34.17 c lits-rem: 504 cl-subs: 514 v-elim: 0 v-fix: 0 time: 0.04 s
270.32/34.19 c vivif2 -- cl tried 49548 cl shrink 985 lits rem 1399 time: 0.02
271.12/34.21 c vivif2 -- cl tried 14623 cl shrink 594 lits rem 1223 time: 0.01
275.91/34.89 c asymm cl-useful: 2789/49423/49423 lits-rem:7799 time: 0.67
276.72/34.90 c calculated reachability. Time: 0.01
276.72/34.90 c N dy 304 69883 9975 47447 30694 14615 200589 123614 5.23 no data
276.72/34.92 c Finding binary XORs T: 0.02 s found: 190
276.72/34.93 c Replacing 190 vars Replaced 5980 lits Time: 0.01 s
282.29/35.63 c N dy 327 74771 9783 47295 35658 19420 199238 196378 5.23 5.60
283.09/35.78 c Finding binary XORs T: 0.02 s found: 34
288.69/36.41 c N dy 357 79543 9781 47239 35471 24044 198951 259195 5.24 5.55
295.09/37.24 c N dy 385 84660 9781 47239 40401 29083 198950 334292 5.25 5.57
295.09/37.29 c Finding binary XORs T: 0.02 s found: 8
299.15/37.77 c F st 409 87500 9781 47239 41457 31883 198950 374234 5.27 5.13
299.15/37.80 c Replacing 42 vars Replaced 2861 lits Time: 0.02 s
303.88/38.34 c N st 414 90797 9738 47155 41311 20850 198524 200084 5.27 no data
311.87/39.39 c N dy 439 96759 9735 47155 42269 26732 198524 297815 5.28 5.58
320.66/40.49 c N dy 493 102998 9734 47155 42420 32884 198524 393931 5.34 6.39
323.85/40.82 c S st 504 104824 9730 47155 42441 34670 198524 419395 5.34 no data
324.67/40.98 c S st 504 105327 9730 47155 44738 35140 198523 428922 5.34 no data
324.67/40.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
331.05/41.74 c Flit: 28 Blit: 110 bXBeca: 0 bXProp: 166 Bins: 27525 BRemL: 31015 BRemN: 814 P: 12.9M T: 0.75
331.05/41.75 c Cleaning up after failed var search: 0.01 s
331.05/41.78 c Replacing 166 vars Replaced 16373 lits Time: 0.02 s
331.05/41.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
331.85/41.80 c bin-w-bin subsume rem 4432 bins time: 0.01 s
331.85/41.82 c subs with bin: 2108 lits-rem: 513 v-fix: 0 time: 0.02 s
331.85/41.85 c Subs w/ non-existent bins: 662 l-rem: 44 v-fix: 0 done: 9327 time: 0.03 s
331.85/41.86 c Removed useless bin: 254 fixed: 0 props: 0.32M time: 0.01 s
332.65/41.92 c lits-rem: 42 cl-subs: 524 v-elim: 324 v-fix: 0 time: 0.06 s
332.65/41.99 c subs with bin: 1911 lits-rem: 9089 v-fix: 0 time: 0.04 s
333.46/42.10 c lits-rem: 4090 cl-subs: 1427 v-elim: 0 v-fix: 0 time: 0.09 s
334.31/42.11 c vivif2 -- cl tried 42558 cl shrink 377 lits rem 444 time: 0.02
334.31/42.14 c vivif2 -- cl tried 25073 cl shrink 3674 lits rem 7279 time: 0.03
341.45/43.05 c asymm cl-useful: 1166/42484/42484 lits-rem:3064 time: 0.91
341.45/43.06 c calculated reachability. Time: 0.00
341.45/43.06 c N dy 504 105327 9003 41913 29465 24991 175844 247849 5.34 no data
341.45/43.08 c Finding binary XORs T: 0.02 s found: 85
343.10/43.26 c E dy 510 106472 8957 41913 29493 26081 175844 261647 5.34 4.16
348.10/44.91 c Following stats are for *FIRST FINISHED THREAD ONLY*
348.10/44.91 c num threads : 8
348.10/44.91 c restarts : 510
348.10/44.91 c dynamic restarts : 492
348.10/44.91 c static restarts : 18
348.10/44.91 c full restarts : 2
348.10/44.91 c total simplify time : 0.40
348.10/44.91 c learnts DL2 : 0
348.10/44.91 c learnts size 2 : 749167
348.10/44.91 c learnts size 1 : 8761 (8.54 % of vars)
348.10/44.91 c filedLit time : 13.14 (29.89 % time)
348.10/44.91 c v-elim SatELite : 69245 (67.48 % vars)
348.10/44.91 c SatELite time : 1.93 (4.39 % time)
348.10/44.91 c v-elim xor : 0 (0.00 % vars)
348.10/44.91 c xor elim time : 0.06 (0.14 % time)
348.10/44.91 c num binary xor trees : 6424
348.10/44.91 c binxor trees' crown : 16222 (2.53 leafs/tree)
348.10/44.91 c bin xor find time : 0.28
348.10/44.91 c OTF clause improved : 952 (0.01 clauses/conflict)
348.10/44.91 c OTF impr. size diff : 1101 (1.16 lits/clause)
348.10/44.91 c OTF cl watch-shrink : 40348 (0.38 clauses/conflict)
348.10/44.91 c OTF cl watch-sh-lit : 95354 (2.36 lits/clause)
348.10/44.91 c tried to recurMin cls : 32867 (30.87 % of conflicts)
348.10/44.91 c updated cache : 0 (0.00 lits/tried recurMin)
348.10/44.91 c unit cls recevied : 112 (1.28 % of units)
348.10/44.91 c unit cls sent : 391 (4.46 % of units)
348.10/44.91 c bin cls recevied : 192836
348.10/44.91 c bin cls sent : 327791
348.10/44.91 c clauses over max glue : 0 (0.00 % of all clauses)
348.10/44.91 c conflicts : 106472 (2423.05 / sec)
348.10/44.91 c decisions : 353576 (5.61 % random)
348.10/44.91 c bogo-props : 744144847 (16934968.36 / sec)
348.10/44.91 c conflict literals : 1411515 (30.29 % deleted)
348.10/44.91 c Memory used : 1791.88 MB
348.10/44.91 c single-thread CPU time : 43.94 s
348.10/44.91 c all-threads sum CPU time : 345.82 s
348.10/44.91 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-3321155-1304324465/watcher-3321155-1304324465 -o /tmp/evaluation-result-3321155-1304324465/solver-3321155-1304324465 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321155-1304324465.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.23 7.81 7.24 3/248 826
/proc/meminfo: memFree=28453920/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=61456 CPUtime=0 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 524861819 62930944 348 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261672945 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/826/statm: 17925 350 299 106 0 12896 0
[pid=826/tid=827] ppid=824 vsize=92188 CPUtime=0 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 8 0 524861820 94400512 361 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261616571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=828] ppid=824 vsize=92188 CPUtime=0 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) R 824 826 627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 524861820 94400512 361 33554432000 4194304 4627427 140735504560736 18446744073709551615 254256663638 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=826/tid=829] ppid=824 vsize=92188 CPUtime=0 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) R 824 826 627 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 524861820 94400512 361 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=92188 CPUtime=0 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) R 824 826 627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 524861820 94400512 361 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=92188 CPUtime=0 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) R 824 826 627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 524861820 94400512 361 33554432000 4194304 4627427 140735504560736 18446744073709551615 254256663638 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=92188 CPUtime=0 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) R 824 826 627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 524861820 94400512 361 33554432000 4194304 4627427 140735504560736 18446744073709551615 254256663638 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=826/tid=833] ppid=824 vsize=92188 CPUtime=0 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 524861820 94400512 361 33554432000 4194304 4627427 140735504560736 18446744073709551615 254256663638 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.107272 s]
/proc/loadavg: 7.23 7.81 7.24 3/248 826
/proc/meminfo: memFree=28453920/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=371728 CPUtime=0.69 cores=0-7
/proc/826/stat : 826 (strangenight2-m) S 824 826 627 0 -1 4202496 2466 0 0 0 69 0 0 0 25 0 8 0 524861819 380649472 2364 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721582 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/826/statm: 94983 2453 338 106 0 89954 0
[pid=826/tid=827] ppid=824 vsize=388136 CPUtime=0.1 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) S 824 826 627 0 -1 4202560 270 0 0 0 10 0 0 0 25 0 8 0 524861820 397451264 2470 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721582 0 0 4096 2 18446604453951333504 0 0 -1 2 0 0 0
[pid=826/tid=828] ppid=824 vsize=396340 CPUtime=0.1 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) R 824 826 627 0 -1 4202560 295 0 0 0 10 0 0 0 18 0 8 0 524861820 405852160 2533 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721582 0 0 4096 2 18446604453951333504 0 0 -1 4 0 0 0
[pid=826/tid=829] ppid=824 vsize=396340 CPUtime=0 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) R 824 826 627 0 -1 4202560 194 0 0 0 0 0 0 0 18 0 8 0 524861820 405852160 2545 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261616443 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=404544 CPUtime=0.1 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) S 824 826 627 0 -1 4202560 295 0 0 0 10 0 0 0 17 0 8 0 524861820 414253056 2583 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721582 0 0 4096 2 18446604453951333504 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=470216 CPUtime=0.1 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) R 824 826 627 0 -1 4202560 311 0 0 0 10 0 0 0 18 0 8 0 524861820 481501184 2622 33554432000 4194304 4627427 140735504560736 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=470216 CPUtime=0.09 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) S 824 826 627 0 -1 4202560 292 0 0 0 9 0 0 0 18 0 8 0 524861820 481501184 2681 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721582 0 0 4096 2 18446604453951333504 0 0 -1 7 0 0 0
[pid=826/tid=833] ppid=824 vsize=470216 CPUtime=0.1 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) S 824 826 627 0 -1 4202560 317 0 0 0 10 0 0 0 18 0 8 0 524861820 481501184 2707 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 371728
[startup+0.201728 s]
/proc/loadavg: 7.23 7.81 7.24 3/248 826
/proc/meminfo: memFree=28453920/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=590664 CPUtime=1.11 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 24401 0 0 0 97 14 0 0 17 0 8 0 524861819 604839936 20366 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721582 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/826/statm: 147666 20459 339 106 0 142637 0
[pid=826/tid=827] ppid=824 vsize=590664 CPUtime=0.15 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 3056 0 0 0 14 1 0 0 17 0 8 0 524861820 604839936 20613 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=828] ppid=824 vsize=590664 CPUtime=0.13 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) R 824 826 627 0 -1 4202560 2913 0 0 0 13 0 0 0 17 0 8 0 524861820 604839936 20675 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=829] ppid=824 vsize=590664 CPUtime=0.04 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) R 824 826 627 0 -1 4202560 3035 0 0 0 3 1 0 0 17 0 8 0 524861820 604839936 20838 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=826/tid=830] ppid=824 vsize=590664 CPUtime=0.16 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) R 824 826 627 0 -1 4202560 2962 0 0 0 14 2 0 0 17 0 8 0 524861820 604839936 20873 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261277381 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=590664 CPUtime=0.16 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) R 824 826 627 0 -1 4202560 3148 0 0 0 14 2 0 0 17 0 8 0 524861820 604839936 20877 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=590664 CPUtime=0.15 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) D 824 826 627 0 -1 4202560 3203 0 0 0 12 3 0 0 18 0 8 0 524861820 604839936 20943 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261277381 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=826/tid=833] ppid=824 vsize=590664 CPUtime=0.14 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4202560 3394 0 0 0 13 1 0 0 17 0 8 0 524861820 604839936 21000 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 590664
[startup+0.30575 s]
/proc/loadavg: 7.23 7.81 7.24 3/248 826
/proc/meminfo: memFree=28453920/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=633740 CPUtime=1.6 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 49700 0 0 0 130 30 0 0 17 0 8 0 524861819 648949760 41244 33554432000 4194304 4627427 140735504560736 18446744073709551615 4316560 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/826/statm: 158435 41294 339 106 0 153406 0
[pid=826/tid=827] ppid=824 vsize=633740 CPUtime=0.19 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 6096 0 0 0 17 2 0 0 16 0 8 0 524861820 648949760 41326 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=828] ppid=824 vsize=633740 CPUtime=0.17 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) R 824 826 627 0 -1 4202560 6074 0 0 0 16 1 0 0 17 0 8 0 524861820 648949760 41377 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=829] ppid=824 vsize=633740 CPUtime=0.08 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) R 824 826 627 0 -1 4202560 5999 0 0 0 6 2 0 0 17 0 8 0 524861820 648949760 41424 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=830] ppid=824 vsize=633740 CPUtime=0.24 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) R 824 826 627 0 -1 4202560 6216 0 0 0 20 4 0 0 17 0 8 0 524861820 648949760 41462 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=633740 CPUtime=0.25 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) S 824 826 627 0 -1 4202560 6223 0 0 0 19 6 0 0 18 0 8 0 524861820 648949760 41464 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721582 0 0 4096 2 18446604453951333504 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=633740 CPUtime=0.22 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) S 824 826 627 0 -1 4202560 6338 0 0 0 16 6 0 0 18 0 8 0 524861820 648949760 41506 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721582 0 0 4096 2 18446604453951333504 0 0 -1 7 0 0 0
[pid=826/tid=833] ppid=824 vsize=633740 CPUtime=0.22 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4202560 6858 0 0 0 19 3 0 0 16 0 8 0 524861820 648949760 41527 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 633740
[startup+0.966765 s]
/proc/loadavg: 7.23 7.81 7.24 3/248 826
/proc/meminfo: memFree=28453920/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=702500 CPUtime=6.07 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 102653 0 0 0 547 60 0 0 16 0 8 0 524861819 719360000 85258 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/826/statm: 175625 85258 367 106 0 170596 0
[pid=826/tid=827] ppid=824 vsize=702500 CPUtime=0.68 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 12755 0 0 0 62 6 0 0 16 0 8 0 524861820 719360000 85258 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=828] ppid=824 vsize=702500 CPUtime=0.62 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) R 824 826 627 0 -1 4202560 12415 0 0 0 58 4 0 0 16 0 8 0 524861820 719360000 85258 33554432000 4194304 4627427 140735504560736 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=826/tid=829] ppid=824 vsize=702500 CPUtime=0.61 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) R 824 826 627 0 -1 4202560 12147 0 0 0 56 5 0 0 16 0 8 0 524861820 719360000 85258 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=702500 CPUtime=0.86 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) R 824 826 627 0 -1 4202560 12197 0 0 0 78 8 0 0 18 0 8 0 524861820 719360000 85258 33554432000 4194304 4627427 140735504560736 18446744073709551615 4299685 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=702500 CPUtime=0.86 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) R 824 826 627 0 -1 4202560 12924 0 0 0 75 11 0 0 18 0 8 0 524861820 719360000 85258 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=702500 CPUtime=0.82 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) R 824 826 627 0 -1 4202560 12894 0 0 0 72 10 0 0 18 0 8 0 524861820 719360000 85258 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=826/tid=833] ppid=824 vsize=702500 CPUtime=0.82 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4202560 13800 0 0 0 76 6 0 0 16 0 8 0 524861820 719360000 85258 33554432000 4194304 4627427 140735504560736 18446744073709551615 4400970 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 702500
[startup+1.50049 s]
/proc/loadavg: 7.29 7.81 7.25 9/256 843
/proc/meminfo: memFree=28113228/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=702632 CPUtime=10.34 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 102980 0 0 0 973 61 0 0 17 0 8 0 524861819 719495168 85517 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/826/statm: 175658 85517 367 106 0 170629 0
[pid=826/tid=827] ppid=824 vsize=702632 CPUtime=1.21 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 12796 0 0 0 115 6 0 0 16 0 8 0 524861820 719495168 85517 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=828] ppid=824 vsize=702632 CPUtime=1.15 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) R 824 826 627 0 -1 4202560 12437 0 0 0 111 4 0 0 16 0 8 0 524861820 719495168 85517 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=826/tid=829] ppid=824 vsize=702632 CPUtime=1.15 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) R 824 826 627 0 -1 4202560 12171 0 0 0 109 6 0 0 16 0 8 0 524861820 719495168 85517 33554432000 4194304 4627427 140735504560736 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=702632 CPUtime=1.4 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) R 824 826 627 0 -1 4202560 12231 0 0 0 132 8 0 0 19 0 8 0 524861820 719495168 85517 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=702632 CPUtime=1.39 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) R 824 826 627 0 -1 4202560 12958 0 0 0 128 11 0 0 19 0 8 0 524861820 719495168 85517 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=702632 CPUtime=1.35 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) R 824 826 627 0 -1 4202560 12921 0 0 0 125 10 0 0 19 0 8 0 524861820 719495168 85517 33554432000 4194304 4627427 140735504560736 18446744073709551615 4238395 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=826/tid=833] ppid=824 vsize=702632 CPUtime=1.36 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4202560 13912 0 0 0 130 6 0 0 16 0 8 0 524861820 719495168 85517 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.34
Current children cumulated vsize (KiB) 702632
[startup+3.10121 s]
/proc/loadavg: 7.29 7.81 7.25 10/256 843
/proc/meminfo: memFree=28104348/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=708192 CPUtime=23.13 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 105529 0 0 0 2252 61 0 0 19 0 8 0 524861819 725188608 88066 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/826/statm: 177048 88066 368 106 0 172019 0
[pid=826/tid=827] ppid=824 vsize=708192 CPUtime=2.81 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 12971 0 0 0 275 6 0 0 19 0 8 0 524861820 725188608 88066 33554432000 4194304 4627427 140735504560736 18446744073709551615 4239623 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=828] ppid=824 vsize=708192 CPUtime=2.74 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) R 824 826 627 0 -1 4202560 12624 0 0 0 270 4 0 0 18 0 8 0 524861820 725188608 88066 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=826/tid=829] ppid=824 vsize=708192 CPUtime=2.75 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) R 824 826 627 0 -1 4202560 12357 0 0 0 269 6 0 0 19 0 8 0 524861820 725188608 88066 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=708192 CPUtime=3 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) R 824 826 627 0 -1 4202560 12362 0 0 0 292 8 0 0 22 0 8 0 524861820 725188608 88066 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=708192 CPUtime=3 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) R 824 826 627 0 -1 4202560 13079 0 0 0 289 11 0 0 22 0 8 0 524861820 725188608 88066 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=708192 CPUtime=2.95 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) R 824 826 627 0 -1 4202560 13060 0 0 0 285 10 0 0 22 0 8 0 524861820 725188608 88066 33554432000 4194304 4627427 140735504560736 18446744073709551615 4299670 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=826/tid=833] ppid=824 vsize=708192 CPUtime=2.96 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4202560 15378 0 0 0 290 6 0 0 19 0 8 0 524861820 725188608 88066 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308954 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.13
Current children cumulated vsize (KiB) 708192
[startup+6.30065 s]
/proc/loadavg: 7.35 7.81 7.25 8/256 843
/proc/meminfo: memFree=27837152/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=980620 CPUtime=48.29 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 188068 0 0 0 4714 115 0 0 18 0 8 0 524861819 1004154880 157892 33554432000 4194304 4627427 140735504560736 18446744073709551615 4306598 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/826/statm: 245155 157892 386 106 0 240126 0
[pid=826/tid=827] ppid=824 vsize=980620 CPUtime=5.96 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 26793 0 0 0 582 14 0 0 18 0 8 0 524861820 1004154880 157892 33554432000 4194304 4627427 140735504560736 18446744073709551615 4321491 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=828] ppid=824 vsize=980620 CPUtime=5.89 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) R 824 826 627 0 -1 4202560 25498 0 0 0 581 8 0 0 18 0 8 0 524861820 1004154880 157892 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308812 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=826/tid=829] ppid=824 vsize=980620 CPUtime=5.89 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) R 824 826 627 0 -1 4202560 22734 0 0 0 574 15 0 0 18 0 8 0 524861820 1004154880 157892 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=980620 CPUtime=6.17 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) R 824 826 627 0 -1 4202560 21717 0 0 0 603 14 0 0 18 0 8 0 524861820 1004154880 157892 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=980620 CPUtime=6.13 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) R 824 826 627 0 -1 4202560 23709 0 0 0 593 20 0 0 18 0 8 0 524861820 1004154880 157892 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=980620 CPUtime=6.09 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) R 824 826 627 0 -1 4202560 25158 0 0 0 591 18 0 0 18 0 8 0 524861820 1004154880 157892 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=826/tid=833] ppid=824 vsize=980620 CPUtime=6.13 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4202560 15777 0 0 0 607 6 0 0 18 0 8 0 524861820 1004154880 157892 33554432000 4194304 4627427 140735504560736 18446744073709551615 4299657 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=826] ppid=824 vsize=1328100 CPUtime=201.68 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 475373 0 0 0 19987 181 0 0 25 0 8 0 524861819 1359974400 248734 33554432000 4194304 4627427 140735504560736 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/826/statm: 332025 248734 391 106 0 326996 0
[pid=826/tid=827] ppid=824 vsize=1328628 CPUtime=25.17 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 69791 0 0 0 2490 27 0 0 25 0 8 0 524861820 1360515072 248907 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=828] ppid=824 vsize=1328628 CPUtime=25.07 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) R 824 826 627 0 -1 4202560 79155 0 0 0 2488 19 0 0 18 0 8 0 524861820 1360515072 248907 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549781063404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=826/tid=829] ppid=824 vsize=1328628 CPUtime=25.1 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) R 824 826 627 0 -1 4202560 70921 0 0 0 2484 26 0 0 22 0 8 0 524861820 1360515072 248908 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=1328628 CPUtime=25.37 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) R 824 826 627 0 -1 4202560 43723 0 0 0 2518 19 0 0 18 0 8 0 524861820 1360515072 248908 33554432000 4194304 4627427 140735504560736 18446744073709551615 4237488 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=1328628 CPUtime=25.33 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) R 824 826 627 0 -1 4202560 55358 0 0 0 2507 26 0 0 18 0 8 0 524861820 1360515072 248909 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=1328628 CPUtime=25.29 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) R 824 826 627 0 -1 4202560 58690 0 0 0 2506 23 0 0 25 0 8 0 524861820 1360515072 248909 33554432000 4194304 4627427 140735504560736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=826/tid=833] ppid=824 vsize=1328628 CPUtime=25.33 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4202560 25366 0 0 0 2523 10 0 0 18 0 8 0 524861820 1360515072 248910 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.68
Current children cumulated vsize (KiB) 1328100
Solver just ended. Dumping a history of the last processes samples
[startup+25.8012 s]
/proc/loadavg: 7.61 7.84 7.27 9/256 844
/proc/meminfo: memFree=27459512/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=1339544 CPUtime=204.04 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 483725 0 0 0 20219 185 0 0 25 0 8 0 524861819 1371693056 256623 33554432000 4194304 4627427 140735504560736 18446744073709551615 4233590 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/826/statm: 334886 256623 411 106 0 329857 0
[pid=826/tid=827] ppid=824 vsize=1339544 CPUtime=25.46 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 69819 0 0 0 2519 27 0 0 25 0 8 0 524861820 1371693056 256623 33554432000 4194304 4627427 140735504560736 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=828] ppid=824 vsize=1339544 CPUtime=25.35 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) R 824 826 627 0 -1 4202560 83152 0 0 0 2515 20 0 0 18 0 8 0 524861820 1371693056 256623 33554432000 4194304 4627427 140735504560736 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=826/tid=829] ppid=824 vsize=1339544 CPUtime=25.39 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) R 824 826 627 0 -1 4202560 70964 0 0 0 2513 26 0 0 18 0 8 0 524861820 1371693056 256623 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308123 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=1339544 CPUtime=25.65 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) R 824 826 627 0 -1 4202560 44353 0 0 0 2546 19 0 0 18 0 8 0 524861820 1371693056 256623 33554432000 4194304 4627427 140735504560736 18446744073709551615 4233076 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=1339544 CPUtime=25.62 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) R 824 826 627 0 -1 4202560 55376 0 0 0 2536 26 0 0 18 0 8 0 524861820 1371693056 256623 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=1339544 CPUtime=25.58 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) R 824 826 627 0 -1 4202560 61570 0 0 0 2533 25 0 0 18 0 8 0 524861820 1371693056 256623 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=826/tid=833] ppid=824 vsize=1339544 CPUtime=25.62 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4202560 25372 0 0 0 2552 10 0 0 18 0 8 0 524861820 1371693056 256623 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 1339544
[startup+38.6009 s]
/proc/loadavg: 7.67 7.85 7.28 9/256 844
/proc/meminfo: memFree=27012680/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=1854264 CPUtime=306.28 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 615087 0 0 0 30402 226 0 0 25 0 8 0 524861819 1898766336 360881 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/826/statm: 463566 360881 393 106 0 458537 0
[pid=826/tid=827] ppid=824 vsize=1854264 CPUtime=38.26 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 75163 0 0 0 3798 28 0 0 25 0 8 0 524861820 1898766336 360881 33554432000 4194304 4627427 140735504560736 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=828] ppid=824 vsize=1854264 CPUtime=38.14 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) R 824 826 627 0 -1 4202560 89437 0 0 0 3792 22 0 0 25 0 8 0 524861820 1898766336 360881 33554432000 4194304 4627427 140735504560736 18446744073709551615 4442772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=826/tid=829] ppid=824 vsize=1854264 CPUtime=38.17 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) R 824 826 627 0 -1 4202560 87011 0 0 0 3787 30 0 0 25 0 8 0 524861820 1898766336 360881 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=1854264 CPUtime=38.45 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) R 824 826 627 0 -1 4202560 69806 0 0 0 3818 27 0 0 25 0 8 0 524861820 1898766336 360881 33554432000 4194304 4627427 140735504560736 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=1854264 CPUtime=38.42 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) R 824 826 627 0 -1 4202560 81295 0 0 0 3808 34 0 0 25 0 8 0 524861820 1898766336 360881 33554432000 4194304 4627427 140735504560736 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=1854264 CPUtime=38.37 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) R 824 826 627 0 -1 4202560 82416 0 0 0 3806 31 0 0 25 0 8 0 524861820 1898766336 360881 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=826/tid=833] ppid=824 vsize=1854264 CPUtime=38.41 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4202560 48310 0 0 0 3822 19 0 0 25 0 8 0 524861820 1898766336 360881 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 306.28
Current children cumulated vsize (KiB) 1854264
[startup+41.8004 s]
/proc/loadavg: 7.69 7.85 7.28 9/256 844
/proc/meminfo: memFree=27007716/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=1844664 CPUtime=331.85 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 620149 0 0 0 32957 228 0 0 25 0 8 0 524861819 1888935936 361788 33554432000 4194304 4627427 140735504560736 18446744073709551615 4410118 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/826/statm: 461166 361788 393 106 0 456137 0
[pid=826/tid=827] ppid=824 vsize=1844664 CPUtime=41.46 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 75904 0 0 0 4118 28 0 0 25 0 8 0 524861820 1888935936 361788 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=828] ppid=824 vsize=1844664 CPUtime=41.34 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) R 824 826 627 0 -1 4202560 90876 0 0 0 4112 22 0 0 25 0 8 0 524861820 1888935936 361788 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=826/tid=829] ppid=824 vsize=1844664 CPUtime=41.38 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) R 824 826 627 0 -1 4202560 87997 0 0 0 4107 31 0 0 25 0 8 0 524861820 1888935936 361788 33554432000 4194304 4627427 140735504560736 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=1844664 CPUtime=41.65 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) R 824 826 627 0 -1 4202560 70092 0 0 0 4138 27 0 0 25 0 8 0 524861820 1888935936 361788 33554432000 4194304 4627427 140735504560736 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=1844664 CPUtime=41.61 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) R 824 826 627 0 -1 4202560 81572 0 0 0 4127 34 0 0 25 0 8 0 524861820 1888935936 361788 33554432000 4194304 4627427 140735504560736 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=1844664 CPUtime=41.57 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) R 824 826 627 0 -1 4202560 83359 0 0 0 4126 31 0 0 25 0 8 0 524861820 1888935936 361788 33554432000 4194304 4627427 140735504560736 18446744073709551615 4515202 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=826/tid=833] ppid=824 vsize=1844664 CPUtime=41.61 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4202560 48316 0 0 0 4142 19 0 0 25 0 8 0 524861820 1888935936 361788 33554432000 4194304 4627427 140735504560736 18446744073709551615 4449576 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 331.85
Current children cumulated vsize (KiB) 1844664
[startup+43.4011 s]
/proc/loadavg: 7.69 7.85 7.28 9/256 844
/proc/meminfo: memFree=26986264/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=1834880 CPUtime=344.44 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 631667 0 0 0 34214 230 0 0 25 0 8 0 524861819 1878917120 369800 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783807520 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/826/statm: 458720 369800 393 106 0 453691 0
[pid=826/tid=827] ppid=824 vsize=1834880 CPUtime=43.06 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 76023 0 0 0 4278 28 0 0 25 0 8 0 524861820 1878917120 369800 33554432000 4194304 4627427 140735504560736 18446744073709551615 4233476 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=828] ppid=824 vsize=1834880 CPUtime=42.9 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) S 824 826 627 0 -1 4202560 91541 0 0 0 4268 22 0 0 25 0 8 0 524861820 1878917120 369800 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 4 0 0 0
[pid=826/tid=829] ppid=824 vsize=1834880 CPUtime=42.94 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) S 824 826 627 0 -1 4202560 88121 0 0 0 4263 31 0 0 25 0 8 0 524861820 1878917120 369800 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=1834880 CPUtime=43.21 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) S 824 826 627 0 -1 4202560 70203 0 0 0 4294 27 0 0 25 0 8 0 524861820 1878917120 369800 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=1834880 CPUtime=43.18 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) S 824 826 627 0 -1 4202560 82401 0 0 0 4283 35 0 0 25 0 8 0 524861820 1878917120 369800 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=1834880 CPUtime=43.13 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) S 824 826 627 0 -1 4202560 83482 0 0 0 4282 31 0 0 25 0 8 0 524861820 1878917120 369800 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 5 0 0 0
[pid=826/tid=833] ppid=824 vsize=1834880 CPUtime=43.21 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4202560 56960 0 0 0 4300 21 0 0 25 0 8 0 524861820 1878917120 369800 33554432000 4194304 4627427 140735504560736 18446744073709551615 4303003 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 344.44
Current children cumulated vsize (KiB) 1834880
[startup+44.2009 s]
/proc/loadavg: 7.69 7.85 7.28 3/256 844
/proc/meminfo: memFree=26972496/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=1834880 CPUtime=346.7 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 633132 0 0 0 34439 231 0 0 25 0 8 0 524861819 1878917120 370148 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783807684 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/826/statm: 458720 370148 396 106 0 453691 0
[pid=826/tid=827] ppid=824 vsize=1834880 CPUtime=43.86 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 77663 0 0 0 4358 28 0 0 25 0 8 0 524861820 1878917120 370358 33554432000 4194304 4627427 140735504560736 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=828] ppid=824 vsize=1834880 CPUtime=42.9 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) S 824 826 627 0 -1 4202560 91541 0 0 0 4268 22 0 0 25 0 8 0 524861820 1878917120 370358 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 4 0 0 0
[pid=826/tid=829] ppid=824 vsize=1834880 CPUtime=42.94 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) S 824 826 627 0 -1 4202560 88121 0 0 0 4263 31 0 0 25 0 8 0 524861820 1878917120 370358 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=1834880 CPUtime=43.21 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) S 824 826 627 0 -1 4202560 70203 0 0 0 4294 27 0 0 25 0 8 0 524861820 1878917120 370358 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=1834880 CPUtime=43.18 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) S 824 826 627 0 -1 4202560 82401 0 0 0 4283 35 0 0 25 0 8 0 524861820 1878917120 370358 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=1834880 CPUtime=43.13 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) S 824 826 627 0 -1 4202560 83482 0 0 0 4282 31 0 0 25 0 8 0 524861820 1878917120 370358 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 5 0 0 0
[pid=826/tid=833] ppid=824 vsize=1834880 CPUtime=43.86 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) S 824 826 627 0 -1 4202560 57000 0 0 0 4365 21 0 0 25 0 8 0 524861820 1878917120 370358 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 346.7
Current children cumulated vsize (KiB) 1834880
[startup+44.6009 s]
/proc/loadavg: 7.69 7.85 7.28 3/256 844
/proc/meminfo: memFree=26972496/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=1834880 CPUtime=347.5 cores=0-7
/proc/826/stat : 826 (strangenight2-m) R 824 826 627 0 -1 4202496 633591 0 0 0 34519 231 0 0 25 0 8 0 524861819 1878917120 370004 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783807531 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/826/statm: 458720 370004 393 106 0 453691 0
[pid=826/tid=827] ppid=824 vsize=1834880 CPUtime=44.25 cores=0-7
/proc/826/task/827/stat : 827 (strangenight2-m) R 824 826 627 0 -1 4202560 77907 0 0 0 4397 28 0 0 25 0 8 0 524861820 1878917120 370004 33554432000 4194304 4627427 140735504560736 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=826/tid=828] ppid=824 vsize=1834880 CPUtime=42.9 cores=0-7
/proc/826/task/828/stat : 828 (strangenight2-m) S 824 826 627 0 -1 4202560 91541 0 0 0 4268 22 0 0 25 0 8 0 524861820 1878917120 370004 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 4 0 0 0
[pid=826/tid=829] ppid=824 vsize=1834880 CPUtime=42.94 cores=0-7
/proc/826/task/829/stat : 829 (strangenight2-m) S 824 826 627 0 -1 4202560 88121 0 0 0 4263 31 0 0 25 0 8 0 524861820 1878917120 370004 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 2 0 0 0
[pid=826/tid=830] ppid=824 vsize=1834880 CPUtime=43.21 cores=0-7
/proc/826/task/830/stat : 830 (strangenight2-m) S 824 826 627 0 -1 4202560 70203 0 0 0 4294 27 0 0 25 0 8 0 524861820 1878917120 370004 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 1 0 0 0
[pid=826/tid=831] ppid=824 vsize=1834880 CPUtime=43.18 cores=0-7
/proc/826/task/831/stat : 831 (strangenight2-m) S 824 826 627 0 -1 4202560 82401 0 0 0 4283 35 0 0 25 0 8 0 524861820 1878917120 370004 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 3 0 0 0
[pid=826/tid=832] ppid=824 vsize=1834880 CPUtime=43.13 cores=0-7
/proc/826/task/832/stat : 832 (strangenight2-m) S 824 826 627 0 -1 4202560 83482 0 0 0 4282 31 0 0 25 0 8 0 524861820 1878917120 370004 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 5 0 0 0
[pid=826/tid=833] ppid=824 vsize=1834880 CPUtime=43.86 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) S 824 826 627 0 -1 4202560 57000 0 0 0 4365 21 0 0 25 0 8 0 524861820 1878917120 370004 33554432000 4194304 4627427 140735504560736 18446744073709551615 47549783832116 0 0 4096 2 18446604453951333504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 347.5
Current children cumulated vsize (KiB) 1834880
[startup+45.0008 s]
/proc/loadavg: 7.69 7.85 7.28 3/256 844
/proc/meminfo: memFree=26972496/32951124 swapFree=67111348/67111528
[pid=826] ppid=824 vsize=0 CPUtime=348.21 cores=0-7
/proc/826/stat : 826 (strangenight2-m) Z 824 826 627 0 -1 4202524 633594 0 0 0 34582 239 0 0 18 0 2 0 524861819 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/826/statm: 0 0 0 0 0 0 0
[pid=826/tid=833] ppid=824 vsize=0 CPUtime=43.94 cores=0-7
/proc/826/task/833/stat : 833 (strangenight2-m) R 824 826 627 0 -1 4203588 57000 0 0 0 4365 29 0 0 18 0 2 0 524861820 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 348.21
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 45.004
CPU time (s): 348.22
CPU user time (s): 345.822
CPU system time (s): 2.39764
CPU usage (%): 773.753
Max. virtual memory (cumulated for all children) (KiB): 1855940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 345.822
system time used= 2.39764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 633594
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= 143621
involuntary context switches= 2671
runsolver used 0.119981 second user time and 0.25696 second system time
The end
Begin job on node140 at 2011-05-02 10:21:05
IDJOB=3321155
IDBENCH=82473
IDSOLVER=1709
FILE ID=node140/3321155-1304324465
RUNJOBID= node140-1304322183-641
PBS_JOBID= 13176786
Free space on /tmp= 73664 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321155-1304324465/watcher-3321155-1304324465 -o /tmp/evaluation-result-3321155-1304324465/solver-3321155-1304324465 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321155-1304324465.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ab962ce6f14e7741edd1ff987decb0b7
RANDOM SEED=691048438
node140.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.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
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.14
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.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
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.77
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.833
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.833
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.74
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.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
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: 32951124 kB
MemFree: 28454076 kB
Buffers: 993928 kB
Cached: 1690432 kB
SwapCached: 176 kB
Active: 1485240 kB
Inactive: 2498156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28454076 kB
SwapTotal: 67111528 kB
SwapFree: 67111348 kB
Dirty: 10772 kB
Writeback: 0 kB
AnonPages: 1298708 kB
Mapped: 21312 kB
Slab: 435228 kB
PageTables: 15772 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 37395836 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= 73656 MiB
End job on node140 at 2011-05-02 10:21:50