Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb |
MD5SUM | 501db04e3c45fac1238dfa119cd7abd9 |
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 | 282020 |
Biggest coefficient in the objective function | 2456844338462720 |
Number of bits for the biggest coefficient in the objective function | 52 |
Sum of the numbers in the objective function | -2082450254578026316 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 2456844338462720 |
Number of bits of the biggest number in a constraint | 52 |
Biggest sum of numbers in a constraint | -2082450254578026316 |
Number of bits of the biggest sum of numbers | 64 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.6406 |
Number of variables | 282020 |
Total number of constraints | 1761 |
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 | 1761 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 49260 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 08:52:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25703 boxname=wulflinc1 idbench=1003 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 501db04e3c45fac1238dfa119cd7abd9 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sp97ar.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-sp97ar.opb IDLAUNCH: 25703 /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: 474872 kB Buffers: 33544 kB Cached: 501104 kB SwapCached: 1192 kB Active: 145748 kB Inactive: 391168 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 474592 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5364 kB Slab: 17024 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 09:12:55 (client local time) WITH STATUS 0 IN 1201.19 SECONDS stats: 25703 7 1201.19 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified s UNKNOWN #### 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): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (runsolver) R 16897 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912613839 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.0006 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 2177 0 0 0 995 4 0 0 25 0 1 0 912613839 7958528 1502 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1943 1502 301 301 0 1642 0 vsize: 7772 [startup+20.0003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 2745 0 0 0 1994 5 0 0 25 0 1 0 912613839 9445376 2061 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2306 2061 301 301 0 2005 0 vsize: 9224 [startup+30.0002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 3876 0 0 0 2992 7 0 0 25 0 1 0 912613839 13414400 2480 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3275 2480 301 301 0 2974 0 vsize: 13100 [startup+40.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 4120 0 0 0 3991 8 0 0 25 0 1 0 912613839 14090240 2720 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3440 2720 301 301 0 3139 0 vsize: 13760 [startup+50.0007 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 4379 0 0 0 4990 9 0 0 25 0 1 0 912613839 14766080 2974 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3605 2974 301 301 0 3304 0 vsize: 14420 [startup+60.0005 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 4612 0 0 0 5989 9 0 0 25 0 1 0 912613839 15306752 3204 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3737 3204 301 301 0 3436 0 vsize: 14948 [startup+70.0003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 4827 0 0 0 6989 10 0 0 25 0 1 0 912613839 15982592 3415 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3902 3415 301 301 0 3601 0 vsize: 15608 [startup+80.0001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 5023 0 0 0 7988 11 0 0 25 0 1 0 912613839 16388096 3608 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4001 3608 301 301 0 3700 0 vsize: 16004 [startup+89.9999 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 5208 0 0 0 8987 12 0 0 25 0 1 0 912613839 16928768 3790 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4133 3790 301 301 0 3832 0 vsize: 16532 [startup+100 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 5383 0 0 0 9987 12 0 0 25 0 1 0 912613839 17334272 3962 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4232 3962 301 301 0 3931 0 vsize: 16928 [startup+110 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 7450 0 0 0 10982 17 0 0 25 0 1 0 912613839 25407488 4617 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4617 301 301 0 5902 0 vsize: 24812 [startup+120.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 7507 0 0 0 11982 17 0 0 25 0 1 0 912613839 25407488 4671 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4671 301 301 0 5902 0 vsize: 24812 [startup+130.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 7561 0 0 0 12982 18 0 0 25 0 1 0 912613839 25407488 4723 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4723 301 301 0 5902 0 vsize: 24812 [startup+140.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 7613 0 0 0 13981 18 0 0 25 0 1 0 912613839 25407488 4772 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4772 301 301 0 5902 0 vsize: 24812 [startup+150.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 7689 0 0 0 14981 18 0 0 25 0 1 0 912613839 25407488 4846 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4846 301 301 0 5902 0 vsize: 24812 [startup+160.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 7752 0 0 0 15981 19 0 0 25 0 1 0 912613839 25542656 4907 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6236 4907 301 301 0 5935 0 vsize: 24944 [startup+170.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 7887 0 0 0 16981 19 0 0 25 0 1 0 912613839 25948160 5040 4294967295 134512640 135730672 3221224576 3221220824 135285983 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6335 5040 301 301 0 6034 0 vsize: 25340 [startup+180.001 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 8017 0 0 0 17980 19 0 0 25 0 1 0 912613839 26218496 5168 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6401 5168 301 301 0 6100 0 vsize: 25604 [startup+190.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 8146 0 0 0 18980 20 0 0 25 0 1 0 912613839 26624000 5294 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6500 5294 301 301 0 6199 0 vsize: 26000 [startup+200.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 8270 0 0 0 19979 20 0 0 25 0 1 0 912613839 26894336 5416 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6566 5416 301 301 0 6265 0 vsize: 26264 [startup+210.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 8389 0 0 0 20979 21 0 0 25 0 1 0 912613839 27164672 5534 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6632 5534 301 301 0 6331 0 vsize: 26528 [startup+220.004 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 8507 0 0 0 21979 21 0 0 25 0 1 0 912613839 27570176 5650 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6731 5650 301 301 0 6430 0 vsize: 26924 [startup+230.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 8624 0 0 0 22979 22 0 0 25 0 1 0 912613839 27840512 5765 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6797 5765 301 301 0 6496 0 vsize: 27188 [startup+240.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 8737 0 0 0 23979 22 0 0 25 0 1 0 912613839 28110848 5876 4294967295 134512640 135730672 3221224576 3221221504 134540871 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6863 5876 301 301 0 6562 0 vsize: 27452 [startup+250.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 8849 0 0 0 24978 22 0 0 25 0 1 0 912613839 28381184 5986 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6929 5986 301 301 0 6628 0 vsize: 27716 [startup+260.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 8959 0 0 0 25978 22 0 0 25 0 1 0 912613839 28651520 6094 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6995 6094 301 301 0 6694 0 vsize: 27980 [startup+270.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 9065 0 0 0 26977 23 0 0 25 0 1 0 912613839 29057024 6199 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7094 6199 301 301 0 6793 0 vsize: 28376 [startup+280.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 9171 0 0 0 27977 23 0 0 25 0 1 0 912613839 29327360 6303 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7160 6303 301 301 0 6859 0 vsize: 28640 [startup+290.004 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 9276 0 0 0 28977 23 0 0 25 0 1 0 912613839 29597696 6406 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7226 6406 301 301 0 6925 0 vsize: 28904 [startup+300.004 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 9377 0 0 0 29977 23 0 0 25 0 1 0 912613839 29868032 6506 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7292 6506 301 301 0 6991 0 vsize: 29168 [startup+310.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 9478 0 0 0 30977 24 0 0 25 0 1 0 912613839 30138368 6605 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7358 6605 301 301 0 7057 0 vsize: 29432 [startup+320.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 9577 0 0 0 31977 24 0 0 25 0 1 0 912613839 30408704 6702 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7424 6702 301 301 0 7123 0 vsize: 29696 [startup+330.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 9673 0 0 0 32976 24 0 0 25 0 1 0 912613839 30543872 6797 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7457 6797 301 301 0 7156 0 vsize: 29828 [startup+340.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 9771 0 0 0 33977 24 0 0 25 0 1 0 912613839 30814208 6893 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7523 6893 301 301 0 7222 0 vsize: 30092 [startup+350.002 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 9865 0 0 0 34976 25 0 0 25 0 1 0 912613839 31084544 6986 4294967295 134512640 135730672 3221224576 3221221588 134540116 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7589 6986 301 301 0 7288 0 vsize: 30356 [startup+360.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 9959 0 0 0 35976 25 0 0 25 0 1 0 912613839 31354880 7078 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7655 7078 301 301 0 7354 0 vsize: 30620 [startup+370.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 10051 0 0 0 36977 25 0 0 25 0 1 0 912613839 31625216 7169 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7721 7169 301 301 0 7420 0 vsize: 30884 [startup+380.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 10143 0 0 0 37976 25 0 0 25 0 1 0 912613839 31895552 7259 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7787 7259 301 301 0 7486 0 vsize: 31148 [startup+390.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 10231 0 0 0 38975 26 0 0 25 0 1 0 912613839 32030720 7346 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7820 7346 301 301 0 7519 0 vsize: 31280 [startup+400.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 10321 0 0 0 39975 26 0 0 25 0 1 0 912613839 32301056 7434 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7886 7434 301 301 0 7585 0 vsize: 31544 [startup+410.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 10409 0 0 0 40975 26 0 0 25 0 1 0 912613839 32571392 7521 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7952 7521 301 301 0 7651 0 vsize: 31808 [startup+420.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 10495 0 0 0 41975 26 0 0 25 0 1 0 912613839 32841728 7606 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8018 7606 301 301 0 7717 0 vsize: 32072 [startup+430.003 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 16898 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 10582 0 0 0 42975 27 0 0 25 0 1 0 912613839 32976896 7691 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8051 7691 301 301 0 7750 0 vsize: 32204 [startup+440.003 s] Raw data (loadavg): 1.07 1.00 0.92 2/55 16951 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 10666 0 0 0 43974 27 0 0 25 0 1 0 912613839 33247232 7774 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8117 7774 301 301 0 7816 0 vsize: 32468 [startup+450.002 s] Raw data (loadavg): 1.06 1.00 0.92 2/55 16951 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 10751 0 0 0 44973 27 0 0 25 0 1 0 912613839 33517568 7857 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8183 7857 301 301 0 7882 0 vsize: 32732 [startup+460.003 s] Raw data (loadavg): 1.05 1.00 0.92 2/55 16951 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 10834 0 0 0 45973 28 0 0 25 0 1 0 912613839 33652736 7939 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8216 7939 301 301 0 7915 0 vsize: 32864 [startup+470.003 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 16951 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 10916 0 0 0 46973 28 0 0 25 0 1 0 912613839 33923072 8020 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8282 8020 301 301 0 7981 0 vsize: 33128 [startup+480.003 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 16951 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 14815 0 0 0 47966 35 0 0 25 0 1 0 912613839 49258496 9100 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9100 301 301 0 11725 0 vsize: 48104 [startup+490.003 s] Raw data (loadavg): 1.19 1.03 0.93 2/55 16953 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 14845 0 0 0 48966 35 0 0 25 0 1 0 912613839 49258496 9128 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9128 301 301 0 11725 0 vsize: 48104 [startup+500.002 s] Raw data (loadavg): 1.16 1.03 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 14873 0 0 0 49966 36 0 0 25 0 1 0 912613839 49258496 9155 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9155 301 301 0 11725 0 vsize: 48104 [startup+510.003 s] Raw data (loadavg): 1.13 1.03 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 14900 0 0 0 50965 36 0 0 25 0 1 0 912613839 49258496 9181 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9181 301 301 0 11725 0 vsize: 48104 [startup+520.004 s] Raw data (loadavg): 1.11 1.03 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 14929 0 0 0 51964 36 0 0 25 0 1 0 912613839 49258496 9208 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9208 301 301 0 11725 0 vsize: 48104 [startup+530.003 s] Raw data (loadavg): 1.10 1.03 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 14956 0 0 0 52965 36 0 0 25 0 1 0 912613839 49258496 9234 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9234 301 301 0 11725 0 vsize: 48104 [startup+540.004 s] Raw data (loadavg): 1.08 1.03 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 14983 0 0 0 53965 36 0 0 25 0 1 0 912613839 49258496 9260 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9260 301 301 0 11725 0 vsize: 48104 [startup+550.003 s] Raw data (loadavg): 1.07 1.03 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15010 0 0 0 54965 37 0 0 25 0 1 0 912613839 49258496 9286 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9286 301 301 0 11725 0 vsize: 48104 [startup+560.003 s] Raw data (loadavg): 1.06 1.02 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15038 0 0 0 55965 37 0 0 25 0 1 0 912613839 49258496 9312 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9312 301 301 0 11725 0 vsize: 48104 [startup+570.004 s] Raw data (loadavg): 1.05 1.02 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15064 0 0 0 56964 37 0 0 25 0 1 0 912613839 49258496 9337 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9337 301 301 0 11725 0 vsize: 48104 [startup+580.004 s] Raw data (loadavg): 1.04 1.02 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15090 0 0 0 57964 37 0 0 25 0 1 0 912613839 49258496 9362 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9362 301 301 0 11725 0 vsize: 48104 [startup+590.005 s] Raw data (loadavg): 1.03 1.02 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15116 0 0 0 58964 38 0 0 25 0 1 0 912613839 49258496 9387 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9387 301 301 0 11725 0 vsize: 48104 [startup+600.004 s] Raw data (loadavg): 1.03 1.02 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15142 0 0 0 59964 38 0 0 25 0 1 0 912613839 49258496 9412 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9412 301 301 0 11725 0 vsize: 48104 [startup+610.005 s] Raw data (loadavg): 1.02 1.02 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15180 0 0 0 60964 38 0 0 25 0 1 0 912613839 49258496 9449 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9449 301 301 0 11725 0 vsize: 48104 [startup+620.005 s] Raw data (loadavg): 1.02 1.02 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15220 0 0 0 61964 38 0 0 25 0 1 0 912613839 49258496 9487 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9487 301 301 0 11725 0 vsize: 48104 [startup+630.005 s] Raw data (loadavg): 1.02 1.02 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15245 0 0 0 62963 39 0 0 25 0 1 0 912613839 49258496 9511 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9511 301 301 0 11725 0 vsize: 48104 [startup+640.006 s] Raw data (loadavg): 1.01 1.02 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15270 0 0 0 63963 39 0 0 25 0 1 0 912613839 49258496 9535 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9535 301 301 0 11725 0 vsize: 48104 [startup+650.005 s] Raw data (loadavg): 1.01 1.02 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15295 0 0 0 64963 39 0 0 25 0 1 0 912613839 49258496 9559 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9559 301 301 0 11725 0 vsize: 48104 [startup+660.005 s] Raw data (loadavg): 1.01 1.01 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15319 0 0 0 65963 39 0 0 25 0 1 0 912613839 49258496 9582 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9582 301 301 0 11725 0 vsize: 48104 [startup+670.005 s] Raw data (loadavg): 1.01 1.01 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15356 0 0 0 66964 39 0 0 25 0 1 0 912613839 49393664 9618 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12059 9618 301 301 0 11758 0 vsize: 48236 [startup+680.005 s] Raw data (loadavg): 1.00 1.01 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15424 0 0 0 67963 40 0 0 25 0 1 0 912613839 49528832 9685 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12092 9685 301 301 0 11791 0 vsize: 48368 [startup+690.005 s] Raw data (loadavg): 1.00 1.01 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15494 0 0 0 68963 40 0 0 25 0 1 0 912613839 49799168 9753 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12158 9753 301 301 0 11857 0 vsize: 48632 [startup+700.005 s] Raw data (loadavg): 1.00 1.01 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15561 0 0 0 69963 40 0 0 25 0 1 0 912613839 49934336 9819 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12191 9819 301 301 0 11890 0 vsize: 48764 [startup+710.005 s] Raw data (loadavg): 1.00 1.01 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15628 0 0 0 70963 40 0 0 25 0 1 0 912613839 50069504 9885 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12224 9885 301 301 0 11923 0 vsize: 48896 [startup+720.005 s] Raw data (loadavg): 1.00 1.01 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15695 0 0 0 71963 40 0 0 25 0 1 0 912613839 50204672 9951 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12257 9951 301 301 0 11956 0 vsize: 49028 [startup+730.005 s] Raw data (loadavg): 1.00 1.01 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15761 0 0 0 72963 41 0 0 25 0 1 0 912613839 50475008 10016 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12323 10016 301 301 0 12022 0 vsize: 49292 [startup+740.005 s] Raw data (loadavg): 1.00 1.01 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15828 0 0 0 73962 41 0 0 25 0 1 0 912613839 50610176 10082 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12356 10082 301 301 0 12055 0 vsize: 49424 [startup+750.004 s] Raw data (loadavg): 1.00 1.01 0.93 2/55 16955 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15892 0 0 0 74962 41 0 0 25 0 1 0 912613839 50745344 10145 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12389 10145 301 301 0 12088 0 vsize: 49556 [startup+760.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 15958 0 0 0 75962 41 0 0 25 0 1 0 912613839 51015680 10210 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12455 10210 301 301 0 12154 0 vsize: 49820 [startup+770.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16023 0 0 0 76962 41 0 0 25 0 1 0 912613839 51150848 10274 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12488 10274 301 301 0 12187 0 vsize: 49952 [startup+780.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16088 0 0 0 77962 42 0 0 25 0 1 0 912613839 51286016 10338 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12521 10338 301 301 0 12220 0 vsize: 50084 [startup+790.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16151 0 0 0 78962 42 0 0 25 0 1 0 912613839 51421184 10400 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12554 10400 301 301 0 12253 0 vsize: 50216 [startup+800.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16215 0 0 0 79962 42 0 0 25 0 1 0 912613839 51691520 10463 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12620 10463 301 301 0 12319 0 vsize: 50480 [startup+810.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16278 0 0 0 80961 43 0 0 25 0 1 0 912613839 51826688 10525 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12653 10525 301 301 0 12352 0 vsize: 50612 [startup+820.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16340 0 0 0 81961 43 0 0 25 0 1 0 912613839 51961856 10586 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12686 10586 301 301 0 12385 0 vsize: 50744 [startup+830.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16402 0 0 0 82961 43 0 0 25 0 1 0 912613839 52097024 10647 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12719 10647 301 301 0 12418 0 vsize: 50876 [startup+840.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16464 0 0 0 83961 43 0 0 25 0 1 0 912613839 52367360 10708 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12785 10708 301 301 0 12484 0 vsize: 51140 [startup+850.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16526 0 0 0 84961 43 0 0 25 0 1 0 912613839 52502528 10769 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12818 10769 301 301 0 12517 0 vsize: 51272 [startup+860.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16588 0 0 0 85961 44 0 0 25 0 1 0 912613839 52637696 10830 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12851 10830 301 301 0 12550 0 vsize: 51404 [startup+870.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16649 0 0 0 86961 44 0 0 25 0 1 0 912613839 52772864 10890 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12884 10890 301 301 0 12583 0 vsize: 51536 [startup+880.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16709 0 0 0 87960 45 0 0 25 0 1 0 912613839 52908032 10949 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12917 10949 301 301 0 12616 0 vsize: 51668 [startup+890.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16770 0 0 0 88960 45 0 0 25 0 1 0 912613839 53043200 11009 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12950 11009 301 301 0 12649 0 vsize: 51800 [startup+900.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16830 0 0 0 89960 45 0 0 25 0 1 0 912613839 53313536 11068 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13016 11068 301 301 0 12715 0 vsize: 52064 [startup+910.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16890 0 0 0 90960 45 0 0 25 0 1 0 912613839 53448704 11127 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13049 11127 301 301 0 12748 0 vsize: 52196 [startup+920.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 16950 0 0 0 91961 45 0 0 25 0 1 0 912613839 53583872 11186 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13082 11186 301 301 0 12781 0 vsize: 52328 [startup+930.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17008 0 0 0 92961 45 0 0 25 0 1 0 912613839 53719040 11243 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13115 11243 301 301 0 12814 0 vsize: 52460 [startup+940.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17066 0 0 0 93960 45 0 0 25 0 1 0 912613839 53854208 11300 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13148 11300 301 301 0 12847 0 vsize: 52592 [startup+950.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17125 0 0 0 94959 46 0 0 25 0 1 0 912613839 53989376 11358 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13181 11358 301 301 0 12880 0 vsize: 52724 [startup+960.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17183 0 0 0 95960 46 0 0 25 0 1 0 912613839 54259712 11415 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13247 11415 301 301 0 12946 0 vsize: 52988 [startup+970.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17240 0 0 0 96960 46 0 0 25 0 1 0 912613839 54394880 11471 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13280 11471 301 301 0 12979 0 vsize: 53120 [startup+980.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17298 0 0 0 97960 46 0 0 25 0 1 0 912613839 54530048 11528 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13313 11528 301 301 0 13012 0 vsize: 53252 [startup+990.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17355 0 0 0 98960 46 0 0 25 0 1 0 912613839 54665216 11584 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13346 11584 301 301 0 13045 0 vsize: 53384 [startup+1000.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17411 0 0 0 99959 47 0 0 25 0 1 0 912613839 54800384 11640 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13379 11640 301 301 0 13078 0 vsize: 53516 [startup+1010.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17467 0 0 0 100958 47 0 0 25 0 1 0 912613839 54935552 11695 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13412 11695 301 301 0 13111 0 vsize: 53648 [startup+1020.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17524 0 0 0 101958 47 0 0 25 0 1 0 912613839 55070720 11751 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13445 11751 301 301 0 13144 0 vsize: 53780 [startup+1030.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17580 0 0 0 102958 47 0 0 25 0 1 0 912613839 55205888 11806 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13478 11806 301 301 0 13177 0 vsize: 53912 [startup+1040.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17636 0 0 0 103958 48 0 0 25 0 1 0 912613839 55341056 11861 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13511 11861 301 301 0 13210 0 vsize: 54044 [startup+1050.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17693 0 0 0 104958 48 0 0 25 0 1 0 912613839 55611392 11917 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13577 11917 301 301 0 13276 0 vsize: 54308 [startup+1060.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17747 0 0 0 105958 48 0 0 25 0 1 0 912613839 55746560 11970 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13610 11970 301 301 0 13309 0 vsize: 54440 [startup+1070.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17802 0 0 0 106957 48 0 0 25 0 1 0 912613839 55881728 12024 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13643 12024 301 301 0 13342 0 vsize: 54572 [startup+1080.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17857 0 0 0 107957 48 0 0 25 0 1 0 912613839 56016896 12078 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13676 12078 301 301 0 13375 0 vsize: 54704 [startup+1090.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17912 0 0 0 108957 49 0 0 25 0 1 0 912613839 56152064 12132 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13709 12132 301 301 0 13408 0 vsize: 54836 [startup+1100.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 17965 0 0 0 109957 49 0 0 25 0 1 0 912613839 56287232 12185 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13742 12185 301 301 0 13441 0 vsize: 54968 [startup+1110.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 18019 0 0 0 110957 49 0 0 25 0 1 0 912613839 56422400 12238 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13775 12238 301 301 0 13474 0 vsize: 55100 [startup+1120.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 18073 0 0 0 111955 49 0 0 25 0 1 0 912613839 56557568 12291 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13808 12291 301 301 0 13507 0 vsize: 55232 [startup+1130.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 18127 0 0 0 112956 49 0 0 25 0 1 0 912613839 56692736 12344 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13841 12344 301 301 0 13540 0 vsize: 55364 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 18181 0 0 0 113956 50 0 0 25 0 1 0 912613839 56827904 12397 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13874 12397 301 301 0 13573 0 vsize: 55496 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 18233 0 0 0 114956 50 0 0 25 0 1 0 912613839 56963072 12448 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13907 12448 301 301 0 13606 0 vsize: 55628 [startup+1160.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 18287 0 0 0 115956 50 0 0 25 0 1 0 912613839 57098240 12501 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13940 12501 301 301 0 13639 0 vsize: 55760 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 18338 0 0 0 116956 50 0 0 25 0 1 0 912613839 57233408 12552 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13973 12552 301 301 0 13672 0 vsize: 55892 [startup+1180.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 18391 0 0 0 117956 50 0 0 25 0 1 0 912613839 57368576 12604 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14006 12604 301 301 0 13705 0 vsize: 56024 [startup+1190.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 18443 0 0 0 118955 51 0 0 25 0 1 0 912613839 57503744 12655 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14039 12655 301 301 0 13738 0 vsize: 56156 [startup+1200.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 16957 Raw data (stat): 16898 (pb2sat-v2) R 16897 8378 8377 0 -1 0 18495 0 0 0 119955 51 0 0 25 0 1 0 912613839 57638912 12706 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14072 12706 301 301 0 13771 0 vsize: 56288 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.14 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 16957 Raw data (stat): 16898 (pb2sat-v2) Z 16897 8378 8377 0 -1 12 18499 0 0 0 120064 53 0 0 25 0 1 0 912613839 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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 status: 0 Real time (s): 1201.14 CPU time (s): 1201.19 CPU user time (s): 1200.65 CPU system time (s): 0.536918 CPU usage (%): 100.004 Max. virtual memory (Kb): 56288 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####