Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb |
MD5SUM | a5c401bba5afccf02c7b40cb1c595b15 |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 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 | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.13683 |
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 10:04:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25753 boxname=wulflinc2 idbench=1053 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a5c401bba5afccf02c7b40cb1c595b15 /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: 25753 /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: 867772 kB Buffers: 9112 kB Cached: 134772 kB SwapCached: 1432 kB Active: 43112 kB Inactive: 102840 kB HighTotal: 131008 kB HighFree: 17640 kB LowTotal: 903652 kB LowFree: 850132 kB SwapTotal: 2097136 kB SwapFree: 2094708 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5056 kB Slab: 15100 kB Committed_AS: 71900 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 10:15:21 (client local time) WITH STATUS 1 IN 628.018 SECONDS stats: 25753 7 628.018 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): 1.00 0.97 0.91 2/54 8989 Raw data (stat): 8989 (runsolver) R 8988 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969907136 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.0008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8989 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 747 0 0 0 995 4 0 0 25 0 1 0 969907136 3461120 618 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 845 618 301 301 0 544 0 vsize: 3380 [startup+20.001 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8989 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 2297 0 0 0 1990 9 0 0 25 0 1 0 969907136 8364032 1620 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2042 1620 301 301 0 1741 0 vsize: 8168 [startup+30.0011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8989 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 2776 0 0 0 2988 11 0 0 25 0 1 0 969907136 9580544 2091 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2339 2091 301 301 0 2038 0 vsize: 9356 [startup+40.0012 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8989 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 3881 0 0 0 3984 15 0 0 25 0 1 0 969907136 13414400 2485 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3275 2485 301 301 0 2974 0 vsize: 13100 [startup+50.0019 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8989 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 4137 0 0 0 4983 16 0 0 25 0 1 0 969907136 14090240 2736 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3440 2736 301 301 0 3139 0 vsize: 13760 [startup+60.0022 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8989 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 4391 0 0 0 5983 17 0 0 25 0 1 0 969907136 14766080 2986 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3605 2986 301 301 0 3304 0 vsize: 14420 [startup+70.0023 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8989 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 4621 0 0 0 6981 19 0 0 25 0 1 0 969907136 15441920 3213 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3770 3213 301 301 0 3469 0 vsize: 15080 [startup+80.0027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 4833 0 0 0 7980 20 0 0 25 0 1 0 969907136 15982592 3421 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3902 3421 301 301 0 3601 0 vsize: 15608 [startup+90.0023 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 5030 0 0 0 8980 21 0 0 25 0 1 0 969907136 16523264 3615 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4034 3615 301 301 0 3733 0 vsize: 16136 [startup+100.003 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 5213 0 0 0 9979 22 0 0 25 0 1 0 969907136 16928768 3795 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4133 3795 301 301 0 3832 0 vsize: 16532 [startup+110.004 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 5388 0 0 0 10979 22 0 0 25 0 1 0 969907136 17469440 3967 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4265 3967 301 301 0 3964 0 vsize: 17060 [startup+120.004 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 7452 0 0 0 11975 26 0 0 25 0 1 0 969907136 25407488 4619 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4619 301 301 0 5902 0 vsize: 24812 [startup+130.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 7511 0 0 0 12975 27 0 0 25 0 1 0 969907136 25407488 4675 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4675 301 301 0 5902 0 vsize: 24812 [startup+140.004 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 7567 0 0 0 13974 27 0 0 25 0 1 0 969907136 25407488 4728 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4728 301 301 0 5902 0 vsize: 24812 [startup+150.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 7621 0 0 0 14974 28 0 0 25 0 1 0 969907136 25407488 4780 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4780 301 301 0 5902 0 vsize: 24812 [startup+160.004 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 7698 0 0 0 15973 29 0 0 25 0 1 0 969907136 25407488 4855 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6203 4855 301 301 0 5902 0 vsize: 24812 [startup+170.004 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 7779 0 0 0 16972 30 0 0 25 0 1 0 969907136 25542656 4933 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6236 4933 301 301 0 5935 0 vsize: 24944 [startup+180.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 7914 0 0 0 17971 31 0 0 25 0 1 0 969907136 25948160 5066 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6335 5066 301 301 0 6034 0 vsize: 25340 [startup+190.004 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 8045 0 0 0 18971 32 0 0 25 0 1 0 969907136 26353664 5195 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6434 5195 301 301 0 6133 0 vsize: 25736 [startup+200.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 8172 0 0 0 19970 32 0 0 25 0 1 0 969907136 26624000 5320 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6500 5320 301 301 0 6199 0 vsize: 26000 [startup+210.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 8296 0 0 0 20970 33 0 0 25 0 1 0 969907136 27029504 5442 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6599 5442 301 301 0 6298 0 vsize: 26396 [startup+220.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 11469 0 0 0 21960 43 0 0 25 0 1 0 969907136 37838848 8261 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 9238 8261 301 301 0 8937 0 vsize: 36952 [startup+230.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 21754 0 0 0 22936 67 0 0 25 0 1 0 969907136 70021120 13454 4294967295 134512640 135730672 3221224576 3220470472 135284287 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17095 13454 301 301 0 16794 0 vsize: 68380 [startup+240.005 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 25817 0 0 0 23922 81 0 0 25 0 1 0 969907136 77070336 17454 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18816 17454 301 301 0 18515 0 vsize: 75264 [startup+250.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 40435 0 0 0 24891 112 0 0 25 0 1 0 969907136 131588096 24010 4294967295 134512640 135730672 3221224576 3221221664 134561693 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32126 24010 301 301 0 31825 0 vsize: 128504 [startup+260.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 43320 0 0 0 25884 119 0 0 25 0 1 0 969907136 131588096 26840 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32126 26840 301 301 0 31825 0 vsize: 128504 [startup+270.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 53009 0 0 0 26862 142 0 0 25 0 1 0 969907136 157159424 30318 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38369 30318 301 301 0 38068 0 vsize: 153476 [startup+280.006 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 53040 0 0 0 27861 143 0 0 25 0 1 0 969907136 157159424 30349 4294967295 134512640 135730672 3221224576 3221221868 134562044 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38369 30349 301 301 0 38068 0 vsize: 153476 [startup+290.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 58423 0 0 0 28848 156 0 0 25 0 1 0 969907136 183926784 35677 4294967295 134512640 135730672 3221224576 3221221520 135282716 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44904 35677 301 301 0 44603 0 vsize: 179616 [startup+300.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 61768 0 0 0 29840 164 0 0 25 0 1 0 969907136 187035648 38972 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45663 38972 301 301 0 45362 0 vsize: 182652 [startup+310.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 76844 0 0 0 30813 191 0 0 25 0 1 0 969907136 235724800 44276 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 57550 44276 301 301 0 57249 0 vsize: 230200 [startup+320.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 76844 0 0 0 31813 192 0 0 25 0 1 0 969907136 235724800 44276 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 57550 44276 301 301 0 57249 0 vsize: 230200 [startup+330.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 79489 0 0 0 32805 200 0 0 25 0 1 0 969907136 235724800 46870 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 57550 46870 301 301 0 57249 0 vsize: 230200 [startup+340.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 82192 0 0 0 33798 206 0 0 25 0 1 0 969907136 235724800 49520 4294967295 134512640 135730672 3221224576 3221221708 134577196 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 57550 49520 301 301 0 57249 0 vsize: 230200 [startup+350.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 82192 0 0 0 34799 206 0 0 25 0 1 0 969907136 235724800 49520 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 57550 49520 301 301 0 57249 0 vsize: 230200 [startup+360.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 97234 0 0 0 35764 242 0 0 25 0 1 0 969907136 286056448 52220 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 69838 52220 301 301 0 69537 0 vsize: 279352 [startup+370.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 100388 0 0 0 36754 251 0 0 25 0 1 0 969907136 322584576 55319 4294967295 134512640 135730672 3221224576 3212130928 135284080 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78756 55319 301 301 0 78455 0 vsize: 315024 [startup+380.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 101062 0 0 0 37753 253 0 0 25 0 1 0 969907136 323260416 55991 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78921 55991 301 301 0 78620 0 vsize: 315684 [startup+390.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 105152 0 0 0 38741 264 0 0 25 0 1 0 969907136 327983104 60024 4294967295 134512640 135730672 3221224576 3221221664 134561684 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80074 60024 301 301 0 79773 0 vsize: 320296 [startup+400.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 105152 0 0 0 39741 264 0 0 25 0 1 0 969907136 327983104 60024 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80074 60024 301 301 0 79773 0 vsize: 320296 [startup+410.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 105299 0 0 0 40741 265 0 0 25 0 1 0 969907136 328507392 60042 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80202 60042 301 301 0 79901 0 vsize: 320808 [startup+420.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 111048 0 0 0 41726 280 0 0 25 0 1 0 969907136 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+430.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 111048 0 0 0 42726 280 0 0 25 0 1 0 969907136 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+440.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 111050 0 0 0 43726 280 0 0 25 0 1 0 969907136 337391616 65724 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 82371 65724 301 301 0 82070 0 vsize: 329484 [startup+450.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 116248 0 0 0 44713 294 0 0 25 0 1 0 969907136 343445504 70849 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83849 70849 301 301 0 83548 0 vsize: 335396 [startup+460.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 116248 0 0 0 45712 294 0 0 25 0 1 0 969907136 343445504 70849 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83849 70849 301 301 0 83548 0 vsize: 335396 [startup+470.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 117654 0 0 0 46708 298 0 0 25 0 1 0 969907136 343580672 72221 4294967295 134512640 135730672 3221224576 3215665776 134786238 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 83882 72221 301 301 0 83581 0 vsize: 335528 [startup+480.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 148195 0 0 0 47653 354 0 0 25 0 1 0 969907136 455434240 84294 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 84294 301 301 0 110889 0 vsize: 444760 [startup+490.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 148195 0 0 0 48653 354 0 0 25 0 1 0 969907136 455434240 84294 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 84294 301 301 0 110889 0 vsize: 444760 [startup+500.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 148195 0 0 0 49652 354 0 0 25 0 1 0 969907136 455434240 84294 4294967295 134512640 135730672 3221224576 3221221124 134540222 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 84294 301 301 0 110889 0 vsize: 444760 [startup+510.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 151776 0 0 0 50645 362 0 0 25 0 1 0 969907136 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+520.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 151776 0 0 0 51644 362 0 0 25 0 1 0 969907136 455434240 87805 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 111190 87805 301 301 0 110889 0 vsize: 444760 [startup+530.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 155343 0 0 0 52636 370 0 0 25 0 1 0 969907136 455434240 91303 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 91303 301 301 0 110889 0 vsize: 444760 [startup+540.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 155343 0 0 0 53636 370 0 0 25 0 1 0 969907136 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+550.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 155343 0 0 0 54636 370 0 0 25 0 1 0 969907136 455434240 91303 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 91303 301 301 0 110889 0 vsize: 444760 [startup+560.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 155354 0 0 0 55636 371 0 0 25 0 1 0 969907136 455434240 91314 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 111190 91314 301 301 0 110889 0 vsize: 444760 [startup+570.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 180303 0 0 0 56584 423 0 0 25 0 1 0 969907136 659124224 116179 4294967295 134512640 135730672 3221224576 3220131024 134788521 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 160919 116179 301 301 0 160618 0 vsize: 643676 [startup+580.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 193861 0 0 0 57548 458 0 0 25 0 1 0 969907136 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+590.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 194009 0 0 0 58547 459 0 0 25 0 1 0 969907136 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+600.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 213783 0 0 0 59497 509 0 0 25 0 1 0 969907136 645758976 122128 4294967295 134512640 135730672 3221224576 3196114920 135285983 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 157656 122129 301 301 0 157355 0 vsize: 630624 [startup+610.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 235894 0 0 0 60448 559 0 0 25 0 1 0 969907136 682254336 143951 4294967295 134512640 135730672 3221224576 3193083056 135284078 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 166566 143952 301 301 0 166265 0 vsize: 666264 [startup+620.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 251986 0 0 0 61410 596 0 0 25 0 1 0 969907136 708444160 159836 4294967295 134512640 135730672 3221224576 3213330048 135301788 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 172960 159836 301 301 0 172659 0 vsize: 691840 [startup+627.958 s] Raw data (loadavg): 1.00 0.97 0.91 1/53 8991 Raw data (stat): 8989 (pb2sat-v2) R 8988 31399 31398 0 -1 0 251986 0 0 0 61410 596 0 0 25 0 1 0 969907136 708444160 159836 4294967295 134512640 135730672 3221224576 3213330048 135301788 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): 627.958 CPU time (s): 628.018 CPU user time (s): 621.731 CPU system time (s): 6.28604 CPU usage (%): 100.009 Max. virtual memory (Kb): 691840 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####