Name | mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-afiro.opb |
MD5SUM | 54588598df6d934a1c188bcc0918a0bb |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -1486831 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 131072000 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 309329625 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 1273495552 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 20473426875 |
Number of bits of the biggest sum of numbers | 35 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 481.221 |
Number of variables | 640 |
Total number of constraints | 27 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 27 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 180 |
LAUNCH ON wulflinc11 THE 2005-09-20 01:10:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1168 boxname=wulflinc11 idbench=1168 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 54588598df6d934a1c188bcc0918a0bb /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-afiro.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-afiro.opb IDLAUNCH: 1168 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 907500 kB Buffers: 14328 kB Cached: 86980 kB SwapCached: 760 kB Active: 18900 kB Inactive: 84736 kB HighTotal: 131008 kB HighFree: 41160 kB LowTotal: 903652 kB LowFree: 866340 kB SwapTotal: 2097136 kB SwapFree: 2095596 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5584 kB Slab: 17828 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 01:30:38 (client local time) WITH STATUS 10 IN 1195.39 SECONDS stats: 1168 0 1195.39 10
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 640 variables and 35 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.167 c After prepocess the problem consists of 493 variables and 35 constraints. c Initial Lower Bound: -2064339 c Restart #1 #Var: 493 #Dec: 853 LB: -2064339 @ 0.465 c Restart #2 #Var: 493 #Dec: 2375 LB: -2064339 @ 1.051 c Restart #3 #Var: 493 #Dec: 4840 LB: -2064339 @ 2.164 c Restart #4 #Var: 493 #Dec: 8982 LB: -2064339 @ 3.64 c Restart #5 #Var: 493 #Dec: 14983 LB: -2064339 @ 4.963 c Restart #6 #Var: 493 #Dec: 22369 LB: -2064339 @ 6.196 c Restart #7 #Var: 493 #Dec: 24369 LB: -2064339 @ 7.429 c Restart #8 #Var: 493 #Dec: 26052 LB: -2064339 @ 8.554 c Restart #9 #Var: 493 #Dec: 27872 LB: -2064339 @ 10.12 c Restart #10 #Var: 493 #Dec: 29890 LB: -2064339 @ 11.76 c Restart #11 #Var: 493 #Dec: 32134 LB: -2064339 @ 13.47 c Restart #12 #Var: 493 #Dec: 34662 LB: -2064339 @ 15.502 c Restart #13 #Var: 493 #Dec: 37309 LB: -2064339 @ 17.839 c Restart #14 #Var: 493 #Dec: 40587 LB: -2064339 @ 21.371 c Restart #15 #Var: 493 #Dec: 47285 LB: -2064339 @ 27.508 c Restart #16 #Var: 493 #Dec: 52172 LB: -2064339 @ 31.266 c Restart #17 #Var: 493 #Dec: 55604 LB: -2064339 @ 34.014 c Restart #18 #Var: 493 #Dec: 59775 LB: -2064339 @ 37.784 c Restart #19 #Var: 493 #Dec: 67224 LB: -2064339 @ 45.63 c NEW SOLUTION FOUND: 624508 @ 52.882 @ #Dec. 71033 c NEW SOLUTION FOUND: 624460 @ 52.885 @ #Dec. 71039 c NEW SOLUTION FOUND: 624452 @ 52.886 @ #Dec. 71042 c NEW SOLUTION FOUND: 624444 @ 52.886 @ #Dec. 71044 c NEW SOLUTION FOUND: 624434 @ 52.889 @ #Dec. 71050 c NEW SOLUTION FOUND: 368434 @ 52.893 @ #Dec. 71057 c NEW SOLUTION FOUND: 368184 @ 53.145 @ #Dec. 71278 c NEW SOLUTION FOUND: 367962 @ 53.294 @ #Dec. 71428 c NEW SOLUTION FOUND: 367946 @ 53.296 @ #Dec. 71432 c NEW SOLUTION FOUND: 367708 @ 53.374 @ #Dec. 71493 c NEW SOLUTION FOUND: 367470 @ 53.426 @ #Dec. 71536 c NEW SOLUTION FOUND: 367248 @ 53.464 @ #Dec. 71569 c NEW SOLUTION FOUND: 367232 @ 53.466 @ #Dec. 71573 c NEW SOLUTION FOUND: 145196 @ 54.08 @ #Dec. 72284 c NEW SOLUTION FOUND: 129212 @ 54.086 @ #Dec. 72297 c NEW SOLUTION FOUND: 129196 @ 54.087 @ #Dec. 72301 c NEW SOLUTION FOUND: 119196 @ 54.093 @ #Dec. 72311 c NEW SOLUTION FOUND: 118998 @ 54.097 @ #Dec. 72334 c NEW SOLUTION FOUND: 118982 @ 54.099 @ #Dec. 72348 c NEW SOLUTION FOUND: 118958 @ 54.125 @ #Dec. 72405 c NEW SOLUTION FOUND: 118946 @ 54.178 @ #Dec. 72509 c NEW SOLUTION FOUND: 118934 @ 54.221 @ #Dec. 72583 c NEW SOLUTION FOUND: 118922 @ 54.27 @ #Dec. 72658 c NEW SOLUTION FOUND: 118910 @ 54.331 @ #Dec. 72744 c NEW SOLUTION FOUND: 84668 @ 54.686 @ #Dec. 73286 c NEW SOLUTION FOUND: 84660 @ 54.687 @ #Dec. 73288 c NEW SOLUTION FOUND: 80700 @ 54.72 @ #Dec. 73342 c NEW SOLUTION FOUND: 80660 @ 54.747 @ #Dec. 73379 c NEW SOLUTION FOUND: 78780 @ 54.841 @ #Dec. 73513 c NEW SOLUTION FOUND: 78748 @ 54.842 @ #Dec. 73517 c NEW SOLUTION FOUND: 78708 @ 54.843 @ #Dec. 73519 c NEW SOLUTION FOUND: 76780 @ 54.85 @ #Dec. 73534 c NEW SOLUTION FOUND: 76748 @ 54.851 @ #Dec. 73538 c NEW SOLUTION FOUND: 76708 @ 54.852 @ #Dec. 73541 c NEW SOLUTION FOUND: 74716 @ 54.854 @ #Dec. 73549 c NEW SOLUTION FOUND: 74708 @ 54.855 @ #Dec. 73550 c NEW SOLUTION FOUND: 72748 @ 54.857 @ #Dec. 73559 c NEW SOLUTION FOUND: 72708 @ 54.859 @ #Dec. 73563 c NEW SOLUTION FOUND: 72700 @ 54.9 @ #Dec. 73631 c NEW SOLUTION FOUND: 72660 @ 54.909 @ #Dec. 73646 c NEW SOLUTION FOUND: 68732 @ 54.949 @ #Dec. 73710 c NEW SOLUTION FOUND: 68700 @ 54.95 @ #Dec. 73715 c NEW SOLUTION FOUND: 68660 @ 54.951 @ #Dec. 73719 c NEW SOLUTION FOUND: 66716 @ 54.955 @ #Dec. 73732 c NEW SOLUTION FOUND: 66708 @ 54.956 @ #Dec. 73733 c NEW SOLUTION FOUND: 64748 @ 54.959 @ #Dec. 73746 c NEW SOLUTION FOUND: 64708 @ 54.962 @ #Dec. 73755 c NEW SOLUTION FOUND: 64700 @ 54.976 @ #Dec. 73783 c NEW SOLUTION FOUND: 64660 @ 54.977 @ #Dec. 73788 c NEW SOLUTION FOUND: 62716 @ 54.979 @ #Dec. 73795 c NEW SOLUTION FOUND: 62708 @ 54.98 @ #Dec. 73796 c NEW SOLUTION FOUND: 62696 @ 54.984 @ #Dec. 73804 c NEW SOLUTION FOUND: 62692 @ 54.995 @ #Dec. 73819 c NEW SOLUTION FOUND: 62684 @ 54.996 @ #Dec. 73820 c NEW SOLUTION FOUND: 62486 @ 55.009 @ #Dec. 73842 c NEW SOLUTION FOUND: 62446 @ 55.01 @ #Dec. 73844 c NEW SOLUTION FOUND: 62280 @ 55.091 @ #Dec. 73967 c NEW SOLUTION FOUND: 62248 @ 55.091 @ #Dec. 73971 c NEW SOLUTION FOUND: 62208 @ 55.092 @ #Dec. 73973 c NEW SOLUTION FOUND: 26930 @ 55.097 @ #Dec. 73994 c NEW SOLUTION FOUND: 26922 @ 55.098 @ #Dec. 73995 c NEW SOLUTION FOUND: 22962 @ 55.1 @ #Dec. 74005 c NEW SOLUTION FOUND: 22922 @ 55.102 @ #Dec. 74010 c NEW SOLUTION FOUND: 2994 @ 55.103 @ #Dec. 74023 c NEW SOLUTION FOUND: 2962 @ 55.104 @ #Dec. 74027 c NEW SOLUTION FOUND: 2922 @ 55.105 @ #Dec. 74033 c NEW SOLUTION FOUND: -1070 @ 55.107 @ #Dec. 74042 c NEW SOLUTION FOUND: -1078 @ 55.108 @ #Dec. 74043 c NEW SOLUTION FOUND: -5038 @ 55.109 @ #Dec. 74055 c NEW SOLUTION FOUND: -5078 @ 55.11 @ #Dec. 74061 c NEW SOLUTION FOUND: -9006 @ 55.111 @ #Dec. 74071 c NEW SOLUTION FOUND: -9038 @ 55.112 @ #Dec. 74076 c NEW SOLUTION FOUND: -9078 @ 55.113 @ #Dec. 74082 c NEW SOLUTION FOUND: -9106 @ 55.181 @ #Dec. 74234 c NEW SOLUTION FOUND: -9114 @ 55.182 @ #Dec. 74235 c NEW SOLUTION FOUND: -9124 @ 55.52 @ #Dec. 74972 c NEW SOLUTION FOUND: -9152 @ 55.588 @ #Dec. 75090 c NEW SOLUTION FOUND: -9160 @ 55.589 @ #Dec. 75091 c NEW SOLUTION FOUND: -10401 @ 56.372 @ #Dec. 76259 c NEW SOLUTION FOUND: -10501 @ 56.481 @ #Dec. 76539 c NEW SOLUTION FOUND: -10511 @ 56.488 @ #Dec. 76609 c NEW SOLUTION FOUND: -10761 @ 56.495 @ #Dec. 76647 c NEW SOLUTION FOUND: -10773 @ 56.502 @ #Dec. 76677 c NEW SOLUTION FOUND: -10809 @ 56.536 @ #Dec. 76756 c NEW SOLUTION FOUND: -10839 @ 56.543 @ #Dec. 76786 c NEW SOLUTION FOUND: -10863 @ 56.551 @ #Dec. 76824 c NEW SOLUTION FOUND: -11039 @ 56.597 @ #Dec. 76922 c NEW SOLUTION FOUND: -11075 @ 56.787 @ #Dec. 77324 c NEW SOLUTION FOUND: -11315 @ 56.793 @ #Dec. 77354 c NEW SOLUTION FOUND: -11325 @ 56.797 @ #Dec. 77386 c NEW SOLUTION FOUND: -11363 @ 56.888 @ #Dec. 77527 c NEW SOLUTION FOUND: -11373 @ 56.892 @ #Dec. 77557 c NEW SOLUTION FOUND: -11623 @ 56.895 @ #Dec. 77588 c NEW SOLUTION FOUND: -11766 @ 57.03 @ #Dec. 77988 c NEW SOLUTION FOUND: -12155 @ 57.223 @ #Dec. 78231 c NEW SOLUTION FOUND: -12165 @ 57.227 @ #Dec. 78298 c NEW SOLUTION FOUND: -12320 @ 57.279 @ #Dec. 78436 c NEW SOLUTION FOUND: -12453 @ 57.451 @ #Dec. 78723 c NEW SOLUTION FOUND: -12463 @ 57.454 @ #Dec. 78788 c NEW SOLUTION FOUND: -12556 @ 57.491 @ #Dec. 78924 c NEW SOLUTION FOUND: -12606 @ 57.509 @ #Dec. 79004 c NEW SOLUTION FOUND: -12937 @ 59.723 @ #Dec. 81424 c NEW SOLUTION FOUND: -12945 @ 61.549 @ #Dec. 83693 c NEW SOLUTION FOUND: -12967 @ 61.955 @ #Dec. 84211 c NEW SOLUTION FOUND: -12977 @ 61.973 @ #Dec. 84274 c NEW SOLUTION FOUND: -13001 @ 61.984 @ #Dec. 84323 c NEW SOLUTION FOUND: -13009 @ 62.375 @ #Dec. 84792 c NEW SOLUTION FOUND: -13019 @ 62.852 @ #Dec. 85329 c NEW SOLUTION FOUND: -13169 @ 62.863 @ #Dec. 85411 c NEW SOLUTION FOUND: -13193 @ 62.916 @ #Dec. 85542 c NEW SOLUTION FOUND: -13201 @ 63.094 @ #Dec. 85780 c NEW SOLUTION FOUND: -13223 @ 63.636 @ #Dec. 86352 c NEW SOLUTION FOUND: -13233 @ 63.652 @ #Dec. 86430 c NEW SOLUTION FOUND: -13257 @ 63.661 @ #Dec. 86502 c NEW SOLUTION FOUND: -13265 @ 64.509 @ #Dec. 87302 c Restart #20 #Var: 493 #Dec: 91683 LB: -2064339 @ 70.793 c Restart #21 #Var: 493 #Dec: 98364 LB: -2064339 @ 79.945 c Restart #22 #Var: 493 #Dec: 103033 LB: -2064339 @ 89.871 c Restart #23 #Var: 493 #Dec: 107746 LB: -2064339 @ 98.406 c CHANGE to MIS mode... UB: -13265 MIS: -2064339 LPR: -2147483648 (0) Diff: 0.00096128 c Restart #0 #Var: 493 #Dec: 112954 LB: -2064339 @ 108.05 c Restart #1 #Var: 493 #Dec: 113393 LB: -2064339 @ 110.78 c Restart #2 #Var: 493 #Dec: 113863 LB: -2064339 @ 115.92 c Restart #3 #Var: 493 #Dec: 114914 LB: -2064339 @ 121.52 c NEW SOLUTION FOUND: -768809 @ 128.14 @ #Dec. 116814 c NEW SOLUTION FOUND: -769309 @ 128.14 @ #Dec. 116816 c NEW SOLUTION FOUND: -769547 @ 128.15 @ #Dec. 116816 c NEW SOLUTION FOUND: -769577 @ 128.15 @ #Dec. 116822 c NEW SOLUTION FOUND: -769592 @ 128.15 @ #Dec. 116822 c NEW SOLUTION FOUND: -769607 @ 128.16 @ #Dec. 116824 c NEW SOLUTION FOUND: -769617 @ 128.16 @ #Dec. 116834 c NEW SOLUTION FOUND: -769647 @ 128.17 @ #Dec. 116848 c NEW SOLUTION FOUND: -770123 @ 128.17 @ #Dec. 116855 c NEW SOLUTION FOUND: -770361 @ 128.17 @ #Dec. 116859 c NEW SOLUTION FOUND: -770599 @ 128.17 @ #Dec. 116860 c NEW SOLUTION FOUND: -771075 @ 128.18 @ #Dec. 116864 c NEW SOLUTION FOUND: -771551 @ 128.18 @ #Dec. 116866 c NEW SOLUTION FOUND: -772027 @ 128.18 @ #Dec. 116872 c NEW SOLUTION FOUND: -772265 @ 128.18 @ #Dec. 116876 c NEW SOLUTION FOUND: -772503 @ 128.18 @ #Dec. 116877 c NEW SOLUTION FOUND: -772741 @ 128.19 @ #Dec. 116890 c NEW SOLUTION FOUND: -772781 @ 128.22 @ #Dec. 116944 c NEW SOLUTION FOUND: -772801 @ 128.25 @ #Dec. 117003 c NEW SOLUTION FOUND: -772803 @ 128.26 @ #Dec. 117042 c NEW SOLUTION FOUND: -772833 @ 128.27 @ #Dec. 117062 c NEW SOLUTION FOUND: -772841 @ 128.29 @ #Dec. 117100 c NEW SOLUTION FOUND: -772849 @ 128.36 @ #Dec. 117255 c NEW SOLUTION FOUND: -772883 @ 128.44 @ #Dec. 117373 c NEW SOLUTION FOUND: -772953 @ 128.45 @ #Dec. 117378 c NEW SOLUTION FOUND: -773267 @ 128.45 @ #Dec. 117386 c NEW SOLUTION FOUND: -773337 @ 128.45 @ #Dec. 117391 c NEW SOLUTION FOUND: -773361 @ 128.45 @ #Dec. 117403 c NEW SOLUTION FOUND: -773409 @ 128.46 @ #Dec. 117422 c NEW SOLUTION FOUND: -773439 @ 128.47 @ #Dec. 117454 c NEW SOLUTION FOUND: -773535 @ 128.47 @ #Dec. 117467 c NEW SOLUTION FOUND: -773583 @ 128.53 @ #Dec. 117567 c NEW SOLUTION FOUND: -773591 @ 128.76 @ #Dec. 117826 c NEW SOLUTION FOUND: -773602 @ 130.41 @ #Dec. 119442 c NEW SOLUTION FOUND: -773617 @ 130.41 @ #Dec. 119463 c NEW SOLUTION FOUND: -773627 @ 130.42 @ #Dec. 119492 c NEW SOLUTION FOUND: -773633 @ 130.43 @ #Dec. 119526 c NEW SOLUTION FOUND: -773643 @ 130.44 @ #Dec. 119542 c NEW SOLUTION FOUND: -773681 @ 130.44 @ #Dec. 119562 c NEW SOLUTION FOUND: -773691 @ 130.45 @ #Dec. 119580 c NEW SOLUTION FOUND: -773707 @ 130.46 @ #Dec. 119602 c NEW SOLUTION FOUND: -773711 @ 130.5 @ #Dec. 119646 c NEW SOLUTION FOUND: -773721 @ 130.52 @ #Dec. 119666 c NEW SOLUTION FOUND: -773737 @ 130.55 @ #Dec. 119698 c NEW SOLUTION FOUND: -773771 @ 130.58 @ #Dec. 119731 c NEW SOLUTION FOUND: -773781 @ 130.59 @ #Dec. 119751 c NEW SOLUTION FOUND: -773797 @ 130.61 @ #Dec. 119777 c NEW SOLUTION FOUND: -774035 @ 130.77 @ #Dec. 119848 c NEW SOLUTION FOUND: -774045 @ 130.77 @ #Dec. 119862 c NEW SOLUTION FOUND: -774061 @ 130.81 @ #Dec. 119890 c NEW SOLUTION FOUND: -774217 @ 130.92 @ #Dec. 119953 c NEW SOLUTION FOUND: -774265 @ 130.96 @ #Dec. 120078 c NEW SOLUTION FOUND: -774638 @ 131.01 @ #Dec. 120231 c NEW SOLUTION FOUND: -774688 @ 131.01 @ #Dec. 120247 c NEW SOLUTION FOUND: -774766 @ 131.21 @ #Dec. 120344 c NEW SOLUTION FOUND: -774816 @ 131.21 @ #Dec. 120360 c NEW SOLUTION FOUND: -774880 @ 131.23 @ #Dec. 120397 c NEW SOLUTION FOUND: -774888 @ 131.24 @ #Dec. 120424 c NEW SOLUTION FOUND: -775079 @ 131.68 @ #Dec. 120610 c NEW SOLUTION FOUND: -775271 @ 131.7 @ #Dec. 120655 c NEW SOLUTION FOUND: -775331 @ 131.72 @ #Dec. 120694 c NEW SOLUTION FOUND: -778290 @ 147.54 @ #Dec. 121894 c NEW SOLUTION FOUND: -779610 @ 148.61 @ #Dec. 122175 c NEW SOLUTION FOUND: -779650 @ 148.63 @ #Dec. 122200 c NEW SOLUTION FOUND: -779660 @ 148.64 @ #Dec. 122215 c NEW SOLUTION FOUND: -780506 @ 150.73 @ #Dec. 123059 c NEW SOLUTION FOUND: -780522 @ 150.74 @ #Dec. 123080 c NEW SOLUTION FOUND: -780530 @ 150.75 @ #Dec. 123095 c NEW SOLUTION FOUND: -780556 @ 150.76 @ #Dec. 123120 c NEW SOLUTION FOUND: -780588 @ 150.77 @ #Dec. 123140 c NEW SOLUTION FOUND: -780612 @ 150.78 @ #Dec. 123157 c Restart #4 #Var: 493 #Dec: 125277 LB: -2064339 @ 158.85 c Restart #5 #Var: 476 #Dec: 127432 LB: -2064339 @ 165.64 c Restart #6 #Var: 476 #Dec: 130168 LB: -2064339 @ 175.08 c Restart #7 #Var: 476 #Dec: 132291 LB: -2064339 @ 182.69 c Restart #8 #Var: 476 #Dec: 134703 LB: -2064339 @ 185.11 c Restart #9 #Var: 476 #Dec: 137374 LB: -2064339 @ 191.97 c Restart #10 #Var: 476 #Dec: 139991 LB: -2064339 @ 201.82 c Restart #11 #Var: 476 #Dec: 142635 LB: -2064339 @ 205.72 c Restart #12 #Var: 476 #Dec: 145833 LB: -2064339 @ 218.55 c Restart #13 #Var: 476 #Dec: 148829 LB: -2064339 @ 224.04 c Restart #14 #Var: 476 #Dec: 153147 LB: -2064339 @ 233.94 c Restart #15 #Var: 476 #Dec: 157473 LB: -2064339 @ 241.84 c Restart #16 #Var: 476 #Dec: 162707 LB: -2064339 @ 253.2 c Restart #17 #Var: 476 #Dec: 168740 LB: -2064339 @ 262.35 c Restart #18 #Var: 476 #Dec: 173612 LB: -2064339 @ 270.28 c Restart #19 #Var: 475 #Dec: 177599 LB: -2064339 @ 276.73 c Restart #20 #Var: 475 #Dec: 181803 LB: -2064339 @ 282.01 c Restart #21 #Var: 475 #Dec: 186252 LB: -2064339 @ 289.97 c Restart #22 #Var: 475 #Dec: 190759 LB: -2064339 @ 298.46 c Restart #23 #Var: 475 #Dec: 198536 LB: -2064339 @ 321.8 c Restart #24 #Var: 475 #Dec: 208842 LB: -2064339 @ 389.41 c Restart #25 #Var: 475 #Dec: 220115 LB: -2064339 @ 423.4 c Restart #26 #Var: 475 #Dec: 229433 LB: -2064339 @ 451.46 c Restart #27 #Var: 475 #Dec: 239670 LB: -2064339 @ 519.08 c Restart #28 #Var: 475 #Dec: 250342 LB: -2064339 @ 549.14 c Restart #29 #Var: 474 #Dec: 258355 LB: -2064339 @ 572.6 c Restart #30 #Var: 474 #Dec: 281131 LB: -2064339 @ 661.52 c NEW SOLUTION FOUND: -780742 @ 664.24 @ #Dec. 281531 c NEW SOLUTION FOUND: -780992 @ 664.24 @ #Dec. 281531 c NEW SOLUTION FOUND: -781112 @ 664.34 @ #Dec. 281591 c NEW SOLUTION FOUND: -781124 @ 664.34 @ #Dec. 281594 c NEW SOLUTION FOUND: -781136 @ 664.34 @ #Dec. 281599 c NEW SOLUTION FOUND: -781148 @ 664.34 @ #Dec. 281603 c NEW SOLUTION FOUND: -781196 @ 664.34 @ #Dec. 281613 c NEW SOLUTION FOUND: -781292 @ 664.35 @ #Dec. 281636 c NEW SOLUTION FOUND: -781484 @ 664.35 @ #Dec. 281649 c NEW SOLUTION FOUND: -781492 @ 664.65 @ #Dec. 281887 c NEW SOLUTION FOUND: -781494 @ 669.98 @ #Dec. 282787 c NEW SOLUTION FOUND: -781534 @ 670.44 @ #Dec. 283037 c NEW SOLUTION FOUND: -781558 @ 670.45 @ #Dec. 283060 c NEW SOLUTION FOUND: -781750 @ 670.45 @ #Dec. 283096 c NEW SOLUTION FOUND: -781958 @ 671.27 @ #Dec. 283534 c NEW SOLUTION FOUND: -781973 @ 672.11 @ #Dec. 284007 c NEW SOLUTION FOUND: -781987 @ 673.08 @ #Dec. 284408 c NEW SOLUTION FOUND: -782003 @ 674.65 @ #Dec. 285218 c NEW SOLUTION FOUND: -782017 @ 675.75 @ #Dec. 285631 c NEW SOLUTION FOUND: -782033 @ 675.81 @ #Dec. 285663 c NEW SOLUTION FOUND: -782062 @ 676.3 @ #Dec. 285867 c NEW SOLUTION FOUND: -782078 @ 676.38 @ #Dec. 285928 c NEW SOLUTION FOUND: -782257 @ 718.19 @ #Dec. 294939 c NEW SOLUTION FOUND: -802949 @ 762.8 @ #Dec. 299852 c NEW SOLUTION FOUND: -803077 @ 762.81 @ #Dec. 299870 c NEW SOLUTION FOUND: -803333 @ 762.82 @ #Dec. 299891 c NEW SOLUTION FOUND: -803707 @ 762.87 @ #Dec. 299933 c NEW SOLUTION FOUND: -803725 @ 762.91 @ #Dec. 299963 c NEW SOLUTION FOUND: -803749 @ 797.06 @ #Dec. 302922 c NEW SOLUTION FOUND: -803756 @ 797.21 @ #Dec. 302974 c NEW SOLUTION FOUND: -803764 @ 797.21 @ #Dec. 302987 c NEW SOLUTION FOUND: -803779 @ 799.98 @ #Dec. 303877 c NEW SOLUTION FOUND: -803794 @ 800.85 @ #Dec. 304246 c NEW SOLUTION FOUND: -803797 @ 801.37 @ #Dec. 304414 c NEW SOLUTION FOUND: -803827 @ 801.38 @ #Dec. 304427 c NEW SOLUTION FOUND: -803891 @ 801.46 @ #Dec. 304478 c NEW SOLUTION FOUND: -803899 @ 801.51 @ #Dec. 304507 c Restart #31 #Var: 474 #Dec: 316061 LB: -2064339 @ 869.61 c Restart #32 #Var: 474 #Dec: 324174 LB: -2064339 @ 911.03 c NEW SOLUTION FOUND: -803990 @ 913.71 @ #Dec. 324561 c NEW SOLUTION FOUND: -804246 @ 913.71 @ #Dec. 324564 c NEW SOLUTION FOUND: -804374 @ 913.71 @ #Dec. 324568 c NEW SOLUTION FOUND: -804398 @ 930.85 @ #Dec. 330034 c NEW SOLUTION FOUND: -804446 @ 930.97 @ #Dec. 330061 c NEW SOLUTION FOUND: -804454 @ 930.98 @ #Dec. 330071 c NEW SOLUTION FOUND: -804502 @ 931.25 @ #Dec. 330342 c NEW SOLUTION FOUND: -804510 @ 931.26 @ #Dec. 330353 c NEW SOLUTION FOUND: -804518 @ 931.27 @ #Dec. 330373 c NEW SOLUTION FOUND: -804526 @ 931.27 @ #Dec. 330392 c NEW SOLUTION FOUND: -804534 @ 931.32 @ #Dec. 330423 c Restart #33 #Var: 474 #Dec: 338852 LB: -2064339 @ 968.3 c NEW SOLUTION FOUND: -828244 @ 1012.3 @ #Dec. 344121 c NEW SOLUTION FOUND: -828252 @ 1012.7 @ #Dec. 344196 c NEW SOLUTION FOUND: -828268 @ 1012.9 @ #Dec. 344269 c NEW SOLUTION FOUND: -829420 @ 1013 @ #Dec. 344313 c NEW SOLUTION FOUND: -829588 @ 1013.4 @ #Dec. 344445 c NEW SOLUTION FOUND: -829642 @ 1013.7 @ #Dec. 344750 c NEW SOLUTION FOUND: -829710 @ 1014.2 @ #Dec. 345070 c NEW SOLUTION FOUND: -829758 @ 1014.3 @ #Dec. 345133 c NEW SOLUTION FOUND: -829770 @ 1014.4 @ #Dec. 345205 c NEW SOLUTION FOUND: -829954 @ 1016.4 @ #Dec. 345940 c NEW SOLUTION FOUND: -830954 @ 1016.4 @ #Dec. 345948 c NEW SOLUTION FOUND: -831466 @ 1016.4 @ #Dec. 345959 c NEW SOLUTION FOUND: -831722 @ 1016.4 @ #Dec. 345965 c NEW SOLUTION FOUND: -831906 @ 1016.4 @ #Dec. 345996 c NEW SOLUTION FOUND: -832906 @ 1016.4 @ #Dec. 346006 c NEW SOLUTION FOUND: -835722 @ 1016.5 @ #Dec. 346071 c NEW SOLUTION FOUND: -835818 @ 1017.3 @ #Dec. 346331 c NEW SOLUTION FOUND: -835834 @ 1017.4 @ #Dec. 346385 c NEW SOLUTION FOUND: -836234 @ 1017.7 @ #Dec. 346499 c NEW SOLUTION FOUND: -836490 @ 1017.8 @ #Dec. 346533 c NEW SOLUTION FOUND: -836602 @ 1017.9 @ #Dec. 346591 c NEW SOLUTION FOUND: -836682 @ 1018.9 @ #Dec. 346895 c NEW SOLUTION FOUND: -836746 @ 1019 @ #Dec. 346930 c NEW SOLUTION FOUND: -836794 @ 1019.1 @ #Dec. 346964 c NEW SOLUTION FOUND: -836809 @ 1022.6 @ #Dec. 348502 c NEW SOLUTION FOUND: -836839 @ 1030.8 @ #Dec. 349401 c NEW SOLUTION FOUND: -836863 @ 1032.2 @ #Dec. 349524 c NEW SOLUTION FOUND: -836931 @ 1035 @ #Dec. 350289 c NEW SOLUTION FOUND: -836947 @ 1039.2 @ #Dec. 350732 c NEW SOLUTION FOUND: -836959 @ 1041.3 @ #Dec. 350959 c NEW SOLUTION FOUND: -837003 @ 1108.3 @ #Dec. 356022 c NEW SOLUTION FOUND: -837019 @ 1108.6 @ #Dec. 356062 c NEW SOLUTION FOUND: -837115 @ 1109 @ #Dec. 356115 c NEW SOLUTION FOUND: -837139 @ 1109.6 @ #Dec. 356173 s SATISFIABLE v -X02_bit_7 -X02_bit_6 -X02_bit_5 -X02_bit_4 -X02_bit_3 -X02_bit_2 -X02_bit_1 -X02_bit0 -X02_bit1 -X02_bit2 -X02_bit3 -X02_bit4 X02_bit5 -X02_bit6 -X02_bit7 -X02_bit8 -X02_bit9 -X02_bit10 -X02_bit11 -X02_bit12 X14_bit_7 -X14_bit_6 X14_bit_5 X14_bit_4 -X14_bit_3 X14_bit_2 X14_bit_1 -X14_bit0 X14_bit1 X14_bit2 -X14_bit3 X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 X36_bit_7 -X36_bit_6 -X36_bit_5 X36_bit_4 X36_bit_3 X36_bit_2 X36_bit_1 -X36_bit0 X36_bit1 X36_bit2 -X36_bit3 X36_bit4 X36_bit5 -X36_bit6 X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X01_bit_7 -X01_bit_6 -X01_bit_5 X01_bit_4 X01_bit_3 -X01_bit_2 X01_bit_1 X01_bit0 X01_bit1 X01_bit2 X01_bit3 -X01_bit4 -X01_bit5 X01_bit6 -X01_bit7 -X01_bit8 -X01_bit9 -X01_bit10 -X01_bit11 -X01_bit12 -X03_bit_7 -X03_bit_6 -X03_bit_5 X03_bit_4 X03_bit_3 -X03_bit_2 X03_bit_1 X03_bit0 X03_bit1 X03_bit2 X03_bit3 -X03_bit4 X03_bit5 -X03_bit6 -X03_bit7 -X03_bit8 -X03_bit9 -X03_bit10 -X03_bit11 -X03_bit12 -X04_bit_7 -X04_bit_6 X04_bit_5 X04_bit_4 X04_bit_3 X04_bit_2 -X04_bit_1 -X04_bit0 -X04_bit1 X04_bit2 -X04_bit3 X04_bit4 -X04_bit5 X04_bit6 -X04_bit7 -X04_bit8 -X04_bit9 -X04_bit10 -X04_bit11 -X04_bit12 -X06_bit_7 -X06_bit_6 -X06_bit_5 -X06_bit_4 -X06_bit_3 -X06_bit_2 -X06_bit_1 -X06_bit0 -X06_bit1 -X06_bit2 -X06_bit3 X06_bit4 -X06_bit5 X06_bit6 -X06_bit7 -X06_bit8 -X06_bit9 -X06_bit10 -X06_bit11 -X06_bit12 -X07_bit_7 -X07_bit_6 -X07_bit_5 -X07_bit_4 -X07_bit_3 -X07_bit_2 X07_bit_1 -X07_bit0 -X07_bit1 -X07_bit2 -X07_bit3 -X07_bit4 -X07_bit5 -X07_bit6 -X07_bit7 -X07_bit8 -X07_bit9 -X07_bit10 -X07_bit11 -X07_bit12 -X08_bit_7 -X08_bit_6 -X08_bit_5 -X08_bit_4 -X08_bit_3 -X08_bit_2 X08_bit_1 -X08_bit0 -X08_bit1 -X08_bit2 -X08_bit3 -X08_bit4 X08_bit5 -X08_bit6 -X08_bit7 -X08_bit8 -X08_bit9 -X08_bit10 -X08_bit11 -X08_bit12 -X09_bit_7 X09_bit_6 -X09_bit_5 X09_bit_4 -X09_bit_3 -X09_bit_2 -X09_bit_1 -X09_bit0 -X09_bit1 -X09_bit2 -X09_bit3 -X09_bit4 X09_bit5 -X09_bit6 -X09_bit7 -X09_bit8 -X09_bit9 -X09_bit10 -X09_bit11 -X09_bit12 X15_bit_7 -X15_bit_6 X15_bit_5 X15_bit_4 X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 X15_bit1 -X15_bit2 X15_bit3 X15_bit4 X15_bit5 X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 X16_bit_7 X16_bit_6 X16_bit_5 X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 X16_bit4 -X16_bit5 -X16_bit6 X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 X22_bit_1 X22_bit0 -X22_bit1 X22_bit2 -X22_bit3 X22_bit4 X22_bit5 -X22_bit6 X22_bit7 X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 X24_bit_7 X24_bit_6 X24_bit_5 X24_bit_4 X24_bit_3 X24_bit_2 X24_bit_1 X24_bit0 X24_bit1 X24_bit2 -X24_bit3 X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 X25_bit_3 X25_bit_2 -X25_bit_1 X25_bit0 -X25_bit1 X25_bit2 X25_bit3 X25_bit4 -X25_bit5 -X25_bit6 X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 X26_bit2 X26_bit3 X26_bit4 X26_bit5 -X26_bit6 X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X28_bit_7 -X28_bit_6 X28_bit_5 X28_bit_4 X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 X28_bit1 -X28_bit2 X28_bit3 -X28_bit4 -X28_bit5 X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 X38_bit_7 -X38_bit_6 X38_bit_5 -X38_bit_4 X38_bit_3 X38_bit_2 X38_bit_1 X38_bit0 X38_bit1 X38_bit2 X38_bit3 X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 X37_bit_7 -X37_bit_6 X37_bit_5 X37_bit_4 X37_bit_3 -X37_bit_2 X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 X37_bit3 X37_bit4 -X37_bit5 -X37_bit6 X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 X13_bit_6 -X13_bit_5 X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 c Cost: -837139 c Exit Code: 10 c Total time: 1195.1 s
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1796239019 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/30923/statm): 107 3 90 68 0 39 0 [pid=30923] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-afiro.opb [startup+10.0034 s] Raw data (loadavg): 0.93 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 5968 0 0 0 864 54 0 0 25 0 1 0 1796239019 27463680 5879 4294967295 134512640 134736556 3221224560 3221223156 1077374184 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30923/statm): 6705 5879 1116 68 0 6637 0 [pid=30923] vsize: 26820 Current children cumulated CPU time (s) 9.18 Current children cumulated vsize (Kb) 26820 [startup+20.0042 s] Raw data (loadavg): 0.94 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 16304 0 0 0 1775 103 0 0 25 0 1 0 1796239019 69914624 16215 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 17069 16215 1116 68 0 17001 0 [pid=30923] vsize: 68276 Current children cumulated CPU time (s) 18.78 Current children cumulated vsize (Kb) 68276 [startup+30.005 s] Raw data (loadavg): 0.95 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 19627 0 0 0 2722 126 0 0 25 0 1 0 1796239019 83562496 19538 4294967295 134512640 134736556 3221224560 3221223164 134537568 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 20401 19538 1116 68 0 20333 0 [pid=30923] vsize: 81604 Current children cumulated CPU time (s) 28.48 Current children cumulated vsize (Kb) 81604 [startup+40.0058 s] Raw data (loadavg): 0.95 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 25281 0 0 0 3650 158 0 0 25 0 1 0 1796239019 106672128 25191 4294967295 134512640 134736556 3221224560 3221223212 134554060 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 26043 25191 1116 68 0 25975 0 [pid=30923] vsize: 104172 Current children cumulated CPU time (s) 38.08 Current children cumulated vsize (Kb) 104172 [startup+50.0065 s] Raw data (loadavg): 0.96 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 27626 0 0 0 4600 178 0 0 25 0 1 0 1796239019 116264960 27536 4294967295 134512640 134736556 3221224560 3221223232 134528802 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 28385 27536 1116 68 0 28317 0 [pid=30923] vsize: 113540 Current children cumulated CPU time (s) 47.78 Current children cumulated vsize (Kb) 113540 [startup+60.0073 s] Raw data (loadavg): 0.97 0.98 0.99 1/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 30455 0 0 0 5542 203 0 0 23 0 1 0 1796239019 127877120 30365 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30923/statm): 31220 30365 1116 68 0 31152 0 [pid=30923] vsize: 124880 Current children cumulated CPU time (s) 57.45 Current children cumulated vsize (Kb) 124880 [startup+70.0081 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 34526 0 0 0 6481 230 0 0 25 0 1 0 1796239019 144633856 34436 4294967295 134512640 134736556 3221224560 3221223024 134536197 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 35311 34436 1116 68 0 35243 0 [pid=30923] vsize: 141244 Current children cumulated CPU time (s) 67.11 Current children cumulated vsize (Kb) 141244 [startup+80.0089 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 38204 0 0 0 7431 253 0 0 25 0 1 0 1796239019 159645696 38114 4294967295 134512640 134736556 3221224560 3221223120 134551088 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 38976 38114 1116 68 0 38908 0 [pid=30923] vsize: 155904 Current children cumulated CPU time (s) 76.84 Current children cumulated vsize (Kb) 155904 [startup+90.0097 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 41402 0 0 0 8398 267 0 0 25 0 1 0 1796239019 172756992 41312 4294967295 134512640 134736556 3221224560 3221222968 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 42177 41312 1116 68 0 42109 0 [pid=30923] vsize: 168708 Current children cumulated CPU time (s) 86.65 Current children cumulated vsize (Kb) 168708 [startup+100.009 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 44646 0 0 0 9364 284 0 0 25 0 1 0 1796239019 186011648 44556 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30923/statm): 45413 44556 1116 68 0 45345 0 [pid=30923] vsize: 181652 Current children cumulated CPU time (s) 96.48 Current children cumulated vsize (Kb) 181652 [startup+110.01 s] Raw data (loadavg): 0.98 0.98 0.99 1/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 48317 0 0 0 10327 302 0 0 25 0 1 0 1796239019 201170944 48227 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30923/statm): 49114 48227 1116 68 0 49046 0 [pid=30923] vsize: 196456 Current children cumulated CPU time (s) 106.29 Current children cumulated vsize (Kb) 196456 [startup+120.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 49919 0 0 0 11308 313 0 0 25 0 1 0 1796239019 207659008 49826 4294967295 134512640 134736556 3221224560 3221223120 134550999 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 50698 49826 1116 68 0 50630 0 [pid=30923] vsize: 202792 Current children cumulated CPU time (s) 116.21 Current children cumulated vsize (Kb) 202792 [startup+130.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 50223 0 0 0 12296 317 0 0 25 0 1 0 1796239019 209010688 50130 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 51028 50130 1116 68 0 50960 0 [pid=30923] vsize: 204112 Current children cumulated CPU time (s) 126.13 Current children cumulated vsize (Kb) 204112 [startup+140.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 51408 0 0 0 13267 329 0 0 25 0 1 0 1796239019 213876736 51315 4294967295 134512640 134736556 3221224560 3221223296 134529245 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 52216 51315 1116 68 0 52148 0 [pid=30923] vsize: 208864 Current children cumulated CPU time (s) 135.96 Current children cumulated vsize (Kb) 208864 [startup+150.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 51473 0 0 0 14265 330 0 0 25 0 1 0 1796239019 214142976 51380 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 52281 51380 1116 68 0 52213 0 [pid=30923] vsize: 209124 Current children cumulated CPU time (s) 145.95 Current children cumulated vsize (Kb) 209124 [startup+160.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 52410 0 0 0 15245 338 0 0 25 0 1 0 1796239019 217944064 52317 4294967295 134512640 134736556 3221224560 3221223260 134537642 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 53209 52317 1116 68 0 53141 0 [pid=30923] vsize: 212836 Current children cumulated CPU time (s) 155.83 Current children cumulated vsize (Kb) 212836 [startup+170.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 53092 0 0 0 16226 346 0 0 25 0 1 0 1796239019 220794880 52999 4294967295 134512640 134736556 3221224560 3221223116 134536384 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 53905 52999 1116 68 0 53837 0 [pid=30923] vsize: 215620 Current children cumulated CPU time (s) 165.72 Current children cumulated vsize (Kb) 215620 [startup+180.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 53632 0 0 0 17206 354 0 0 25 0 1 0 1796239019 222969856 53539 4294967295 134512640 134736556 3221224560 3221223296 134529461 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 54436 53539 1116 68 0 54368 0 [pid=30923] vsize: 217744 Current children cumulated CPU time (s) 175.6 Current children cumulated vsize (Kb) 217744 [startup+190.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 55852 0 0 0 18181 365 0 0 25 0 1 0 1796239019 232161280 55759 4294967295 134512640 134736556 3221224560 3221223248 134536460 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 56680 55759 1116 68 0 56612 0 [pid=30923] vsize: 226720 Current children cumulated CPU time (s) 185.46 Current children cumulated vsize (Kb) 226720 [startup+200.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 57808 0 0 0 19158 376 0 0 25 0 1 0 1796239019 240136192 57715 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 58627 57715 1116 68 0 58559 0 [pid=30923] vsize: 234508 Current children cumulated CPU time (s) 195.34 Current children cumulated vsize (Kb) 234508 [startup+210.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 60223 0 0 0 20132 388 0 0 25 0 1 0 1796239019 250003456 60130 4294967295 134512640 134736556 3221224560 3221223248 134529155 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 61036 60130 1116 68 0 60968 0 [pid=30923] vsize: 244144 Current children cumulated CPU time (s) 205.2 Current children cumulated vsize (Kb) 244144 [startup+220.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 62109 0 0 0 21111 398 0 0 25 0 1 0 1796239019 257708032 62015 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 62917 62015 1116 68 0 62849 0 [pid=30923] vsize: 251668 Current children cumulated CPU time (s) 215.09 Current children cumulated vsize (Kb) 251668 [startup+230.018 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 64811 0 0 0 22080 412 0 0 25 0 1 0 1796239019 268795904 64716 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30923/statm): 65624 64716 1116 68 0 65556 0 [pid=30923] vsize: 262496 Current children cumulated CPU time (s) 224.92 Current children cumulated vsize (Kb) 262496 [startup+240.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 67024 0 0 0 23052 426 0 0 25 0 1 0 1796239019 277852160 66929 4294967295 134512640 134736556 3221224560 3221223072 134543065 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 67835 66929 1116 68 0 67767 0 [pid=30923] vsize: 271340 Current children cumulated CPU time (s) 234.78 Current children cumulated vsize (Kb) 271340 [startup+250.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 69292 0 0 0 24022 440 0 0 25 0 1 0 1796239019 287182848 69197 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 70113 69197 1116 68 0 70045 0 [pid=30923] vsize: 280452 Current children cumulated CPU time (s) 244.62 Current children cumulated vsize (Kb) 280452 [startup+260.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 71731 0 0 0 24989 456 0 0 25 0 1 0 1796239019 297185280 71632 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 72555 71632 1116 68 0 72487 0 [pid=30923] vsize: 290220 Current children cumulated CPU time (s) 254.45 Current children cumulated vsize (Kb) 290220 [startup+270.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 74540 0 0 0 25947 476 0 0 25 0 1 0 1796239019 308674560 74441 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 75360 74441 1116 68 0 75292 0 [pid=30923] vsize: 301440 Current children cumulated CPU time (s) 264.23 Current children cumulated vsize (Kb) 301440 [startup+280.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 78658 0 0 0 26907 496 0 0 25 0 1 0 1796239019 325607424 78558 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30923/statm): 79494 78558 1116 68 0 79426 0 [pid=30923] vsize: 317976 Current children cumulated CPU time (s) 274.03 Current children cumulated vsize (Kb) 317976 [startup+290.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 84848 0 0 0 27852 525 0 0 25 0 1 0 1796239019 351047680 84748 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30923/statm): 85705 84748 1116 68 0 85637 0 [pid=30923] vsize: 342820 Current children cumulated CPU time (s) 283.77 Current children cumulated vsize (Kb) 342820 [startup+300.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 90147 0 0 0 28804 549 0 0 25 0 1 0 1796239019 372834304 90046 4294967295 134512640 134736556 3221224560 3221223280 134529180 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 91024 90046 1116 68 0 90956 0 [pid=30923] vsize: 364096 Current children cumulated CPU time (s) 293.53 Current children cumulated vsize (Kb) 364096 [startup+310.023 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 92794 0 0 0 29771 566 0 0 25 0 1 0 1796239019 383672320 92690 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/30923/statm): 93670 92690 1116 68 0 93602 0 [pid=30923] vsize: 374680 Current children cumulated CPU time (s) 303.37 Current children cumulated vsize (Kb) 374680 [startup+320.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 94113 0 0 0 30751 575 0 0 25 0 1 0 1796239019 389079040 94009 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 94990 94009 1116 68 0 94922 0 [pid=30923] vsize: 379960 Current children cumulated CPU time (s) 313.26 Current children cumulated vsize (Kb) 379960 [startup+330.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 94758 0 0 0 31734 583 0 0 25 0 1 0 1796239019 391827456 94653 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 95661 94653 1116 68 0 95593 0 [pid=30923] vsize: 382644 Current children cumulated CPU time (s) 323.17 Current children cumulated vsize (Kb) 382644 [startup+340.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 94943 0 0 0 32726 587 0 0 25 0 1 0 1796239019 392519680 94838 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 95830 94838 1116 68 0 95762 0 [pid=30923] vsize: 383320 Current children cumulated CPU time (s) 333.13 Current children cumulated vsize (Kb) 383320 [startup+350.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 95229 0 0 0 33717 590 0 0 25 0 1 0 1796239019 393773056 95123 4294967295 134512640 134736556 3221224560 3221223184 134537350 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 96136 95123 1116 68 0 96068 0 [pid=30923] vsize: 384544 Current children cumulated CPU time (s) 343.07 Current children cumulated vsize (Kb) 384544 [startup+360.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 96093 0 0 0 34705 595 0 0 25 0 1 0 1796239019 397291520 95985 4294967295 134512640 134736556 3221224560 3221223296 134529337 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 96995 95985 1116 68 0 96927 0 [pid=30923] vsize: 387980 Current children cumulated CPU time (s) 353 Current children cumulated vsize (Kb) 387980 [startup+370.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 96702 0 0 0 35696 600 0 0 25 0 1 0 1796239019 399724544 96594 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 97589 96594 1116 68 0 97521 0 [pid=30923] vsize: 390356 Current children cumulated CPU time (s) 362.96 Current children cumulated vsize (Kb) 390356 [startup+380.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 97533 0 0 0 36684 605 0 0 25 0 1 0 1796239019 403103744 97425 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30923/statm): 98414 97425 1116 68 0 98346 0 [pid=30923] vsize: 393656 Current children cumulated CPU time (s) 372.89 Current children cumulated vsize (Kb) 393656 [startup+390.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 97987 0 0 0 37674 609 0 0 25 0 1 0 1796239019 404996096 97879 4294967295 134512640 134736556 3221224560 3221223212 134554079 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 98876 97879 1116 68 0 98808 0 [pid=30923] vsize: 395504 Current children cumulated CPU time (s) 382.83 Current children cumulated vsize (Kb) 395504 [startup+400.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 98564 0 0 0 38658 615 0 0 25 0 1 0 1796239019 407429120 98456 4294967295 134512640 134736556 3221224560 3221223152 134550935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 99470 98456 1116 68 0 99402 0 [pid=30923] vsize: 397880 Current children cumulated CPU time (s) 392.73 Current children cumulated vsize (Kb) 397880 [startup+410.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 98824 0 0 0 39640 622 0 0 25 0 1 0 1796239019 408510464 98716 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30923/statm): 99734 98716 1116 68 0 99666 0 [pid=30923] vsize: 398936 Current children cumulated CPU time (s) 402.62 Current children cumulated vsize (Kb) 398936 [startup+420.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 99718 0 0 0 40619 631 0 0 25 0 1 0 1796239019 412164096 99610 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 100626 99610 1116 68 0 100558 0 [pid=30923] vsize: 402504 Current children cumulated CPU time (s) 412.5 Current children cumulated vsize (Kb) 402504 [startup+430.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 101492 0 0 0 41589 646 0 0 25 0 1 0 1796239019 417947648 101030 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30923/statm): 102038 101030 1116 68 0 101970 0 [pid=30923] vsize: 408152 Current children cumulated CPU time (s) 422.35 Current children cumulated vsize (Kb) 408152 [startup+440.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 102637 0 0 0 42562 658 0 0 25 0 1 0 1796239019 422678528 102174 4294967295 134512640 134736556 3221224560 3221223296 134529152 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 103193 102174 1116 68 0 103125 0 [pid=30923] vsize: 412772 Current children cumulated CPU time (s) 432.2 Current children cumulated vsize (Kb) 412772 [startup+450.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 102894 0 0 0 43559 660 0 0 25 0 1 0 1796239019 423796736 102430 4294967295 134512640 134736556 3221224560 3221223120 134550941 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 103466 102430 1116 68 0 103398 0 [pid=30923] vsize: 413864 Current children cumulated CPU time (s) 442.19 Current children cumulated vsize (Kb) 413864 [startup+460.033 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 104313 0 0 0 44526 675 0 0 25 0 1 0 1796239019 429629440 103849 4294967295 134512640 134736556 3221224560 3221223116 134537537 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 104890 103849 1116 68 0 104822 0 [pid=30923] vsize: 419560 Current children cumulated CPU time (s) 452.01 Current children cumulated vsize (Kb) 419560 [startup+470.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 104849 0 0 0 45512 681 0 0 25 0 1 0 1796239019 431792128 104385 4294967295 134512640 134736556 3221224560 3221223264 134528659 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 105418 104385 1116 68 0 105350 0 [pid=30923] vsize: 421672 Current children cumulated CPU time (s) 461.93 Current children cumulated vsize (Kb) 421672 [startup+480.034 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 105470 0 0 0 46496 688 0 0 25 0 1 0 1796239019 434360320 105006 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 106045 105006 1116 68 0 105977 0 [pid=30923] vsize: 424180 Current children cumulated CPU time (s) 471.84 Current children cumulated vsize (Kb) 424180 [startup+490.035 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 105995 0 0 0 47486 693 0 0 25 0 1 0 1796239019 436523008 105530 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 106573 105530 1116 68 0 106505 0 [pid=30923] vsize: 426292 Current children cumulated CPU time (s) 481.79 Current children cumulated vsize (Kb) 426292 [startup+500.036 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 106483 0 0 0 48479 697 0 0 25 0 1 0 1796239019 438550528 106018 4294967295 134512640 134736556 3221224560 3221223180 1076999581 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 107068 106018 1116 68 0 107000 0 [pid=30923] vsize: 428272 Current children cumulated CPU time (s) 491.76 Current children cumulated vsize (Kb) 428272 [startup+510.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 106560 0 0 0 49477 698 0 0 25 0 1 0 1796239019 438820864 106094 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 107134 106094 1116 68 0 107066 0 [pid=30923] vsize: 428536 Current children cumulated CPU time (s) 501.75 Current children cumulated vsize (Kb) 428536 [startup+520.037 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 106769 0 0 0 50470 701 0 0 25 0 1 0 1796239019 439631872 106303 4294967295 134512640 134736556 3221224560 3221223168 134537370 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 107332 106303 1116 68 0 107264 0 [pid=30923] vsize: 429328 Current children cumulated CPU time (s) 511.71 Current children cumulated vsize (Kb) 429328 [startup+530.037 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 107552 0 0 0 51453 707 0 0 25 0 1 0 1796239019 442875904 107085 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30923/statm): 108124 107085 1116 68 0 108056 0 [pid=30923] vsize: 432496 Current children cumulated CPU time (s) 521.6 Current children cumulated vsize (Kb) 432496 [startup+540.038 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 107733 0 0 0 52437 713 0 0 25 0 1 0 1796239019 443686912 107266 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30923/statm): 108322 107266 1116 68 0 108254 0 [pid=30923] vsize: 433288 Current children cumulated CPU time (s) 531.5 Current children cumulated vsize (Kb) 433288 [startup+550.069 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 108777 0 0 0 53411 724 0 0 25 0 1 0 1796239019 447885312 108308 4294967295 134512640 134736556 3221224560 3221223248 134536470 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30923/statm): 109347 108308 1116 68 0 109279 0 [pid=30923] vsize: 437388 Current children cumulated CPU time (s) 541.35 Current children cumulated vsize (Kb) 437388 [startup+560.071 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 109588 0 0 0 54389 733 0 0 25 0 1 0 1796239019 451260416 109119 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 110171 109119 1116 68 0 110103 0 [pid=30923] vsize: 440684 Current children cumulated CPU time (s) 551.22 Current children cumulated vsize (Kb) 440684 [startup+570.072 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 110584 0 0 0 55363 744 0 0 25 0 1 0 1796239019 455315456 110115 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 111161 110115 1116 68 0 111093 0 [pid=30923] vsize: 444644 Current children cumulated CPU time (s) 561.07 Current children cumulated vsize (Kb) 444644 [startup+580.072 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 111546 0 0 0 56345 752 0 0 25 0 1 0 1796239019 459374592 111077 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 112152 111077 1116 68 0 112084 0 [pid=30923] vsize: 448608 Current children cumulated CPU time (s) 570.97 Current children cumulated vsize (Kb) 448608 [startup+590.073 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 112037 0 0 0 57330 758 0 0 25 0 1 0 1796239019 461479936 111563 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 112666 111563 1116 68 0 112598 0 [pid=30923] vsize: 450664 Current children cumulated CPU time (s) 580.88 Current children cumulated vsize (Kb) 450664 [startup+600.074 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 112207 0 0 0 58316 764 0 0 25 0 1 0 1796239019 462159872 111731 4294967295 134512640 134736556 3221224560 3221223284 134529471 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 112832 111731 1116 68 0 112764 0 [pid=30923] vsize: 451328 Current children cumulated CPU time (s) 590.8 Current children cumulated vsize (Kb) 451328 [startup+610.075 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 112583 0 0 0 59299 771 0 0 25 0 1 0 1796239019 463646720 112107 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 113195 112107 1116 68 0 113127 0 [pid=30923] vsize: 452780 Current children cumulated CPU time (s) 600.7 Current children cumulated vsize (Kb) 452780 [startup+620.074 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 112942 0 0 0 60288 775 0 0 25 0 1 0 1796239019 465276928 112466 4294967295 134512640 134736556 3221224560 3221223296 134529073 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 113593 112466 1116 68 0 113525 0 [pid=30923] vsize: 454372 Current children cumulated CPU time (s) 610.63 Current children cumulated vsize (Kb) 454372 [startup+630.075 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 113176 0 0 0 61273 781 0 0 25 0 1 0 1796239019 466223104 112700 4294967295 134512640 134736556 3221224560 3221223208 134554058 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 113824 112700 1116 68 0 113756 0 [pid=30923] vsize: 455296 Current children cumulated CPU time (s) 620.54 Current children cumulated vsize (Kb) 455296 [startup+640.076 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 114544 0 0 0 62250 791 0 0 25 0 1 0 1796239019 471764992 114068 4294967295 134512640 134736556 3221224560 3221223116 134537524 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 115177 114068 1116 68 0 115109 0 [pid=30923] vsize: 460708 Current children cumulated CPU time (s) 630.41 Current children cumulated vsize (Kb) 460708 [startup+650.076 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 114795 0 0 0 63233 797 0 0 25 0 1 0 1796239019 472846336 114319 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 115441 114319 1116 68 0 115373 0 [pid=30923] vsize: 461764 Current children cumulated CPU time (s) 640.3 Current children cumulated vsize (Kb) 461764 [startup+660.077 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 115266 0 0 0 64220 802 0 0 25 0 1 0 1796239019 474746880 114790 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30923/statm): 115905 114790 1116 68 0 115837 0 [pid=30923] vsize: 463620 Current children cumulated CPU time (s) 650.22 Current children cumulated vsize (Kb) 463620 [startup+670.077 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 115552 0 0 0 65215 804 0 0 25 0 1 0 1796239019 475963392 115076 4294967295 134512640 134736556 3221224560 3221223176 134554070 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 116202 115076 1116 68 0 116134 0 [pid=30923] vsize: 464808 Current children cumulated CPU time (s) 660.19 Current children cumulated vsize (Kb) 464808 [startup+680.078 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 115923 0 0 0 66204 808 0 0 25 0 1 0 1796239019 477450240 115446 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30923/statm): 116565 115446 1116 68 0 116497 0 [pid=30923] vsize: 466260 Current children cumulated CPU time (s) 670.12 Current children cumulated vsize (Kb) 466260 [startup+690.079 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 117132 0 0 0 67176 820 0 0 25 0 1 0 1796239019 482455552 116655 4294967295 134512640 134736556 3221224560 3221223152 134551078 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 117787 116655 1116 68 0 117719 0 [pid=30923] vsize: 471148 Current children cumulated CPU time (s) 679.96 Current children cumulated vsize (Kb) 471148 [startup+700.079 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 117589 0 0 0 68156 828 0 0 25 0 1 0 1796239019 484212736 117112 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 118216 117112 1116 68 0 118148 0 [pid=30923] vsize: 472864 Current children cumulated CPU time (s) 689.84 Current children cumulated vsize (Kb) 472864 [startup+710.08 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 117983 0 0 0 69143 834 0 0 25 0 1 0 1796239019 485834752 117506 4294967295 134512640 134736556 3221224560 3221223172 134524344 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 118612 117506 1116 68 0 118544 0 [pid=30923] vsize: 474448 Current children cumulated CPU time (s) 699.77 Current children cumulated vsize (Kb) 474448 [startup+720.08 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 118109 0 0 0 70134 838 0 0 25 0 1 0 1796239019 486375424 117632 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 118744 117632 1116 68 0 118676 0 [pid=30923] vsize: 474976 Current children cumulated CPU time (s) 709.72 Current children cumulated vsize (Kb) 474976 [startup+730.082 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 118302 0 0 0 71123 841 0 0 25 0 1 0 1796239019 487186432 117825 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 118942 117825 1116 68 0 118874 0 [pid=30923] vsize: 475768 Current children cumulated CPU time (s) 719.64 Current children cumulated vsize (Kb) 475768 [startup+740.083 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 118504 0 0 0 72115 844 0 0 25 0 1 0 1796239019 487993344 118027 4294967295 134512640 134736556 3221224560 3221223184 134553392 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 119139 118027 1116 68 0 119071 0 [pid=30923] vsize: 476556 Current children cumulated CPU time (s) 729.59 Current children cumulated vsize (Kb) 476556 [startup+750.083 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 118631 0 0 0 73107 847 0 0 25 0 1 0 1796239019 488534016 118154 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 119271 118154 1116 68 0 119203 0 [pid=30923] vsize: 477084 Current children cumulated CPU time (s) 739.54 Current children cumulated vsize (Kb) 477084 [startup+760.083 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 118831 0 0 0 74100 849 0 0 25 0 1 0 1796239019 489345024 118354 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 119469 118354 1116 68 0 119401 0 [pid=30923] vsize: 477876 Current children cumulated CPU time (s) 749.49 Current children cumulated vsize (Kb) 477876 [startup+770.084 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 118927 0 0 0 75098 851 0 0 25 0 1 0 1796239019 489750528 118450 4294967295 134512640 134736556 3221224560 3221223284 134529471 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 119568 118450 1116 68 0 119500 0 [pid=30923] vsize: 478272 Current children cumulated CPU time (s) 759.49 Current children cumulated vsize (Kb) 478272 [startup+780.085 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 119151 0 0 0 76090 855 0 0 25 0 1 0 1796239019 490561536 118674 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 119766 118674 1116 68 0 119698 0 [pid=30923] vsize: 479064 Current children cumulated CPU time (s) 769.45 Current children cumulated vsize (Kb) 479064 [startup+790.086 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 119340 0 0 0 77084 857 0 0 25 0 1 0 1796239019 491372544 118863 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 119964 118863 1116 68 0 119896 0 [pid=30923] vsize: 479856 Current children cumulated CPU time (s) 779.41 Current children cumulated vsize (Kb) 479856 [startup+800.087 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 119552 0 0 0 78076 860 0 0 25 0 1 0 1796239019 492318720 119075 4294967295 134512640 134736556 3221224560 3221223232 134528681 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 120195 119075 1116 68 0 120127 0 [pid=30923] vsize: 480780 Current children cumulated CPU time (s) 789.36 Current children cumulated vsize (Kb) 480780 [startup+810.087 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 119784 0 0 0 79068 863 0 0 25 0 1 0 1796239019 493256704 119307 4294967295 134512640 134736556 3221224560 3221223156 134551264 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 120424 119307 1116 68 0 120356 0 [pid=30923] vsize: 481696 Current children cumulated CPU time (s) 799.31 Current children cumulated vsize (Kb) 481696 [startup+820.088 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 120117 0 0 0 80060 866 0 0 25 0 1 0 1796239019 494612480 119640 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 120755 119640 1116 68 0 120687 0 [pid=30923] vsize: 483020 Current children cumulated CPU time (s) 809.26 Current children cumulated vsize (Kb) 483020 [startup+830.088 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 120195 0 0 0 81054 868 0 0 25 0 1 0 1796239019 494882816 119718 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 120821 119718 1116 68 0 120753 0 [pid=30923] vsize: 483284 Current children cumulated CPU time (s) 819.22 Current children cumulated vsize (Kb) 483284 [startup+840.089 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 120523 0 0 0 82046 872 0 0 25 0 1 0 1796239019 496230400 120046 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 121150 120046 1116 68 0 121082 0 [pid=30923] vsize: 484600 Current children cumulated CPU time (s) 829.18 Current children cumulated vsize (Kb) 484600 [startup+850.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 120579 0 0 0 83041 874 0 0 25 0 1 0 1796239019 496500736 120102 4294967295 134512640 134736556 3221224560 3221223168 134524348 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 121216 120102 1116 68 0 121148 0 [pid=30923] vsize: 484864 Current children cumulated CPU time (s) 839.15 Current children cumulated vsize (Kb) 484864 [startup+860.09 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 120967 0 0 0 84032 878 0 0 25 0 1 0 1796239019 498106368 120490 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 121608 120490 1116 68 0 121540 0 [pid=30923] vsize: 486432 Current children cumulated CPU time (s) 849.1 Current children cumulated vsize (Kb) 486432 [startup+870.091 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 122116 0 0 0 85015 886 0 0 25 0 1 0 1796239019 502837248 121639 4294967295 134512640 134736556 3221224560 3221223248 134536462 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30923/statm): 122763 121639 1116 68 0 122695 0 [pid=30923] vsize: 491052 Current children cumulated CPU time (s) 859.01 Current children cumulated vsize (Kb) 491052 [startup+880.092 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 124808 0 0 0 85989 899 0 0 25 0 1 0 1796239019 513785856 124331 4294967295 134512640 134736556 3221224560 3221223216 134524547 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 125436 124331 1116 68 0 125368 0 [pid=30923] vsize: 501744 Current children cumulated CPU time (s) 868.88 Current children cumulated vsize (Kb) 501744 [startup+890.093 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 125988 0 0 0 86974 906 0 0 25 0 1 0 1796239019 518668288 125510 4294967295 134512640 134736556 3221224560 3221223116 134537548 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 126628 125510 1116 68 0 126560 0 [pid=30923] vsize: 506512 Current children cumulated CPU time (s) 878.8 Current children cumulated vsize (Kb) 506512 [startup+900.092 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 126487 0 0 0 87963 911 0 0 25 0 1 0 1796239019 520695808 126009 4294967295 134512640 134736556 3221224560 3221223084 134536611 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 127123 126009 1116 68 0 127055 0 [pid=30923] vsize: 508492 Current children cumulated CPU time (s) 888.74 Current children cumulated vsize (Kb) 508492 [startup+910.093 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 127810 0 0 0 88947 917 0 0 25 0 1 0 1796239019 526102528 127332 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30923/statm): 128443 127332 1116 68 0 128375 0 [pid=30923] vsize: 513772 Current children cumulated CPU time (s) 898.64 Current children cumulated vsize (Kb) 513772 [startup+920.094 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 129086 0 0 0 89931 924 0 0 25 0 1 0 1796239019 531374080 128608 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 129730 128608 1116 68 0 129662 0 [pid=30923] vsize: 518920 Current children cumulated CPU time (s) 908.55 Current children cumulated vsize (Kb) 518920 [startup+930.094 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 130553 0 0 0 90913 933 0 0 25 0 1 0 1796239019 537403392 130072 4294967295 134512640 134736556 3221224560 3221223120 134551002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 131202 130072 1116 68 0 131134 0 [pid=30923] vsize: 524808 Current children cumulated CPU time (s) 918.46 Current children cumulated vsize (Kb) 524808 [startup+940.098 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) T 30922 30923 9854 0 -1 0 131513 0 0 0 91896 940 0 0 25 0 1 0 1796239019 541319168 131032 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30923/statm): 132158 131032 1116 68 0 132090 0 [pid=30923] vsize: 528632 Current children cumulated CPU time (s) 928.36 Current children cumulated vsize (Kb) 528632 [startup+950.098 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 132015 0 0 0 92878 946 0 0 25 0 1 0 1796239019 543457280 131533 4294967295 134512640 134736556 3221224560 3221223216 134528669 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 132680 131533 1116 68 0 132612 0 [pid=30923] vsize: 530720 Current children cumulated CPU time (s) 938.24 Current children cumulated vsize (Kb) 530720 [startup+960.099 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 132380 0 0 0 93867 950 0 0 25 0 1 0 1796239019 544944128 131898 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 133043 131898 1116 68 0 132975 0 [pid=30923] vsize: 532172 Current children cumulated CPU time (s) 948.17 Current children cumulated vsize (Kb) 532172 [startup+970.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 132949 0 0 0 94848 957 0 0 25 0 1 0 1796239019 547221504 132467 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 133599 132467 1116 68 0 133531 0 [pid=30923] vsize: 534396 Current children cumulated CPU time (s) 958.05 Current children cumulated vsize (Kb) 534396 [startup+980.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 133180 0 0 0 95837 961 0 0 25 0 1 0 1796239019 548163584 132698 4294967295 134512640 134736556 3221224560 3221223248 134529227 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 133829 132698 1116 68 0 133761 0 [pid=30923] vsize: 535316 Current children cumulated CPU time (s) 967.98 Current children cumulated vsize (Kb) 535316 [startup+990.101 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 133509 0 0 0 96824 967 0 0 25 0 1 0 1796239019 549543936 133027 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 134166 133027 1116 68 0 134098 0 [pid=30923] vsize: 536664 Current children cumulated CPU time (s) 977.91 Current children cumulated vsize (Kb) 536664 [startup+1000.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 133680 0 0 0 97819 969 0 0 25 0 1 0 1796239019 550219776 133198 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 134331 133198 1116 68 0 134263 0 [pid=30923] vsize: 537324 Current children cumulated CPU time (s) 987.88 Current children cumulated vsize (Kb) 537324 [startup+1010.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 133813 0 0 0 98813 972 0 0 25 0 1 0 1796239019 550756352 133331 4294967295 134512640 134736556 3221224560 3221223152 134553321 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30923/statm): 134462 133331 1116 68 0 134394 0 [pid=30923] vsize: 537848 Current children cumulated CPU time (s) 997.85 Current children cumulated vsize (Kb) 537848 [startup+1020.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 133924 0 0 0 99807 975 0 0 25 0 1 0 1796239019 551301120 133442 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 134595 133442 1116 68 0 134527 0 [pid=30923] vsize: 538380 Current children cumulated CPU time (s) 1007.82 Current children cumulated vsize (Kb) 538380 [startup+1030.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 134884 0 0 0 100790 982 0 0 25 0 1 0 1796239019 555220992 134402 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 135552 134402 1116 68 0 135484 0 [pid=30923] vsize: 542208 Current children cumulated CPU time (s) 1017.72 Current children cumulated vsize (Kb) 542208 [startup+1040.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 136044 0 0 0 101774 989 0 0 25 0 1 0 1796239019 559951872 135562 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 136707 135562 1116 68 0 136639 0 [pid=30923] vsize: 546828 Current children cumulated CPU time (s) 1027.63 Current children cumulated vsize (Kb) 546828 [startup+1050.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 136604 0 0 0 102762 994 0 0 25 0 1 0 1796239019 562249728 136122 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 137268 136122 1116 68 0 137200 0 [pid=30923] vsize: 549072 Current children cumulated CPU time (s) 1037.56 Current children cumulated vsize (Kb) 549072 [startup+1060.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 137211 0 0 0 103754 999 0 0 25 0 1 0 1796239019 564699136 136729 4294967295 134512640 134736556 3221224560 3221223284 134600574 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 137866 136729 1116 68 0 137798 0 [pid=30923] vsize: 551464 Current children cumulated CPU time (s) 1047.53 Current children cumulated vsize (Kb) 551464 [startup+1070.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 137360 0 0 0 104751 1001 0 0 25 0 1 0 1796239019 565374976 136878 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 138031 136878 1116 68 0 137963 0 [pid=30923] vsize: 552124 Current children cumulated CPU time (s) 1057.52 Current children cumulated vsize (Kb) 552124 [startup+1080.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 137966 0 0 0 105741 1005 0 0 25 0 1 0 1796239019 567812096 137484 4294967295 134512640 134736556 3221224560 3221223088 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 138626 137484 1116 68 0 138558 0 [pid=30923] vsize: 554504 Current children cumulated CPU time (s) 1067.46 Current children cumulated vsize (Kb) 554504 [startup+1090.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138053 0 0 0 106737 1007 0 0 25 0 1 0 1796239019 568217600 137571 4294967295 134512640 134736556 3221224560 3221223152 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 138725 137571 1116 68 0 138657 0 [pid=30923] vsize: 554900 Current children cumulated CPU time (s) 1077.44 Current children cumulated vsize (Kb) 554900 [startup+1100.1 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138101 0 0 0 107733 1008 0 0 25 0 1 0 1796239019 568487936 137619 4294967295 134512640 134736556 3221224560 3221223152 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 138791 137619 1116 68 0 138723 0 [pid=30923] vsize: 555164 Current children cumulated CPU time (s) 1087.41 Current children cumulated vsize (Kb) 555164 [startup+1110.11 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138148 0 0 0 108731 1009 0 0 25 0 1 0 1796239019 568623104 137666 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 138824 137666 1116 68 0 138756 0 [pid=30923] vsize: 555296 Current children cumulated CPU time (s) 1097.4 Current children cumulated vsize (Kb) 555296 [startup+1120.11 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138276 0 0 0 109727 1011 0 0 25 0 1 0 1796239019 569163776 137794 4294967295 134512640 134736556 3221224560 3221223104 134553314 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 138956 137794 1116 68 0 138888 0 [pid=30923] vsize: 555824 Current children cumulated CPU time (s) 1107.38 Current children cumulated vsize (Kb) 555824 [startup+1130.11 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138399 0 0 0 110724 1012 0 0 25 0 1 0 1796239019 569704448 137917 4294967295 134512640 134736556 3221224560 3221223152 134536462 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 139088 137917 1116 68 0 139020 0 [pid=30923] vsize: 556352 Current children cumulated CPU time (s) 1117.36 Current children cumulated vsize (Kb) 556352 [startup+1140.11 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138446 0 0 0 111722 1013 0 0 25 0 1 0 1796239019 569839616 137964 4294967295 134512640 134736556 3221224560 3221223188 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 139121 137964 1116 68 0 139053 0 [pid=30923] vsize: 556484 Current children cumulated CPU time (s) 1127.35 Current children cumulated vsize (Kb) 556484 [startup+1150.11 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138493 0 0 0 112721 1014 0 0 25 0 1 0 1796239019 569974784 138011 4294967295 134512640 134736556 3221224560 3221223068 134537537 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 139154 138011 1116 68 0 139086 0 [pid=30923] vsize: 556616 Current children cumulated CPU time (s) 1137.35 Current children cumulated vsize (Kb) 556616 [startup+1160.11 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138538 0 0 0 113720 1015 0 0 25 0 1 0 1796239019 570245120 138056 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 139220 138056 1116 68 0 139152 0 [pid=30923] vsize: 556880 Current children cumulated CPU time (s) 1147.35 Current children cumulated vsize (Kb) 556880 [startup+1170.11 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138590 0 0 0 114718 1016 0 0 25 0 1 0 1796239019 570380288 138106 4294967295 134512640 134736556 3221224560 3221223212 134554040 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 139253 138106 1116 68 0 139185 0 [pid=30923] vsize: 557012 Current children cumulated CPU time (s) 1157.34 Current children cumulated vsize (Kb) 557012 [startup+1180.11 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138643 0 0 0 115716 1017 0 0 25 0 1 0 1796239019 570650624 138159 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 139319 138159 1116 68 0 139251 0 [pid=30923] vsize: 557276 Current children cumulated CPU time (s) 1167.33 Current children cumulated vsize (Kb) 557276 [startup+1190.11 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138743 0 0 0 116713 1018 0 0 25 0 1 0 1796239019 571052032 138259 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 139417 138259 1116 68 0 139349 0 [pid=30923] vsize: 557668 Current children cumulated CPU time (s) 1177.31 Current children cumulated vsize (Kb) 557668 [startup+1200.11 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 30923 Raw data (/proc/30923/stat): 30923 (bsolo) R 30922 30923 9854 0 -1 0 138797 0 0 0 117712 1019 0 0 25 0 1 0 1796239019 571322368 138313 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30923/statm): 139483 138313 1116 68 0 139415 0 [pid=30923] vsize: 557932 Current children cumulated CPU time (s) 1187.31 Current children cumulated vsize (Kb) 557932 One traced child (pid=30923) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1208.2 CPU time (s): 1195.39 CPU user time (s): 1184.94 CPU system time (s): 10.4524 CPU usage (%): 98.9403 Max. virtual memory (cumulated for all children) (Kb): 557932
Verifier: OK -837139