Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb |
MD5SUM | 5b9b020cb595d55e8dbba526590c1088 |
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 | 144804 |
Biggest coefficient in the objective function | 37355509514240 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 86052429291555573 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 37355509514240 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 86052429291555573 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.9477 |
Number of variables | 211663 |
Total number of constraints | 6093 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 128 |
Number of constraints which are nor clauses,nor cardinality constraints | 5965 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16460 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 16:29:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26063 boxname=wulflinc1 idbench=1363 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 5b9b020cb595d55e8dbba526590c1088 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mod011.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mod011.opb IDLAUNCH: 26063 /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: 677808 kB Buffers: 26032 kB Cached: 305740 kB SwapCached: 1156 kB Active: 39192 kB Inactive: 294868 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 677556 kB SwapTotal: 2097136 kB SwapFree: 2094896 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5364 kB Slab: 16820 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 16:41:29 (client local time) WITH STATUS 1 IN 700.428 SECONDS stats: 26063 7 700.428 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.84 0.92 0.90 2/55 23214 Raw data (stat): 23214 (runsolver) R 23213 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 915355850 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.0002 s] Raw data (loadavg): 0.87 0.93 0.90 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 2174 0 0 0 994 5 0 0 25 0 1 0 915355850 7958528 1499 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1943 1499 301 301 0 1642 0 vsize: 7772 [startup+20.0011 s] Raw data (loadavg): 0.89 0.93 0.90 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 2702 0 0 0 1993 6 0 0 25 0 1 0 915355850 9445376 2019 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2306 2019 301 301 0 2005 0 vsize: 9224 [startup+30.0007 s] Raw data (loadavg): 0.90 0.93 0.90 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 3867 0 0 0 2990 9 0 0 25 0 1 0 915355850 13414400 2472 4294967295 134512640 135730672 3221224576 3221221888 134568517 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3275 2472 301 301 0 2974 0 vsize: 13100 [startup+40.0015 s] Raw data (loadavg): 0.92 0.93 0.90 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 4116 0 0 0 3989 10 0 0 25 0 1 0 915355850 14090240 2716 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3440 2716 301 301 0 3139 0 vsize: 13760 [startup+50.0023 s] Raw data (loadavg): 0.93 0.93 0.90 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 4381 0 0 0 4988 11 0 0 25 0 1 0 915355850 14766080 2976 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3605 2976 301 301 0 3304 0 vsize: 14420 [startup+60.0021 s] Raw data (loadavg): 0.94 0.94 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 4617 0 0 0 5988 12 0 0 25 0 1 0 915355850 15306752 3209 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3737 3209 301 301 0 3436 0 vsize: 14948 [startup+70.0019 s] Raw data (loadavg): 0.95 0.94 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 4833 0 0 0 6987 13 0 0 25 0 1 0 915355850 15982592 3421 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3902 3421 301 301 0 3601 0 vsize: 15608 [startup+80.0016 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 5031 0 0 0 7986 14 0 0 25 0 1 0 915355850 16523264 3616 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4034 3616 301 301 0 3733 0 vsize: 16136 [startup+90.0024 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 5216 0 0 0 8986 14 0 0 25 0 1 0 915355850 16928768 3798 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4133 3798 301 301 0 3832 0 vsize: 16532 [startup+100.002 s] Raw data (loadavg): 0.97 0.94 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 5392 0 0 0 9985 15 0 0 25 0 1 0 915355850 17469440 3971 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4265 3971 301 301 0 3964 0 vsize: 17060 [startup+110.002 s] Raw data (loadavg): 0.97 0.94 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 7456 0 0 0 10981 19 0 0 25 0 1 0 915355850 25407488 4622 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4622 301 301 0 5902 0 vsize: 24812 [startup+120.002 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 7511 0 0 0 11981 20 0 0 25 0 1 0 915355850 25407488 4675 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4675 301 301 0 5902 0 vsize: 24812 [startup+130.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 7567 0 0 0 12980 20 0 0 25 0 1 0 915355850 25407488 4728 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4728 301 301 0 5902 0 vsize: 24812 [startup+140.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 7620 0 0 0 13980 21 0 0 25 0 1 0 915355850 25407488 4779 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4779 301 301 0 5902 0 vsize: 24812 [startup+150.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 7697 0 0 0 14979 21 0 0 25 0 1 0 915355850 25407488 4854 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6203 4854 301 301 0 5902 0 vsize: 24812 [startup+160.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 7774 0 0 0 15978 22 0 0 25 0 1 0 915355850 25542656 4928 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6236 4928 301 301 0 5935 0 vsize: 24944 [startup+170.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 7906 0 0 0 16978 23 0 0 25 0 1 0 915355850 25948160 5058 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6335 5058 301 301 0 6034 0 vsize: 25340 [startup+180.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 8037 0 0 0 17977 24 0 0 25 0 1 0 915355850 26218496 5187 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6401 5187 301 301 0 6100 0 vsize: 25604 [startup+190.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 8162 0 0 0 18976 25 0 0 25 0 1 0 915355850 26624000 5310 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6500 5310 301 301 0 6199 0 vsize: 26000 [startup+200.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 8286 0 0 0 19976 26 0 0 25 0 1 0 915355850 26894336 5432 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6566 5432 301 301 0 6265 0 vsize: 26264 [startup+210.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 8407 0 0 0 20975 26 0 0 25 0 1 0 915355850 27299840 5551 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6665 5551 301 301 0 6364 0 vsize: 26660 [startup+220.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 8525 0 0 0 21974 27 0 0 25 0 1 0 915355850 27570176 5667 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6731 5667 301 301 0 6430 0 vsize: 26924 [startup+230.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 8640 0 0 0 22974 28 0 0 25 0 1 0 915355850 27840512 5781 4294967295 134512640 135730672 3221224576 3221221728 134576208 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6797 5781 301 301 0 6496 0 vsize: 27188 [startup+240.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 8754 0 0 0 23973 29 0 0 25 0 1 0 915355850 28110848 5893 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6863 5893 301 301 0 6562 0 vsize: 27452 [startup+250.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 8865 0 0 0 24972 30 0 0 25 0 1 0 915355850 28516352 6002 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6962 6002 301 301 0 6661 0 vsize: 27848 [startup+260.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 8974 0 0 0 25972 30 0 0 25 0 1 0 915355850 28786688 6109 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7028 6109 301 301 0 6727 0 vsize: 28112 [startup+270.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 9081 0 0 0 26971 31 0 0 25 0 1 0 915355850 29057024 6214 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7094 6214 301 301 0 6793 0 vsize: 28376 [startup+280.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 9186 0 0 0 27967 32 0 0 25 0 1 0 915355850 29327360 6318 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7160 6318 301 301 0 6859 0 vsize: 28640 [startup+290.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 9291 0 0 0 28966 33 0 0 25 0 1 0 915355850 29597696 6421 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7226 6421 301 301 0 6925 0 vsize: 28904 [startup+300.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 9393 0 0 0 29967 33 0 0 25 0 1 0 915355850 29868032 6521 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7292 6521 301 301 0 6991 0 vsize: 29168 [startup+310.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 9493 0 0 0 30967 33 0 0 25 0 1 0 915355850 30138368 6620 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7358 6620 301 301 0 7057 0 vsize: 29432 [startup+320.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 9591 0 0 0 31967 33 0 0 25 0 1 0 915355850 30408704 6716 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7424 6717 301 301 0 7123 0 vsize: 29696 [startup+330.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 9688 0 0 0 32967 34 0 0 25 0 1 0 915355850 30679040 6812 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7490 6812 301 301 0 7189 0 vsize: 29960 [startup+340.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 9784 0 0 0 33966 34 0 0 25 0 1 0 915355850 30949376 6906 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7556 6906 301 301 0 7255 0 vsize: 30224 [startup+350.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 9880 0 0 0 34966 35 0 0 25 0 1 0 915355850 31219712 7001 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7622 7001 301 301 0 7321 0 vsize: 30488 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 9974 0 0 0 35966 35 0 0 25 0 1 0 915355850 31354880 7093 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7655 7093 301 301 0 7354 0 vsize: 30620 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 10066 0 0 0 36966 36 0 0 25 0 1 0 915355850 31625216 7184 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7721 7184 301 301 0 7420 0 vsize: 30884 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 10156 0 0 0 37965 36 0 0 25 0 1 0 915355850 31895552 7272 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7787 7272 301 301 0 7486 0 vsize: 31148 [startup+390.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 10246 0 0 0 38965 37 0 0 25 0 1 0 915355850 32165888 7361 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7853 7361 301 301 0 7552 0 vsize: 31412 [startup+400.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 10337 0 0 0 39965 37 0 0 25 0 1 0 915355850 32301056 7450 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7886 7450 301 301 0 7585 0 vsize: 31544 [startup+410.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 10425 0 0 0 40964 37 0 0 25 0 1 0 915355850 32571392 7537 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7952 7537 301 301 0 7651 0 vsize: 31808 [startup+420.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 10511 0 0 0 41964 38 0 0 25 0 1 0 915355850 32841728 7621 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8018 7621 301 301 0 7717 0 vsize: 32072 [startup+430.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 10597 0 0 0 42964 38 0 0 25 0 1 0 915355850 33112064 7706 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8084 7706 301 301 0 7783 0 vsize: 32336 [startup+440.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 10681 0 0 0 43964 39 0 0 25 0 1 0 915355850 33247232 7789 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8117 7789 301 301 0 7816 0 vsize: 32468 [startup+450.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 10766 0 0 0 44964 39 0 0 25 0 1 0 915355850 33517568 7872 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8183 7872 301 301 0 7882 0 vsize: 32732 [startup+460.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 10848 0 0 0 45963 39 0 0 25 0 1 0 915355850 33652736 7953 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8216 7953 301 301 0 7915 0 vsize: 32864 [startup+470.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 10929 0 0 0 46963 40 0 0 25 0 1 0 915355850 33923072 8033 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8282 8033 301 301 0 7981 0 vsize: 33128 [startup+480.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 14820 0 0 0 47955 47 0 0 25 0 1 0 915355850 49258496 9104 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9104 301 301 0 11725 0 vsize: 48104 [startup+490.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 14848 0 0 0 48955 47 0 0 25 0 1 0 915355850 49258496 9131 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9131 301 301 0 11725 0 vsize: 48104 [startup+500.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 14876 0 0 0 49955 47 0 0 25 0 1 0 915355850 49258496 9158 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9158 301 301 0 11725 0 vsize: 48104 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 14904 0 0 0 50955 47 0 0 25 0 1 0 915355850 49258496 9185 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9185 301 301 0 11725 0 vsize: 48104 [startup+520.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 14932 0 0 0 51955 47 0 0 25 0 1 0 915355850 49258496 9211 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9211 301 301 0 11725 0 vsize: 48104 [startup+530.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 14960 0 0 0 52955 47 0 0 25 0 1 0 915355850 49258496 9238 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9238 301 301 0 11725 0 vsize: 48104 [startup+540.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 14986 0 0 0 53955 47 0 0 25 0 1 0 915355850 49258496 9263 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9263 301 301 0 11725 0 vsize: 48104 [startup+550.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 15012 0 0 0 54955 47 0 0 25 0 1 0 915355850 49258496 9288 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9288 301 301 0 11725 0 vsize: 48104 [startup+560.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 15040 0 0 0 55955 47 0 0 25 0 1 0 915355850 49258496 9314 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9314 301 301 0 11725 0 vsize: 48104 [startup+570.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 15066 0 0 0 56955 48 0 0 25 0 1 0 915355850 49258496 9339 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12026 9339 301 301 0 11725 0 vsize: 48104 [startup+580.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 15092 0 0 0 57955 48 0 0 25 0 1 0 915355850 49258496 9364 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12026 9364 301 301 0 11725 0 vsize: 48104 [startup+590.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 19367 0 0 0 58945 58 0 0 25 0 1 0 915355850 61534208 12827 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15023 12827 301 301 0 14722 0 vsize: 60092 [startup+600.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 36305 0 0 0 59907 96 0 0 25 0 1 0 915355850 122273792 22709 4294967295 134512640 135730672 3221224576 3213779696 134770759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 29852 22710 301 301 0 29551 0 vsize: 119408 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 59489 0 0 0 60854 149 0 0 25 0 1 0 915355850 178819072 36465 4294967295 134512640 135730672 3221224576 3221193872 134786302 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43657 36465 301 301 0 43356 0 vsize: 174628 [startup+620.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 83686 0 0 0 61806 197 0 0 25 0 1 0 915355850 255754240 51253 4294967295 134512640 135730672 3221224576 3221195216 134770034 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 62440 51253 301 301 0 62139 0 vsize: 249760 [startup+630.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 111420 0 0 0 62752 252 0 0 25 0 1 0 915355850 360390656 66498 4294967295 134512640 135730672 3221224576 3221199840 134770154 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 87986 66500 301 301 0 87685 0 vsize: 351944 [startup+640.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 153017 0 0 0 63675 329 0 0 25 0 1 0 915355850 563736576 106912 4294967295 134512640 135730672 3221224576 3221198908 135281170 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 137631 106912 301 301 0 137330 0 vsize: 550524 [startup+650.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 162782 0 0 0 64653 351 0 0 25 0 1 0 915355850 488230912 98054 4294967295 134512640 135730672 3221224576 3221200920 135291162 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 119197 98055 301 301 0 118896 0 vsize: 476788 [startup+660.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 200234 0 0 0 65576 428 0 0 25 0 1 0 915355850 601382912 110739 4294967295 134512640 135730672 3221224576 3221202904 135285983 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 146822 110740 301 301 0 146521 0 vsize: 587288 [startup+670.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 215846 0 0 0 66546 459 0 0 25 0 1 0 915355850 658640896 126160 4294967295 134512640 135730672 3221224576 3221203112 135284312 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 160801 126162 301 301 0 160500 0 vsize: 643204 [startup+680.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 234067 0 0 0 67513 491 0 0 25 0 1 0 915355850 686129152 144159 4294967295 134512640 135730672 3221224576 3221203128 135285983 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 167512 144160 301 301 0 167211 0 vsize: 670048 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 252333 0 0 0 68483 522 0 0 25 0 1 0 915355850 713838592 162202 4294967295 134512640 135730672 3221224576 3221205608 135285983 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 174277 162203 301 301 0 173976 0 vsize: 697108 [startup+700.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 253116 0 0 0 69468 536 0 0 25 0 1 0 915355850 409100288 99319 4294967295 134512640 135730672 3221224576 3221222928 135284078 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99878 99319 301 301 0 99577 0 vsize: 399512 [startup+700.402 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 23214 Raw data (stat): 23214 (pb2sat-v2) R 23213 8378 8377 0 -1 0 253116 0 0 0 69468 536 0 0 25 0 1 0 915355850 409100288 99319 4294967295 134512640 135730672 3221224576 3221222928 135284078 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99878 99319 301 301 0 99577 0 vsize: 0 Child status: 1 Real time (s): 700.402 CPU time (s): 700.428 CPU user time (s): 694.853 CPU system time (s): 5.57415 CPU usage (%): 100.004 Max. virtual memory (Kb): 697108 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####