Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb |
MD5SUM | affd575590f5a6117d93002dff93565b |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 212680 |
Biggest coefficient in the objective function | 38252041742581760 |
Number of bits for the biggest coefficient in the objective function | 56 |
Sum of the numbers in the objective function | 82366741301042724864 |
Number of bits of the sum of numbers in the objective function | 67 |
Biggest number in a constraint | 38252041742581760 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 82366741301042724864 |
Number of bits of the biggest sum of numbers | 67 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.86856 |
Number of variables | 309773 |
Total number of constraints | 6093 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 128 |
Number of constraints which are nor clauses,nor cardinality constraints | 5965 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 24690 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-05-24 16:08:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12717 boxname=wulflinc2 idbench=979 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: affd575590f5a6117d93002dff93565b /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-mod011.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-mod011.opb IDLAUNCH: 12717 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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: 793332 kB Buffers: 33540 kB Cached: 186924 kB SwapCached: 876 kB Active: 87836 kB Inactive: 135196 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 793080 kB SwapTotal: 2097136 kB SwapFree: 2095788 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5616 kB Slab: 12608 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 16:28:59 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 12717 7 1200.28 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.93 0.99 0.99 2/54 32599 Raw data (stat): 32599 (runsolver) R 32598 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773344396 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.006 s] Raw data (loadavg): 0.94 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 1836 0 0 0 992 7 0 0 25 0 1 0 773344396 15810560 1814 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3860 1814 1111 63 0 3797 0 vsize: 15440 [startup+20.0062 s] Raw data (loadavg): 0.95 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2061 0 0 0 1992 7 0 0 25 0 1 0 773344396 16703488 2039 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4078 2039 1111 63 0 4015 0 vsize: 16312 [startup+30.0063 s] Raw data (loadavg): 0.95 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2239 0 0 0 2992 7 0 0 25 0 1 0 773344396 17448960 2217 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4260 2217 1111 63 0 4197 0 vsize: 17040 [startup+40.0118 s] Raw data (loadavg): 0.96 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2320 0 0 0 3993 7 0 0 25 0 1 0 773344396 17866752 2298 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4362 2298 1111 63 0 4299 0 vsize: 17448 [startup+50.0173 s] Raw data (loadavg): 0.97 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2394 0 0 0 4993 8 0 0 25 0 1 0 773344396 18137088 2372 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4428 2372 1111 63 0 4365 0 vsize: 17712 [startup+60.0254 s] Raw data (loadavg): 0.97 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2455 0 0 0 5994 8 0 0 25 0 1 0 773344396 18411520 2433 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4495 2433 1111 63 0 4432 0 vsize: 17980 [startup+70.026 s] Raw data (loadavg): 0.98 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2516 0 0 0 6994 8 0 0 25 0 1 0 773344396 18694144 2494 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4564 2494 1111 63 0 4501 0 vsize: 18256 [startup+80.0264 s] Raw data (loadavg): 0.98 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2583 0 0 0 7994 8 0 0 25 0 1 0 773344396 18968576 2561 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4631 2561 1111 63 0 4568 0 vsize: 18524 [startup+90.0265 s] Raw data (loadavg): 0.98 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2659 0 0 0 8994 8 0 0 25 0 1 0 773344396 19251200 2637 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4700 2637 1111 63 0 4637 0 vsize: 18800 [startup+100.027 s] Raw data (loadavg): 0.98 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2733 0 0 0 9995 8 0 0 25 0 1 0 773344396 19525632 2711 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4767 2711 1111 63 0 4704 0 vsize: 19068 [startup+110.027 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2806 0 0 0 10995 8 0 0 25 0 1 0 773344396 19795968 2784 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4833 2784 1111 63 0 4770 0 vsize: 19332 [startup+120.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2874 0 0 0 11994 9 0 0 25 0 1 0 773344396 20074496 2852 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4901 2852 1111 63 0 4838 0 vsize: 19604 [startup+130.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2952 0 0 0 12995 9 0 0 25 0 1 0 773344396 20348928 2930 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4968 2930 1111 63 0 4905 0 vsize: 19872 [startup+140.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3019 0 0 0 13995 9 0 0 25 0 1 0 773344396 20639744 2997 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5039 2997 1111 63 0 4976 0 vsize: 20156 [startup+150.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3105 0 0 0 14995 9 0 0 25 0 1 0 773344396 21053440 3083 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5140 3083 1111 63 0 5077 0 vsize: 20560 [startup+160.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3178 0 0 0 15995 9 0 0 25 0 1 0 773344396 21323776 3156 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5206 3156 1111 63 0 5143 0 vsize: 20824 [startup+170.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3239 0 0 0 16995 9 0 0 25 0 1 0 773344396 21598208 3217 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5273 3217 1111 63 0 5210 0 vsize: 21092 [startup+180.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3309 0 0 0 17995 9 0 0 25 0 1 0 773344396 21884928 3287 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5343 3287 1111 63 0 5280 0 vsize: 21372 [startup+190.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3376 0 0 0 18995 9 0 0 25 0 1 0 773344396 22159360 3354 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5410 3354 1111 63 0 5347 0 vsize: 21640 [startup+200.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3443 0 0 0 19995 9 0 0 25 0 1 0 773344396 22433792 3421 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5477 3421 1111 63 0 5414 0 vsize: 21908 [startup+210.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3511 0 0 0 20995 9 0 0 25 0 1 0 773344396 22712320 3489 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5545 3489 1111 63 0 5482 0 vsize: 22180 [startup+220.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3578 0 0 0 21996 9 0 0 25 0 1 0 773344396 22990848 3556 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5613 3556 1111 63 0 5550 0 vsize: 22452 [startup+230.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3641 0 0 0 22996 9 0 0 25 0 1 0 773344396 23273472 3619 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5682 3619 1111 63 0 5619 0 vsize: 22728 [startup+240.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3721 0 0 0 23996 10 0 0 25 0 1 0 773344396 23547904 3699 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5749 3699 1111 63 0 5686 0 vsize: 22996 [startup+250.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3782 0 0 0 24996 10 0 0 25 0 1 0 773344396 23822336 3760 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 3760 1111 63 0 5753 0 vsize: 23264 [startup+260.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3849 0 0 0 25996 10 0 0 25 0 1 0 773344396 24100864 3827 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5884 3827 1111 63 0 5821 0 vsize: 23536 [startup+270.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3918 0 0 0 26996 10 0 0 25 0 1 0 773344396 24379392 3896 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5952 3896 1111 63 0 5889 0 vsize: 23808 [startup+280.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3980 0 0 0 27996 10 0 0 25 0 1 0 773344396 24662016 3958 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6021 3958 1111 63 0 5958 0 vsize: 24084 [startup+290.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4048 0 0 0 28997 10 0 0 25 0 1 0 773344396 24940544 4026 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6089 4026 1111 63 0 6026 0 vsize: 24356 [startup+300.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4116 0 0 0 29997 10 0 0 25 0 1 0 773344396 25214976 4094 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6156 4094 1111 63 0 6093 0 vsize: 24624 [startup+310.031 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4196 0 0 0 30997 10 0 0 25 0 1 0 773344396 25493504 4174 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6224 4174 1111 63 0 6161 0 vsize: 24896 [startup+320.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4271 0 0 0 31997 10 0 0 25 0 1 0 773344396 25772032 4249 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6292 4249 1111 63 0 6229 0 vsize: 25168 [startup+330.031 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4339 0 0 0 32997 10 0 0 25 0 1 0 773344396 26046464 4317 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6359 4317 1111 63 0 6296 0 vsize: 25436 [startup+340.031 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4406 0 0 0 33997 10 0 0 25 0 1 0 773344396 26320896 4384 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6426 4384 1111 63 0 6363 0 vsize: 25704 [startup+350.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4486 0 0 0 34997 11 0 0 25 0 1 0 773344396 26734592 4464 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6527 4464 1111 63 0 6464 0 vsize: 26108 [startup+360.031 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4549 0 0 0 35997 11 0 0 25 0 1 0 773344396 27013120 4527 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6595 4527 1111 63 0 6532 0 vsize: 26380 [startup+370.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4623 0 0 0 36997 11 0 0 25 0 1 0 773344396 27295744 4601 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6664 4601 1111 63 0 6601 0 vsize: 26656 [startup+380.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4691 0 0 0 37997 11 0 0 25 0 1 0 773344396 27570176 4669 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6731 4669 1111 63 0 6668 0 vsize: 26924 [startup+390.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4752 0 0 0 38997 11 0 0 25 0 1 0 773344396 27852800 4730 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6800 4730 1111 63 0 6737 0 vsize: 27200 [startup+400.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4826 0 0 0 39997 11 0 0 25 0 1 0 773344396 28127232 4804 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6867 4804 1111 63 0 6804 0 vsize: 27468 [startup+410.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4901 0 0 0 40997 12 0 0 25 0 1 0 773344396 28405760 4879 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6935 4879 1111 63 0 6872 0 vsize: 27740 [startup+420.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4987 0 0 0 41997 12 0 0 25 0 1 0 773344396 28815360 4965 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7035 4965 1111 63 0 6972 0 vsize: 28140 [startup+430.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5067 0 0 0 42997 12 0 0 25 0 1 0 773344396 29085696 5045 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7101 5045 1111 63 0 7038 0 vsize: 28404 [startup+440.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5140 0 0 0 43997 12 0 0 25 0 1 0 773344396 29360128 5118 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7168 5118 1111 63 0 7105 0 vsize: 28672 [startup+450.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5203 0 0 0 44997 12 0 0 25 0 1 0 773344396 29634560 5181 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7235 5181 1111 63 0 7172 0 vsize: 28940 [startup+460.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5279 0 0 0 45997 12 0 0 25 0 1 0 773344396 29921280 5257 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7305 5257 1111 63 0 7242 0 vsize: 29220 [startup+470.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5351 0 0 0 46997 12 0 0 25 0 1 0 773344396 30326784 5329 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7404 5329 1111 63 0 7341 0 vsize: 29616 [startup+480.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5425 0 0 0 47997 13 0 0 25 0 1 0 773344396 30601216 5403 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7471 5403 1111 63 0 7408 0 vsize: 29884 [startup+490.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5492 0 0 0 48997 13 0 0 25 0 1 0 773344396 30875648 5470 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7538 5470 1111 63 0 7475 0 vsize: 30152 [startup+500.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5568 0 0 0 49997 13 0 0 25 0 1 0 773344396 31158272 5546 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7607 5546 1111 63 0 7544 0 vsize: 30428 [startup+510.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5641 0 0 0 50998 13 0 0 25 0 1 0 773344396 31432704 5619 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7674 5619 1111 63 0 7611 0 vsize: 30696 [startup+520.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5708 0 0 0 51998 13 0 0 25 0 1 0 773344396 31707136 5686 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7741 5686 1111 63 0 7678 0 vsize: 30964 [startup+530.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5775 0 0 0 52998 13 0 0 25 0 1 0 773344396 31981568 5753 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7808 5753 1111 63 0 7745 0 vsize: 31232 [startup+540.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5837 0 0 0 53998 13 0 0 25 0 1 0 773344396 32256000 5815 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7875 5815 1111 63 0 7812 0 vsize: 31500 [startup+550.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5905 0 0 0 54998 13 0 0 25 0 1 0 773344396 32538624 5883 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7944 5883 1111 63 0 7881 0 vsize: 31776 [startup+560.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5967 0 0 0 55998 13 0 0 25 0 1 0 773344396 32813056 5945 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8011 5945 1111 63 0 7948 0 vsize: 32044 [startup+570.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6040 0 0 0 56998 13 0 0 25 0 1 0 773344396 33087488 6018 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8078 6018 1111 63 0 8015 0 vsize: 32312 [startup+580.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6108 0 0 0 57998 13 0 0 25 0 1 0 773344396 33366016 6086 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8146 6086 1111 63 0 8083 0 vsize: 32584 [startup+590.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6170 0 0 0 58998 13 0 0 25 0 1 0 773344396 33640448 6148 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8213 6148 1111 63 0 8150 0 vsize: 32852 [startup+600.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6244 0 0 0 59998 13 0 0 25 0 1 0 773344396 33923072 6222 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8282 6222 1111 63 0 8219 0 vsize: 33128 [startup+610.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6318 0 0 0 60999 13 0 0 25 0 1 0 773344396 34197504 6296 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8349 6296 1111 63 0 8286 0 vsize: 33396 [startup+620.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6385 0 0 0 61999 14 0 0 25 0 1 0 773344396 34471936 6363 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8416 6363 1111 63 0 8353 0 vsize: 33664 [startup+630.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6447 0 0 0 62999 14 0 0 25 0 1 0 773344396 34746368 6425 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8483 6425 1111 63 0 8420 0 vsize: 33932 [startup+640.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6522 0 0 0 63999 14 0 0 25 0 1 0 773344396 35024896 6500 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8551 6500 1111 63 0 8488 0 vsize: 34204 [startup+650.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6591 0 0 0 64999 14 0 0 25 0 1 0 773344396 35307520 6569 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8620 6569 1111 63 0 8557 0 vsize: 34480 [startup+660.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6677 0 0 0 65998 14 0 0 25 0 1 0 773344396 35717120 6655 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8720 6655 1111 63 0 8657 0 vsize: 34880 [startup+670.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6750 0 0 0 66999 14 0 0 25 0 1 0 773344396 35991552 6728 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8787 6728 1111 63 0 8724 0 vsize: 35148 [startup+680.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6817 0 0 0 67999 14 0 0 25 0 1 0 773344396 36261888 6795 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8853 6795 1111 63 0 8790 0 vsize: 35412 [startup+690.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6887 0 0 0 68999 14 0 0 25 0 1 0 773344396 36544512 6865 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8922 6865 1111 63 0 8859 0 vsize: 35688 [startup+700.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6961 0 0 0 69999 15 0 0 25 0 1 0 773344396 36818944 6939 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8989 6939 1111 63 0 8926 0 vsize: 35956 [startup+710.029 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7035 0 0 0 70999 15 0 0 25 0 1 0 773344396 37093376 7013 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9056 7013 1111 63 0 8993 0 vsize: 36224 [startup+720.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7108 0 0 0 71999 15 0 0 25 0 1 0 773344396 37502976 7086 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9156 7086 1111 63 0 9093 0 vsize: 36624 [startup+730.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7181 0 0 0 72999 15 0 0 25 0 1 0 773344396 37777408 7159 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9223 7159 1111 63 0 9160 0 vsize: 36892 [startup+740.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7244 0 0 0 73999 15 0 0 25 0 1 0 773344396 38060032 7222 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9292 7222 1111 63 0 9229 0 vsize: 37168 [startup+750.031 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7317 0 0 0 74999 15 0 0 25 0 1 0 773344396 38334464 7295 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9359 7295 1111 63 0 9296 0 vsize: 37436 [startup+760.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7378 0 0 0 76000 15 0 0 25 0 1 0 773344396 38612992 7356 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9427 7356 1111 63 0 9364 0 vsize: 37708 [startup+770.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7453 0 0 0 77000 15 0 0 25 0 1 0 773344396 38887424 7431 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9494 7431 1111 63 0 9431 0 vsize: 37976 [startup+780.052 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7535 0 0 0 78002 16 0 0 25 0 1 0 773344396 39165952 7513 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9562 7513 1111 63 0 9499 0 vsize: 38248 [startup+790.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7615 0 0 0 79002 16 0 0 25 0 1 0 773344396 39575552 7593 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9662 7593 1111 63 0 9599 0 vsize: 38648 [startup+800.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7688 0 0 0 80002 16 0 0 25 0 1 0 773344396 39849984 7666 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9729 7666 1111 63 0 9666 0 vsize: 38916 [startup+810.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7768 0 0 0 81001 16 0 0 25 0 1 0 773344396 40124416 7746 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9796 7746 1111 63 0 9733 0 vsize: 39184 [startup+820.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7829 0 0 0 82002 16 0 0 25 0 1 0 773344396 40402944 7807 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9864 7807 1111 63 0 9801 0 vsize: 39456 [startup+830.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7904 0 0 0 83002 16 0 0 25 0 1 0 773344396 40681472 7882 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9932 7882 1111 63 0 9869 0 vsize: 39728 [startup+840.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7978 0 0 0 84002 17 0 0 25 0 1 0 773344396 40955904 7956 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9999 7956 1111 63 0 9936 0 vsize: 39996 [startup+850.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8058 0 0 0 85002 17 0 0 25 0 1 0 773344396 41365504 8036 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10099 8036 1111 63 0 10036 0 vsize: 40396 [startup+860.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8126 0 0 0 86002 17 0 0 25 0 1 0 773344396 41639936 8104 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10166 8104 1111 63 0 10103 0 vsize: 40664 [startup+870.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8201 0 0 0 87002 17 0 0 25 0 1 0 773344396 41922560 8179 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10235 8179 1111 63 0 10172 0 vsize: 40940 [startup+880.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8274 0 0 0 88002 17 0 0 25 0 1 0 773344396 42196992 8252 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10302 8252 1111 63 0 10239 0 vsize: 41208 [startup+890.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8348 0 0 0 89002 17 0 0 25 0 1 0 773344396 42471424 8326 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10369 8326 1111 63 0 10306 0 vsize: 41476 [startup+900.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8428 0 0 0 90002 18 0 0 25 0 1 0 773344396 42885120 8406 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10470 8406 1111 63 0 10407 0 vsize: 41880 [startup+910.052 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8507 0 0 0 91002 18 0 0 25 0 1 0 773344396 43200512 8485 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10547 8485 1111 63 0 10484 0 vsize: 42188 [startup+920.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8583 0 0 0 92002 18 0 0 25 0 1 0 773344396 43483136 8561 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10616 8561 1111 63 0 10553 0 vsize: 42464 [startup+930.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8651 0 0 0 93002 18 0 0 25 0 1 0 773344396 43757568 8629 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10683 8629 1111 63 0 10620 0 vsize: 42732 [startup+940.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8712 0 0 0 94002 18 0 0 25 0 1 0 773344396 44036096 8690 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10751 8690 1111 63 0 10688 0 vsize: 43004 [startup+950.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8786 0 0 0 95002 18 0 0 25 0 1 0 773344396 44310528 8764 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10818 8764 1111 63 0 10755 0 vsize: 43272 [startup+960.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8867 0 0 0 96002 18 0 0 25 0 1 0 773344396 44732416 8845 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10921 8845 1111 63 0 10858 0 vsize: 43684 [startup+970.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8935 0 0 0 97002 18 0 0 25 0 1 0 773344396 45006848 8913 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10988 8913 1111 63 0 10925 0 vsize: 43952 [startup+980.049 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9008 0 0 0 98002 19 0 0 25 0 1 0 773344396 45281280 8986 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11055 8986 1111 63 0 10992 0 vsize: 44220 [startup+990.049 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9082 0 0 0 99002 19 0 0 25 0 1 0 773344396 45555712 9060 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11122 9060 1111 63 0 11059 0 vsize: 44488 [startup+1000.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9156 0 0 0 100002 19 0 0 25 0 1 0 773344396 45830144 9134 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11189 9134 1111 63 0 11126 0 vsize: 44756 [startup+1010.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9237 0 0 0 101002 19 0 0 25 0 1 0 773344396 46243840 9215 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11290 9215 1111 63 0 11227 0 vsize: 45160 [startup+1020.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9307 0 0 0 102002 19 0 0 25 0 1 0 773344396 46522368 9285 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11358 9285 1111 63 0 11295 0 vsize: 45432 [startup+1030.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9381 0 0 0 103002 19 0 0 25 0 1 0 773344396 46796800 9359 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11425 9359 1111 63 0 11362 0 vsize: 45700 [startup+1040.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9461 0 0 0 104002 19 0 0 25 0 1 0 773344396 47071232 9439 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11492 9439 1111 63 0 11429 0 vsize: 45968 [startup+1050.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9542 0 0 0 105003 19 0 0 25 0 1 0 773344396 47489024 9520 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11594 9520 1111 63 0 11531 0 vsize: 46376 [startup+1060.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9610 0 0 0 106002 20 0 0 25 0 1 0 773344396 47759360 9588 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11660 9588 1111 63 0 11597 0 vsize: 46640 [startup+1070.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9684 0 0 0 107002 20 0 0 25 0 1 0 773344396 48037888 9662 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11728 9662 1111 63 0 11665 0 vsize: 46912 [startup+1080.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9758 0 0 0 108002 20 0 0 25 0 1 0 773344396 48312320 9736 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11795 9736 1111 63 0 11732 0 vsize: 47180 [startup+1090.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9831 0 0 0 109002 20 0 0 25 0 1 0 773344396 48586752 9809 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11862 9809 1111 63 0 11799 0 vsize: 47448 [startup+1100.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9907 0 0 0 110003 20 0 0 25 0 1 0 773344396 49004544 9885 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11964 9885 1111 63 0 11901 0 vsize: 47856 [startup+1110.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9974 0 0 0 111003 20 0 0 25 0 1 0 773344396 49283072 9952 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12032 9952 1111 63 0 11969 0 vsize: 48128 [startup+1120.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10049 0 0 0 112002 21 0 0 25 0 1 0 773344396 49557504 10027 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12099 10027 1111 63 0 12036 0 vsize: 48396 [startup+1130.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10117 0 0 0 113003 21 0 0 25 0 1 0 773344396 49831936 10095 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12166 10095 1111 63 0 12103 0 vsize: 48664 [startup+1140.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10193 0 0 0 114003 21 0 0 25 0 1 0 773344396 50114560 10171 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12235 10171 1111 63 0 12172 0 vsize: 48940 [startup+1150.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10273 0 0 0 115003 21 0 0 25 0 1 0 773344396 50384896 10251 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12301 10251 1111 63 0 12238 0 vsize: 49204 [startup+1160.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10346 0 0 0 116003 21 0 0 25 0 1 0 773344396 50798592 10324 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12402 10324 1111 63 0 12339 0 vsize: 49608 [startup+1170.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10414 0 0 0 117003 21 0 0 25 0 1 0 773344396 51073024 10392 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12469 10392 1111 63 0 12406 0 vsize: 49876 [startup+1180.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10475 0 0 0 118003 22 0 0 25 0 1 0 773344396 51212288 10453 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12503 10453 1111 63 0 12440 0 vsize: 50012 [startup+1190.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10544 0 0 0 119003 22 0 0 25 0 1 0 773344396 51494912 10522 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12572 10522 1111 63 0 12509 0 vsize: 50288 [startup+1200.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/54 32599 Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10617 0 0 0 120003 22 0 0 25 0 1 0 773344396 51908608 10595 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12673 10595 1111 63 0 12610 0 vsize: 50692 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.07 s] Raw data (loadavg): 0.99 0.99 0.99 1/54 32599 Raw data (stat): 32599 (bsolo_mis) Z 32598 31399 31398 0 -1 1036 10617 0 0 0 120003 24 0 0 25 0 1 0 773344396 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.07 CPU time (s): 1200.28 CPU user time (s): 1200.04 CPU system time (s): 0.241963 CPU usage (%): 100.017 Max. virtual memory (Kb): 50692 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####