0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.69/0.11 c This is CryptoMiniSat 3.0.0
0.69/0.11 c WARNING: for repeatability, setting FPU to use double precision
0.69/0.11 c Reading file 'HOME/instance-3321009-1304322187.cnf'
0.69/0.11 c -- header says num vars: 263022
0.69/0.11 c -- header says num clauses: 782329
5.32/1.28 c -- clauses added: 0 learnts, 782329 normals, 0 xors
5.32/1.28 c -- vars added 263022
5.32/1.28 c Parsing time: 0.34 s
5.32/1.28 c N st 0 0 263022 260776 521552 0 1825432 0 no data no data
11.29/2.05 c asymm cl-useful: 0/38904/260775 lits-rem:0 time: 0.76
171.21/22.04 c Flit: 211 Blit: 7050 bXBeca: 0 bXProp: 17066 Bins: 0 BRemL: 0 BRemN: 0 P: 181.3M T: 19.97
171.21/22.08 c Cleaning up after failed var search: 0.04 s
172.01/22.16 c Replacing 17066 vars Replaced 275530 lits Time: 0.08 s
172.76/22.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
173.56/22.31 c bin-w-bin subsume rem 798 bins time: 0.05 s
174.36/22.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.13 s
178.32/22.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 137187 time: 0.46 s
179.96/23.15 c Removed useless bin: 64 fixed: 0 props: 20.00M time: 0.23 s
186.20/23.95 c lits-rem: 1 cl-subs: 95 v-elim: 78788 v-fix: 0 time: 0.73 s
186.98/24.00 c Finding binary XORs T: 0.05 s found: 0
187.75/24.14 c Finding non-binary XORs: 0.09 s (found: 5992, avg size: 3.0)
187.75/24.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 5 locsubst: 36 time: 0.05
187.75/24.17 c calculated reachability. Time: 0.00
187.75/24.19 c Calc default polars - time: 0.03 s pos: 55977 undec: 105629 neg: 101416
187.75/24.19 c =========================================================================================
187.75/24.19 c types(t): F = full restart, N = normal restart
187.75/24.19 c types(t): S = simplification begin/end, E = solution found
187.75/24.19 c restart types(rt): st = static, dy = dynamic
187.75/24.19 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
187.75/24.19 c B st 0 0 157572 185681 324825 0 1320491 0 no data no data
215.59/27.62 c N dy 16 4685 157566 185681 325011 4155 1320489 58735 6.06 6.49
237.11/30.30 c N dy 38 8693 157522 185681 325362 7680 1320488 105311 6.41 6.81
262.70/33.52 c N dy 58 12725 157293 185681 325903 11360 1320488 157410 6.34 6.67
288.27/36.72 c N dy 84 16793 157253 185681 325943 15058 1320488 208557 6.54 7.28
315.46/40.11 c N dy 109 20848 157079 185681 326294 9745 1320488 68278 6.78 7.88
337.88/42.92 c N dy 130 24893 157069 185681 326457 13511 1320488 117991 6.76 7.30
338.69/43.01 c F st 131 25001 157068 185681 326459 13617 1320488 119178 6.76 5.72
338.69/43.09 c Replacing 37 vars Replaced 717 lits Time: 0.05 s
424.95/53.81 c N dy 137 30000 156997 183225 324674 18308 1305018 267836 6.76 no data
424.95/53.81 c S st 137 30000 156997 183225 324674 18308 1305018 267836 6.76 no data
428.95/54.30 c S st 137 30500 156991 183225 328581 18767 1305018 284053 6.76 no data
428.95/54.35 c x-sub: 1 x-cut: 0 vfix: 0 v-elim: 220 locsubst: 0 time: 0.05
586.42/74.03 c Flit: 154 Blit: 1982 bXBeca: 0 bXProp: 10477 Bins: 188864 BRemL: 10442 BRemN: 163 P: 200.0M T: 19.67
586.42/74.07 c Cleaning up after failed var search: 0.04 s
587.22/74.17 c Replacing 10548 vars Replaced 366671 lits Time: 0.09 s
588.02/74.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
588.82/74.37 c bin-w-bin subsume rem 39120 bins time: 0.14 s
589.63/74.46 c subs with bin: 420 lits-rem: 657 v-fix: 0 time: 0.09 s
595.22/75.14 c Subs w/ non-existent bins: 71 l-rem: 681 v-fix: 0 done: 139347 time: 0.68 s
597.61/75.44 c Removed useless bin: 185 fixed: 0 props: 20.00M time: 0.30 s
604.80/76.30 c lits-rem: 446 cl-subs: 1953 v-elim: 93346 v-fix: 0 time: 0.79 s
604.80/76.34 c subs with bin: 531 lits-rem: 2306 v-fix: 0 time: 0.03 s
605.61/76.43 c lits-rem: 678 cl-subs: 676 v-elim: 0 v-fix: 0 time: 0.06 s
609.61/76.93 c asymm cl-useful: 579/44046/178329 lits-rem:605 time: 0.50
609.61/76.95 c calculated reachability. Time: 0.00
609.61/76.95 c N dy 137 30500 46673 178320 91009 4565 868542 107498 6.76 no data
609.61/76.98 c Finding binary XORs T: 0.03 s found: 11
620.78/78.34 c N dy 160 34512 46669 178320 91156 7920 868542 149576 6.79 7.20
633.58/79.99 c N dy 185 38651 46355 178320 94451 11480 868542 206613 6.87 7.31
648.76/81.90 c N dy 213 42841 46349 178320 136916 7883 868542 203351 7.04 7.73
653.57/82.42 c Finding binary XORs T: 0.03 s found: 796
653.57/82.47 c Replacing 807 vars Replaced 53087 lits Time: 0.05 s
659.16/83.16 c S st 237 45750 45527 173959 132048 9812 847402 232750 7.14 no data
660.76/83.34 c S st 237 46254 45512 173959 132077 10265 847402 237224 7.14 no data
660.76/83.38 c x-sub: 223 x-cut: 0 vfix: 0 v-elim: 243 locsubst: 174 time: 0.03
696.73/87.88 c Flit: 132 Blit: 235 bXBeca: 0 bXProp: 1181 Bins: 74033 BRemL: 14443 BRemN: 116 P: 56.6M T: 4.48
697.53/87.90 c Cleaning up after failed var search: 0.02 s
697.53/87.96 c Replacing 1255 vars Replaced 159210 lits Time: 0.05 s
698.38/88.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
699.18/88.14 c bin-w-bin subsume rem 51513 bins time: 0.13 s
699.18/88.19 c subs with bin: 1963 lits-rem: 2268 v-fix: 0 time: 0.05 s
700.73/88.31 c Subs w/ non-existent bins: 232 l-rem: 1030 v-fix: 0 done: 43484 time: 0.11 s
700.73/88.36 c Removed useless bin: 161 fixed: 0 props: 2.18M time: 0.05 s
703.11/88.66 c lits-rem: 496 cl-subs: 3288 v-elim: 12523 v-fix: 0 time: 0.29 s
703.92/88.70 c subs with bin: 515 lits-rem: 2323 v-fix: 0 time: 0.02 s
703.92/88.78 c lits-rem: 518 cl-subs: 629 v-elim: 0 v-fix: 0 time: 0.06 s
704.72/88.87 c vivif2 -- cl tried 143216 cl shrink 1854 lits rem 2947 time: 0.08
704.72/88.88 c vivif2 -- cl tried 6315 cl shrink 671 lits rem 1134 time: 0.01
708.71/89.34 c asymm cl-useful: 0/21831/142936 lits-rem:0 time: 0.46
708.71/89.37 c calculated reachability. Time: 0.01
708.71/89.37 c N dy 237 46254 30961 142936 61293 6263 688141 112613 7.14 no data
709.51/89.44 c Finding binary XORs T: 0.07 s found: 34
716.77/90.35 c Finding binary XORs T: 0.05 s found: 36
719.10/90.60 c N dy 268 50270 30944 142566 69445 9704 685903 196640 7.33 7.89
725.56/91.42 c N dy 296 54345 30942 142566 69476 13156 685903 261094 7.44 7.87
729.49/91.96 c Finding binary XORs T: 0.05 s found: 9
735.09/92.65 c N dy 330 58427 30936 142557 83061 16634 685864 360046 7.56 9.28
743.14/93.62 c N dy 361 62564 30934 142557 83090 20208 685864 425273 7.66 8.14
750.28/94.58 c N dy 390 66655 30934 142557 83111 12509 685863 192276 7.73 8.19
755.06/95.19 c S st 412 69381 30934 142557 83129 14914 685863 240217 7.81 no data
756.66/95.38 c S st 412 69882 30933 142557 83153 15333 685863 244513 7.81 no data
757.46/95.41 c x-sub: 78 x-cut: 0 vfix: 0 v-elim: 199 locsubst: 88 time: 0.03
775.84/97.76 c Flit: 51 Blit: 36 bXBeca: 0 bXProp: 270 Bins: 62155 BRemL: 50526 BRemN: 104 P: 20.3M T: 2.35
776.64/97.83 c Replacing 390 vars Replaced 55466 lits Time: 0.06 s
776.64/97.87 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
777.49/97.91 c bin-w-bin subsume rem 17975 bins time: 0.04 s
777.49/97.96 c subs with bin: 1218 lits-rem: 1206 v-fix: 0 time: 0.04 s
778.30/98.02 c Subs w/ non-existent bins: 177 l-rem: 162 v-fix: 0 done: 30226 time: 0.06 s
778.30/98.05 c Removed useless bin: 80 fixed: 0 props: 0.90M time: 0.03 s
779.84/98.20 c lits-rem: 154 cl-subs: 1894 v-elim: 1127 v-fix: 0 time: 0.15 s
779.84/98.26 c subs with bin: 359 lits-rem: 1636 v-fix: 0 time: 0.03 s
780.64/98.35 c lits-rem: 393 cl-subs: 720 v-elim: 0 v-fix: 0 time: 0.07 s
781.44/98.41 c vivif2 -- cl tried 133402 cl shrink 536 lits rem 768 time: 0.06
781.44/98.43 c vivif2 -- cl tried 13639 cl shrink 1020 lits rem 2322 time: 0.02
785.45/98.91 c asymm cl-useful: 83/22753/133355 lits-rem:249 time: 0.48
785.45/98.93 c calculated reachability. Time: 0.01
785.45/98.93 c N dy 412 69882 29099 133272 65178 13634 641508 194810 7.81 no data
785.45/98.99 c Finding binary XORs T: 0.05 s found: 6
792.63/99.86 c Finding binary XORs T: 0.05 s found: 30
795.08/100.12 c N dy 444 74353 29095 133254 89819 17367 641375 310360 7.85 12.84
803.87/101.22 c N dy 477 79224 29095 133254 89845 21520 641375 387250 7.91 8.54
805.41/101.41 c Finding binary XORs T: 0.05 s found: 30
813.46/102.45 c N dy 517 84307 29094 133254 127616 25859 641375 549558 7.99 8.51
820.60/103.34 c F st 541 87500 29028 133254 129187 28597 641375 605156 8.01 no data
821.45/103.41 c Replacing 108 vars Replaced 18493 lits Time: 0.04 s
825.39/103.99 c N st 546 90795 28678 128673 67563 15033 615741 176610 8.01 no data
836.89/105.42 c Finding binary XORs T: 0.05 s found: 508
836.89/105.46 c Replacing 508 vars Replaced 31425 lits Time: 0.04 s
841.67/106.01 c N dy 571 97574 28152 127712 67709 20785 610330 290191 7.99 8.42
852.86/107.44 c N dy 607 103897 28128 127712 68437 26370 610330 398132 8.03 8.50
854.47/107.66 c S st 615 104824 28126 127712 69631 27200 610330 418862 8.04 6.01
856.11/107.87 c S st 615 105324 28084 127712 69659 27621 610330 423603 8.04 no data
856.11/107.90 c x-sub: 112 x-cut: 0 vfix: 0 v-elim: 154 locsubst: 1306 time: 0.03
871.73/109.84 c Flit: 39 Blit: 42 bXBeca: 0 bXProp: 426 Bins: 27176 BRemL: 44001 BRemN: 36 P: 19.8M T: 1.94
872.53/109.91 c Replacing 814 vars Replaced 72039 lits Time: 0.07 s
872.53/109.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
872.53/109.97 c bin-w-bin subsume rem 9121 bins time: 0.02 s
873.38/110.00 c subs with bin: 1072 lits-rem: 878 v-fix: 0 time: 0.03 s
873.38/110.05 c Subs w/ non-existent bins: 131 l-rem: 107 v-fix: 1 done: 27021 time: 0.04 s
873.38/110.07 c Removed useless bin: 93 fixed: 0 props: 0.60M time: 0.02 s
874.92/110.23 c lits-rem: 149 cl-subs: 2845 v-elim: 2239 v-fix: 0 time: 0.16 s
875.72/110.32 c subs with bin: 844 lits-rem: 11559 v-fix: 0 time: 0.05 s
876.52/110.46 c lits-rem: 4234 cl-subs: 2408 v-elim: 0 v-fix: 0 time: 0.12 s
877.33/110.50 c vivif2 -- cl tried 114280 cl shrink 416 lits rem 520 time: 0.04
877.33/110.53 c vivif2 -- cl tried 20772 cl shrink 3644 lits rem 9172 time: 0.03
880.52/110.98 c asymm cl-useful: 432/16827/114253 lits-rem:1194 time: 0.45
881.32/111.00 c calculated reachability. Time: 0.01
881.32/111.00 c N dy 615 105324 24781 114210 32666 20749 550500 241888 8.04 no data
881.32/111.05 c Finding binary XORs T: 0.05 s found: 0
890.96/112.30 c N dy 641 112087 24773 114210 37567 26759 550499 355853 8.00 18.68
898.89/113.22 c Finding binary XORs T: 0.05 s found: 166
903.66/113.85 c N dy 677 119258 24763 114019 61132 17534 549633 183809 7.98 8.45
905.27/114.05 c Finding binary XORs T: 0.05 s found: 111
905.27/114.09 c Replacing 277 vars Replaced 32292 lits Time: 0.04 s
913.26/115.08 c E dy 717 126165 23652 102009 30190 17564 485121 169348 8.00 4.87
924.21/119.94 c Following stats are for *FIRST FINISHED THREAD ONLY*
924.21/119.94 c num threads : 8
924.21/119.94 c restarts : 717
924.21/119.94 c dynamic restarts : 699
924.21/119.94 c static restarts : 18
924.21/119.94 c full restarts : 2
924.21/119.94 c total simplify time : 0.95
924.21/119.94 c learnts DL2 : 0
924.21/119.94 c learnts size 2 : 1254839
924.21/119.94 c learnts size 1 : 18918 (7.19 % of vars)
924.21/119.94 c filedLit time : 48.52 (41.28 % time)
924.21/119.94 c v-elim SatELite : 188023 (71.49 % vars)
924.21/119.94 c SatELite time : 3.48 (2.96 % time)
924.21/119.94 c v-elim xor : 821 (0.31 % vars)
924.21/119.94 c xor elim time : 0.19 (0.17 % time)
924.21/119.94 c num binary xor trees : 6591
924.21/119.94 c binxor trees' crown : 31930 (4.84 leafs/tree)
924.21/119.94 c bin xor find time : 0.64
924.21/119.94 c OTF clause improved : 14367 (0.11 clauses/conflict)
924.21/119.94 c OTF impr. size diff : 15190 (1.06 lits/clause)
924.21/119.94 c OTF cl watch-shrink : 47232 (0.37 clauses/conflict)
924.21/119.94 c OTF cl watch-sh-lit : 126463 (2.68 lits/clause)
924.21/119.94 c tried to recurMin cls : 34337 (27.22 % of conflicts)
924.21/119.94 c updated cache : 0 (0.00 lits/tried recurMin)
924.21/119.94 c unit cls recevied : 223 (1.18 % of units)
924.21/119.94 c unit cls sent : 11624 (61.44 % of units)
924.21/119.94 c bin cls recevied : 252119
924.21/119.94 c bin cls sent : 610864
924.21/119.94 c clauses over max glue : 0 (0.00 % of all clauses)
924.21/119.94 c conflicts : 126165 (1073.35 / sec)
924.21/119.94 c decisions : 1560991 (3.48 % random)
924.21/119.94 c bogo-props : 1389618355 (11822199.69 / sec)
924.21/119.94 c conflict literals : 2060040 (23.14 % deleted)
924.21/119.94 c Memory used : 2898.57 MB
924.21/119.94 c single-thread CPU time : 117.54 s
924.21/119.94 c all-threads sum CPU time : 917.35 s
924.21/119.94 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-3321009-1304322187/watcher-3321009-1304322187 -o /tmp/evaluation-result-3321009-1304322187/solver-3321009-1304322187 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321009-1304322187.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: 0.00 0.00 0.00 1/217 27599
/proc/meminfo: memFree=29391788/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=92188 CPUtime=0.01 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) R 27597 27599 27573 0 -1 4202496 412 0 0 0 1 0 0 0 21 0 8 0 543817238 94400512 352 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444978 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 23047 352 299 106 0 18018 0
[pid=27599/tid=27600] ppid=27597 vsize=92188 CPUtime=0 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 543817238 94400512 352 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444972 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=92188 CPUtime=0 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817238 94400512 352 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=92188 CPUtime=0 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817238 94400512 352 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=92188 CPUtime=0 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817238 94400512 352 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=92188 CPUtime=0 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817238 94400512 352 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444978 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=92188 CPUtime=0 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817238 94400512 352 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444978 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=92188 CPUtime=0 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 543817238 94400512 352 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444982 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.110838 s]
/proc/loadavg: 0.00 0.00 0.00 1/217 27599
/proc/meminfo: memFree=29391788/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=92188 CPUtime=0.69 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) D 27597 27599 27573 0 -1 4202496 450 0 0 0 69 0 0 0 22 0 8 0 543817238 94400512 377 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204322136 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 23047 377 310 106 0 18018 0
[pid=27599/tid=27600] ppid=27597 vsize=92188 CPUtime=0.1 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) D 27597 27599 27573 0 -1 4202560 12 0 0 0 10 0 0 0 22 0 8 0 543817238 94400512 377 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204302320 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=92188 CPUtime=0.09 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) D 27597 27599 27573 0 -1 4202560 4 0 0 0 9 0 0 0 23 0 8 0 543817238 94400512 377 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204322136 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=92188 CPUtime=0.09 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 2 0 0 0 9 0 0 0 23 0 8 0 543817238 94400512 377 33554432000 4194304 4627427 140734952585664 18446744073709551615 4355936 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=92188 CPUtime=0.09 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) D 27597 27599 27573 0 -1 4202560 5 0 0 0 9 0 0 0 22 0 8 0 543817238 94400512 377 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204302320 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=92188 CPUtime=0 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) D 27597 27599 27573 0 -1 4202560 6 0 0 0 0 0 0 0 23 0 8 0 543817238 94400512 377 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204308165 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=92188 CPUtime=0.1 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) D 27597 27599 27573 0 -1 4202560 2 0 0 0 10 0 0 0 23 0 8 0 543817238 94400512 377 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204690522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=92188 CPUtime=0.07 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) D 27597 27599 27573 0 -1 4202560 3 0 0 0 7 0 0 0 23 0 8 0 543817238 94400512 377 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204322136 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92188
[startup+0.200905 s]
/proc/loadavg: 0.00 0.00 0.00 1/217 27599
/proc/meminfo: memFree=29391788/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=585940 CPUtime=1.05 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) R 27597 27599 27573 0 -1 4202496 22516 0 0 0 87 18 0 0 17 0 8 0 543817238 600002560 18471 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752366 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 146485 18517 339 106 0 141456 0
[pid=27599/tid=27600] ppid=27597 vsize=585940 CPUtime=0.13 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) D 27597 27599 27573 0 -1 4202560 2507 0 0 0 12 1 0 0 17 0 8 0 543817238 600002560 18517 33554432000 4194304 4627427 140734952585664 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=585940 CPUtime=0.14 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) D 27597 27599 27573 0 -1 4202560 2687 0 0 0 12 2 0 0 17 0 8 0 543817238 600002560 18517 33554432000 4194304 4627427 140734952585664 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=585940 CPUtime=0.14 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) D 27597 27599 27573 0 -1 4202560 2851 0 0 0 12 2 0 0 17 0 8 0 543817238 600002560 18517 33554432000 4194304 4627427 140734952585664 18446744073709551615 4317104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=586820 CPUtime=0.15 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 3054 0 0 0 12 3 0 0 17 0 8 0 543817238 600903680 18561 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752366 0 0 4096 2 18446604453931591808 0 0 -1 5 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=586820 CPUtime=0.03 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 2948 0 0 0 2 1 0 0 17 0 8 0 543817238 600903680 18575 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=586820 CPUtime=0.13 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 2619 0 0 0 12 1 0 0 17 0 8 0 543817238 600903680 18575 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752366 0 0 4096 2 18446604453931591808 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=586820 CPUtime=0.12 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 2980 0 0 0 10 2 0 0 17 0 8 0 543817238 600903680 18596 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752366 0 0 4096 2 18446604453931591808 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 585940
[startup+0.302944 s]
/proc/loadavg: 0.00 0.00 0.00 1/217 27599
/proc/meminfo: memFree=29391788/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=625812 CPUtime=1.51 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) D 27597 27599 27573 0 -1 4202496 45353 0 0 0 113 38 0 0 17 0 8 0 543817238 640831488 36993 33554432000 4194304 4627427 140734952585664 18446744073709551615 4507248 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27599/statm: 156453 37059 339 106 0 151424 0
[pid=27599/tid=27600] ppid=27597 vsize=625812 CPUtime=0.18 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 4980 0 0 0 14 4 0 0 17 0 8 0 543817238 640831488 37165 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=625812 CPUtime=0.2 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 5237 0 0 0 15 5 0 0 17 0 8 0 543817238 640831488 37233 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752366 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=625812 CPUtime=0.2 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 6136 0 0 0 15 5 0 0 17 0 8 0 543817238 640831488 37287 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752366 0 0 4096 2 18446604453931591808 0 0 -1 7 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=625812 CPUtime=0.21 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 6413 0 0 0 16 5 0 0 17 0 8 0 543817238 640831488 37327 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=625812 CPUtime=0.08 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 5874 0 0 0 5 3 0 0 17 0 8 0 543817238 640831488 37349 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752366 0 0 4096 2 18446604453931591808 0 0 -1 2 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=625812 CPUtime=0.18 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 4730 0 0 0 15 3 0 0 17 0 8 0 543817238 640831488 37379 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204308513 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=625812 CPUtime=0.19 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 6385 0 0 0 14 5 0 0 17 0 8 0 543817238 640831488 37466 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752366 0 0 4096 2 18446604453931591808 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 625812
[startup+0.700742 s]
/proc/loadavg: 0.00 0.00 0.00 1/217 27599
/proc/meminfo: memFree=29391788/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=842416 CPUtime=3.16 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) S 27597 27599 27573 0 -1 4202496 135239 0 0 0 208 108 0 0 16 0 8 0 543817238 862633984 109843 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752366 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27599/statm: 210604 109845 339 106 0 205575 0
[pid=27599/tid=27600] ppid=27597 vsize=842416 CPUtime=0.36 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 13993 0 0 0 25 11 0 0 16 0 8 0 543817238 862633984 109846 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=842416 CPUtime=0.42 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 18082 0 0 0 27 15 0 0 17 0 8 0 543817238 862633984 109850 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752366 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=842416 CPUtime=0.44 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 18549 0 0 0 29 15 0 0 16 0 8 0 543817238 862633984 109851 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752366 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=842416 CPUtime=0.44 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 21316 0 0 0 27 17 0 0 17 0 8 0 543817238 862633984 109854 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=842416 CPUtime=0.25 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 13472 0 0 0 16 9 0 0 16 0 8 0 543817238 862633984 109862 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752366 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=842416 CPUtime=0.36 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 13934 0 0 0 25 11 0 0 16 0 8 0 543817238 862633984 109863 33554432000 4194304 4627427 140734952585664 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=842416 CPUtime=0.42 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 21538 0 0 0 27 15 0 0 17 0 8 0 543817238 862633984 109864 33554432000 4194304 4627427 140734952585664 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 842416
[startup+1.5006 s]
/proc/loadavg: 0.00 0.00 0.00 9/225 27607
/proc/meminfo: memFree=28649336/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=1333904 CPUtime=7.3 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) R 27597 27599 27573 0 -1 4202496 278075 0 0 0 546 184 0 0 16 0 8 0 543817238 1365917696 210433 33554432000 4194304 4627427 140734952585664 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 333476 210433 364 106 0 328447 0
[pid=27599/tid=27600] ppid=27597 vsize=1333904 CPUtime=0.76 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 34841 0 0 0 55 21 0 0 16 0 8 0 543817238 1365917696 210433 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=1333904 CPUtime=1.04 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 32432 0 0 0 80 24 0 0 16 0 8 0 543817238 1365917696 210433 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=1333904 CPUtime=1.04 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 31859 0 0 0 80 24 0 0 16 0 8 0 543817238 1365917696 210433 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=1333904 CPUtime=1.07 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 37007 0 0 0 80 27 0 0 16 0 8 0 543817238 1365917696 210433 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=1333904 CPUtime=0.63 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 35594 0 0 0 42 21 0 0 16 0 8 0 543817238 1365917696 210433 33554432000 4194304 4627427 140734952585664 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=1333904 CPUtime=0.86 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 33679 0 0 0 63 23 0 0 16 0 8 0 543817238 1365917696 210433 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=1333904 CPUtime=1 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 38318 0 0 0 77 23 0 0 16 0 8 0 543817238 1365917696 210433 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 1333904
[startup+3.10133 s]
/proc/loadavg: 0.00 0.00 0.00 11/225 27607
/proc/meminfo: memFree=28527816/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=1340068 CPUtime=20.09 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) R 27597 27599 27573 0 -1 4202496 283755 0 0 0 1825 184 0 0 18 0 8 0 543817238 1372229632 216113 33554432000 4194304 4627427 140734952585664 18446744073709551615 4237488 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 335017 216113 367 106 0 329988 0
[pid=27599/tid=27600] ppid=27597 vsize=1340068 CPUtime=2.36 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 35098 0 0 0 215 21 0 0 17 0 8 0 543817238 1372229632 216113 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=1340068 CPUtime=2.64 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 33716 0 0 0 240 24 0 0 18 0 8 0 543817238 1372229632 216113 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=1340068 CPUtime=2.63 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 32115 0 0 0 239 24 0 0 18 0 8 0 543817238 1372229632 216113 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=1340068 CPUtime=2.67 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 37775 0 0 0 240 27 0 0 18 0 8 0 543817238 1372229632 216113 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=1340068 CPUtime=2.22 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 36880 0 0 0 201 21 0 0 17 0 8 0 543817238 1372229632 216113 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=1340068 CPUtime=2.46 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 34963 0 0 0 223 23 0 0 17 0 8 0 543817238 1372229632 216113 33554432000 4194304 4627427 140734952585664 18446744073709551615 4238630 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=1340068 CPUtime=2.6 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 38349 0 0 0 237 23 0 0 18 0 8 0 543817238 1372229632 216113 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 20.09
Current children cumulated vsize (KiB) 1340068
[startup+6.30079 s]
/proc/loadavg: 0.88 0.18 0.06 9/225 27607
/proc/meminfo: memFree=28526340/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=1340068 CPUtime=45.66 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) R 27597 27599 27573 0 -1 4202496 283841 0 0 0 4381 185 0 0 25 0 8 0 543817238 1372229632 216199 33554432000 4194304 4627427 140734952585664 18446744073709551615 4297761 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 335017 216199 367 106 0 329988 0
[pid=27599/tid=27600] ppid=27597 vsize=1340068 CPUtime=5.56 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 35098 0 0 0 535 21 0 0 25 0 8 0 543817238 1372229632 216199 33554432000 4194304 4627427 140734952585664 18446744073709551615 4237911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=1340068 CPUtime=5.84 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 33722 0 0 0 560 24 0 0 25 0 8 0 543817238 1372229632 216199 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=1340068 CPUtime=5.81 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 32121 0 0 0 557 24 0 0 25 0 8 0 543817238 1372229632 216199 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=1340068 CPUtime=5.87 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 37780 0 0 0 560 27 0 0 25 0 8 0 543817238 1372229632 216199 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=1340068 CPUtime=5.42 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 36885 0 0 0 521 21 0 0 25 0 8 0 543817238 1372229632 216199 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=1340068 CPUtime=5.66 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 34967 0 0 0 543 23 0 0 25 0 8 0 543817238 1372229632 216199 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=1340068 CPUtime=5.8 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 38405 0 0 0 557 23 0 0 25 0 8 0 543817238 1372229632 216199 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=27599] ppid=27597 vsize=2659284 CPUtime=812.65 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) R 27597 27599 27573 0 -1 4202496 3964342 0 0 0 80606 659 0 0 25 0 8 0 543817238 2723106816 469817 33554432000 4194304 4627427 140734952585664 18446744073709551615 4302476 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 664821 469817 391 106 0 659792 0
[pid=27599/tid=27600] ppid=27597 vsize=2659284 CPUtime=101.52 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 225549 0 0 0 10100 52 0 0 25 0 8 0 543817238 2723106816 469817 33554432000 4194304 4627427 140734952585664 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=2659284 CPUtime=101.82 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 137577 0 0 0 10143 39 0 0 25 0 8 0 543817238 2723106816 469817 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=2659284 CPUtime=101.63 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 807024 0 0 0 10040 123 0 0 25 0 8 0 543817238 2723106816 469817 33554432000 4194304 4627427 140734952585664 18446744073709551615 4299634 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=2659284 CPUtime=101.3 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 567820 0 0 0 10030 100 0 0 25 0 8 0 543817238 2723106816 469819 33554432000 4194304 4627427 140734952585664 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=2659284 CPUtime=101.36 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 765452 0 0 0 10034 102 0 0 25 0 8 0 543817238 2723106816 469819 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=2659284 CPUtime=101.58 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 607710 0 0 0 10065 93 0 0 25 0 8 0 543817238 2723106816 469819 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=2659284 CPUtime=101.79 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 73267 0 0 0 10149 30 0 0 25 0 8 0 543817238 2723106816 469819 33554432000 4194304 4627427 140734952585664 18446744073709551615 4229226 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 812.65
Current children cumulated vsize (KiB) 2659284
Solver just ended. Dumping a history of the last processes samples
[startup+102.409 s]
/proc/loadavg: 6.56 2.32 0.83 9/225 27610
/proc/meminfo: memFree=27511656/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=2659604 CPUtime=813.46 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) R 27597 27599 27573 0 -1 4202496 3964716 0 0 0 80687 659 0 0 25 0 8 0 543817238 2723434496 470191 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 664901 470191 391 106 0 659872 0
[pid=27599/tid=27600] ppid=27597 vsize=2659604 CPUtime=101.62 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 225557 0 0 0 10110 52 0 0 25 0 8 0 543817238 2723434496 470191 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=2659604 CPUtime=101.92 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 137577 0 0 0 10153 39 0 0 25 0 8 0 543817238 2723434496 470191 33554432000 4194304 4627427 140734952585664 18446744073709551615 4309379 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=2659604 CPUtime=101.73 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 807068 0 0 0 10050 123 0 0 25 0 8 0 543817238 2723434496 470191 33554432000 4194304 4627427 140734952585664 18446744073709551615 4407093 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=2659604 CPUtime=101.4 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 567821 0 0 0 10040 100 0 0 25 0 8 0 543817238 2723434496 470191 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=2659604 CPUtime=101.47 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 765452 0 0 0 10045 102 0 0 25 0 8 0 543817238 2723434496 470191 33554432000 4194304 4627427 140734952585664 18446744073709551615 4299664 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=2659604 CPUtime=101.68 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 607710 0 0 0 10075 93 0 0 25 0 8 0 543817238 2723434496 470191 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=2659604 CPUtime=101.89 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 73583 0 0 0 10159 30 0 0 25 0 8 0 543817238 2723434496 470191 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 813.46
Current children cumulated vsize (KiB) 2659604
[startup+108.801 s]
/proc/loadavg: 6.79 2.51 0.91 9/225 27610
/proc/meminfo: memFree=27309644/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=2810528 CPUtime=863.73 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) R 27597 27599 27573 0 -1 4202496 4027974 0 0 0 85696 677 0 0 25 0 8 0 543817238 2877980672 523740 33554432000 4194304 4627427 140734952585664 18446744073709551615 4299630 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 702632 523740 391 106 0 697603 0
[pid=27599/tid=27600] ppid=27597 vsize=2810528 CPUtime=108.01 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 227974 0 0 0 10748 53 0 0 25 0 8 0 543817238 2877980672 523740 33554432000 4194304 4627427 140734952585664 18446744073709551615 4297761 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=2810528 CPUtime=108.31 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 158082 0 0 0 10785 46 0 0 25 0 8 0 543817238 2877980672 523740 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=2810528 CPUtime=108.12 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 812784 0 0 0 10687 125 0 0 25 0 8 0 543817238 2877980672 523740 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=2810528 CPUtime=107.76 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 570721 0 0 0 10675 101 0 0 25 0 8 0 543817238 2877980672 523740 33554432000 4194304 4627427 140734952585664 18446744073709551615 4309965 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=2810528 CPUtime=107.53 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 784949 0 0 0 10646 107 0 0 21 0 8 0 543817238 2877980672 523740 33554432000 4194304 4627427 140734952585664 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=2810528 CPUtime=108.07 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 607710 0 0 0 10714 93 0 0 25 0 8 0 543817238 2877980672 523740 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=2810528 CPUtime=108.28 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 81059 0 0 0 10796 32 0 0 25 0 8 0 543817238 2877980672 523740 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 863.73
Current children cumulated vsize (KiB) 2810528
[startup+115.2 s]
/proc/loadavg: 6.88 2.60 0.95 9/225 27610
/proc/meminfo: memFree=27173364/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=2896972 CPUtime=914.74 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) R 27597 27599 27573 0 -1 4202496 4088843 0 0 0 90783 691 0 0 25 0 8 0 543817238 2966499328 556853 33554432000 4194304 4627427 140734952585664 18446744073709551615 4219962 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 724243 556853 391 106 0 719214 0
[pid=27599/tid=27600] ppid=27597 vsize=2896972 CPUtime=114.38 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 234482 0 0 0 11384 54 0 0 25 0 8 0 543817238 2966499328 556853 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 1 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=2896972 CPUtime=114.68 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 160478 0 0 0 11421 47 0 0 25 0 8 0 543817238 2966499328 556853 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 6 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=2896972 CPUtime=114.49 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 815152 0 0 0 11324 125 0 0 20 0 8 0 543817238 2966499328 556853 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 5 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=2896972 CPUtime=114.12 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 576847 0 0 0 11310 102 0 0 25 0 8 0 543817238 2966499328 556853 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444569 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=2896972 CPUtime=113.9 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 791887 0 0 0 11282 108 0 0 25 0 8 0 543817238 2966499328 556853 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 0 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=2896972 CPUtime=114.44 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 628473 0 0 0 11345 99 0 0 20 0 8 0 543817238 2966499328 556853 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=2896972 CPUtime=114.68 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 90473 0 0 0 11434 34 0 0 25 0 8 0 543817238 2966499328 556855 33554432000 4194304 4627427 140734952585664 18446744073709551615 4229226 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 914.74
Current children cumulated vsize (KiB) 2896972
[startup+118.401 s]
/proc/loadavg: 6.49 2.59 0.95 3/225 27610
/proc/meminfo: memFree=27125616/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=2965756 CPUtime=921.2 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) R 27597 27599 27573 0 -1 4202496 4098160 0 0 0 91427 693 0 0 25 0 8 0 543817238 3036934144 566170 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358420164 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 741439 566170 391 106 0 736410 0
[pid=27599/tid=27600] ppid=27597 vsize=2965756 CPUtime=114.38 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 234482 0 0 0 11384 54 0 0 25 0 8 0 543817238 3036934144 566170 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 1 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=2965756 CPUtime=114.68 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 160478 0 0 0 11421 47 0 0 25 0 8 0 543817238 3036934144 566170 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 6 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=2965756 CPUtime=114.49 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 815152 0 0 0 11324 125 0 0 20 0 8 0 543817238 3036934144 566170 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 5 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=2965756 CPUtime=114.17 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 576847 0 0 0 11315 102 0 0 25 0 8 0 543817238 3036934144 566170 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 7 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=2965756 CPUtime=113.9 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 791887 0 0 0 11282 108 0 0 25 0 8 0 543817238 3036934144 566170 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 0 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=2965756 CPUtime=114.44 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 628473 0 0 0 11345 99 0 0 20 0 8 0 543817238 3036934144 566170 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=2965756 CPUtime=117.88 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 99788 0 0 0 11753 35 0 0 25 0 8 0 543817238 3036934144 566170 33554432000 4194304 4627427 140734952585664 18446744073709551615 4300151 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 921.2
Current children cumulated vsize (KiB) 2965756
[startup+119.201 s]
/proc/loadavg: 6.49 2.59 0.95 3/225 27610
/proc/meminfo: memFree=27099080/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=2968132 CPUtime=922.8 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) R 27597 27599 27573 0 -1 4202496 4114081 0 0 0 91586 694 0 0 25 0 8 0 543817238 3039367168 576969 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358420011 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 742033 576969 391 106 0 737004 0
[pid=27599/tid=27600] ppid=27597 vsize=2968132 CPUtime=114.38 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 234482 0 0 0 11384 54 0 0 25 0 8 0 543817238 3039367168 576969 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 1 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=2968132 CPUtime=114.68 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 160478 0 0 0 11421 47 0 0 25 0 8 0 543817238 3039367168 576969 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 6 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=2968132 CPUtime=114.49 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 815152 0 0 0 11324 125 0 0 20 0 8 0 543817238 3039367168 576969 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 5 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=2968132 CPUtime=114.17 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 576847 0 0 0 11315 102 0 0 25 0 8 0 543817238 3039367168 576969 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 7 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=2968132 CPUtime=113.9 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 791887 0 0 0 11282 108 0 0 25 0 8 0 543817238 3039367168 576969 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 0 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=2968132 CPUtime=114.44 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 628473 0 0 0 11345 99 0 0 20 0 8 0 543817238 3039367168 576969 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=2968132 CPUtime=118.68 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 115709 0 0 0 11831 37 0 0 25 0 8 0 543817238 3039367168 576969 33554432000 4194304 4627427 140734952585664 18446744073709551615 4408492 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 922.8
Current children cumulated vsize (KiB) 2968132
[startup+119.601 s]
/proc/loadavg: 6.49 2.59 0.95 3/225 27610
/proc/meminfo: memFree=27099080/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=2968132 CPUtime=923.6 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) R 27597 27599 27573 0 -1 4202496 4114317 0 0 0 91666 694 0 0 25 0 8 0 543817238 3039367168 576531 33554432000 4194304 4627427 140734952585664 18446744073709551615 4219935 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 742033 576531 391 106 0 737004 0
[pid=27599/tid=27600] ppid=27597 vsize=2968132 CPUtime=114.38 cores=0-7
/proc/27599/task/27600/stat : 27600 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 234482 0 0 0 11384 54 0 0 25 0 8 0 543817238 3039367168 576531 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 1 0 0 0
[pid=27599/tid=27601] ppid=27597 vsize=2968132 CPUtime=114.68 cores=0-7
/proc/27599/task/27601/stat : 27601 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 160478 0 0 0 11421 47 0 0 25 0 8 0 543817238 3039367168 576531 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 6 0 0 0
[pid=27599/tid=27602] ppid=27597 vsize=2968132 CPUtime=114.49 cores=0-7
/proc/27599/task/27602/stat : 27602 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 815152 0 0 0 11324 125 0 0 20 0 8 0 543817238 3039367168 576531 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 5 0 0 0
[pid=27599/tid=27603] ppid=27597 vsize=2968132 CPUtime=114.17 cores=0-7
/proc/27599/task/27603/stat : 27603 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 576847 0 0 0 11315 102 0 0 25 0 8 0 543817238 3039367168 576531 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 7 0 0 0
[pid=27599/tid=27604] ppid=27597 vsize=2968132 CPUtime=113.9 cores=0-7
/proc/27599/task/27604/stat : 27604 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 791887 0 0 0 11282 108 0 0 25 0 8 0 543817238 3039367168 576531 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 0 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=2968132 CPUtime=114.44 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) S 27597 27599 27573 0 -1 4202560 628473 0 0 0 11345 99 0 0 20 0 8 0 543817238 3039367168 576531 33554432000 4194304 4627427 140734952585664 18446744073709551615 47044358444596 0 0 4096 2 18446604453931591808 0 0 -1 4 0 0 0
[pid=27599/tid=27606] ppid=27597 vsize=2968132 CPUtime=119.08 cores=0-7
/proc/27599/task/27606/stat : 27606 (strangenight2-m) R 27597 27599 27573 0 -1 4202560 115945 0 0 0 11871 37 0 0 25 0 8 0 543817238 3039367168 576531 33554432000 4194304 4627427 140734952585664 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 923.6
Current children cumulated vsize (KiB) 2968132
[startup+120.009 s]
/proc/loadavg: 6.49 2.59 0.95 3/225 27610
/proc/meminfo: memFree=27083208/32951124 swapFree=67107188/67111528
[pid=27599] ppid=27597 vsize=0 CPUtime=924.35 cores=0-7
/proc/27599/stat : 27599 (strangenight2-m) Z 27597 27599 27573 0 -1 4202524 4114326 0 0 0 91734 701 0 0 25 0 2 0 543817238 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/27599/statm: 0 0 0 0 0 0 0
[pid=27599/tid=27605] ppid=27597 vsize=0 CPUtime=114.5 cores=0-7
/proc/27599/task/27605/stat : 27605 (strangenight2-m) R 27597 27599 27573 0 -1 4203588 628473 0 0 0 11345 105 0 0 18 0 2 0 543817238 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 120.054
CPU time (s): 924.406
CPU user time (s): 917.35
CPU system time (s): 7.05693
CPU usage (%): 769.991
Max. virtual memory (cumulated for all children) (KiB): 2968132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 917.35
system time used= 7.05693
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4114326
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= 201247
involuntary context switches= 5459
runsolver used 0.218966 second user time and 0.568913 second system time
The end
Begin job on node130 at 2011-05-02 09:43:07
IDJOB=3321009
IDBENCH=20495
IDSOLVER=1709
FILE ID=node130/3321009-1304322187
RUNJOBID= node130-1304322186-27587
PBS_JOBID= 13176796
Free space on /tmp= 73552 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3321009-1304322187/watcher-3321009-1304322187 -o /tmp/evaluation-result-3321009-1304322187/solver-3321009-1304322187 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321009-1304322187.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= e11b8f7666247454d93edb47f1646e2c
RANDOM SEED=1681671345
node130.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.838
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.67
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.838
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
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.838
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.81
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.838
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.838
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.83
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.838
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.838
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.81
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29392324 kB
Buffers: 251020 kB
Cached: 1707860 kB
SwapCached: 1948 kB
Active: 1786764 kB
Inactive: 1480744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29392324 kB
SwapTotal: 67111528 kB
SwapFree: 67107188 kB
Dirty: 19848 kB
Writeback: 0 kB
AnonPages: 1307916 kB
Mapped: 18656 kB
Slab: 218972 kB
PageTables: 12056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 20417516 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= 73548 MiB
End job on node130 at 2011-05-02 09:45:07