0.00/0.00 c Outputting solution to console
0.11/0.03 c Using 8 threads
0.11/0.03 c This is CryptoMiniSat 3.0.0
0.11/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.11/0.03 c Reading file 'HOME/instance-3321098-1307635284.cnf'
0.11/0.03 c -- header says num vars: 489685
0.11/0.03 c -- header says num clauses: 8779920
119.70/26.41 c -- clauses added: 0 learnts, 8779920 normals, 0 xors
119.70/26.41 c -- vars added 489685
119.70/26.41 c Parsing time: 12.19 s
119.70/26.42 c N st 0 0 489685 304437 7524558 0 17087371 0 no data no data
127.68/27.42 c asymm cl-useful: 564/719/235695 lits-rem:2242 time: 0.95
221.59/39.57 c Flit: 285 Blit: 87855 bXBeca: 0 bXProp: 933 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 12.01
223.15/39.71 c Cleaning up after failed var search: 0.14 s
224.75/39.90 c Replacing 934 vars Replaced 31458 lits Time: 0.18 s
231.24/41.38 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
234.87/41.88 c bin-w-bin subsume rem 1059 bins time: 0.50 s
310.45/51.33 c subs with bin: 0 lits-rem: 4096 v-fix: 0 time: 3.95 s
310.45/51.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 23930 time: 2.90 s
310.45/51.33 c Removed useless bin: 1704 fixed: 0 props: 20.00M time: 0.25 s
310.45/51.33 c lits-rem: 0 cl-subs: 0 v-elim: 4 v-fix: 0 time: 0.82 s
310.45/51.33 c Finding binary XORs T: 0.13 s found: 1972
310.45/51.33 c Replacing 1972 vars Replaced 241227 lits Time: 0.21 s
310.45/51.33 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan)
310.45/51.33 c calculated reachability. Time: 0.01
310.45/51.33 c Calc default polars - time: 0.08 s pos: 2914 undec: 237434 neg: 249337
310.45/51.33 c =========================================================================================
310.45/51.33 c types(t): F = full restart, N = normal restart
310.45/51.33 c types(t): S = simplification begin/end, E = solution found
310.45/51.33 c restart types(rt): st = static, dy = dynamic
310.45/51.33 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
310.45/51.33 c B st 0 0 252251 174928 4072585 0 9307708 0 no data no data
401.60/62.71 c N dy 10 4013 207607 143367 3108046 3569 7163751 1682130 10.67 11.40
475.11/71.95 c N dy 22 8015 206633 143367 3109395 7360 7163751 3103944 8.75 9.23
571.02/83.90 c N dy 52 12081 206621 143367 3109530 11259 7163751 5115437 9.90 15.24
662.96/95.44 c N dy 76 16100 206505 143367 3110959 15155 7163751 6905926 10.02 10.55
752.53/106.65 c N dy 95 20168 206405 143367 3111558 9644 7163751 710156 9.97 10.65
844.42/118.20 c N dy 110 24169 206395 143367 3111619 13555 7163751 2439699 9.86 10.45
869.20/121.24 c F st 113 25000 206392 143367 3111645 14352 7163751 2932615 9.80 no data
948.36/131.14 c N st 118 28297 205895 142401 3082859 17562 7098007 4631693 9.80 no data
1007.55/138.56 c S st 119 30001 205894 142401 3082865 19257 7098007 6327297 9.80 no data
1021.10/140.28 c S st 119 30504 205893 142401 3082878 19733 7098007 6469160 9.80 no data
1022.70/140.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.15
1261.73/170.33 c Flit: 329 Blit: 2289 bXBeca: 0 bXProp: 210 Bins: 576942 BRemL: 7 BRemN: 240 P: 200.0M T: 29.90
1262.56/170.45 c Cleaning up after failed var search: 0.11 s
1264.93/170.77 c Replacing 211 vars Replaced 27415 lits Time: 0.30 s
1267.32/171.05 c blocked clauses removed: 0 vars: 0 tried: 202739 T: 0.14 s
1269.72/171.37 c bin-w-bin subsume rem 932 bins time: 0.33 s
1295.31/174.53 c subs with bin: 0 lits-rem: 3 v-fix: 0 time: 3.15 s
1322.48/177.90 c Subs w/ non-existent bins: 0 l-rem: 10 v-fix: 641 done: 36381 time: 3.36 s
1325.67/178.38 c Removed useless bin: 6684 fixed: 0 props: 20.01M time: 0.47 s
1332.07/179.11 c lits-rem: 0 cl-subs: 4 v-elim: 4 v-fix: 0 time: 0.74 s
1356.85/182.28 c subs with bin: 242 lits-rem: 1436 v-fix: 0 time: 2.43 s
1372.83/184.29 c lits-rem: 1522 cl-subs: 1055 v-elim: 0 v-fix: 0 time: 1.91 s
1380.03/185.15 c asymm cl-useful: 133/911/139397 lits-rem:686 time: 0.86
1380.83/185.24 c calculated reachability. Time: 0.01
1380.83/185.25 c N dy 119 30504 202094 139397 3545376 18212 6893323 7232527 9.80 no data
1381.62/185.39 c Finding binary XORs T: 0.14 s found: 1963
1505.24/200.96 c N dy 134 35220 201817 139397 3546978 22833 6893323 9741717 9.71 10.24
1597.97/212.51 c N dy 158 39236 201650 139397 3547919 26757 6893323 11460701 9.73 10.47
1689.91/224.05 c N dy 176 43326 201637 139397 3547971 15903 6893323 2343505 9.70 10.71
1747.45/231.22 c S st 190 45759 201571 139397 3548631 18300 6893323 3445491 9.71 8.38
1764.23/233.35 c S st 190 46259 201550 139397 3548671 18746 6893323 3565616 9.71 no data
1765.83/233.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.17
1934.50/254.69 c Flit: 264 Blit: 3050 bXBeca: 0 bXProp: 35 Bins: 330623 BRemL: 923 BRemN: 114 P: 200.1M T: 21.17
1936.10/254.80 c Cleaning up after failed var search: 0.10 s
1938.54/255.10 c Replacing 1999 vars Replaced 140307 lits Time: 0.28 s
1939.35/255.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
1942.50/255.62 c bin-w-bin subsume rem 6075 bins time: 0.37 s
1968.88/258.93 c subs with bin: 1 lits-rem: 51 v-fix: 0 time: 3.31 s
2000.09/262.90 c Subs w/ non-existent bins: 0 l-rem: 34 v-fix: 40 done: 27123 time: 3.96 s
2004.04/263.35 c Removed useless bin: 6499 fixed: 41 props: 20.01M time: 0.45 s
2010.42/264.12 c lits-rem: 0 cl-subs: 56 v-elim: 4 v-fix: 0 time: 0.76 s
2024.73/265.97 c subs with bin: 363 lits-rem: 2327 v-fix: 0 time: 1.62 s
2031.90/266.87 c lits-rem: 537 cl-subs: 432 v-elim: 0 v-fix: 0 time: 0.83 s
2039.07/267.78 c asymm cl-useful: 151/727/136489 lits-rem:375 time: 0.92
2039.87/267.88 c calculated reachability. Time: 0.01
2039.87/267.89 c N dy 190 46259 196495 136489 3694764 17796 6662346 3901713 9.71 no data
2041.46/268.01 c Finding binary XORs T: 0.13 s found: 602
2159.20/282.87 c Finding binary XORs T: 0.14 s found: 353
2214.14/289.70 c N dy 209 51196 195084 135380 3958628 22587 6592393 7991841 9.66 10.62
2288.99/299.27 c N dy 228 55300 195074 135380 3958654 26633 6592393 9348978 9.63 10.14
2373.66/309.88 c N dy 242 59385 194110 135380 3978538 30659 6592393 10991847 9.57 11.79
2473.33/322.57 c N dy 265 63853 194019 135380 3985311 35077 6592393 12854056 9.56 10.56
2555.41/332.88 c N dy 284 68023 192816 133701 3864176 21043 6475131 3567348 9.57 10.98
2570.60/334.72 c Finding binary XORs T: 0.14 s found: 728
2590.58/337.23 c S st 293 69389 191592 132874 3917527 22362 6419315 4127763 9.57 no data
2606.58/339.23 c S st 293 69889 191592 132874 3917548 22840 6419315 4292614 9.57 no data
2608.18/339.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.17
2788.83/362.08 c Flit: 109 Blit: 580 bXBeca: 0 bXProp: 13 Bins: 283914 BRemL: 1257 BRemN: 128 P: 200.0M T: 22.69
2788.83/362.09 c Cleaning up after failed var search: 0.00 s
2792.82/362.50 c Replacing 1696 vars Replaced 156629 lits Time: 0.40 s
2793.62/362.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
2797.61/363.14 c bin-w-bin subsume rem 48179 bins time: 0.49 s
2825.60/366.66 c subs with bin: 3 lits-rem: 5 v-fix: 0 time: 3.51 s
2859.17/370.88 c Subs w/ non-existent bins: 1 l-rem: 4 v-fix: 1 done: 40728 time: 4.22 s
2863.17/371.31 c Removed useless bin: 5508 fixed: 0 props: 20.02M time: 0.43 s
2869.56/372.11 c lits-rem: 0 cl-subs: 17 v-elim: 0 v-fix: 0 time: 0.80 s
2883.14/373.90 c subs with bin: 129 lits-rem: 966 v-fix: 0 time: 1.58 s
2890.34/374.75 c lits-rem: 573 cl-subs: 538 v-elim: 0 v-fix: 0 time: 0.79 s
2898.34/375.77 c asymm cl-useful: 37/696/132310 lits-rem:44 time: 1.01
2899.14/375.87 c calculated reachability. Time: 0.01
2899.14/375.88 c N dy 293 69889 189733 132310 4088015 22137 6361611 4635077 9.57 no data
2948.70/382.04 c Finding binary XORs T: 0.15 s found: 137
2980.72/386.02 c N dy 317 74639 189731 132310 4088038 26831 6361611 5894231 9.57 10.08
3084.01/399.11 c N dy 329 79946 189572 132310 4089703 32070 6361611 7319499 9.48 10.03
3153.34/407.82 c Finding binary XORs T: 0.14 s found: 259
3195.71/413.13 c N dy 349 85124 188370 131202 4178852 37080 6287839 9343987 9.43 13.50
3242.09/418.98 c F st 368 87500 188370 131202 4178861 39428 6287839 10125306 9.47 no data
3246.88/419.56 c Replacing 396 vars Replaced 90978 lits Time: 0.47 s
3314.07/427.99 c N st 373 90795 187966 131201 4178252 22391 6286278 4107121 9.47 no data
3421.16/441.35 c N dy 395 96640 187908 131201 4178423 28171 6286278 5640624 9.52 10.07
3559.50/458.61 c N dy 411 102933 187886 131201 4178699 34368 6286278 7722494 9.45 10.11
3607.08/464.61 c S st 421 104833 187883 131201 4178705 36252 6286278 8732891 9.46 no data
3622.27/466.52 c S st 421 105336 187883 131201 4178756 36702 6286278 8860484 9.46 no data
3623.87/466.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.18
3795.76/488.25 c Flit: 263 Blit: 464 bXBeca: 0 bXProp: 51 Bins: 102513 BRemL: 2013 BRemN: 49 P: 200.0M T: 21.55
3795.76/488.26 c Cleaning up after failed var search: 0.00 s
3799.75/488.72 c Replacing 52 vars Replaced 22507 lits Time: 0.45 s
3800.55/488.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
3804.55/489.33 c bin-w-bin subsume rem 17851 bins time: 0.45 s
3832.57/492.84 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 3.52 s
3864.50/496.89 c Subs w/ non-existent bins: 0 l-rem: 5 v-fix: 27 done: 34037 time: 4.04 s
3868.49/497.37 c Removed useless bin: 4465 fixed: 0 props: 20.01M time: 0.48 s
3874.89/498.18 c lits-rem: 0 cl-subs: 4 v-elim: 0 v-fix: 0 time: 0.80 s
3893.31/500.43 c subs with bin: 28 lits-rem: 200 v-fix: 0 time: 1.76 s
3916.46/503.33 c lits-rem: 2389 cl-subs: 1231 v-elim: 0 v-fix: 0 time: 2.82 s
3925.25/504.40 c asymm cl-useful: 24/510/130211 lits-rem:29 time: 1.07
3926.05/504.51 c calculated reachability. Time: 0.01
3926.05/504.52 c N dy 421 105336 186845 130211 4186378 35360 6219550 8665925 9.46 no data
3926.86/504.66 c Finding binary XORs T: 0.15 s found: 250
4029.18/517.43 c Finding binary XORs T: 0.15 s found: 40
4066.75/522.14 c N dy 457 112390 186719 130110 4347644 42347 6212965 11028621 9.47 9.99
4173.89/535.50 c N dy 478 119802 186532 130110 4347674 27856 6212965 4977214 9.39 10.08
4281.80/549.05 c Finding binary XORs T: 0.15 s found: 201
4307.43/552.28 c N dy 505 127450 185999 129556 4315596 35323 6167859 6593772 9.34 17.15
4464.08/571.89 c N dy 557 135590 185986 129556 4316510 43385 6167859 8663123 9.38 11.53
4635.94/593.39 c N dy 602 144647 185967 129556 4316705 31397 6167859 5427123 9.38 9.89
4793.44/613.10 c Finding binary XORs T: 0.15 s found: 385
4835.49/618.37 c N dy 638 154562 184438 128226 4503008 40176 6097570 7865742 9.34 9.87
4896.29/625.95 c S st 659 158004 183489 128226 4509343 43591 6097570 8583150 9.35 no data
4911.44/627.85 c S st 659 158506 183489 128226 4509364 44072 6097570 8684445 9.35 no data
4913.07/628.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.19
5088.11/649.99 c Flit: 178 Blit: 1044 bXBeca: 0 bXProp: 56 Bins: 253178 BRemL: 2177 BRemN: 124 P: 200.0M T: 21.95
5089.75/650.12 c Cleaning up after failed var search: 0.13 s
5092.90/650.54 c Replacing 932 vars Replaced 128577 lits Time: 0.40 s
5093.70/650.69 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
5099.30/651.30 c bin-w-bin subsume rem 42296 bins time: 0.60 s
5129.68/655.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 3.83 s
5162.46/659.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 1 done: 27402 time: 4.13 s
5165.66/659.67 c Removed useless bin: 3856 fixed: 0 props: 20.02M time: 0.42 s
5172.05/660.50 c lits-rem: 0 cl-subs: 3 v-elim: 1 v-fix: 0 time: 0.82 s
5188.83/662.52 c subs with bin: 9 lits-rem: 1523 v-fix: 0 time: 1.62 s
5212.06/665.49 c lits-rem: 5434 cl-subs: 1315 v-elim: 0 v-fix: 0 time: 2.90 s
5220.01/666.49 c asymm cl-useful: 67/465/126148 lits-rem:82 time: 1.00
5221.66/666.61 c calculated reachability. Time: 0.01
5221.66/666.61 c N dy 659 158506 180966 126148 4520104 42084 5932313 8546267 9.35 no data
5222.41/666.76 c Finding binary XORs T: 0.15 s found: 342
5402.29/689.21 c N dy 693 168966 180221 126148 4521109 30704 5932313 5335258 9.30 9.81
5429.99/692.74 c Finding binary XORs T: 0.15 s found: 304
5594.68/713.31 c N dy 737 180101 179879 125182 4536054 41389 5886482 7321826 9.25 9.75
5811.31/740.41 c N dy 806 191706 178511 125182 4536444 52915 5886482 9950584 9.29 10.01
5953.33/758.29 c Following stats are for *FIRST FINISHED THREAD ONLY*
5953.33/758.29 c num threads : 8
5953.33/758.29 c restarts : 850
5953.33/758.29 c dynamic restarts : 832
5953.33/758.29 c static restarts : 18
5953.33/758.29 c full restarts : 2
5953.33/758.29 c total simplify time : 18.16
5953.33/758.29 c learnts DL2 : 0
5953.33/758.29 c learnts size 2 : 10595456
5953.33/758.29 c learnts size 1 : 333927 (68.19 % of vars)
5953.33/758.29 c filedLit time : 23.00 (3.10 % time)
5953.33/758.29 c v-elim SatELite : 5 (0.00 % vars)
5953.33/758.29 c SatELite time : 6.80 (0.92 % time)
5953.33/758.29 c v-elim xor : 0 (0.00 % vars)
5953.33/758.29 c xor elim time : 0.16 (0.02 % time)
5953.33/758.29 c num binary xor trees : 8660
5953.33/758.29 c binxor trees' crown : 9654 (1.11 leafs/tree)
5953.33/758.29 c bin xor find time : 14.20
5953.33/758.29 c OTF clause improved : 1921 (0.01 clauses/conflict)
5953.33/758.29 c OTF impr. size diff : 8288 (4.31 lits/clause)
5953.33/758.29 c OTF cl watch-shrink : 162308 (0.65 clauses/conflict)
5953.33/758.29 c OTF cl watch-sh-lit : 3294918 (20.30 lits/clause)
5953.33/758.29 c tried to recurMin cls : 151356 (60.62 % of conflicts)
5953.33/758.29 c updated cache : 166842 (1.10 lits/tried recurMin)
5953.33/758.29 c unit cls recevied : 11760 (3.52 % of units)
5953.33/758.29 c unit cls sent : 280527 (84.01 % of units)
5953.33/758.29 c bin cls recevied : 2911895
5953.33/758.29 c bin cls sent : 163518
5953.33/758.29 c clauses over max glue : 0 (0.00 % of all clauses)
5953.33/758.29 c conflicts : 249660 (336.17 / sec)
5953.33/758.29 c decisions : 730132 (2.04 % random)
5953.33/758.29 c bogo-props : 10089778013 (13585960.61 / sec)
5953.33/758.29 c conflict literals : 64978358 (43.69 % deleted)
5953.33/758.29 c Memory used : 5955.73 MB
5953.33/758.29 c single-thread CPU time : 742.66 s
5953.33/758.29 c all-threads sum CPU time : 5918.35 s
5953.33/758.29 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3321098-1307635284/watcher-3321098-1307635284 -o /tmp/evaluation-result-3321098-1307635284/solver-3321098-1307635284 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321098-1307635284.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.07 7.82 6.99 2/165 21184
/proc/meminfo: memFree=29648568/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=92188 CPUtime=0 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) R 21182 21184 20904 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 47279771117490 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21184/statm: 23047 352 299 106 0 18018 0
[pid=21184/tid=21185] ppid=21182 vsize=92188 CPUtime=0 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 47279771117490 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=92188 CPUtime=0 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=92188 CPUtime=0 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=92188 CPUtime=0 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=92188 CPUtime=0 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 47279771117490 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=92188 CPUtime=0 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 47279771117490 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=92188 CPUtime=0 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 47279771117484 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.031406 s]
/proc/loadavg: 7.07 7.82 6.99 2/165 21184
/proc/meminfo: memFree=29648568/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=92188 CPUtime=0.11 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) R 21182 21184 20904 0 -1 4202496 413 0 0 0 11 0 0 0 23 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 47279771117490 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 23047 352 299 106 0 18018 0
[pid=21184/tid=21185] ppid=21182 vsize=92188 CPUtime=0.02 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 47279771117490 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=92188 CPUtime=0 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 210658944054 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=92188 CPUtime=0 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=92188 CPUtime=0 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 47279771117490 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=92188 CPUtime=0.02 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 47279771117490 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=92188 CPUtime=0.02 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 47279771117494 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=92188 CPUtime=0.02 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 8 0 875128492 94400512 352 33554432000 4194304 4627427 140733835773456 18446744073709551615 47279771117488 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 92188
[startup+0.100625 s]
/proc/loadavg: 7.07 7.82 6.99 2/165 21184
/proc/meminfo: memFree=29648568/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=487440 CPUtime=0.37 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) R 21182 21184 20904 0 -1 4202496 10738 0 0 0 25 12 0 0 17 0 8 0 875128492 499138560 9382 33554432000 4194304 4627427 140733835773456 18446744073709551615 4530602 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 121860 9382 341 106 0 116831 0
[pid=21184/tid=21185] ppid=21182 vsize=487440 CPUtime=0.04 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 1441 0 0 0 4 0 0 0 18 0 8 0 875128492 499138560 9382 33554432000 4194304 4627427 140733835773456 18446744073709551615 4530507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=487440 CPUtime=0.01 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) D 21182 21184 20904 0 -1 4202560 1233 0 0 0 1 0 0 0 17 0 8 0 875128492 499138560 9382 33554432000 4194304 4627427 140733835773456 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=487440 CPUtime=0.02 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 1490 0 0 0 1 1 0 0 17 0 8 0 875128492 499138560 9482 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 5 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=487440 CPUtime=0.02 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) D 21182 21184 20904 0 -1 4202560 1358 0 0 0 1 1 0 0 17 0 8 0 875128492 499138560 9482 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=487440 CPUtime=0.05 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 1384 0 0 0 5 0 0 0 18 0 8 0 875128492 499138560 9482 33554432000 4194304 4627427 140733835773456 18446744073709551615 4530453 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=487440 CPUtime=0.05 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 1784 0 0 0 4 1 0 0 18 0 8 0 875128492 499138560 9482 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647146299 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=487440 CPUtime=0.08 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 176 0 0 0 3 5 0 0 18 0 8 0 875128492 499138560 9482 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647146299 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 487440
[startup+0.300391 s]
/proc/loadavg: 7.07 7.82 6.99 2/165 21184
/proc/meminfo: memFree=29648568/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=521440 CPUtime=1.33 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) S 21182 21184 20904 0 -1 4202496 35189 0 0 0 100 33 0 0 17 0 8 0 875128492 533954560 28438 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 130360 28438 341 106 0 125331 0
[pid=21184/tid=21185] ppid=21182 vsize=521440 CPUtime=0.15 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 4373 0 0 0 13 2 0 0 17 0 8 0 875128492 533954560 28438 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 6 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=521440 CPUtime=0.12 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 4916 0 0 0 10 2 0 0 17 0 8 0 875128492 533954560 28438 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 3 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=521440 CPUtime=0.12 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 4471 0 0 0 9 3 0 0 17 0 8 0 875128492 533954560 28438 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 5 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=521440 CPUtime=0.14 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 5517 0 0 0 11 3 0 0 17 0 8 0 875128492 533954560 28438 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 7 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=521440 CPUtime=0.15 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 3871 0 0 0 13 2 0 0 17 0 8 0 875128492 533954560 28439 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 2 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=521440 CPUtime=0.16 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 5086 0 0 0 14 2 0 0 17 0 8 0 875128492 533954560 28439 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 0 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=521440 CPUtime=0.27 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 734 0 0 0 14 13 0 0 18 0 8 0 875128492 533954560 28439 33554432000 4194304 4627427 140733835773456 18446744073709551615 210646843577 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 521440
[startup+0.700298 s]
/proc/loadavg: 7.07 7.82 6.99 2/165 21184
/proc/meminfo: memFree=29648568/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=640228 CPUtime=2.94 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) D 21182 21184 20904 0 -1 4202496 61196 0 0 0 209 85 0 0 16 0 8 0 875128492 655593472 48179 33554432000 4194304 4627427 140733835773456 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 160057 48179 341 106 0 155028 0
[pid=21184/tid=21185] ppid=21182 vsize=640228 CPUtime=0.3 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) D 21182 21184 20904 0 -1 4202560 7984 0 0 0 22 8 0 0 16 0 8 0 875128492 655593472 48179 33554432000 4194304 4627427 140733835773456 18446744073709551615 210646807237 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=640228 CPUtime=0.27 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) D 21182 21184 20904 0 -1 4202560 8801 0 0 0 20 7 0 0 16 0 8 0 875128492 655593472 48179 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=640228 CPUtime=0.27 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) D 21182 21184 20904 0 -1 4202560 7170 0 0 0 19 8 0 0 16 0 8 0 875128492 655593472 48179 33554432000 4194304 4627427 140733835773456 18446744073709551615 4258711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=640228 CPUtime=0.36 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 9644 0 0 0 22 14 0 0 16 0 8 0 875128492 655593472 48179 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 7 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=640228 CPUtime=0.31 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 7317 0 0 0 24 7 0 0 16 0 8 0 875128492 655593472 48179 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 2 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=640228 CPUtime=0.33 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 9249 0 0 0 26 7 0 0 16 0 8 0 875128492 655593472 48179 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647204266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=640228 CPUtime=0.67 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 1014 0 0 0 48 19 0 0 18 0 8 0 875128492 655593472 48179 33554432000 4194304 4627427 140733835773456 18446744073709551615 4530656 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 640228
[startup+1.5012 s]
/proc/loadavg: 7.07 7.82 6.99 5/173 21192
/proc/meminfo: memFree=29434520/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=676388 CPUtime=5.03 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) S 21182 21184 20904 0 -1 4202496 79433 0 0 0 327 176 0 0 15 0 8 0 875128492 692621312 65235 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 169097 65235 341 106 0 164068 0
[pid=21184/tid=21185] ppid=21182 vsize=676388 CPUtime=0.64 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 8992 0 0 0 42 22 0 0 16 0 8 0 875128492 692621312 65237 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 4 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=676388 CPUtime=0.5 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 10661 0 0 0 28 22 0 0 16 0 8 0 875128492 692621312 65238 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 0 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=676388 CPUtime=0.51 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 11036 0 0 0 30 21 0 0 16 0 8 0 875128492 692621312 65239 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=676388 CPUtime=0.56 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 11363 0 0 0 31 25 0 0 16 0 8 0 875128492 692621312 65239 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=676388 CPUtime=0.49 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 9467 0 0 0 33 16 0 0 15 0 8 0 875128492 692621312 65239 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=676388 CPUtime=0.52 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 11227 0 0 0 33 19 0 0 15 0 8 0 875128492 692621312 65240 33554432000 4194304 4627427 140733835773456 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=676388 CPUtime=1.2 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 4948 0 0 0 91 29 0 0 17 0 8 0 875128492 692621312 65241 33554432000 4194304 4627427 140733835773456 18446744073709551615 4530796 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 676388
[startup+3.10089 s]
/proc/loadavg: 7.07 7.82 6.99 9/173 21192
/proc/meminfo: memFree=29314128/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=836472 CPUtime=9.91 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) S 21182 21184 20904 0 -1 4202496 131863 0 0 0 594 397 0 0 16 0 8 0 875128492 856547328 115134 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21184/statm: 209118 115134 341 106 0 204089 0
[pid=21184/tid=21185] ppid=21182 vsize=836472 CPUtime=1.3 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 14851 0 0 0 78 52 0 0 15 0 8 0 875128492 856547328 115134 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 3 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=836472 CPUtime=1.01 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 17125 0 0 0 51 50 0 0 16 0 8 0 875128492 856547328 115134 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=836472 CPUtime=1.04 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 18213 0 0 0 57 47 0 0 16 0 8 0 875128492 856547328 115145 33554432000 4194304 4627427 140733835773456 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=836472 CPUtime=1.11 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) D 21182 21184 20904 0 -1 4202560 18470 0 0 0 55 56 0 0 16 0 8 0 875128492 856547328 115158 33554432000 4194304 4627427 140733835773456 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=836472 CPUtime=1.45 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 12155 0 0 0 101 44 0 0 16 0 8 0 875128492 856547328 115158 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647189687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=836472 CPUtime=1.05 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 17102 0 0 0 60 45 0 0 16 0 8 0 875128492 856547328 115158 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 2 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=836472 CPUtime=1.83 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 12848 0 0 0 131 52 0 0 15 0 8 0 875128492 856547328 115158 33554432000 4194304 4627427 140733835773456 18446744073709551615 4530803 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.91
Current children cumulated vsize (KiB) 836472
[startup+6.30036 s]
/proc/loadavg: 7.31 7.86 7.01 4/173 21192
/proc/meminfo: memFree=28952084/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=1208104 CPUtime=19.17 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) R 21182 21184 20904 0 -1 4202496 228001 0 0 0 1087 830 0 0 15 0 8 0 875128492 1237098496 196104 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251487 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21184/statm: 302026 196106 341 106 0 296997 0
[pid=21184/tid=21185] ppid=21182 vsize=1208104 CPUtime=2.46 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 26891 0 0 0 137 109 0 0 16 0 8 0 875128492 1237098496 196107 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=1208104 CPUtime=1.98 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 30591 0 0 0 97 101 0 0 15 0 8 0 875128492 1237098496 196107 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=1208104 CPUtime=2.1 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 30737 0 0 0 109 101 0 0 15 0 8 0 875128492 1237098496 196107 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=1208104 CPUtime=2.07 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 31150 0 0 0 99 108 0 0 15 0 8 0 875128492 1237098496 196107 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251487 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=1208104 CPUtime=3.34 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 18876 0 0 0 235 99 0 0 16 0 8 0 875128492 1237098496 196107 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 4 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=1208104 CPUtime=2.05 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 30801 0 0 0 101 104 0 0 16 0 8 0 875128492 1237098496 196107 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 0 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=1208104 CPUtime=3.07 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) S 21182 21184 20904 0 -1 4202560 26292 0 0 0 203 104 0 0 16 0 8 0 875128492 1237098496 196109 33554432000 4194304 4627427 140733835773456 18446744073709551615 210647251438 0 0 4096 2 18446604470979870848 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=21184/tid=21189] ppid=21182 vsize=5839832 CPUtime=688.86 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 210094 0 0 0 68459 427 0 0 25 0 8 0 875128492 5979987968 1271544 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=5839832 CPUtime=686.95 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 215391 0 0 0 68258 437 0 0 25 0 8 0 875128492 5979987968 1271544 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=5839832 CPUtime=690.68 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 307741 0 0 0 68669 399 0 0 25 0 8 0 875128492 5979987968 1271544 33554432000 4194304 4627427 140733835773456 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5506.74
Current children cumulated vsize (KiB) 5839832
Solver just ended. Dumping a history of the last processes samples
[startup+716.701 s]
/proc/loadavg: 8.00 8.05 7.60 9/173 21213
/proc/meminfo: memFree=24534900/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=5936384 CPUtime=5621.85 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) R 21182 21184 20904 0 -1 4202496 1912371 0 0 0 558629 3556 0 0 25 0 8 0 875128492 6078857216 1278911 33554432000 4194304 4627427 140733835773456 18446744073709551615 4305848 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 1484096 1278911 391 106 0 1479067 0
[pid=21184/tid=21185] ppid=21182 vsize=5936384 CPUtime=704.72 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 241904 0 0 0 69959 513 0 0 25 0 8 0 875128492 6078857216 1278911 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=5936384 CPUtime=704.02 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 221904 0 0 0 70014 388 0 0 25 0 8 0 875128492 6078857216 1278911 33554432000 4194304 4627427 140733835773456 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=5936384 CPUtime=700.15 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 224586 0 0 0 69617 398 0 0 25 0 8 0 875128492 6078857216 1278911 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=5936384 CPUtime=698.36 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 243277 0 0 0 69404 432 0 0 25 0 8 0 875128492 6078857216 1278911 33554432000 4194304 4627427 140733835773456 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=5936384 CPUtime=703.26 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 211332 0 0 0 69898 428 0 0 25 0 8 0 875128492 6078857216 1278911 33554432000 4194304 4627427 140733835773456 18446744073709551615 4329689 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=5936384 CPUtime=701.35 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 216668 0 0 0 69697 438 0 0 25 0 8 0 875128492 6078857216 1278911 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=5936384 CPUtime=705.08 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 308629 0 0 0 70108 400 0 0 25 0 8 0 875128492 6078857216 1278911 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5621.85
Current children cumulated vsize (KiB) 5936384
[startup+742.301 s]
/proc/loadavg: 8.00 8.04 7.61 9/173 21215
/proc/meminfo: memFree=24475992/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=6192916 CPUtime=5826.51 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) R 21182 21184 20904 0 -1 4202496 1935889 0 0 0 579083 3568 0 0 25 0 8 0 875128492 6341545984 1293973 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308928 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 1548229 1293973 391 106 0 1543200 0
[pid=21184/tid=21185] ppid=21182 vsize=6192916 CPUtime=730.32 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 244224 0 0 0 72516 516 0 0 25 0 8 0 875128492 6341545984 1293973 33554432000 4194304 4627427 140733835773456 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=6192916 CPUtime=729.62 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 227427 0 0 0 72573 389 0 0 25 0 8 0 875128492 6341545984 1293973 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=6192916 CPUtime=725.75 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 229293 0 0 0 72175 400 0 0 25 0 8 0 875128492 6341545984 1293973 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=6192916 CPUtime=723.81 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 245505 0 0 0 71948 433 0 0 25 0 8 0 875128492 6341545984 1293973 33554432000 4194304 4627427 140733835773456 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=6192916 CPUtime=728.86 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 213542 0 0 0 72457 429 0 0 25 0 8 0 875128492 6341545984 1293973 33554432000 4194304 4627427 140733835773456 18446744073709551615 4501627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=6192916 CPUtime=726.95 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 218885 0 0 0 72256 439 0 0 25 0 8 0 875128492 6341545984 1293973 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=6192916 CPUtime=730.67 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 310482 0 0 0 72667 400 0 0 25 0 8 0 875128492 6341545984 1293973 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5826.51
Current children cumulated vsize (KiB) 6192916
[startup+748.701 s]
/proc/loadavg: 8.00 8.04 7.61 9/173 21215
/proc/meminfo: memFree=24495088/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=6181620 CPUtime=5877.68 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) R 21182 21184 20904 0 -1 4202496 1941215 0 0 0 584197 3571 0 0 25 0 8 0 875128492 6329978880 1288803 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 1545405 1288803 391 106 0 1540376 0
[pid=21184/tid=21185] ppid=21182 vsize=6181620 CPUtime=736.71 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 244775 0 0 0 73155 516 0 0 25 0 8 0 875128492 6329978880 1288803 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=6181620 CPUtime=736.02 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 227826 0 0 0 73213 389 0 0 25 0 8 0 875128492 6329978880 1288803 33554432000 4194304 4627427 140733835773456 18446744073709551615 4538330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=6181620 CPUtime=732.15 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 229719 0 0 0 72815 400 0 0 25 0 8 0 875128492 6329978880 1288803 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=6181620 CPUtime=730.18 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 245994 0 0 0 72585 433 0 0 25 0 8 0 875128492 6329978880 1288803 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=6181620 CPUtime=735.26 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 213542 0 0 0 73097 429 0 0 25 0 8 0 875128492 6329978880 1288803 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=6181620 CPUtime=733.35 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 219442 0 0 0 72895 440 0 0 25 0 8 0 875128492 6329978880 1288803 33554432000 4194304 4627427 140733835773456 18446744073709551615 4309021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=6181620 CPUtime=737.08 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 310808 0 0 0 73307 401 0 0 25 0 8 0 875128492 6329978880 1288803 33554432000 4194304 4627427 140733835773456 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5877.68
Current children cumulated vsize (KiB) 6181620
[startup+755.101 s]
/proc/loadavg: 8.00 8.04 7.62 9/173 21215
/proc/meminfo: memFree=24481324/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=6098660 CPUtime=5928.55 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) R 21182 21184 20904 0 -1 4202496 1949136 0 0 0 589282 3573 0 0 25 0 8 0 875128492 6245027840 1292240 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 1524665 1292240 391 106 0 1519636 0
[pid=21184/tid=21185] ppid=21182 vsize=6098660 CPUtime=742.83 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 245195 0 0 0 73766 517 0 0 25 0 8 0 875128492 6245027840 1292240 33554432000 4194304 4627427 140733835773456 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=6098660 CPUtime=742.43 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 228434 0 0 0 73853 390 0 0 25 0 8 0 875128492 6245027840 1292240 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=6098660 CPUtime=738.55 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 230344 0 0 0 73455 400 0 0 25 0 8 0 875128492 6245027840 1292240 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=6098660 CPUtime=736.54 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 248351 0 0 0 73221 433 0 0 25 0 8 0 875128492 6245027840 1292240 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=6098660 CPUtime=741.66 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 213644 0 0 0 73737 429 0 0 25 0 8 0 875128492 6245027840 1292240 33554432000 4194304 4627427 140733835773456 18446744073709551615 4538330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=6098660 CPUtime=739.75 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 219900 0 0 0 73535 440 0 0 25 0 8 0 875128492 6245027840 1292240 33554432000 4194304 4627427 140733835773456 18446744073709551615 4332937 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=6098660 CPUtime=743.47 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 313661 0 0 0 73946 401 0 0 25 0 8 0 875128492 6245027840 1292240 33554432000 4194304 4627427 140733835773456 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5928.55
Current children cumulated vsize (KiB) 6098660
[startup+756.701 s]
/proc/loadavg: 8.00 8.04 7.62 9/173 21215
/proc/meminfo: memFree=24475368/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=6098660 CPUtime=5941.38 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) R 21182 21184 20904 0 -1 4202496 1950270 0 0 0 590564 3574 0 0 25 0 8 0 875128492 6245027840 1293374 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 1524665 1293374 391 106 0 1519636 0
[pid=21184/tid=21185] ppid=21182 vsize=6098660 CPUtime=744.44 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 245372 0 0 0 73927 517 0 0 25 0 8 0 875128492 6245027840 1293374 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=6098660 CPUtime=744.03 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 228518 0 0 0 74013 390 0 0 25 0 8 0 875128492 6245027840 1293374 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=6098660 CPUtime=740.15 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 230550 0 0 0 73615 400 0 0 25 0 8 0 875128492 6245027840 1293374 33554432000 4194304 4627427 140733835773456 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=6098660 CPUtime=738.14 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 248541 0 0 0 73380 434 0 0 25 0 8 0 875128492 6245027840 1293374 33554432000 4194304 4627427 140733835773456 18446744073709551615 4321678 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=6098660 CPUtime=743.26 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 213644 0 0 0 73897 429 0 0 25 0 8 0 875128492 6245027840 1293374 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=6098660 CPUtime=741.35 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 220036 0 0 0 73695 440 0 0 25 0 8 0 875128492 6245027840 1293374 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308991 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=6098660 CPUtime=745.08 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 313851 0 0 0 74107 401 0 0 25 0 8 0 875128492 6245027840 1293374 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5941.38
Current children cumulated vsize (KiB) 6098660
[startup+757.501 s]
/proc/loadavg: 8.00 8.04 7.62 9/173 21215
/proc/meminfo: memFree=24475368/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=6098660 CPUtime=5947.74 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) R 21182 21184 20904 0 -1 4202496 1950641 0 0 0 591200 3574 0 0 25 0 8 0 875128492 6245027840 1293745 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 1524665 1293745 391 106 0 1519636 0
[pid=21184/tid=21185] ppid=21182 vsize=6098660 CPUtime=745.23 cores=0-7
/proc/21184/task/21185/stat : 21185 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 245416 0 0 0 74006 517 0 0 25 0 8 0 875128492 6245027840 1293745 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21184/tid=21186] ppid=21182 vsize=6098660 CPUtime=744.83 cores=0-7
/proc/21184/task/21186/stat : 21186 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 228576 0 0 0 74093 390 0 0 25 0 8 0 875128492 6245027840 1293745 33554432000 4194304 4627427 140733835773456 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21184/tid=21187] ppid=21182 vsize=6098660 CPUtime=740.95 cores=0-7
/proc/21184/task/21187/stat : 21187 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 230623 0 0 0 73695 400 0 0 25 0 8 0 875128492 6245027840 1293745 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=6098660 CPUtime=738.93 cores=0-7
/proc/21184/task/21188/stat : 21188 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 248578 0 0 0 73459 434 0 0 25 0 8 0 875128492 6245027840 1293745 33554432000 4194304 4627427 140733835773456 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=6098660 CPUtime=744.06 cores=0-7
/proc/21184/task/21189/stat : 21189 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 213644 0 0 0 73977 429 0 0 25 0 8 0 875128492 6245027840 1293745 33554432000 4194304 4627427 140733835773456 18446744073709551615 4515202 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=6098660 CPUtime=742.15 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 220057 0 0 0 73775 440 0 0 25 0 8 0 875128492 6245027840 1293745 33554432000 4194304 4627427 140733835773456 18446744073709551615 4257467 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=6098660 CPUtime=745.87 cores=0-7
/proc/21184/task/21191/stat : 21191 (strangenight2-m) R 21182 21184 20904 0 -1 4202560 313906 0 0 0 74186 401 0 0 25 0 8 0 875128492 6245027840 1293745 33554432000 4194304 4627427 140733835773456 18446744073709551615 4299701 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5947.74
Current children cumulated vsize (KiB) 6098660
[startup+758.301 s]
/proc/loadavg: 8.00 8.04 7.62 9/173 21215
/proc/meminfo: memFree=24473508/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=0 CPUtime=5954.09 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) Z 21182 21184 20904 0 -1 4203548 1950998 0 0 0 591834 3575 0 0 25 0 2 0 875128492 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 0 0 0 0 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=0 CPUtime=742.95 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4203588 220094 0 0 0 73854 441 0 0 25 0 2 0 875128492 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5954.09
Current children cumulated vsize (KiB) 0
[startup+758.501 s]
/proc/loadavg: 8.00 8.04 7.62 9/173 21215
/proc/meminfo: memFree=24473508/32951132 swapFree=67061144/67111528
[pid=21184] ppid=21182 vsize=0 CPUtime=5954.29 cores=0-7
/proc/21184/stat : 21184 (strangenight2-m) Z 21182 21184 20904 0 -1 4203548 1950998 0 0 0 591834 3595 0 0 25 0 2 0 875128492 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21184/statm: 0 0 0 0 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=0 CPUtime=743.15 cores=0-7
/proc/21184/task/21190/stat : 21190 (strangenight2-m) R 21182 21184 20904 0 -1 4203588 220094 0 0 0 73854 461 0 0 25 0 2 0 875128492 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5954.29
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 758.544
CPU time (s): 5954.34
CPU user time (s): 5918.35
CPU system time (s): 35.9935
CPU usage (%): 784.97
Max. virtual memory (cumulated for all children) (KiB): 6304908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5918.35
system time used= 35.9935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1950998
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= 1577784
involuntary context switches= 52510
runsolver used 1.13183 second user time and 2.99454 second system time
The end
Begin job on node129 at 2011-06-09 18:01:29
IDJOB=3321098
IDBENCH=82371
IDSOLVER=1709
FILE ID=node129/3321098-1307635284
RUNJOBID= node129-1307633302-20918
PBS_JOBID= 13549434
Free space on /tmp= 74012 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321098-1307635284/watcher-3321098-1307635284 -o /tmp/evaluation-result-3321098-1307635284/solver-3321098-1307635284 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321098-1307635284.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8d94c04f870c828c80bd9a45ae3dedff
RANDOM SEED=508351959
node129.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.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
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.831
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.831
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.82
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.831
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.74
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.831
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.831
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.831
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: 32951132 kB
MemFree: 29649128 kB
Buffers: 380284 kB
Cached: 2646860 kB
SwapCached: 13136 kB
Active: 881712 kB
Inactive: 2162900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 29649128 kB
SwapTotal: 67111528 kB
SwapFree: 67061144 kB
Dirty: 164800 kB
Writeback: 0 kB
AnonPages: 14292 kB
Mapped: 8576 kB
Slab: 193768 kB
PageTables: 3820 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 155156 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74004 MiB
End job on node129 at 2011-06-09 18:14:07