Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb |
MD5SUM | c6fa043dbbb5b108d149e4ec9ce5fa2c |
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 | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29637219205243 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29637219205243 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.44978 |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-05-28 12:44:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24616 boxname=wulflinc3 idbench=1088 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c6fa043dbbb5b108d149e4ec9ce5fa2c /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-n370a.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-n370a.opb IDLAUNCH: 24616 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 831152 kB Buffers: 33260 kB Cached: 147992 kB SwapCached: 240 kB Active: 61680 kB Inactive: 122152 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 830900 kB SwapTotal: 2097136 kB SwapFree: 2096480 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6324 kB Slab: 13988 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 12:57:34 (client local time) WITH STATUS 1 IN 783 SECONDS stats: 24616 7 783 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.98 0.94 0.91 2/54 28582 Raw data (stat): 28582 (runsolver) R 28581 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806671422 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.0007 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 2187 0 0 0 994 5 0 0 25 0 1 0 806671422 7954432 1511 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1942 1511 300 300 0 1642 0 vsize: 7768 [startup+20.001 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 2735 0 0 0 1992 6 0 0 25 0 1 0 806671422 9441280 2050 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2305 2050 300 300 0 2005 0 vsize: 9220 [startup+30.0009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 3878 0 0 0 2990 9 0 0 25 0 1 0 806671422 13410304 2481 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3274 2481 300 300 0 2974 0 vsize: 13096 [startup+40.0011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 4124 0 0 0 3989 10 0 0 25 0 1 0 806671422 14086144 2723 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3439 2723 300 300 0 3139 0 vsize: 13756 [startup+50.0016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 4384 0 0 0 4988 11 0 0 25 0 1 0 806671422 14761984 2978 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3604 2978 300 300 0 3304 0 vsize: 14416 [startup+60.0014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 4618 0 0 0 5987 12 0 0 25 0 1 0 806671422 15302656 3209 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3736 3209 300 300 0 3436 0 vsize: 14944 [startup+70.0026 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 4831 0 0 0 6986 13 0 0 25 0 1 0 806671422 15978496 3418 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3901 3418 300 300 0 3601 0 vsize: 15604 [startup+80.0031 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 5026 0 0 0 7985 14 0 0 25 0 1 0 806671422 16384000 3610 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4000 3610 300 300 0 3700 0 vsize: 16000 [startup+90.0029 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 5210 0 0 0 8985 15 0 0 25 0 1 0 806671422 16924672 3791 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4132 3791 300 300 0 3832 0 vsize: 16528 [startup+100.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 5385 0 0 0 9985 15 0 0 25 0 1 0 806671422 17330176 3963 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4231 3963 300 300 0 3931 0 vsize: 16924 [startup+110.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 7454 0 0 0 10981 19 0 0 25 0 1 0 806671422 25403392 4620 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4620 300 300 0 5902 0 vsize: 24808 [startup+120.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 7511 0 0 0 11981 20 0 0 25 0 1 0 806671422 25403392 4674 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4674 300 300 0 5902 0 vsize: 24808 [startup+130.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 7566 0 0 0 12981 20 0 0 25 0 1 0 806671422 25403392 4727 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4727 300 300 0 5902 0 vsize: 24808 [startup+140.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 7620 0 0 0 13981 20 0 0 25 0 1 0 806671422 25403392 4778 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4778 300 300 0 5902 0 vsize: 24808 [startup+150.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 7697 0 0 0 14981 20 0 0 25 0 1 0 806671422 25403392 4853 4294967295 134512640 135726644 3221224592 3221221680 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4853 300 300 0 5902 0 vsize: 24808 [startup+160.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 7768 0 0 0 15980 21 0 0 25 0 1 0 806671422 25538560 4922 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6235 4922 300 300 0 5935 0 vsize: 24940 [startup+170.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 7904 0 0 0 16980 21 0 0 25 0 1 0 806671422 25944064 5055 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6334 5055 300 300 0 6034 0 vsize: 25336 [startup+180.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 8033 0 0 0 17980 22 0 0 25 0 1 0 806671422 26214400 5182 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6400 5182 300 300 0 6100 0 vsize: 25600 [startup+190.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 8162 0 0 0 18980 22 0 0 25 0 1 0 806671422 26619904 5309 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6499 5309 300 300 0 6199 0 vsize: 25996 [startup+200.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 8286 0 0 0 19979 22 0 0 25 0 1 0 806671422 26890240 5431 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6565 5431 300 300 0 6265 0 vsize: 26260 [startup+210.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 8407 0 0 0 20979 23 0 0 25 0 1 0 806671422 27295744 5550 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6664 5550 300 300 0 6364 0 vsize: 26656 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 8525 0 0 0 21978 23 0 0 25 0 1 0 806671422 27566080 5666 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6730 5666 300 300 0 6430 0 vsize: 26920 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 8640 0 0 0 22978 24 0 0 25 0 1 0 806671422 27836416 5780 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6796 5780 300 300 0 6496 0 vsize: 27184 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 8754 0 0 0 23978 24 0 0 25 0 1 0 806671422 28106752 5892 4294967295 134512640 135726644 3221224592 3221221680 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6862 5892 300 300 0 6562 0 vsize: 27448 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 8866 0 0 0 24978 25 0 0 25 0 1 0 806671422 28512256 6002 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6961 6002 300 300 0 6661 0 vsize: 27844 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 8976 0 0 0 25977 25 0 0 25 0 1 0 806671422 28782592 6110 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7027 6110 300 300 0 6727 0 vsize: 28108 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 9083 0 0 0 26977 25 0 0 25 0 1 0 806671422 29052928 6215 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7093 6215 300 300 0 6793 0 vsize: 28372 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 9188 0 0 0 27977 26 0 0 25 0 1 0 806671422 29323264 6319 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7159 6319 300 300 0 6859 0 vsize: 28636 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 9290 0 0 0 28976 27 0 0 25 0 1 0 806671422 29593600 6419 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7225 6419 300 300 0 6925 0 vsize: 28900 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 9393 0 0 0 29975 27 0 0 25 0 1 0 806671422 29863936 6520 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7291 6520 300 300 0 6991 0 vsize: 29164 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 9493 0 0 0 30975 27 0 0 25 0 1 0 806671422 30134272 6619 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7357 6619 300 300 0 7057 0 vsize: 29428 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 9593 0 0 0 31974 28 0 0 25 0 1 0 806671422 30404608 6717 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7423 6717 300 300 0 7123 0 vsize: 29692 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 9690 0 0 0 32974 28 0 0 25 0 1 0 806671422 30674944 6813 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7489 6813 300 300 0 7189 0 vsize: 29956 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 9786 0 0 0 33974 28 0 0 25 0 1 0 806671422 30945280 6907 4294967295 134512640 135726644 3221224592 3221221680 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7555 6907 300 300 0 7255 0 vsize: 30220 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 9881 0 0 0 34974 28 0 0 25 0 1 0 806671422 31080448 7001 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7588 7001 300 300 0 7288 0 vsize: 30352 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 9976 0 0 0 35974 29 0 0 25 0 1 0 806671422 31350784 7094 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7654 7094 300 300 0 7354 0 vsize: 30616 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 10067 0 0 0 36974 29 0 0 25 0 1 0 806671422 31621120 7184 4294967295 134512640 135726644 3221224592 3221221680 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7720 7184 300 300 0 7420 0 vsize: 30880 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 10158 0 0 0 37974 29 0 0 25 0 1 0 806671422 31891456 7273 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7786 7273 300 300 0 7486 0 vsize: 31144 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 10249 0 0 0 38974 29 0 0 25 0 1 0 806671422 32161792 7363 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7852 7363 300 300 0 7552 0 vsize: 31408 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 10338 0 0 0 39973 30 0 0 25 0 1 0 806671422 32296960 7450 4294967295 134512640 135726644 3221224592 3221221680 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7885 7450 300 300 0 7585 0 vsize: 31540 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 10426 0 0 0 40973 30 0 0 25 0 1 0 806671422 32567296 7537 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7951 7537 300 300 0 7651 0 vsize: 31804 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 10513 0 0 0 41973 30 0 0 25 0 1 0 806671422 32837632 7622 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8017 7622 300 300 0 7717 0 vsize: 32068 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 10599 0 0 0 42973 31 0 0 25 0 1 0 806671422 32972800 7707 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8050 7707 300 300 0 7750 0 vsize: 32200 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 10683 0 0 0 43972 31 0 0 25 0 1 0 806671422 33243136 7790 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8116 7790 300 300 0 7816 0 vsize: 32464 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 10769 0 0 0 44973 31 0 0 25 0 1 0 806671422 33513472 7874 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8182 7874 300 300 0 7882 0 vsize: 32728 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 10851 0 0 0 45972 32 0 0 25 0 1 0 806671422 33648640 7955 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8215 7955 300 300 0 7915 0 vsize: 32860 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 10932 0 0 0 46971 32 0 0 25 0 1 0 806671422 33918976 8035 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8281 8035 300 300 0 7981 0 vsize: 33124 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 14823 0 0 0 47963 41 0 0 25 0 1 0 806671422 49254400 9106 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9106 300 300 0 11725 0 vsize: 48100 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 14853 0 0 0 48963 41 0 0 25 0 1 0 806671422 49254400 9135 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9135 300 300 0 11725 0 vsize: 48100 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 14880 0 0 0 49963 41 0 0 25 0 1 0 806671422 49254400 9161 4294967295 134512640 135726644 3221224592 3221221680 134556181 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9161 300 300 0 11725 0 vsize: 48100 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 14909 0 0 0 50963 41 0 0 25 0 1 0 806671422 49254400 9188 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9188 300 300 0 11725 0 vsize: 48100 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 14937 0 0 0 51963 41 0 0 25 0 1 0 806671422 49254400 9215 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9215 300 300 0 11725 0 vsize: 48100 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 14964 0 0 0 52963 42 0 0 25 0 1 0 806671422 49254400 9241 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9241 300 300 0 11725 0 vsize: 48100 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 14991 0 0 0 53962 42 0 0 25 0 1 0 806671422 49254400 9267 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9267 300 300 0 11725 0 vsize: 48100 [startup+550.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 15019 0 0 0 54962 42 0 0 25 0 1 0 806671422 49254400 9293 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9293 300 300 0 11725 0 vsize: 48100 [startup+560.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 15046 0 0 0 55962 42 0 0 25 0 1 0 806671422 49254400 9319 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9319 300 300 0 11725 0 vsize: 48100 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 15071 0 0 0 56962 42 0 0 25 0 1 0 806671422 49254400 9343 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9343 300 300 0 11725 0 vsize: 48100 [startup+580.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 15098 0 0 0 57963 43 0 0 25 0 1 0 806671422 49254400 9369 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12025 9369 300 300 0 11725 0 vsize: 48100 [startup+590.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 15124 0 0 0 58962 43 0 0 25 0 1 0 806671422 49254400 9394 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9394 300 300 0 11725 0 vsize: 48100 [startup+600.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 15151 0 0 0 59961 43 0 0 25 0 1 0 806671422 49254400 9419 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9419 300 300 0 11725 0 vsize: 48100 [startup+610.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 15192 0 0 0 60960 44 0 0 25 0 1 0 806671422 49254400 9459 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9459 300 300 0 11725 0 vsize: 48100 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 15227 0 0 0 61960 44 0 0 25 0 1 0 806671422 49254400 9493 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9493 300 300 0 11725 0 vsize: 48100 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 15251 0 0 0 62960 45 0 0 25 0 1 0 806671422 49254400 9516 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9516 300 300 0 11725 0 vsize: 48100 [startup+640.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 15276 0 0 0 63960 45 0 0 25 0 1 0 806671422 49254400 9540 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9540 300 300 0 11725 0 vsize: 48100 [startup+650.121 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 15301 0 0 0 64969 45 0 0 25 0 1 0 806671422 49254400 9564 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9564 300 300 0 11725 0 vsize: 48100 [startup+660.121 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 15326 0 0 0 65968 46 0 0 25 0 1 0 806671422 49254400 9588 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12025 9588 300 300 0 11725 0 vsize: 48100 [startup+670.121 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 16576 0 0 0 66965 49 0 0 25 0 1 0 806671422 54390784 10837 4294967295 134512640 135726644 3221224592 3221221164 134604420 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13279 10837 300 300 0 12979 0 vsize: 53116 [startup+680.125 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 55825 0 0 0 67879 136 0 0 25 0 1 0 806671422 187957248 42210 4294967295 134512640 135726644 3221224592 3159836908 134604449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45888 42210 300 300 0 45588 0 vsize: 183552 [startup+690.125 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 92498 0 0 0 68803 211 0 0 25 0 1 0 806671422 308142080 60278 4294967295 134512640 135726644 3221224592 3161989344 134554691 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 75230 60278 300 300 0 74930 0 vsize: 300920 [startup+700.158 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 108809 0 0 0 69769 248 0 0 25 0 1 0 806671422 338436096 76360 4294967295 134512640 135726644 3221224592 3163191048 134728569 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82626 76365 300 300 0 82326 0 vsize: 330504 [startup+710.158 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 138354 0 0 0 70704 314 0 0 25 0 1 0 806671422 447193088 93417 4294967295 134512640 135726644 3221224592 3159855472 134558405 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 109178 93417 300 300 0 108878 0 vsize: 436712 [startup+720.158 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 176793 0 0 0 71627 390 0 0 25 0 1 0 806671422 570675200 112270 4294967295 134512640 135726644 3221224592 3159600812 135298000 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 139325 112270 300 300 0 139025 0 vsize: 557300 [startup+730.158 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 212691 0 0 0 72544 474 0 0 25 0 1 0 806671422 671338496 123393 4294967295 134512640 135726644 3221224592 3160252144 134554691 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 163901 123393 300 300 0 163601 0 vsize: 655604 [startup+740.158 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 228936 0 0 0 73506 511 0 0 25 0 1 0 806671422 723816448 139426 4294967295 134512640 135726644 3221224592 3160358168 135280595 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 176713 139426 300 300 0 176413 0 vsize: 706852 [startup+750.159 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 248832 0 0 0 74465 553 0 0 25 0 1 0 806671422 752066560 159097 4294967295 134512640 135726644 3221224592 3163334980 135277617 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 183610 159097 300 300 0 183310 0 vsize: 734440 [startup+760.159 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 268306 0 0 0 75420 598 0 0 25 0 1 0 806671422 779911168 178346 4294967295 134512640 135726644 3221224592 3160246656 134558600 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 190408 178346 300 300 0 190108 0 vsize: 761632 [startup+770.16 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 274781 0 0 0 76407 611 0 0 25 0 1 0 806671422 790016000 184747 4294967295 134512640 135726644 3221224592 3176020160 135139561 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 192875 184747 300 300 0 192575 0 vsize: 771500 [startup+780.163 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 274783 0 0 0 77406 611 0 0 25 0 1 0 806671422 785817600 184143 4294967295 134512640 135726644 3221224592 3221223056 134732753 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 191850 184143 300 300 0 191550 0 vsize: 767400 [startup+782.992 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 28582 Raw data (stat): 28582 (pb2sat) R 28581 20224 20223 0 -1 0 274783 0 0 0 77406 611 0 0 25 0 1 0 806671422 785817600 184143 4294967295 134512640 135726644 3221224592 3221223056 134732753 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 191850 184143 300 300 0 191550 0 vsize: 0 Child status: 1 Real time (s): 782.992 CPU time (s): 783 CPU user time (s): 776.507 CPU system time (s): 6.49301 CPU usage (%): 100.001 Max. virtual memory (Kb): 771500 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####