Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb |
MD5SUM | d28092793cdc5a919be9a0f5974c70fe |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 48000 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 489 |
Biggest coefficient in the objective function | 3145728 |
Number of bits for the biggest coefficient in the objective function | 22 |
Sum of the numbers in the objective function | 69282750 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 3145728 |
Number of bits of the biggest number in a constraint | 22 |
Biggest sum of numbers in a constraint | 69282750 |
Number of bits of the biggest sum of numbers | 27 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 7.66783 |
Number of variables | 873 |
Total number of constraints | 67 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 43 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 100 |
LAUNCH ON wulflinc22 THE 2005-09-19 22:56:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=923 boxname=wulflinc22 idbench=923 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: d28092793cdc5a919be9a0f5974c70fe /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-sample2.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-sample2.opb IDLAUNCH: 923 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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: 912076 kB Buffers: 3708 kB Cached: 91772 kB SwapCached: 536 kB Active: 31636 kB Inactive: 66496 kB HighTotal: 131008 kB HighFree: 38080 kB LowTotal: 903652 kB LowFree: 873996 kB SwapTotal: 2097892 kB SwapFree: 2096832 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5868 kB Slab: 18704 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 23:07:43 (client local time) WITH STATUS 30 IN 674.364 SECONDS stats: 923 0 674.364 30
c INFO: OSL Context initialized. c Initial problem consists of 873 variables and 67 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.456 c After prepocess the problem consists of 540 variables and 67 constraints. c Initial Lower Bound: 0 c Restart #1 #Var: 540 #Dec: 1765 LB: 0 @ 0.726 c Restart #2 #Var: 540 #Dec: 6738 LB: 0 @ 1.455 c Restart #3 #Var: 540 #Dec: 16409 LB: 0 @ 2.685 c Restart #4 #Var: 540 #Dec: 32383 LB: 0 @ 4.508 c Restart #5 #Var: 540 #Dec: 60856 LB: 0 @ 7.267 c Restart #6 #Var: 477 #Dec: 91476 LB: 0 @ 10.084 c Restart #7 #Var: 477 #Dec: 99254 LB: 0 @ 11.615 c Restart #8 #Var: 477 #Dec: 103875 LB: 0 @ 13.505 c Restart #9 #Var: 477 #Dec: 105715 LB: 0 @ 15.017 c Restart #10 #Var: 477 #Dec: 107996 LB: 0 @ 16.894 c Restart #11 #Var: 477 #Dec: 111913 LB: 0 @ 21.559 c Restart #12 #Var: 477 #Dec: 118947 LB: 0 @ 31.441 c Restart #13 #Var: 477 #Dec: 122381 LB: 0 @ 33.157 c Restart #14 #Var: 477 #Dec: 125209 LB: 0 @ 35.029 c Restart #15 #Var: 477 #Dec: 128615 LB: 0 @ 38.027 c Restart #16 #Var: 477 #Dec: 131938 LB: 0 @ 40.345 c Restart #17 #Var: 477 #Dec: 136088 LB: 0 @ 45.543 c NEW SOLUTION FOUND: 109095 @ 48.251 @ #Dec. 138021 c NEW SOLUTION FOUND: 109079 @ 48.253 @ #Dec. 138022 c NEW SOLUTION FOUND: 109047 @ 48.275 @ #Dec. 138042 c NEW SOLUTION FOUND: 109031 @ 48.279 @ #Dec. 138045 c NEW SOLUTION FOUND: 109015 @ 48.295 @ #Dec. 138056 c NEW SOLUTION FOUND: 108983 @ 48.297 @ #Dec. 138056 c NEW SOLUTION FOUND: 108967 @ 48.375 @ #Dec. 138129 c NEW SOLUTION FOUND: 108951 @ 48.377 @ #Dec. 138131 c NEW SOLUTION FOUND: 108935 @ 48.378 @ #Dec. 138131 c NEW SOLUTION FOUND: 108860 @ 49.487 @ #Dec. 139022 c NEW SOLUTION FOUND: 108852 @ 49.502 @ #Dec. 139024 c NEW SOLUTION FOUND: 108844 @ 49.637 @ #Dec. 139115 c NEW SOLUTION FOUND: 108828 @ 49.729 @ #Dec. 139199 c NEW SOLUTION FOUND: 108812 @ 49.732 @ #Dec. 139200 c NEW SOLUTION FOUND: 108803 @ 49.845 @ #Dec. 139267 c NEW SOLUTION FOUND: 97191 @ 50.1 @ #Dec. 139393 c NEW SOLUTION FOUND: 97175 @ 50.101 @ #Dec. 139393 c NEW SOLUTION FOUND: 96551 @ 50.224 @ #Dec. 139469 c NEW SOLUTION FOUND: 96535 @ 50.225 @ #Dec. 139469 c NEW SOLUTION FOUND: 96423 @ 50.246 @ #Dec. 139475 c NEW SOLUTION FOUND: 96407 @ 50.247 @ #Dec. 139475 c Restart #18 #Var: 477 #Dec: 143917 LB: 0 @ 70.252 c NEW SOLUTION FOUND: 93448 @ 80.368 @ #Dec. 147350 c NEW SOLUTION FOUND: 93444 @ 80.37 @ #Dec. 147352 c NEW SOLUTION FOUND: 93443 @ 80.373 @ #Dec. 147353 c NEW SOLUTION FOUND: 93435 @ 80.378 @ #Dec. 147358 c NEW SOLUTION FOUND: 93427 @ 80.389 @ #Dec. 147363 c NEW SOLUTION FOUND: 93411 @ 80.402 @ #Dec. 147372 c NEW SOLUTION FOUND: 93403 @ 80.408 @ #Dec. 147378 c NEW SOLUTION FOUND: 93395 @ 80.418 @ #Dec. 147383 c NEW SOLUTION FOUND: 93355 @ 80.435 @ #Dec. 147391 c NEW SOLUTION FOUND: 93347 @ 80.446 @ #Dec. 147396 c NEW SOLUTION FOUND: 93339 @ 80.456 @ #Dec. 147402 c NEW SOLUTION FOUND: 93331 @ 80.464 @ #Dec. 147407 c NEW SOLUTION FOUND: 93315 @ 80.476 @ #Dec. 147413 c NEW SOLUTION FOUND: 93307 @ 80.485 @ #Dec. 147419 c NEW SOLUTION FOUND: 93299 @ 80.495 @ #Dec. 147424 c NEW SOLUTION FOUND: 93296 @ 80.522 @ #Dec. 147453 c NEW SOLUTION FOUND: 93295 @ 80.523 @ #Dec. 147453 c NEW SOLUTION FOUND: 93293 @ 80.551 @ #Dec. 147478 c NEW SOLUTION FOUND: 93291 @ 80.603 @ #Dec. 147509 c NEW SOLUTION FOUND: 93284 @ 80.663 @ #Dec. 147576 c NEW SOLUTION FOUND: 93283 @ 80.664 @ #Dec. 147576 c NEW SOLUTION FOUND: 93282 @ 80.672 @ #Dec. 147579 c NEW SOLUTION FOUND: 93281 @ 80.673 @ #Dec. 147579 c NEW SOLUTION FOUND: 93275 @ 80.676 @ #Dec. 147581 c NEW SOLUTION FOUND: 93266 @ 80.683 @ #Dec. 147587 c NEW SOLUTION FOUND: 93265 @ 80.684 @ #Dec. 147587 c NEW SOLUTION FOUND: 93263 @ 80.691 @ #Dec. 147593 c NEW SOLUTION FOUND: 93262 @ 80.693 @ #Dec. 147594 c NEW SOLUTION FOUND: 93261 @ 80.694 @ #Dec. 147594 c NEW SOLUTION FOUND: 93260 @ 80.696 @ #Dec. 147595 c NEW SOLUTION FOUND: 93259 @ 80.697 @ #Dec. 147595 c NEW SOLUTION FOUND: 93257 @ 80.864 @ #Dec. 147737 c NEW SOLUTION FOUND: 93254 @ 80.866 @ #Dec. 147739 c NEW SOLUTION FOUND: 93253 @ 80.867 @ #Dec. 147739 c NEW SOLUTION FOUND: 93247 @ 80.878 @ #Dec. 147751 c NEW SOLUTION FOUND: 93246 @ 80.88 @ #Dec. 147752 c NEW SOLUTION FOUND: 93245 @ 80.881 @ #Dec. 147752 c NEW SOLUTION FOUND: 93241 @ 80.885 @ #Dec. 147757 c NEW SOLUTION FOUND: 93240 @ 80.887 @ #Dec. 147759 c NEW SOLUTION FOUND: 93239 @ 80.888 @ #Dec. 147759 c NEW SOLUTION FOUND: 93237 @ 80.889 @ #Dec. 147760 c NEW SOLUTION FOUND: 93194 @ 80.928 @ #Dec. 147803 c NEW SOLUTION FOUND: 93193 @ 80.929 @ #Dec. 147803 c NEW SOLUTION FOUND: 93189 @ 80.931 @ #Dec. 147806 c NEW SOLUTION FOUND: 93186 @ 80.936 @ #Dec. 147810 c NEW SOLUTION FOUND: 93185 @ 80.936 @ #Dec. 147810 c NEW SOLUTION FOUND: 93183 @ 80.937 @ #Dec. 147813 c NEW SOLUTION FOUND: 93182 @ 80.938 @ #Dec. 147814 c NEW SOLUTION FOUND: 93181 @ 80.939 @ #Dec. 147814 c NEW SOLUTION FOUND: 93180 @ 80.942 @ #Dec. 147816 c NEW SOLUTION FOUND: 93179 @ 80.942 @ #Dec. 147816 c NEW SOLUTION FOUND: 93177 @ 80.944 @ #Dec. 147818 c NEW SOLUTION FOUND: 93175 @ 80.946 @ #Dec. 147820 c NEW SOLUTION FOUND: 93174 @ 80.948 @ #Dec. 147821 c NEW SOLUTION FOUND: 93173 @ 80.949 @ #Dec. 147821 c NEW SOLUTION FOUND: 93162 @ 81.021 @ #Dec. 147893 c NEW SOLUTION FOUND: 93161 @ 81.022 @ #Dec. 147893 c NEW SOLUTION FOUND: 93159 @ 81.024 @ #Dec. 147898 c NEW SOLUTION FOUND: 93158 @ 81.026 @ #Dec. 147902 c NEW SOLUTION FOUND: 93157 @ 81.027 @ #Dec. 147905 c NEW SOLUTION FOUND: 93151 @ 81.03 @ #Dec. 147915 c NEW SOLUTION FOUND: 93150 @ 81.032 @ #Dec. 147916 c NEW SOLUTION FOUND: 93149 @ 81.032 @ #Dec. 147916 c NEW SOLUTION FOUND: 93148 @ 81.036 @ #Dec. 147917 c NEW SOLUTION FOUND: 93147 @ 81.036 @ #Dec. 147917 c NEW SOLUTION FOUND: 93145 @ 81.039 @ #Dec. 147923 c NEW SOLUTION FOUND: 93143 @ 81.041 @ #Dec. 147925 c NEW SOLUTION FOUND: 93142 @ 81.042 @ #Dec. 147926 c NEW SOLUTION FOUND: 93141 @ 81.042 @ #Dec. 147926 c NEW SOLUTION FOUND: 93139 @ 81.083 @ #Dec. 147966 c NEW SOLUTION FOUND: 93136 @ 81.092 @ #Dec. 147973 c NEW SOLUTION FOUND: 93135 @ 81.096 @ #Dec. 147977 c NEW SOLUTION FOUND: 93134 @ 81.097 @ #Dec. 147978 c NEW SOLUTION FOUND: 93133 @ 81.098 @ #Dec. 147978 c NEW SOLUTION FOUND: 93132 @ 81.109 @ #Dec. 147987 c NEW SOLUTION FOUND: 93131 @ 81.11 @ #Dec. 147987 c NEW SOLUTION FOUND: 93130 @ 81.273 @ #Dec. 148122 c NEW SOLUTION FOUND: 93129 @ 81.273 @ #Dec. 148122 c NEW SOLUTION FOUND: 93127 @ 81.274 @ #Dec. 148127 c NEW SOLUTION FOUND: 93126 @ 81.277 @ #Dec. 148128 c NEW SOLUTION FOUND: 93125 @ 81.278 @ #Dec. 148128 c NEW SOLUTION FOUND: 93121 @ 81.282 @ #Dec. 148137 c NEW SOLUTION FOUND: 93120 @ 81.284 @ #Dec. 148139 c NEW SOLUTION FOUND: 93119 @ 81.284 @ #Dec. 148139 c NEW SOLUTION FOUND: 93117 @ 81.286 @ #Dec. 148140 c NEW SOLUTION FOUND: 93116 @ 81.306 @ #Dec. 148149 c NEW SOLUTION FOUND: 93115 @ 81.307 @ #Dec. 148150 c NEW SOLUTION FOUND: 93113 @ 81.329 @ #Dec. 148169 c NEW SOLUTION FOUND: 93110 @ 81.332 @ #Dec. 148171 c NEW SOLUTION FOUND: 93109 @ 81.332 @ #Dec. 148171 c NEW SOLUTION FOUND: 93097 @ 81.347 @ #Dec. 148184 c NEW SOLUTION FOUND: 93096 @ 81.349 @ #Dec. 148186 c NEW SOLUTION FOUND: 93095 @ 81.35 @ #Dec. 148186 c NEW SOLUTION FOUND: 93093 @ 81.351 @ #Dec. 148187 c NEW SOLUTION FOUND: 93082 @ 81.372 @ #Dec. 148200 c NEW SOLUTION FOUND: 93081 @ 81.372 @ #Dec. 148200 c NEW SOLUTION FOUND: 93077 @ 81.374 @ #Dec. 148202 c NEW SOLUTION FOUND: 93068 @ 81.409 @ #Dec. 148234 c NEW SOLUTION FOUND: 93067 @ 81.41 @ #Dec. 148234 c NEW SOLUTION FOUND: 92743 @ 81.477 @ #Dec. 148302 c NEW SOLUTION FOUND: 92742 @ 81.48 @ #Dec. 148303 c NEW SOLUTION FOUND: 92741 @ 81.48 @ #Dec. 148303 c NEW SOLUTION FOUND: 92729 @ 81.487 @ #Dec. 148317 c NEW SOLUTION FOUND: 92728 @ 81.49 @ #Dec. 148319 c NEW SOLUTION FOUND: 92727 @ 81.491 @ #Dec. 148319 c NEW SOLUTION FOUND: 92725 @ 81.492 @ #Dec. 148320 c NEW SOLUTION FOUND: 92722 @ 81.53 @ #Dec. 148363 c NEW SOLUTION FOUND: 92721 @ 81.531 @ #Dec. 148363 c NEW SOLUTION FOUND: 92717 @ 81.533 @ #Dec. 148367 c NEW SOLUTION FOUND: 92714 @ 81.538 @ #Dec. 148371 c NEW SOLUTION FOUND: 92713 @ 81.539 @ #Dec. 148371 c NEW SOLUTION FOUND: 92711 @ 81.54 @ #Dec. 148375 c NEW SOLUTION FOUND: 92710 @ 81.542 @ #Dec. 148376 c NEW SOLUTION FOUND: 92709 @ 81.543 @ #Dec. 148376 c NEW SOLUTION FOUND: 92699 @ 81.551 @ #Dec. 148386 c NEW SOLUTION FOUND: 92698 @ 81.555 @ #Dec. 148389 c NEW SOLUTION FOUND: 92697 @ 81.556 @ #Dec. 148390 c NEW SOLUTION FOUND: 92696 @ 81.557 @ #Dec. 148391 c NEW SOLUTION FOUND: 92695 @ 81.557 @ #Dec. 148391 c NEW SOLUTION FOUND: 92693 @ 81.569 @ #Dec. 148400 c NEW SOLUTION FOUND: 92690 @ 81.571 @ #Dec. 148404 c NEW SOLUTION FOUND: 92689 @ 81.572 @ #Dec. 148405 c NEW SOLUTION FOUND: 92687 @ 81.573 @ #Dec. 148410 c NEW SOLUTION FOUND: 92686 @ 81.575 @ #Dec. 148411 c NEW SOLUTION FOUND: 92685 @ 81.575 @ #Dec. 148411 c NEW SOLUTION FOUND: 92684 @ 81.58 @ #Dec. 148415 c NEW SOLUTION FOUND: 92683 @ 81.583 @ #Dec. 148422 c NEW SOLUTION FOUND: 92681 @ 81.586 @ #Dec. 148428 c NEW SOLUTION FOUND: 92680 @ 81.589 @ #Dec. 148434 c NEW SOLUTION FOUND: 92679 @ 81.59 @ #Dec. 148434 c NEW SOLUTION FOUND: 92677 @ 81.592 @ #Dec. 148439 c NEW SOLUTION FOUND: 92668 @ 81.602 @ #Dec. 148455 c NEW SOLUTION FOUND: 92667 @ 81.604 @ #Dec. 148459 c NEW SOLUTION FOUND: 92663 @ 81.613 @ #Dec. 148481 c NEW SOLUTION FOUND: 92662 @ 81.616 @ #Dec. 148482 c NEW SOLUTION FOUND: 92661 @ 81.617 @ #Dec. 148482 c NEW SOLUTION FOUND: 92607 @ 81.626 @ #Dec. 148501 c NEW SOLUTION FOUND: 92604 @ 81.628 @ #Dec. 148502 c NEW SOLUTION FOUND: 92603 @ 81.63 @ #Dec. 148506 c NEW SOLUTION FOUND: 92599 @ 81.642 @ #Dec. 148529 c NEW SOLUTION FOUND: 92598 @ 81.643 @ #Dec. 148531 c NEW SOLUTION FOUND: 92597 @ 81.643 @ #Dec. 148532 c NEW SOLUTION FOUND: 79947 @ 81.663 @ #Dec. 148547 c NEW SOLUTION FOUND: 78729 @ 81.772 @ #Dec. 148573 c NEW SOLUTION FOUND: 78709 @ 84.032 @ #Dec. 149170 c NEW SOLUTION FOUND: 78704 @ 84.393 @ #Dec. 149259 c NEW SOLUTION FOUND: 78700 @ 85.402 @ #Dec. 149599 c NEW SOLUTION FOUND: 77624 @ 89.568 @ #Dec. 151710 c NEW SOLUTION FOUND: 77620 @ 89.578 @ #Dec. 151712 c NEW SOLUTION FOUND: 77330 @ 90.466 @ #Dec. 152040 c NEW SOLUTION FOUND: 77322 @ 90.471 @ #Dec. 152043 c NEW SOLUTION FOUND: 77320 @ 90.473 @ #Dec. 152043 c NEW SOLUTION FOUND: 77301 @ 90.496 @ #Dec. 152047 c NEW SOLUTION FOUND: 77300 @ 90.511 @ #Dec. 152052 c Restart #19 #Var: 463 #Dec: 155905 LB: 0 @ 105.91 c Restart #20 #Var: 463 #Dec: 160102 LB: 0 @ 110.69 c Restart #21 #Var: 463 #Dec: 166930 LB: 0 @ 116.58 c NEW SOLUTION FOUND: 72960 @ 116.94 @ #Dec. 167076 c NEW SOLUTION FOUND: 71040 @ 117.35 @ #Dec. 167189 c NEW SOLUTION FOUND: 68480 @ 121.87 @ #Dec. 167815 c NEW SOLUTION FOUND: 63360 @ 122.22 @ #Dec. 167862 c NEW SOLUTION FOUND: 61440 @ 122.43 @ #Dec. 167896 c Restart #22 #Var: 463 #Dec: 173169 LB: 0 @ 140.61 c Restart #23 #Var: 463 #Dec: 178563 LB: 0 @ 151.16 c Restart #24 #Var: 463 #Dec: 186282 LB: 0 @ 186.5 c NEW SOLUTION FOUND: 58372 @ 193.74 @ #Dec. 188697 c NEW SOLUTION FOUND: 54919 @ 193.98 @ #Dec. 188716 c NEW SOLUTION FOUND: 54904 @ 226.52 @ #Dec. 195766 c NEW SOLUTION FOUND: 54848 @ 226.53 @ #Dec. 195784 c NEW SOLUTION FOUND: 54799 @ 228.37 @ #Dec. 196213 c NEW SOLUTION FOUND: 54792 @ 228.46 @ #Dec. 196259 c NEW SOLUTION FOUND: 54785 @ 228.56 @ #Dec. 196292 c Restart #25 #Var: 463 #Dec: 204455 LB: 0 @ 243.23 c Restart #26 #Var: 463 #Dec: 210682 LB: 0 @ 252.56 c Restart #27 #Var: 463 #Dec: 216781 LB: 0 @ 262.98 c Restart #28 #Var: 463 #Dec: 223725 LB: 0 @ 332.99 c CHANGE to LPR mode... UB: 54785 MIS: 3 LPR: 31616 (0.06525) Diff: 9.4889e-05 c Restart #0 #Var: 459 #Dec: 231359 LB: 0 @ 383.25 c Restart #1 #Var: 459 #Dec: 231597 LB: 31616 @ 399.13 c Restart #2 #Var: 459 #Dec: 232098 LB: 31616 @ 425.4 c Restart #3 #Var: 455 #Dec: 232719 LB: 31616 @ 453.73 c Restart #4 #Var: 455 #Dec: 233696 LB: 31616 @ 487.14 c NEW SOLUTION FOUND: 54783 @ 495.54 @ #Dec. 233808 c NEW SOLUTION FOUND: 54775 @ 497.13 @ #Dec. 233863 c NEW SOLUTION FOUND: 54765 @ 499 @ #Dec. 233938 c NEW SOLUTION FOUND: 54760 @ 503.14 @ #Dec. 234051 c NEW SOLUTION FOUND: 54755 @ 507.62 @ #Dec. 234168 c NEW SOLUTION FOUND: 54745 @ 507.72 @ #Dec. 234172 c NEW SOLUTION FOUND: 54740 @ 507.78 @ #Dec. 234173 c NEW SOLUTION FOUND: 54720 @ 511.08 @ #Dec. 234253 c NEW SOLUTION FOUND: 54715 @ 521.66 @ #Dec. 234490 c NEW SOLUTION FOUND: 54710 @ 521.74 @ #Dec. 234494 c NEW SOLUTION FOUND: 54705 @ 522.59 @ #Dec. 234523 c NEW SOLUTION FOUND: 54700 @ 522.67 @ #Dec. 234526 c NEW SOLUTION FOUND: 54675 @ 526.94 @ #Dec. 234638 c NEW SOLUTION FOUND: 54670 @ 527.01 @ #Dec. 234642 c NEW SOLUTION FOUND: 54660 @ 527.93 @ #Dec. 234675 c NEW SOLUTION FOUND: 54640 @ 530.52 @ #Dec. 234751 c NEW SOLUTION FOUND: 54560 @ 534.96 @ #Dec. 234866 c NEW SOLUTION FOUND: 54400 @ 544.41 @ #Dec. 235076 c NEW SOLUTION FOUND: 49920 @ 549.68 @ #Dec. 235149 c Restart #5 #Var: 451 #Dec: 236237 LB: 31616 @ 598.83 c NEW SOLUTION FOUND: 48000 @ 638 @ #Dec. 236767 s OPTIMUM FOUND v -I_0x2e__0x2e__0x2e__0x2e_F01_bit0 -I_0x2e__0x2e__0x2e__0x2e_F02_bit0 I_0x2e__0x2e__0x2e__0x2e_F03_bit0 -I_0x2e_W01W01_bit0 I_0x2e_W02W02_bit0 -I_0x2e_W03W03_bit0 -I_0x2e_D01D01_bit0 I_0x2e_D02D02_bit0 I_0x2e_D03D03_bit0 -F_0x2e_F01W01_bit_7 -F_0x2e_F01W01_bit_6 -F_0x2e_F01W01_bit_5 -F_0x2e_F01W01_bit_4 -F_0x2e_F01W01_bit_3 -F_0x2e_F01W01_bit_2 -F_0x2e_F01W01_bit_1 -F_0x2e_F01W01_bit0 -F_0x2e_F01W01_bit1 -F_0x2e_F01W01_bit2 -F_0x2e_F01W01_bit3 -F_0x2e_F01W01_bit4 -F_0x2e_F01W01_bit5 -F_0x2e_F01W01_bit6 -F_0x2e_F01W01_bit7 -F_0x2e_F01W01_bit8 -F_0x2e_F01W01_bit9 -F_0x2e_F01W01_bit10 -F_0x2e_F01W01_bit11 -F_0x2e_F01W01_bit12 -F_0x2e_F01W02_bit_7 -F_0x2e_F01W02_bit_6 -F_0x2e_F01W02_bit_5 -F_0x2e_F01W02_bit_4 -F_0x2e_F01W02_bit_3 -F_0x2e_F01W02_bit_2 -F_0x2e_F01W02_bit_1 -F_0x2e_F01W02_bit0 -F_0x2e_F01W02_bit1 -F_0x2e_F01W02_bit2 -F_0x2e_F01W02_bit3 -F_0x2e_F01W02_bit4 -F_0x2e_F01W02_bit5 -F_0x2e_F01W02_bit6 -F_0x2e_F01W02_bit7 -F_0x2e_F01W02_bit8 -F_0x2e_F01W02_bit9 -F_0x2e_F01W02_bit10 -F_0x2e_F01W02_bit11 -F_0x2e_F01W02_bit12 -F_0x2e_F02W02_bit_7 -F_0x2e_F02W02_bit_6 -F_0x2e_F02W02_bit_5 -F_0x2e_F02W02_bit_4 -F_0x2e_F02W02_bit_3 -F_0x2e_F02W02_bit_2 -F_0x2e_F02W02_bit_1 -F_0x2e_F02W02_bit0 -F_0x2e_F02W02_bit1 -F_0x2e_F02W02_bit2 -F_0x2e_F02W02_bit3 -F_0x2e_F02W02_bit4 -F_0x2e_F02W02_bit5 -F_0x2e_F02W02_bit6 -F_0x2e_F02W02_bit7 -F_0x2e_F02W02_bit8 -F_0x2e_F02W02_bit9 -F_0x2e_F02W02_bit10 -F_0x2e_F02W02_bit11 -F_0x2e_F02W02_bit12 -F_0x2e_F02W03_bit_7 -F_0x2e_F02W03_bit_6 -F_0x2e_F02W03_bit_5 -F_0x2e_F02W03_bit_4 -F_0x2e_F02W03_bit_3 -F_0x2e_F02W03_bit_2 -F_0x2e_F02W03_bit_1 -F_0x2e_F02W03_bit0 -F_0x2e_F02W03_bit1 -F_0x2e_F02W03_bit2 -F_0x2e_F02W03_bit3 -F_0x2e_F02W03_bit4 -F_0x2e_F02W03_bit5 -F_0x2e_F02W03_bit6 -F_0x2e_F02W03_bit7 -F_0x2e_F02W03_bit8 -F_0x2e_F02W03_bit9 -F_0x2e_F02W03_bit10 -F_0x2e_F02W03_bit11 -F_0x2e_F02W03_bit12 -F_0x2e_F03W01_bit_7 -F_0x2e_F03W01_bit_6 -F_0x2e_F03W01_bit_5 -F_0x2e_F03W01_bit_4 -F_0x2e_F03W01_bit_3 -F_0x2e_F03W01_bit_2 -F_0x2e_F03W01_bit_1 -F_0x2e_F03W01_bit0 -F_0x2e_F03W01_bit1 -F_0x2e_F03W01_bit2 -F_0x2e_F03W01_bit3 -F_0x2e_F03W01_bit4 -F_0x2e_F03W01_bit5 -F_0x2e_F03W01_bit6 -F_0x2e_F03W01_bit7 -F_0x2e_F03W01_bit8 -F_0x2e_F03W01_bit9 -F_0x2e_F03W01_bit10 -F_0x2e_F03W01_bit11 -F_0x2e_F03W01_bit12 -F_0x2e_F03W03_bit_7 -F_0x2e_F03W03_bit_6 -F_0x2e_F03W03_bit_5 -F_0x2e_F03W03_bit_4 -F_0x2e_F03W03_bit_3 -F_0x2e_F03W03_bit_2 -F_0x2e_F03W03_bit_1 -F_0x2e_F03W03_bit0 -F_0x2e_F03W03_bit1 -F_0x2e_F03W03_bit2 -F_0x2e_F03W03_bit3 -F_0x2e_F03W03_bit4 -F_0x2e_F03W03_bit5 -F_0x2e_F03W03_bit6 -F_0x2e_F03W03_bit7 -F_0x2e_F03W03_bit8 -F_0x2e_F03W03_bit9 -F_0x2e_F03W03_bit10 -F_0x2e_F03W03_bit11 -F_0x2e_F03W03_bit12 -F_0x2e_W01D02_bit_7 -F_0x2e_W01D02_bit_6 -F_0x2e_W01D02_bit_5 -F_0x2e_W01D02_bit_4 -F_0x2e_W01D02_bit_3 -F_0x2e_W01D02_bit_2 -F_0x2e_W01D02_bit_1 -F_0x2e_W01D02_bit0 -F_0x2e_W01D02_bit1 -F_0x2e_W01D02_bit2 -F_0x2e_W01D02_bit3 -F_0x2e_W01D02_bit4 -F_0x2e_W01D02_bit5 -F_0x2e_W01D02_bit6 -F_0x2e_W01D02_bit7 -F_0x2e_W01D02_bit8 -F_0x2e_W01D02_bit9 -F_0x2e_W01D02_bit10 -F_0x2e_W01D02_bit11 -F_0x2e_W01D02_bit12 -F_0x2e_W01D03_bit_7 -F_0x2e_W01D03_bit_6 -F_0x2e_W01D03_bit_5 -F_0x2e_W01D03_bit_4 -F_0x2e_W01D03_bit_3 -F_0x2e_W01D03_bit_2 -F_0x2e_W01D03_bit_1 -F_0x2e_W01D03_bit0 -F_0x2e_W01D03_bit1 -F_0x2e_W01D03_bit2 -F_0x2e_W01D03_bit3 -F_0x2e_W01D03_bit4 -F_0x2e_W01D03_bit5 -F_0x2e_W01D03_bit6 -F_0x2e_W01D03_bit7 -F_0x2e_W01D03_bit8 -F_0x2e_W01D03_bit9 -F_0x2e_W01D03_bit10 -F_0x2e_W01D03_bit11 -F_0x2e_W01D03_bit12 -F_0x2e_W01D04_bit_7 -F_0x2e_W01D04_bit_6 -F_0x2e_W01D04_bit_5 -F_0x2e_W01D04_bit_4 -F_0x2e_W01D04_bit_3 -F_0x2e_W01D04_bit_2 -F_0x2e_W01D04_bit_1 -F_0x2e_W01D04_bit0 -F_0x2e_W01D04_bit1 -F_0x2e_W01D04_bit2 -F_0x2e_W01D04_bit3 -F_0x2e_W01D04_bit4 -F_0x2e_W01D04_bit5 -F_0x2e_W01D04_bit6 -F_0x2e_W01D04_bit7 -F_0x2e_W01D04_bit8 -F_0x2e_W01D04_bit9 -F_0x2e_W01D04_bit10 -F_0x2e_W01D04_bit11 -F_0x2e_W01D04_bit12 -F_0x2e_W02D01_bit_7 -F_0x2e_W02D01_bit_6 -F_0x2e_W02D01_bit_5 -F_0x2e_W02D01_bit_4 -F_0x2e_W02D01_bit_3 -F_0x2e_W02D01_bit_2 -F_0x2e_W02D01_bit_1 -F_0x2e_W02D01_bit0 -F_0x2e_W02D01_bit1 -F_0x2e_W02D01_bit2 -F_0x2e_W02D01_bit3 -F_0x2e_W02D01_bit4 -F_0x2e_W02D01_bit5 -F_0x2e_W02D01_bit6 -F_0x2e_W02D01_bit7 -F_0x2e_W02D01_bit8 -F_0x2e_W02D01_bit9 -F_0x2e_W02D01_bit10 -F_0x2e_W02D01_bit11 -F_0x2e_W02D01_bit12 -F_0x2e_W02D03_bit_7 -F_0x2e_W02D03_bit_6 -F_0x2e_W02D03_bit_5 -F_0x2e_W02D03_bit_4 -F_0x2e_W02D03_bit_3 -F_0x2e_W02D03_bit_2 -F_0x2e_W02D03_bit_1 F_0x2e_W02D03_bit0 F_0x2e_W02D03_bit1 F_0x2e_W02D03_bit2 F_0x2e_W02D03_bit3 -F_0x2e_W02D03_bit4 -F_0x2e_W02D03_bit5 -F_0x2e_W02D03_bit6 -F_0x2e_W02D03_bit7 -F_0x2e_W02D03_bit8 -F_0x2e_W02D03_bit9 -F_0x2e_W02D03_bit10 -F_0x2e_W02D03_bit11 -F_0x2e_W02D03_bit12 -F_0x2e_W02D04_bit_7 -F_0x2e_W02D04_bit_6 -F_0x2e_W02D04_bit_5 -F_0x2e_W02D04_bit_4 -F_0x2e_W02D04_bit_3 -F_0x2e_W02D04_bit_2 -F_0x2e_W02D04_bit_1 F_0x2e_W02D04_bit0 F_0x2e_W02D04_bit1 F_0x2e_W02D04_bit2 F_0x2e_W02D04_bit3 -F_0x2e_W02D04_bit4 -F_0x2e_W02D04_bit5 -F_0x2e_W02D04_bit6 -F_0x2e_W02D04_bit7 -F_0x2e_W02D04_bit8 -F_0x2e_W02D04_bit9 -F_0x2e_W02D04_bit10 -F_0x2e_W02D04_bit11 -F_0x2e_W02D04_bit12 -F_0x2e_W03D01_bit_7 -F_0x2e_W03D01_bit_6 -F_0x2e_W03D01_bit_5 -F_0x2e_W03D01_bit_4 -F_0x2e_W03D01_bit_3 -F_0x2e_W03D01_bit_2 -F_0x2e_W03D01_bit_1 -F_0x2e_W03D01_bit0 -F_0x2e_W03D01_bit1 -F_0x2e_W03D01_bit2 -F_0x2e_W03D01_bit3 -F_0x2e_W03D01_bit4 -F_0x2e_W03D01_bit5 -F_0x2e_W03D01_bit6 -F_0x2e_W03D01_bit7 -F_0x2e_W03D01_bit8 -F_0x2e_W03D01_bit9 -F_0x2e_W03D01_bit10 -F_0x2e_W03D01_bit11 -F_0x2e_W03D01_bit12 -F_0x2e_W03D02_bit_7 -F_0x2e_W03D02_bit_6 -F_0x2e_W03D02_bit_5 -F_0x2e_W03D02_bit_4 -F_0x2e_W03D02_bit_3 -F_0x2e_W03D02_bit_2 -F_0x2e_W03D02_bit_1 -F_0x2e_W03D02_bit0 -F_0x2e_W03D02_bit1 -F_0x2e_W03D02_bit2 -F_0x2e_W03D02_bit3 -F_0x2e_W03D02_bit4 -F_0x2e_W03D02_bit5 -F_0x2e_W03D02_bit6 -F_0x2e_W03D02_bit7 -F_0x2e_W03D02_bit8 -F_0x2e_W03D02_bit9 -F_0x2e_W03D02_bit10 -F_0x2e_W03D02_bit11 -F_0x2e_W03D02_bit12 -F_0x2e_W03D04_bit_7 -F_0x2e_W03D04_bit_6 -F_0x2e_W03D04_bit_5 -F_0x2e_W03D04_bit_4 -F_0x2e_W03D04_bit_3 -F_0x2e_W03D04_bit_2 -F_0x2e_W03D04_bit_1 -F_0x2e_W03D04_bit0 -F_0x2e_W03D04_bit1 -F_0x2e_W03D04_bit2 -F_0x2e_W03D04_bit3 -F_0x2e_W03D04_bit4 -F_0x2e_W03D04_bit5 -F_0x2e_W03D04_bit6 -F_0x2e_W03D04_bit7 -F_0x2e_W03D04_bit8 -F_0x2e_W03D04_bit9 -F_0x2e_W03D04_bit10 -F_0x2e_W03D04_bit11 -F_0x2e_W03D04_bit12 -F_0x2e_D01C01_bit_7 -F_0x2e_D01C01_bit_6 -F_0x2e_D01C01_bit_5 -F_0x2e_D01C01_bit_4 -F_0x2e_D01C01_bit_3 -F_0x2e_D01C01_bit_2 -F_0x2e_D01C01_bit_1 -F_0x2e_D01C01_bit0 -F_0x2e_D01C01_bit1 -F_0x2e_D01C01_bit2 -F_0x2e_D01C01_bit3 -F_0x2e_D01C01_bit4 -F_0x2e_D01C01_bit5 -F_0x2e_D01C01_bit6 -F_0x2e_D01C01_bit7 -F_0x2e_D01C01_bit8 -F_0x2e_D01C01_bit9 -F_0x2e_D01C01_bit10 -F_0x2e_D01C01_bit11 -F_0x2e_D01C01_bit12 -F_0x2e_D01C03_bit_7 -F_0x2e_D01C03_bit_6 -F_0x2e_D01C03_bit_5 -F_0x2e_D01C03_bit_4 -F_0x2e_D01C03_bit_3 -F_0x2e_D01C03_bit_2 -F_0x2e_D01C03_bit_1 -F_0x2e_D01C03_bit0 -F_0x2e_D01C03_bit1 -F_0x2e_D01C03_bit2 -F_0x2e_D01C03_bit3 -F_0x2e_D01C03_bit4 -F_0x2e_D01C03_bit5 -F_0x2e_D01C03_bit6 -F_0x2e_D01C03_bit7 -F_0x2e_D01C03_bit8 -F_0x2e_D01C03_bit9 -F_0x2e_D01C03_bit10 -F_0x2e_D01C03_bit11 -F_0x2e_D01C03_bit12 -F_0x2e_D02C01_bit_7 -F_0x2e_D02C01_bit_6 -F_0x2e_D02C01_bit_5 -F_0x2e_D02C01_bit_4 -F_0x2e_D02C01_bit_3 -F_0x2e_D02C01_bit_2 -F_0x2e_D02C01_bit_1 -F_0x2e_D02C01_bit0 -F_0x2e_D02C01_bit1 -F_0x2e_D02C01_bit2 -F_0x2e_D02C01_bit3 -F_0x2e_D02C01_bit4 -F_0x2e_D02C01_bit5 -F_0x2e_D02C01_bit6 -F_0x2e_D02C01_bit7 -F_0x2e_D02C01_bit8 -F_0x2e_D02C01_bit9 -F_0x2e_D02C01_bit10 -F_0x2e_D02C01_bit11 -F_0x2e_D02C01_bit12 -F_0x2e_D02C02_bit_7 -F_0x2e_D02C02_bit_6 -F_0x2e_D02C02_bit_5 -F_0x2e_D02C02_bit_4 -F_0x2e_D02C02_bit_3 -F_0x2e_D02C02_bit_2 -F_0x2e_D02C02_bit_1 -F_0x2e_D02C02_bit0 -F_0x2e_D02C02_bit1 -F_0x2e_D02C02_bit2 -F_0x2e_D02C02_bit3 -F_0x2e_D02C02_bit4 -F_0x2e_D02C02_bit5 -F_0x2e_D02C02_bit6 -F_0x2e_D02C02_bit7 -F_0x2e_D02C02_bit8 -F_0x2e_D02C02_bit9 -F_0x2e_D02C02_bit10 -F_0x2e_D02C02_bit11 -F_0x2e_D02C02_bit12 -F_0x2e_D03C01_bit_7 -F_0x2e_D03C01_bit_6 -F_0x2e_D03C01_bit_5 -F_0x2e_D03C01_bit_4 -F_0x2e_D03C01_bit_3 -F_0x2e_D03C01_bit_2 -F_0x2e_D03C01_bit_1 -F_0x2e_D03C01_bit0 -F_0x2e_D03C01_bit1 -F_0x2e_D03C01_bit2 -F_0x2e_D03C01_bit3 -F_0x2e_D03C01_bit4 -F_0x2e_D03C01_bit5 -F_0x2e_D03C01_bit6 -F_0x2e_D03C01_bit7 -F_0x2e_D03C01_bit8 -F_0x2e_D03C01_bit9 -F_0x2e_D03C01_bit10 -F_0x2e_D03C01_bit11 -F_0x2e_D03C01_bit12 -F_0x2e_D03C03_bit_7 -F_0x2e_D03C03_bit_6 -F_0x2e_D03C03_bit_5 -F_0x2e_D03C03_bit_4 -F_0x2e_D03C03_bit_3 -F_0x2e_D03C03_bit_2 -F_0x2e_D03C03_bit_1 -F_0x2e_D03C03_bit0 -F_0x2e_D03C03_bit1 -F_0x2e_D03C03_bit2 -F_0x2e_D03C03_bit3 -F_0x2e_D03C03_bit4 -F_0x2e_D03C03_bit5 -F_0x2e_D03C03_bit6 -F_0x2e_D03C03_bit7 -F_0x2e_D03C03_bit8 -F_0x2e_D03C03_bit9 -F_0x2e_D03C03_bit10 -F_0x2e_D03C03_bit11 -F_0x2e_D03C03_bit12 -F_0x2e_D04C01_bit_7 -F_0x2e_D04C01_bit_6 -F_0x2e_D04C01_bit_5 -F_0x2e_D04C01_bit_4 -F_0x2e_D04C01_bit_3 -F_0x2e_D04C01_bit_2 -F_0x2e_D04C01_bit_1 F_0x2e_D04C01_bit0 F_0x2e_D04C01_bit1 F_0x2e_D04C01_bit2 F_0x2e_D04C01_bit3 -F_0x2e_D04C01_bit4 -F_0x2e_D04C01_bit5 -F_0x2e_D04C01_bit6 -F_0x2e_D04C01_bit7 -F_0x2e_D04C01_bit8 -F_0x2e_D04C01_bit9 -F_0x2e_D04C01_bit10 -F_0x2e_D04C01_bit11 -F_0x2e_D04C01_bit12 -F_0x2e_D04C02_bit_7 -F_0x2e_D04C02_bit_6 -F_0x2e_D04C02_bit_5 -F_0x2e_D04C02_bit_4 -F_0x2e_D04C02_bit_3 -F_0x2e_D04C02_bit_2 -F_0x2e_D04C02_bit_1 -F_0x2e_D04C02_bit0 -F_0x2e_D04C02_bit1 -F_0x2e_D04C02_bit2 -F_0x2e_D04C02_bit3 -F_0x2e_D04C02_bit4 -F_0x2e_D04C02_bit5 -F_0x2e_D04C02_bit6 -F_0x2e_D04C02_bit7 -F_0x2e_D04C02_bit8 -F_0x2e_D04C02_bit9 -F_0x2e_D04C02_bit10 -F_0x2e_D04C02_bit11 -F_0x2e_D04C02_bit12 -F_0x2e_D04C03_bit_7 -F_0x2e_D04C03_bit_6 -F_0x2e_D04C03_bit_5 -F_0x2e_D04C03_bit_4 -F_0x2e_D04C03_bit_3 -F_0x2e_D04C03_bit_2 -F_0x2e_D04C03_bit_1 -F_0x2e_D04C03_bit0 -F_0x2e_D04C03_bit1 -F_0x2e_D04C03_bit2 -F_0x2e_D04C03_bit3 -F_0x2e_D04C03_bit4 -F_0x2e_D04C03_bit5 -F_0x2e_D04C03_bit6 -F_0x2e_D04C03_bit7 -F_0x2e_D04C03_bit8 -F_0x2e_D04C03_bit9 -F_0x2e_D04C03_bit10 -F_0x2e_D04C03_bit11 -F_0x2e_D04C03_bit12 -F_0x2e_D04D04_bit_7 -F_0x2e_D04D04_bit_6 -F_0x2e_D04D04_bit_5 -F_0x2e_D04D04_bit_4 -F_0x2e_D04D04_bit_3 -F_0x2e_D04D04_bit_2 -F_0x2e_D04D04_bit_1 F_0x2e_D04D04_bit0 F_0x2e_D04D04_bit1 F_0x2e_D04D04_bit2 F_0x2e_D04D04_bit3 -F_0x2e_D04D04_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F01_bit0 -F_0x2e__0x2e__0x2e__0x2e_F01_bit1 -F_0x2e__0x2e__0x2e__0x2e_F01_bit2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit3 -F_0x2e__0x2e__0x2e__0x2e_F01_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit8 -F_0x2e__0x2e__0x2e__0x2e_F01_bit9 -F_0x2e__0x2e__0x2e__0x2e_F01_bit10 -F_0x2e__0x2e__0x2e__0x2e_F01_bit11 -F_0x2e__0x2e__0x2e__0x2e_F01_bit12 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit0 -F_0x2e__0x2e__0x2e__0x2e_F02_bit1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit8 -F_0x2e__0x2e__0x2e__0x2e_F02_bit9 -F_0x2e__0x2e__0x2e__0x2e_F02_bit10 -F_0x2e__0x2e__0x2e__0x2e_F02_bit11 -F_0x2e__0x2e__0x2e__0x2e_F02_bit12 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_1 F_0x2e__0x2e__0x2e__0x2e_F03_bit0 -F_0x2e__0x2e__0x2e__0x2e_F03_bit1 F_0x2e__0x2e__0x2e__0x2e_F03_bit2 F_0x2e__0x2e__0x2e__0x2e_F03_bit3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit4 F_0x2e__0x2e__0x2e__0x2e_F03_bit5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit8 -F_0x2e__0x2e__0x2e__0x2e_F03_bit9 -F_0x2e__0x2e__0x2e__0x2e_F03_bit10 -F_0x2e__0x2e__0x2e__0x2e_F03_bit11 -F_0x2e__0x2e__0x2e__0x2e_F03_bit12 -F_0x2e_D01C02_bit_7 -F_0x2e_D01C02_bit_6 -F_0x2e_D01C02_bit_5 -F_0x2e_D01C02_bit_4 -F_0x2e_D01C02_bit_3 -F_0x2e_D01C02_bit_2 -F_0x2e_D01C02_bit_1 -F_0x2e_D01C02_bit0 -F_0x2e_D01C02_bit1 -F_0x2e_D01C02_bit2 -F_0x2e_D01C02_bit3 -F_0x2e_D01C02_bit4 -F_0x2e_D01C02_bit5 -F_0x2e_D01C02_bit6 -F_0x2e_D01C02_bit7 -F_0x2e_D01C02_bit8 -F_0x2e_D01C02_bit9 -F_0x2e_D01C02_bit10 -F_0x2e_D01C02_bit11 -F_0x2e_D01C02_bit12 -F_0x2e_D03C02_bit_7 -F_0x2e_D03C02_bit_6 -F_0x2e_D03C02_bit_5 -F_0x2e_D03C02_bit_4 -F_0x2e_D03C02_bit_3 -F_0x2e_D03C02_bit_2 -F_0x2e_D03C02_bit_1 F_0x2e_D03C02_bit0 F_0x2e_D03C02_bit1 F_0x2e_D03C02_bit2 F_0x2e_D03C02_bit3 -F_0x2e_D03C02_bit4 -F_0x2e_D03C02_bit5 -F_0x2e_D03C02_bit6 -F_0x2e_D03C02_bit7 -F_0x2e_D03C02_bit8 -F_0x2e_D03C02_bit9 -F_0x2e_D03C02_bit10 -F_0x2e_D03C02_bit11 -F_0x2e_D03C02_bit12 -F_0x2e_D02C03_bit_7 -F_0x2e_D02C03_bit_6 -F_0x2e_D02C03_bit_5 -F_0x2e_D02C03_bit_4 -F_0x2e_D02C03_bit_3 -F_0x2e_D02C03_bit_2 -F_0x2e_D02C03_bit_1 F_0x2e_D02C03_bit0 F_0x2e_D02C03_bit1 F_0x2e_D02C03_bit2 F_0x2e_D02C03_bit3 -F_0x2e_D02C03_bit4 -F_0x2e_D02C03_bit5 -F_0x2e_D02C03_bit6 -F_0x2e_D02C03_bit7 -F_0x2e_D02C03_bit8 -F_0x2e_D02C03_bit9 -F_0x2e_D02C03_bit10 -F_0x2e_D02C03_bit11 -F_0x2e_D02C03_bit12 -F_0x2e_W01D01_bit_7 -F_0x2e_W01D01_bit_6 -F_0x2e_W01D01_bit_5 -F_0x2e_W01D01_bit_4 -F_0x2e_W01D01_bit_3 -F_0x2e_W01D01_bit_2 -F_0x2e_W01D01_bit_1 -F_0x2e_W01D01_bit0 -F_0x2e_W01D01_bit1 -F_0x2e_W01D01_bit2 -F_0x2e_W01D01_bit3 -F_0x2e_W01D01_bit4 -F_0x2e_W01D01_bit5 -F_0x2e_W01D01_bit6 -F_0x2e_W01D01_bit7 -F_0x2e_W01D01_bit8 -F_0x2e_W01D01_bit9 -F_0x2e_W01D01_bit10 -F_0x2e_W01D01_bit11 -F_0x2e_W01D01_bit12 -F_0x2e_D01D01_bit_7 -F_0x2e_D01D01_bit_6 -F_0x2e_D01D01_bit_5 -F_0x2e_D01D01_bit_4 -F_0x2e_D01D01_bit_3 -F_0x2e_D01D01_bit_2 -F_0x2e_D01D01_bit_1 -F_0x2e_D01D01_bit0 -F_0x2e_D01D01_bit1 -F_0x2e_D01D01_bit2 -F_0x2e_D01D01_bit3 -F_0x2e_D01D01_bit4 -F_0x2e_D01D01_bit5 -F_0x2e_D01D01_bit6 -F_0x2e_D01D01_bit7 -F_0x2e_D01D01_bit8 -F_0x2e_D01D01_bit9 -F_0x2e_D01D01_bit10 -F_0x2e_D01D01_bit11 -F_0x2e_D01D01_bit12 -F_0x2e_W02D02_bit_7 -F_0x2e_W02D02_bit_6 -F_0x2e_W02D02_bit_5 -F_0x2e_W02D02_bit_4 -F_0x2e_W02D02_bit_3 -F_0x2e_W02D02_bit_2 -F_0x2e_W02D02_bit_1 F_0x2e_W02D02_bit0 F_0x2e_W02D02_bit1 F_0x2e_W02D02_bit2 F_0x2e_W02D02_bit3 -F_0x2e_W02D02_bit4 -F_0x2e_W02D02_bit5 -F_0x2e_W02D02_bit6 -F_0x2e_W02D02_bit7 -F_0x2e_W02D02_bit8 -F_0x2e_W02D02_bit9 -F_0x2e_W02D02_bit10 -F_0x2e_W02D02_bit11 -F_0x2e_W02D02_bit12 -F_0x2e_D02D02_bit_7 -F_0x2e_D02D02_bit_6 -F_0x2e_D02D02_bit_5 -F_0x2e_D02D02_bit_4 -F_0x2e_D02D02_bit_3 -F_0x2e_D02D02_bit_2 -F_0x2e_D02D02_bit_1 F_0x2e_D02D02_bit0 F_0x2e_D02D02_bit1 F_0x2e_D02D02_bit2 F_0x2e_D02D02_bit3 -F_0x2e_D02D02_bit4 -F_0x2e_D02D02_bit5 -F_0x2e_D02D02_bit6 -F_0x2e_D02D02_bit7 -F_0x2e_D02D02_bit8 -F_0x2e_D02D02_bit9 -F_0x2e_D02D02_bit10 -F_0x2e_D02D02_bit11 -F_0x2e_D02D02_bit12 -F_0x2e_W03D03_bit_7 -F_0x2e_W03D03_bit_6 -F_0x2e_W03D03_bit_5 -F_0x2e_W03D03_bit_4 -F_0x2e_W03D03_bit_3 -F_0x2e_W03D03_bit_2 -F_0x2e_W03D03_bit_1 -F_0x2e_W03D03_bit0 -F_0x2e_W03D03_bit1 -F_0x2e_W03D03_bit2 -F_0x2e_W03D03_bit3 -F_0x2e_W03D03_bit4 -F_0x2e_W03D03_bit5 -F_0x2e_W03D03_bit6 -F_0x2e_W03D03_bit7 -F_0x2e_W03D03_bit8 -F_0x2e_W03D03_bit9 -F_0x2e_W03D03_bit10 -F_0x2e_W03D03_bit11 -F_0x2e_W03D03_bit12 -F_0x2e_D03D03_bit_7 -F_0x2e_D03D03_bit_6 -F_0x2e_D03D03_bit_5 -F_0x2e_D03D03_bit_4 -F_0x2e_D03D03_bit_3 -F_0x2e_D03D03_bit_2 -F_0x2e_D03D03_bit_1 F_0x2e_D03D03_bit0 F_0x2e_D03D03_bit1 F_0x2e_D03D03_bit2 F_0x2e_D03D03_bit3 -F_0x2e_D03D03_bit4 -F_0x2e_D03D03_bit5 -F_0x2e_D03D03_bit6 -F_0x2e_D03D03_bit7 -F_0x2e_D03D03_bit8 -F_0x2e_D03D03_bit9 -F_0x2e_D03D03_bit10 -F_0x2e_D03D03_bit11 -F_0x2e_D03D03_bit12 -F_0x2e_F01W03_bit_7 -F_0x2e_F01W03_bit_6 -F_0x2e_F01W03_bit_5 -F_0x2e_F01W03_bit_4 -F_0x2e_F01W03_bit_3 -F_0x2e_F01W03_bit_2 -F_0x2e_F01W03_bit_1 -F_0x2e_F01W03_bit0 -F_0x2e_F01W03_bit1 -F_0x2e_F01W03_bit2 -F_0x2e_F01W03_bit3 -F_0x2e_F01W03_bit4 -F_0x2e_F01W03_bit5 -F_0x2e_F01W03_bit6 -F_0x2e_F01W03_bit7 -F_0x2e_F01W03_bit8 -F_0x2e_F01W03_bit9 -F_0x2e_F01W03_bit10 -F_0x2e_F01W03_bit11 -F_0x2e_F01W03_bit12 -F_0x2e_F02W01_bit_7 -F_0x2e_F02W01_bit_6 -F_0x2e_F02W01_bit_5 -F_0x2e_F02W01_bit_4 -F_0x2e_F02W01_bit_3 -F_0x2e_F02W01_bit_2 -F_0x2e_F02W01_bit_1 -F_0x2e_F02W01_bit0 -F_0x2e_F02W01_bit1 -F_0x2e_F02W01_bit2 -F_0x2e_F02W01_bit3 -F_0x2e_F02W01_bit4 -F_0x2e_F02W01_bit5 -F_0x2e_F02W01_bit6 -F_0x2e_F02W01_bit7 -F_0x2e_F02W01_bit8 -F_0x2e_F02W01_bit9 -F_0x2e_F02W01_bit10 -F_0x2e_F02W01_bit11 -F_0x2e_F02W01_bit12 -F_0x2e_F03W02_bit_7 -F_0x2e_F03W02_bit_6 -F_0x2e_F03W02_bit_5 -F_0x2e_F03W02_bit_4 -F_0x2e_F03W02_bit_3 -F_0x2e_F03W02_bit_2 -F_0x2e_F03W02_bit_1 F_0x2e_F03W02_bit0 -F_0x2e_F03W02_bit1 F_0x2e_F03W02_bit2 F_0x2e_F03W02_bit3 -F_0x2e_F03W02_bit4 F_0x2e_F03W02_bit5 -F_0x2e_F03W02_bit6 -F_0x2e_F03W02_bit7 -F_0x2e_F03W02_bit8 -F_0x2e_F03W02_bit9 -F_0x2e_F03W02_bit10 -F_0x2e_F03W02_bit11 -F_0x2e_F03W02_bit12 -I_0x2e_D01C01_bit0 -I_0x2e_D02C01_bit0 -I_0x2e_D03C01_bit0 I_0x2e_D04C01_bit0 -I_0x2e_D01C02_bit0 -I_0x2e_D02C02_bit0 I_0x2e_D03C02_bit0 -I_0x2e_D04C02_bit0 -I_0x2e_D01C03_bit0 I_0x2e_D02C03_bit0 -I_0x2e_D03C03_bit0 -I_0x2e_D04C03_bit0 -F_0x2e_W01W01_bit_7 -F_0x2e_W01W01_bit_6 -F_0x2e_W01W01_bit_5 -F_0x2e_W01W01_bit_4 -F_0x2e_W01W01_bit_3 -F_0x2e_W01W01_bit_2 -F_0x2e_W01W01_bit_1 -F_0x2e_W01W01_bit0 -F_0x2e_W01W01_bit1 -F_0x2e_W01W01_bit2 -F_0x2e_W01W01_bit3 -F_0x2e_W01W01_bit4 -F_0x2e_W01W01_bit5 -F_0x2e_W01W01_bit6 -F_0x2e_W01W01_bit7 -F_0x2e_W01W01_bit8 -F_0x2e_W01W01_bit9 -F_0x2e_W01W01_bit10 -F_0x2e_W01W01_bit11 -F_0x2e_W01W01_bit12 -F_0x2e_W02W02_bit_7 -F_0x2e_W02W02_bit_6 -F_0x2e_W02W02_bit_5 -F_0x2e_W02W02_bit_4 -F_0x2e_W02W02_bit_3 -F_0x2e_W02W02_bit_2 -F_0x2e_W02W02_bit_1 F_0x2e_W02W02_bit0 -F_0x2e_W02W02_bit1 F_0x2e_W02W02_bit2 F_0x2e_W02W02_bit3 -F_0x2e_W02W02_bit4 F_0x2e_W02W02_bit5 -F_0x2e_W02W02_bit6 -F_0x2e_W02W02_bit7 -F_0x2e_W02W02_bit8 -F_0x2e_W02W02_bit9 -F_0x2e_W02W02_bit10 -F_0x2e_W02W02_bit11 -F_0x2e_W02W02_bit12 -F_0x2e_W03W03_bit_7 -F_0x2e_W03W03_bit_6 -F_0x2e_W03W03_bit_5 -F_0x2e_W03W03_bit_4 -F_0x2e_W03W03_bit_3 -F_0x2e_W03W03_bit_2 -F_0x2e_W03W03_bit_1 -F_0x2e_W03W03_bit0 -F_0x2e_W03W03_bit1 -F_0x2e_W03W03_bit2 -F_0x2e_W03W03_bit3 -F_0x2e_W03W03_bit4 -F_0x2e_W03W03_bit5 -F_0x2e_W03W03_bit6 -F_0x2e_W03W03_bit7 -F_0x2e_W03W03_bit8 -F_0x2e_W03W03_bit9 -F_0x2e_W03W03_bit10 -F_0x2e_W03W03_bit11 -F_0x2e_W03W03_bit12 c Cost: 48000 c Exit Code: 30 c Total time: 674.27 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/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1853664840 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 107 3 90 68 0 39 0 [pid=10220] 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/wulflinc22/normalized-mps-v2-13-7-sample2.opb [startup+10.0032 s] Raw data (loadavg): 0.93 0.97 0.98 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 1575 0 0 0 714 95 0 0 19 0 1 0 1853664840 9527296 1486 4294967295 134512640 134736556 3221224560 3221223276 134560240 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 2326 1486 1116 68 0 2258 0 [pid=10220] vsize: 9304 Current children cumulated CPU time (s) 8.09 Current children cumulated vsize (Kb) 9304 [startup+20.0039 s] Raw data (loadavg): 1.02 0.99 0.99 1/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 7329 0 0 0 1542 163 0 0 25 0 1 0 1853664840 33034240 7240 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10220/statm): 8065 7240 1116 68 0 7997 0 [pid=10220] vsize: 32260 Current children cumulated CPU time (s) 17.05 Current children cumulated vsize (Kb) 32260 [startup+30.0047 s] Raw data (loadavg): 1.02 0.99 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 9506 0 0 0 2494 182 0 0 25 0 1 0 1853664840 42074112 9417 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 10272 9417 1116 68 0 10204 0 [pid=10220] vsize: 41088 Current children cumulated CPU time (s) 26.76 Current children cumulated vsize (Kb) 41088 [startup+40.0044 s] Raw data (loadavg): 1.02 0.99 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 14766 0 0 0 3428 213 0 0 25 0 1 0 1853664840 63565824 14677 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 15519 14677 1116 68 0 15451 0 [pid=10220] vsize: 62076 Current children cumulated CPU time (s) 36.41 Current children cumulated vsize (Kb) 62076 [startup+50.0041 s] Raw data (loadavg): 1.01 0.99 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 19729 0 0 0 4369 242 0 0 25 0 1 0 1853664840 83963904 19640 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 20499 19640 1116 68 0 20431 0 [pid=10220] vsize: 81996 Current children cumulated CPU time (s) 46.11 Current children cumulated vsize (Kb) 81996 [startup+60.0048 s] Raw data (loadavg): 1.01 0.99 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 20712 0 0 0 5342 252 0 0 25 0 1 0 1853664840 87998464 20623 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 21484 20623 1116 68 0 21416 0 [pid=10220] vsize: 85936 Current children cumulated CPU time (s) 55.94 Current children cumulated vsize (Kb) 85936 [startup+70.0055 s] Raw data (loadavg): 1.01 0.99 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 20939 0 0 0 6328 256 0 0 25 0 1 0 1853664840 88805376 20850 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 21681 20850 1116 68 0 21613 0 [pid=10220] vsize: 86724 Current children cumulated CPU time (s) 65.84 Current children cumulated vsize (Kb) 86724 [startup+80.0062 s] Raw data (loadavg): 1.01 0.99 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 21009 0 0 0 7313 262 0 0 25 0 1 0 1853664840 89210880 20920 4294967295 134512640 134736556 3221224560 3221223196 134634092 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 21780 20920 1116 68 0 21712 0 [pid=10220] vsize: 87120 Current children cumulated CPU time (s) 75.75 Current children cumulated vsize (Kb) 87120 [startup+90.0069 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 22131 0 0 0 8289 272 0 0 25 0 1 0 1853664840 93802496 22042 4294967295 134512640 134736556 3221224560 3221223228 134554079 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 22901 22042 1116 68 0 22833 0 [pid=10220] vsize: 91604 Current children cumulated CPU time (s) 85.61 Current children cumulated vsize (Kb) 91604 [startup+100.007 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 23358 0 0 0 9267 281 0 0 25 0 1 0 1853664840 98766848 23269 4294967295 134512640 134736556 3221224560 3221223048 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 24113 23269 1116 68 0 24045 0 [pid=10220] vsize: 96452 Current children cumulated CPU time (s) 95.48 Current children cumulated vsize (Kb) 96452 [startup+110.007 s] Raw data (loadavg): 1.00 0.99 0.99 1/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 24805 0 0 0 10250 289 0 0 25 0 1 0 1853664840 104706048 24716 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10220/statm): 25563 24716 1116 68 0 25495 0 [pid=10220] vsize: 102252 Current children cumulated CPU time (s) 105.39 Current children cumulated vsize (Kb) 102252 [startup+120.008 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 29003 0 0 0 11189 319 0 0 25 0 1 0 1853664840 121864192 28914 4294967295 134512640 134736556 3221224560 3221223204 134608262 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 29752 28914 1116 68 0 29684 0 [pid=10220] vsize: 119008 Current children cumulated CPU time (s) 115.08 Current children cumulated vsize (Kb) 119008 [startup+130.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 29572 0 0 0 12172 325 0 0 25 0 1 0 1853664840 124297216 29483 4294967295 134512640 134736556 3221224560 3221223152 134551108 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 30346 29483 1116 68 0 30278 0 [pid=10220] vsize: 121384 Current children cumulated CPU time (s) 124.97 Current children cumulated vsize (Kb) 121384 [startup+140.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 30777 0 0 0 13155 335 0 0 25 0 1 0 1853664840 129142784 30688 4294967295 134512640 134736556 3221224560 3221223088 134550882 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 31529 30688 1116 68 0 31461 0 [pid=10220] vsize: 126116 Current children cumulated CPU time (s) 134.9 Current children cumulated vsize (Kb) 126116 [startup+150.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 31912 0 0 0 14128 346 0 0 25 0 1 0 1853664840 133865472 31823 4294967295 134512640 134736556 3221224560 3221223088 134550732 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 32682 31823 1116 68 0 32614 0 [pid=10220] vsize: 130728 Current children cumulated CPU time (s) 144.74 Current children cumulated vsize (Kb) 130728 [startup+160.011 s] Raw data (loadavg): 1.08 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 32164 0 0 0 15105 354 0 0 25 0 1 0 1853664840 134942720 32075 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 32945 32075 1116 68 0 32877 0 [pid=10220] vsize: 131780 Current children cumulated CPU time (s) 154.59 Current children cumulated vsize (Kb) 131780 [startup+170.011 s] Raw data (loadavg): 1.07 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 32685 0 0 0 16078 366 0 0 25 0 1 0 1853664840 136970240 32596 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 33440 32596 1116 68 0 33372 0 [pid=10220] vsize: 133760 Current children cumulated CPU time (s) 164.44 Current children cumulated vsize (Kb) 133760 [startup+180.011 s] Raw data (loadavg): 1.06 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 32956 0 0 0 17072 369 0 0 25 0 1 0 1853664840 138182656 32867 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 33736 32867 1116 68 0 33668 0 [pid=10220] vsize: 134944 Current children cumulated CPU time (s) 174.41 Current children cumulated vsize (Kb) 134944 [startup+190.011 s] Raw data (loadavg): 1.05 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 33159 0 0 0 18068 371 0 0 25 0 1 0 1853664840 138993664 33070 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 33934 33070 1116 68 0 33866 0 [pid=10220] vsize: 135736 Current children cumulated CPU time (s) 184.39 Current children cumulated vsize (Kb) 135736 [startup+200.011 s] Raw data (loadavg): 1.04 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 33207 0 0 0 19053 376 0 0 25 0 1 0 1853664840 139128832 33118 4294967295 134512640 134736556 3221224560 3221223184 134537350 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 33967 33118 1116 68 0 33899 0 [pid=10220] vsize: 135868 Current children cumulated CPU time (s) 194.29 Current children cumulated vsize (Kb) 135868 [startup+210.011 s] Raw data (loadavg): 1.03 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 33322 0 0 0 20046 378 0 0 25 0 1 0 1853664840 139649024 33233 4294967295 134512640 134736556 3221224560 3221223184 134537444 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 34094 33233 1116 68 0 34026 0 [pid=10220] vsize: 136376 Current children cumulated CPU time (s) 204.24 Current children cumulated vsize (Kb) 136376 [startup+220.012 s] Raw data (loadavg): 1.03 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 33391 0 0 0 21041 381 0 0 25 0 1 0 1853664840 139878400 33302 4294967295 134512640 134736556 3221224560 3221223116 134537537 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 34150 33302 1116 68 0 34082 0 [pid=10220] vsize: 136600 Current children cumulated CPU time (s) 214.22 Current children cumulated vsize (Kb) 136600 [startup+230.013 s] Raw data (loadavg): 1.02 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 34417 0 0 0 22014 391 0 0 25 0 1 0 1853664840 144072704 34327 4294967295 134512640 134736556 3221224560 3221223184 134544631 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 35174 34327 1116 68 0 35106 0 [pid=10220] vsize: 140696 Current children cumulated CPU time (s) 224.05 Current children cumulated vsize (Kb) 140696 [startup+240.014 s] Raw data (loadavg): 1.02 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 35144 0 0 0 22994 400 0 0 25 0 1 0 1853664840 147017728 35054 4294967295 134512640 134736556 3221224560 3221223300 134606006 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 35893 35054 1116 68 0 35825 0 [pid=10220] vsize: 143572 Current children cumulated CPU time (s) 233.94 Current children cumulated vsize (Kb) 143572 [startup+250.014 s] Raw data (loadavg): 1.02 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 36184 0 0 0 23961 415 0 0 25 0 1 0 1853664840 151289856 36094 4294967295 134512640 134736556 3221224560 3221223200 1076648027 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 36936 36094 1116 68 0 36868 0 [pid=10220] vsize: 147744 Current children cumulated CPU time (s) 243.76 Current children cumulated vsize (Kb) 147744 [startup+260.015 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 38033 0 0 0 24921 432 0 0 25 0 1 0 1853664840 158851072 37943 4294967295 134512640 134736556 3221224560 3221222924 1077379908 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 38782 37943 1116 68 0 38714 0 [pid=10220] vsize: 155128 Current children cumulated CPU time (s) 253.53 Current children cumulated vsize (Kb) 155128 [startup+270.016 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 39999 0 0 0 25884 448 0 0 25 0 1 0 1853664840 166965248 39909 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 40763 39909 1116 68 0 40695 0 [pid=10220] vsize: 163052 Current children cumulated CPU time (s) 263.32 Current children cumulated vsize (Kb) 163052 [startup+280.016 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 40602 0 0 0 26870 455 0 0 25 0 1 0 1853664840 169390080 40512 4294967295 134512640 134736556 3221224560 3221223224 134694469 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 41355 40512 1116 68 0 41287 0 [pid=10220] vsize: 165420 Current children cumulated CPU time (s) 273.25 Current children cumulated vsize (Kb) 165420 [startup+290.017 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 40805 0 0 0 27865 457 0 0 25 0 1 0 1853664840 170201088 40715 4294967295 134512640 134736556 3221224560 3221223168 134524350 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 41553 40715 1116 68 0 41485 0 [pid=10220] vsize: 166212 Current children cumulated CPU time (s) 283.22 Current children cumulated vsize (Kb) 166212 [startup+300.017 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 41084 0 0 0 28861 458 0 0 25 0 1 0 1853664840 171413504 40994 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 41849 40994 1116 68 0 41781 0 [pid=10220] vsize: 167396 Current children cumulated CPU time (s) 293.19 Current children cumulated vsize (Kb) 167396 [startup+310.018 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 41551 0 0 0 29855 461 0 0 25 0 1 0 1853664840 173297664 41461 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 42309 41461 1116 68 0 42241 0 [pid=10220] vsize: 169236 Current children cumulated CPU time (s) 303.16 Current children cumulated vsize (Kb) 169236 [startup+320.018 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 41996 0 0 0 30850 464 0 0 25 0 1 0 1853664840 175190016 41906 4294967295 134512640 134736556 3221224560 3221223184 134537450 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 42771 41906 1116 68 0 42703 0 [pid=10220] vsize: 171084 Current children cumulated CPU time (s) 313.14 Current children cumulated vsize (Kb) 171084 [startup+330.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 42455 0 0 0 31844 467 0 0 25 0 1 0 1853664840 177082368 42365 4294967295 134512640 134736556 3221224560 3221223136 134537363 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 43233 42365 1116 68 0 43165 0 [pid=10220] vsize: 172932 Current children cumulated CPU time (s) 323.11 Current children cumulated vsize (Kb) 172932 [startup+340.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 42894 0 0 0 32839 469 0 0 25 0 1 0 1853664840 178835456 42804 4294967295 134512640 134736556 3221224560 3221223212 134554079 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 43661 42804 1116 68 0 43593 0 [pid=10220] vsize: 174644 Current children cumulated CPU time (s) 333.08 Current children cumulated vsize (Kb) 174644 [startup+350.018 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 42939 0 0 0 33829 473 0 0 25 0 1 0 1853664840 178970624 42849 4294967295 134512640 134736556 3221224560 3221223208 134554070 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 43694 42849 1116 68 0 43626 0 [pid=10220] vsize: 174776 Current children cumulated CPU time (s) 343.02 Current children cumulated vsize (Kb) 174776 [startup+360.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 43152 0 0 0 34819 477 0 0 25 0 1 0 1853664840 179916800 43062 4294967295 134512640 134736556 3221224560 3221223036 134540083 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 43925 43062 1116 68 0 43857 0 [pid=10220] vsize: 175700 Current children cumulated CPU time (s) 352.96 Current children cumulated vsize (Kb) 175700 [startup+370.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 43846 0 0 0 35806 483 0 0 25 0 1 0 1853664840 182751232 43756 4294967295 134512640 134736556 3221224560 3221223100 134550916 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 44617 43756 1116 68 0 44549 0 [pid=10220] vsize: 178468 Current children cumulated CPU time (s) 362.89 Current children cumulated vsize (Kb) 178468 [startup+380.021 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 44539 0 0 0 36793 490 0 0 25 0 1 0 1853664840 185585664 44449 4294967295 134512640 134736556 3221224560 3221222952 1077377398 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 45309 44449 1116 68 0 45241 0 [pid=10220] vsize: 181236 Current children cumulated CPU time (s) 372.83 Current children cumulated vsize (Kb) 181236 [startup+390.021 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 45137 0 0 0 37781 496 0 0 25 0 1 0 1853664840 188014592 45046 4294967295 134512640 134736556 3221224560 3221223060 134551038 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 45902 45046 1116 68 0 45834 0 [pid=10220] vsize: 183608 Current children cumulated CPU time (s) 382.77 Current children cumulated vsize (Kb) 183608 [startup+400.021 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 49357 0 0 0 38690 531 0 0 18 0 1 0 1853664840 194461696 46630 4294967295 134512640 134736556 3221224560 3221222500 1077782939 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 47476 46630 1116 68 0 47408 0 [pid=10220] vsize: 189904 Current children cumulated CPU time (s) 392.21 Current children cumulated vsize (Kb) 189904 [startup+410.022 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 53185 0 0 0 39580 568 0 0 25 0 1 0 1853664840 196329472 47088 4294967295 134512640 134736556 3221224560 3221223236 134685650 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 47932 47088 1116 68 0 47864 0 [pid=10220] vsize: 191728 Current children cumulated CPU time (s) 401.48 Current children cumulated vsize (Kb) 191728 [startup+420.022 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 53817 0 0 0 40543 581 0 0 25 0 1 0 1853664840 196366336 47097 4294967295 134512640 134736556 3221224560 3221223168 134682904 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 47941 47097 1116 68 0 47873 0 [pid=10220] vsize: 191764 Current children cumulated CPU time (s) 411.24 Current children cumulated vsize (Kb) 191764 [startup+430.023 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 59025 0 0 0 41383 634 0 0 21 0 1 0 1853664840 197169152 47291 4294967295 134512640 134736556 3221224560 3221222456 1077380592 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48137 47291 1116 68 0 48069 0 [pid=10220] vsize: 192548 Current children cumulated CPU time (s) 420.17 Current children cumulated vsize (Kb) 192548 [startup+440.023 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 61409 0 0 0 42300 661 0 0 25 0 1 0 1853664840 197693440 47418 4294967295 134512640 134736556 3221224560 3221220476 1074860811 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48265 47418 1116 68 0 48197 0 [pid=10220] vsize: 193060 Current children cumulated CPU time (s) 429.61 Current children cumulated vsize (Kb) 193060 [startup+450.022 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 61409 0 0 0 43274 671 0 0 25 0 1 0 1853664840 197693440 47418 4294967295 134512640 134736556 3221224560 3221222360 1074138155 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48265 47418 1116 68 0 48197 0 [pid=10220] vsize: 193060 Current children cumulated CPU time (s) 439.45 Current children cumulated vsize (Kb) 193060 [startup+460.023 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 61409 0 0 0 44248 682 0 0 25 0 1 0 1853664840 197693440 47418 4294967295 134512640 134736556 3221224560 3221222908 1077781665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48265 47418 1116 68 0 48197 0 [pid=10220] vsize: 193060 Current children cumulated CPU time (s) 449.3 Current children cumulated vsize (Kb) 193060 [startup+470.023 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 61412 0 0 0 45233 688 0 0 25 0 1 0 1853664840 197693440 47421 4294967295 134512640 134736556 3221224560 3221223168 134682916 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48265 47421 1116 68 0 48197 0 [pid=10220] vsize: 193060 Current children cumulated CPU time (s) 459.21 Current children cumulated vsize (Kb) 193060 [startup+480.024 s] Raw data (loadavg): 1.00 1.00 0.99 1/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 61412 0 0 0 46214 694 0 0 25 0 1 0 1853664840 197693440 47421 4294967295 134512640 134736556 3221224560 3221222956 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48265 47421 1116 68 0 48197 0 [pid=10220] vsize: 193060 Current children cumulated CPU time (s) 469.08 Current children cumulated vsize (Kb) 193060 [startup+490.024 s] Raw data (loadavg): 1.00 1.00 0.99 1/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 61680 0 0 0 47156 714 0 0 23 0 1 0 1853664840 197693440 47424 4294967295 134512640 134736556 3221224560 3221222972 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48265 47424 1116 68 0 48197 0 [pid=10220] vsize: 193060 Current children cumulated CPU time (s) 478.7 Current children cumulated vsize (Kb) 193060 [startup+500.024 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66320 0 0 0 47940 781 0 0 23 0 1 0 1853664840 198053888 47484 4294967295 134512640 134736556 3221224560 3221220716 1075563891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 48353 47484 1116 68 0 48285 0 [pid=10220] vsize: 193412 Current children cumulated CPU time (s) 487.21 Current children cumulated vsize (Kb) 193412 [startup+510.025 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66324 0 0 0 48922 787 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 497.09 Current children cumulated vsize (Kb) 193196 [startup+520.025 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66324 0 0 0 49895 796 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221221856 1074838870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 506.91 Current children cumulated vsize (Kb) 193196 [startup+530.026 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66324 0 0 0 50871 805 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221223168 134682918 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 516.76 Current children cumulated vsize (Kb) 193196 [startup+540.027 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 66324 0 0 0 51842 815 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221222908 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 526.57 Current children cumulated vsize (Kb) 193196 [startup+550.027 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66324 0 0 0 52814 826 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 536.4 Current children cumulated vsize (Kb) 193196 [startup+560.027 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66385 0 0 0 53786 836 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 546.22 Current children cumulated vsize (Kb) 193196 [startup+570.027 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66385 0 0 0 54774 841 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221222912 1074119071 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 556.15 Current children cumulated vsize (Kb) 193196 [startup+580.028 s] Raw data (loadavg): 1.00 1.00 0.99 1/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 66389 0 0 0 55756 847 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221222956 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 566.03 Current children cumulated vsize (Kb) 193196 [startup+590.028 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66389 0 0 0 56731 856 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221221632 1074865615 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 575.87 Current children cumulated vsize (Kb) 193196 [startup+600.028 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 66837 0 0 0 57674 875 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 585.49 Current children cumulated vsize (Kb) 193196 [startup+610.029 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 67698 0 0 0 58576 905 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221222320 1074050818 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 594.81 Current children cumulated vsize (Kb) 193196 [startup+620.029 s] Raw data (loadavg): 1.00 1.00 0.99 1/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) T 10219 10220 21452 0 -1 0 68257 0 0 0 59522 921 0 0 25 0 1 0 1853664840 197877760 47459 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48310 47459 1116 68 0 48242 0 [pid=10220] vsize: 193240 Current children cumulated CPU time (s) 604.43 Current children cumulated vsize (Kb) 193240 [startup+630.029 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 68671 0 0 0 60483 934 0 0 25 0 1 0 1853664840 197832704 47458 4294967295 134512640 134736556 3221224560 3221222336 1075823619 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47458 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 614.17 Current children cumulated vsize (Kb) 193196 [startup+640.029 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 69049 0 2 0 61440 949 0 0 25 0 1 0 1853664840 197832704 47460 4294967295 134512640 134736556 3221224560 3221223088 134550735 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47460 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 623.89 Current children cumulated vsize (Kb) 193196 [startup+650.029 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 69667 0 2 0 62379 971 0 0 25 0 1 0 1853664840 197832704 47460 4294967295 134512640 134736556 3221224560 3221222496 1074153749 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47460 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 633.5 Current children cumulated vsize (Kb) 193196 [startup+660.029 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 71028 0 2 0 63297 995 0 0 25 0 1 0 1853664840 197832704 47460 4294967295 134512640 134736556 3221224560 3221223232 134621862 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 48299 47460 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 642.92 Current children cumulated vsize (Kb) 193196 [startup+670.03 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 71297 0 2 0 64269 1003 0 0 25 0 1 0 1853664840 197832704 47460 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10220/statm): 48299 47460 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 652.72 Current children cumulated vsize (Kb) 193196 [startup+680.031 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 71566 0 2 0 65241 1013 0 0 25 0 1 0 1853664840 197832704 47460 4294967295 134512640 134736556 3221224560 3221223168 134682904 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 48299 47460 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 662.54 Current children cumulated vsize (Kb) 193196 [startup+690.032 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 10220 Raw data (/proc/10220/stat): 10220 (bsolo) R 10219 10220 21452 0 -1 0 71825 0 2 0 66215 1021 0 0 25 0 1 0 1853664840 197832704 47460 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10220/statm): 48299 47460 1116 68 0 48231 0 [pid=10220] vsize: 193196 Current children cumulated CPU time (s) 672.36 Current children cumulated vsize (Kb) 193196 One traced child (pid=10220) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 692.059 CPU time (s): 674.364 CPU user time (s): 664.038 CPU system time (s): 10.3254 CPU usage (%): 97.4431 Max. virtual memory (cumulated for all children) (Kb): 193412
Verifier: OK 48000