Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb |
MD5SUM | 7cb58e3aea22e107ecbc4e74969c24f1 |
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 | 780 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1074509823 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2147731454 |
Number of bits of the biggest sum of numbers | 32 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 22.6916 |
Number of variables | 142226 |
Total number of constraints | 28077 |
Number of constraints which are clauses | 2438 |
Number of constraints which are cardinality constraints (but not clauses) | 7196 |
Number of constraints which are nor clauses,nor cardinality constraints | 18443 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 13:09:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25855 boxname=wulflinc1 idbench=1155 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 7cb58e3aea22e107ecbc4e74969c24f1 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-CMS750_4.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-CMS750_4.opb IDLAUNCH: 25855 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 590968 kB Buffers: 26836 kB Cached: 391764 kB SwapCached: 1164 kB Active: 44780 kB Inactive: 376068 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 590716 kB SwapTotal: 2097136 kB SwapFree: 2094888 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 17020 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 13:28:44 (client local time) WITH STATUS 1 IN 1133.41 SECONDS stats: 25855 7 1133.41 1 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 35704/1969421 Time: 143.894/86400 c Decision: 36183/1969421 Time: 390.104/86400 c Decision: 37032/1969421 Time: 753.267/86400 Unexpected exception : St9bad_alloc #### 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.90 2/55 18763 Raw data (stat): 18763 (runsolver) R 18762 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 914155985 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0001 s] Raw data (loadavg): 0.93 0.95 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 16235 0 0 0 960 39 0 0 25 0 1 0 914155985 48472064 9978 4294967295 134512640 135730672 3221224576 3221221504 134541073 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11834 9978 301 301 0 11533 0 vsize: 47336 [startup+20.0007 s] Raw data (loadavg): 0.94 0.95 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 37118 0 0 0 1914 85 0 0 25 0 1 0 914155985 114532352 21455 4294967295 134512640 135730672 3221224576 3221196800 135282197 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27962 21456 301 301 0 27661 0 vsize: 111848 [startup+30.0005 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 67149 0 0 0 2853 146 0 0 25 0 1 0 914155985 223088640 35971 4294967295 134512640 135730672 3221224576 3221205424 134784071 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54465 35971 301 301 0 54164 0 vsize: 217860 [startup+40.0012 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 77882 0 0 0 3827 173 0 0 25 0 1 0 914155985 223088640 46492 4294967295 134512640 135730672 3221224576 3221202752 134546607 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54465 46492 301 301 0 54164 0 vsize: 217860 [startup+50.0021 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 100309 0 0 0 4771 229 0 0 25 0 1 0 914155985 310218752 56446 4294967295 134512640 135730672 3221224576 3221221776 134577611 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 75737 56446 301 301 0 75436 0 vsize: 302948 [startup+60.0018 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 135697 0 0 0 5701 299 0 0 25 0 1 0 914155985 422334464 72259 4294967295 134512640 135730672 3221224576 3221221592 135291065 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 103109 72259 301 301 0 102808 0 vsize: 412436 [startup+70.0016 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 145574 0 0 0 6676 324 0 0 25 0 1 0 914155985 422334464 81937 4294967295 134512640 135730672 3221224576 3221221776 134579228 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 103109 81937 301 301 0 102808 0 vsize: 412436 [startup+80.0014 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 178182 0 0 0 7598 402 0 0 25 0 1 0 914155985 522997760 89805 4294967295 134512640 135730672 3221224576 3221200536 134787727 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 127685 89805 301 301 0 127384 0 vsize: 510740 [startup+90.0022 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 188014 0 0 0 8576 425 0 0 25 0 1 0 914155985 525565952 99451 4294967295 134512640 135730672 3221224576 3221221292 134637875 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 128312 99452 301 301 0 128011 0 vsize: 513248 [startup+100.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 198694 0 0 0 9546 454 0 0 25 0 1 0 914155985 569798656 109968 4294967295 134512640 135730672 3221224576 3221207360 134787109 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 139111 109968 301 301 0 138810 0 vsize: 556444 [startup+110.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 210901 0 0 0 10513 486 0 0 25 0 1 0 914155985 581963776 121989 4294967295 134512640 135730672 3221224576 3221223248 134742369 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 142081 121989 301 301 0 141780 0 vsize: 568324 [startup+120.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 221087 0 0 0 11489 510 0 0 25 0 1 0 914155985 607461376 128003 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 148306 128003 301 301 0 148005 0 vsize: 593224 [startup+130.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 225662 0 0 0 12481 518 0 0 25 0 1 0 914155985 622534656 131219 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 151986 131219 301 301 0 151685 0 vsize: 607944 [startup+140.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 230460 0 0 0 13472 528 0 0 25 0 1 0 914155985 634822656 133864 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 154986 133864 301 301 0 154685 0 vsize: 619944 [startup+150.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 234742 0 0 0 14462 537 0 0 25 0 1 0 914155985 649871360 136679 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 158660 136679 301 301 0 158359 0 vsize: 634640 [startup+160.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 236447 0 0 0 15442 557 0 0 25 0 1 0 914155985 656699392 138242 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160327 138242 301 301 0 160026 0 vsize: 641308 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 237167 0 0 0 16418 582 0 0 25 0 1 0 914155985 659623936 138962 4294967295 134512640 135730672 3221224576 3221223184 134744912 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161041 138962 301 301 0 160740 0 vsize: 644164 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 237364 0 0 0 17403 598 0 0 25 0 1 0 914155985 660422656 139159 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161236 139159 301 301 0 160935 0 vsize: 644944 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 237554 0 0 0 18388 613 0 0 25 0 1 0 914155985 661221376 139349 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161431 139349 301 301 0 161130 0 vsize: 645724 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 237906 0 0 0 19366 635 0 0 25 0 1 0 914155985 662679552 139701 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161787 139701 301 301 0 161486 0 vsize: 647148 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 238067 0 0 0 20348 653 0 0 25 0 1 0 914155985 663343104 139862 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 161949 139862 301 301 0 161648 0 vsize: 647796 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 238362 0 0 0 21325 676 0 0 25 0 1 0 914155985 664543232 140157 4294967295 134512640 135730672 3221224576 3221223184 134744917 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 162242 140157 301 301 0 161941 0 vsize: 648968 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 238556 0 0 0 22306 695 0 0 25 0 1 0 914155985 665354240 140351 4294967295 134512640 135730672 3221224576 3221223184 134744919 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 162440 140351 301 301 0 162139 0 vsize: 649760 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 239018 0 0 0 23303 698 0 0 25 0 1 0 914155985 667693056 140813 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 163011 140813 301 301 0 162710 0 vsize: 652044 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 242865 0 0 0 24293 708 0 0 25 0 1 0 914155985 667693056 140813 4294967295 134512640 135730672 3221224576 3221223124 135301647 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 163011 140813 301 301 0 162710 0 vsize: 652044 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 245675 0 0 0 25287 715 0 0 25 0 1 0 914155985 675016704 142044 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 164799 142044 301 301 0 164498 0 vsize: 659196 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 246710 0 0 0 26283 718 0 0 25 0 1 0 914155985 677781504 142497 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 165474 142497 301 301 0 165173 0 vsize: 661896 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 250652 0 0 0 27275 726 0 0 25 0 1 0 914155985 688300032 144258 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 168042 144258 301 301 0 167741 0 vsize: 672168 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 253805 0 0 0 28269 732 0 0 25 0 1 0 914155985 696336384 145861 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 170004 145861 301 301 0 169703 0 vsize: 680016 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 258022 0 0 0 29260 741 0 0 25 0 1 0 914155985 708161536 147406 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 172891 147406 301 301 0 172590 0 vsize: 691564 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 258766 0 0 0 30259 743 0 0 25 0 1 0 914155985 710991872 147637 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 173582 147637 301 301 0 173281 0 vsize: 694328 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 261869 0 0 0 31250 751 0 0 25 0 1 0 914155985 720384000 149084 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 175875 149084 301 301 0 175574 0 vsize: 703500 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 263952 0 0 0 32243 757 0 0 25 0 1 0 914155985 726142976 150208 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 177281 150208 301 301 0 176980 0 vsize: 709124 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 268183 0 0 0 33236 764 0 0 25 0 1 0 914155985 736784384 152019 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 179879 152019 301 301 0 179578 0 vsize: 719516 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 268391 0 0 0 34235 765 0 0 25 0 1 0 914155985 737640448 152194 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 180088 152194 301 301 0 179787 0 vsize: 720352 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 268961 0 0 0 35234 767 0 0 25 0 1 0 914155985 739590144 152488 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 180564 152488 301 301 0 180263 0 vsize: 722256 [startup+370.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 269938 0 0 0 36232 769 0 0 25 0 1 0 914155985 741892096 153014 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 181126 153014 301 301 0 180825 0 vsize: 724504 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 275597 0 0 0 37221 780 0 0 25 0 1 0 914155985 758878208 154722 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 185273 154722 301 301 0 184972 0 vsize: 741092 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 279776 0 0 0 38212 789 0 0 25 0 1 0 914155985 770367488 156448 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 188078 156448 301 301 0 187777 0 vsize: 752312 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 281421 0 0 0 39209 792 0 0 25 0 1 0 914155985 775610368 156810 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 189358 156810 301 301 0 189057 0 vsize: 757432 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 281888 0 0 0 40206 795 0 0 25 0 1 0 914155985 777396224 157145 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 189794 157145 301 301 0 189493 0 vsize: 759176 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 283036 0 0 0 41204 798 0 0 25 0 1 0 914155985 780185600 157679 4294967295 134512640 135730672 3221224576 3221223232 134734774 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 190475 157679 301 301 0 190174 0 vsize: 761900 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 284688 0 0 0 42200 801 0 0 25 0 1 0 914155985 784478208 158496 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 191523 158496 301 301 0 191222 0 vsize: 766092 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 285547 0 0 0 43198 804 0 0 25 0 1 0 914155985 786051072 158969 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 191907 158969 301 301 0 191606 0 vsize: 767628 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 287633 0 0 0 44194 808 0 0 25 0 1 0 914155985 791498752 160120 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 193237 160120 301 301 0 192936 0 vsize: 772948 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 287868 0 0 0 45194 809 0 0 25 0 1 0 914155985 791896064 160339 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 193334 160339 301 301 0 193033 0 vsize: 773336 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 287960 0 0 0 46194 809 0 0 25 0 1 0 914155985 791896064 160431 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 193334 160431 301 301 0 193033 0 vsize: 773336 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 288037 0 0 0 47193 809 0 0 25 0 1 0 914155985 792485888 160508 4294967295 134512640 135730672 3221224576 3221223184 134744788 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 193478 160508 301 301 0 193177 0 vsize: 773912 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 288078 0 0 0 48191 812 0 0 25 0 1 0 914155985 792682496 160549 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 193526 160549 301 301 0 193225 0 vsize: 774104 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 291944 0 0 0 49180 823 0 0 25 0 1 0 914155985 792821760 160568 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 193560 160568 301 301 0 193259 0 vsize: 774240 [startup+510.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 299984 0 0 0 50164 839 0 0 25 0 1 0 914155985 810684416 164509 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 197921 164509 301 301 0 197620 0 vsize: 791684 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 304334 0 0 0 51155 848 0 0 25 0 1 0 914155985 820133888 166633 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 200228 166633 301 301 0 199927 0 vsize: 800912 [startup+530.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 308233 0 0 0 52146 858 0 0 25 0 1 0 914155985 828665856 168531 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 202311 168531 301 301 0 202010 0 vsize: 809244 [startup+540.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 308674 0 0 0 53143 860 0 0 25 0 1 0 914155985 830230528 168793 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 202693 168793 301 301 0 202392 0 vsize: 810772 [startup+550.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 308905 0 0 0 54140 864 0 0 25 0 1 0 914155985 831025152 168943 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 202887 168943 301 301 0 202586 0 vsize: 811548 [startup+560.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 309154 0 0 0 55137 867 0 0 25 0 1 0 914155985 831881216 169094 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 203096 169094 301 301 0 202795 0 vsize: 812384 [startup+570.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 309441 0 0 0 56134 870 0 0 25 0 1 0 914155985 832917504 169315 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 203349 169315 301 301 0 203048 0 vsize: 813396 [startup+580.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 309950 0 0 0 57133 871 0 0 25 0 1 0 914155985 834371584 169562 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 203704 169562 301 301 0 203403 0 vsize: 814816 [startup+590.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 310194 0 0 0 58131 874 0 0 25 0 1 0 914155985 835293184 169741 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 203929 169741 301 301 0 203628 0 vsize: 815716 [startup+600.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 310268 0 0 0 59130 874 0 0 25 0 1 0 914155985 835559424 169815 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 203994 169815 301 301 0 203693 0 vsize: 815976 [startup+610.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 311358 0 0 0 60127 878 0 0 25 0 1 0 914155985 839901184 169879 4294967295 134512640 135730672 3221224576 3221223200 134748168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 205054 169879 301 301 0 204753 0 vsize: 820216 [startup+620.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 313157 0 0 0 61123 882 0 0 25 0 1 0 914155985 846192640 170139 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 206590 170139 301 301 0 206289 0 vsize: 826360 [startup+630.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 313185 0 0 0 62122 883 0 0 25 0 1 0 914155985 846192640 170167 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 206590 170167 301 301 0 206289 0 vsize: 826360 [startup+640.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 313186 0 0 0 63122 883 0 0 25 0 1 0 914155985 846192640 170168 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 206590 170168 301 301 0 206289 0 vsize: 826360 [startup+650.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 319289 0 0 0 64110 895 0 0 25 0 1 0 914155985 859430912 173015 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 209822 173015 301 301 0 209521 0 vsize: 839288 [startup+660.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 321276 0 0 0 65106 900 0 0 25 0 1 0 914155985 863506432 174034 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 210817 174034 301 301 0 210516 0 vsize: 843268 [startup+670.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 324094 0 0 0 66100 905 0 0 25 0 1 0 914155985 870686720 175401 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 212570 175401 301 301 0 212269 0 vsize: 850280 [startup+680.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 326829 0 0 0 67095 911 0 0 25 0 1 0 914155985 876589056 176717 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 214011 176717 301 301 0 213710 0 vsize: 856044 [startup+690.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 328426 0 0 0 68092 915 0 0 25 0 1 0 914155985 880095232 177542 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 214867 177542 301 301 0 214566 0 vsize: 859468 [startup+700.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 330817 0 0 0 69087 920 0 0 25 0 1 0 914155985 885424128 178836 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 216168 178836 301 301 0 215867 0 vsize: 864672 [startup+710.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 333447 0 0 0 70083 924 0 0 25 0 1 0 914155985 891473920 180142 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 217645 180142 301 301 0 217344 0 vsize: 870580 [startup+720.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 333586 0 0 0 71083 924 0 0 25 0 1 0 914155985 892006400 180215 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 217775 180215 301 301 0 217474 0 vsize: 871100 [startup+730.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 333589 0 0 0 72083 924 0 0 25 0 1 0 914155985 892006400 180218 4294967295 134512640 135730672 3221224576 3221223072 134747885 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 217775 180218 301 301 0 217474 0 vsize: 871100 [startup+740.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 334653 0 0 0 73082 926 0 0 25 0 1 0 914155985 894509056 180765 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 218386 180765 301 301 0 218085 0 vsize: 873544 [startup+750.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 334680 0 0 0 74081 926 0 0 25 0 1 0 914155985 894644224 180792 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 218419 180792 301 301 0 218118 0 vsize: 873676 [startup+760.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 334680 0 0 0 75081 927 0 0 25 0 1 0 914155985 894644224 180792 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 218419 180792 301 301 0 218118 0 vsize: 873676 [startup+770.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 334683 0 0 0 76082 927 0 0 25 0 1 0 914155985 894644224 180795 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 218419 180795 301 301 0 218118 0 vsize: 873676 [startup+780.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 334686 0 0 0 77082 927 0 0 25 0 1 0 914155985 894644224 180798 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 218419 180798 301 301 0 218118 0 vsize: 873676 [startup+790.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 334686 0 0 0 78082 927 0 0 25 0 1 0 914155985 894644224 180798 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 218419 180798 301 301 0 218118 0 vsize: 873676 [startup+800.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 335563 0 0 0 79080 929 0 0 25 0 1 0 914155985 896479232 181224 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 218867 181224 301 301 0 218566 0 vsize: 875468 [startup+810.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 338327 0 0 0 80075 934 0 0 25 0 1 0 914155985 902516736 182569 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 220341 182569 301 301 0 220040 0 vsize: 881364 [startup+820.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 341153 0 0 0 81070 940 0 0 25 0 1 0 914155985 908685312 183943 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 221847 183943 301 301 0 221546 0 vsize: 887388 [startup+830.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 342056 0 0 0 82068 942 0 0 25 0 1 0 914155985 910655488 184395 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 222328 184395 301 301 0 222027 0 vsize: 889312 [startup+840.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 343875 0 0 0 83065 945 0 0 25 0 1 0 914155985 914591744 185279 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 223289 185279 301 301 0 222988 0 vsize: 893156 [startup+850.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 344868 0 0 0 84063 947 0 0 25 0 1 0 914155985 916963328 185788 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 223868 185788 301 301 0 223567 0 vsize: 895472 [startup+860.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 348716 0 0 0 85052 959 0 0 25 0 1 0 914155985 932720640 189636 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 227715 189636 301 301 0 227414 0 vsize: 910860 [startup+870.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 348788 0 0 0 86050 960 0 0 25 0 1 0 914155985 917098496 185861 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 223901 185861 301 301 0 223600 0 vsize: 895604 [startup+880.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 349663 0 0 0 87048 962 0 0 25 0 1 0 914155985 918933504 186285 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 224349 186285 301 301 0 224048 0 vsize: 897396 [startup+890.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 349754 0 0 0 88048 963 0 0 25 0 1 0 914155985 919474176 186376 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 224481 186376 301 301 0 224180 0 vsize: 897924 [startup+900.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 349850 0 0 0 89047 964 0 0 25 0 1 0 914155985 919875584 186472 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 224579 186472 301 301 0 224278 0 vsize: 898316 [startup+910.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 351259 0 0 0 90043 969 0 0 25 0 1 0 914155985 923684864 187044 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 225509 187044 301 301 0 225208 0 vsize: 902036 [startup+920.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 351408 0 0 0 91041 970 0 0 25 0 1 0 914155985 923684864 187193 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 225509 187193 301 301 0 225208 0 vsize: 902036 [startup+930.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 353417 0 0 0 92035 976 0 0 25 0 1 0 914155985 928944128 188038 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 226793 188038 301 301 0 226492 0 vsize: 907172 [startup+940.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 353424 0 0 0 93034 978 0 0 25 0 1 0 914155985 928944128 188045 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 226793 188045 301 301 0 226492 0 vsize: 907172 [startup+950.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 353425 0 0 0 94034 978 0 0 25 0 1 0 914155985 928944128 188046 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 226793 188046 301 301 0 226492 0 vsize: 907172 [startup+960.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 353426 0 0 0 95034 978 0 0 25 0 1 0 914155985 928944128 188047 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 226793 188047 301 301 0 226492 0 vsize: 907172 [startup+970.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 353484 0 0 0 96034 978 0 0 25 0 1 0 914155985 929075200 188072 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 226825 188072 301 301 0 226524 0 vsize: 907300 [startup+980.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356682 0 0 0 97027 985 0 0 25 0 1 0 914155985 936439808 189653 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 228623 189653 301 301 0 228322 0 vsize: 914492 [startup+990.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356779 0 0 0 98027 986 0 0 25 0 1 0 914155985 936439808 189750 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 228623 189750 301 301 0 228322 0 vsize: 914492 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356779 0 0 0 99027 986 0 0 25 0 1 0 914155985 936439808 189750 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 228623 189750 301 301 0 228322 0 vsize: 914492 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356779 0 0 0 100027 986 0 0 25 0 1 0 914155985 936439808 189750 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 228623 189750 301 301 0 228322 0 vsize: 914492 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356779 0 0 0 101027 986 0 0 25 0 1 0 914155985 936439808 189750 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 228623 189750 301 301 0 228322 0 vsize: 914492 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356903 0 0 0 102026 987 0 0 25 0 1 0 914155985 937103360 189874 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 228785 189874 301 301 0 228484 0 vsize: 915140 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 356947 0 0 0 103027 987 0 0 25 0 1 0 914155985 937238528 189918 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 228818 189918 301 301 0 228517 0 vsize: 915272 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 357520 0 0 0 104025 989 0 0 25 0 1 0 914155985 939335680 189978 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 229330 189978 301 301 0 229029 0 vsize: 917320 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 357641 0 0 0 105024 990 0 0 25 0 1 0 914155985 939483136 190099 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 229366 190099 301 301 0 229065 0 vsize: 917464 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 357651 0 0 0 106024 991 0 0 25 0 1 0 914155985 939483136 190109 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 229366 190109 301 301 0 229065 0 vsize: 917464 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 357916 0 0 0 107022 993 0 0 25 0 1 0 914155985 940593152 190322 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 229637 190322 301 301 0 229336 0 vsize: 918548 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 357922 0 0 0 108021 993 0 0 25 0 1 0 914155985 940593152 190328 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 229637 190328 301 301 0 229336 0 vsize: 918548 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 357971 0 0 0 109021 994 0 0 25 0 1 0 914155985 940789760 190377 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 229685 190377 301 301 0 229384 0 vsize: 918740 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 358048 0 0 0 110020 995 0 0 25 0 1 0 914155985 941056000 190421 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 229750 190421 301 301 0 229449 0 vsize: 919000 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 358776 0 0 0 111018 997 0 0 25 0 1 0 914155985 942899200 190807 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 230200 190807 301 301 0 229899 0 vsize: 920800 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 358854 0 0 0 111996 1020 0 0 25 0 1 0 914155985 326909952 77131 4294967295 134512640 135730672 3221224576 3221222764 135281170 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79812 77131 301 301 0 79511 0 vsize: 319248 [startup+1133.29 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 18763 Raw data (stat): 18763 (pb2sat-v2) R 18762 8378 8377 0 -1 0 358854 0 0 0 111996 1020 0 0 25 0 1 0 914155985 326909952 77131 4294967295 134512640 135730672 3221224576 3221222764 135281170 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79812 77131 301 301 0 79511 0 vsize: 0 Child status: 1 Real time (s): 1133.29 CPU time (s): 1133.41 CPU user time (s): 1123.05 CPU system time (s): 10.3624 CPU usage (%): 100.011 Max. virtual memory (Kb): 920800 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####