Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb |
MD5SUM | b7b224de1898888de830ec05fbd5ea69 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1327 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2726 |
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 | 2726 |
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 | 2726 |
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.07284 |
Number of variables | 2726 |
Total number of constraints | 4395 |
Number of constraints which are clauses | 4395 |
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 | 5 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-09 11:26:25 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2055 boxname=wulflinc31 idbench=229 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: b7b224de1898888de830ec05fbd5ea69 /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-159.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-159.opb IDLAUNCH: 2055 /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: 139068 kB Buffers: 44076 kB Cached: 817112 kB SwapCached: 644 kB Active: 490696 kB Inactive: 372796 kB HighTotal: 131008 kB HighFree: 1456 kB LowTotal: 903652 kB LowFree: 137612 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26352 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-09 11:46:28 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 2055 7 1200.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 2726 variables and 4395 constraints. #### 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): 1.14 1.03 1.00 2/54 27621 Raw data (stat): 27621 (runsolver) R 27620 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 700232825 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0012 s] Raw data (loadavg): 1.12 1.03 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 57057 0 0 0 864 132 0 0 25 0 1 0 700232825 16707584 3146 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4079 3146 1111 63 0 4016 0 vsize: 16316 [startup+20.0021 s] Raw data (loadavg): 1.10 1.03 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 103541 0 0 0 1757 240 0 0 25 0 1 0 700232825 25497600 5292 4294967295 134512640 134714540 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6225 5292 1111 63 0 6162 0 vsize: 24900 [startup+30.0036 s] Raw data (loadavg): 1.08 1.03 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 144341 0 0 0 2658 339 0 0 25 0 1 0 700232825 29843456 6363 4294967295 134512640 134714540 3221221792 3221220572 134630846 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7286 6363 1111 63 0 7223 0 vsize: 29144 [startup+40.0039 s] Raw data (loadavg): 1.07 1.03 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 155848 0 0 0 3630 367 0 0 25 0 1 0 700232825 33406976 7207 4294967295 134512640 134714540 3221221792 3221220520 134672911 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8156 7207 1111 63 0 8093 0 vsize: 32624 [startup+50.0039 s] Raw data (loadavg): 1.06 1.03 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 166486 0 0 0 4603 394 0 0 25 0 1 0 700232825 37462016 8202 4294967295 134512640 134714540 3221221792 3221220328 134542982 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9146 8202 1111 63 0 9083 0 vsize: 36584 [startup+60.0048 s] Raw data (loadavg): 1.05 1.02 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 177989 0 0 0 5577 421 0 0 25 0 1 0 700232825 40136704 8855 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9799 8855 1111 63 0 9736 0 vsize: 39196 [startup+70.0057 s] Raw data (loadavg): 1.04 1.02 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 182071 0 0 0 6567 431 0 0 25 0 1 0 700232825 42614784 9470 4294967295 134512640 134714540 3221221792 3221220236 134536834 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10404 9470 1111 63 0 10341 0 vsize: 41616 [startup+80.0071 s] Raw data (loadavg): 1.04 1.02 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 195527 0 0 0 7537 461 0 0 25 0 1 0 700232825 44085248 9840 4294967295 134512640 134714540 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10763 9840 1111 63 0 10700 0 vsize: 43052 [startup+90.0081 s] Raw data (loadavg): 1.03 1.02 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 199106 0 0 0 8528 470 0 0 25 0 1 0 700232825 46800896 10487 4294967295 134512640 134714540 3221221792 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11426 10487 1111 63 0 11363 0 vsize: 45704 [startup+100.008 s] Raw data (loadavg): 1.02 1.02 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 202589 0 0 0 9521 477 0 0 25 0 1 0 700232825 49262592 11091 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12027 11091 1111 63 0 11964 0 vsize: 48108 [startup+110.009 s] Raw data (loadavg): 1.02 1.02 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 204752 0 0 0 10516 483 0 0 25 0 1 0 700232825 51601408 11649 4294967295 134512640 134714540 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12598 11649 1111 63 0 12535 0 vsize: 50392 [startup+120.009 s] Raw data (loadavg): 1.02 1.02 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 228020 0 0 0 11460 539 0 0 25 0 1 0 700232825 52604928 11920 4294967295 134512640 134714540 3221221792 3221220296 134543614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12843 11920 1111 63 0 12780 0 vsize: 51372 [startup+130.01 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 231701 0 0 0 12452 547 0 0 25 0 1 0 700232825 52604928 11920 4294967295 134512640 134714540 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12843 11920 1111 63 0 12780 0 vsize: 51372 [startup+140.01 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 233805 0 0 0 13447 552 0 0 25 0 1 0 700232825 52875264 11957 4294967295 134512640 134714540 3221221792 3221220224 134523171 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12909 11957 1111 63 0 12846 0 vsize: 51636 [startup+150.01 s] Raw data (loadavg): 1.01 1.02 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 238987 0 0 0 14435 564 0 0 25 0 1 0 700232825 55480320 12585 4294967295 134512640 134714540 3221221792 3221220400 134529376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13545 12585 1111 63 0 13482 0 vsize: 54180 [startup+160.011 s] Raw data (loadavg): 1.01 1.01 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 242082 0 0 0 15426 573 0 0 25 0 1 0 700232825 57176064 13007 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13959 13007 1111 63 0 13896 0 vsize: 55836 [startup+170.011 s] Raw data (loadavg): 1.01 1.01 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 244831 0 0 0 16421 578 0 0 25 0 1 0 700232825 58560512 13319 4294967295 134512640 134714540 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14297 13319 1111 63 0 14234 0 vsize: 57188 [startup+180.012 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 249633 0 0 0 17409 590 0 0 25 0 1 0 700232825 59838464 13631 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14609 13631 1111 63 0 14546 0 vsize: 58436 [startup+190.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 250870 0 0 0 18407 593 0 0 25 0 1 0 700232825 60055552 13717 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14662 13717 1111 63 0 14599 0 vsize: 58648 [startup+200.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 255196 0 0 0 19397 603 0 0 25 0 1 0 700232825 62414848 14264 4294967295 134512640 134714540 3221221792 3221220392 134543589 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15238 14264 1111 63 0 15175 0 vsize: 60952 [startup+210.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 257354 0 0 0 20392 608 0 0 25 0 1 0 700232825 63586304 14562 4294967295 134512640 134714540 3221221792 3221220256 134542368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15524 14562 1111 63 0 15461 0 vsize: 62096 [startup+220.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 259881 0 0 0 21387 614 0 0 25 0 1 0 700232825 63545344 14570 4294967295 134512640 134714540 3221221792 3221220272 134524108 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15514 14570 1111 63 0 15451 0 vsize: 62056 [startup+230.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 263633 0 0 0 22377 623 0 0 25 0 1 0 700232825 65990656 15152 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16111 15152 1111 63 0 16048 0 vsize: 64444 [startup+240.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 269343 0 0 0 23366 635 0 0 25 0 1 0 700232825 66916352 15373 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16337 15373 1111 63 0 16274 0 vsize: 65348 [startup+250.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 271403 0 0 0 24361 640 0 0 25 0 1 0 700232825 67833856 15590 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16561 15590 1111 63 0 16498 0 vsize: 66244 [startup+260.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 272313 0 0 0 25360 642 0 0 25 0 1 0 700232825 68816896 15844 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16801 15844 1111 63 0 16738 0 vsize: 67204 [startup+270.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 272987 0 0 0 26358 643 0 0 25 0 1 0 700232825 68825088 15862 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16803 15862 1111 63 0 16740 0 vsize: 67212 [startup+280.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 275255 0 0 0 27353 648 0 0 25 0 1 0 700232825 70787072 16326 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17282 16326 1111 63 0 17219 0 vsize: 69128 [startup+290.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 277280 0 0 0 28348 653 0 0 25 0 1 0 700232825 70811648 16348 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17288 16348 1111 63 0 17225 0 vsize: 69152 [startup+300.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 279269 0 0 0 29344 658 0 0 25 0 1 0 700232825 72544256 16747 4294967295 134512640 134714540 3221221792 3221220288 134543707 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17711 16747 1111 63 0 17648 0 vsize: 70844 [startup+310.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 283046 0 0 0 30334 668 0 0 25 0 1 0 700232825 73371648 16952 4294967295 134512640 134714540 3221221792 3221220272 134539408 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17913 16952 1111 63 0 17850 0 vsize: 71652 [startup+320.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 287264 0 0 0 31324 678 0 0 25 0 1 0 700232825 73207808 16903 4294967295 134512640 134714540 3221221792 3221220172 134539265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17873 16903 1111 63 0 17810 0 vsize: 71492 [startup+330.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 289201 0 0 0 32320 683 0 0 25 0 1 0 700232825 74760192 17302 4294967295 134512640 134714540 3221221792 3221220172 134539235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18252 17302 1111 63 0 18189 0 vsize: 73008 [startup+340.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 293434 0 0 0 33311 692 0 0 25 0 1 0 700232825 75513856 17495 4294967295 134512640 134714540 3221221792 3221220208 134543686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18436 17495 1111 63 0 18373 0 vsize: 73744 [startup+350.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 294153 0 0 0 34309 694 0 0 25 0 1 0 700232825 76824576 17818 4294967295 134512640 134714540 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18756 17818 1111 63 0 18693 0 vsize: 75024 [startup+360.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 295417 0 0 0 35306 697 0 0 25 0 1 0 700232825 78155776 18141 4294967295 134512640 134714540 3221221792 3221220236 134536820 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19081 18141 1111 63 0 19018 0 vsize: 76324 [startup+370.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 296377 0 0 0 36304 699 0 0 25 0 1 0 700232825 79007744 18332 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19289 18332 1111 63 0 19226 0 vsize: 77156 [startup+380.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 298154 0 0 0 37300 703 0 0 25 0 1 0 700232825 79810560 18521 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19485 18521 1111 63 0 19422 0 vsize: 77940 [startup+390.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 299693 0 0 0 38298 706 0 0 25 0 1 0 700232825 79282176 18419 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19356 18419 1111 63 0 19293 0 vsize: 77424 [startup+400.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 301611 0 0 0 39293 711 0 0 25 0 1 0 700232825 81326080 18894 4294967295 134512640 134714540 3221221792 3221220304 134543686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19855 18894 1111 63 0 19792 0 vsize: 79420 [startup+410.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 302542 0 0 0 40291 713 0 0 25 0 1 0 700232825 80764928 18781 4294967295 134512640 134714540 3221221792 3221220224 134543756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19718 18781 1111 63 0 19655 0 vsize: 78872 [startup+420.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 325098 0 0 0 41238 766 0 0 25 0 1 0 700232825 82219008 19137 4294967295 134512640 134714540 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20073 19137 1111 63 0 20010 0 vsize: 80292 [startup+430.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 327052 0 0 0 42234 771 0 0 25 0 1 0 700232825 83353600 19387 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20350 19387 1111 63 0 20287 0 vsize: 81400 [startup+440.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 328636 0 0 0 43230 775 0 0 25 0 1 0 700232825 84099072 19565 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20532 19565 1111 63 0 20469 0 vsize: 82128 [startup+450.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 331566 0 0 0 44223 782 0 0 25 0 1 0 700232825 83435520 19429 4294967295 134512640 134714540 3221221792 3221220320 134528738 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20370 19429 1111 63 0 20307 0 vsize: 81480 [startup+460.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 333972 0 0 0 45218 787 0 0 25 0 1 0 700232825 84410368 19673 4294967295 134512640 134714540 3221221792 3221220224 134543671 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20608 19673 1111 63 0 20545 0 vsize: 82432 [startup+470.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 336787 0 0 0 46211 794 0 0 25 0 1 0 700232825 86032384 20046 4294967295 134512640 134714540 3221221792 3221220592 134617622 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21004 20046 1111 63 0 20941 0 vsize: 84016 [startup+480.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 338345 0 0 0 47207 799 0 0 25 0 1 0 700232825 86478848 20160 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21113 20160 1111 63 0 21050 0 vsize: 84452 [startup+490.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 339958 0 0 0 48203 803 0 0 25 0 1 0 700232825 87224320 20331 4294967295 134512640 134714540 3221221792 3221220416 134529097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21295 20331 1111 63 0 21232 0 vsize: 85180 [startup+500.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 341514 0 0 0 49200 806 0 0 25 0 1 0 700232825 87642112 20444 4294967295 134512640 134714540 3221221792 3221220272 134543108 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21397 20444 1111 63 0 21334 0 vsize: 85588 [startup+510.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 342672 0 0 0 50197 809 0 0 25 0 1 0 700232825 88477696 20635 4294967295 134512640 134714540 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21601 20635 1111 63 0 21538 0 vsize: 86404 [startup+520.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 343321 0 0 0 51195 811 0 0 25 0 1 0 700232825 87908352 20529 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21497 20533 1111 63 0 21434 0 vsize: 85848 [startup+530.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 347032 0 0 0 52189 818 0 0 25 0 1 0 700232825 88203264 20591 4294967295 134512640 134714540 3221221792 3221220176 134542706 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21534 20591 1111 63 0 21471 0 vsize: 86136 [startup+540.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 356732 0 0 0 53166 840 0 0 25 0 1 0 700232825 89980928 21035 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21968 21035 1111 63 0 21905 0 vsize: 87872 [startup+550.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 358286 0 0 0 54164 843 0 0 25 0 1 0 700232825 90509312 21144 4294967295 134512640 134714540 3221221792 3221220272 134543070 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22097 21144 1111 63 0 22034 0 vsize: 88388 [startup+560.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 360026 0 0 0 55161 846 0 0 25 0 1 0 700232825 91000832 21263 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22217 21263 1111 63 0 22154 0 vsize: 88868 [startup+570.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 384884 0 0 0 56100 907 0 0 25 0 1 0 700232825 91607040 21433 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22365 21433 1111 63 0 22302 0 vsize: 89460 [startup+580.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 390450 0 0 0 57087 921 0 0 25 0 1 0 700232825 92602368 21673 4294967295 134512640 134714540 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22608 21673 1111 63 0 22545 0 vsize: 90432 [startup+590.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 390665 0 0 0 58086 921 0 0 25 0 1 0 700232825 92602368 21676 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22608 21676 1111 63 0 22545 0 vsize: 90432 [startup+600.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 391159 0 0 0 59085 922 0 0 25 0 1 0 700232825 93589504 21910 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22849 21910 1111 63 0 22786 0 vsize: 91396 [startup+610.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 391598 0 0 0 60085 923 0 0 25 0 1 0 700232825 94015488 22011 4294967295 134512640 134714540 3221221792 3221220272 134543064 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22953 22011 1111 63 0 22890 0 vsize: 91812 [startup+620.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 394282 0 0 0 61077 931 0 0 25 0 1 0 700232825 93446144 21883 4294967295 134512640 134714540 3221221792 3221220224 134543719 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22814 21883 1111 63 0 22751 0 vsize: 91256 [startup+630.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 396963 0 0 0 62071 937 0 0 25 0 1 0 700232825 95027200 22266 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23200 22266 1111 63 0 23137 0 vsize: 92800 [startup+640.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 398219 0 0 0 63069 940 0 0 25 0 1 0 700232825 94240768 22077 4294967295 134512640 134714540 3221221792 3221220124 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23008 22077 1111 63 0 22945 0 vsize: 92032 [startup+650.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 399762 0 0 0 64065 944 0 0 25 0 1 0 700232825 95920128 22465 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23418 22465 1111 63 0 23355 0 vsize: 93672 [startup+660.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 401367 0 0 0 65061 948 0 0 25 0 1 0 700232825 96272384 22574 4294967295 134512640 134714540 3221221792 3221220124 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23504 22574 1111 63 0 23441 0 vsize: 94016 [startup+670.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 402935 0 0 0 66057 952 0 0 25 0 1 0 700232825 96976896 22722 4294967295 134512640 134714540 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23676 22722 1111 63 0 23613 0 vsize: 94704 [startup+680.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 403161 0 0 0 67057 953 0 0 25 0 1 0 700232825 97271808 22818 4294967295 134512640 134714540 3221221792 3221220296 134543652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23748 22818 1111 63 0 23685 0 vsize: 94992 [startup+690.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 403769 0 0 0 68056 954 0 0 25 0 1 0 700232825 96845824 22714 4294967295 134512640 134714540 3221221792 3221220256 134523872 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23644 22714 1111 63 0 23581 0 vsize: 94576 [startup+700.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 405043 0 0 0 69054 956 0 0 25 0 1 0 700232825 98131968 23007 4294967295 134512640 134714540 3221221792 3221220416 134529091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23958 23007 1111 63 0 23895 0 vsize: 95832 [startup+710.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 406956 0 0 0 70049 961 0 0 25 0 1 0 700232825 98570240 23103 4294967295 134512640 134714540 3221221792 3221220272 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24065 23103 1111 63 0 24002 0 vsize: 96260 [startup+720.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 408459 0 0 0 71046 964 0 0 25 0 1 0 700232825 98004992 22998 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23927 22998 1111 63 0 23864 0 vsize: 95708 [startup+730.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 411930 0 0 0 72039 971 0 0 25 0 1 0 700232825 98467840 23090 4294967295 134512640 134714540 3221221792 3221220216 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24040 23095 1111 63 0 23977 0 vsize: 96160 [startup+740.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 415743 0 0 0 73031 980 0 0 25 0 1 0 700232825 99831808 23436 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24373 23436 1111 63 0 24310 0 vsize: 97492 [startup+750.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 416731 0 0 0 74029 982 0 0 25 0 1 0 700232825 100179968 23526 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24458 23526 1111 63 0 24395 0 vsize: 97832 [startup+760.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 418736 0 0 0 75024 987 0 0 25 0 1 0 700232825 99352576 23327 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24256 23327 1111 63 0 24193 0 vsize: 97024 [startup+770.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 419980 0 0 0 76021 990 0 0 25 0 1 0 700232825 99717120 23417 4294967295 134512640 134714540 3221221792 3221220308 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24345 23417 1111 63 0 24282 0 vsize: 97380 [startup+780.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 420784 0 0 0 77020 991 0 0 25 0 1 0 700232825 101371904 23792 4294967295 134512640 134714540 3221221792 3221220572 134630846 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24749 23792 1111 63 0 24686 0 vsize: 98996 [startup+790.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 422384 0 0 0 78017 995 0 0 25 0 1 0 700232825 101658624 23891 4294967295 134512640 134714540 3221221792 3221220272 134542365 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24819 23891 1111 63 0 24756 0 vsize: 99276 [startup+800.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 430348 0 0 0 78998 1014 0 0 25 0 1 0 700232825 101933056 23955 4294967295 134512640 134714540 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24886 23955 1111 63 0 24823 0 vsize: 99544 [startup+810.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 431528 0 0 0 79996 1016 0 0 25 0 1 0 700232825 102371328 24042 4294967295 134512640 134714540 3221221792 3221220396 134523848 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24993 24042 1111 63 0 24930 0 vsize: 99972 [startup+820.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 432615 0 0 0 80993 1019 0 0 25 0 1 0 700232825 102817792 24175 4294967295 134512640 134714540 3221221792 3221220296 134543606 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25102 24175 1111 63 0 25039 0 vsize: 100408 [startup+830.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 432615 0 0 0 81993 1019 0 0 25 0 1 0 700232825 102817792 24175 4294967295 134512640 134714540 3221221792 3221220300 134539344 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25102 24175 1111 63 0 25039 0 vsize: 100408 [startup+840.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 433381 0 0 0 82992 1021 0 0 25 0 1 0 700232825 102817792 24175 4294967295 134512640 134714540 3221221792 3221220248 134543665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25102 24175 1111 63 0 25039 0 vsize: 100408 [startup+850.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 434051 0 0 0 83991 1022 0 0 25 0 1 0 700232825 102817792 24175 4294967295 134512640 134714540 3221221792 3221220248 134536668 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25102 24175 1111 63 0 25039 0 vsize: 100408 [startup+860.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 437028 0 0 0 84983 1030 0 0 25 0 1 0 700232825 104157184 24489 4294967295 134512640 134714540 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25429 24489 1111 63 0 25366 0 vsize: 101716 [startup+870.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 445449 0 0 0 85963 1051 0 0 25 0 1 0 700232825 104882176 24679 4294967295 134512640 134714540 3221221792 3221220308 134542962 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25606 24679 1111 63 0 25543 0 vsize: 102424 [startup+880.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 445507 0 0 0 86963 1051 0 0 25 0 1 0 700232825 104882176 24679 4294967295 134512640 134714540 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25606 24679 1111 63 0 25543 0 vsize: 102424 [startup+890.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 445851 0 0 0 87962 1052 0 0 25 0 1 0 700232825 104882176 24680 4294967295 134512640 134714540 3221221792 3221220184 134542295 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25606 24680 1111 63 0 25543 0 vsize: 102424 [startup+900.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 446356 0 0 0 88961 1053 0 0 25 0 1 0 700232825 105762816 24884 4294967295 134512640 134714540 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25821 24884 1111 63 0 25758 0 vsize: 103284 [startup+910.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 447026 0 0 0 89959 1055 0 0 25 0 1 0 700232825 106045440 24962 4294967295 134512640 134714540 3221221792 3221220416 134529091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25890 24962 1111 63 0 25827 0 vsize: 103560 [startup+920.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 448001 0 0 0 90957 1057 0 0 25 0 1 0 700232825 106471424 25039 4294967295 134512640 134714540 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25994 25039 1111 63 0 25931 0 vsize: 103976 [startup+930.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 449219 0 0 0 91954 1060 0 0 25 0 1 0 700232825 106721280 25113 4294967295 134512640 134714540 3221221792 3221220304 134543681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26055 25113 1111 63 0 25992 0 vsize: 104220 [startup+940.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 449758 0 0 0 92953 1061 0 0 25 0 1 0 700232825 106971136 25190 4294967295 134512640 134714540 3221221792 3221220412 134536888 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26116 25190 1111 63 0 26053 0 vsize: 104464 [startup+950.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 450601 0 0 0 93952 1063 0 0 25 0 1 0 700232825 107384832 25263 4294967295 134512640 134714540 3221221792 3221220416 134529401 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26217 25263 1111 63 0 26154 0 vsize: 104868 [startup+960.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 451738 0 0 0 94950 1065 0 0 25 0 1 0 700232825 107683840 25338 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26290 25338 1111 63 0 26227 0 vsize: 105160 [startup+970.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 452646 0 0 0 95948 1067 0 0 25 0 1 0 700232825 106672128 25090 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26043 25090 1111 63 0 25980 0 vsize: 104172 [startup+980.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 453874 0 0 0 96946 1069 0 0 25 0 1 0 700232825 106975232 25162 4294967295 134512640 134714540 3221221792 3221220144 134543035 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26117 25162 1111 63 0 26054 0 vsize: 104468 [startup+990.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 455101 0 0 0 97944 1072 0 0 25 0 1 0 700232825 107274240 25235 4294967295 134512640 134714540 3221221792 3221220320 134528617 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26190 25235 1111 63 0 26127 0 vsize: 104760 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 456321 0 0 0 98941 1074 0 0 25 0 1 0 700232825 108703744 25590 4294967295 134512640 134714540 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26539 25590 1111 63 0 26476 0 vsize: 106156 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 459860 0 0 0 99933 1083 0 0 25 0 1 0 700232825 108990464 25663 4294967295 134512640 134714540 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26609 25663 1111 63 0 26546 0 vsize: 106436 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 461086 0 0 0 100930 1086 0 0 25 0 1 0 700232825 109285376 25733 4294967295 134512640 134714540 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26681 25733 1111 63 0 26618 0 vsize: 106724 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 461684 0 0 0 101929 1087 0 0 25 0 1 0 700232825 108838912 25648 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26572 25648 1111 63 0 26509 0 vsize: 106288 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 462437 0 0 0 102926 1090 0 0 25 0 1 0 700232825 108838912 25648 4294967295 134512640 134714540 3221221792 3221220320 134528677 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26572 25648 1111 63 0 26509 0 vsize: 106288 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 463457 0 0 0 103924 1092 0 0 25 0 1 0 700232825 110120960 25937 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26885 25937 1111 63 0 26822 0 vsize: 107540 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 464774 0 0 0 104921 1096 0 0 25 0 1 0 700232825 110788608 26100 4294967295 134512640 134714540 3221221792 3221220272 134539369 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27048 26100 1111 63 0 26985 0 vsize: 108192 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 466084 0 0 0 105918 1099 0 0 25 0 1 0 700232825 111378432 26260 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27192 26260 1111 63 0 27129 0 vsize: 108768 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 466981 0 0 0 106916 1101 0 0 25 0 1 0 700232825 110292992 26003 4294967295 134512640 134714540 3221221792 3221220224 134543674 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26927 26003 1111 63 0 26864 0 vsize: 107708 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 468248 0 0 0 107913 1104 0 0 25 0 1 0 700232825 112029696 26354 4294967295 134512640 134714540 3221221792 3221220272 134543108 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27351 26354 1111 63 0 27288 0 vsize: 109404 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 471778 0 0 0 108905 1112 0 0 25 0 1 0 700232825 112283648 26416 4294967295 134512640 134714540 3221221792 3221220256 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27413 26416 1111 63 0 27350 0 vsize: 109652 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 472561 0 0 0 109904 1114 0 0 25 0 1 0 700232825 111423488 26230 4294967295 134512640 134714540 3221221792 3221220300 134543615 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27203 26230 1111 63 0 27140 0 vsize: 108812 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 473666 0 0 0 110901 1116 0 0 25 0 1 0 700232825 111489024 26246 4294967295 134512640 134714540 3221221792 3221220272 134536630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27219 26246 1111 63 0 27156 0 vsize: 108876 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 474880 0 0 0 111899 1119 0 0 25 0 1 0 700232825 113029120 26593 4294967295 134512640 134714540 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27595 26593 1111 63 0 27532 0 vsize: 110380 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 475777 0 0 0 112896 1122 0 0 25 0 1 0 700232825 111849472 26334 4294967295 134512640 134714540 3221221792 3221220308 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27307 26334 1111 63 0 27244 0 vsize: 109228 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 476987 0 0 0 113893 1125 0 0 25 0 1 0 700232825 113020928 26620 4294967295 134512640 134714540 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27593 26620 1111 63 0 27530 0 vsize: 110372 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 477413 0 0 0 114892 1126 0 0 25 0 1 0 700232825 113586176 26740 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27731 26740 1111 63 0 27668 0 vsize: 110924 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 477888 0 0 0 115891 1127 0 0 25 0 1 0 700232825 113020928 26621 4294967295 134512640 134714540 3221221792 3221220272 134524111 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27593 26621 1111 63 0 27530 0 vsize: 110372 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 478697 0 0 0 116890 1129 0 0 25 0 1 0 700232825 113020928 26621 4294967295 134512640 134714540 3221221792 3221220124 134535891 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27593 26621 1111 63 0 27530 0 vsize: 110372 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 479720 0 0 0 117887 1131 0 0 25 0 1 0 700232825 114298880 26903 4294967295 134512640 134714540 3221221792 3221220296 134543652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27905 26903 1111 63 0 27842 0 vsize: 111620 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 27621 Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 480600 0 0 0 118885 1134 0 0 25 0 1 0 700232825 113102848 26641 4294967295 134512640 134714540 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27613 26641 1111 63 0 27550 0 vsize: 110452 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 27621 Raw data (stat): 27621 (bsolo_mis) Z 27620 7876 7672 0 -1 1036 480600 0 0 0 118885 1139 0 0 25 0 1 0 700232825 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.1 CPU time (s): 1200.25 CPU user time (s): 1188.86 CPU system time (s): 11.3943 CPU usage (%): 100.013 Max. virtual memory (Kb): 111620 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####