Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nw04.opb |
MD5SUM | 5a18ff1f45b144b201f1f80233dc9b6b |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30407 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 87482 |
Biggest coefficient in the objective function | 5220 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 120189580 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 5220 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 120189580 |
Number of bits of the biggest sum of numbers | 27 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1197.16 |
Number of variables | 87482 |
Total number of constraints | 87518 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 87518 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42032 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-16 08:24:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25690 boxname=wulflinc2 idbench=990 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 5a18ff1f45b144b201f1f80233dc9b6b /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-nw04.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-nw04.opb IDLAUNCH: 25690 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 932384 kB Buffers: 740 kB Cached: 78476 kB SwapCached: 1432 kB Active: 24772 kB Inactive: 56544 kB HighTotal: 131008 kB HighFree: 70980 kB LowTotal: 903652 kB LowFree: 861404 kB SwapTotal: 2097136 kB SwapFree: 2094708 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5056 kB Slab: 15132 kB Committed_AS: 71900 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 08:34:02 (client local time) WITH STATUS 1 IN 598.015 SECONDS stats: 25690 7 598.015 1 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 14463 c big objective detected c trying from 0 to 511 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.98 0.92 2/54 7941 Raw data (stat): 7941 (runsolver) R 7940 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969302179 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0005 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 875 0 0 0 994 4 0 0 25 0 1 0 969302179 4849664 741 4294967295 134512640 135730672 3221224576 3221221120 134775356 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1184 741 301 301 0 883 0 vsize: 4736 [startup+20.0031 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 2292 0 0 0 1992 7 0 0 25 0 1 0 969302179 8228864 1615 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2009 1615 301 301 0 1708 0 vsize: 8036 [startup+30.0032 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 2767 0 0 0 2990 9 0 0 25 0 1 0 969302179 9580544 2083 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2339 2083 301 301 0 2038 0 vsize: 9356 [startup+40.0045 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 3881 0 0 0 3987 13 0 0 25 0 1 0 969302179 13414400 2485 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3275 2485 301 301 0 2974 0 vsize: 13100 [startup+50.0052 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 4138 0 0 0 4986 14 0 0 25 0 1 0 969302179 14090240 2737 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3440 2737 301 301 0 3139 0 vsize: 13760 [startup+60.0053 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 4396 0 0 0 5985 15 0 0 25 0 1 0 969302179 14766080 2991 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3605 2991 301 301 0 3304 0 vsize: 14420 [startup+70.0056 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 4630 0 0 0 6984 16 0 0 25 0 1 0 969302179 15441920 3221 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3770 3221 301 301 0 3469 0 vsize: 15080 [startup+80.0053 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 4845 0 0 0 7983 17 0 0 25 0 1 0 969302179 15982592 3433 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3902 3433 301 301 0 3601 0 vsize: 15608 [startup+90.0064 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 5045 0 0 0 8982 18 0 0 25 0 1 0 969302179 16523264 3630 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4034 3630 301 301 0 3733 0 vsize: 16136 [startup+100.007 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 5232 0 0 0 9981 18 0 0 25 0 1 0 969302179 17063936 3814 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4166 3814 301 301 0 3865 0 vsize: 16664 [startup+110.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 5410 0 0 0 10981 19 0 0 25 0 1 0 969302179 17469440 3989 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4265 3989 301 301 0 3964 0 vsize: 17060 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 7463 0 0 0 11977 24 0 0 25 0 1 0 969302179 25407488 4629 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4629 301 301 0 5902 0 vsize: 24812 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 7522 0 0 0 12976 24 0 0 25 0 1 0 969302179 25407488 4685 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4685 301 301 0 5902 0 vsize: 24812 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 7578 0 0 0 13976 25 0 0 25 0 1 0 969302179 25407488 4739 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4739 301 301 0 5902 0 vsize: 24812 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 7648 0 0 0 14976 25 0 0 25 0 1 0 969302179 25407488 4806 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4806 301 301 0 5902 0 vsize: 24812 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 7711 0 0 0 15975 26 0 0 25 0 1 0 969302179 25407488 4867 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4867 301 301 0 5902 0 vsize: 24812 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 7816 0 0 0 16974 27 0 0 25 0 1 0 969302179 25677824 4970 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6269 4970 301 301 0 5968 0 vsize: 25076 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 7952 0 0 0 17974 27 0 0 25 0 1 0 969302179 26083328 5104 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6368 5104 301 301 0 6067 0 vsize: 25472 [startup+190.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 8085 0 0 0 18974 27 0 0 25 0 1 0 969302179 26353664 5234 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6434 5234 301 301 0 6133 0 vsize: 25736 [startup+200.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 8213 0 0 0 19974 28 0 0 25 0 1 0 969302179 26759168 5360 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6533 5360 301 301 0 6232 0 vsize: 26132 [startup+210.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 9010 0 0 0 20972 30 0 0 25 0 1 0 969302179 29868032 6156 4294967295 134512640 135730672 3221224576 3221221776 134577527 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7292 6156 301 301 0 6991 0 vsize: 29168 [startup+220.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 14831 0 0 0 21958 44 0 0 25 0 1 0 969302179 48017408 10414 4294967295 134512640 135730672 3221224576 3221221552 134540046 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11723 10414 301 301 0 11422 0 vsize: 46892 [startup+230.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 23620 0 0 0 22937 65 0 0 25 0 1 0 969302179 74637312 15285 4294967295 134512640 135730672 3221224576 3218313824 134786244 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18222 15285 301 301 0 17921 0 vsize: 72888 [startup+240.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 37670 0 0 0 23908 94 0 0 25 0 1 0 969302179 139034624 25912 4294967295 134512640 135730672 3221224576 3215362396 135291064 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 33944 25912 301 301 0 33643 0 vsize: 135776 [startup+250.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 41678 0 0 0 24896 106 0 0 25 0 1 0 969302179 131588096 25229 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 32126 25229 301 301 0 31825 0 vsize: 128504 [startup+260.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 45001 0 0 0 25885 117 0 0 25 0 1 0 969302179 131588096 28489 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 32126 28489 301 301 0 31825 0 vsize: 128504 [startup+270.01 s] Raw data (loadavg): 1.07 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 53021 0 0 0 26866 137 0 0 25 0 1 0 969302179 157159424 30330 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38369 30330 301 301 0 38068 0 vsize: 153476 [startup+280.009 s] Raw data (loadavg): 1.06 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 58423 0 0 0 27853 150 0 0 25 0 1 0 969302179 183926784 35677 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44904 35677 301 301 0 44603 0 vsize: 179616 [startup+290.01 s] Raw data (loadavg): 1.05 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 61768 0 0 0 28845 158 0 0 25 0 1 0 969302179 187035648 38972 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45663 38972 301 301 0 45362 0 vsize: 182652 [startup+300.01 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 76844 0 0 0 29814 189 0 0 25 0 1 0 969302179 235724800 44276 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57550 44276 301 301 0 57249 0 vsize: 230200 [startup+310.01 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 77503 0 0 0 30812 192 0 0 25 0 1 0 969302179 235724800 44911 4294967295 134512640 135730672 3221224576 3209609568 135288531 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57550 44911 301 301 0 57249 0 vsize: 230200 [startup+320.01 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 79489 0 0 0 31805 199 0 0 25 0 1 0 969302179 235724800 46870 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57550 46870 301 301 0 57249 0 vsize: 230200 [startup+330.011 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 82192 0 0 0 32800 204 0 0 25 0 1 0 969302179 235724800 49520 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57550 49520 301 301 0 57249 0 vsize: 230200 [startup+340.012 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 97234 0 0 0 33767 237 0 0 25 0 1 0 969302179 286056448 52220 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 69838 52220 301 301 0 69537 0 vsize: 279352 [startup+350.011 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 99013 0 0 0 34763 241 0 0 25 0 1 0 969302179 286732288 53962 4294967295 134512640 135730672 3221224576 3216548816 134546351 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 70003 53962 301 301 0 69702 0 vsize: 280012 [startup+360.012 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 101062 0 0 0 35756 248 0 0 25 0 1 0 969302179 323260416 55991 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 78921 55991 301 301 0 78620 0 vsize: 315684 [startup+370.012 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 105152 0 0 0 36746 258 0 0 25 0 1 0 969302179 327983104 60024 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 80074 60024 301 301 0 79773 0 vsize: 320296 [startup+380.012 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 105155 0 0 0 37746 259 0 0 25 0 1 0 969302179 327983104 60027 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 80074 60027 301 301 0 79773 0 vsize: 320296 [startup+390.012 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 109497 0 0 0 38737 268 0 0 25 0 1 0 969302179 335228928 64180 4294967295 134512640 135730672 3221224576 3209080836 134608048 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 81843 64180 301 301 0 81542 0 vsize: 327372 [startup+400.013 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 111048 0 0 0 39733 272 0 0 25 0 1 0 969302179 337391616 65722 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 82371 65722 301 301 0 82070 0 vsize: 329484 [startup+410.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 111048 0 0 0 40733 272 0 0 25 0 1 0 969302179 337391616 65722 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 82371 65722 301 301 0 82070 0 vsize: 329484 [startup+420.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 116248 0 0 0 41719 286 0 0 25 0 1 0 969302179 343445504 70849 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83849 70849 301 301 0 83548 0 vsize: 335396 [startup+430.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 116248 0 0 0 42719 287 0 0 25 0 1 0 969302179 343445504 70849 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83849 70849 301 301 0 83548 0 vsize: 335396 [startup+440.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 116248 0 0 0 43718 288 0 0 25 0 1 0 969302179 343445504 70849 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83849 70849 301 301 0 83548 0 vsize: 335396 [startup+450.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 148195 0 0 0 44661 344 0 0 25 0 1 0 969302179 455434240 84294 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 84294 301 301 0 110889 0 vsize: 444760 [startup+460.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 148195 0 0 0 45661 345 0 0 25 0 1 0 969302179 455434240 84294 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 84294 301 301 0 110889 0 vsize: 444760 [startup+470.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 148195 0 0 0 46661 345 0 0 25 0 1 0 969302179 455434240 84294 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 84294 301 301 0 110889 0 vsize: 444760 [startup+480.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 151776 0 0 0 47652 355 0 0 25 0 1 0 969302179 455434240 87805 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 87805 301 301 0 110889 0 vsize: 444760 [startup+490.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 151776 0 0 0 48652 355 0 0 25 0 1 0 969302179 455434240 87805 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 87805 301 301 0 110889 0 vsize: 444760 [startup+500.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 155343 0 0 0 49643 364 0 0 25 0 1 0 969302179 455434240 91303 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 91303 301 301 0 110889 0 vsize: 444760 [startup+510.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 155343 0 0 0 50643 364 0 0 25 0 1 0 969302179 455434240 91303 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 111190 91303 301 301 0 110889 0 vsize: 444760 [startup+520.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 155343 0 0 0 51642 365 0 0 25 0 1 0 969302179 455434240 91303 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 91303 301 301 0 110889 0 vsize: 444760 [startup+530.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 155355 0 0 0 52641 365 0 0 25 0 1 0 969302179 455434240 91315 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 91315 301 301 0 110889 0 vsize: 444760 [startup+540.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 178613 0 0 0 53592 415 0 0 25 0 1 0 969302179 659124224 114489 4294967295 134512640 135730672 3221224576 3220131024 134788521 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160919 114489 301 301 0 160618 0 vsize: 643676 [startup+550.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 193861 0 0 0 54556 451 0 0 25 0 1 0 969302179 580231168 105088 4294967295 134512640 135730672 3221224576 3221222872 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 141658 105088 301 301 0 141357 0 vsize: 566632 [startup+560.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 194009 0 0 0 55555 453 0 0 25 0 1 0 969302179 569344000 102578 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 139000 102578 301 301 0 138699 0 vsize: 556000 [startup+570.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 213936 0 0 0 56505 502 0 0 25 0 1 0 969302179 646029312 122279 4294967295 134512640 135730672 3221224576 3195014588 135301649 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 157722 122279 301 301 0 157421 0 vsize: 630888 [startup+580.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 235981 0 0 0 57453 554 0 0 25 0 1 0 969302179 682254336 144038 4294967295 134512640 135730672 3221224576 3195260396 135301622 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 166566 144038 301 301 0 166265 0 vsize: 666264 [startup+590.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 251986 0 0 0 58415 592 0 0 25 0 1 0 969302179 708444160 159836 4294967295 134512640 135730672 3221224576 3213596992 135143163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 172960 159836 301 301 0 172659 0 vsize: 691840 [startup+597.951 s] Raw data (loadavg): 1.00 1.00 0.93 1/53 7941 Raw data (stat): 7941 (pb2sat-v2) R 7940 31399 31398 0 -1 0 251986 0 0 0 58415 592 0 0 25 0 1 0 969302179 708444160 159836 4294967295 134512640 135730672 3221224576 3213596992 135143163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 172960 159836 301 301 0 172659 0 vsize: 0 Child status: 1 Real time (s): 597.95 CPU time (s): 598.015 CPU user time (s): 591.771 CPU system time (s): 6.24405 CPU usage (%): 100.011 Max. virtual memory (Kb): 691840 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####