0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3393886-1306070232.cnf'
0.00/0.03 c -- header says num vars: 263022
0.00/0.03 c -- header says num clauses: 782329
6.10/1.13 c -- clauses added: 0 learnts, 782329 normals, 0 xors
6.10/1.13 c -- vars added 263022
6.10/1.13 c Parsing time: 0.46 s
6.10/1.13 c N st 0 0 263022 260776 521552 0 1825432 0 no data no data
11.56/1.89 c asymm cl-useful: 0/38904/260775 lits-rem:0 time: 0.78
157.61/20.14 c Flit: 211 Blit: 7050 bXBeca: 0 bXProp: 17066 Bins: 0 BRemL: 0 BRemN: 0 P: 181.3M T: 18.25
157.61/20.19 c Cleaning up after failed var search: 0.04 s
158.40/20.28 c Replacing 17066 vars Replaced 275530 lits Time: 0.09 s
159.20/20.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
159.99/20.44 c bin-w-bin subsume rem 798 bins time: 0.05 s
160.79/20.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.12 s
164.72/21.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 137187 time: 0.45 s
166.27/21.26 c Removed useless bin: 64 fixed: 0 props: 20.00M time: 0.24 s
173.44/22.29 c lits-rem: 1 cl-subs: 95 v-elim: 78788 v-fix: 0 time: 0.79 s
174.23/22.35 c Finding binary XORs T: 0.06 s found: 0
175.03/22.49 c Finding non-binary XORs: 0.09 s (found: 5992, avg size: 3.0)
175.03/22.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 5 locsubst: 36 time: 0.05
175.83/22.51 c calculated reachability. Time: 0.00
175.83/22.54 c Calc default polars - time: 0.03 s pos: 55977 undec: 105629 neg: 101416
175.83/22.54 c =========================================================================================
175.83/22.54 c types(t): F = full restart, N = normal restart
175.83/22.54 c types(t): S = simplification begin/end, E = solution found
175.83/22.54 c restart types(rt): st = static, dy = dynamic
175.83/22.54 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
175.83/22.54 c B st 0 0 157572 185681 324825 0 1320491 0 no data no data
203.79/26.06 c N dy 16 4685 157566 185681 325011 4155 1320489 58735 6.06 6.49
231.73/29.51 c N dy 42 8715 157467 185681 325861 7778 1320489 111346 6.74 7.71
258.91/32.93 c N dy 61 12873 157450 185681 326188 11474 1320489 160212 6.72 7.22
286.16/36.37 c N dy 83 17161 157367 185681 326220 15298 1320489 211632 6.69 7.09
317.96/40.32 c N dy 107 21342 157225 185681 326828 10153 1320487 74808 6.70 7.34
339.51/43.04 c F st 129 25000 157198 185681 326992 13584 1320487 125319 6.76 7.46
340.31/43.12 c Replacing 28 vars Replaced 829 lits Time: 0.05 s
416.98/52.75 c N st 131 25626 157170 183964 325537 14116 1309205 137420 6.76 no data
432.12/54.64 c N dy 135 30001 157168 183964 325548 18213 1309205 247686 6.76 no data
432.12/54.64 c S st 135 30001 157168 183964 325548 18213 1309205 247686 6.76 no data
436.90/55.20 c S st 135 30505 157138 183964 325570 18687 1309205 254794 6.76 no data
436.90/55.26 c x-sub: 12 x-cut: 0 vfix: 0 v-elim: 180 locsubst: 0 time: 0.05
593.52/74.88 c Flit: 212 Blit: 667 bXBeca: 0 bXProp: 4565 Bins: 64742 BRemL: 9683 BRemN: 5 P: 196.2M T: 19.63
594.18/74.92 c Cleaning up after failed var search: 0.03 s
594.98/75.01 c Replacing 4565 vars Replaced 155263 lits Time: 0.08 s
594.98/75.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
595.78/75.12 c bin-w-bin subsume rem 8069 bins time: 0.04 s
596.58/75.22 c subs with bin: 324 lits-rem: 941 v-fix: 0 time: 0.10 s
600.57/75.77 c Subs w/ non-existent bins: 114 l-rem: 714 v-fix: 0 done: 142479 time: 0.55 s
602.96/76.10 c Removed useless bin: 264 fixed: 0 props: 20.00M time: 0.33 s
611.07/77.03 c lits-rem: 146 cl-subs: 796 v-elim: 100242 v-fix: 0 time: 0.88 s
611.07/77.08 c subs with bin: 529 lits-rem: 3131 v-fix: 0 time: 0.03 s
611.73/77.17 c lits-rem: 595 cl-subs: 665 v-elim: 0 v-fix: 0 time: 0.07 s
615.74/77.69 c asymm cl-useful: 557/48339/198629 lits-rem:605 time: 0.51
616.54/77.70 c calculated reachability. Time: 0.00
616.54/77.71 c N dy 135 30505 50123 198613 75319 7831 962185 90740 6.76 no data
617.34/77.82 c Finding binary XORs T: 0.03 s found: 1043
617.34/77.87 c Replacing 1081 vars Replaced 36883 lits Time: 0.04 s
630.90/79.59 c N dy 156 34590 48424 190529 68498 9029 917582 110879 6.80 7.38
643.68/81.18 c Finding binary XORs T: 0.03 s found: 648
644.48/81.22 c Replacing 648 vars Replaced 29309 lits Time: 0.05 s
646.86/81.56 c N dy 181 38838 47461 186044 74617 11895 894346 168314 6.85 7.25
658.84/83.06 c N dy 207 42854 47450 186044 75412 8038 894340 82296 6.99 11.50
666.82/84.06 c S st 225 45757 47445 186044 75457 10526 894340 116997 7.00 7.31
668.42/84.25 c S st 225 46257 47390 186044 75482 10964 894340 122321 7.00 no data
668.42/84.29 c x-sub: 159 x-cut: 0 vfix: 0 v-elim: 275 locsubst: 332 time: 0.04
702.76/88.50 c Flit: 79 Blit: 417 bXBeca: 0 bXProp: 2146 Bins: 135386 BRemL: 36662 BRemN: 228 P: 57.5M T: 4.20
702.76/88.53 c Cleaning up after failed var search: 0.03 s
702.76/88.60 c Replacing 2260 vars Replaced 226535 lits Time: 0.06 s
703.56/88.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
704.36/88.79 c bin-w-bin subsume rem 59044 bins time: 0.14 s
705.15/88.84 c subs with bin: 2121 lits-rem: 2579 v-fix: 0 time: 0.05 s
705.95/88.95 c Subs w/ non-existent bins: 675 l-rem: 1281 v-fix: 0 done: 44197 time: 0.10 s
705.95/89.01 c Removed useless bin: 244 fixed: 0 props: 1.96M time: 0.05 s
709.13/89.33 c lits-rem: 487 cl-subs: 5169 v-elim: 11463 v-fix: 0 time: 0.32 s
709.13/89.37 c subs with bin: 515 lits-rem: 2903 v-fix: 0 time: 0.02 s
709.93/89.45 c lits-rem: 530 cl-subs: 1098 v-elim: 0 v-fix: 0 time: 0.06 s
710.73/89.53 c vivif2 -- cl tried 152951 cl shrink 1939 lits rem 2913 time: 0.09
710.73/89.55 c vivif2 -- cl tried 6409 cl shrink 736 lits rem 1216 time: 0.01
714.73/90.01 c asymm cl-useful: 2/30445/152642 lits-rem:6 time: 0.47
714.73/90.04 c calculated reachability. Time: 0.01
714.73/90.04 c N dy 225 46257 32734 152640 50551 6309 732403 82378 7.00 no data
715.55/90.12 c Finding binary XORs T: 0.08 s found: 49
726.67/91.59 c N dy 255 50300 32719 152640 52899 9728 732403 140762 7.07 7.54
737.06/92.89 c N dy 284 54591 32718 152640 52955 13522 732401 211971 7.21 7.67
744.24/93.74 c Finding binary XORs T: 0.05 s found: 113
749.84/94.46 c N dy 316 58629 32677 151709 92661 16954 727789 353804 7.32 7.75
757.82/95.45 c Finding binary XORs T: 0.05 s found: 97
760.34/95.78 c N dy 347 62944 32659 151443 109268 20682 726067 455403 7.41 8.65
771.40/97.14 c Finding binary XORs T: 0.05 s found: 70
771.40/97.18 c Replacing 330 vars Replaced 19548 lits Time: 0.04 s
772.20/97.20 c N dy 382 67016 32312 150938 125014 12632 722747 279089 7.52 15.59
777.01/97.89 c S st 401 69385 32311 150938 125042 14664 722747 318206 7.58 no data
779.38/98.14 c S st 401 69886 32309 150938 125069 15062 722747 321513 7.58 no data
779.38/98.17 c x-sub: 136 x-cut: 0 vfix: 0 v-elim: 201 locsubst: 256 time: 0.03
795.48/100.18 c Flit: 80 Blit: 73 bXBeca: 0 bXProp: 681 Bins: 29361 BRemL: 26413 BRemN: 55 P: 25.6M T: 2.01
795.48/100.18 c Cleaning up after failed var search: 0.00 s
796.13/100.26 c Replacing 804 vars Replaced 79108 lits Time: 0.07 s
796.93/100.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
798.53/100.53 c bin-w-bin subsume rem 62012 bins time: 0.22 s
798.53/100.57 c subs with bin: 1434 lits-rem: 1236 v-fix: 0 time: 0.04 s
799.32/100.63 c Subs w/ non-existent bins: 215 l-rem: 223 v-fix: 1 done: 31028 time: 0.06 s
799.32/100.66 c Removed useless bin: 165 fixed: 0 props: 0.91M time: 0.03 s
800.92/100.83 c lits-rem: 270 cl-subs: 2360 v-elim: 2112 v-fix: 0 time: 0.17 s
800.92/100.89 c subs with bin: 465 lits-rem: 1847 v-fix: 0 time: 0.03 s
801.73/100.98 c lits-rem: 483 cl-subs: 730 v-elim: 0 v-fix: 0 time: 0.06 s
802.53/101.03 c vivif2 -- cl tried 133588 cl shrink 772 lits rem 1074 time: 0.06
802.53/101.06 c vivif2 -- cl tried 12826 cl shrink 1233 lits rem 2553 time: 0.02
804.91/101.37 c asymm cl-useful: 56/15830/133518 lits-rem:168 time: 0.31
804.91/101.39 c calculated reachability. Time: 0.01
804.91/101.39 c N dy 401 69886 28915 133462 50388 12798 642407 156424 7.58 no data
805.71/101.45 c Finding binary XORs T: 0.06 s found: 5
813.03/102.32 c Finding binary XORs T: 0.05 s found: 93
815.30/102.66 c N dy 436 74393 28883 133106 67801 16759 640537 268646 7.66 8.08
824.87/103.85 c N dy 479 79166 28882 133106 104615 20954 640537 441580 7.86 15.33
825.68/103.92 c Finding binary XORs T: 0.05 s found: 54
833.66/104.99 c N dy 512 84272 28882 133102 104642 25285 640523 518881 7.93 9.78
840.03/105.72 c F st 536 87500 28882 133102 111973 28098 640523 584549 7.95 no data
840.03/105.78 c Replacing 157 vars Replaced 28971 lits Time: 0.04 s
845.62/106.46 c N st 541 90795 28723 132961 111361 16020 639551 283264 7.95 no data
852.80/107.33 c Finding binary XORs T: 0.05 s found: 486
852.80/107.37 c Replacing 499 vars Replaced 36303 lits Time: 0.04 s
856.03/107.73 c N dy 567 96622 27923 128032 62387 19158 611079 316548 7.99 11.77
865.71/108.99 c N dy 608 102799 27890 128032 63279 24533 611079 419150 8.02 8.76
869.57/109.41 c S st 623 104831 27889 128032 63293 26275 611079 451663 8.04 6.44
871.17/109.61 c S st 623 105331 27888 128032 64048 26713 611079 459770 8.04 no data
871.17/109.64 c x-sub: 228 x-cut: 0 vfix: 0 v-elim: 145 locsubst: 824 time: 0.03
880.76/110.80 c Flit: 20 Blit: 103 bXBeca: 0 bXProp: 534 Bins: 21431 BRemL: 37258 BRemN: 87 P: 17.0M T: 1.16
880.76/110.80 c Cleaning up after failed var search: 0.00 s
880.76/110.88 c Replacing 818 vars Replaced 67009 lits Time: 0.07 s
881.55/110.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
881.55/110.93 c bin-w-bin subsume rem 8257 bins time: 0.01 s
881.55/110.97 c subs with bin: 1111 lits-rem: 920 v-fix: 0 time: 0.03 s
882.38/111.01 c Subs w/ non-existent bins: 173 l-rem: 115 v-fix: 0 done: 26779 time: 0.04 s
882.38/111.04 c Removed useless bin: 92 fixed: 0 props: 0.59M time: 0.02 s
883.27/111.19 c lits-rem: 148 cl-subs: 3392 v-elim: 2081 v-fix: 0 time: 0.15 s
883.93/111.26 c subs with bin: 671 lits-rem: 8716 v-fix: 0 time: 0.05 s
884.72/111.39 c lits-rem: 3130 cl-subs: 2013 v-elim: 0 v-fix: 0 time: 0.11 s
885.52/111.43 c vivif2 -- cl tried 113974 cl shrink 377 lits rem 448 time: 0.03
885.52/111.46 c vivif2 -- cl tried 20311 cl shrink 2272 lits rem 5964 time: 0.03
889.53/111.92 c asymm cl-useful: 483/17633/113955 lits-rem:1409 time: 0.46
889.53/111.93 c calculated reachability. Time: 0.01
889.53/111.93 c N dy 623 105331 24698 113909 31353 20288 548442 270845 8.04 no data
889.53/111.99 c Finding binary XORs T: 0.05 s found: 7
899.93/113.27 c N dy 653 112136 24684 113909 34449 26285 548442 385562 8.02 8.96
911.87/114.72 c N dy 683 119575 24678 113909 51483 17919 548441 182543 8.00 8.79
914.26/115.01 c Finding binary XORs T: 0.05 s found: 145
920.65/115.81 c Finding binary XORs T: 0.05 s found: 134
920.65/115.85 c Replacing 286 vars Replaced 48274 lits Time: 0.04 s
925.45/116.49 c N dy 725 127213 24371 113276 77589 23953 544882 358988 8.05 15.37
939.01/118.12 c Finding binary XORs T: 0.05 s found: 1035
939.01/118.16 c Replacing 1061 vars Replaced 69265 lits Time: 0.04 s
939.82/118.22 c N dy 778 135461 22806 106304 39860 17224 509180 187584 8.07 8.55
959.82/126.22 c Following stats are for *FIRST FINISHED THREAD ONLY*
959.82/126.22 c num threads : 8
959.82/126.22 c restarts : 628
959.82/126.22 c dynamic restarts : 610
959.82/126.22 c static restarts : 18
959.82/126.22 c full restarts : 2
959.82/126.22 c total simplify time : 0.99
959.82/126.22 c learnts DL2 : 0
959.82/126.22 c learnts size 2 : 1208714
959.82/126.22 c learnts size 1 : 16823 (6.40 % of vars)
959.82/126.22 c filedLit time : 43.30 (35.13 % time)
959.82/126.22 c v-elim SatELite : 190687 (72.50 % vars)
959.82/126.22 c SatELite time : 3.87 (3.14 % time)
959.82/126.22 c v-elim xor : 470 (0.18 % vars)
959.82/126.22 c xor elim time : 0.14 (0.12 % time)
959.82/126.22 c num binary xor trees : 6847
959.82/126.22 c binxor trees' crown : 30033 (4.39 leafs/tree)
959.82/126.22 c bin xor find time : 0.48
959.82/126.22 c OTF clause improved : 11185 (0.10 clauses/conflict)
959.82/126.22 c OTF impr. size diff : 11780 (1.05 lits/clause)
959.82/126.22 c OTF cl watch-shrink : 37369 (0.34 clauses/conflict)
959.82/126.22 c OTF cl watch-sh-lit : 101347 (2.71 lits/clause)
959.82/126.22 c tried to recurMin cls : 7769 (7.08 % of conflicts)
959.82/126.22 c updated cache : 0 (0.00 lits/tried recurMin)
959.82/126.22 c unit cls recevied : 848 (5.04 % of units)
959.82/126.22 c unit cls sent : 1989 (11.82 % of units)
959.82/126.22 c bin cls recevied : 443482
959.82/126.22 c bin cls sent : 94987
959.82/126.22 c clauses over max glue : 0 (0.00 % of all clauses)
959.82/126.22 c conflicts : 109669 (889.88 / sec)
959.82/126.22 c decisions : 1591419 (4.72 % random)
959.82/126.22 c bogo-props : 1380704600 (11203356.40 / sec)
959.82/126.22 c conflict literals : 1875671 (20.04 % deleted)
959.82/126.22 c Memory used : 3081.94 MB
959.82/126.22 c single-thread CPU time : 123.24 s
959.82/126.22 c all-threads sum CPU time : 946.02 s
959.82/126.22 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3393886-1306070232/watcher-3393886-1306070232 -o /tmp/evaluation-result-3393886-1306070232/solver-3393886-1306070232 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393886-1306070232.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.85 4.30 1.75 1/474 2577
/proc/meminfo: memFree=5793040/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=92144 CPUtime=0 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) R 2575 2577 2510 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 8 0 718625574 94355456 353 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436073457 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/2577/statm: 23036 353 299 95 0 18018 0
[pid=2577/tid=2578] ppid=2575 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 718625575 94355456 353 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185907112 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 718625575 94355456 353 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185907116 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=92144 CPUtime=0 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718625575 94355456 353 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=92144 CPUtime=0 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718625575 94355456 353 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=92144 CPUtime=0 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 718625575 94355456 353 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 718625575 94355456 353 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185907122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=92144 CPUtime=0.01 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 718625575 94355456 353 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185907122 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.062688 s]
/proc/loadavg: 7.85 4.30 1.75 1/474 2577
/proc/meminfo: memFree=5793040/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=629892 CPUtime=0.31 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) S 2575 2577 2510 0 -1 4202496 10101 0 0 0 23 8 0 0 17 0 8 0 718625574 645009408 8923 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 157778 9107 337 95 0 152760 0
[pid=2577/tid=2578] ppid=2575 vsize=632652 CPUtime=0.03 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1357 0 0 0 3 0 0 0 17 0 8 0 718625575 647835648 9169 33554432000 4194304 4580107 140737243845872 18446744073709551615 4510978 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=632652 CPUtime=0.05 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1394 0 0 0 4 1 0 0 17 0 8 0 718625575 647835648 9209 33554432000 4194304 4580107 140737243845872 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=632652 CPUtime=0.01 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1075 0 0 0 1 0 0 0 17 0 8 0 718625575 647835648 9263 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=632652 CPUtime=0.02 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1319 0 0 0 1 1 0 0 17 0 8 0 718625575 647835648 9296 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 7 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=632652 CPUtime=0.01 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1100 0 0 0 1 0 0 0 17 0 8 0 718625575 647835648 9314 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 5 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=632136 CPUtime=0.03 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) D 2575 2577 2510 0 -1 4202560 1360 0 0 0 3 0 0 0 17 0 8 0 718625575 647307264 9208 33554432000 4194304 4580107 140737243845872 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=631876 CPUtime=0.03 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1242 0 0 0 3 0 0 0 17 0 8 0 718625575 647041024 9192 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 629892
[startup+0.102965 s]
/proc/loadavg: 7.85 4.30 1.75 1/474 2577
/proc/meminfo: memFree=5793040/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=650416 CPUtime=0.53 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) R 2575 2577 2510 0 -1 4202496 20964 0 0 0 37 16 0 0 17 0 8 0 718625574 666025984 16921 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 162604 16933 337 95 0 157586 0
[pid=2577/tid=2578] ppid=2575 vsize=650416 CPUtime=0.07 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 2775 0 0 0 5 2 0 0 17 0 8 0 718625575 666025984 16948 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=650416 CPUtime=0.07 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 2543 0 0 0 5 2 0 0 17 0 8 0 718625575 666025984 16958 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=650416 CPUtime=0.04 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 2249 0 0 0 3 1 0 0 17 0 8 0 718625575 666025984 16973 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=650736 CPUtime=0.04 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 2777 0 0 0 2 2 0 0 17 0 8 0 718625575 666353664 16983 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 7 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=650736 CPUtime=0.04 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 2398 0 0 0 3 1 0 0 17 0 8 0 718625575 666353664 16999 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 5 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=650736 CPUtime=0.07 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 2598 0 0 0 5 2 0 0 17 0 8 0 718625575 666353664 17013 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=650736 CPUtime=0.07 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 2581 0 0 0 6 1 0 0 17 0 8 0 718625575 666353664 17027 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 650416
[startup+0.301597 s]
/proc/loadavg: 7.85 4.30 1.75 1/474 2577
/proc/meminfo: memFree=5793040/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=738188 CPUtime=1.63 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) R 2575 2577 2510 0 -1 4202496 71366 0 0 0 111 52 0 0 17 0 8 0 718625574 755904512 56754 33554432000 4194304 4580107 140737243845872 18446744073709551615 4307948 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 184547 56839 337 95 0 179529 0
[pid=2577/tid=2578] ppid=2575 vsize=738188 CPUtime=0.21 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 9570 0 0 0 15 6 0 0 17 0 8 0 718625575 755904512 56930 33554432000 4194304 4580107 140737243845872 18446744073709551615 4511053 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=746384 CPUtime=0.2 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 7896 0 0 0 14 6 0 0 17 0 8 0 718625575 764297216 57137 33554432000 4194304 4580107 140737243845872 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=746384 CPUtime=0.18 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 8742 0 0 0 12 6 0 0 17 0 8 0 718625575 764297216 57416 33554432000 4194304 4580107 140737243845872 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=746384 CPUtime=0.19 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) D 2575 2577 2510 0 -1 4202560 9693 0 0 0 12 7 0 0 17 0 8 0 718625575 764297216 57416 33554432000 4194304 4580107 140737243845872 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=746384 CPUtime=0.17 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 8705 0 0 0 12 5 0 0 17 0 8 0 718625575 764297216 57416 33554432000 4194304 4580107 140737243845872 18446744073709551615 4307934 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=746384 CPUtime=0.22 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) D 2575 2577 2510 0 -1 4202560 9948 0 0 0 15 7 0 0 17 0 8 0 718625575 764297216 57416 33554432000 4194304 4580107 140737243845872 18446744073709551615 4307185 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=746384 CPUtime=0.2 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) D 2575 2577 2510 0 -1 4202560 8026 0 0 0 15 5 0 0 17 0 8 0 718625575 764297216 57416 33554432000 4194304 4580107 140737243845872 18446744073709551615 4307217 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 738188
[startup+0.700504 s]
/proc/loadavg: 7.85 4.30 1.75 1/474 2577
/proc/meminfo: memFree=5793040/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=982800 CPUtime=3.96 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) S 2575 2577 2510 0 -1 4202496 167963 0 0 0 268 128 0 0 16 0 8 0 718625574 1006387200 133963 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 245700 133964 337 95 0 240682 0
[pid=2577/tid=2578] ppid=2575 vsize=982800 CPUtime=0.5 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 21685 0 0 0 35 15 0 0 16 0 8 0 718625575 1006387200 133964 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=982800 CPUtime=0.5 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 20256 0 0 0 34 16 0 0 17 0 8 0 718625575 1006387200 133964 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 1 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=982800 CPUtime=0.46 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 19597 0 0 0 30 16 0 0 16 0 8 0 718625575 1006387200 133964 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=982800 CPUtime=0.47 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 22705 0 0 0 31 16 0 0 17 0 8 0 718625575 1006387200 133964 33554432000 4194304 4580107 140737243845872 18446744073709551615 212435684314 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=982800 CPUtime=0.46 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 20231 0 0 0 32 14 0 0 16 0 8 0 718625575 1006387200 133964 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 5 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=982800 CPUtime=0.51 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 21697 0 0 0 34 17 0 0 16 0 8 0 718625575 1006387200 133964 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=982800 CPUtime=0.49 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 21425 0 0 0 36 13 0 0 16 0 8 0 718625575 1006387200 133964 33554432000 4194304 4580107 140737243845872 18446744073709551615 212436122094 0 0 4096 2 18446604464860808256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 982800
[startup+1.50036 s]
/proc/loadavg: 7.85 4.30 1.75 9/482 2585
/proc/meminfo: memFree=5043644/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=1461688 CPUtime=9.15 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) R 2575 2577 2510 0 -1 4202496 280266 0 0 0 715 200 0 0 16 0 8 0 718625574 1496768512 212223 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 365422 212223 359 95 0 360404 0
[pid=2577/tid=2578] ppid=2575 vsize=1461688 CPUtime=1.15 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 35600 0 0 0 90 25 0 0 16 0 8 0 718625575 1496768512 212223 33554432000 4194304 4580107 140737243845872 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=1461688 CPUtime=1.14 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 35095 0 0 0 89 25 0 0 16 0 8 0 718625575 1496768512 212223 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=1461688 CPUtime=1.11 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 33363 0 0 0 87 24 0 0 16 0 8 0 718625575 1496768512 212223 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=1461688 CPUtime=1.12 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 37135 0 0 0 86 26 0 0 16 0 8 0 718625575 1496768512 212223 33554432000 4194304 4580107 140737243845872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=1461688 CPUtime=1.12 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 34138 0 0 0 89 23 0 0 16 0 8 0 718625575 1496768512 212223 33554432000 4194304 4580107 140737243845872 18446744073709551615 4294144 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=1461688 CPUtime=1.17 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 35201 0 0 0 90 27 0 0 16 0 8 0 718625575 1496768512 212223 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=1461688 CPUtime=1.14 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 37020 0 0 0 94 20 0 0 16 0 8 0 718625575 1496768512 212223 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.15
Current children cumulated vsize (KiB) 1461688
[startup+3.10106 s]
/proc/loadavg: 7.94 4.38 1.79 11/482 2586
/proc/meminfo: memFree=4925844/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=1461688 CPUtime=21.94 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) R 2575 2577 2510 0 -1 4202496 285465 0 0 0 1993 201 0 0 18 0 8 0 718625574 1496768512 216715 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 365422 216715 360 95 0 360404 0
[pid=2577/tid=2578] ppid=2575 vsize=1461688 CPUtime=2.75 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 36935 0 0 0 250 25 0 0 18 0 8 0 718625575 1496768512 216715 33554432000 4194304 4580107 140737243845872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=1461688 CPUtime=2.72 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 36431 0 0 0 247 25 0 0 18 0 8 0 718625575 1496768512 216715 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=1461688 CPUtime=2.71 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 33368 0 0 0 247 24 0 0 18 0 8 0 718625575 1496768512 216715 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=1461688 CPUtime=2.72 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 37137 0 0 0 246 26 0 0 18 0 8 0 718625575 1496768512 216715 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=1461688 CPUtime=2.72 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 34653 0 0 0 249 23 0 0 18 0 8 0 718625575 1496768512 216715 33554432000 4194304 4580107 140737243845872 18446744073709551615 4288991 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=1461688 CPUtime=2.77 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 35971 0 0 0 250 27 0 0 18 0 8 0 718625575 1496768512 216715 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=1461688 CPUtime=2.75 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 37996 0 0 0 254 21 0 0 18 0 8 0 718625575 1496768512 216715 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.94
Current children cumulated vsize (KiB) 1461688
[startup+6.30045 s]
/proc/loadavg: 7.94 4.38 1.79 9/482 2586
/proc/meminfo: memFree=4924560/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=1461688 CPUtime=47.48 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) R 2575 2577 2510 0 -1 4202496 285779 0 0 0 4547 201 0 0 25 0 8 0 718625574 1496768512 217029 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 365422 217029 360 95 0 360404 0
[pid=2577/tid=2578] ppid=2575 vsize=1461688 CPUtime=5.95 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 36976 0 0 0 570 25 0 0 25 0 8 0 718625575 1496768512 217029 33554432000 4194304 4580107 140737243845872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=1461688 CPUtime=5.87 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 36451 0 0 0 562 25 0 0 25 0 8 0 718625575 1496768512 217029 33554432000 4194304 4580107 140737243845872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=1461688 CPUtime=5.91 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 33431 0 0 0 567 24 0 0 25 0 8 0 718625575 1496768512 217029 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=1461688 CPUtime=5.92 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 37161 0 0 0 566 26 0 0 25 0 8 0 718625575 1496768512 217029 33554432000 4194304 4580107 140737243845872 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=1461688 CPUtime=5.92 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 34675 0 0 0 569 23 0 0 25 0 8 0 718625575 1496768512 217029 33554432000 4194304 4580107 140737243845872 18446744073709551615 4234384 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=1461688 CPUtime=5.97 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 36007 0 0 0 570 27 0 0 25 0 8 0 718625575 1496768512 217029 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=1461688 CPUtime=5.95 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 38047 0 0 0 574 21 0 0 25 0 8 0 718625575 1496768512 217029 33554432000 4194304 4580107 140737243845872 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=2577] ppid=2575 vsize=2138324 CPUtime=404.18 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) R 2575 2577 2510 0 -1 4202496 8038460 0 0 0 39176 1242 0 0 25 0 8 0 718625574 2189643776 360585 33554432000 4194304 4580107 140737243845872 18446744073709551615 4249625 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 534581 360597 380 95 0 529563 0
[pid=2577/tid=2578] ppid=2575 vsize=2138324 CPUtime=50.6 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1285087 0 0 0 4873 187 0 0 25 0 8 0 718625575 2189643776 360617 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=2138324 CPUtime=50.27 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1222873 0 0 0 4835 192 0 0 25 0 8 0 718625575 2189643776 360657 33554432000 4194304 4580107 140737243845872 18446744073709551615 212435714666 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=2138324 CPUtime=50.62 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1155418 0 0 0 4894 168 0 0 25 0 8 0 718625575 2189643776 360697 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=2138324 CPUtime=50.64 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1452199 0 0 0 4857 207 0 0 25 0 8 0 718625575 2189643776 360740 33554432000 4194304 4580107 140737243845872 18446744073709551615 212435714666 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=2138324 CPUtime=50.08 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 853287 0 0 0 4863 145 0 0 25 0 8 0 718625575 2189643776 360781 33554432000 4194304 4580107 140737243845872 18446744073709551615 212435714658 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=2138324 CPUtime=50.61 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1053574 0 0 0 4898 163 0 0 25 0 8 0 718625575 2189643776 360832 33554432000 4194304 4580107 140737243845872 18446744073709551615 212435714690 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=2138324 CPUtime=50.71 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 74266 0 0 0 5045 26 0 0 25 0 8 0 718625575 2189643776 360883 33554432000 4194304 4580107 140737243845872 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 404.18
Current children cumulated vsize (KiB) 2138324
[startup+102.318 s]
/proc/loadavg: 8.06 5.43 2.43 9/482 2588
/proc/meminfo: memFree=3846660/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=2652288 CPUtime=813.03 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) R 2575 2577 2510 0 -1 4202496 8697672 0 0 0 79953 1350 0 0 20 0 8 0 718625574 2715942912 486293 33554432000 4194304 4580107 140737243845872 18446744073709551615 4496980 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 663072 486293 380 95 0 658054 0
[pid=2577/tid=2578] ppid=2575 vsize=2652288 CPUtime=101.81 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1321521 0 0 0 9988 193 0 0 25 0 8 0 718625575 2715942912 486293 33554432000 4194304 4580107 140737243845872 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=2652288 CPUtime=101.48 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1327044 0 0 0 9937 211 0 0 25 0 8 0 718625575 2715942912 486293 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=2652288 CPUtime=101.83 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1178393 0 0 0 10008 175 0 0 25 0 8 0 718625575 2715942912 486293 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=2652288 CPUtime=101.44 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1486470 0 0 0 9926 218 0 0 21 0 8 0 718625575 2715942912 486293 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=2652288 CPUtime=100.89 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 997163 0 0 0 9925 164 0 0 25 0 8 0 718625575 2715942912 486293 33554432000 4194304 4580107 140737243845872 18446744073709551615 4235655 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=2652288 CPUtime=101.81 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1150269 0 0 0 10004 177 0 0 25 0 8 0 718625575 2715942912 486293 33554432000 4194304 4580107 140737243845872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=2652288 CPUtime=101.92 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 78239 0 0 0 10165 27 0 0 25 0 8 0 718625575 2715942912 486293 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 813.03
Current children cumulated vsize (KiB) 2652288
Solver just ended. Dumping a history of the last processes samples
[startup+115.101 s]
/proc/loadavg: 8.12 5.54 2.49 9/482 2589
/proc/meminfo: memFree=3621480/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=2937644 CPUtime=915.06 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) R 2575 2577 2510 0 -1 4202496 8797267 0 0 0 90133 1373 0 0 25 0 8 0 718625574 3008147456 554957 33554432000 4194304 4580107 140737243845872 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 734411 554957 380 95 0 729393 0
[pid=2577/tid=2578] ppid=2575 vsize=2937644 CPUtime=114.59 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1330714 0 0 0 11265 194 0 0 25 0 8 0 718625575 3008147456 554957 33554432000 4194304 4580107 140737243845872 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=2937644 CPUtime=114.26 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1339037 0 0 0 11212 214 0 0 20 0 8 0 718625575 3008147456 554957 33554432000 4194304 4580107 140737243845872 18446744073709551615 4295482 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=2937644 CPUtime=114.55 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1182245 0 0 0 11279 176 0 0 25 0 8 0 718625575 3008147456 554957 33554432000 4194304 4580107 140737243845872 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=2937644 CPUtime=114.09 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1497093 0 0 0 11189 220 0 0 20 0 8 0 718625575 3008147456 554957 33554432000 4194304 4580107 140737243845872 18446744073709551615 4304867 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=2937644 CPUtime=113.67 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1015506 0 0 0 11196 171 0 0 25 0 8 0 718625575 3008147456 554957 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=2937644 CPUtime=114.58 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1169313 0 0 0 11277 181 0 0 25 0 8 0 718625575 3008147456 554957 33554432000 4194304 4580107 140737243845872 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=2937644 CPUtime=114.7 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 94643 0 0 0 11439 31 0 0 25 0 8 0 718625575 3008147456 554957 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 915.06
Current children cumulated vsize (KiB) 2937644
[startup+121.501 s]
/proc/loadavg: 8.11 5.58 2.52 3/482 2589
/proc/meminfo: memFree=3467892/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=3023156 CPUtime=950.41 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) S 2575 2577 2510 0 -1 4202496 8839077 0 0 0 93662 1379 0 0 25 0 8 0 718625574 3095711744 583146 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 755789 583146 380 95 0 750771 0
[pid=2577/tid=2578] ppid=2575 vsize=3023156 CPUtime=118.1 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1331420 0 0 0 11616 194 0 0 25 0 8 0 718625575 3095711744 583146 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=3023156 CPUtime=120.66 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1339492 0 0 0 11852 214 0 0 25 0 8 0 718625575 3095711744 583146 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185882155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=3023156 CPUtime=119.54 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1193004 0 0 0 11776 178 0 0 18 0 8 0 718625575 3095711744 583146 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=3023156 CPUtime=117.61 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1498902 0 0 0 11540 221 0 0 25 0 8 0 718625575 3095711744 583146 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 1 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=3023156 CPUtime=117.18 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1026352 0 0 0 11546 172 0 0 25 0 8 0 718625575 3095711744 583146 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 3 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=3023156 CPUtime=118.09 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1170599 0 0 0 11628 181 0 0 25 0 8 0 718625575 3095711744 583146 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=3023156 CPUtime=121.1 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 110173 0 0 0 12077 33 0 0 25 0 8 0 718625575 3095711744 583146 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 950.41
Current children cumulated vsize (KiB) 3023156
[startup+124.701 s]
/proc/loadavg: 7.62 5.52 2.52 3/482 2589
/proc/meminfo: memFree=3400928/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=3155244 CPUtime=956.82 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) S 2575 2577 2510 0 -1 4202496 8856362 0 0 0 94299 1383 0 0 25 0 8 0 718625574 3230969856 600303 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 788811 600303 380 95 0 783793 0
[pid=2577/tid=2578] ppid=2575 vsize=3155244 CPUtime=118.1 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1331420 0 0 0 11616 194 0 0 25 0 8 0 718625575 3230969856 600303 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=3155244 CPUtime=123.86 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1339492 0 0 0 12172 214 0 0 25 0 8 0 718625575 3230969856 600303 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185882155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=3155244 CPUtime=119.54 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1193004 0 0 0 11776 178 0 0 18 0 8 0 718625575 3230969856 600303 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=3155244 CPUtime=117.61 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1498902 0 0 0 11540 221 0 0 25 0 8 0 718625575 3230969856 600303 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 1 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=3155244 CPUtime=117.18 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1026352 0 0 0 11546 172 0 0 25 0 8 0 718625575 3230969856 600303 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 3 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=3155244 CPUtime=118.09 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1170599 0 0 0 11628 181 0 0 25 0 8 0 718625575 3230969856 600303 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=3155244 CPUtime=124.29 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 127458 0 0 0 12393 36 0 0 25 0 8 0 718625575 3230969856 600303 33554432000 4194304 4580107 140737243845872 18446744073709551615 4451531 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 956.82
Current children cumulated vsize (KiB) 3155244
[startup+125.501 s]
/proc/loadavg: 7.62 5.52 2.52 3/482 2589
/proc/meminfo: memFree=3378732/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=3155904 CPUtime=958.42 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) S 2575 2577 2510 0 -1 4202496 8865749 0 0 0 94457 1385 0 0 25 0 8 0 718625574 3231645696 603112 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 788976 603112 380 95 0 783958 0
[pid=2577/tid=2578] ppid=2575 vsize=3155904 CPUtime=118.1 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1331420 0 0 0 11616 194 0 0 25 0 8 0 718625575 3231645696 603112 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=3155904 CPUtime=124.66 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1339492 0 0 0 12252 214 0 0 25 0 8 0 718625575 3231645696 603112 33554432000 4194304 4580107 140737243845872 18446744073709551615 4219847 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=3155904 CPUtime=119.54 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1193004 0 0 0 11776 178 0 0 18 0 8 0 718625575 3231645696 603112 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=3155904 CPUtime=117.61 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1498902 0 0 0 11540 221 0 0 25 0 8 0 718625575 3231645696 603112 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 1 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=3155904 CPUtime=117.18 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1026352 0 0 0 11546 172 0 0 25 0 8 0 718625575 3231645696 603112 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 3 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=3155904 CPUtime=118.09 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1170599 0 0 0 11628 181 0 0 25 0 8 0 718625575 3231645696 603112 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=3155904 CPUtime=125.1 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 136845 0 0 0 12472 38 0 0 25 0 8 0 718625575 3231645696 603112 33554432000 4194304 4580107 140737243845872 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 958.42
Current children cumulated vsize (KiB) 3155904
[startup+125.901 s]
/proc/loadavg: 7.62 5.52 2.52 3/482 2589
/proc/meminfo: memFree=3378732/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=3155904 CPUtime=959.22 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) S 2575 2577 2510 0 -1 4202496 8865752 0 0 0 94537 1385 0 0 25 0 8 0 718625574 3231645696 603115 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 788976 603115 380 95 0 783958 0
[pid=2577/tid=2578] ppid=2575 vsize=3155904 CPUtime=118.1 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1331420 0 0 0 11616 194 0 0 25 0 8 0 718625575 3231645696 603115 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 6 0 0 0
[pid=2577/tid=2579] ppid=2575 vsize=3155904 CPUtime=125.06 cores=0-7
/proc/2577/task/2579/stat : 2579 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 1339492 0 0 0 12292 214 0 0 25 0 8 0 718625575 3231645696 603115 33554432000 4194304 4580107 140737243845872 18446744073709551615 4219847 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2577/tid=2580] ppid=2575 vsize=3155904 CPUtime=119.54 cores=0-7
/proc/2577/task/2580/stat : 2580 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1193004 0 0 0 11776 178 0 0 18 0 8 0 718625575 3231645696 603115 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 3 0 0 0
[pid=2577/tid=2581] ppid=2575 vsize=3155904 CPUtime=117.61 cores=0-7
/proc/2577/task/2581/stat : 2581 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1498902 0 0 0 11540 221 0 0 25 0 8 0 718625575 3231645696 603115 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 1 0 0 0
[pid=2577/tid=2582] ppid=2575 vsize=3155904 CPUtime=117.18 cores=0-7
/proc/2577/task/2582/stat : 2582 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1026352 0 0 0 11546 172 0 0 25 0 8 0 718625575 3231645696 603115 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 3 0 0 0
[pid=2577/tid=2583] ppid=2575 vsize=3155904 CPUtime=118.09 cores=0-7
/proc/2577/task/2583/stat : 2583 (strangenight2-m) S 2575 2577 2510 0 -1 4202560 1170599 0 0 0 11628 181 0 0 25 0 8 0 718625575 3231645696 603115 33554432000 4194304 4580107 140737243845872 18446744073709551615 46936185906740 0 0 4096 2 18446604464860808256 0 0 -1 2 0 0 0
[pid=2577/tid=2584] ppid=2575 vsize=3155904 CPUtime=125.49 cores=0-7
/proc/2577/task/2584/stat : 2584 (strangenight2-m) R 2575 2577 2510 0 -1 4202560 136848 0 0 0 12511 38 0 0 25 0 8 0 718625575 3231645696 603115 33554432000 4194304 4580107 140737243845872 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 959.22
Current children cumulated vsize (KiB) 3155904
[startup+126.301 s]
/proc/loadavg: 7.62 5.52 2.52 3/482 2589
/proc/meminfo: memFree=3378732/32951124 swapFree=56316296/67111528
[pid=2577] ppid=2575 vsize=0 CPUtime=959.94 cores=0-7
/proc/2577/stat : 2577 (strangenight2-m) Z 2575 2577 2510 0 -1 4203548 8865757 0 0 0 94601 1393 0 0 18 0 2 0 718625574 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2577/statm: 0 0 0 0 0 0 0
[pid=2577/tid=2578] ppid=2575 vsize=0 CPUtime=118.18 cores=0-7
/proc/2577/task/2578/stat : 2578 (strangenight2-m) R 2575 2577 2510 0 -1 4203588 1331420 0 0 0 11616 202 0 0 18 0 2 0 718625575 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) 959.94
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 126.317
CPU time (s): 959.966
CPU user time (s): 946.016
CPU system time (s): 13.9499
CPU usage (%): 759.965
Max. virtual memory (cumulated for all children) (KiB): 3155904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 946.016
system time used= 13.9499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8865757
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= 239726
involuntary context switches= 4402
runsolver used 0.52192 second user time and 1.47578 second system time
The end
Begin job on node102 at 2011-05-22 15:17:12
IDJOB=3393886
IDBENCH=20495
IDSOLVER=1878
FILE ID=node102/3393886-1306070232
RUNJOBID= node102-1306069999-2524
PBS_JOBID= 13387901
Free space on /tmp= 73364 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/manolios/manol-pipe-f7idw.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393886-1306070232/watcher-3393886-1306070232 -o /tmp/evaluation-result-3393886-1306070232/solver-3393886-1306070232 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393886-1306070232.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= e11b8f7666247454d93edb47f1646e2c
RANDOM SEED=1327506054
node102.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.828
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.65
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.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
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.82
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.828
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.75
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.828
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.828
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.828
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.828
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: 5793444 kB
Buffers: 239548 kB
Cached: 5061292 kB
SwapCached: 33856 kB
Active: 16083824 kB
Inactive: 10782492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 5793444 kB
SwapTotal: 67111528 kB
SwapFree: 56316296 kB
Dirty: 19620 kB
Writeback: 0 kB
AnonPages: 21544060 kB
Mapped: 24428 kB
Slab: 121352 kB
PageTables: 99040 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 135450924 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= 73360 MiB
End job on node102 at 2011-05-22 15:19:19