0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
1.75/0.08 c This is CryptoMiniSat 3.0.0
1.75/0.08 c WARNING: for repeatability, setting FPU to use double precision
1.75/0.08 c Reading file 'HOME/instance-3400631-1306257357.cnf'
2.56/0.11 c -- header says num vars: 263022
2.56/0.11 c -- header says num clauses: 782329
102.82/7.96 c -- clauses added: 0 learnts, 782329 normals, 0 xors
102.82/7.96 c -- vars added 263022
102.82/7.96 c Parsing time: 1.42 s
102.82/7.97 c N st 0 0 263022 260776 521552 0 1825432 0 no data no data
150.53/9.56 c asymm cl-useful: 0/38904/260775 lits-rem:0 time: 1.55
1045.50/37.57 c Flit: 211 Blit: 7050 bXBeca: 0 bXProp: 17066 Bins: 0 BRemL: 0 BRemN: 0 P: 181.3M T: 27.99
1048.70/37.64 c Cleaning up after failed var search: 0.07 s
1051.90/37.79 c Replacing 17066 vars Replaced 275530 lits Time: 0.14 s
1061.40/38.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
1064.59/38.13 c bin-w-bin subsume rem 798 bins time: 0.09 s
1070.97/38.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.22 s
1097.41/39.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 137187 time: 0.81 s
1106.00/39.60 c Removed useless bin: 64 fixed: 0 props: 20.00M time: 0.39 s
1176.54/42.07 c lits-rem: 1 cl-subs: 95 v-elim: 78788 v-fix: 0 time: 1.58 s
1179.33/42.18 c Finding binary XORs T: 0.11 s found: 0
1189.10/42.51 c Finding non-binary XORs: 0.13 s (found: 5992, avg size: 3.0)
1189.10/42.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 5 locsubst: 36 time: 0.11
1189.10/42.55 c calculated reachability. Time: 0.01
1190.94/42.62 c Calc default polars - time: 0.06 s pos: 55977 undec: 105629 neg: 101416
1190.94/42.62 c =========================================================================================
1190.94/42.62 c types(t): F = full restart, N = normal restart
1190.94/42.62 c types(t): S = simplification begin/end, E = solution found
1190.94/42.62 c restart types(rt): st = static, dy = dynamic
1190.94/42.62 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1190.94/42.62 c B st 0 0 157572 185681 324825 0 1320491 0 no data no data
1384.29/49.60 c N dy 16 4685 157566 185681 325011 4155 1320489 58735 6.06 6.49
1569.67/55.41 c N dy 38 8912 157511 185681 325718 7898 1320489 111124 6.54 6.99
1771.05/61.74 c N dy 62 13068 157471 185681 326712 11606 1320489 160779 6.76 7.49
1937.27/66.97 c N dy 85 17089 157001 185681 326740 15279 1320489 210043 6.74 7.31
2135.43/73.13 c N dy 112 21189 156487 185681 327411 10124 1320489 75297 6.81 7.88
2336.72/79.49 c F st 136 25000 156482 185681 329810 13646 1320489 128770 6.87 no data
2343.12/79.64 c Replacing 43 vars Replaced 778 lits Time: 0.10 s
2791.76/93.78 c N st 137 25253 155868 179455 324578 13696 1284433 136336 6.87 no data
2836.49/95.17 c Finding binary XORs T: 0.12 s found: 2783
2842.88/95.30 c Replacing 2783 vars Replaced 59462 lits Time: 0.12 s
2961.76/99.02 c N dy 142 30001 153085 178888 317361 18070 1271487 234223 6.87 no data
2961.76/99.03 c S st 142 30001 153085 178888 317361 18070 1271487 234223 6.87 no data
2996.92/100.13 c S st 142 30502 153081 178888 317382 18536 1271484 239749 6.87 no data
2999.48/100.22 c x-sub: 11 x-cut: 0 vfix: 0 v-elim: 294 locsubst: 6 time: 0.10
4137.37/135.82 c Flit: 138 Blit: 765 bXBeca: 0 bXProp: 3546 Bins: 57257 BRemL: 12604 BRemN: 6 P: 196.8M T: 35.59
4137.37/135.89 c Cleaning up after failed var search: 0.05 s
4143.77/136.03 c Replacing 3548 vars Replaced 118594 lits Time: 0.13 s
4146.97/136.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
4150.17/136.26 c bin-w-bin subsume rem 6736 bins time: 0.08 s
4157.18/136.44 c subs with bin: 429 lits-rem: 1267 v-fix: 0 time: 0.18 s
4182.13/137.25 c Subs w/ non-existent bins: 149 l-rem: 776 v-fix: 0 done: 143270 time: 0.81 s
4201.29/137.84 c Removed useless bin: 283 fixed: 0 props: 20.00M time: 0.59 s
4252.41/139.49 c lits-rem: 195 cl-subs: 990 v-elim: 98292 v-fix: 0 time: 1.31 s
4255.62/139.58 c subs with bin: 699 lits-rem: 3368 v-fix: 0 time: 0.05 s
4262.63/139.77 c lits-rem: 563 cl-subs: 701 v-elim: 0 v-fix: 0 time: 0.12 s
4287.58/140.55 c asymm cl-useful: 642/42319/191257 lits-rem:693 time: 0.78
4287.58/140.58 c calculated reachability. Time: 0.01
4287.58/140.59 c N dy 142 30502 49148 191240 75034 8170 928365 105288 6.87 no data
4290.78/140.64 c Finding binary XORs T: 0.05 s found: 2
4351.00/142.75 c Finding binary XORs T: 0.06 s found: 3180
4353.78/142.87 c Replacing 3184 vars Replaced 200014 lits Time: 0.11 s
4373.79/143.52 c N dy 171 34532 44365 172994 115357 8292 830697 229583 7.14 7.53
4481.06/147.66 c N dy 199 38568 44355 172994 140072 11781 830697 334789 7.26 8.66
4492.48/148.03 c Finding binary XORs T: 0.05 s found: 182
4558.60/150.35 c N dy 230 42638 44322 172622 139573 7815 828461 220528 7.59 13.83
4596.82/151.64 c Finding binary XORs T: 0.05 s found: 334
4600.40/151.72 c Replacing 516 vars Replaced 81376 lits Time: 0.08 s
4621.89/152.56 c S st 249 45754 43701 170579 172462 10264 817504 327286 7.60 6.02
4635.58/153.02 c S st 249 46256 43697 170579 172496 10693 817503 331118 7.60 no data
4635.58/153.09 c x-sub: 474 x-cut: 0 vfix: 0 v-elim: 127 locsubst: 280 time: 0.07
4870.45/160.58 c Flit: 73 Blit: 165 bXBeca: 0 bXProp: 1186 Bins: 33705 BRemL: 9576 BRemN: 26 P: 68.2M T: 7.43
4870.45/160.58 c Cleaning up after failed var search: 0.00 s
4876.23/160.73 c Replacing 1314 vars Replaced 176222 lits Time: 0.14 s
4879.43/160.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
4889.03/161.15 c bin-w-bin subsume rem 92796 bins time: 0.31 s
4892.23/161.24 c subs with bin: 2972 lits-rem: 3145 v-fix: 0 time: 0.09 s
4898.62/161.42 c Subs w/ non-existent bins: 658 l-rem: 1362 v-fix: 0 done: 41954 time: 0.17 s
4901.82/161.51 c Removed useless bin: 259 fixed: 0 props: 2.29M time: 0.09 s
4917.79/162.04 c lits-rem: 671 cl-subs: 7369 v-elim: 12981 v-fix: 0 time: 0.53 s
4920.99/162.11 c subs with bin: 448 lits-rem: 1601 v-fix: 0 time: 0.04 s
4924.19/162.26 c lits-rem: 462 cl-subs: 915 v-elim: 0 v-fix: 0 time: 0.09 s
4927.38/162.39 c vivif2 -- cl tried 133539 cl shrink 2033 lits rem 3196 time: 0.13
4930.62/162.41 c vivif2 -- cl tried 7117 cl shrink 829 lits rem 1501 time: 0.02
4952.96/163.11 c asymm cl-useful: 0/21316/133244 lits-rem:0 time: 0.69
4952.96/163.15 c calculated reachability. Time: 0.03
4952.96/163.15 c N dy 249 46256 28973 133244 49132 7075 642752 100449 7.60 no data
4956.15/163.27 c Finding binary XORs T: 0.11 s found: 38
5023.27/165.31 c N dy 271 50283 28939 133244 56608 10425 642751 167292 7.57 8.79
5074.43/166.99 c N dy 297 54292 28938 133244 56645 13877 642751 229817 7.65 18.15
5093.58/167.56 c Finding binary XORs T: 0.08 s found: 189
5135.10/168.84 c N dy 333 58371 28933 132813 68421 17339 640152 326121 7.82 12.99
5189.97/170.54 c N dy 365 62422 28930 132813 77415 20861 640151 415159 7.92 8.43
5225.04/171.63 c Finding binary XORs T: 0.09 s found: 36
5249.98/172.49 c N dy 399 66654 28930 132723 77120 12703 639435 184724 8.03 8.46
5272.33/173.17 c Finding binary XORs T: 0.09 s found: 154
5275.53/173.25 c Replacing 417 vars Replaced 47246 lits Time: 0.07 s
5297.89/173.95 c S st 418 69384 28484 131952 109324 14829 634553 291909 8.05 no data
5310.68/174.31 c S st 418 69887 28483 131952 109340 15252 634552 296103 8.05 no data
5310.68/174.37 c x-sub: 128 x-cut: 0 vfix: 0 v-elim: 190 locsubst: 0 time: 0.06
5394.94/177.16 c Flit: 13 Blit: 5 bXBeca: 0 bXProp: 91 Bins: 20701 BRemL: 28973 BRemN: 21 P: 23.2M T: 2.78
5397.27/177.26 c Replacing 91 vars Replaced 29720 lits Time: 0.09 s
5399.98/177.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5402.77/177.48 c bin-w-bin subsume rem 40173 bins time: 0.13 s
5405.64/177.55 c subs with bin: 1347 lits-rem: 1836 v-fix: 0 time: 0.07 s
5408.42/177.66 c Subs w/ non-existent bins: 197 l-rem: 220 v-fix: 0 done: 28179 time: 0.10 s
5411.31/177.71 c Removed useless bin: 241 fixed: 0 props: 1.02M time: 0.06 s
5417.32/177.96 c lits-rem: 294 cl-subs: 2278 v-elim: 1013 v-fix: 0 time: 0.23 s
5420.40/178.05 c subs with bin: 343 lits-rem: 2196 v-fix: 0 time: 0.05 s
5427.38/178.23 c lits-rem: 500 cl-subs: 819 v-elim: 0 v-fix: 0 time: 0.11 s
5429.93/178.32 c vivif2 -- cl tried 125112 cl shrink 709 lits rem 1124 time: 0.09
5429.93/178.35 c vivif2 -- cl tried 13441 cl shrink 1221 lits rem 2871 time: 0.03
5452.31/179.06 c asymm cl-useful: 24/21162/125038 lits-rem:72 time: 0.71
5455.50/179.10 c calculated reachability. Time: 0.02
5455.50/179.10 c N dy 418 69887 27166 125014 55429 13413 600498 169424 8.05 no data
5455.50/179.20 c Finding binary XORs T: 0.09 s found: 10
5519.38/181.15 c N dy 448 75161 27130 125014 67688 17955 600498 282247 8.08 8.87
5544.93/181.92 c Finding binary XORs T: 0.09 s found: 650
5544.93/182.00 c Replacing 660 vars Replaced 55251 lits Time: 0.08 s
5589.67/183.33 c N dy 484 79982 26218 120247 58687 20086 573726 325212 8.15 11.17
5596.06/183.59 c Finding binary XORs T: 0.09 s found: 192
5646.30/185.15 c N dy 510 85088 26206 120043 58543 24357 572229 407647 8.15 13.89
5678.52/186.27 c F st 524 87500 26198 120043 65130 26352 572229 453933 8.14 no data
5681.43/186.38 c Replacing 196 vars Replaced 16919 lits Time: 0.07 s
5718.96/187.67 c N st 529 90795 25988 119834 64119 14883 571182 179834 8.14 no data
5739.30/188.40 c Finding binary XORs T: 0.08 s found: 378
5745.02/188.55 c Replacing 381 vars Replaced 31714 lits Time: 0.07 s
5929.33/211.18 c Following stats are for *FIRST FINISHED THREAD ONLY*
5929.33/211.18 c num threads : 32
5929.33/211.18 c restarts : 656
5929.33/211.18 c dynamic restarts : 638
5929.33/211.18 c static restarts : 18
5929.33/211.18 c full restarts : 2
5929.33/211.18 c total simplify time : 1.95
5929.33/211.18 c learnts DL2 : 0
5929.33/211.18 c learnts size 2 : 1211472
5929.33/211.18 c learnts size 1 : 19778 (7.52 % of vars)
5929.33/211.18 c filedLit time : 62.59 (32.17 % time)
5929.33/211.18 c v-elim SatELite : 182984 (69.57 % vars)
5929.33/211.18 c SatELite time : 4.82 (2.48 % time)
5929.33/211.18 c v-elim xor : 436 (0.17 % vars)
5929.33/211.18 c xor elim time : 0.25 (0.13 % time)
5929.33/211.18 c num binary xor trees : 6781
5929.33/211.18 c binxor trees' crown : 34201 (5.04 leafs/tree)
5929.33/211.18 c bin xor find time : 1.00
5929.33/211.18 c OTF clause improved : 13013 (0.11 clauses/conflict)
5929.33/211.18 c OTF impr. size diff : 13941 (1.07 lits/clause)
5929.33/211.18 c OTF cl watch-shrink : 45172 (0.37 clauses/conflict)
5929.33/211.18 c OTF cl watch-sh-lit : 129619 (2.87 lits/clause)
5929.33/211.18 c tried to recurMin cls : 21648 (17.97 % of conflicts)
5929.33/211.18 c updated cache : 0 (0.00 lits/tried recurMin)
5929.33/211.18 c unit cls recevied : 495 (2.50 % of units)
5929.33/211.18 c unit cls sent : 3566 (18.03 % of units)
5929.33/211.18 c bin cls recevied : 308099
5929.33/211.18 c bin cls sent : 292906
5929.33/211.18 c clauses over max glue : 0 (0.00 % of all clauses)
5929.33/211.18 c conflicts : 120487 (619.32 / sec)
5929.33/211.18 c decisions : 1596119 (3.38 % random)
5929.33/211.18 c bogo-props : 1440839860 (7406149.29 / sec)
5929.33/211.18 c conflict literals : 2023899 (22.79 % deleted)
5929.33/211.18 c Memory used : 12105.73 MB
5929.33/211.18 c single-thread CPU time : 194.55 s
5929.33/211.18 c all-threads sum CPU time : 5723.69 s
5929.33/211.18 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400631-1306257357/watcher-3400631-1306257357 -o /tmp/evaluation-result-3400631-1306257357/solver-3400631-1306257357 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400631-1306257357.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.19 30.47 31.39 1/413 9574
/proc/meminfo: memFree=255160568/264257624 swapFree=67111528/67111528
[pid=9574] ppid=9572 vsize=338000 CPUtime=0.79 cores=0-31
/proc/9574/stat : 9574 (strangenight2-m) R 9572 9574 9488 0 -1 4202496 437 0 0 0 79 0 0 0 24 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047852 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9574/statm: 84500 377 297 95 0 79482 0
[pid=9574/tid=9575] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9575/stat : 9575 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047852 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9574/tid=9576] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9576/stat : 9576 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9574/tid=9577] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9577/stat : 9577 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047848 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9574/tid=9578] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9578/stat : 9578 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047852 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9574/tid=9579] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9579/stat : 9579 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9574/tid=9580] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9580/stat : 9580 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9574/tid=9581] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9581/stat : 9581 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9574/tid=9582] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9582/stat : 9582 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9574/tid=9583] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9583/stat : 9583 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9574/tid=9584] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9584/stat : 9584 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9574/tid=9585] ppid=9572 vsize=338000 CPUtime=0 cores=0-31
/proc/9574/task/9585/stat : 9585 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9574/tid=9586] ppid=9572 vsize=338000 CPUtime=0 cores=0-31
/proc/9574/task/9586/stat : 9586 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047852 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9574/tid=9587] ppid=9572 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9574/task/9587/stat : 9587 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047856 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9574/tid=9588] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9588/stat : 9588 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9574/tid=9589] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9589/stat : 9589 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9574/tid=9590] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9590/stat : 9590 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9574/tid=9591] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9591/stat : 9591 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9574/tid=9592] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9592/stat : 9592 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9574/tid=9593] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9593/stat : 9593 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047856 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9574/tid=9594] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9594/stat : 9594 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9574/tid=9595] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9595/stat : 9595 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9574/tid=9596] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9596/stat : 9596 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9574/tid=9597] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9597/stat : 9597 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9574/tid=9598] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9598/stat : 9598 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047862 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9574/tid=9599] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9599/stat : 9599 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047852 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9574/tid=9600] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9600/stat : 9600 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9574/tid=9601] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9601/stat : 9601 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047848 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9574/tid=9602] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9602/stat : 9602 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047862 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9574/tid=9603] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9603/stat : 9603 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9574/tid=9604] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9604/stat : 9604 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047856 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9574/tid=9605] ppid=9572 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9574/task/9605/stat : 9605 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737222202 346112000 377 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.0648281 s]
/proc/loadavg: 27.19 30.47 31.39 1/413 9574
/proc/meminfo: memFree=255160568/264257624 swapFree=67111528/67111528
[pid=9574] ppid=9572 vsize=338000 CPUtime=1.75 cores=0-31
/proc/9574/stat : 9574 (strangenight2-m) R 9572 9574 9488 0 -1 4202496 468 0 0 0 175 0 0 0 25 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047447 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9574/statm: 84500 408 300 95 0 79482 0
[pid=9574/tid=9575] ppid=9572 vsize=338000 CPUtime=0.06 cores=0-31
/proc/9574/task/9575/stat : 9575 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 6 0 0 0 21 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9574/tid=9576] ppid=9572 vsize=338000 CPUtime=0.06 cores=0-31
/proc/9574/task/9576/stat : 9576 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 4 0 0 0 6 0 0 0 21 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9574/tid=9577] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9577/stat : 9577 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9574/tid=9578] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9578/stat : 9578 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9574/tid=9579] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9579/stat : 9579 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9574/tid=9580] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9580/stat : 9580 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047453 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9574/tid=9581] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9581/stat : 9581 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047443 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9574/tid=9582] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9582/stat : 9582 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9574/tid=9583] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9583/stat : 9583 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9574/tid=9584] ppid=9572 vsize=338000 CPUtime=0.04 cores=0-31
/proc/9574/task/9584/stat : 9584 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047858 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9574/tid=9585] ppid=9572 vsize=338000 CPUtime=0 cores=0-31
/proc/9574/task/9585/stat : 9585 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047453 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9574/tid=9586] ppid=9572 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9574/task/9586/stat : 9586 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047447 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9574/tid=9587] ppid=9572 vsize=338000 CPUtime=0.04 cores=0-31
/proc/9574/task/9587/stat : 9587 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047443 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9574/tid=9588] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9588/stat : 9588 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9574/tid=9589] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9589/stat : 9589 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047447 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9574/tid=9590] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9590/stat : 9590 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047443 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9574/tid=9591] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9591/stat : 9591 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9574/tid=9592] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9592/stat : 9592 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9574/tid=9593] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9593/stat : 9593 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9574/tid=9594] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9594/stat : 9594 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9574/tid=9595] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9595/stat : 9595 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9574/tid=9596] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9596/stat : 9596 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047447 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9574/tid=9597] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9597/stat : 9597 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9574/tid=9598] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9598/stat : 9598 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9574/tid=9599] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9599/stat : 9599 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9574/tid=9600] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9600/stat : 9600 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047453 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9574/tid=9601] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9601/stat : 9601 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047453 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9574/tid=9602] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9602/stat : 9602 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047440 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9574/tid=9603] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9603/stat : 9603 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9574/tid=9604] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9604/stat : 9604 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9574/tid=9605] ppid=9572 vsize=338000 CPUtime=0.05 cores=0-31
/proc/9574/task/9605/stat : 9605 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 737222202 346112000 408 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047449 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 338000
[startup+0.102893 s]
/proc/loadavg: 27.19 30.47 31.39 1/413 9574
/proc/meminfo: memFree=255160568/264257624 swapFree=67111528/67111528
[pid=9574] ppid=9572 vsize=732432 CPUtime=2.56 cores=0-31
/proc/9574/stat : 9574 (strangenight2-m) R 9572 9574 9488 0 -1 4202496 5924 0 0 0 225 31 0 0 25 0 32 0 737222202 750010368 5776 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9574/statm: 183108 5875 322 95 0 178090 0
[pid=9574/tid=9575] ppid=9572 vsize=732432 CPUtime=0.07 cores=0-31
/proc/9574/task/9575/stat : 9575 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 166 0 0 0 7 0 0 0 18 0 32 0 737222202 750010368 5950 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9574/tid=9576] ppid=9572 vsize=732432 CPUtime=0.07 cores=0-31
/proc/9574/task/9576/stat : 9576 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 179 0 0 0 7 0 0 0 22 0 32 0 737222202 750010368 6040 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9574/tid=9577] ppid=9572 vsize=732432 CPUtime=0.08 cores=0-31
/proc/9574/task/9577/stat : 9577 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 183 0 0 0 7 1 0 0 18 0 32 0 737222202 750010368 6104 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9574/tid=9578] ppid=9572 vsize=732432 CPUtime=0.07 cores=0-31
/proc/9574/task/9578/stat : 9578 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 165 0 0 0 7 0 0 0 23 0 32 0 737222202 750010368 6175 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9574/tid=9579] ppid=9572 vsize=732432 CPUtime=0.07 cores=0-31
/proc/9574/task/9579/stat : 9579 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 158 0 0 0 7 0 0 0 23 0 32 0 737222202 750010368 6237 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9574/tid=9580] ppid=9572 vsize=732432 CPUtime=0.08 cores=0-31
/proc/9574/task/9580/stat : 9580 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 224 0 0 0 7 1 0 0 18 0 32 0 737222202 750010368 6316 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9574/tid=9581] ppid=9572 vsize=732432 CPUtime=0.07 cores=0-31
/proc/9574/task/9581/stat : 9581 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 237 0 0 0 7 0 0 0 18 0 32 0 737222202 750010368 6377 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9574/tid=9582] ppid=9572 vsize=732432 CPUtime=0.08 cores=0-31
/proc/9574/task/9582/stat : 9582 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 187 0 0 0 7 1 0 0 23 0 32 0 737222202 750010368 6453 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9574/tid=9583] ppid=9572 vsize=732432 CPUtime=0.08 cores=0-31
/proc/9574/task/9583/stat : 9583 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 232 0 0 0 7 1 0 0 18 0 32 0 737222202 750010368 6543 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9574/tid=9584] ppid=9572 vsize=732432 CPUtime=0.05 cores=0-31
/proc/9574/task/9584/stat : 9584 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 231 0 0 0 4 1 0 0 18 0 32 0 737222202 750010368 6618 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9574/tid=9585] ppid=9572 vsize=732432 CPUtime=0.02 cores=0-31
/proc/9574/task/9585/stat : 9585 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 15 0 0 0 2 0 0 0 24 0 32 0 737222202 750010368 6680 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9574/tid=9586] ppid=9572 vsize=732432 CPUtime=0.04 cores=0-31
/proc/9574/task/9586/stat : 9586 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 202 0 0 0 4 0 0 0 24 0 32 0 737222202 750010368 6761 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=9574/tid=9587] ppid=9572 vsize=732432 CPUtime=0.07 cores=0-31
/proc/9574/task/9587/stat : 9587 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 182 0 0 0 6 1 0 0 18 0 32 0 737222202 750010368 6829 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9574/tid=9588] ppid=9572 vsize=732432 CPUtime=0.07 cores=0-31
/proc/9574/task/9588/stat : 9588 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 210 0 0 0 6 1 0 0 24 0 32 0 737222202 750010368 6894 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9574/tid=9589] ppid=9572 vsize=732432 CPUtime=0.08 cores=0-31
/proc/9574/task/9589/stat : 9589 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 204 0 0 0 7 1 0 0 24 0 32 0 737222202 750010368 6968 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9574/tid=9590] ppid=9572 vsize=732432 CPUtime=0.07 cores=0-31
/proc/9574/task/9590/stat : 9590 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 190 0 0 0 7 0 0 0 24 0 32 0 737222202 750010368 7013 268435456000 4194304 4580107 140736801317216 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9574/tid=9591] ppid=9572 vsize=732432 CPUtime=0.08 cores=0-31
################
# More data... #
################
[pid=9574/tid=9604] ppid=9572 vsize=12396260 CPUtime=180.86 cores=0-31
/proc/9574/task/9604/stat : 9604 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 524743 0 0 0 17530 556 0 0 15 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604482199035360 0 0 -1 19 0 0 0
[pid=9574/tid=9605] ppid=9572 vsize=12396260 CPUtime=181.55 cores=0-31
/proc/9574/task/9605/stat : 9605 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 48693 0 0 0 17927 228 0 0 16 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604504136392160 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 5922.94
Current children cumulated vsize (KiB) 12396260
[startup+209.502 s]
/proc/loadavg: 25.08 29.58 30.94 3/445 9612
/proc/meminfo: memFree=244909892/264257624 swapFree=67111528/67111528
[pid=9574] ppid=9572 vsize=12396260 CPUtime=5926.1 cores=0-31
/proc/9574/stat : 9574 (strangenight2-m) S 9572 9574 9488 0 -1 4202496 23935034 0 0 0 572032 20578 0 0 16 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/9574/statm: 3099065 2552826 379 95 0 3094047 0
[pid=9574/tid=9575] ppid=9572 vsize=12396260 CPUtime=199.43 cores=0-31
/proc/9574/task/9575/stat : 9575 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 744993 0 0 0 19286 657 0 0 25 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747022891 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9574/tid=9576] ppid=9572 vsize=12396260 CPUtime=180.53 cores=0-31
/proc/9574/task/9576/stat : 9576 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 952111 0 0 0 17457 596 0 0 16 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604499809213920 0 0 -1 15 0 0 0
[pid=9574/tid=9577] ppid=9572 vsize=12396260 CPUtime=182.33 cores=0-31
/proc/9574/task/9577/stat : 9577 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 545738 0 0 0 17550 683 0 0 16 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604572816637408 0 0 -1 16 0 0 0
[pid=9574/tid=9578] ppid=9572 vsize=12396260 CPUtime=180.83 cores=0-31
/proc/9574/task/9578/stat : 9578 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 714768 0 0 0 17361 722 0 0 16 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446744071566932224 0 0 -1 30 0 0 0
[pid=9574/tid=9579] ppid=9572 vsize=12396260 CPUtime=181.46 cores=0-31
/proc/9574/task/9579/stat : 9579 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 578087 0 0 0 17439 707 0 0 16 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604483376020960 0 0 -1 9 0 0 0
[pid=9574/tid=9580] ppid=9572 vsize=12396260 CPUtime=189.83 cores=0-31
/proc/9574/task/9580/stat : 9580 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 305153 0 0 0 18481 502 0 0 15 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604479997672928 0 0 -1 12 0 0 0
[pid=9574/tid=9581] ppid=9572 vsize=12396260 CPUtime=195.95 cores=0-31
/proc/9574/task/9581/stat : 9581 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 380780 0 0 0 19159 436 0 0 18 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604505616694752 0 0 -1 29 0 0 0
[pid=9574/tid=9582] ppid=9572 vsize=12396260 CPUtime=198.58 cores=0-31
/proc/9574/task/9582/stat : 9582 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 357237 0 0 0 19318 540 0 0 18 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604480129334752 0 0 -1 22 0 0 0
[pid=9574/tid=9583] ppid=9572 vsize=12396260 CPUtime=200.08 cores=0-31
/proc/9574/task/9583/stat : 9583 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 406500 0 0 0 19431 577 0 0 25 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 4399566 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9574/tid=9584] ppid=9572 vsize=12396260 CPUtime=181.05 cores=0-31
/proc/9574/task/9584/stat : 9584 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 714602 0 0 0 17538 567 0 0 16 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604501979897312 0 0 -1 30 0 0 0
[pid=9574/tid=9585] ppid=9572 vsize=12396260 CPUtime=194.29 cores=0-31
/proc/9574/task/9585/stat : 9585 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 1184835 0 0 0 18698 731 0 0 18 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604492793290208 0 0 -1 26 0 0 0
[pid=9574/tid=9586] ppid=9572 vsize=12396260 CPUtime=179.47 cores=0-31
/proc/9574/task/9586/stat : 9586 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 521215 0 0 0 17418 529 0 0 17 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604485364309472 0 0 -1 13 0 0 0
[pid=9574/tid=9587] ppid=9572 vsize=12396260 CPUtime=179.78 cores=0-31
/proc/9574/task/9587/stat : 9587 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 805482 0 0 0 17341 637 0 0 18 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604481779736032 0 0 -1 6 0 0 0
[pid=9574/tid=9588] ppid=9572 vsize=12396260 CPUtime=187.81 cores=0-31
/proc/9574/task/9588/stat : 9588 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 1149641 0 0 0 18053 728 0 0 18 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604504247418336 0 0 -1 15 0 0 0
[pid=9574/tid=9589] ppid=9572 vsize=12396260 CPUtime=180.94 cores=0-31
/proc/9574/task/9589/stat : 9589 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 892679 0 0 0 17331 763 0 0 17 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604505442459104 0 0 -1 14 0 0 0
[pid=9574/tid=9590] ppid=9572 vsize=12396260 CPUtime=180.39 cores=0-31
/proc/9574/task/9590/stat : 9590 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 898250 0 0 0 17309 730 0 0 17 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604505828261344 0 0 -1 10 0 0 0
[pid=9574/tid=9591] ppid=9572 vsize=12396260 CPUtime=178.53 cores=0-31
/proc/9574/task/9591/stat : 9591 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 608746 0 0 0 17260 593 0 0 16 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604484594769376 0 0 -1 5 0 0 0
[pid=9574/tid=9592] ppid=9572 vsize=12396260 CPUtime=179.56 cores=0-31
/proc/9574/task/9592/stat : 9592 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 844309 0 0 0 17241 715 0 0 17 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604481910529504 0 0 -1 18 0 0 0
[pid=9574/tid=9593] ppid=9572 vsize=12396260 CPUtime=179.21 cores=0-31
/proc/9574/task/9593/stat : 9593 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 653774 0 0 0 17239 682 0 0 18 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604478751276512 0 0 -1 11 0 0 0
[pid=9574/tid=9594] ppid=9572 vsize=12396260 CPUtime=180.3 cores=0-31
/proc/9574/task/9594/stat : 9594 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 502358 0 0 0 17514 516 0 0 16 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604504762973664 0 0 -1 29 0 0 0
[pid=9574/tid=9595] ppid=9572 vsize=12396260 CPUtime=196.18 cores=0-31
/proc/9574/task/9595/stat : 9595 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 1317817 0 0 0 18826 792 0 0 25 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604504715165152 0 0 -1 23 0 0 0
[pid=9574/tid=9596] ppid=9572 vsize=12396260 CPUtime=180.44 cores=0-31
/proc/9574/task/9596/stat : 9596 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 672530 0 0 0 17378 666 0 0 16 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604498687073760 0 0 -1 20 0 0 0
[pid=9574/tid=9597] ppid=9572 vsize=12396260 CPUtime=180.62 cores=0-31
/proc/9574/task/9597/stat : 9597 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 677425 0 0 0 17370 692 0 0 17 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604504025521632 0 0 -1 21 0 0 0
[pid=9574/tid=9598] ppid=9572 vsize=12396260 CPUtime=178.96 cores=0-31
/proc/9574/task/9598/stat : 9598 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 813712 0 0 0 17166 730 0 0 18 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604506026458592 0 0 -1 25 0 0 0
[pid=9574/tid=9599] ppid=9572 vsize=12396260 CPUtime=179.94 cores=0-31
/proc/9574/task/9599/stat : 9599 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 861034 0 0 0 17231 763 0 0 19 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604502313328096 0 0 -1 3 0 0 0
[pid=9574/tid=9600] ppid=9572 vsize=12396260 CPUtime=178.91 cores=0-31
/proc/9574/task/9600/stat : 9600 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 796862 0 0 0 17188 703 0 0 17 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604485900729824 0 0 -1 4 0 0 0
[pid=9574/tid=9601] ppid=9572 vsize=12396260 CPUtime=190.83 cores=0-31
/proc/9574/task/9601/stat : 9601 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 1612572 0 0 0 18126 957 0 0 18 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604485167840736 0 0 -1 27 0 0 0
[pid=9574/tid=9602] ppid=9572 vsize=12396260 CPUtime=191.27 cores=0-31
/proc/9574/task/9602/stat : 9602 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 1092718 0 0 0 18448 679 0 0 18 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604479267380704 0 0 -1 29 0 0 0
[pid=9574/tid=9603] ppid=9572 vsize=12396260 CPUtime=195.12 cores=0-31
/proc/9574/task/9603/stat : 9603 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 1195111 0 0 0 18962 550 0 0 18 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604503922589152 0 0 -1 23 0 0 0
[pid=9574/tid=9604] ppid=9572 vsize=12396260 CPUtime=180.86 cores=0-31
/proc/9574/task/9604/stat : 9604 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 524743 0 0 0 17530 556 0 0 15 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604482199035360 0 0 -1 19 0 0 0
[pid=9574/tid=9605] ppid=9572 vsize=12396260 CPUtime=181.55 cores=0-31
/proc/9574/task/9605/stat : 9605 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 48693 0 0 0 17927 228 0 0 16 0 32 0 737222202 12693770240 2552826 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604504136392160 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 5926.1
Current children cumulated vsize (KiB) 12396260
[startup+211.101 s]
/proc/loadavg: 23.23 29.13 30.79 3/445 9612
/proc/meminfo: memFree=244907656/264257624 swapFree=67111528/67111528
[pid=9574] ppid=9572 vsize=12396260 CPUtime=5929.33 cores=0-31
/proc/9574/stat : 9574 (strangenight2-m) S 9572 9574 9488 0 -1 4202496 23936276 0 0 0 572355 20578 0 0 16 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/9574/statm: 3099065 2554068 379 95 0 3094047 0
[pid=9574/tid=9575] ppid=9572 vsize=12396260 CPUtime=201.05 cores=0-31
/proc/9574/task/9575/stat : 9575 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 744993 0 0 0 19448 657 0 0 25 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747022891 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9574/tid=9576] ppid=9572 vsize=12396260 CPUtime=180.53 cores=0-31
/proc/9574/task/9576/stat : 9576 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 952111 0 0 0 17457 596 0 0 16 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604499809213920 0 0 -1 15 0 0 0
[pid=9574/tid=9577] ppid=9572 vsize=12396260 CPUtime=182.33 cores=0-31
/proc/9574/task/9577/stat : 9577 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 545738 0 0 0 17550 683 0 0 16 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604572816637408 0 0 -1 16 0 0 0
[pid=9574/tid=9578] ppid=9572 vsize=12396260 CPUtime=180.83 cores=0-31
/proc/9574/task/9578/stat : 9578 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 714768 0 0 0 17361 722 0 0 16 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446744071566932224 0 0 -1 30 0 0 0
[pid=9574/tid=9579] ppid=9572 vsize=12396260 CPUtime=181.46 cores=0-31
/proc/9574/task/9579/stat : 9579 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 578087 0 0 0 17439 707 0 0 16 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604483376020960 0 0 -1 9 0 0 0
[pid=9574/tid=9580] ppid=9572 vsize=12396260 CPUtime=189.83 cores=0-31
/proc/9574/task/9580/stat : 9580 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 305153 0 0 0 18481 502 0 0 15 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604479997672928 0 0 -1 12 0 0 0
[pid=9574/tid=9581] ppid=9572 vsize=12396260 CPUtime=195.95 cores=0-31
/proc/9574/task/9581/stat : 9581 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 380780 0 0 0 19159 436 0 0 18 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604505616694752 0 0 -1 29 0 0 0
[pid=9574/tid=9582] ppid=9572 vsize=12396260 CPUtime=198.58 cores=0-31
/proc/9574/task/9582/stat : 9582 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 357237 0 0 0 19318 540 0 0 18 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604480129334752 0 0 -1 22 0 0 0
[pid=9574/tid=9583] ppid=9572 vsize=12396260 CPUtime=201.71 cores=0-31
/proc/9574/task/9583/stat : 9583 (strangenight2-m) R 9572 9574 9488 0 -1 4202560 407742 0 0 0 19593 578 0 0 25 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9574/tid=9584] ppid=9572 vsize=12396260 CPUtime=181.05 cores=0-31
/proc/9574/task/9584/stat : 9584 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 714602 0 0 0 17538 567 0 0 16 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604501979897312 0 0 -1 30 0 0 0
[pid=9574/tid=9585] ppid=9572 vsize=12396260 CPUtime=194.29 cores=0-31
/proc/9574/task/9585/stat : 9585 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 1184835 0 0 0 18698 731 0 0 18 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604492793290208 0 0 -1 26 0 0 0
[pid=9574/tid=9586] ppid=9572 vsize=12396260 CPUtime=179.47 cores=0-31
/proc/9574/task/9586/stat : 9586 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 521215 0 0 0 17418 529 0 0 17 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604485364309472 0 0 -1 13 0 0 0
[pid=9574/tid=9587] ppid=9572 vsize=12396260 CPUtime=179.78 cores=0-31
/proc/9574/task/9587/stat : 9587 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 805482 0 0 0 17341 637 0 0 18 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604481779736032 0 0 -1 6 0 0 0
[pid=9574/tid=9588] ppid=9572 vsize=12396260 CPUtime=187.81 cores=0-31
/proc/9574/task/9588/stat : 9588 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 1149641 0 0 0 18053 728 0 0 18 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604504247418336 0 0 -1 15 0 0 0
[pid=9574/tid=9589] ppid=9572 vsize=12396260 CPUtime=180.94 cores=0-31
/proc/9574/task/9589/stat : 9589 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 892679 0 0 0 17331 763 0 0 17 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604505442459104 0 0 -1 14 0 0 0
[pid=9574/tid=9590] ppid=9572 vsize=12396260 CPUtime=180.39 cores=0-31
/proc/9574/task/9590/stat : 9590 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 898250 0 0 0 17309 730 0 0 17 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604505828261344 0 0 -1 10 0 0 0
[pid=9574/tid=9591] ppid=9572 vsize=12396260 CPUtime=178.53 cores=0-31
/proc/9574/task/9591/stat : 9591 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 608746 0 0 0 17260 593 0 0 16 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604484594769376 0 0 -1 5 0 0 0
[pid=9574/tid=9592] ppid=9572 vsize=12396260 CPUtime=179.56 cores=0-31
/proc/9574/task/9592/stat : 9592 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 844309 0 0 0 17241 715 0 0 17 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604481910529504 0 0 -1 18 0 0 0
[pid=9574/tid=9593] ppid=9572 vsize=12396260 CPUtime=179.21 cores=0-31
/proc/9574/task/9593/stat : 9593 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 653774 0 0 0 17239 682 0 0 18 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604478751276512 0 0 -1 11 0 0 0
[pid=9574/tid=9594] ppid=9572 vsize=12396260 CPUtime=180.3 cores=0-31
/proc/9574/task/9594/stat : 9594 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 502358 0 0 0 17514 516 0 0 16 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604504762973664 0 0 -1 29 0 0 0
[pid=9574/tid=9595] ppid=9572 vsize=12396260 CPUtime=196.18 cores=0-31
/proc/9574/task/9595/stat : 9595 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 1317817 0 0 0 18826 792 0 0 25 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604504715165152 0 0 -1 23 0 0 0
[pid=9574/tid=9596] ppid=9572 vsize=12396260 CPUtime=180.44 cores=0-31
/proc/9574/task/9596/stat : 9596 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 672530 0 0 0 17378 666 0 0 16 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604498687073760 0 0 -1 20 0 0 0
[pid=9574/tid=9597] ppid=9572 vsize=12396260 CPUtime=180.62 cores=0-31
/proc/9574/task/9597/stat : 9597 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 677425 0 0 0 17370 692 0 0 17 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604504025521632 0 0 -1 21 0 0 0
[pid=9574/tid=9598] ppid=9572 vsize=12396260 CPUtime=178.96 cores=0-31
/proc/9574/task/9598/stat : 9598 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 813712 0 0 0 17166 730 0 0 18 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604506026458592 0 0 -1 25 0 0 0
[pid=9574/tid=9599] ppid=9572 vsize=12396260 CPUtime=179.94 cores=0-31
/proc/9574/task/9599/stat : 9599 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 861034 0 0 0 17231 763 0 0 19 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604502313328096 0 0 -1 3 0 0 0
[pid=9574/tid=9600] ppid=9572 vsize=12396260 CPUtime=178.91 cores=0-31
/proc/9574/task/9600/stat : 9600 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 796862 0 0 0 17188 703 0 0 17 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604485900729824 0 0 -1 4 0 0 0
[pid=9574/tid=9601] ppid=9572 vsize=12396260 CPUtime=190.83 cores=0-31
/proc/9574/task/9601/stat : 9601 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 1612572 0 0 0 18126 957 0 0 18 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604485167840736 0 0 -1 27 0 0 0
[pid=9574/tid=9602] ppid=9572 vsize=12396260 CPUtime=191.27 cores=0-31
/proc/9574/task/9602/stat : 9602 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 1092718 0 0 0 18448 679 0 0 18 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604479267380704 0 0 -1 29 0 0 0
[pid=9574/tid=9603] ppid=9572 vsize=12396260 CPUtime=195.12 cores=0-31
/proc/9574/task/9603/stat : 9603 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 1195111 0 0 0 18962 550 0 0 18 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604503922589152 0 0 -1 23 0 0 0
[pid=9574/tid=9604] ppid=9572 vsize=12396260 CPUtime=180.86 cores=0-31
/proc/9574/task/9604/stat : 9604 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 524743 0 0 0 17530 556 0 0 15 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604482199035360 0 0 -1 19 0 0 0
[pid=9574/tid=9605] ppid=9572 vsize=12396260 CPUtime=181.55 cores=0-31
/proc/9574/task/9605/stat : 9605 (strangenight2-m) S 9572 9574 9488 0 -1 4202560 48693 0 0 0 17927 228 0 0 16 0 32 0 737222202 12693770240 2554068 268435456000 4194304 4580107 140736801317216 18446744073709551615 47326747047476 0 0 4096 2 18446604504136392160 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 5929.33
Current children cumulated vsize (KiB) 12396260
[startup+211.9 s]
/proc/loadavg: 23.23 29.13 30.79 3/445 9612
/proc/meminfo: memFree=244907656/264257624 swapFree=67111528/67111528
[pid=9574] ppid=9572 vsize=0 CPUtime=5930.17 cores=0-31
/proc/9574/stat : 9574 (strangenight2-m) Z 9572 9574 9488 0 -1 4203548 23936280 0 0 0 572368 20649 0 0 15 0 2 0 737222202 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/9574/statm: 0 0 0 0 0 0 0
[pid=9574/tid=9602] ppid=9572 vsize=0 CPUtime=191.98 cores=0-31
/proc/9574/task/9602/stat : 9602 (strangenight2-m) R 9572 9574 9488 0 -1 4203588 1092718 0 0 0 18448 750 0 0 18 0 2 0 737222202 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 5930.17
Current children cumulated vsize (KiB) 0
[startup+212.336 s]
/proc/loadavg: 23.23 29.13 30.79 2/415 9612
/proc/meminfo: memFree=253127436/264257624 swapFree=67111528/67111528
[pid=9574] ppid=9572 vsize=0 CPUtime=5930.61 cores=0-31
/proc/9574/stat : 9574 (strangenight2-m) Z 9572 9574 9488 0 -1 4203548 23936280 0 0 0 572368 20693 0 0 15 0 2 0 737222202 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/9574/statm: 0 0 0 0 0 0 0
[pid=9574/tid=9602] ppid=9572 vsize=0 CPUtime=192.42 cores=0-31
/proc/9574/task/9602/stat : 9602 (strangenight2-m) R 9572 9574 9488 0 -1 4203588 1092718 0 0 0 18448 794 0 0 19 0 2 0 737222202 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 5930.61
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 212.343
CPU time (s): 5930.63
CPU user time (s): 5723.69
CPU system time (s): 206.94
CPU usage (%): 2792.95
Max. virtual memory (cumulated for all children) (KiB): 12494568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5723.69
system time used= 206.94
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23936280
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= 2700854
involuntary context switches= 66121
runsolver used 1.3398 second user time and 5.00424 second system time
The end
Begin job on node200 at 2011-05-24 19:15:58
IDJOB=3400631
IDBENCH=20495
IDSOLVER=1886
FILE ID=node200/3400631-1306257357
RUNJOBID= node200-1306257309-9502
PBS_JOBID= 13411760
Free space on /tmp= 62032 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/manolios/manol-pipe-f7idw.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400631-1306257357/watcher-3400631-1306257357 -o /tmp/evaluation-result-3400631-1306257357/solver-3400631-1306257357 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400631-1306257357.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e11b8f7666247454d93edb47f1646e2c
RANDOM SEED=720036123
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255160972 kB
Buffers: 463688 kB
Cached: 8228804 kB
SwapCached: 0 kB
Active: 7781116 kB
Inactive: 981204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255160972 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 19144 kB
Writeback: 0 kB
AnonPages: 69752 kB
Mapped: 14480 kB
Slab: 255220 kB
PageTables: 4664 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62028 MiB
End job on node200 at 2011-05-24 19:19:30