Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb |
MD5SUM | ebc55cfc194a279163f52418008eccf2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 65 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2460 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2460 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2460 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.11783 |
Number of variables | 2459 |
Total number of constraints | 873 |
Number of constraints which are clauses | 873 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 146 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-04 00:17:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=597 boxname=wulflinc31 idbench=67 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: ebc55cfc194a279163f52418008eccf2 /oldhome/oroussel/tmp/wulflinc31/normalized-ex5.pi.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ex5.pi.opb IDLAUNCH: 597 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 916688 kB Buffers: 41052 kB Cached: 54836 kB SwapCached: 944 kB Active: 80240 kB Inactive: 18080 kB HighTotal: 131008 kB HighFree: 75236 kB LowTotal: 903652 kB LowFree: 841452 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 52 kB Writeback: 0 kB Mapped: 5540 kB Slab: 14200 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-04 00:37:18 (client local time) WITH STATUS 0 IN 1200.26 SECONDS stats: 597 7 1200.26 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 2460 variables and 873 constraints. c After prepocess the problem consists of 2432 variables and 767 constraints. c preprocess terminated 4.319 s c Initial Lower Bound: 55 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. c NEW SOLUTION FOUND: 80 @ 5.178 c NEW SOLUTION FOUND: 79 @ 5.187 c NEW SOLUTION FOUND: 78 @ 5.215 c NEW SOLUTION FOUND: 77 @ 5.261 c NEW SOLUTION FOUND: 76 @ 5.736 c NEW SOLUTION FOUND: 75 @ 6.244 c NEW SOLUTION FOUND: 74 @ 7.458 c NEW SOLUTION FOUND: 73 @ 417.519 c NEW SOLUTION FOUND: 72 @ 814.506 #### 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.86 0.98 0.99 2/54 7379 Raw data (stat): 7379 (runsolver) R 7378 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 653012417 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0011 s] Raw data (loadavg): 0.88 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 4704 0 0 0 979 14 0 0 25 0 1 0 653012417 22982656 4674 4294967295 134512640 134714540 3221221792 3221220544 134624493 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5611 4674 1111 63 0 5548 0 vsize: 22444 [startup+20.0009 s] Raw data (loadavg): 0.90 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 8558 0 0 0 1969 24 0 0 25 0 1 0 653012417 39059456 8513 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9536 8513 1111 63 0 9473 0 vsize: 38144 [startup+30.0018 s] Raw data (loadavg): 0.91 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 12944 0 0 0 2959 34 0 0 25 0 1 0 653012417 57528320 12843 4294967295 134512640 134714540 3221221792 3221220384 134613451 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14045 12843 1111 63 0 13982 0 vsize: 56180 [startup+40.0017 s] Raw data (loadavg): 0.93 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 14696 0 0 0 3953 39 0 0 25 0 1 0 653012417 64663552 14584 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15787 14584 1111 63 0 15724 0 vsize: 63148 [startup+50.0027 s] Raw data (loadavg): 0.94 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 14696 0 0 0 4953 39 0 0 25 0 1 0 653012417 64663552 14584 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15787 14584 1111 63 0 15724 0 vsize: 63148 [startup+60.0026 s] Raw data (loadavg): 0.95 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 14696 0 0 0 5953 39 0 0 25 0 1 0 653012417 64663552 14584 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15787 14584 1111 63 0 15724 0 vsize: 63148 [startup+70.0025 s] Raw data (loadavg): 0.95 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 14696 0 0 0 6954 39 0 0 25 0 1 0 653012417 64663552 14584 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15787 14584 1111 63 0 15724 0 vsize: 63148 [startup+80.0035 s] Raw data (loadavg): 0.96 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 15555 0 0 0 7951 42 0 0 25 0 1 0 653012417 68042752 15441 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16612 15441 1111 63 0 16549 0 vsize: 66448 [startup+90.0034 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 15555 0 0 0 8951 42 0 0 25 0 1 0 653012417 68042752 15441 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16612 15441 1111 63 0 16549 0 vsize: 66448 [startup+100.004 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 16712 0 0 0 9948 46 0 0 25 0 1 0 653012417 72966144 16570 4294967295 134512640 134714540 3221221792 3221220372 134542593 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17814 16570 1111 63 0 17751 0 vsize: 71256 [startup+110.006 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 17262 0 0 0 10946 48 0 0 25 0 1 0 653012417 75534336 17086 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18441 17086 1111 63 0 18378 0 vsize: 73764 [startup+120.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 17262 0 0 0 11946 48 0 0 25 0 1 0 653012417 75534336 17086 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18441 17086 1111 63 0 18378 0 vsize: 73764 [startup+130.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 17637 0 0 0 12945 49 0 0 25 0 1 0 653012417 77205504 17445 4294967295 134512640 134714540 3221221792 3221220436 134524450 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18849 17445 1111 63 0 18786 0 vsize: 75396 [startup+140.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 18160 0 0 0 13944 50 0 0 25 0 1 0 653012417 80125952 17904 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19562 17904 1111 63 0 19499 0 vsize: 78248 [startup+150.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 18365 0 0 0 14944 51 0 0 25 0 1 0 653012417 80977920 18105 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19770 18105 1111 63 0 19707 0 vsize: 79080 [startup+160.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 19346 0 0 0 15941 54 0 0 25 0 1 0 653012417 85041152 19083 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20762 19083 1111 63 0 20699 0 vsize: 83048 [startup+170.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20403 0 0 0 16939 56 0 0 25 0 1 0 653012417 89317376 20131 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21806 20131 1111 63 0 21743 0 vsize: 87224 [startup+180.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20525 0 0 0 17939 57 0 0 25 0 1 0 653012417 89858048 20253 4294967295 134512640 134714540 3221221792 3221220584 134536915 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20253 1111 63 0 21875 0 vsize: 87752 [startup+190.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 18939 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+200.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 19939 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+210.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 20939 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+220.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 21939 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+230.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 22940 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+240.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 23940 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+250.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 24940 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+260.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 25940 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220516 134622833 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+270.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 26940 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+280.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 27940 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+290.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 28940 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+300.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 29941 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220516 134622911 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+310.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 30941 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+320.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 31941 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220516 134622833 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+330.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 32941 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+340.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 33941 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+350.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 34941 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+360.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 35941 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220608 134622551 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+370.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 36942 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+380.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 20527 0 0 0 37942 57 0 0 25 0 1 0 653012417 89858048 20255 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21938 20255 1111 63 0 21875 0 vsize: 87752 [startup+390.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 21178 0 0 0 38940 59 0 0 25 0 1 0 653012417 92426240 20905 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22565 20905 1111 63 0 22502 0 vsize: 90260 [startup+400.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 22920 0 0 0 39936 63 0 0 25 0 1 0 653012417 99520512 22634 4294967295 134512640 134714540 3221221792 3221220544 134604507 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24297 22634 1111 63 0 24234 0 vsize: 97188 [startup+410.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 24713 0 0 0 40932 68 0 0 25 0 1 0 653012417 106737664 24422 4294967295 134512640 134714540 3221221792 3221220596 134611046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26059 24422 1111 63 0 25996 0 vsize: 104236 [startup+420.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 28459 0 0 0 41923 76 0 0 25 0 1 0 653012417 121630720 28161 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29695 28161 1111 63 0 29632 0 vsize: 118780 [startup+430.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 30363 0 0 0 42920 80 0 0 25 0 1 0 653012417 129466368 30052 4294967295 134512640 134714540 3221221792 3221220216 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31608 30052 1111 63 0 31545 0 vsize: 126432 [startup+440.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 31509 0 0 0 43917 83 0 0 25 0 1 0 653012417 134266880 31170 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32780 31170 1111 63 0 32717 0 vsize: 131120 [startup+450.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 31509 0 0 0 44917 83 0 0 25 0 1 0 653012417 134266880 31170 4294967295 134512640 134714540 3221221792 3221220588 134543553 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32780 31170 1111 63 0 32717 0 vsize: 131120 [startup+460.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 31509 0 0 0 45917 83 0 0 25 0 1 0 653012417 134266880 31170 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32780 31170 1111 63 0 32717 0 vsize: 131120 [startup+470.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 31509 0 0 0 46917 83 0 0 25 0 1 0 653012417 134266880 31170 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32780 31170 1111 63 0 32717 0 vsize: 131120 [startup+480.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 31509 0 0 0 47917 83 0 0 25 0 1 0 653012417 134266880 31170 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32780 31170 1111 63 0 32717 0 vsize: 131120 [startup+490.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 31509 0 0 0 48917 83 0 0 25 0 1 0 653012417 134266880 31170 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32780 31170 1111 63 0 32717 0 vsize: 131120 [startup+500.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 31509 0 0 0 49918 83 0 0 25 0 1 0 653012417 134266880 31170 4294967295 134512640 134714540 3221221792 3221220588 134536922 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32780 31170 1111 63 0 32717 0 vsize: 131120 [startup+510.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 36567 0 0 0 50908 93 0 0 25 0 1 0 653012417 157814784 35946 4294967295 134512640 134714540 3221221792 3221220504 134543181 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38529 35946 1111 63 0 38466 0 vsize: 154116 [startup+520.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 36989 0 0 0 51906 95 0 0 25 0 1 0 653012417 159617024 36366 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38969 36366 1111 63 0 38906 0 vsize: 155876 [startup+530.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 37770 0 0 0 52903 98 0 0 25 0 1 0 653012417 162754560 37143 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39735 37143 1111 63 0 39672 0 vsize: 158940 [startup+540.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 40084 0 0 0 53897 104 0 0 25 0 1 0 653012417 172322816 39425 4294967295 134512640 134714540 3221221792 3221220364 134539262 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42071 39425 1111 63 0 42008 0 vsize: 168284 [startup+550.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 40516 0 0 0 54897 105 0 0 25 0 1 0 653012417 174161920 39848 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42520 39848 1111 63 0 42457 0 vsize: 170080 [startup+560.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 40516 0 0 0 55897 105 0 0 25 0 1 0 653012417 174161920 39848 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42520 39848 1111 63 0 42457 0 vsize: 170080 [startup+570.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 40516 0 0 0 56897 105 0 0 25 0 1 0 653012417 174161920 39848 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42520 39848 1111 63 0 42457 0 vsize: 170080 [startup+580.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 40516 0 0 0 57897 105 0 0 25 0 1 0 653012417 174161920 39848 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42520 39848 1111 63 0 42457 0 vsize: 170080 [startup+590.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 40516 0 0 0 58897 105 0 0 25 0 1 0 653012417 174161920 39848 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42520 39848 1111 63 0 42457 0 vsize: 170080 [startup+600.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 41368 0 0 0 59895 107 0 0 25 0 1 0 653012417 177655808 40685 4294967295 134512640 134714540 3221221792 3221220664 134536889 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43373 40685 1111 63 0 43310 0 vsize: 173492 [startup+610.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 45593 0 0 0 60886 117 0 0 25 0 1 0 653012417 194756608 44881 4294967295 134512640 134714540 3221221792 3221220584 134536901 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47548 44881 1111 63 0 47485 0 vsize: 190192 [startup+620.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 48691 0 0 0 61879 124 0 0 25 0 1 0 653012417 207085568 47964 4294967295 134512640 134714540 3221221792 3221220608 134610714 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 50558 47964 1111 63 0 50495 0 vsize: 202232 [startup+630.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 50573 0 0 0 62872 131 0 0 25 0 1 0 653012417 214695936 49844 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 52416 49844 1111 63 0 52353 0 vsize: 209664 [startup+640.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 54119 0 0 0 63865 138 0 0 25 0 1 0 653012417 228241408 53231 4294967295 134512640 134714540 3221221792 3221220028 1077379908 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 55723 53231 1111 63 0 55660 0 vsize: 222892 [startup+650.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56361 0 0 0 64860 143 0 0 25 0 1 0 653012417 237015040 55385 4294967295 134512640 134714540 3221221792 3221220508 134558608 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 57865 55385 1111 63 0 57802 0 vsize: 231460 [startup+660.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56729 0 0 0 65860 144 0 0 25 0 1 0 653012417 238632960 55735 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58260 55735 1111 63 0 58197 0 vsize: 233040 [startup+670.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56729 0 0 0 66860 144 0 0 25 0 1 0 653012417 238632960 55735 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58260 55735 1111 63 0 58197 0 vsize: 233040 [startup+680.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56729 0 0 0 67860 144 0 0 25 0 1 0 653012417 238632960 55735 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58260 55735 1111 63 0 58197 0 vsize: 233040 [startup+690.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56729 0 0 0 68860 144 0 0 25 0 1 0 653012417 238632960 55735 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58260 55735 1111 63 0 58197 0 vsize: 233040 [startup+700.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56729 0 0 0 69860 144 0 0 25 0 1 0 653012417 238632960 55735 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58260 55735 1111 63 0 58197 0 vsize: 233040 [startup+710.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56729 0 0 0 70860 144 0 0 25 0 1 0 653012417 238632960 55735 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58260 55735 1111 63 0 58197 0 vsize: 233040 [startup+720.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56729 0 0 0 71860 144 0 0 25 0 1 0 653012417 238632960 55735 4294967295 134512640 134714540 3221221792 3221220520 134622758 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58260 55735 1111 63 0 58197 0 vsize: 233040 [startup+730.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56729 0 0 0 72861 144 0 0 25 0 1 0 653012417 238632960 55735 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58260 55735 1111 63 0 58197 0 vsize: 233040 [startup+740.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56729 0 0 0 73861 144 0 0 25 0 1 0 653012417 238632960 55735 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58260 55735 1111 63 0 58197 0 vsize: 233040 [startup+750.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56729 0 0 0 74861 144 0 0 25 0 1 0 653012417 238632960 55735 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58260 55735 1111 63 0 58197 0 vsize: 233040 [startup+760.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56729 0 0 0 75861 144 0 0 25 0 1 0 653012417 238632960 55735 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58260 55735 1111 63 0 58197 0 vsize: 233040 [startup+770.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 56729 0 0 0 76861 144 0 0 25 0 1 0 653012417 238632960 55735 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58260 55735 1111 63 0 58197 0 vsize: 233040 [startup+780.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 58543 0 0 0 77856 150 0 0 25 0 1 0 653012417 245870592 57544 4294967295 134512640 134714540 3221221792 3221220396 1076533396 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 60027 57544 1111 63 0 59964 0 vsize: 240108 [startup+790.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 61312 0 0 0 78850 156 0 0 25 0 1 0 653012417 256921600 60227 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 62725 60227 1111 63 0 62662 0 vsize: 250900 [startup+800.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 69216 0 0 0 79835 171 0 0 25 0 1 0 653012417 287985664 65374 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 70309 65374 1111 63 0 70246 0 vsize: 281236 [startup+810.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 70140 0 0 0 80833 173 0 0 25 0 1 0 653012417 291667968 66294 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 71208 66294 1111 63 0 71145 0 vsize: 284832 [startup+820.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 71232 0 0 0 81830 176 0 0 25 0 1 0 653012417 295874560 67386 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72235 67386 1111 63 0 72172 0 vsize: 288940 [startup+830.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 72501 0 0 0 82826 179 0 0 25 0 1 0 653012417 301010944 68655 4294967295 134512640 134714540 3221221792 3221220620 134524593 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73489 68655 1111 63 0 73426 0 vsize: 293956 [startup+840.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73336 0 0 0 83824 182 0 0 25 0 1 0 653012417 304271360 69488 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74285 69488 1111 63 0 74222 0 vsize: 297140 [startup+850.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73336 0 0 0 84824 182 0 0 25 0 1 0 653012417 304271360 69488 4294967295 134512640 134714540 3221221792 3221220592 134622633 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74285 69488 1111 63 0 74222 0 vsize: 297140 [startup+860.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73336 0 0 0 85824 182 0 0 25 0 1 0 653012417 304271360 69488 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74285 69488 1111 63 0 74222 0 vsize: 297140 [startup+870.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73336 0 0 0 86824 182 0 0 25 0 1 0 653012417 304271360 69488 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74285 69488 1111 63 0 74222 0 vsize: 297140 [startup+880.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73336 0 0 0 87824 182 0 0 25 0 1 0 653012417 304271360 69488 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74285 69488 1111 63 0 74222 0 vsize: 297140 [startup+890.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73336 0 0 0 88824 182 0 0 25 0 1 0 653012417 304271360 69488 4294967295 134512640 134714540 3221221792 3221220512 134622766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74285 69488 1111 63 0 74222 0 vsize: 297140 [startup+900.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73336 0 0 0 89825 182 0 0 25 0 1 0 653012417 304271360 69488 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74285 69488 1111 63 0 74222 0 vsize: 297140 [startup+910.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73336 0 0 0 90825 182 0 0 25 0 1 0 653012417 304271360 69488 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74285 69488 1111 63 0 74222 0 vsize: 297140 [startup+920.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73453 0 0 0 91824 182 0 0 25 0 1 0 653012417 304812032 69605 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74417 69605 1111 63 0 74354 0 vsize: 297668 [startup+930.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73453 0 0 0 92824 182 0 0 25 0 1 0 653012417 304812032 69605 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74417 69605 1111 63 0 74354 0 vsize: 297668 [startup+940.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73453 0 0 0 93825 182 0 0 25 0 1 0 653012417 304812032 69605 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74417 69605 1111 63 0 74354 0 vsize: 297668 [startup+950.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73453 0 0 0 94825 183 0 0 25 0 1 0 653012417 304812032 69605 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74417 69605 1111 63 0 74354 0 vsize: 297668 [startup+960.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73505 0 0 0 95825 183 0 0 25 0 1 0 653012417 304947200 69657 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74450 69657 1111 63 0 74387 0 vsize: 297800 [startup+970.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73620 0 0 0 96825 183 0 0 25 0 1 0 653012417 305487872 69772 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74582 69772 1111 63 0 74519 0 vsize: 298328 [startup+980.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73620 0 0 0 97825 183 0 0 25 0 1 0 653012417 305487872 69772 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74582 69772 1111 63 0 74519 0 vsize: 298328 [startup+990.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73620 0 0 0 98825 183 0 0 25 0 1 0 653012417 305487872 69772 4294967295 134512640 134714540 3221221792 3221220608 134622547 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74582 69772 1111 63 0 74519 0 vsize: 298328 [startup+1000.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73838 0 0 0 99824 184 0 0 25 0 1 0 653012417 306376704 69986 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74799 69986 1111 63 0 74736 0 vsize: 299196 [startup+1010.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 73838 0 0 0 100824 184 0 0 25 0 1 0 653012417 306376704 69986 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74799 69986 1111 63 0 74736 0 vsize: 299196 [startup+1020.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 74083 0 0 0 101824 185 0 0 25 0 1 0 653012417 307187712 70231 4294967295 134512640 134714540 3221221792 3221220368 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74997 70231 1111 63 0 74934 0 vsize: 299988 [startup+1030.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 74275 0 0 0 102824 185 0 0 25 0 1 0 653012417 308064256 70414 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75211 70414 1111 63 0 75148 0 vsize: 300844 [startup+1040.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 74386 0 0 0 103823 186 0 0 25 0 1 0 653012417 308469760 70525 4294967295 134512640 134714540 3221221792 3221220608 134622551 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75310 70525 1111 63 0 75247 0 vsize: 301240 [startup+1050.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 74960 0 0 0 104821 188 0 0 25 0 1 0 653012417 310931456 71095 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75911 71095 1111 63 0 75848 0 vsize: 303644 [startup+1060.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 105821 188 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1070.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 106821 188 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1080.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 107822 188 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1090.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 108822 188 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1100.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 109822 188 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1110.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 110822 188 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1120.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 111822 188 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1130.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 112822 189 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1140.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 113822 189 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1150.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 114822 189 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220512 134622891 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1160.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 115822 189 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1170.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 116822 189 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1180.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 117822 189 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220584 134536889 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1190.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 118822 189 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 [startup+1200.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 7379 Raw data (stat): 7379 (bsolo_mis) R 7378 7876 7672 0 -1 0 75092 0 0 0 119822 189 0 0 25 0 1 0 653012417 311472128 71227 4294967295 134512640 134714540 3221221792 3221220592 134622569 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76043 71227 1111 63 0 75980 0 vsize: 304172 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.16 s] Raw data (loadavg): 0.99 0.98 0.99 1/54 7379 Raw data (stat): 7379 (bsolo_mis) Z 7378 7876 7672 0 -1 1036 75092 0 0 0 119822 202 0 0 25 0 1 0 653012417 0 0 4294967295 0 0 0 0 0 0 0 1 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.16 CPU time (s): 1200.26 CPU user time (s): 1198.23 CPU system time (s): 2.02969 CPU usage (%): 100.008 Max. virtual memory (Kb): 304172 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####