0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 8 threads
0.58/0.13 c This is CryptoMiniSat 3.0.0
0.58/0.13 c WARNING: for repeatability, setting FPU to use double precision
0.58/0.13 c Reading file 'HOME/instance-3321026-1304322189.cnf'
0.58/0.13 c -- header says num vars: 310434
0.58/0.13 c -- header says num clauses: 923497
5.96/1.38 c -- clauses added: 0 learnts, 923497 normals, 0 xors
5.96/1.38 c -- vars added 310434
5.96/1.38 c Parsing time: 0.38 s
5.96/1.38 c N st 0 0 310434 307832 615664 0 2154824 0 no data no data
13.30/2.38 c asymm cl-useful: 0/31165/307831 lits-rem:0 time: 0.87
217.23/27.96 c Flit: 2033 Blit: 13912 bXBeca: 0 bXProp: 20972 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 25.39
218.03/28.02 c Cleaning up after failed var search: 0.06 s
218.83/28.14 c Replacing 20972 vars Replaced 358715 lits Time: 0.11 s
219.63/28.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
220.42/28.34 c bin-w-bin subsume rem 1071 bins time: 0.07 s
222.08/28.51 c subs with bin: 13 lits-rem: 13 v-fix: 0 time: 0.17 s
226.02/29.07 c Subs w/ non-existent bins: 3 l-rem: 3 v-fix: 0 done: 133828 time: 0.55 s
228.42/29.33 c Removed useless bin: 80 fixed: 0 props: 20.00M time: 0.25 s
235.59/30.26 c lits-rem: 8 cl-subs: 205 v-elim: 90965 v-fix: 0 time: 0.89 s
236.39/30.34 c Finding binary XORs T: 0.08 s found: 1278
237.19/30.41 c Replacing 1278 vars Replaced 23192 lits Time: 0.07 s
237.99/30.59 c Finding non-binary XORs: 0.11 s (found: 6530, avg size: 3.0)
237.99/30.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 6 locsubst: 6 time: 0.06
238.79/30.62 c calculated reachability. Time: 0.01
238.79/30.66 c Calc default polars - time: 0.04 s pos: 63703 undec: 130027 neg: 116704
238.79/30.66 c =========================================================================================
238.79/30.66 c types(t): F = full restart, N = normal restart
238.79/30.66 c types(t): S = simplification begin/end, E = solution found
238.79/30.66 c restart types(rt): st = static, dy = dynamic
238.79/30.66 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
238.79/30.66 c B st 0 0 180647 209677 375756 0 1506191 0 no data no data
270.75/34.62 c N dy 16 4207 180646 209677 375873 3595 1506190 42216 5.84 6.16
301.19/38.46 c N dy 40 8253 180532 209677 380315 7034 1506190 94448 6.25 6.61
337.16/42.93 c N dy 66 12293 180532 209677 380357 10571 1506190 140281 6.49 6.89
372.33/47.36 c N dy 94 16297 180442 209677 380724 14162 1506189 190551 6.65 8.85
413.02/52.42 c N dy 122 20378 180376 209677 381995 9096 1506189 67209 6.91 9.12
456.99/57.99 c N dy 146 24735 180376 209677 382005 13013 1506189 121786 6.96 7.37
459.45/58.22 c F st 147 25000 180376 209677 382205 13265 1506189 125542 6.95 5.49
460.25/58.34 c Replacing 3 vars Replaced 60 lits Time: 0.08 s
548.89/69.44 c Finding binary XORs T: 0.08 s found: 465
584.04/73.80 c N dy 153 30000 180373 208422 380847 17843 1497245 225300 6.95 no data
584.04/73.80 c S st 153 30000 180373 208422 380847 17843 1497245 225300 6.95 no data
589.63/74.59 c S st 153 30500 180308 208422 380869 18308 1497245 230869 6.95 no data
590.43/74.65 c x-sub: 3 x-cut: 0 vfix: 0 v-elim: 116 locsubst: 0 time: 0.06
785.53/99.06 c Flit: 142 Blit: 260 bXBeca: 0 bXProp: 2003 Bins: 191320 BRemL: 5364 BRemN: 49 P: 200.0M T: 24.22
785.53/99.06 c Cleaning up after failed var search: 0.00 s
787.06/99.21 c Replacing 2468 vars Replaced 283817 lits Time: 0.14 s
787.86/99.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
788.66/99.44 c bin-w-bin subsume rem 28788 bins time: 0.14 s
789.46/99.58 c subs with bin: 494 lits-rem: 1347 v-fix: 0 time: 0.14 s
795.05/100.20 c Subs w/ non-existent bins: 88 l-rem: 621 v-fix: 0 done: 137461 time: 0.61 s
797.45/100.55 c Removed useless bin: 180 fixed: 0 props: 20.00M time: 0.35 s
807.03/101.71 c lits-rem: 142 cl-subs: 735 v-elim: 117994 v-fix: 0 time: 1.08 s
807.03/101.78 c subs with bin: 490 lits-rem: 4035 v-fix: 0 time: 0.04 s
808.63/101.91 c lits-rem: 593 cl-subs: 629 v-elim: 0 v-fix: 0 time: 0.09 s
813.43/102.57 c asymm cl-useful: 361/27774/237069 lits-rem:387 time: 0.65
813.43/102.59 c calculated reachability. Time: 0.01
813.43/102.60 c N dy 153 30500 58997 237067 108213 9523 1143817 153048 6.95 no data
814.23/102.64 c Finding binary XORs T: 0.04 s found: 17
825.42/104.07 c Finding binary XORs T: 0.04 s found: 231
831.79/104.81 c N dy 185 34581 58911 235681 148901 12945 1136636 285777 7.09 10.35
844.58/106.43 c Finding binary XORs T: 0.04 s found: 0
847.77/106.81 c N dy 209 38683 58911 235676 170150 16363 1136584 380335 7.18 7.67
862.96/108.76 c N dy 228 43125 58911 235676 170167 10442 1136584 252624 7.22 7.66
873.41/110.05 c S st 243 45750 58859 235676 180154 12617 1136584 305285 7.24 no data
875.74/110.33 c S st 243 46252 58858 235676 180170 13086 1136584 311216 7.24 no data
875.74/110.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 125 locsubst: 12 time: 0.05
925.32/116.53 c Flit: 20 Blit: 15 bXBeca: 0 bXProp: 419 Bins: 131182 BRemL: 19107 BRemN: 127 P: 60.0M T: 6.09
926.12/116.63 c Replacing 677 vars Replaced 152778 lits Time: 0.09 s
926.85/116.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
928.45/116.99 c bin-w-bin subsume rem 88841 bins time: 0.28 s
929.25/117.08 c subs with bin: 1075 lits-rem: 2597 v-fix: 0 time: 0.09 s
930.85/117.20 c Subs w/ non-existent bins: 213 l-rem: 1589 v-fix: 0 done: 58009 time: 0.12 s
930.85/117.27 c Removed useless bin: 248 fixed: 0 props: 2.12M time: 0.07 s
934.10/117.68 c lits-rem: 166 cl-subs: 1082 v-elim: 12299 v-fix: 0 time: 0.40 s
934.91/117.75 c subs with bin: 267 lits-rem: 2022 v-fix: 0 time: 0.04 s
935.64/117.88 c lits-rem: 317 cl-subs: 373 v-elim: 0 v-fix: 0 time: 0.10 s
937.24/118.01 c vivif2 -- cl tried 214731 cl shrink 2958 lits rem 6146 time: 0.12
937.24/118.04 c vivif2 -- cl tried 11273 cl shrink 1738 lits rem 3170 time: 0.03
942.05/118.62 c asymm cl-useful: 62/35388/214479 lits-rem:68 time: 0.58
942.05/118.66 c calculated reachability. Time: 0.02
942.05/118.66 c N dy 243 46252 45710 214477 127213 11120 1034047 235533 7.24 no data
942.90/118.77 c Finding binary XORs T: 0.10 s found: 68
956.42/120.47 c N dy 256 50323 45708 214477 163937 14483 1034047 356769 7.18 7.72
962.02/121.11 c Finding binary XORs T: 0.08 s found: 7
970.80/122.23 c N dy 271 54365 45696 214342 163618 17808 1032271 403750 7.15 7.55
978.87/123.27 c Finding binary XORs T: 0.09 s found: 26
985.98/124.19 c N dy 287 58965 45686 214160 233162 21569 1031220 595663 7.10 7.56
1001.16/126.06 c N dy 307 63063 45686 214160 234084 24966 1031220 647501 7.09 7.55
1016.34/127.90 c N dy 326 67146 45497 214160 234120 15286 1031220 464042 7.06 7.43
1025.14/129.07 c S st 339 69379 45476 214160 238004 17134 1031220 497092 7.06 no data
1027.54/129.34 c S st 339 69881 45475 214160 238022 17585 1031220 502565 7.06 no data
1027.54/129.39 c x-sub: 6 x-cut: 0 vfix: 0 v-elim: 98 locsubst: 0 time: 0.05
1060.30/133.49 c Flit: 75 Blit: 294 bXBeca: 0 bXProp: 1752 Bins: 32691 BRemL: 41318 BRemN: 51 P: 45.1M T: 4.07
1061.11/133.53 c Cleaning up after failed var search: 0.03 s
1061.91/133.61 c Replacing 2004 vars Replaced 167991 lits Time: 0.07 s
1061.91/133.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
1062.70/133.74 c bin-w-bin subsume rem 29793 bins time: 0.06 s
1063.51/133.80 c subs with bin: 2013 lits-rem: 2047 v-fix: 0 time: 0.06 s
1063.51/133.87 c Subs w/ non-existent bins: 269 l-rem: 765 v-fix: 1 done: 42960 time: 0.07 s
1064.31/133.92 c Removed useless bin: 112 fixed: 0 props: 1.04M time: 0.04 s
1065.96/134.20 c lits-rem: 182 cl-subs: 2044 v-elim: 1474 v-fix: 0 time: 0.27 s
1066.77/134.27 c subs with bin: 488 lits-rem: 3436 v-fix: 0 time: 0.04 s
1068.30/134.40 c lits-rem: 492 cl-subs: 1094 v-elim: 0 v-fix: 0 time: 0.10 s
1069.11/134.50 c vivif2 -- cl tried 195068 cl shrink 1518 lits rem 2623 time: 0.09
1069.11/134.51 c vivif2 -- cl tried 11406 cl shrink 729 lits rem 1463 time: 0.01
1073.10/135.09 c asymm cl-useful: 143/27346/194805 lits-rem:429 time: 0.58
1073.90/135.13 c calculated reachability. Time: 0.02
1073.90/135.13 c N dy 339 69881 41485 194662 66446 11335 933825 123382 7.06 no data
1074.75/135.23 c Finding binary XORs T: 0.09 s found: 48
1089.87/137.13 c N dy 362 74376 41305 194662 66541 15071 933823 175828 7.05 7.56
1108.26/139.44 c N dy 391 79389 41252 194662 69390 19297 933823 243662 7.08 7.50
1119.50/140.90 c Finding binary XORs T: 0.09 s found: 710
1120.24/140.95 c Replacing 758 vars Replaced 44423 lits Time: 0.06 s
1125.84/141.69 c N dy 419 84477 40467 191101 84196 22535 915044 332349 7.10 9.40
1136.27/143.00 c F st 432 87500 40412 191101 93785 25098 915044 389982 7.10 no data
1146.61/144.28 c N st 437 90795 40412 190389 93499 14570 911045 198983 7.10 no data
1147.40/144.37 c Finding binary XORs T: 0.09 s found: 354
1168.99/147.03 c N dy 453 96663 40410 190389 94897 19469 911045 273611 7.08 7.46
1185.75/149.19 c Finding binary XORs T: 0.09 s found: 574
1186.56/149.26 c Replacing 928 vars Replaced 75733 lits Time: 0.07 s
1195.35/150.35 c N dy 490 102946 39401 188457 124506 24030 899730 408591 7.11 7.52
1202.54/151.25 c S st 503 104822 39401 188457 124515 25587 899730 430811 7.11 5.80
1204.95/151.53 c S st 503 105327 39401 188457 134942 26047 899730 456775 7.11 no data
1204.95/151.57 c x-sub: 509 x-cut: 0 vfix: 0 v-elim: 171 locsubst: 224 time: 0.05
1236.11/155.46 c Flit: 53 Blit: 52 bXBeca: 0 bXProp: 339 Bins: 54379 BRemL: 32608 BRemN: 51 P: 39.0M T: 3.85
1236.11/155.46 c Cleaning up after failed var search: 0.00 s
1236.91/155.55 c Replacing 447 vars Replaced 85303 lits Time: 0.09 s
1237.71/155.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1238.51/155.76 c bin-w-bin subsume rem 48671 bins time: 0.14 s
1239.31/155.83 c subs with bin: 2076 lits-rem: 3797 v-fix: 0 time: 0.07 s
1240.11/155.91 c Subs w/ non-existent bins: 223 l-rem: 485 v-fix: 1 done: 38659 time: 0.08 s
1240.11/155.96 c Removed useless bin: 300 fixed: 0 props: 1.29M time: 0.05 s
1242.56/156.24 c lits-rem: 442 cl-subs: 5041 v-elim: 2071 v-fix: 0 time: 0.27 s
1243.30/156.34 c subs with bin: 747 lits-rem: 4939 v-fix: 0 time: 0.06 s
1244.90/156.51 c lits-rem: 1090 cl-subs: 1928 v-elim: 0 v-fix: 0 time: 0.13 s
1245.70/156.61 c vivif2 -- cl tried 171212 cl shrink 1297 lits rem 1998 time: 0.10
1245.70/156.65 c vivif2 -- cl tried 21181 cl shrink 2092 lits rem 5748 time: 0.04
1250.56/157.22 c asymm cl-useful: 15/17157/171051 lits-rem:45 time: 0.56
1250.56/157.25 c calculated reachability. Time: 0.02
1250.56/157.26 c N dy 503 105327 36587 171036 89469 21120 822022 314040 7.11 no data
1251.36/157.36 c Finding binary XORs T: 0.11 s found: 14
1279.28/160.84 c Finding binary XORs T: 0.10 s found: 427
1280.08/160.90 c Replacing 441 vars Replaced 34262 lits Time: 0.06 s
1281.67/161.12 c N dy 549 112112 36016 168512 151494 26108 807974 518394 7.14 7.54
1308.05/164.48 c Finding binary XORs T: 0.10 s found: 87
1314.43/165.22 c N dy 591 119326 36009 168487 201438 17566 807774 434229 7.16 7.58
1345.62/169.16 c N dy 632 127009 35980 168487 205242 24053 807772 532506 7.17 10.64
1374.45/172.74 c N dy 681 135140 35965 168487 207977 30940 807771 646849 7.21 7.66
1378.38/173.24 c Finding binary XORs T: 0.10 s found: 1082
1379.18/173.31 c Replacing 1198 vars Replaced 66771 lits Time: 0.07 s
1405.55/176.66 c N dy 739 144051 34154 159398 77940 18664 756736 195186 7.25 7.80
1415.15/177.83 c Finding binary XORs T: 0.10 s found: 809
1415.15/177.88 c Replacing 809 vars Replaced 29279 lits Time: 0.05 s
1433.53/180.14 c N dy 801 153363 33337 157783 73423 26284 748078 301696 7.28 7.70
1449.51/182.17 c S st 831 157990 33324 157783 73984 30218 748077 362196 7.30 6.95
1451.92/182.44 c S st 831 158492 33323 157783 74007 30647 748077 365861 7.30 no data
1451.92/182.47 c x-sub: 380 x-cut: 0 vfix: 0 v-elim: 76 locsubst: 166 time: 0.04
1475.08/185.34 c Flit: 30 Blit: 56 bXBeca: 0 bXProp: 385 Bins: 38886 BRemL: 47030 BRemN: 135 P: 23.3M T: 2.84
1475.88/185.42 c Replacing 452 vars Replaced 62848 lits Time: 0.08 s
1475.88/185.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1476.68/185.52 c bin-w-bin subsume rem 17368 bins time: 0.04 s
1476.68/185.57 c subs with bin: 1324 lits-rem: 1942 v-fix: 0 time: 0.04 s
1477.49/185.63 c Subs w/ non-existent bins: 178 l-rem: 107 v-fix: 0 done: 32667 time: 0.06 s
1477.49/185.67 c Removed useless bin: 189 fixed: 0 props: 0.81M time: 0.04 s
1479.94/185.92 c lits-rem: 270 cl-subs: 6076 v-elim: 3131 v-fix: 0 time: 0.23 s
1479.94/185.99 c subs with bin: 688 lits-rem: 4711 v-fix: 0 time: 0.04 s
1481.48/186.15 c lits-rem: 1925 cl-subs: 2369 v-elim: 0 v-fix: 0 time: 0.12 s
1482.28/186.20 c vivif2 -- cl tried 136687 cl shrink 481 lits rem 607 time: 0.06
1482.28/186.23 c vivif2 -- cl tried 24398 cl shrink 1892 lits rem 3806 time: 0.03
1486.28/186.75 c asymm cl-useful: 677/16444/136629 lits-rem:1975 time: 0.52
1486.28/186.78 c calculated reachability. Time: 0.01
1486.28/186.78 c N dy 831 158492 29536 136556 39598 24386 654448 223851 7.30 no data
1487.08/186.87 c Finding binary XORs T: 0.09 s found: 5
1495.87/187.98 c Finding binary XORs T: 0.09 s found: 231
1513.46/190.14 c Finding binary XORs T: 0.09 s found: 37
1519.84/190.91 c N dy 898 168633 29463 135557 80837 33048 648833 459499 7.37 7.88
1530.24/192.20 c Finding binary XORs T: 0.09 s found: 68
1530.24/192.25 c Replacing 341 vars Replaced 20757 lits Time: 0.04 s
1547.02/194.32 c Finding binary XORs T: 0.09 s found: 105
1552.61/195.04 c N dy 967 179581 29105 135123 112945 25440 645901 378699 7.42 7.81
1570.19/197.26 c Finding binary XORs T: 0.09 s found: 115
1582.19/198.77 c N dy 1054 191078 29083 134862 126519 35443 644610 596107 7.51 7.97
1586.98/199.33 c Following stats are for *FIRST FINISHED THREAD ONLY*
1586.98/199.33 c num threads : 8
1586.98/199.33 c restarts : 1288
1586.98/199.33 c dynamic restarts : 1270
1586.98/199.33 c static restarts : 18
1586.98/199.33 c full restarts : 2
1586.98/199.33 c total simplify time : 2.43
1586.98/199.33 c learnts DL2 : 0
1586.98/199.33 c learnts size 2 : 1881308
1586.98/199.33 c learnts size 1 : 25033 (8.06 % of vars)
1586.98/199.33 c filedLit time : 43.75 (22.23 % time)
1586.98/199.33 c v-elim SatELite : 206855 (66.63 % vars)
1586.98/199.33 c SatELite time : 3.50 (1.78 % time)
1586.98/199.33 c v-elim xor : 244 (0.08 % vars)
1586.98/199.33 c xor elim time : 0.12 (0.06 % time)
1586.98/199.33 c num binary xor trees : 7615
1586.98/199.33 c binxor trees' crown : 37326 (4.90 leafs/tree)
1586.98/199.33 c bin xor find time : 0.85
1586.98/199.33 c OTF clause improved : 23589 (0.11 clauses/conflict)
1586.98/199.33 c OTF impr. size diff : 24904 (1.06 lits/clause)
1586.98/199.33 c OTF cl watch-shrink : 80258 (0.37 clauses/conflict)
1586.98/199.33 c OTF cl watch-sh-lit : 228565 (2.85 lits/clause)
1586.98/199.33 c tried to recurMin cls : 0 (0.00 % of conflicts)
1586.98/199.33 c updated cache : 0 (nan lits/tried recurMin)
1586.98/199.33 c unit cls recevied : 1076 (4.30 % of units)
1586.98/199.33 c unit cls sent : 1336 (5.34 % of units)
1586.98/199.33 c bin cls recevied : 1074842
1586.98/199.33 c bin cls sent : 91341
1586.98/199.33 c clauses over max glue : 0 (0.00 % of all clauses)
1586.98/199.33 c conflicts : 218571 (1110.85 / sec)
1586.98/199.33 c decisions : 3696188 (2.11 % random)
1586.98/199.33 c bogo-props : 3261357303 (16575299.15 / sec)
1586.98/199.33 c conflict literals : 3681314 (22.54 % deleted)
1586.98/199.33 c Memory used : 3706.91 MB
1586.98/199.33 c single-thread CPU time : 196.76 s
1586.98/199.33 c all-threads sum CPU time : 1576.04 s
1586.98/199.33 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-3321026-1304322189/watcher-3321026-1304322189 -o /tmp/evaluation-result-3321026-1304322189/solver-3321026-1304322189 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321026-1304322189.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/235 26660
/proc/meminfo: memFree=25096468/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=92188 CPUtime=0.03 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 413 0 0 0 3 0 0 0 22 0 8 0 622449420 94400512 352 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554994 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26660/statm: 23047 352 299 106 0 18018 0
[pid=26660/tid=26661] ppid=26658 vsize=92188 CPUtime=0 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 622449420 94400512 352 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554994 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=92188 CPUtime=0 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 622449420 94400512 352 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554988 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=92188 CPUtime=0 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622449421 94400512 352 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554994 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=92188 CPUtime=0 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622449421 94400512 352 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554994 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=92188 CPUtime=0 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622449421 94400512 352 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554994 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=92188 CPUtime=0 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622449421 94400512 352 33554432000 4194304 4627427 140733919794640 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=92188 CPUtime=0 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622449421 94400512 352 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554994 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.0942589 s]
/proc/loadavg: 0.00 0.00 0.00 1/235 26660
/proc/meminfo: memFree=25096468/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=92188 CPUtime=0.54 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 422 0 0 0 54 0 0 0 22 0 8 0 622449420 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26660/statm: 23047 361 303 106 0 18018 0
[pid=26660/tid=26661] ppid=26658 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 5 0 0 0 9 0 0 0 22 0 8 0 622449420 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554579 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=92188 CPUtime=0.08 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1 0 0 0 8 0 0 0 22 0 8 0 622449420 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554579 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=92188 CPUtime=0.08 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1 0 0 0 8 0 0 0 23 0 8 0 622449421 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554579 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=92188 CPUtime=0.02 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 8 0 622449421 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554994 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=92188 CPUtime=0.08 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1 0 0 0 8 0 0 0 23 0 8 0 622449421 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554583 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=92188 CPUtime=0 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 622449421 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=92188 CPUtime=0.08 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1 0 0 0 8 0 0 0 23 0 8 0 622449421 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554585 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 92188
[startup+0.10126 s]
/proc/loadavg: 0.00 0.00 0.00 1/235 26660
/proc/meminfo: memFree=25096468/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=92188 CPUtime=0.58 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 422 0 0 0 58 0 0 0 22 0 8 0 622449420 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/26660/statm: 23047 361 303 106 0 18018 0
[pid=26660/tid=26661] ppid=26658 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 5 0 0 0 9 0 0 0 22 0 8 0 622449420 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1 0 0 0 9 0 0 0 22 0 8 0 622449420 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 622449421 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=92188 CPUtime=0.02 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 8 0 622449421 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554994 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 622449421 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=92188 CPUtime=0 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 622449421 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=92188 CPUtime=0.09 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1 0 0 0 9 0 0 0 23 0 8 0 622449421 94400512 361 33554432000 4194304 4627427 140733919794640 18446744073709551615 47270535554585 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 92188
[startup+0.301203 s]
/proc/loadavg: 0.00 0.00 0.00 1/235 26660
/proc/meminfo: memFree=25096468/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=619156 CPUtime=1.47 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 42732 0 0 0 124 23 0 0 17 0 8 0 622449420 634015744 34366 33554432000 4194304 4627427 140733919794640 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26660/statm: 154789 34369 339 106 0 149760 0
[pid=26660/tid=26661] ppid=26658 vsize=619156 CPUtime=0.19 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 5982 0 0 0 17 2 0 0 16 0 8 0 622449420 634015744 34372 33554432000 4194304 4627427 140733919794640 18446744073709551615 4313810 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=619156 CPUtime=0.23 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 4769 0 0 0 19 4 0 0 17 0 8 0 622449420 634015744 34377 33554432000 4194304 4627427 140733919794640 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=619156 CPUtime=0.23 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 5865 0 0 0 20 3 0 0 17 0 8 0 622449421 634015744 34383 33554432000 4194304 4627427 140733919794640 18446744073709551615 4530587 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=619156 CPUtime=0.08 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 4708 0 0 0 7 1 0 0 17 0 8 0 622449421 634015744 34385 33554432000 4194304 4627427 140733919794640 18446744073709551615 252457734491 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=619156 CPUtime=0.23 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 5410 0 0 0 19 4 0 0 17 0 8 0 622449421 634015744 34386 33554432000 4194304 4627427 140733919794640 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=619156 CPUtime=0.1 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 4639 0 0 0 8 2 0 0 17 0 8 0 622449421 634015744 34387 33554432000 4194304 4627427 140733919794640 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=619156 CPUtime=0.18 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 5737 0 0 0 17 1 0 0 17 0 8 0 622449421 634015744 34393 33554432000 4194304 4627427 140733919794640 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 619156
[startup+0.701117 s]
/proc/loadavg: 0.00 0.00 0.00 1/235 26660
/proc/meminfo: memFree=25096468/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=861532 CPUtime=3.28 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 138206 0 0 0 248 80 0 0 16 0 8 0 622449420 882208768 108236 33554432000 4194304 4627427 140733919794640 18446744073709551615 252458170911 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26660/statm: 215383 108245 339 106 0 210354 0
[pid=26660/tid=26661] ppid=26658 vsize=861532 CPUtime=0.4 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 20939 0 0 0 31 9 0 0 15 0 8 0 622449420 882208768 108245 33554432000 4194304 4627427 140733919794640 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=861532 CPUtime=0.52 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 18535 0 0 0 38 14 0 0 17 0 8 0 622449420 882208768 108250 33554432000 4194304 4627427 140733919794640 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=861532 CPUtime=0.51 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 18083 0 0 0 39 12 0 0 17 0 8 0 622449421 882208768 108252 33554432000 4194304 4627427 140733919794640 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=861532 CPUtime=0.24 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 13702 0 0 0 18 6 0 0 16 0 8 0 622449421 882208768 108260 33554432000 4194304 4627427 140733919794640 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=861532 CPUtime=0.52 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 19329 0 0 0 39 13 0 0 17 0 8 0 622449421 882208768 108260 33554432000 4194304 4627427 140733919794640 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=861532 CPUtime=0.26 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 12846 0 0 0 19 7 0 0 16 0 8 0 622449421 882208768 108265 33554432000 4194304 4627427 140733919794640 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=861532 CPUtime=0.41 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 17300 0 0 0 33 8 0 0 15 0 8 0 622449421 882208768 108267 33554432000 4194304 4627427 140733919794640 18446744073709551615 4317104 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 861532
[startup+1.501 s]
/proc/loadavg: 0.00 0.00 0.00 8/243 26668
/proc/meminfo: memFree=24446892/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=1474900 CPUtime=7.27 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 300159 0 0 0 552 175 0 0 15 0 8 0 622449420 1510297600 231628 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308940 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26660/statm: 368725 231628 361 106 0 363696 0
[pid=26660/tid=26661] ppid=26658 vsize=1474900 CPUtime=0.93 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 39547 0 0 0 74 19 0 0 16 0 8 0 622449420 1510297600 231628 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=1474900 CPUtime=1.13 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 38686 0 0 0 85 28 0 0 18 0 8 0 622449420 1510297600 231628 33554432000 4194304 4627427 140733919794640 18446744073709551615 4299583 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=1474900 CPUtime=1.14 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 39335 0 0 0 85 29 0 0 18 0 8 0 622449421 1510297600 231628 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=1474900 CPUtime=0.51 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 35807 0 0 0 35 16 0 0 16 0 8 0 622449421 1510297600 231628 33554432000 4194304 4627427 140733919794640 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=1474900 CPUtime=1.13 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 37377 0 0 0 87 26 0 0 18 0 8 0 622449421 1510297600 231628 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=1474900 CPUtime=0.74 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 34822 0 0 0 55 19 0 0 16 0 8 0 622449421 1510297600 231628 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=1474900 CPUtime=0.86 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 37560 0 0 0 68 18 0 0 16 0 8 0 622449421 1510297600 231628 33554432000 4194304 4627427 140733919794640 18446744073709551615 4515217 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 1474900
[startup+3.10067 s]
/proc/loadavg: 0.72 0.15 0.05 10/243 26668
/proc/meminfo: memFree=24163976/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=1540432 CPUtime=19.7 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 313155 0 0 0 1794 176 0 0 17 0 8 0 622449420 1577402368 243437 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26660/statm: 385108 243437 367 106 0 380079 0
[pid=26660/tid=26661] ppid=26658 vsize=1540432 CPUtime=2.52 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 41066 0 0 0 233 19 0 0 17 0 8 0 622449420 1577402368 243437 33554432000 4194304 4627427 140733919794640 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=1540432 CPUtime=2.73 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 40210 0 0 0 245 28 0 0 20 0 8 0 622449420 1577402368 243437 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=1540432 CPUtime=2.74 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 40551 0 0 0 245 29 0 0 20 0 8 0 622449421 1577402368 243437 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=1540432 CPUtime=1.88 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 38551 0 0 0 172 16 0 0 17 0 8 0 622449421 1577402368 243437 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=1540432 CPUtime=2.73 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 38900 0 0 0 247 26 0 0 19 0 8 0 622449421 1577402368 243437 33554432000 4194304 4627427 140733919794640 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=1540432 CPUtime=2.34 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 36345 0 0 0 215 19 0 0 17 0 8 0 622449421 1577402368 243437 33554432000 4194304 4627427 140733919794640 18446744073709551615 4299555 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=1540432 CPUtime=2.46 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 38932 0 0 0 227 19 0 0 17 0 8 0 622449421 1577402368 243437 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.7
Current children cumulated vsize (KiB) 1540432
[startup+6.30108 s]
/proc/loadavg: 0.72 0.15 0.05 9/243 26668
/proc/meminfo: memFree=24120580/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=1540432 CPUtime=45.27 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 315376 0 0 0 4349 178 0 0 25 0 8 0 622449420 1577402368 244240 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26660/statm: 385108 244240 367 106 0 380079 0
[pid=26660/tid=26661] ppid=26658 vsize=1540432 CPUtime=5.72 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 41100 0 0 0 553 19 0 0 25 0 8 0 622449420 1577402368 244240 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=1540432 CPUtime=5.93 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 40254 0 0 0 565 28 0 0 25 0 8 0 622449420 1577402368 244240 33554432000 4194304 4627427 140733919794640 18446744073709551615 4237488 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=1540432 CPUtime=5.94 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 40597 0 0 0 565 29 0 0 25 0 8 0 622449421 1577402368 244240 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=1540432 CPUtime=5.07 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 38609 0 0 0 490 17 0 0 23 0 8 0 622449421 1577402368 244240 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=1540432 CPUtime=5.93 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 38938 0 0 0 567 26 0 0 25 0 8 0 622449421 1577402368 244240 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=1540432 CPUtime=5.54 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 36384 0 0 0 535 19 0 0 25 0 8 0 622449421 1577402368 244240 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=1540432 CPUtime=5.66 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 40852 0 0 0 547 19 0 0 25 0 8 0 622449421 1577402368 244240 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
[startup+179.101 s]
/proc/loadavg: 7.61 3.63 1.41 9/243 26673
/proc/meminfo: memFree=22127416/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=3670376 CPUtime=1425.54 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 6845071 0 0 0 141443 1111 0 0 25 0 8 0 622449420 3758465024 741700 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26660/statm: 917594 741700 391 106 0 912565 0
[pid=26660/tid=26661] ppid=26658 vsize=3670376 CPUtime=178.32 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 792763 0 0 0 17701 131 0 0 25 0 8 0 622449420 3758465024 741700 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=3670376 CPUtime=178.61 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 634264 0 0 0 17739 122 0 0 25 0 8 0 622449420 3758465024 741700 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=3670376 CPUtime=178.61 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 829181 0 0 0 17709 152 0 0 25 0 8 0 622449421 3758465024 741700 33554432000 4194304 4627427 140733919794640 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=3670376 CPUtime=177.74 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1291947 0 0 0 17596 178 0 0 25 0 8 0 622449421 3758465024 741700 33554432000 4194304 4627427 140733919794640 18446744073709551615 4410104 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=3670376 CPUtime=178.62 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1374468 0 0 0 17643 219 0 0 25 0 8 0 622449421 3758465024 741700 33554432000 4194304 4627427 140733919794640 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=3670376 CPUtime=178.26 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1224198 0 0 0 17653 173 0 0 25 0 8 0 622449421 3758465024 741700 33554432000 4194304 4627427 140733919794640 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=3670376 CPUtime=178.41 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 149574 0 0 0 17799 42 0 0 25 0 8 0 622449421 3758465024 741700 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1425.54
Current children cumulated vsize (KiB) 3670376
[startup+191.9 s]
/proc/loadavg: 7.67 3.78 1.48 9/243 26673
/proc/meminfo: memFree=22023256/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=3730336 CPUtime=1527.83 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 6880641 0 0 0 151664 1119 0 0 25 0 8 0 622449420 3819864064 768665 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26660/statm: 932584 768665 391 106 0 927555 0
[pid=26660/tid=26661] ppid=26658 vsize=3730336 CPUtime=191.11 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 800437 0 0 0 18979 132 0 0 25 0 8 0 622449420 3819864064 768665 33554432000 4194304 4627427 140733919794640 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=3730336 CPUtime=191.41 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 639375 0 0 0 19018 123 0 0 25 0 8 0 622449420 3819864064 768665 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=3730336 CPUtime=191.41 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 831515 0 0 0 18988 153 0 0 25 0 8 0 622449421 3819864064 768665 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=3730336 CPUtime=190.53 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1297468 0 0 0 18874 179 0 0 25 0 8 0 622449421 3819864064 768665 33554432000 4194304 4627427 140733919794640 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=3730336 CPUtime=191.42 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1381645 0 0 0 18922 220 0 0 25 0 8 0 622449421 3819864064 768665 33554432000 4194304 4627427 140733919794640 18446744073709551615 4520569 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=3730336 CPUtime=191.05 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1225317 0 0 0 18932 173 0 0 25 0 8 0 622449421 3819864064 768665 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=3730336 CPUtime=191.21 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 149816 0 0 0 19079 42 0 0 18 0 8 0 622449421 3819864064 768665 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1527.83
Current children cumulated vsize (KiB) 3730336
[startup+195.101 s]
/proc/loadavg: 7.70 3.85 1.52 9/243 26673
/proc/meminfo: memFree=22020652/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=3795872 CPUtime=1553.41 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 6882925 0 0 0 154221 1120 0 0 25 0 8 0 622449420 3886972928 768107 33554432000 4194304 4627427 140733919794640 18446744073709551615 4310020 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26660/statm: 948968 768107 391 106 0 943939 0
[pid=26660/tid=26661] ppid=26658 vsize=3795872 CPUtime=194.31 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 800609 0 0 0 19299 132 0 0 25 0 8 0 622449420 3886972928 768107 33554432000 4194304 4627427 140733919794640 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=3795872 CPUtime=194.6 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 640754 0 0 0 19337 123 0 0 25 0 8 0 622449420 3886972928 768107 33554432000 4194304 4627427 140733919794640 18446744073709551615 4305848 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=3795872 CPUtime=194.61 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 831721 0 0 0 19308 153 0 0 25 0 8 0 622449421 3886972928 768107 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=3795872 CPUtime=193.73 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1297504 0 0 0 19194 179 0 0 25 0 8 0 622449421 3886972928 768107 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308180 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=3795872 CPUtime=194.62 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1381825 0 0 0 19242 220 0 0 25 0 8 0 622449421 3886972928 768107 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=3795872 CPUtime=194.25 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1225402 0 0 0 19252 173 0 0 25 0 8 0 622449421 3886972928 768107 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=3795872 CPUtime=194.41 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 149872 0 0 0 19399 42 0 0 25 0 8 0 622449421 3886972928 768107 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1553.41
Current children cumulated vsize (KiB) 3795872
[startup+196.701 s]
/proc/loadavg: 7.70 3.85 1.52 9/243 26673
/proc/meminfo: memFree=22019780/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=3795872 CPUtime=1566.2 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 6883386 0 0 0 155499 1121 0 0 25 0 8 0 622449420 3886972928 768568 33554432000 4194304 4627427 140733919794640 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26660/statm: 948968 768568 391 106 0 943939 0
[pid=26660/tid=26661] ppid=26658 vsize=3795872 CPUtime=195.9 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 800690 0 0 0 19458 132 0 0 25 0 8 0 622449420 3886972928 768568 33554432000 4194304 4627427 140733919794640 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=3795872 CPUtime=196.2 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 640844 0 0 0 19497 123 0 0 25 0 8 0 622449420 3886972928 768568 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=3795872 CPUtime=196.21 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 831805 0 0 0 19468 153 0 0 25 0 8 0 622449421 3886972928 768568 33554432000 4194304 4627427 140733919794640 18446744073709551615 4325005 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=3795872 CPUtime=195.33 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1297513 0 0 0 19354 179 0 0 25 0 8 0 622449421 3886972928 768568 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=3795872 CPUtime=196.22 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1381901 0 0 0 19402 220 0 0 25 0 8 0 622449421 3886972928 768568 33554432000 4194304 4627427 140733919794640 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=3795872 CPUtime=195.85 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1225424 0 0 0 19412 173 0 0 25 0 8 0 622449421 3886972928 768568 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=3795872 CPUtime=196.01 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 149891 0 0 0 19559 42 0 0 25 0 8 0 622449421 3886972928 768568 33554432000 4194304 4627427 140733919794640 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1566.2
Current children cumulated vsize (KiB) 3795872
[startup+198.301 s]
/proc/loadavg: 7.72 3.92 1.55 9/243 26673
/proc/meminfo: memFree=22017424/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=3795872 CPUtime=1578.99 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 6883871 0 0 0 156778 1121 0 0 25 0 8 0 622449420 3886972928 769052 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26660/statm: 948968 769052 391 106 0 943939 0
[pid=26660/tid=26661] ppid=26658 vsize=3795872 CPUtime=197.5 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 800767 0 0 0 19618 132 0 0 25 0 8 0 622449420 3886972928 769052 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=3795872 CPUtime=197.8 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 640932 0 0 0 19657 123 0 0 25 0 8 0 622449420 3886972928 769052 33554432000 4194304 4627427 140733919794640 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=3795872 CPUtime=197.81 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 831896 0 0 0 19628 153 0 0 25 0 8 0 622449421 3886972928 769052 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=3795872 CPUtime=196.93 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1297516 0 0 0 19514 179 0 0 25 0 8 0 622449421 3886972928 769052 33554432000 4194304 4627427 140733919794640 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=3795872 CPUtime=197.82 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1381986 0 0 0 19562 220 0 0 25 0 8 0 622449421 3886972928 769052 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=3795872 CPUtime=197.45 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1225438 0 0 0 19572 173 0 0 25 0 8 0 622449421 3886972928 769052 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=3795872 CPUtime=197.61 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 149916 0 0 0 19719 42 0 0 25 0 8 0 622449421 3886972928 769052 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1578.99
Current children cumulated vsize (KiB) 3795872
[startup+199.109 s]
/proc/loadavg: 7.72 3.92 1.55 9/243 26673
/proc/meminfo: memFree=22015812/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=3795872 CPUtime=1585.44 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 6884162 0 0 0 157423 1121 0 0 25 0 8 0 622449420 3886972928 769343 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26660/statm: 948968 769343 391 106 0 943939 0
[pid=26660/tid=26661] ppid=26658 vsize=3795872 CPUtime=198.31 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 800808 0 0 0 19699 132 0 0 25 0 8 0 622449420 3886972928 769343 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=3795872 CPUtime=198.61 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 640983 0 0 0 19738 123 0 0 25 0 8 0 622449420 3886972928 769343 33554432000 4194304 4627427 140733919794640 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=3795872 CPUtime=198.62 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 831940 0 0 0 19709 153 0 0 25 0 8 0 622449421 3886972928 769343 33554432000 4194304 4627427 140733919794640 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=3795872 CPUtime=197.74 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1297517 0 0 0 19595 179 0 0 25 0 8 0 622449421 3886972928 769343 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=3795872 CPUtime=198.62 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1382044 0 0 0 19642 220 0 0 25 0 8 0 622449421 3886972928 769343 33554432000 4194304 4627427 140733919794640 18446744073709551615 4327945 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=3795872 CPUtime=198.26 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1225446 0 0 0 19653 173 0 0 25 0 8 0 622449421 3886972928 769343 33554432000 4194304 4627427 140733919794640 18446744073709551615 4309982 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=3795872 CPUtime=198.42 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 149929 0 0 0 19800 42 0 0 25 0 8 0 622449421 3886972928 769343 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1585.44
Current children cumulated vsize (KiB) 3795872
[startup+199.301 s]
/proc/loadavg: 7.72 3.92 1.55 9/243 26673
/proc/meminfo: memFree=22015812/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=3795872 CPUtime=1586.98 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4202496 6884230 0 0 0 157577 1121 0 0 25 0 8 0 622449420 3886972928 769411 33554432000 4194304 4627427 140733919794640 18446744073709551615 4324648 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26660/statm: 948968 769411 391 106 0 943939 0
[pid=26660/tid=26661] ppid=26658 vsize=3795872 CPUtime=198.5 cores=0-7
/proc/26660/task/26661/stat : 26661 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 800818 0 0 0 19718 132 0 0 25 0 8 0 622449420 3886972928 769411 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26660/tid=26662] ppid=26658 vsize=3795872 CPUtime=198.8 cores=0-7
/proc/26660/task/26662/stat : 26662 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 640994 0 0 0 19757 123 0 0 25 0 8 0 622449420 3886972928 769411 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26660/tid=26663] ppid=26658 vsize=3795872 CPUtime=198.81 cores=0-7
/proc/26660/task/26663/stat : 26663 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 831952 0 0 0 19728 153 0 0 25 0 8 0 622449421 3886972928 769411 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26660/tid=26664] ppid=26658 vsize=3795872 CPUtime=197.93 cores=0-7
/proc/26660/task/26664/stat : 26664 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1297517 0 0 0 19614 179 0 0 25 0 8 0 622449421 3886972928 769411 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26660/tid=26665] ppid=26658 vsize=3795872 CPUtime=198.82 cores=0-7
/proc/26660/task/26665/stat : 26665 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1382055 0 0 0 19662 220 0 0 25 0 8 0 622449421 3886972928 769411 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26660/tid=26666] ppid=26658 vsize=3795872 CPUtime=198.45 cores=0-7
/proc/26660/task/26666/stat : 26666 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 1225447 0 0 0 19672 173 0 0 25 0 8 0 622449421 3886972928 769411 33554432000 4194304 4627427 140733919794640 18446744073709551615 4332655 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26660/tid=26667] ppid=26658 vsize=3795872 CPUtime=198.61 cores=0-7
/proc/26660/task/26667/stat : 26667 (strangenight2-m) R 26658 26660 26634 0 -1 4202560 149931 0 0 0 19819 42 0 0 25 0 8 0 622449421 3886972928 769411 33554432000 4194304 4627427 140733919794640 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1586.98
Current children cumulated vsize (KiB) 3795872
[startup+199.401 s]
/proc/loadavg: 7.72 3.92 1.55 9/243 26673
/proc/meminfo: memFree=22015812/32951124 swapFree=67111348/67111528
[pid=26660] ppid=26658 vsize=0 CPUtime=1587.32 cores=0-7
/proc/26660/stat : 26660 (strangenight2-m) R 26658 26660 26634 0 -1 4203524 6884240 0 0 0 157604 1128 0 0 25 0 1 0 622449420 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26660/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1587.32
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 199.492
CPU time (s): 1587.42
CPU user time (s): 1576.04
CPU system time (s): 11.3753
CPU usage (%): 795.73
Max. virtual memory (cumulated for all children) (KiB): 3795872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1576.04
system time used= 11.3753
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6884240
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= 274148
involuntary context switches= 16702
runsolver used 0.403938 second user time and 1.06784 second system time
The end
Begin job on node111 at 2011-05-02 09:43:09
IDJOB=3321026
IDBENCH=69619
IDSOLVER=1709
FILE ID=node111/3321026-1304322189
RUNJOBID= node111-1304322188-26648
PBS_JOBID= 13176814
Free space on /tmp= 73120 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f7nidw.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321026-1304322189/watcher-3321026-1304322189 -o /tmp/evaluation-result-3321026-1304322189/solver-3321026-1304322189 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321026-1304322189.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2
RANDOM SEED=2144697036
node111.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.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
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 : 5428.12
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.849
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.849
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.86
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.849
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.849
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.849
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.67
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.849
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 25097252 kB
Buffers: 1061872 kB
Cached: 2612864 kB
SwapCached: 0 kB
Active: 4071320 kB
Inactive: 3312424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 25097252 kB
SwapTotal: 67111528 kB
SwapFree: 67111348 kB
Dirty: 22176 kB
Writeback: 0 kB
AnonPages: 3708496 kB
Mapped: 21708 kB
Slab: 391320 kB
PageTables: 17256 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 34954856 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= 73112 MiB
End job on node111 at 2011-05-02 09:46:29