Name | mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-afiro.opb |
MD5SUM | b9a386a980af3ebe560fd16ca36e17ae |
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 | 497.98 |
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 wulflinc27 THE 2005-09-19 22:06:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=789 boxname=wulflinc27 idbench=789 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: b9a386a980af3ebe560fd16ca36e17ae /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-afiro.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-afiro.opb IDLAUNCH: 789 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 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 : 3 cpu MHz : 451.169 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: 967020 kB Buffers: 468 kB Cached: 37540 kB SwapCached: 752 kB Active: 10524 kB Inactive: 30092 kB HighTotal: 131008 kB HighFree: 89768 kB LowTotal: 903652 kB LowFree: 877252 kB SwapTotal: 2097892 kB SwapFree: 2096628 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5728 kB Slab: 21140 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 22:26:44 (client local time) WITH STATUS 10 IN 1195.36 SECONDS stats: 789 0 1195.36 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.162 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.448 c Restart #2 #Var: 493 #Dec: 2375 LB: -2064339 @ 1.041 c Restart #3 #Var: 493 #Dec: 4840 LB: -2064339 @ 2.15 c Restart #4 #Var: 493 #Dec: 8982 LB: -2064339 @ 3.645 c Restart #5 #Var: 493 #Dec: 14983 LB: -2064339 @ 5.001 c Restart #6 #Var: 493 #Dec: 22369 LB: -2064339 @ 6.236 c Restart #7 #Var: 493 #Dec: 24369 LB: -2064339 @ 7.481 c Restart #8 #Var: 493 #Dec: 26052 LB: -2064339 @ 8.623 c Restart #9 #Var: 493 #Dec: 27872 LB: -2064339 @ 10.214 c Restart #10 #Var: 493 #Dec: 29890 LB: -2064339 @ 11.837 c Restart #11 #Var: 493 #Dec: 32134 LB: -2064339 @ 13.59 c Restart #12 #Var: 493 #Dec: 34662 LB: -2064339 @ 15.674 c Restart #13 #Var: 493 #Dec: 37309 LB: -2064339 @ 18.056 c Restart #14 #Var: 493 #Dec: 40587 LB: -2064339 @ 21.658 c Restart #15 #Var: 493 #Dec: 47285 LB: -2064339 @ 27.871 c Restart #16 #Var: 493 #Dec: 52172 LB: -2064339 @ 31.638 c Restart #17 #Var: 493 #Dec: 55604 LB: -2064339 @ 34.398 c Restart #18 #Var: 493 #Dec: 59775 LB: -2064339 @ 38.154 c Restart #19 #Var: 493 #Dec: 67224 LB: -2064339 @ 46.174 c NEW SOLUTION FOUND: 624508 @ 53.532 @ #Dec. 71033 c NEW SOLUTION FOUND: 624460 @ 53.535 @ #Dec. 71039 c NEW SOLUTION FOUND: 624452 @ 53.536 @ #Dec. 71042 c NEW SOLUTION FOUND: 624444 @ 53.537 @ #Dec. 71044 c NEW SOLUTION FOUND: 624434 @ 53.54 @ #Dec. 71050 c NEW SOLUTION FOUND: 368434 @ 53.544 @ #Dec. 71057 c NEW SOLUTION FOUND: 368184 @ 53.797 @ #Dec. 71278 c NEW SOLUTION FOUND: 367962 @ 53.946 @ #Dec. 71428 c NEW SOLUTION FOUND: 367946 @ 53.947 @ #Dec. 71432 c NEW SOLUTION FOUND: 367708 @ 54.022 @ #Dec. 71493 c NEW SOLUTION FOUND: 367470 @ 54.076 @ #Dec. 71536 c NEW SOLUTION FOUND: 367248 @ 54.115 @ #Dec. 71569 c NEW SOLUTION FOUND: 367232 @ 54.116 @ #Dec. 71573 c NEW SOLUTION FOUND: 145196 @ 54.722 @ #Dec. 72284 c NEW SOLUTION FOUND: 129212 @ 54.728 @ #Dec. 72297 c NEW SOLUTION FOUND: 129196 @ 54.729 @ #Dec. 72301 c NEW SOLUTION FOUND: 119196 @ 54.735 @ #Dec. 72311 c NEW SOLUTION FOUND: 118998 @ 54.739 @ #Dec. 72334 c NEW SOLUTION FOUND: 118982 @ 54.742 @ #Dec. 72348 c NEW SOLUTION FOUND: 118958 @ 54.769 @ #Dec. 72405 c NEW SOLUTION FOUND: 118946 @ 54.824 @ #Dec. 72509 c NEW SOLUTION FOUND: 118934 @ 54.866 @ #Dec. 72583 c NEW SOLUTION FOUND: 118922 @ 54.91 @ #Dec. 72658 c NEW SOLUTION FOUND: 118910 @ 54.972 @ #Dec. 72744 c NEW SOLUTION FOUND: 84668 @ 55.343 @ #Dec. 73286 c NEW SOLUTION FOUND: 84660 @ 55.344 @ #Dec. 73288 c NEW SOLUTION FOUND: 80700 @ 55.376 @ #Dec. 73342 c NEW SOLUTION FOUND: 80660 @ 55.4 @ #Dec. 73379 c NEW SOLUTION FOUND: 78780 @ 55.488 @ #Dec. 73513 c NEW SOLUTION FOUND: 78748 @ 55.49 @ #Dec. 73517 c NEW SOLUTION FOUND: 78708 @ 55.49 @ #Dec. 73519 c NEW SOLUTION FOUND: 76780 @ 55.499 @ #Dec. 73534 c NEW SOLUTION FOUND: 76748 @ 55.5 @ #Dec. 73538 c NEW SOLUTION FOUND: 76708 @ 55.501 @ #Dec. 73541 c NEW SOLUTION FOUND: 74716 @ 55.502 @ #Dec. 73549 c NEW SOLUTION FOUND: 74708 @ 55.502 @ #Dec. 73550 c NEW SOLUTION FOUND: 72748 @ 55.504 @ #Dec. 73559 c NEW SOLUTION FOUND: 72708 @ 55.505 @ #Dec. 73563 c NEW SOLUTION FOUND: 72700 @ 55.549 @ #Dec. 73631 c NEW SOLUTION FOUND: 72660 @ 55.558 @ #Dec. 73646 c NEW SOLUTION FOUND: 68732 @ 55.598 @ #Dec. 73710 c NEW SOLUTION FOUND: 68700 @ 55.599 @ #Dec. 73715 c NEW SOLUTION FOUND: 68660 @ 55.6 @ #Dec. 73719 c NEW SOLUTION FOUND: 66716 @ 55.605 @ #Dec. 73732 c NEW SOLUTION FOUND: 66708 @ 55.606 @ #Dec. 73733 c NEW SOLUTION FOUND: 64748 @ 55.61 @ #Dec. 73746 c NEW SOLUTION FOUND: 64708 @ 55.612 @ #Dec. 73755 c NEW SOLUTION FOUND: 64700 @ 55.626 @ #Dec. 73783 c NEW SOLUTION FOUND: 64660 @ 55.627 @ #Dec. 73788 c NEW SOLUTION FOUND: 62716 @ 55.63 @ #Dec. 73795 c NEW SOLUTION FOUND: 62708 @ 55.63 @ #Dec. 73796 c NEW SOLUTION FOUND: 62696 @ 55.635 @ #Dec. 73804 c NEW SOLUTION FOUND: 62692 @ 55.644 @ #Dec. 73819 c NEW SOLUTION FOUND: 62684 @ 55.645 @ #Dec. 73820 c NEW SOLUTION FOUND: 62486 @ 55.655 @ #Dec. 73842 c NEW SOLUTION FOUND: 62446 @ 55.655 @ #Dec. 73844 c NEW SOLUTION FOUND: 62280 @ 55.739 @ #Dec. 73967 c NEW SOLUTION FOUND: 62248 @ 55.74 @ #Dec. 73971 c NEW SOLUTION FOUND: 62208 @ 55.74 @ #Dec. 73973 c NEW SOLUTION FOUND: 26930 @ 55.746 @ #Dec. 73994 c NEW SOLUTION FOUND: 26922 @ 55.747 @ #Dec. 73995 c NEW SOLUTION FOUND: 22962 @ 55.749 @ #Dec. 74005 c NEW SOLUTION FOUND: 22922 @ 55.75 @ #Dec. 74010 c NEW SOLUTION FOUND: 2994 @ 55.753 @ #Dec. 74023 c NEW SOLUTION FOUND: 2962 @ 55.754 @ #Dec. 74027 c NEW SOLUTION FOUND: 2922 @ 55.755 @ #Dec. 74033 c NEW SOLUTION FOUND: -1070 @ 55.756 @ #Dec. 74042 c NEW SOLUTION FOUND: -1078 @ 55.757 @ #Dec. 74043 c NEW SOLUTION FOUND: -5038 @ 55.759 @ #Dec. 74055 c NEW SOLUTION FOUND: -5078 @ 55.759 @ #Dec. 74061 c NEW SOLUTION FOUND: -9006 @ 55.761 @ #Dec. 74071 c NEW SOLUTION FOUND: -9038 @ 55.762 @ #Dec. 74076 c NEW SOLUTION FOUND: -9078 @ 55.763 @ #Dec. 74082 c NEW SOLUTION FOUND: -9106 @ 55.828 @ #Dec. 74234 c NEW SOLUTION FOUND: -9114 @ 55.829 @ #Dec. 74235 c NEW SOLUTION FOUND: -9124 @ 56.166 @ #Dec. 74972 c NEW SOLUTION FOUND: -9152 @ 56.231 @ #Dec. 75090 c NEW SOLUTION FOUND: -9160 @ 56.232 @ #Dec. 75091 c NEW SOLUTION FOUND: -10401 @ 57.022 @ #Dec. 76259 c NEW SOLUTION FOUND: -10501 @ 57.138 @ #Dec. 76539 c NEW SOLUTION FOUND: -10511 @ 57.144 @ #Dec. 76609 c NEW SOLUTION FOUND: -10761 @ 57.151 @ #Dec. 76647 c NEW SOLUTION FOUND: -10773 @ 57.158 @ #Dec. 76677 c NEW SOLUTION FOUND: -10809 @ 57.187 @ #Dec. 76756 c NEW SOLUTION FOUND: -10839 @ 57.191 @ #Dec. 76786 c NEW SOLUTION FOUND: -10863 @ 57.201 @ #Dec. 76824 c NEW SOLUTION FOUND: -11039 @ 57.248 @ #Dec. 76922 c NEW SOLUTION FOUND: -11075 @ 57.44 @ #Dec. 77324 c NEW SOLUTION FOUND: -11315 @ 57.445 @ #Dec. 77354 c NEW SOLUTION FOUND: -11325 @ 57.448 @ #Dec. 77386 c NEW SOLUTION FOUND: -11363 @ 57.538 @ #Dec. 77527 c NEW SOLUTION FOUND: -11373 @ 57.541 @ #Dec. 77557 c NEW SOLUTION FOUND: -11623 @ 57.545 @ #Dec. 77588 c NEW SOLUTION FOUND: -11766 @ 57.685 @ #Dec. 77988 c NEW SOLUTION FOUND: -12155 @ 57.878 @ #Dec. 78231 c NEW SOLUTION FOUND: -12165 @ 57.883 @ #Dec. 78298 c NEW SOLUTION FOUND: -12320 @ 57.935 @ #Dec. 78436 c NEW SOLUTION FOUND: -12453 @ 58.11 @ #Dec. 78723 c NEW SOLUTION FOUND: -12463 @ 58.115 @ #Dec. 78788 c NEW SOLUTION FOUND: -12556 @ 58.153 @ #Dec. 78924 c NEW SOLUTION FOUND: -12606 @ 58.17 @ #Dec. 79004 c NEW SOLUTION FOUND: -12937 @ 60.411 @ #Dec. 81424 c NEW SOLUTION FOUND: -12945 @ 62.239 @ #Dec. 83693 c NEW SOLUTION FOUND: -12967 @ 62.642 @ #Dec. 84211 c NEW SOLUTION FOUND: -12977 @ 62.663 @ #Dec. 84274 c NEW SOLUTION FOUND: -13001 @ 62.672 @ #Dec. 84323 c NEW SOLUTION FOUND: -13009 @ 63.057 @ #Dec. 84792 c NEW SOLUTION FOUND: -13019 @ 63.527 @ #Dec. 85329 c NEW SOLUTION FOUND: -13169 @ 63.537 @ #Dec. 85411 c NEW SOLUTION FOUND: -13193 @ 63.59 @ #Dec. 85542 c NEW SOLUTION FOUND: -13201 @ 63.763 @ #Dec. 85780 c NEW SOLUTION FOUND: -13223 @ 64.301 @ #Dec. 86352 c NEW SOLUTION FOUND: -13233 @ 64.32 @ #Dec. 86430 c NEW SOLUTION FOUND: -13257 @ 64.329 @ #Dec. 86502 c NEW SOLUTION FOUND: -13265 @ 65.193 @ #Dec. 87302 c Restart #20 #Var: 493 #Dec: 91683 LB: -2064339 @ 71.498 c Restart #21 #Var: 493 #Dec: 98364 LB: -2064339 @ 80.792 c Restart #22 #Var: 493 #Dec: 103033 LB: -2064339 @ 90.927 c Restart #23 #Var: 493 #Dec: 107746 LB: -2064339 @ 99.561 c CHANGE to MIS mode... UB: -13265 MIS: -2064339 LPR: -2147483648 (0) Diff: 0.00096128 c Restart #0 #Var: 493 #Dec: 112954 LB: -2064339 @ 109.3 c Restart #1 #Var: 493 #Dec: 113393 LB: -2064339 @ 112.07 c Restart #2 #Var: 493 #Dec: 113863 LB: -2064339 @ 117.28 c Restart #3 #Var: 493 #Dec: 114914 LB: -2064339 @ 122.98 c NEW SOLUTION FOUND: -768809 @ 129.7 @ #Dec. 116814 c NEW SOLUTION FOUND: -769309 @ 129.7 @ #Dec. 116816 c NEW SOLUTION FOUND: -769547 @ 129.7 @ #Dec. 116816 c NEW SOLUTION FOUND: -769577 @ 129.71 @ #Dec. 116822 c NEW SOLUTION FOUND: -769592 @ 129.71 @ #Dec. 116822 c NEW SOLUTION FOUND: -769607 @ 129.72 @ #Dec. 116824 c NEW SOLUTION FOUND: -769617 @ 129.72 @ #Dec. 116834 c NEW SOLUTION FOUND: -769647 @ 129.73 @ #Dec. 116848 c NEW SOLUTION FOUND: -770123 @ 129.73 @ #Dec. 116855 c NEW SOLUTION FOUND: -770361 @ 129.73 @ #Dec. 116859 c NEW SOLUTION FOUND: -770599 @ 129.73 @ #Dec. 116860 c NEW SOLUTION FOUND: -771075 @ 129.74 @ #Dec. 116864 c NEW SOLUTION FOUND: -771551 @ 129.74 @ #Dec. 116866 c NEW SOLUTION FOUND: -772027 @ 129.74 @ #Dec. 116872 c NEW SOLUTION FOUND: -772265 @ 129.74 @ #Dec. 116876 c NEW SOLUTION FOUND: -772503 @ 129.74 @ #Dec. 116877 c NEW SOLUTION FOUND: -772741 @ 129.75 @ #Dec. 116890 c NEW SOLUTION FOUND: -772781 @ 129.78 @ #Dec. 116944 c NEW SOLUTION FOUND: -772801 @ 129.8 @ #Dec. 117003 c NEW SOLUTION FOUND: -772803 @ 129.82 @ #Dec. 117042 c NEW SOLUTION FOUND: -772833 @ 129.83 @ #Dec. 117062 c NEW SOLUTION FOUND: -772841 @ 129.85 @ #Dec. 117100 c NEW SOLUTION FOUND: -772849 @ 129.93 @ #Dec. 117255 c NEW SOLUTION FOUND: -772883 @ 130.02 @ #Dec. 117373 c NEW SOLUTION FOUND: -772953 @ 130.02 @ #Dec. 117378 c NEW SOLUTION FOUND: -773267 @ 130.02 @ #Dec. 117386 c NEW SOLUTION FOUND: -773337 @ 130.03 @ #Dec. 117391 c NEW SOLUTION FOUND: -773361 @ 130.03 @ #Dec. 117403 c NEW SOLUTION FOUND: -773409 @ 130.03 @ #Dec. 117422 c NEW SOLUTION FOUND: -773439 @ 130.04 @ #Dec. 117454 c NEW SOLUTION FOUND: -773535 @ 130.05 @ #Dec. 117467 c NEW SOLUTION FOUND: -773583 @ 130.11 @ #Dec. 117567 c NEW SOLUTION FOUND: -773591 @ 130.34 @ #Dec. 117826 c NEW SOLUTION FOUND: -773602 @ 132.01 @ #Dec. 119442 c NEW SOLUTION FOUND: -773617 @ 132.02 @ #Dec. 119463 c NEW SOLUTION FOUND: -773627 @ 132.03 @ #Dec. 119492 c NEW SOLUTION FOUND: -773633 @ 132.04 @ #Dec. 119526 c NEW SOLUTION FOUND: -773643 @ 132.04 @ #Dec. 119542 c NEW SOLUTION FOUND: -773681 @ 132.05 @ #Dec. 119562 c NEW SOLUTION FOUND: -773691 @ 132.05 @ #Dec. 119580 c NEW SOLUTION FOUND: -773707 @ 132.06 @ #Dec. 119602 c NEW SOLUTION FOUND: -773711 @ 132.11 @ #Dec. 119646 c NEW SOLUTION FOUND: -773721 @ 132.13 @ #Dec. 119666 c NEW SOLUTION FOUND: -773737 @ 132.16 @ #Dec. 119698 c NEW SOLUTION FOUND: -773771 @ 132.19 @ #Dec. 119731 c NEW SOLUTION FOUND: -773781 @ 132.21 @ #Dec. 119751 c NEW SOLUTION FOUND: -773797 @ 132.22 @ #Dec. 119777 c NEW SOLUTION FOUND: -774035 @ 132.38 @ #Dec. 119848 c NEW SOLUTION FOUND: -774045 @ 132.38 @ #Dec. 119862 c NEW SOLUTION FOUND: -774061 @ 132.42 @ #Dec. 119890 c NEW SOLUTION FOUND: -774217 @ 132.54 @ #Dec. 119953 c NEW SOLUTION FOUND: -774265 @ 132.58 @ #Dec. 120078 c NEW SOLUTION FOUND: -774638 @ 132.63 @ #Dec. 120231 c NEW SOLUTION FOUND: -774688 @ 132.63 @ #Dec. 120247 c NEW SOLUTION FOUND: -774766 @ 132.83 @ #Dec. 120344 c NEW SOLUTION FOUND: -774816 @ 132.84 @ #Dec. 120360 c NEW SOLUTION FOUND: -774880 @ 132.85 @ #Dec. 120397 c NEW SOLUTION FOUND: -774888 @ 132.86 @ #Dec. 120424 c NEW SOLUTION FOUND: -775079 @ 133.31 @ #Dec. 120610 c NEW SOLUTION FOUND: -775271 @ 133.33 @ #Dec. 120655 c NEW SOLUTION FOUND: -775331 @ 133.34 @ #Dec. 120694 c NEW SOLUTION FOUND: -778290 @ 149.44 @ #Dec. 121894 c NEW SOLUTION FOUND: -779610 @ 150.54 @ #Dec. 122175 c NEW SOLUTION FOUND: -779650 @ 150.56 @ #Dec. 122200 c NEW SOLUTION FOUND: -779660 @ 150.57 @ #Dec. 122215 c NEW SOLUTION FOUND: -780506 @ 152.69 @ #Dec. 123059 c NEW SOLUTION FOUND: -780522 @ 152.7 @ #Dec. 123080 c NEW SOLUTION FOUND: -780530 @ 152.71 @ #Dec. 123095 c NEW SOLUTION FOUND: -780556 @ 152.72 @ #Dec. 123120 c NEW SOLUTION FOUND: -780588 @ 152.73 @ #Dec. 123140 c NEW SOLUTION FOUND: -780612 @ 152.73 @ #Dec. 123157 c Restart #4 #Var: 493 #Dec: 125277 LB: -2064339 @ 160.85 c Restart #5 #Var: 476 #Dec: 127432 LB: -2064339 @ 167.75 c Restart #6 #Var: 476 #Dec: 130168 LB: -2064339 @ 177.3 c Restart #7 #Var: 476 #Dec: 132291 LB: -2064339 @ 185.01 c Restart #8 #Var: 476 #Dec: 134703 LB: -2064339 @ 187.43 c Restart #9 #Var: 476 #Dec: 137374 LB: -2064339 @ 194.33 c Restart #10 #Var: 476 #Dec: 139991 LB: -2064339 @ 204.25 c Restart #11 #Var: 476 #Dec: 142635 LB: -2064339 @ 208.15 c Restart #12 #Var: 476 #Dec: 145833 LB: -2064339 @ 221.09 c Restart #13 #Var: 476 #Dec: 148829 LB: -2064339 @ 226.65 c Restart #14 #Var: 476 #Dec: 153147 LB: -2064339 @ 236.58 c Restart #15 #Var: 476 #Dec: 157473 LB: -2064339 @ 244.54 c Restart #16 #Var: 476 #Dec: 162707 LB: -2064339 @ 256.08 c Restart #17 #Var: 476 #Dec: 168740 LB: -2064339 @ 265.35 c Restart #18 #Var: 476 #Dec: 173612 LB: -2064339 @ 273.38 c Restart #19 #Var: 475 #Dec: 177599 LB: -2064339 @ 279.92 c Restart #20 #Var: 475 #Dec: 181803 LB: -2064339 @ 285.26 c Restart #21 #Var: 475 #Dec: 186252 LB: -2064339 @ 293.32 c Restart #22 #Var: 475 #Dec: 190759 LB: -2064339 @ 301.88 c Restart #23 #Var: 475 #Dec: 198536 LB: -2064339 @ 325.52 c Restart #24 #Var: 475 #Dec: 208842 LB: -2064339 @ 393.9 c Restart #25 #Var: 475 #Dec: 220115 LB: -2064339 @ 428.3 c Restart #26 #Var: 475 #Dec: 229433 LB: -2064339 @ 456.51 c Restart #27 #Var: 475 #Dec: 239670 LB: -2064339 @ 525.11 c Restart #28 #Var: 475 #Dec: 250342 LB: -2064339 @ 555.46 c Restart #29 #Var: 474 #Dec: 258355 LB: -2064339 @ 579.21 c Restart #30 #Var: 474 #Dec: 281131 LB: -2064339 @ 669.02 c NEW SOLUTION FOUND: -780742 @ 671.77 @ #Dec. 281531 c NEW SOLUTION FOUND: -780992 @ 671.77 @ #Dec. 281531 c NEW SOLUTION FOUND: -781112 @ 671.87 @ #Dec. 281591 c NEW SOLUTION FOUND: -781124 @ 671.87 @ #Dec. 281594 c NEW SOLUTION FOUND: -781136 @ 671.87 @ #Dec. 281599 c NEW SOLUTION FOUND: -781148 @ 671.87 @ #Dec. 281603 c NEW SOLUTION FOUND: -781196 @ 671.87 @ #Dec. 281613 c NEW SOLUTION FOUND: -781292 @ 671.88 @ #Dec. 281636 c NEW SOLUTION FOUND: -781484 @ 671.88 @ #Dec. 281649 c NEW SOLUTION FOUND: -781492 @ 672.18 @ #Dec. 281887 c NEW SOLUTION FOUND: -781494 @ 677.58 @ #Dec. 282787 c NEW SOLUTION FOUND: -781534 @ 678.04 @ #Dec. 283037 c NEW SOLUTION FOUND: -781558 @ 678.05 @ #Dec. 283060 c NEW SOLUTION FOUND: -781750 @ 678.06 @ #Dec. 283096 c NEW SOLUTION FOUND: -781958 @ 678.88 @ #Dec. 283534 c NEW SOLUTION FOUND: -781973 @ 679.72 @ #Dec. 284007 c NEW SOLUTION FOUND: -781987 @ 680.71 @ #Dec. 284408 c NEW SOLUTION FOUND: -782003 @ 682.31 @ #Dec. 285218 c NEW SOLUTION FOUND: -782017 @ 683.43 @ #Dec. 285631 c NEW SOLUTION FOUND: -782033 @ 683.49 @ #Dec. 285663 c NEW SOLUTION FOUND: -782062 @ 683.98 @ #Dec. 285867 c NEW SOLUTION FOUND: -782078 @ 684.05 @ #Dec. 285928 c NEW SOLUTION FOUND: -782257 @ 726.16 @ #Dec. 294939 c NEW SOLUTION FOUND: -802949 @ 771.37 @ #Dec. 299852 c NEW SOLUTION FOUND: -803077 @ 771.38 @ #Dec. 299870 c NEW SOLUTION FOUND: -803333 @ 771.38 @ #Dec. 299891 c NEW SOLUTION FOUND: -803707 @ 771.44 @ #Dec. 299933 c NEW SOLUTION FOUND: -803725 @ 771.48 @ #Dec. 299963 c NEW SOLUTION FOUND: -803749 @ 806.06 @ #Dec. 302922 c NEW SOLUTION FOUND: -803756 @ 806.2 @ #Dec. 302974 c NEW SOLUTION FOUND: -803764 @ 806.21 @ #Dec. 302987 c NEW SOLUTION FOUND: -803779 @ 808.99 @ #Dec. 303877 c NEW SOLUTION FOUND: -803794 @ 809.88 @ #Dec. 304246 c NEW SOLUTION FOUND: -803797 @ 810.41 @ #Dec. 304414 c NEW SOLUTION FOUND: -803827 @ 810.42 @ #Dec. 304427 c NEW SOLUTION FOUND: -803891 @ 810.5 @ #Dec. 304478 c NEW SOLUTION FOUND: -803899 @ 810.55 @ #Dec. 304507 c Restart #31 #Var: 474 #Dec: 316061 LB: -2064339 @ 879.16 c Restart #32 #Var: 474 #Dec: 324174 LB: -2064339 @ 921.06 c NEW SOLUTION FOUND: -803990 @ 923.78 @ #Dec. 324561 c NEW SOLUTION FOUND: -804246 @ 923.78 @ #Dec. 324564 c NEW SOLUTION FOUND: -804374 @ 923.78 @ #Dec. 324568 c NEW SOLUTION FOUND: -804398 @ 941.14 @ #Dec. 330034 c NEW SOLUTION FOUND: -804446 @ 941.26 @ #Dec. 330061 c NEW SOLUTION FOUND: -804454 @ 941.27 @ #Dec. 330071 c NEW SOLUTION FOUND: -804502 @ 941.55 @ #Dec. 330342 c NEW SOLUTION FOUND: -804510 @ 941.55 @ #Dec. 330353 c NEW SOLUTION FOUND: -804518 @ 941.56 @ #Dec. 330373 c NEW SOLUTION FOUND: -804526 @ 941.57 @ #Dec. 330392 c NEW SOLUTION FOUND: -804534 @ 941.61 @ #Dec. 330423 c Restart #33 #Var: 474 #Dec: 338852 LB: -2064339 @ 978.7 c NEW SOLUTION FOUND: -828244 @ 1023 @ #Dec. 344121 c NEW SOLUTION FOUND: -828252 @ 1023.3 @ #Dec. 344196 c NEW SOLUTION FOUND: -828268 @ 1023.6 @ #Dec. 344269 c NEW SOLUTION FOUND: -829420 @ 1023.6 @ #Dec. 344313 c NEW SOLUTION FOUND: -829588 @ 1024 @ #Dec. 344445 c NEW SOLUTION FOUND: -829642 @ 1024.4 @ #Dec. 344750 c NEW SOLUTION FOUND: -829710 @ 1024.9 @ #Dec. 345070 c NEW SOLUTION FOUND: -829758 @ 1025 @ #Dec. 345133 c NEW SOLUTION FOUND: -829770 @ 1025.1 @ #Dec. 345205 c NEW SOLUTION FOUND: -829954 @ 1027 @ #Dec. 345940 c NEW SOLUTION FOUND: -830954 @ 1027.1 @ #Dec. 345948 c NEW SOLUTION FOUND: -831466 @ 1027.1 @ #Dec. 345959 c NEW SOLUTION FOUND: -831722 @ 1027.1 @ #Dec. 345965 c NEW SOLUTION FOUND: -831906 @ 1027.1 @ #Dec. 345996 c NEW SOLUTION FOUND: -832906 @ 1027.1 @ #Dec. 346006 c NEW SOLUTION FOUND: -835722 @ 1027.2 @ #Dec. 346071 c NEW SOLUTION FOUND: -835818 @ 1028 @ #Dec. 346331 c NEW SOLUTION FOUND: -835834 @ 1028.1 @ #Dec. 346385 c NEW SOLUTION FOUND: -836234 @ 1028.4 @ #Dec. 346499 c NEW SOLUTION FOUND: -836490 @ 1028.5 @ #Dec. 346533 c NEW SOLUTION FOUND: -836602 @ 1028.6 @ #Dec. 346591 c NEW SOLUTION FOUND: -836682 @ 1029.7 @ #Dec. 346895 c NEW SOLUTION FOUND: -836746 @ 1029.7 @ #Dec. 346930 c NEW SOLUTION FOUND: -836794 @ 1029.8 @ #Dec. 346964 c NEW SOLUTION FOUND: -836809 @ 1033.3 @ #Dec. 348502 c NEW SOLUTION FOUND: -836839 @ 1041.6 @ #Dec. 349401 c NEW SOLUTION FOUND: -836863 @ 1043.1 @ #Dec. 349524 c NEW SOLUTION FOUND: -836931 @ 1045.9 @ #Dec. 350289 c NEW SOLUTION FOUND: -836947 @ 1050.2 @ #Dec. 350732 c NEW SOLUTION FOUND: -836959 @ 1052.3 @ #Dec. 350959 c NEW SOLUTION FOUND: -837003 @ 1120 @ #Dec. 356022 c NEW SOLUTION FOUND: -837019 @ 1120.3 @ #Dec. 356062 c NEW SOLUTION FOUND: -837115 @ 1120.7 @ #Dec. 356115 c NEW SOLUTION FOUND: -837139 @ 1121.3 @ #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/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853351006 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 107 3 90 68 0 39 0 [pid=20016] 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/wulflinc27/normalized-mps-v2-13-7-afiro.opb [startup+10.0035 s] Raw data (loadavg): 0.87 0.97 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 5884 0 0 0 865 53 0 0 25 0 1 0 1853351006 27193344 5795 4294967295 134512640 134736556 3221224560 3221223164 134537486 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 6639 5795 1116 68 0 6571 0 [pid=20016] vsize: 26556 Current children cumulated CPU time (s) 9.18 Current children cumulated vsize (Kb) 26556 [startup+20.0043 s] Raw data (loadavg): 0.97 0.99 0.99 1/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 16184 0 0 0 1777 103 0 0 25 0 1 0 1853351006 69373952 16095 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20016/statm): 16937 16095 1116 68 0 16869 0 [pid=20016] vsize: 67748 Current children cumulated CPU time (s) 18.8 Current children cumulated vsize (Kb) 67748 [startup+30.0051 s] Raw data (loadavg): 0.97 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 19589 0 0 0 2721 128 0 0 25 0 1 0 1853351006 83292160 19500 4294967295 134512640 134736556 3221224560 3221223168 134535752 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 20335 19500 1116 68 0 20267 0 [pid=20016] vsize: 81340 Current children cumulated CPU time (s) 28.49 Current children cumulated vsize (Kb) 81340 [startup+40.0049 s] Raw data (loadavg): 0.98 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 25200 0 0 0 3647 159 0 0 25 0 1 0 1853351006 106401792 25110 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 25977 25110 1116 68 0 25909 0 [pid=20016] vsize: 103908 Current children cumulated CPU time (s) 38.06 Current children cumulated vsize (Kb) 103908 [startup+50.0058 s] Raw data (loadavg): 0.98 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 27564 0 0 0 4602 177 0 0 25 0 1 0 1853351006 116129792 27474 4294967295 134512640 134736556 3221224560 3221223352 134602739 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 28352 27474 1116 68 0 28284 0 [pid=20016] vsize: 113408 Current children cumulated CPU time (s) 47.79 Current children cumulated vsize (Kb) 113408 [startup+60.0066 s] Raw data (loadavg): 0.98 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 30140 0 0 0 5547 201 0 0 25 0 1 0 1853351006 126660608 30050 4294967295 134512640 134736556 3221224560 3221222920 1077377345 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 30923 30050 1116 68 0 30855 0 [pid=20016] vsize: 123692 Current children cumulated CPU time (s) 57.48 Current children cumulated vsize (Kb) 123692 [startup+70.0074 s] Raw data (loadavg): 0.98 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 34253 0 0 0 6475 233 0 0 25 0 1 0 1853351006 143417344 34163 4294967295 134512640 134736556 3221224560 3221223004 134634440 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 35014 34163 1116 68 0 34946 0 [pid=20016] vsize: 140056 Current children cumulated CPU time (s) 67.08 Current children cumulated vsize (Kb) 140056 [startup+80.0082 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 37921 0 0 0 7424 257 0 0 25 0 1 0 1853351006 158564352 37831 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 38712 37831 1116 68 0 38644 0 [pid=20016] vsize: 154848 Current children cumulated CPU time (s) 76.81 Current children cumulated vsize (Kb) 154848 [startup+90.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 41072 0 0 0 8390 273 0 0 25 0 1 0 1853351006 171405312 40982 4294967295 134512640 134736556 3221224560 3221222984 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 41847 40982 1116 68 0 41779 0 [pid=20016] vsize: 167388 Current children cumulated CPU time (s) 86.63 Current children cumulated vsize (Kb) 167388 [startup+100.009 s] Raw data (loadavg): 0.99 0.99 0.99 1/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 44243 0 0 0 9355 290 0 0 25 0 1 0 1853351006 184389632 44153 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20016/statm): 45017 44153 1116 68 0 44949 0 [pid=20016] vsize: 180068 Current children cumulated CPU time (s) 96.45 Current children cumulated vsize (Kb) 180068 [startup+110.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 47609 0 0 0 10318 309 0 0 25 0 1 0 1853351006 198193152 47519 4294967295 134512640 134736556 3221224560 3221223232 134536515 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 48387 47519 1116 68 0 48319 0 [pid=20016] vsize: 193548 Current children cumulated CPU time (s) 106.27 Current children cumulated vsize (Kb) 193548 [startup+120.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 49858 0 0 0 11293 322 0 0 25 0 1 0 1853351006 207523840 49765 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 50665 49765 1116 68 0 50597 0 [pid=20016] vsize: 202660 Current children cumulated CPU time (s) 116.15 Current children cumulated vsize (Kb) 202660 [startup+130.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 50197 0 0 0 12282 326 0 0 25 0 1 0 1853351006 208875520 50104 4294967295 134512640 134736556 3221224560 3221223172 134524344 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 50995 50104 1116 68 0 50927 0 [pid=20016] vsize: 203980 Current children cumulated CPU time (s) 126.08 Current children cumulated vsize (Kb) 203980 [startup+140.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 51338 0 0 0 13251 339 0 0 25 0 1 0 1853351006 213606400 51245 4294967295 134512640 134736556 3221224560 3221223276 134553972 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 52150 51245 1116 68 0 52082 0 [pid=20016] vsize: 208600 Current children cumulated CPU time (s) 135.9 Current children cumulated vsize (Kb) 208600 [startup+150.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 51462 0 0 0 14247 340 0 0 25 0 1 0 1853351006 214011904 51369 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 52249 51369 1116 68 0 52181 0 [pid=20016] vsize: 208996 Current children cumulated CPU time (s) 145.87 Current children cumulated vsize (Kb) 208996 [startup+160.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 52278 0 0 0 15232 347 0 0 25 0 1 0 1853351006 217403392 52185 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 53077 52185 1116 68 0 53009 0 [pid=20016] vsize: 212308 Current children cumulated CPU time (s) 155.79 Current children cumulated vsize (Kb) 212308 [startup+170.011 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 52772 0 0 0 16217 354 0 0 25 0 1 0 1853351006 219443200 52679 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 53575 52679 1116 68 0 53507 0 [pid=20016] vsize: 214300 Current children cumulated CPU time (s) 165.71 Current children cumulated vsize (Kb) 214300 [startup+180.011 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 53518 0 0 0 17196 361 0 0 25 0 1 0 1853351006 222564352 53425 4294967295 134512640 134736556 3221224560 3221223152 134550999 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 54337 53425 1116 68 0 54269 0 [pid=20016] vsize: 217348 Current children cumulated CPU time (s) 175.57 Current children cumulated vsize (Kb) 217348 [startup+190.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 54818 0 0 0 18176 370 0 0 25 0 1 0 1853351006 227835904 54725 4294967295 134512640 134736556 3221224560 3221223208 134543297 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 55624 54725 1116 68 0 55556 0 [pid=20016] vsize: 222496 Current children cumulated CPU time (s) 185.46 Current children cumulated vsize (Kb) 222496 [startup+200.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 57428 0 0 0 19142 387 0 0 25 0 1 0 1853351006 238514176 57335 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 58231 57335 1116 68 0 58163 0 [pid=20016] vsize: 232924 Current children cumulated CPU time (s) 195.29 Current children cumulated vsize (Kb) 232924 [startup+210.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 59165 0 0 0 20118 398 0 0 25 0 1 0 1853351006 245678080 59072 4294967295 134512640 134736556 3221224560 3221223284 134529474 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 59980 59072 1116 68 0 59912 0 [pid=20016] vsize: 239920 Current children cumulated CPU time (s) 205.16 Current children cumulated vsize (Kb) 239920 [startup+220.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 61790 0 0 0 21089 411 0 0 25 0 1 0 1853351006 256491520 61696 4294967295 134512640 134736556 3221224560 3221223208 134554070 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 62620 61696 1116 68 0 62552 0 [pid=20016] vsize: 250480 Current children cumulated CPU time (s) 215 Current children cumulated vsize (Kb) 250480 [startup+230.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 63844 0 0 0 22066 422 0 0 25 0 1 0 1853351006 264876032 63750 4294967295 134512640 134736556 3221224560 3221223276 134560216 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 64667 63751 1116 68 0 64599 0 [pid=20016] vsize: 258668 Current children cumulated CPU time (s) 224.88 Current children cumulated vsize (Kb) 258668 [startup+240.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 66164 0 0 0 23034 437 0 0 25 0 1 0 1853351006 274337792 66069 4294967295 134512640 134736556 3221224560 3221223116 134540061 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 66977 66069 1116 68 0 66909 0 [pid=20016] vsize: 267908 Current children cumulated CPU time (s) 234.71 Current children cumulated vsize (Kb) 267908 [startup+250.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 68963 0 0 0 23995 453 0 0 25 0 1 0 1853351006 285827072 68868 4294967295 134512640 134736556 3221224560 3221223312 134609059 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 69782 68868 1116 68 0 69714 0 [pid=20016] vsize: 279128 Current children cumulated CPU time (s) 244.48 Current children cumulated vsize (Kb) 279128 [startup+260.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 71143 0 0 0 24966 468 0 0 25 0 1 0 1853351006 294752256 71044 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 71961 71044 1116 68 0 71893 0 [pid=20016] vsize: 287844 Current children cumulated CPU time (s) 254.34 Current children cumulated vsize (Kb) 287844 [startup+270.015 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 73818 0 0 0 25925 487 0 0 25 0 1 0 1853351006 305700864 73719 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 74634 73719 1116 68 0 74566 0 [pid=20016] vsize: 298536 Current children cumulated CPU time (s) 264.12 Current children cumulated vsize (Kb) 298536 [startup+280.016 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 77236 0 0 0 26885 506 0 0 25 0 1 0 1853351006 319758336 77137 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 78066 77137 1116 68 0 77998 0 [pid=20016] vsize: 312264 Current children cumulated CPU time (s) 273.91 Current children cumulated vsize (Kb) 312264 [startup+290.015 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 83058 0 0 0 27834 531 0 0 25 0 1 0 1853351006 343736320 82958 4294967295 134512640 134736556 3221224560 3221223164 134537504 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 83920 82958 1116 68 0 83852 0 [pid=20016] vsize: 335680 Current children cumulated CPU time (s) 283.65 Current children cumulated vsize (Kb) 335680 [startup+300.015 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 88393 0 0 0 28786 555 0 0 25 0 1 0 1853351006 365645824 88293 4294967295 134512640 134736556 3221224560 3221223136 134543175 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 89269 88293 1116 68 0 89201 0 [pid=20016] vsize: 357076 Current children cumulated CPU time (s) 293.41 Current children cumulated vsize (Kb) 357076 [startup+310.016 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 92372 0 0 0 29750 574 0 0 25 0 1 0 1853351006 381915136 92268 4294967295 134512640 134736556 3221224560 3221223436 134591624 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 93241 92268 1116 68 0 93173 0 [pid=20016] vsize: 372964 Current children cumulated CPU time (s) 303.24 Current children cumulated vsize (Kb) 372964 [startup+320.017 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 93510 0 0 0 30729 583 0 0 25 0 1 0 1853351006 386646016 93406 4294967295 134512640 134736556 3221224560 3221223072 134543195 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 94396 93406 1116 68 0 94328 0 [pid=20016] vsize: 377584 Current children cumulated CPU time (s) 313.12 Current children cumulated vsize (Kb) 377584 [startup+330.018 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 94443 0 0 0 31710 592 0 0 25 0 1 0 1853351006 390447104 94338 4294967295 134512640 134736556 3221224560 3221223140 134551038 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 95324 94338 1116 68 0 95256 0 [pid=20016] vsize: 381296 Current children cumulated CPU time (s) 323.02 Current children cumulated vsize (Kb) 381296 [startup+340.017 s] Raw data (loadavg): 0.99 0.99 0.99 1/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 94911 0 0 0 32696 599 0 0 25 0 1 0 1853351006 392384512 94806 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20016/statm): 95797 94806 1116 68 0 95729 0 [pid=20016] vsize: 383188 Current children cumulated CPU time (s) 332.95 Current children cumulated vsize (Kb) 383188 [startup+350.018 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 95059 0 0 0 33688 602 0 0 25 0 1 0 1853351006 393097216 94953 4294967295 134512640 134736556 3221224560 3221223296 134529294 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 95971 94953 1116 68 0 95903 0 [pid=20016] vsize: 383884 Current children cumulated CPU time (s) 342.9 Current children cumulated vsize (Kb) 383884 [startup+360.019 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 95713 0 0 0 34675 607 0 0 25 0 1 0 1853351006 395669504 95605 4294967295 134512640 134736556 3221224560 3221223200 134536541 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 96599 95605 1116 68 0 96531 0 [pid=20016] vsize: 386396 Current children cumulated CPU time (s) 352.82 Current children cumulated vsize (Kb) 386396 [startup+370.02 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 96406 0 0 0 35665 611 0 0 25 0 1 0 1853351006 398508032 96298 4294967295 134512640 134736556 3221224560 3221223280 134529378 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 97292 96298 1116 68 0 97224 0 [pid=20016] vsize: 389168 Current children cumulated CPU time (s) 362.76 Current children cumulated vsize (Kb) 389168 [startup+380.021 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 97266 0 0 0 36654 616 0 0 25 0 1 0 1853351006 402022400 97158 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 98150 97158 1116 68 0 98082 0 [pid=20016] vsize: 392600 Current children cumulated CPU time (s) 372.7 Current children cumulated vsize (Kb) 392600 [startup+390.021 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 97792 0 0 0 37645 620 0 0 25 0 1 0 1853351006 404185088 97684 4294967295 134512640 134736556 3221224560 3221223164 134537537 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 98678 97684 1116 68 0 98610 0 [pid=20016] vsize: 394712 Current children cumulated CPU time (s) 382.65 Current children cumulated vsize (Kb) 394712 [startup+400.021 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 98255 0 0 0 38637 623 0 0 25 0 1 0 1853351006 406077440 98147 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 99140 98147 1116 68 0 99072 0 [pid=20016] vsize: 396560 Current children cumulated CPU time (s) 392.6 Current children cumulated vsize (Kb) 396560 [startup+410.021 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 98643 0 0 0 39621 629 0 0 25 0 1 0 1853351006 407699456 98535 4294967295 134512640 134736556 3221224560 3221223248 134529265 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 99536 98535 1116 68 0 99468 0 [pid=20016] vsize: 398144 Current children cumulated CPU time (s) 402.5 Current children cumulated vsize (Kb) 398144 [startup+420.022 s] Raw data (loadavg): 0.99 0.99 0.99 1/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 99218 0 0 0 40601 637 0 0 25 0 1 0 1853351006 410136576 99110 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20016/statm): 100131 99110 1116 68 0 100063 0 [pid=20016] vsize: 400524 Current children cumulated CPU time (s) 412.38 Current children cumulated vsize (Kb) 400524 [startup+430.023 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 100987 0 0 0 41572 649 0 0 25 0 1 0 1853351006 415903744 100525 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 101539 100525 1116 68 0 101471 0 [pid=20016] vsize: 406156 Current children cumulated CPU time (s) 422.21 Current children cumulated vsize (Kb) 406156 [startup+440.023 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 101744 0 0 0 42554 656 0 0 25 0 1 0 1853351006 419028992 101282 4294967295 134512640 134736556 3221224560 3221223248 134529337 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 102302 101282 1116 68 0 102234 0 [pid=20016] vsize: 409208 Current children cumulated CPU time (s) 432.1 Current children cumulated vsize (Kb) 409208 [startup+450.024 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 102790 0 0 0 43532 666 0 0 25 0 1 0 1853351006 423256064 102326 4294967295 134512640 134736556 3221224560 3221223136 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 103334 102326 1116 68 0 103266 0 [pid=20016] vsize: 413336 Current children cumulated CPU time (s) 441.98 Current children cumulated vsize (Kb) 413336 [startup+460.023 s] Raw data (loadavg): 0.99 0.99 0.99 1/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 103615 0 0 0 44515 673 0 0 25 0 1 0 1853351006 426635264 103151 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/20016/statm): 104159 103151 1116 68 0 104091 0 [pid=20016] vsize: 416636 Current children cumulated CPU time (s) 451.88 Current children cumulated vsize (Kb) 416636 [startup+470.025 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 104497 0 0 0 45493 682 0 0 25 0 1 0 1853351006 430305280 104033 4294967295 134512640 134736556 3221224560 3221223248 134529155 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 105055 104033 1116 68 0 104987 0 [pid=20016] vsize: 420220 Current children cumulated CPU time (s) 461.75 Current children cumulated vsize (Kb) 420220 [startup+480.026 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 105075 0 0 0 46479 687 0 0 25 0 1 0 1853351006 432738304 104611 4294967295 134512640 134736556 3221224560 3221223116 134536676 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 105649 104611 1116 68 0 105581 0 [pid=20016] vsize: 422596 Current children cumulated CPU time (s) 471.66 Current children cumulated vsize (Kb) 422596 [startup+490.026 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 105721 0 0 0 47465 693 0 0 25 0 1 0 1853351006 435441664 105257 4294967295 134512640 134736556 3221224560 3221223116 134536611 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 106309 105257 1116 68 0 106241 0 [pid=20016] vsize: 425236 Current children cumulated CPU time (s) 481.58 Current children cumulated vsize (Kb) 425236 [startup+500.027 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 106233 0 0 0 48459 697 0 0 25 0 1 0 1853351006 437469184 105768 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 106804 105768 1116 68 0 106736 0 [pid=20016] vsize: 427216 Current children cumulated CPU time (s) 491.56 Current children cumulated vsize (Kb) 427216 [startup+510.026 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 106528 0 0 0 49454 698 0 0 25 0 1 0 1853351006 438685696 106063 4294967295 134512640 134736556 3221224560 3221223232 134528735 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 107101 106063 1116 68 0 107033 0 [pid=20016] vsize: 428404 Current children cumulated CPU time (s) 501.52 Current children cumulated vsize (Kb) 428404 [startup+520.027 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 106598 0 0 0 50450 700 0 0 25 0 1 0 1853351006 438956032 106132 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 107167 106132 1116 68 0 107099 0 [pid=20016] vsize: 428668 Current children cumulated CPU time (s) 511.5 Current children cumulated vsize (Kb) 428668 [startup+530.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 107122 0 0 0 51436 705 0 0 25 0 1 0 1853351006 441118720 106655 4294967295 134512640 134736556 3221224560 3221223084 134536626 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 107695 106655 1116 68 0 107627 0 [pid=20016] vsize: 430780 Current children cumulated CPU time (s) 521.41 Current children cumulated vsize (Kb) 430780 [startup+540.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 107575 0 0 0 52418 712 0 0 25 0 1 0 1853351006 443011072 107108 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 108157 107108 1116 68 0 108089 0 [pid=20016] vsize: 432628 Current children cumulated CPU time (s) 531.3 Current children cumulated vsize (Kb) 432628 [startup+550.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 107932 0 0 0 53402 718 0 0 25 0 1 0 1853351006 444497920 107465 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 108520 107465 1116 68 0 108452 0 [pid=20016] vsize: 434080 Current children cumulated CPU time (s) 541.2 Current children cumulated vsize (Kb) 434080 [startup+560.031 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 109320 0 0 0 54367 732 0 0 25 0 1 0 1853351006 450179072 108851 4294967295 134512640 134736556 3221224560 3221223264 134600619 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 109907 108851 1116 68 0 109839 0 [pid=20016] vsize: 439628 Current children cumulated CPU time (s) 550.99 Current children cumulated vsize (Kb) 439628 [startup+570.032 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 109644 0 0 0 55353 737 0 0 25 0 1 0 1853351006 451530752 109175 4294967295 134512640 134736556 3221224560 3221223248 134536549 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 110237 109175 1116 68 0 110169 0 [pid=20016] vsize: 440948 Current children cumulated CPU time (s) 560.9 Current children cumulated vsize (Kb) 440948 [startup+580.032 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 111274 0 0 0 56320 750 0 0 25 0 1 0 1853351006 458158080 110805 4294967295 134512640 134736556 3221224560 3221223280 134609059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 111855 110805 1116 68 0 111787 0 [pid=20016] vsize: 447420 Current children cumulated CPU time (s) 570.7 Current children cumulated vsize (Kb) 447420 [startup+590.032 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 111815 0 0 0 57307 755 0 0 25 0 1 0 1853351006 460460032 111346 4294967295 134512640 134736556 3221224560 3221223168 134536527 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 112417 111346 1116 68 0 112349 0 [pid=20016] vsize: 449668 Current children cumulated CPU time (s) 580.62 Current children cumulated vsize (Kb) 449668 [startup+600.033 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 112068 0 0 0 58295 761 0 0 25 0 1 0 1853351006 461615104 111594 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 112699 111594 1116 68 0 112631 0 [pid=20016] vsize: 450796 Current children cumulated CPU time (s) 590.56 Current children cumulated vsize (Kb) 450796 [startup+610.034 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 112293 0 0 0 59278 767 0 0 25 0 1 0 1853351006 462565376 111817 4294967295 134512640 134736556 3221224560 3221223268 134609065 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 112931 111817 1116 68 0 112863 0 [pid=20016] vsize: 451724 Current children cumulated CPU time (s) 600.45 Current children cumulated vsize (Kb) 451724 [startup+620.034 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 112615 0 0 0 60261 775 0 0 25 0 1 0 1853351006 463781888 112139 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 113228 112139 1116 68 0 113160 0 [pid=20016] vsize: 452912 Current children cumulated CPU time (s) 610.36 Current children cumulated vsize (Kb) 452912 [startup+630.035 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 112980 0 0 0 61247 781 0 0 25 0 1 0 1853351006 465412096 112504 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 113626 112504 1116 68 0 113558 0 [pid=20016] vsize: 454504 Current children cumulated CPU time (s) 620.28 Current children cumulated vsize (Kb) 454504 [startup+640.036 s] Raw data (loadavg): 0.99 0.99 0.99 1/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 113296 0 0 0 62231 787 0 0 25 0 1 0 1853351006 466628608 112820 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20016/statm): 113923 112820 1116 68 0 113855 0 [pid=20016] vsize: 455692 Current children cumulated CPU time (s) 630.18 Current children cumulated vsize (Kb) 455692 [startup+650.037 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 114567 0 0 0 63206 799 0 0 25 0 1 0 1853351006 471900160 114091 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20016/statm): 115210 114091 1116 68 0 115142 0 [pid=20016] vsize: 460840 Current children cumulated CPU time (s) 640.05 Current children cumulated vsize (Kb) 460840 [startup+660.037 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 114984 0 0 0 64186 808 0 0 25 0 1 0 1853351006 473522176 114508 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 115606 114508 1116 68 0 115538 0 [pid=20016] vsize: 462424 Current children cumulated CPU time (s) 649.94 Current children cumulated vsize (Kb) 462424 [startup+670.038 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 115328 0 0 0 65178 811 0 0 25 0 1 0 1853351006 475021312 114852 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 115972 114852 1116 68 0 115904 0 [pid=20016] vsize: 463888 Current children cumulated CPU time (s) 659.89 Current children cumulated vsize (Kb) 463888 [startup+680.038 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 115587 0 0 0 66172 814 0 0 25 0 1 0 1853351006 476098560 115110 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 116235 115110 1116 68 0 116167 0 [pid=20016] vsize: 464940 Current children cumulated CPU time (s) 669.86 Current children cumulated vsize (Kb) 464940 [startup+690.038 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 116219 0 0 0 67155 820 0 0 25 0 1 0 1853351006 478666752 115742 4294967295 134512640 134736556 3221224560 3221223212 134554040 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 116862 115742 1116 68 0 116794 0 [pid=20016] vsize: 467448 Current children cumulated CPU time (s) 679.75 Current children cumulated vsize (Kb) 467448 [startup+700.039 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 117210 0 0 0 68130 831 0 0 25 0 1 0 1853351006 482725888 116733 4294967295 134512640 134736556 3221224560 3221223024 134536153 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 117853 116733 1116 68 0 117785 0 [pid=20016] vsize: 471412 Current children cumulated CPU time (s) 689.61 Current children cumulated vsize (Kb) 471412 [startup+710.04 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 117622 0 0 0 69113 837 0 0 25 0 1 0 1853351006 484347904 117145 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 118249 117145 1116 68 0 118181 0 [pid=20016] vsize: 472996 Current children cumulated CPU time (s) 699.5 Current children cumulated vsize (Kb) 472996 [startup+720.041 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 117994 0 0 0 70102 841 0 0 25 0 1 0 1853351006 485969920 117517 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 118645 117517 1116 68 0 118577 0 [pid=20016] vsize: 474580 Current children cumulated CPU time (s) 709.43 Current children cumulated vsize (Kb) 474580 [startup+730.041 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 118135 0 0 0 71091 846 0 0 25 0 1 0 1853351006 486510592 117658 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 118777 117658 1116 68 0 118709 0 [pid=20016] vsize: 475108 Current children cumulated CPU time (s) 719.37 Current children cumulated vsize (Kb) 475108 [startup+740.042 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 118374 0 0 0 72079 852 0 0 25 0 1 0 1853351006 487456768 117897 4294967295 134512640 134736556 3221224560 3221223296 134529272 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 119008 117897 1116 68 0 118940 0 [pid=20016] vsize: 476032 Current children cumulated CPU time (s) 729.31 Current children cumulated vsize (Kb) 476032 [startup+750.043 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 118523 0 0 0 73070 855 0 0 25 0 1 0 1853351006 488128512 118046 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 119172 118046 1116 68 0 119104 0 [pid=20016] vsize: 476688 Current children cumulated CPU time (s) 739.25 Current children cumulated vsize (Kb) 476688 [startup+760.043 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 118641 0 0 0 74064 857 0 0 25 0 1 0 1853351006 488534016 118164 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 119271 118164 1116 68 0 119203 0 [pid=20016] vsize: 477084 Current children cumulated CPU time (s) 749.21 Current children cumulated vsize (Kb) 477084 [startup+770.044 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 118848 0 0 0 75058 859 0 0 25 0 1 0 1853351006 489345024 118371 4294967295 134512640 134736556 3221224560 3221223076 134716792 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 119469 118371 1116 68 0 119401 0 [pid=20016] vsize: 477876 Current children cumulated CPU time (s) 759.17 Current children cumulated vsize (Kb) 477876 [startup+780.045 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 118933 0 0 0 76056 860 0 0 25 0 1 0 1853351006 489750528 118456 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 119568 118456 1116 68 0 119500 0 [pid=20016] vsize: 478272 Current children cumulated CPU time (s) 769.16 Current children cumulated vsize (Kb) 478272 [startup+790.044 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 119158 0 0 0 77050 863 0 0 25 0 1 0 1853351006 490696704 118681 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 119799 118681 1116 68 0 119731 0 [pid=20016] vsize: 479196 Current children cumulated CPU time (s) 779.13 Current children cumulated vsize (Kb) 479196 [startup+800.045 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 119348 0 0 0 78045 864 0 0 25 0 1 0 1853351006 491372544 118871 4294967295 134512640 134736556 3221224560 3221223084 134536698 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 119964 118871 1116 68 0 119896 0 [pid=20016] vsize: 479856 Current children cumulated CPU time (s) 789.09 Current children cumulated vsize (Kb) 479856 [startup+810.046 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 119568 0 0 0 79039 867 0 0 25 0 1 0 1853351006 492318720 119091 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 120195 119091 1116 68 0 120127 0 [pid=20016] vsize: 480780 Current children cumulated CPU time (s) 799.06 Current children cumulated vsize (Kb) 480780 [startup+820.047 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 119851 0 0 0 80026 872 0 0 25 0 1 0 1853351006 493527040 119374 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 120490 119374 1116 68 0 120422 0 [pid=20016] vsize: 481960 Current children cumulated CPU time (s) 808.98 Current children cumulated vsize (Kb) 481960 [startup+830.048 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 120117 0 0 0 81018 876 0 0 25 0 1 0 1853351006 494612480 119640 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 120755 119640 1116 68 0 120687 0 [pid=20016] vsize: 483020 Current children cumulated CPU time (s) 818.94 Current children cumulated vsize (Kb) 483020 [startup+840.048 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 120219 0 0 0 82012 879 0 0 25 0 1 0 1853351006 495017984 119742 4294967295 134512640 134736556 3221224560 3221223180 134553304 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 120854 119742 1116 68 0 120786 0 [pid=20016] vsize: 483416 Current children cumulated CPU time (s) 828.91 Current children cumulated vsize (Kb) 483416 [startup+850.048 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 120523 0 0 0 83002 883 0 0 25 0 1 0 1853351006 496230400 120046 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 121150 120046 1116 68 0 121082 0 [pid=20016] vsize: 484600 Current children cumulated CPU time (s) 838.85 Current children cumulated vsize (Kb) 484600 [startup+860.049 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 120579 0 0 0 83997 885 0 0 25 0 1 0 1853351006 496500736 120102 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 121216 120102 1116 68 0 121148 0 [pid=20016] vsize: 484864 Current children cumulated CPU time (s) 848.82 Current children cumulated vsize (Kb) 484864 [startup+870.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 120967 0 0 0 84987 889 0 0 25 0 1 0 1853351006 498106368 120490 4294967295 134512640 134736556 3221224560 3221223296 134529337 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 121608 120490 1116 68 0 121540 0 [pid=20016] vsize: 486432 Current children cumulated CPU time (s) 858.76 Current children cumulated vsize (Kb) 486432 [startup+880.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 122166 0 0 0 85970 896 0 0 25 0 1 0 1853351006 502972416 121689 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 122796 121689 1116 68 0 122728 0 [pid=20016] vsize: 491184 Current children cumulated CPU time (s) 868.66 Current children cumulated vsize (Kb) 491184 [startup+890.052 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 124836 0 0 0 86947 908 0 0 25 0 1 0 1853351006 513921024 124359 4294967295 134512640 134736556 3221224560 3221223236 134529474 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 125469 124359 1116 68 0 125401 0 [pid=20016] vsize: 501876 Current children cumulated CPU time (s) 878.55 Current children cumulated vsize (Kb) 501876 [startup+900.052 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 125992 0 0 0 87931 914 0 0 25 0 1 0 1853351006 518668288 125514 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 126628 125514 1116 68 0 126560 0 [pid=20016] vsize: 506512 Current children cumulated CPU time (s) 888.45 Current children cumulated vsize (Kb) 506512 [startup+910.053 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 126487 0 0 0 88920 919 0 0 25 0 1 0 1853351006 520695808 126009 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 127123 126009 1116 68 0 127055 0 [pid=20016] vsize: 508492 Current children cumulated CPU time (s) 898.39 Current children cumulated vsize (Kb) 508492 [startup+920.054 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 127793 0 0 0 89905 926 0 0 25 0 1 0 1853351006 526102528 127315 4294967295 134512640 134736556 3221224560 3221223164 134554110 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 128443 127315 1116 68 0 128375 0 [pid=20016] vsize: 513772 Current children cumulated CPU time (s) 908.31 Current children cumulated vsize (Kb) 513772 [startup+930.054 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 128979 0 0 0 90892 933 0 0 25 0 1 0 1853351006 530968576 128501 4294967295 134512640 134736556 3221224560 3221223228 134523620 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 129631 128502 1116 68 0 129563 0 [pid=20016] vsize: 518524 Current children cumulated CPU time (s) 918.25 Current children cumulated vsize (Kb) 518524 [startup+940.054 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 130324 0 0 0 91873 942 0 0 25 0 1 0 1853351006 536457216 129843 4294967295 134512640 134736556 3221224560 3221223136 134550871 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 130971 129843 1116 68 0 130903 0 [pid=20016] vsize: 523884 Current children cumulated CPU time (s) 928.15 Current children cumulated vsize (Kb) 523884 [startup+950.054 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 131442 0 0 0 92854 950 0 0 25 0 1 0 1853351006 541048832 130961 4294967295 134512640 134736556 3221224560 3221223232 134597405 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 132092 130961 1116 68 0 132024 0 [pid=20016] vsize: 528368 Current children cumulated CPU time (s) 938.04 Current children cumulated vsize (Kb) 528368 [startup+960.054 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 132013 0 0 0 93834 960 0 0 25 0 1 0 1853351006 543457280 131531 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 132680 131531 1116 68 0 132612 0 [pid=20016] vsize: 530720 Current children cumulated CPU time (s) 947.94 Current children cumulated vsize (Kb) 530720 [startup+970.056 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 132331 0 0 0 94819 967 0 0 25 0 1 0 1853351006 544673792 131849 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 132977 131849 1116 68 0 132909 0 [pid=20016] vsize: 531908 Current children cumulated CPU time (s) 957.86 Current children cumulated vsize (Kb) 531908 [startup+980.057 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 132931 0 0 0 95799 976 0 0 25 0 1 0 1853351006 547098624 132449 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 133569 132449 1116 68 0 133501 0 [pid=20016] vsize: 534276 Current children cumulated CPU time (s) 967.75 Current children cumulated vsize (Kb) 534276 [startup+990.057 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 133171 0 0 0 96788 981 0 0 25 0 1 0 1853351006 548163584 132689 4294967295 134512640 134736556 3221224560 3221223116 134537545 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 133829 132689 1116 68 0 133761 0 [pid=20016] vsize: 535316 Current children cumulated CPU time (s) 977.69 Current children cumulated vsize (Kb) 535316 [startup+1000.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 133493 0 0 0 97772 988 0 0 25 0 1 0 1853351006 549543936 133011 4294967295 134512640 134736556 3221224560 3221222956 134634644 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/20016/statm): 134166 133011 1116 68 0 134098 0 [pid=20016] vsize: 536664 Current children cumulated CPU time (s) 987.6 Current children cumulated vsize (Kb) 536664 [startup+1010.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 133672 0 0 0 98765 990 0 0 25 0 1 0 1853351006 550219776 133190 4294967295 134512640 134736556 3221224560 3221223084 134536687 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 134331 133190 1116 68 0 134263 0 [pid=20016] vsize: 537324 Current children cumulated CPU time (s) 997.55 Current children cumulated vsize (Kb) 537324 [startup+1020.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 133807 0 0 0 99760 992 0 0 25 0 1 0 1853351006 550756352 133325 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 134462 133325 1116 68 0 134394 0 [pid=20016] vsize: 537848 Current children cumulated CPU time (s) 1007.52 Current children cumulated vsize (Kb) 537848 [startup+1030.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 133916 0 0 0 100755 994 0 0 25 0 1 0 1853351006 551301120 133434 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 134595 133434 1116 68 0 134527 0 [pid=20016] vsize: 538380 Current children cumulated CPU time (s) 1017.49 Current children cumulated vsize (Kb) 538380 [startup+1040.06 s] Raw data (loadavg): 0.99 0.99 0.99 1/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 134851 0 0 0 101739 1001 0 0 25 0 1 0 1853351006 555085824 134369 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20016/statm): 135519 134369 1116 68 0 135451 0 [pid=20016] vsize: 542076 Current children cumulated CPU time (s) 1027.4 Current children cumulated vsize (Kb) 542076 [startup+1050.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 136040 0 0 0 102721 1009 0 0 25 0 1 0 1853351006 559951872 135558 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 136707 135558 1116 68 0 136639 0 [pid=20016] vsize: 546828 Current children cumulated CPU time (s) 1037.3 Current children cumulated vsize (Kb) 546828 [startup+1060.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 136548 0 0 0 103709 1015 0 0 25 0 1 0 1853351006 561979392 136066 4294967295 134512640 134736556 3221224560 3221223152 134553321 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 137202 136066 1116 68 0 137134 0 [pid=20016] vsize: 548808 Current children cumulated CPU time (s) 1047.24 Current children cumulated vsize (Kb) 548808 [startup+1070.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 136867 0 0 0 104703 1017 0 0 25 0 1 0 1853351006 563335168 136385 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 137533 136385 1116 68 0 137465 0 [pid=20016] vsize: 550132 Current children cumulated CPU time (s) 1057.2 Current children cumulated vsize (Kb) 550132 [startup+1080.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 137307 0 0 0 105697 1019 0 0 25 0 1 0 1853351006 565104640 136825 4294967295 134512640 134736556 3221224560 3221223152 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 137965 136825 1116 68 0 137897 0 [pid=20016] vsize: 551860 Current children cumulated CPU time (s) 1067.16 Current children cumulated vsize (Kb) 551860 [startup+1090.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 137870 0 0 0 106687 1024 0 0 25 0 1 0 1853351006 567402496 137388 4294967295 134512640 134736556 3221224560 3221223152 134536470 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 138526 137388 1116 68 0 138458 0 [pid=20016] vsize: 554104 Current children cumulated CPU time (s) 1077.11 Current children cumulated vsize (Kb) 554104 [startup+1100.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138045 0 0 0 107681 1026 0 0 25 0 1 0 1853351006 568217600 137563 4294967295 134512640 134736556 3221224560 3221223152 134524403 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 138725 137563 1116 68 0 138657 0 [pid=20016] vsize: 554900 Current children cumulated CPU time (s) 1087.07 Current children cumulated vsize (Kb) 554900 [startup+1110.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138093 0 0 0 108679 1027 0 0 25 0 1 0 1853351006 568352768 137611 4294967295 134512640 134736556 3221224560 3221223184 134524547 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 138758 137611 1116 68 0 138690 0 [pid=20016] vsize: 555032 Current children cumulated CPU time (s) 1097.06 Current children cumulated vsize (Kb) 555032 [startup+1120.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138139 0 0 0 109676 1028 0 0 25 0 1 0 1853351006 568623104 137657 4294967295 134512640 134736556 3221224560 3221223184 134537456 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 138824 137657 1116 68 0 138756 0 [pid=20016] vsize: 555296 Current children cumulated CPU time (s) 1107.04 Current children cumulated vsize (Kb) 555296 [startup+1130.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138260 0 0 0 110672 1029 0 0 25 0 1 0 1853351006 569028608 137778 4294967295 134512640 134736556 3221224560 3221223088 134553387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 138923 137778 1116 68 0 138855 0 [pid=20016] vsize: 555692 Current children cumulated CPU time (s) 1117.01 Current children cumulated vsize (Kb) 555692 [startup+1140.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138386 0 0 0 111669 1031 0 0 25 0 1 0 1853351006 569569280 137904 4294967295 134512640 134736556 3221224560 3221223200 134529155 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 139055 137904 1116 68 0 138987 0 [pid=20016] vsize: 556220 Current children cumulated CPU time (s) 1127 Current children cumulated vsize (Kb) 556220 [startup+1150.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138436 0 0 0 112667 1032 0 0 25 0 1 0 1853351006 569839616 137954 4294967295 134512640 134736556 3221224560 3221223152 134524403 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 139121 137954 1116 68 0 139053 0 [pid=20016] vsize: 556484 Current children cumulated CPU time (s) 1136.99 Current children cumulated vsize (Kb) 556484 [startup+1160.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138481 0 0 0 113666 1032 0 0 25 0 1 0 1853351006 569974784 137999 4294967295 134512640 134736556 3221224560 3221223188 134529474 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 139154 137999 1116 68 0 139086 0 [pid=20016] vsize: 556616 Current children cumulated CPU time (s) 1146.98 Current children cumulated vsize (Kb) 556616 [startup+1170.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138527 0 0 0 114664 1032 0 0 25 0 1 0 1853351006 570109952 138045 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 139187 138045 1116 68 0 139119 0 [pid=20016] vsize: 556748 Current children cumulated CPU time (s) 1156.96 Current children cumulated vsize (Kb) 556748 [startup+1180.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138579 0 0 0 115663 1033 0 0 25 0 1 0 1853351006 570380288 138095 4294967295 134512640 134736556 3221224560 3221223140 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 139253 138095 1116 68 0 139185 0 [pid=20016] vsize: 557012 Current children cumulated CPU time (s) 1166.96 Current children cumulated vsize (Kb) 557012 [startup+1190.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) R 20015 20016 28974 0 -1 0 138624 0 0 0 116662 1033 0 0 25 0 1 0 1853351006 570650624 138140 4294967295 134512640 134736556 3221224560 3221223136 134536477 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/20016/statm): 139319 138140 1116 68 0 139251 0 [pid=20016] vsize: 557276 Current children cumulated CPU time (s) 1176.95 Current children cumulated vsize (Kb) 557276 [startup+1200.07 s] Raw data (loadavg): 0.99 0.99 0.99 1/56 20016 Raw data (/proc/20016/stat): 20016 (bsolo) T 20015 20016 28974 0 -1 0 138725 0 0 0 117659 1034 0 0 25 0 1 0 1853351006 571052032 138241 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/20016/statm): 139417 138241 1116 68 0 139349 0 [pid=20016] vsize: 557668 Current children cumulated CPU time (s) 1186.93 Current children cumulated vsize (Kb) 557668 One traced child (pid=20016) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1208.5 CPU time (s): 1195.36 CPU user time (s): 1184.75 CPU system time (s): 10.6114 CPU usage (%): 98.9131 Max. virtual memory (cumulated for all children) (Kb): 557668
Verifier: OK -837139