Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb |
MD5SUM | ebb49febffdfe5475bc23e4ef8d466db |
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 | 188160 |
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 | 6734508713856 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 536870912000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 4602477289606474 |
Number of bits of the biggest sum of numbers | 53 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.65459 |
Number of variables | 282240 |
Total number of constraints | 3136 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3136 |
Minimum length of a constraint | 150 |
Maximum length of a constraint | 720 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 05:41:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25546 boxname=wulflinc1 idbench=846 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: ebb49febffdfe5475bc23e4ef8d466db /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-maros-r7.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-maros-r7.opb IDLAUNCH: 25546 /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: 604148 kB Buffers: 34284 kB Cached: 371300 kB SwapCached: 1192 kB Active: 108408 kB Inactive: 299464 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 603868 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 16768 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 05:59:44 (client local time) WITH STATUS 1 IN 1109.41 SECONDS stats: 25546 7 1109.41 1 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified 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.93 0.94 0.91 2/55 14402 Raw data (stat): 14402 (runsolver) R 14401 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911463959 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.0004 s] Raw data (loadavg): 0.94 0.94 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 2223 0 0 0 993 5 0 0 25 0 1 0 911463959 8093696 1546 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1976 1546 301 301 0 1675 0 vsize: 7904 [startup+20.0012 s] Raw data (loadavg): 0.95 0.94 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 2748 0 0 0 1992 7 0 0 25 0 1 0 911463959 9445376 2063 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2306 2063 301 301 0 2005 0 vsize: 9224 [startup+30.0009 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 3881 0 0 0 2990 9 0 0 25 0 1 0 911463959 13414400 2484 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3275 2484 301 301 0 2974 0 vsize: 13100 [startup+40.0017 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 4131 0 0 0 3990 10 0 0 25 0 1 0 911463959 14090240 2729 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3440 2729 301 301 0 3139 0 vsize: 13760 [startup+50.002 s] Raw data (loadavg): 0.97 0.94 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 4385 0 0 0 4989 10 0 0 25 0 1 0 911463959 14766080 2979 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3605 2979 301 301 0 3304 0 vsize: 14420 [startup+60.0023 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 4612 0 0 0 5989 11 0 0 25 0 1 0 911463959 15306752 3203 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3737 3203 301 301 0 3436 0 vsize: 14948 [startup+70.0021 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 4817 0 0 0 6988 12 0 0 25 0 1 0 911463959 15847424 3404 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3869 3404 301 301 0 3568 0 vsize: 15476 [startup+80.0019 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 5009 0 0 0 7987 13 0 0 25 0 1 0 911463959 16388096 3593 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4001 3593 301 301 0 3700 0 vsize: 16004 [startup+90.0017 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 5191 0 0 0 8986 14 0 0 25 0 1 0 911463959 16928768 3772 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4133 3772 301 301 0 3832 0 vsize: 16532 [startup+100.001 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 5363 0 0 0 9985 15 0 0 25 0 1 0 911463959 17334272 3942 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4232 3942 301 301 0 3931 0 vsize: 16928 [startup+110.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 7445 0 0 0 10980 20 0 0 25 0 1 0 911463959 25407488 4611 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4611 301 301 0 5902 0 vsize: 24812 [startup+120.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 7501 0 0 0 11980 21 0 0 25 0 1 0 911463959 25407488 4664 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4664 301 301 0 5902 0 vsize: 24812 [startup+130.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 7555 0 0 0 12980 21 0 0 25 0 1 0 911463959 25407488 4716 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4716 301 301 0 5902 0 vsize: 24812 [startup+140.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 7607 0 0 0 13979 22 0 0 25 0 1 0 911463959 25407488 4766 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4766 301 301 0 5902 0 vsize: 24812 [startup+150.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 7685 0 0 0 14979 22 0 0 25 0 1 0 911463959 25407488 4841 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4841 301 301 0 5902 0 vsize: 24812 [startup+160.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 7738 0 0 0 15979 23 0 0 25 0 1 0 911463959 25542656 4892 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6236 4892 301 301 0 5935 0 vsize: 24944 [startup+170.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 7871 0 0 0 16979 23 0 0 25 0 1 0 911463959 25812992 5023 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6302 5023 301 301 0 6001 0 vsize: 25208 [startup+180.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 8001 0 0 0 17978 24 0 0 25 0 1 0 911463959 26218496 5151 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6401 5151 301 301 0 6100 0 vsize: 25604 [startup+190.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 8127 0 0 0 18977 25 0 0 25 0 1 0 911463959 26488832 5275 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6467 5275 301 301 0 6166 0 vsize: 25868 [startup+200.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 8251 0 0 0 19977 25 0 0 25 0 1 0 911463959 26894336 5397 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6566 5397 301 301 0 6265 0 vsize: 26264 [startup+210.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 8372 0 0 0 20976 26 0 0 25 0 1 0 911463959 27164672 5516 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6632 5516 301 301 0 6331 0 vsize: 26528 [startup+220.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 8490 0 0 0 21976 26 0 0 25 0 1 0 911463959 27435008 5632 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6698 5632 301 301 0 6397 0 vsize: 26792 [startup+230.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 8606 0 0 0 22975 27 0 0 25 0 1 0 911463959 27840512 5746 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6797 5746 301 301 0 6496 0 vsize: 27188 [startup+240.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 8719 0 0 0 23975 28 0 0 25 0 1 0 911463959 28110848 5857 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6863 5857 301 301 0 6562 0 vsize: 27452 [startup+250.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 8830 0 0 0 24974 28 0 0 25 0 1 0 911463959 28381184 5966 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6929 5966 301 301 0 6628 0 vsize: 27716 [startup+260.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 8938 0 0 0 25974 29 0 0 25 0 1 0 911463959 28651520 6073 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6995 6073 301 301 0 6694 0 vsize: 27980 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 9045 0 0 0 26974 29 0 0 25 0 1 0 911463959 28921856 6178 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7061 6178 301 301 0 6760 0 vsize: 28244 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 9149 0 0 0 27974 30 0 0 25 0 1 0 911463959 29192192 6280 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7127 6280 301 301 0 6826 0 vsize: 28508 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 9252 0 0 0 28973 30 0 0 25 0 1 0 911463959 29462528 6382 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7193 6382 301 301 0 6892 0 vsize: 28772 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 9355 0 0 0 29973 30 0 0 25 0 1 0 911463959 29732864 6483 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7259 6483 301 301 0 6958 0 vsize: 29036 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 9454 0 0 0 30973 31 0 0 25 0 1 0 911463959 30003200 6580 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7325 6580 301 301 0 7024 0 vsize: 29300 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 9552 0 0 0 31972 32 0 0 25 0 1 0 911463959 30273536 6677 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7391 6677 301 301 0 7090 0 vsize: 29564 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 9650 0 0 0 32972 32 0 0 25 0 1 0 911463959 30543872 6773 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7457 6773 301 301 0 7156 0 vsize: 29828 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 9745 0 0 0 33972 33 0 0 25 0 1 0 911463959 30814208 6867 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7523 6867 301 301 0 7222 0 vsize: 30092 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 9840 0 0 0 34971 33 0 0 25 0 1 0 911463959 31084544 6960 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7589 6960 301 301 0 7288 0 vsize: 30356 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 9933 0 0 0 35971 33 0 0 25 0 1 0 911463959 31354880 7052 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7655 7052 301 301 0 7354 0 vsize: 30620 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 10025 0 0 0 36971 34 0 0 25 0 1 0 911463959 31490048 7142 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7688 7142 301 301 0 7387 0 vsize: 30752 [startup+380.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 10116 0 0 0 37971 34 0 0 25 0 1 0 911463959 31760384 7232 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7754 7232 301 301 0 7453 0 vsize: 31016 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 10204 0 0 0 38970 35 0 0 25 0 1 0 911463959 32030720 7318 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7820 7318 301 301 0 7519 0 vsize: 31280 [startup+400.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 10292 0 0 0 39970 35 0 0 25 0 1 0 911463959 32301056 7405 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7886 7405 301 301 0 7585 0 vsize: 31544 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 10381 0 0 0 40970 36 0 0 25 0 1 0 911463959 32436224 7492 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7919 7492 301 301 0 7618 0 vsize: 31676 [startup+420.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 10467 0 0 0 41969 36 0 0 25 0 1 0 911463959 32706560 7577 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7985 7577 301 301 0 7684 0 vsize: 31940 [startup+430.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 10553 0 0 0 42969 36 0 0 25 0 1 0 911463959 32976896 7662 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8051 7662 301 301 0 7750 0 vsize: 32204 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 10637 0 0 0 43969 37 0 0 25 0 1 0 911463959 33112064 7744 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8084 7744 301 301 0 7783 0 vsize: 32336 [startup+450.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 10721 0 0 0 44968 38 0 0 25 0 1 0 911463959 33382400 7827 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8150 7827 301 301 0 7849 0 vsize: 32600 [startup+460.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 10803 0 0 0 45968 38 0 0 25 0 1 0 911463959 33652736 7908 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8216 7908 301 301 0 7915 0 vsize: 32864 [startup+470.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 10885 0 0 0 46968 38 0 0 25 0 1 0 911463959 33787904 7988 4294967295 134512640 135730672 3221224576 3221221664 134561684 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8249 7988 301 301 0 7948 0 vsize: 32996 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 13824 0 0 0 47962 44 0 0 25 0 1 0 911463959 55402496 10816 4294967295 134512640 135730672 3221224576 3221220920 135286094 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13526 10816 301 301 0 13225 0 vsize: 54104 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 14833 0 0 0 48960 47 0 0 25 0 1 0 911463959 49258496 9116 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9116 301 301 0 11725 0 vsize: 48104 [startup+500.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 14861 0 0 0 49960 47 0 0 25 0 1 0 911463959 49258496 9143 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9143 301 301 0 11725 0 vsize: 48104 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 14890 0 0 0 50960 47 0 0 25 0 1 0 911463959 49258496 9170 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9170 301 301 0 11725 0 vsize: 48104 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 14917 0 0 0 51960 47 0 0 25 0 1 0 911463959 49258496 9196 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9196 301 301 0 11725 0 vsize: 48104 [startup+530.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 14945 0 0 0 52960 48 0 0 25 0 1 0 911463959 49258496 9223 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9223 301 301 0 11725 0 vsize: 48104 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 14973 0 0 0 53959 48 0 0 25 0 1 0 911463959 49258496 9249 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9249 301 301 0 11725 0 vsize: 48104 [startup+550.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 14999 0 0 0 54959 49 0 0 25 0 1 0 911463959 49258496 9274 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9274 301 301 0 11725 0 vsize: 48104 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15025 0 0 0 55959 49 0 0 25 0 1 0 911463959 49258496 9299 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9299 301 301 0 11725 0 vsize: 48104 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15052 0 0 0 56959 49 0 0 25 0 1 0 911463959 49258496 9325 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9325 301 301 0 11725 0 vsize: 48104 [startup+580.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15078 0 0 0 57959 50 0 0 25 0 1 0 911463959 49258496 9350 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9350 301 301 0 11725 0 vsize: 48104 [startup+590.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15105 0 0 0 58959 50 0 0 25 0 1 0 911463959 49258496 9375 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9375 301 301 0 11725 0 vsize: 48104 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15130 0 0 0 59959 50 0 0 25 0 1 0 911463959 49258496 9399 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9399 301 301 0 11725 0 vsize: 48104 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15156 0 0 0 60959 50 0 0 25 0 1 0 911463959 49258496 9424 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9424 301 301 0 11725 0 vsize: 48104 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15207 0 0 0 61959 51 0 0 25 0 1 0 911463959 49258496 9474 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9474 301 301 0 11725 0 vsize: 48104 [startup+630.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15232 0 0 0 62958 51 0 0 25 0 1 0 911463959 49258496 9498 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9498 301 301 0 11725 0 vsize: 48104 [startup+640.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15257 0 0 0 63958 51 0 0 25 0 1 0 911463959 49258496 9522 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9522 301 301 0 11725 0 vsize: 48104 [startup+650.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15281 0 0 0 64958 51 0 0 25 0 1 0 911463959 49258496 9545 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9545 301 301 0 11725 0 vsize: 48104 [startup+660.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15307 0 0 0 65958 51 0 0 25 0 1 0 911463959 49258496 9569 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9569 301 301 0 11725 0 vsize: 48104 [startup+670.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15331 0 0 0 66958 52 0 0 25 0 1 0 911463959 49258496 9592 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9592 301 301 0 11725 0 vsize: 48104 [startup+680.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15386 0 0 0 67958 52 0 0 25 0 1 0 911463959 49393664 9646 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12059 9646 301 301 0 11758 0 vsize: 48236 [startup+690.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15455 0 0 0 68958 52 0 0 25 0 1 0 911463959 49664000 9714 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12125 9714 301 301 0 11824 0 vsize: 48500 [startup+700.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15524 0 0 0 69958 53 0 0 25 0 1 0 911463959 49799168 9782 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12158 9782 301 301 0 11857 0 vsize: 48632 [startup+710.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15590 0 0 0 70957 53 0 0 25 0 1 0 911463959 49934336 9847 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12191 9847 301 301 0 11890 0 vsize: 48764 [startup+720.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15656 0 0 0 71956 53 0 0 25 0 1 0 911463959 50204672 9912 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12257 9912 301 301 0 11956 0 vsize: 49028 [startup+730.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15721 0 0 0 72955 53 0 0 25 0 1 0 911463959 50339840 9976 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12290 9976 301 301 0 11989 0 vsize: 49160 [startup+740.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15789 0 0 0 73955 54 0 0 25 0 1 0 911463959 50475008 10043 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12323 10043 301 301 0 12022 0 vsize: 49292 [startup+750.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15855 0 0 0 74955 54 0 0 25 0 1 0 911463959 50745344 10108 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12389 10108 301 301 0 12088 0 vsize: 49556 [startup+760.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15920 0 0 0 75955 54 0 0 25 0 1 0 911463959 50880512 10172 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12422 10172 301 301 0 12121 0 vsize: 49688 [startup+770.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 15984 0 0 0 76954 55 0 0 25 0 1 0 911463959 51015680 10235 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12455 10235 301 301 0 12154 0 vsize: 49820 [startup+780.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16050 0 0 0 77955 55 0 0 25 0 1 0 911463959 51150848 10300 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12488 10300 301 301 0 12187 0 vsize: 49952 [startup+790.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16115 0 0 0 78954 55 0 0 25 0 1 0 911463959 51421184 10363 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12554 10363 301 301 0 12253 0 vsize: 50216 [startup+800.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16178 0 0 0 79954 55 0 0 25 0 1 0 911463959 51556352 10425 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12587 10425 301 301 0 12286 0 vsize: 50348 [startup+810.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16242 0 0 0 80954 56 0 0 25 0 1 0 911463959 51691520 10488 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12620 10488 301 301 0 12319 0 vsize: 50480 [startup+820.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16305 0 0 0 81954 56 0 0 25 0 1 0 911463959 51826688 10550 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12653 10550 301 301 0 12352 0 vsize: 50612 [startup+830.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16368 0 0 0 82953 56 0 0 25 0 1 0 911463959 52097024 10612 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12719 10612 301 301 0 12418 0 vsize: 50876 [startup+840.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16430 0 0 0 83954 56 0 0 25 0 1 0 911463959 52232192 10673 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12752 10673 301 301 0 12451 0 vsize: 51008 [startup+850.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16492 0 0 0 84953 57 0 0 25 0 1 0 911463959 52367360 10734 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12785 10734 301 301 0 12484 0 vsize: 51140 [startup+860.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16554 0 0 0 85954 57 0 0 25 0 1 0 911463959 52502528 10795 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12818 10795 301 301 0 12517 0 vsize: 51272 [startup+870.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16615 0 0 0 86953 57 0 0 25 0 1 0 911463959 52637696 10855 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12851 10855 301 301 0 12550 0 vsize: 51404 [startup+880.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16677 0 0 0 87953 57 0 0 25 0 1 0 911463959 52908032 10916 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12917 10916 301 301 0 12616 0 vsize: 51668 [startup+890.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16736 0 0 0 88953 58 0 0 25 0 1 0 911463959 53043200 10974 4294967295 134512640 135730672 3221224576 3221221520 134539721 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12950 10974 301 301 0 12649 0 vsize: 51800 [startup+900.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16797 0 0 0 89953 58 0 0 25 0 1 0 911463959 53178368 11034 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12983 11034 301 301 0 12682 0 vsize: 51932 [startup+910.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16856 0 0 0 90953 58 0 0 25 0 1 0 911463959 53313536 11093 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13016 11093 301 301 0 12715 0 vsize: 52064 [startup+920.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16915 0 0 0 91953 58 0 0 25 0 1 0 911463959 53448704 11151 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13049 11151 301 301 0 12748 0 vsize: 52196 [startup+930.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 16975 0 0 0 92953 58 0 0 25 0 1 0 911463959 53583872 11210 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13082 11210 301 301 0 12781 0 vsize: 52328 [startup+940.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 17034 0 0 0 93953 58 0 0 25 0 1 0 911463959 53854208 11268 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13148 11268 301 301 0 12847 0 vsize: 52592 [startup+950.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 17092 0 0 0 94953 58 0 0 25 0 1 0 911463959 53989376 11325 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13181 11325 301 301 0 12880 0 vsize: 52724 [startup+960.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 17151 0 0 0 95953 59 0 0 25 0 1 0 911463959 54124544 11383 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13214 11383 301 301 0 12913 0 vsize: 52856 [startup+970.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 17208 0 0 0 96953 59 0 0 25 0 1 0 911463959 54259712 11439 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13247 11439 301 301 0 12946 0 vsize: 52988 [startup+980.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 17267 0 0 0 97953 59 0 0 25 0 1 0 911463959 54394880 11497 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13280 11497 301 301 0 12979 0 vsize: 53120 [startup+990.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 17325 0 0 0 98953 59 0 0 25 0 1 0 911463959 54530048 11554 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13313 11554 301 301 0 13012 0 vsize: 53252 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 18840 0 0 0 99949 63 0 0 25 0 1 0 911463959 60747776 13068 4294967295 134512640 135730672 3221224576 3221221584 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14831 13068 301 301 0 14530 0 vsize: 59324 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 46805 0 0 0 100896 117 0 0 25 0 1 0 911463959 147935232 30111 4294967295 134512640 135730672 3221224576 3220920248 135285983 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36117 30111 301 301 0 35816 0 vsize: 144468 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 79382 0 0 0 101836 176 0 0 25 0 1 0 911463959 259887104 47159 4294967295 134512640 135730672 3221224576 3220925656 135284287 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 63449 47159 301 301 0 63148 0 vsize: 253796 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 106537 0 0 0 102782 231 0 0 25 0 1 0 911463959 325275648 61813 4294967295 134512640 135730672 3221224576 3220930784 134786805 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 79413 61815 301 301 0 79112 0 vsize: 317652 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 124153 0 0 0 103753 260 0 0 25 0 1 0 911463959 385531904 79220 4294967295 134512640 135730672 3221224576 3220922432 134786780 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 94124 79221 301 301 0 93823 0 vsize: 376496 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 161254 0 0 0 104687 326 0 0 25 0 1 0 911463959 512270336 97775 4294967295 134512640 135730672 3221224576 3220923536 134551105 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 125066 97775 301 301 0 124765 0 vsize: 500264 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 178435 0 0 0 105654 359 0 0 25 0 1 0 911463959 713601024 114751 4294967295 134512640 135730672 3221224576 3220928640 134788521 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 174219 114755 301 301 0 173918 0 vsize: 696876 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 208566 0 0 0 106593 420 0 0 25 0 1 0 911463959 655417344 120136 4294967295 134512640 135730672 3221224576 3220932560 134784071 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160014 120136 301 301 0 159713 0 vsize: 640056 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 226179 0 0 0 107561 453 0 0 25 0 1 0 911463959 681676800 137544 4294967295 134512640 135730672 3221224576 3220925264 134546483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 166425 137545 301 301 0 166124 0 vsize: 665700 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 244225 0 0 0 108526 487 0 0 25 0 1 0 911463959 708526080 155380 4294967295 134512640 135730672 3221224576 3220924800 134546351 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 172980 155380 301 301 0 172679 0 vsize: 691920 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 258486 0 0 0 109498 513 0 0 25 0 1 0 911463959 725929984 168741 4294967295 134512640 135730672 3221224576 3221222752 135284078 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 177229 168741 301 301 0 176928 0 vsize: 708916 [startup+1109.32 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 14402 Raw data (stat): 14402 (pb2sat-v2) R 14401 8378 8377 0 -1 0 258486 0 0 0 109498 513 0 0 25 0 1 0 911463959 725929984 168741 4294967295 134512640 135730672 3221224576 3221222752 135284078 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 177229 168741 301 301 0 176928 0 vsize: 0 Child status: 1 Real time (s): 1109.32 CPU time (s): 1109.41 CPU user time (s): 1103.92 CPU system time (s): 5.48517 CPU usage (%): 100.008 Max. virtual memory (Kb): 708916 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####