0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 32 threads
0.00/0.06 c This is CryptoMiniSat 3.0.0
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c Reading file 'HOME/instance-3400883-1307107251.cnf'
0.00/0.07 c -- header says num vars: 984
0.00/0.07 c -- header says num clauses: 8702
2.58/0.14 c -- clauses added: 0 learnts, 8702 normals, 0 xors
2.58/0.14 c -- vars added 984
2.58/0.14 c Parsing time: 0.01 s
2.58/0.14 c N st 0 0 984 289 8378 0 17837 0 no data no data
2.58/0.14 c asymm cl-useful: 0/289/289 lits-rem:0 time: 0.00
2.58/0.18 c Flit: 10 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.02
2.58/0.18 c Replacing 5 vars Replaced 100 lits Time: 0.00 s
2.58/0.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2.58/0.18 c bin-w-bin subsume rem 0 bins time: 0.00 s
2.58/0.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
2.58/0.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 947 time: 0.00 s
2.58/0.20 c Removed useless bin: 184 fixed: 0 props: 0.05M time: 0.00 s
3.82/0.25 c lits-rem: 16 cl-subs: 0 v-elim: 315 v-fix: 0 time: 0.01 s
3.82/0.25 c Finding binary XORs T: 0.00 s found: 0
3.82/0.25 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
3.82/0.25 c calculated reachability. Time: 0.00
3.82/0.25 c Calc default polars - time: 0.00 s pos: 29 undec: 354 neg: 601
3.82/0.25 c =========================================================================================
3.82/0.25 c types(t): F = full restart, N = normal restart
3.82/0.25 c types(t): S = simplification begin/end, E = solution found
3.82/0.25 c restart types(rt): st = static, dy = dynamic
3.82/0.25 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3.82/0.25 c B st 0 0 632 1119 6720 0 18440 0 no data no data
3.82/0.27 c Following stats are for *FIRST FINISHED THREAD ONLY*
3.82/0.27 c num threads : 32
3.82/0.27 c restarts : 4
3.82/0.27 c dynamic restarts : 0
3.82/0.27 c static restarts : 4
3.82/0.27 c full restarts : 0
3.82/0.27 c total simplify time : 0.00
3.82/0.27 c learnts DL2 : 0
3.82/0.27 c learnts size 2 : 8548
3.82/0.27 c learnts size 1 : 14 (1.42 % of vars)
3.82/0.27 c filedLit time : 0.00 (0.00 % time)
3.82/0.27 c v-elim SatELite : 0 (0.00 % vars)
3.82/0.27 c SatELite time : 0.00 (0.00 % time)
3.82/0.27 c v-elim xor : 0 (0.00 % vars)
3.82/0.27 c xor elim time : 0.00 (0.00 % time)
3.82/0.27 c num binary xor trees : 5
3.82/0.27 c binxor trees' crown : 5 (1.00 leafs/tree)
3.82/0.27 c bin xor find time : 0.00
3.82/0.27 c OTF clause improved : 6 (0.01 clauses/conflict)
3.82/0.27 c OTF impr. size diff : 6 (1.00 lits/clause)
3.82/0.27 c OTF cl watch-shrink : 190 (0.26 clauses/conflict)
3.82/0.27 c OTF cl watch-sh-lit : 365 (1.92 lits/clause)
3.82/0.27 c tried to recurMin cls : 336 (45.90 % of conflicts)
3.82/0.27 c updated cache : 329 (0.98 lits/tried recurMin)
3.82/0.27 c unit cls recevied : 0 (0.00 % of units)
3.82/0.27 c unit cls sent : 0 (0.00 % of units)
3.82/0.27 c bin cls recevied : 0
3.82/0.27 c bin cls sent : 0
3.82/0.27 c clauses over max glue : 0 (0.00 % of all clauses)
3.82/0.27 c conflicts : 732 (5192.30 / sec)
3.82/0.27 c decisions : 2366 (1.10 % random)
3.82/0.27 c bogo-props : 439195 (3115344.24 / sec)
3.82/0.27 c conflict literals : 5321 (12.54 % deleted)
3.82/0.27 c Memory used : 1806.84 MB
3.82/0.27 c single-thread CPU time : 0.14 s
3.82/0.27 c all-threads sum CPU time : 3.35 s
3.82/0.27 s SATISFIABLE
3.82/0.27 v 1 2 3 4 5 6 7 8 9 10 11 12 13 14 -15 16 -17 -18 19 -20 21 -22 -23 24 -25 26 27 28 29 -30 -31 32 33 -34 -35 36 -37 -38 -39 -40 -41 -42 43 44 -45 -46 -47 48 49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 62 -63 64 65 66 67 -68 -69 70 71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 82 -83 -84 -85 86 87 -88 89 90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 105 -106 -107 -108 109 110 -111 -112 113 114 115 116 -117 -118 -119 -120 121 122 -123 124 125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 142 143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 154 155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 167 168 -169 -170 171 172 173 174 -175 -176 -177 -178 -179 180 -181 182 -183 -184 185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 197 -198 -199 200 201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 225 226 -227 -228 229 230 231 232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 256 257 258 259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 277 -278 -279 -280 -281 -282 283 284 -285 -286 287 288 289 290 -291 -292 -293 -294 -295 -296 -297 -298 299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 315 316 317 318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 336 -337 -338 -339 -340 341 342 -343 -344 345 346 347 348 -349 -350 351 352 -353 -354 -355 356 357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 374 375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 386 387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 399 400 -401 -402 403 404 405 406 -407 -408 409 410 -411 -412 -413 414 -415 -416 417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 446 -447 -448 449 -450 -451 -452 -453 -454 -455 -456 457 458 -459 -460 461 462 463 464 -465 -466 467 468 -469 -470 -471 -472 -473 -474 475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 498 -499 -500 -501 -502 -503 -504 -505 -506 -507 508 509 -510 -511 -512 -513 -514 515 516 -517 -518 519 520 521 522 -523 -524 525 526 -527 -528 -529 -530 531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 568 569 -570 -571 -572 573 574 -575 -576 577 578 579 580 -581 -582 583 584 -585 -586 -587 588 589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 618 619 -620 -621 622 -623 -624 -625 -626 -627 628 -629 -630 -631 632 -633 -634 635 636 637 638 -639 -640 641 642 -643 -644 -645 646 -647 648 649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 678 -679 680 -681 -682 -683 -684 -685 686 -687 -688 -689 -690 -691 -692 693 694 695 696 -697 -698 699 700 -701 -702 -703 -704 -705 -706 707 708 709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 738 -739 -740 741 -742 -743 744 -745 -746 -747 -748 -749 -750 751 752 753 754 -755 -756 757 758 -759 -760 -761 -762 763 -764 -765 -766 767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 796 -797 -798 -799 800 -801 802 -803 -804 805 806 -807 -808 809 810 811 812 -813 -814 -815 -816 817 818 -819 820 821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 850 851 -852 -853 854 -855 -856 -857 -858 -859 860 -861 -862 -863 864 865 -866 -867 868 -869 -870 871 -872 -873 -874 875 -876 -877 -878 879 -880 881 -882 -883 884 -885 -886 -887 -888 -889 -890 891 -892 -893 -894 895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 910 -911 912 -913 -914 -915 -916 -917 918 -919 920 -921 -922 -923 -924 925 -926 -927 -928 929 -930 931 -932 -933 -934 -935 -936 937 -938 -939 -940 -941 942 943 -944 -945 -946 947 -948 -949 -950 -951 -952 953 -954 955 -956 -957 -958 -959 960 -961 -962 963 -964 -965 966 967 968 -969 -970 971 972 973 974 -975 -976 -977 -978 979 980 -981 -982 983 984 0
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-3400883-1307107251/watcher-3400883-1307107251 -o /tmp/evaluation-result-3400883-1307107251/solver-3400883-1307107251 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400883-1307107251.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): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.84 31.64 31.89 1/413 15295
/proc/meminfo: memFree=262927024/264257624 swapFree=67054988/67111528
[pid=15295] ppid=15293 vsize=338000 CPUtime=0.78 cores=0-31
/proc/15295/stat : 15295 (strangenight2-m) R 15293 15295 15095 0 -1 4202496 466 0 0 0 78 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647824 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/15295/statm: 84500 405 300 95 0 79482 0
[pid=15295/tid=15296] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15296/stat : 15296 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15295/tid=15297] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15297/stat : 15297 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15295/tid=15298] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15298/stat : 15298 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647827 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15295/tid=15299] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15299/stat : 15299 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15295/tid=15300] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15300/stat : 15300 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15295/tid=15301] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15301/stat : 15301 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15295/tid=15302] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15302/stat : 15302 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15295/tid=15303] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15303/stat : 15303 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15295/tid=15304] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15304/stat : 15304 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15295/tid=15305] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15305/stat : 15305 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647827 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15295/tid=15306] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15306/stat : 15306 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647837 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15295/tid=15307] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15307/stat : 15307 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15295/tid=15308] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15308/stat : 15308 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15295/tid=15309] ppid=15293 vsize=338000 CPUtime=0 cores=0-31
/proc/15295/task/15309/stat : 15309 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 16637450 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494648236 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15295/tid=15310] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15310/stat : 15310 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15295/tid=15311] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15311/stat : 15311 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15295/tid=15312] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15312/stat : 15312 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15295/tid=15313] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15313/stat : 15313 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15295/tid=15314] ppid=15293 vsize=338000 CPUtime=0 cores=0-31
/proc/15295/task/15314/stat : 15314 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494648240 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15295/tid=15315] ppid=15293 vsize=338000 CPUtime=0 cores=0-31
/proc/15295/task/15315/stat : 15315 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647827 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15295/tid=15316] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15316/stat : 15316 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15295/tid=15317] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15317/stat : 15317 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15295/tid=15318] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15318/stat : 15318 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15295/tid=15319] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15319/stat : 15319 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15295/tid=15320] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15320/stat : 15320 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15295/tid=15321] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15321/stat : 15321 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647837 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15295/tid=15322] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15322/stat : 15322 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647831 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15295/tid=15323] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15323/stat : 15323 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647827 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15295/tid=15324] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15324/stat : 15324 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15295/tid=15325] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15325/stat : 15325 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15295/tid=15326] ppid=15293 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15295/task/15326/stat : 15326 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 16637451 346112000 405 268435456000 4194304 4580107 140733747907776 18446744073709551615 46990494647833 0 0 4096 2 0 0 0 -1 29 0 0 0
[startup+0.125894 s]
/proc/loadavg: 29.84 31.64 31.89 1/413 15295
/proc/meminfo: memFree=262927024/264257624 swapFree=67054988/67111528
[pid=15295] ppid=15293 vsize=1389692 CPUtime=2.58 cores=0-31
/proc/15295/stat : 15295 (strangenight2-m) R 15293 15295 15095 0 -1 4202496 4974 0 0 0 174 84 0 0 17 0 32 0 16637450 1423044608 4826 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/15295/statm: 347423 4833 335 95 0 342405 0
[pid=15295/tid=15296] ppid=15293 vsize=1389692 CPUtime=0.08 cores=0-31
/proc/15295/task/15296/stat : 15296 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 112 0 0 0 5 3 0 0 17 0 32 0 16637450 1423044608 4838 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15295/tid=15297] ppid=15293 vsize=1389692 CPUtime=0.08 cores=0-31
/proc/15295/task/15297/stat : 15297 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 147 0 0 0 5 3 0 0 17 0 32 0 16637450 1423044608 4841 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15295/tid=15298] ppid=15293 vsize=1389692 CPUtime=0.07 cores=0-31
/proc/15295/task/15298/stat : 15298 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 176 0 0 0 5 2 0 0 17 0 32 0 16637450 1423044608 4843 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15295/tid=15299] ppid=15293 vsize=1389692 CPUtime=0.08 cores=0-31
/proc/15295/task/15299/stat : 15299 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 155 0 0 0 6 2 0 0 17 0 32 0 16637450 1423044608 4847 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15295/tid=15300] ppid=15293 vsize=1389692 CPUtime=0.08 cores=0-31
/proc/15295/task/15300/stat : 15300 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 106 0 0 0 6 2 0 0 17 0 32 0 16637450 1423044608 4848 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15295/tid=15301] ppid=15293 vsize=1389692 CPUtime=0.08 cores=0-31
/proc/15295/task/15301/stat : 15301 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 157 0 0 0 5 3 0 0 17 0 32 0 16637450 1423044608 4849 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446604487027637728 0 0 -1 11 0 0 0
[pid=15295/tid=15302] ppid=15293 vsize=1389692 CPUtime=0.07 cores=0-31
/proc/15295/task/15302/stat : 15302 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 134 0 0 0 5 2 0 0 17 0 32 0 16637450 1423044608 4852 268435456000 4194304 4580107 140733747907776 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15295/tid=15303] ppid=15293 vsize=1389824 CPUtime=0.07 cores=0-31
/proc/15295/task/15303/stat : 15303 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 153 0 0 0 6 1 0 0 17 0 32 0 16637450 1423179776 4853 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446604503639039456 0 0 -1 5 0 0 0
[pid=15295/tid=15304] ppid=15293 vsize=1389824 CPUtime=0.07 cores=0-31
/proc/15295/task/15304/stat : 15304 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 125 0 0 0 5 2 0 0 17 0 32 0 16637450 1423179776 4854 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15295/tid=15305] ppid=15293 vsize=1389824 CPUtime=0.08 cores=0-31
/proc/15295/task/15305/stat : 15305 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 138 0 0 0 5 3 0 0 17 0 32 0 16637450 1423179776 4858 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446604445570121184 0 0 -1 9 0 0 0
[pid=15295/tid=15306] ppid=15293 vsize=1389824 CPUtime=0.07 cores=0-31
/proc/15295/task/15306/stat : 15306 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 122 0 0 0 5 2 0 0 17 0 32 0 16637450 1423179776 4860 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15295/tid=15307] ppid=15293 vsize=1389824 CPUtime=0.07 cores=0-31
/proc/15295/task/15307/stat : 15307 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 118 0 0 0 5 2 0 0 17 0 32 0 16637450 1423179776 4862 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446604459712691680 0 0 -1 3 0 0 0
[pid=15295/tid=15308] ppid=15293 vsize=1389824 CPUtime=0.07 cores=0-31
/proc/15295/task/15308/stat : 15308 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 137 0 0 0 5 2 0 0 17 0 32 0 16637450 1423179776 4870 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446604467982015968 0 0 -1 28 0 0 0
[pid=15295/tid=15309] ppid=15293 vsize=1389824 CPUtime=0.03 cores=0-31
/proc/15295/task/15309/stat : 15309 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 173 0 0 0 0 3 0 0 17 0 32 0 16637450 1423179776 4881 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15295/tid=15310] ppid=15293 vsize=1389824 CPUtime=0.08 cores=0-31
/proc/15295/task/15310/stat : 15310 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 116 0 0 0 5 3 0 0 17 0 32 0 16637451 1423179776 4882 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446604444040281568 0 0 -1 13 0 0 0
[pid=15295/tid=15311] ppid=15293 vsize=1389824 CPUtime=0.07 cores=0-31
/proc/15295/task/15311/stat : 15311 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 160 0 0 0 5 2 0 0 17 0 32 0 16637451 1423179776 4887 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446604472935775712 0 0 -1 14 0 0 0
[pid=15295/tid=15312] ppid=15293 vsize=1389824 CPUtime=0.07 cores=0-31
/proc/15295/task/15312/stat : 15312 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 170 0 0 0 5 2 0 0 17 0 32 0 16637451 1423179776 4891 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446604491105770976 0 0 -1 7 0 0 0
[pid=15295/tid=15313] ppid=15293 vsize=1389824 CPUtime=0.07 cores=0-31
/proc/15295/task/15313/stat : 15313 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 157 0 0 0 5 2 0 0 17 0 32 0 16637451 1423179776 4891 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446604475937209824 0 0 -1 16 0 0 0
[pid=15295/tid=15314] ppid=15293 vsize=1389824 CPUtime=0.05 cores=0-31
/proc/15295/task/15314/stat : 15314 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 124 0 0 0 3 2 0 0 17 0 32 0 16637451 1423179776 4893 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15295/tid=15315] ppid=15293 vsize=1389824 CPUtime=0.05 cores=0-31
/proc/15295/task/15315/stat : 15315 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 138 0 0 0 3 2 0 0 17 0 32 0 16637451 1423179776 4904 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15295/tid=15316] ppid=15293 vsize=1389824 CPUtime=0.08 cores=0-31
/proc/15295/task/15316/stat : 15316 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 150 0 0 0 5 3 0 0 17 0 32 0 16637451 1423179776 4906 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15295/tid=15317] ppid=15293 vsize=1389824 CPUtime=0.08 cores=0-31
/proc/15295/task/15317/stat : 15317 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 132 0 0 0 6 2 0 0 17 0 32 0 16637451 1423179776 4910 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15295/tid=15318] ppid=15293 vsize=1389824 CPUtime=0.07 cores=0-31
/proc/15295/task/15318/stat : 15318 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 157 0 0 0 5 2 0 0 17 0 32 0 16637451 1423179776 4916 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446744071566925464 0 0 -1 18 0 0 0
[pid=15295/tid=15319] ppid=15293 vsize=1389824 CPUtime=0.08 cores=0-31
/proc/15295/task/15319/stat : 15319 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 174 0 0 0 5 3 0 0 17 0 32 0 16637451 1423179776 4922 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15295/tid=15320] ppid=15293 vsize=1389824 CPUtime=0.08 cores=0-31
/proc/15295/task/15320/stat : 15320 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 174 0 0 0 5 3 0 0 17 0 32 0 16637451 1423179776 4923 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15295/tid=15321] ppid=15293 vsize=1389824 CPUtime=0.07 cores=0-31
/proc/15295/task/15321/stat : 15321 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 131 0 0 0 5 2 0 0 17 0 32 0 16637451 1423179776 4928 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15295/tid=15322] ppid=15293 vsize=1389824 CPUtime=0.07 cores=0-31
/proc/15295/task/15322/stat : 15322 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 141 0 0 0 5 2 0 0 17 0 32 0 16637451 1423179776 4934 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15295/tid=15323] ppid=15293 vsize=1389820 CPUtime=0.08 cores=0-31
/proc/15295/task/15323/stat : 15323 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 154 0 0 0 5 3 0 0 17 0 32 0 16637451 1423175680 4938 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15295/tid=15324] ppid=15293 vsize=1389820 CPUtime=0.07 cores=0-31
/proc/15295/task/15324/stat : 15324 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 167 0 0 0 4 3 0 0 17 0 32 0 16637451 1423175680 4942 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15295/tid=15325] ppid=15293 vsize=1389820 CPUtime=0.07 cores=0-31
/proc/15295/task/15325/stat : 15325 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 118 0 0 0 5 2 0 0 17 0 32 0 16637451 1423175680 4947 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15295/tid=15326] ppid=15293 vsize=1389812 CPUtime=0.08 cores=0-31
/proc/15295/task/15326/stat : 15326 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 152 0 0 0 6 2 0 0 17 0 32 0 16637451 1423167488 4959 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 1389692
[startup+0.21088 s]
/proc/loadavg: 29.84 31.64 31.89 1/413 15295
/proc/meminfo: memFree=262927024/264257624 swapFree=67054988/67111528
[pid=15295] ppid=15293 vsize=1849260 CPUtime=3.82 cores=0-31
/proc/15295/stat : 15295 (strangenight2-m) S 15293 15295 15095 0 -1 4202496 7843 0 0 0 238 144 0 0 17 0 32 0 16637450 1893642240 7695 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/15295/statm: 462315 7697 372 95 0 457297 0
[pid=15295/tid=15296] ppid=15293 vsize=1849260 CPUtime=0.1 cores=0-31
/proc/15295/task/15296/stat : 15296 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 124 0 0 0 6 4 0 0 17 0 32 0 16637450 1893642240 7698 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446604468440571360 0 0 -1 1 0 0 0
[pid=15295/tid=15297] ppid=15293 vsize=1849260 CPUtime=0.11 cores=0-31
/proc/15295/task/15297/stat : 15297 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 174 0 0 0 6 5 0 0 17 0 32 0 16637450 1893642240 7701 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446744071566928984 0 0 -1 2 0 0 0
[pid=15295/tid=15298] ppid=15293 vsize=1849260 CPUtime=0.12 cores=0-31
/proc/15295/task/15298/stat : 15298 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 250 0 0 0 7 5 0 0 17 0 32 0 16637450 1893642240 7703 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15295/tid=15299] ppid=15293 vsize=1849260 CPUtime=0.12 cores=0-31
/proc/15295/task/15299/stat : 15299 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 247 0 0 0 8 4 0 0 17 0 32 0 16637450 1893642240 7716 268435456000 4194304 4580107 140733747907776 18446744073709551615 4490467 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15295/tid=15300] ppid=15293 vsize=1849260 CPUtime=0.1 cores=0-31
/proc/15295/task/15300/stat : 15300 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 114 0 0 0 6 4 0 0 17 0 32 0 16637450 1893642240 7720 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15295/tid=15301] ppid=15293 vsize=1849260 CPUtime=0.12 cores=0-31
/proc/15295/task/15301/stat : 15301 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 317 0 0 0 8 4 0 0 17 0 32 0 16637450 1893642240 7721 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446744071566931304 0 0 -1 11 0 0 0
[pid=15295/tid=15302] ppid=15293 vsize=1849260 CPUtime=0.12 cores=0-31
/proc/15295/task/15302/stat : 15302 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 259 0 0 0 8 4 0 0 17 0 32 0 16637450 1893642240 7722 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446744071566924384 0 0 -1 0 0 0 0
[pid=15295/tid=15303] ppid=15293 vsize=1849260 CPUtime=0.11 cores=0-31
/proc/15295/task/15303/stat : 15303 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 235 0 0 0 8 3 0 0 17 0 32 0 16637450 1893642240 7726 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650623218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15295/tid=15304] ppid=15293 vsize=1849260 CPUtime=0.11 cores=0-31
/proc/15295/task/15304/stat : 15304 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 223 0 0 0 7 4 0 0 17 0 32 0 16637450 1893642240 7730 268435456000 4194304 4580107 140733747907776 18446744073709551615 4447707 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15295/tid=15305] ppid=15293 vsize=1849260 CPUtime=0.11 cores=0-31
/proc/15295/task/15305/stat : 15305 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 164 0 0 0 6 5 0 0 17 0 32 0 16637450 1893642240 7732 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15295/tid=15306] ppid=15293 vsize=1849260 CPUtime=0.12 cores=0-31
/proc/15295/task/15306/stat : 15306 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 236 0 0 0 8 4 0 0 17 0 32 0 16637450 1893642240 7734 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15295/tid=15307] ppid=15293 vsize=1849260 CPUtime=0.11 cores=0-31
/proc/15295/task/15307/stat : 15307 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 143 0 0 0 6 5 0 0 17 0 32 0 16637450 1893642240 7737 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446744071566931224 0 0 -1 3 0 0 0
[pid=15295/tid=15308] ppid=15293 vsize=1849260 CPUtime=0.11 cores=0-31
/proc/15295/task/15308/stat : 15308 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 251 0 0 0 7 4 0 0 17 0 32 0 16637450 1893642240 7739 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15295/tid=15309] ppid=15293 vsize=1849260 CPUtime=0.06 cores=0-31
/proc/15295/task/15309/stat : 15309 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 323 0 0 0 2 4 0 0 17 0 32 0 16637450 1893642240 7745 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446744071566931944 0 0 -1 31 0 0 0
[pid=15295/tid=15310] ppid=15293 vsize=1849260 CPUtime=0.11 cores=0-31
/proc/15295/task/15310/stat : 15310 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 159 0 0 0 6 5 0 0 17 0 32 0 16637451 1893642240 7749 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15295/tid=15311] ppid=15293 vsize=1849260 CPUtime=0.1 cores=0-31
/proc/15295/task/15311/stat : 15311 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 202 0 0 0 6 4 0 0 17 0 32 0 16637451 1893642240 7752 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15295/tid=15312] ppid=15293 vsize=1849260 CPUtime=0.12 cores=0-31
/proc/15295/task/15312/stat : 15312 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 313 0 0 0 8 4 0 0 17 0 32 0 16637451 1893642240 7754 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15295/tid=15313] ppid=15293 vsize=1849260 CPUtime=0.11 cores=0-31
/proc/15295/task/15313/stat : 15313 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 320 0 0 0 8 3 0 0 17 0 32 0 16637451 1893642240 7757 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15295/tid=15314] ppid=15293 vsize=1849260 CPUtime=0.09 cores=0-31
/proc/15295/task/15314/stat : 15314 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 256 0 0 0 6 3 0 0 17 0 32 0 16637451 1893642240 7758 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446744071566925024 0 0 -1 30 0 0 0
[pid=15295/tid=15315] ppid=15293 vsize=1849260 CPUtime=0.09 cores=0-31
/proc/15295/task/15315/stat : 15315 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 259 0 0 0 5 4 0 0 17 0 32 0 16637451 1893642240 7764 268435456000 4194304 4580107 140733747907776 18446744073709551615 4516208 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15295/tid=15316] ppid=15293 vsize=1849260 CPUtime=0.12 cores=0-31
/proc/15295/task/15316/stat : 15316 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 242 0 0 0 7 5 0 0 17 0 32 0 16637451 1893642240 7768 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15295/tid=15317] ppid=15293 vsize=1849256 CPUtime=0.11 cores=0-31
/proc/15295/task/15317/stat : 15317 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 189 0 0 0 7 4 0 0 17 0 32 0 16637451 1893638144 7772 268435456000 4194304 4580107 140733747907776 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15295/tid=15318] ppid=15293 vsize=1849256 CPUtime=0.12 cores=0-31
/proc/15295/task/15318/stat : 15318 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 274 0 0 0 8 4 0 0 17 0 32 0 16637451 1893638144 7775 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446744071566931944 0 0 -1 18 0 0 0
[pid=15295/tid=15319] ppid=15293 vsize=1849256 CPUtime=0.12 cores=0-31
/proc/15295/task/15319/stat : 15319 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 304 0 0 0 8 4 0 0 17 0 32 0 16637451 1893638144 7775 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446744071566925344 0 0 -1 15 0 0 0
[pid=15295/tid=15320] ppid=15293 vsize=1849256 CPUtime=0.12 cores=0-31
/proc/15295/task/15320/stat : 15320 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 296 0 0 0 8 4 0 0 17 0 32 0 16637451 1893638144 7777 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15295/tid=15321] ppid=15293 vsize=1849256 CPUtime=0.12 cores=0-31
/proc/15295/task/15321/stat : 15321 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 255 0 0 0 8 4 0 0 17 0 32 0 16637451 1893638144 7779 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15295/tid=15322] ppid=15293 vsize=1849256 CPUtime=0.1 cores=0-31
/proc/15295/task/15322/stat : 15322 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 195 0 0 0 6 4 0 0 17 0 32 0 16637451 1893638144 7783 268435456000 4194304 4580107 140733747907776 18446744073709551615 4234976 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15295/tid=15323] ppid=15293 vsize=1849256 CPUtime=0.12 cores=0-31
/proc/15295/task/15323/stat : 15323 (strangenight2-m) R 15293 15295 15095 0 -1 4202560 221 0 0 0 7 5 0 0 17 0 32 0 16637451 1893638144 7794 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15295/tid=15324] ppid=15293 vsize=1849256 CPUtime=0.11 cores=0-31
/proc/15295/task/15324/stat : 15324 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 291 0 0 0 7 4 0 0 17 0 32 0 16637451 1893638144 7794 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446744071566925464 0 0 -1 26 0 0 0
[pid=15295/tid=15325] ppid=15293 vsize=1849256 CPUtime=0.1 cores=0-31
/proc/15295/task/15325/stat : 15325 (strangenight2-m) D 15293 15295 15095 0 -1 4202560 168 0 0 0 6 4 0 0 17 0 32 0 16637451 1893638144 7795 268435456000 4194304 4580107 140733747907776 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15295/tid=15326] ppid=15293 vsize=1849256 CPUtime=0.11 cores=0-31
/proc/15295/task/15326/stat : 15326 (strangenight2-m) S 15293 15295 15095 0 -1 4202560 178 0 0 0 9 2 0 0 17 0 32 0 16637451 1893638144 7796 268435456000 4194304 4580107 140733747907776 18446744073709551615 258651060958 0 0 4096 2 18446744071566928984 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 1849260
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 0.284562
CPU time (s): 5.03023
CPU user time (s): 3.38049
CPU system time (s): 1.64975
CPU usage (%): 1767.71
Max. virtual memory (cumulated for all children) (KiB): 1849260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.38049
system time used= 1.64975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10828
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= 39248
involuntary context switches= 14
runsolver used 0.017997 second user time and 0.027995 second system time
The end
Begin job on node200 at 2011-06-03 15:20:51
IDJOB=3400883
IDBENCH=86102
IDSOLVER=1886
FILE ID=node200/3400883-1307107251
RUNJOBID= node200-1307107249-15109
PBS_JOBID= 13498410
Free space on /tmp= 61744 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT05/industrial/maris05/Ferry/ferry5_ks99i.renamed-as.sat05-3994.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400883-1307107251/watcher-3400883-1307107251 -o /tmp/evaluation-result-3400883-1307107251/solver-3400883-1307107251 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400883-1307107251.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 1fb6b467105b14277afa8785aabd76ac
RANDOM SEED=272399952
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.043
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.08
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.043
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.05
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.043
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.043
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.14
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.043
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.05
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.043
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.11
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.043
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.05
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.043
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.07
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.043
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.043
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.06
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.043
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 : 3989.96
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.043
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.09
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.043
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.05
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.043
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.043
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 : 3990.07
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.043
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.08
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.043
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.03
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.043
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.07
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.043
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.11
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.043
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.043
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.02
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.043
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.11
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.043
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.06
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.043
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.07
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.043
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 : 3989.99
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.043
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.07
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.043
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.07
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.043
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.10
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.043
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.043
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.08
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.043
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.35
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.043
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.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 262927304 kB
Buffers: 116392 kB
Cached: 1015600 kB
SwapCached: 8460 kB
Active: 109500 kB
Inactive: 1041192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262927304 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 5972 kB
Writeback: 44 kB
AnonPages: 17748 kB
Mapped: 8016 kB
Slab: 90304 kB
PageTables: 4868 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 186644 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= 61740 MiB
End job on node200 at 2011-06-03 15:20:51