Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-khb05250.opb |
MD5SUM | 18d2c1f575fe90b4288795c634aa1a5b |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 37494 |
Biggest coefficient in the objective function | 6251324899328 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 5652283493428566 |
Number of bits of the sum of numbers in the objective function | 53 |
Biggest number in a constraint | 6251324899328 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 5652283493428566 |
Number of bits of the biggest sum of numbers | 53 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1208.43 |
Number of variables | 38297 |
Total number of constraints | 126 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 102 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1530 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-09 05:07:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29131 boxname=wulflinc2 idbench=915 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 18d2c1f575fe90b4288795c634aa1a5b /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-khb05250.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-khb05250.opb IDLAUNCH: 29131 /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: 895596 kB Buffers: 1784 kB Cached: 115348 kB SwapCached: 1392 kB Active: 26224 kB Inactive: 92948 kB HighTotal: 131008 kB HighFree: 15316 kB LowTotal: 903652 kB LowFree: 880280 kB SwapTotal: 2097136 kB SwapFree: 2094696 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4992 kB Slab: 14064 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 05:15:43 (client local time) WITH STATUS 20 IN 474.907 SECONDS stats: 29131 7 474.907 20 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 38297 variables and 179 constraints. s UNSATISFIABLE c Exit Code: 20 c Total time: 474.852 s #### 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.83 0.95 0.90 1/54 20479 Raw data (stat): 20479 (runsolver) R 20478 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907636086 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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+9.99989 s] Raw data (loadavg): 0.85 0.95 0.91 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 1133 0 0 0 994 2 0 0 25 0 1 0 907636086 16568320 1053 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4045 1053 1111 63 0 3982 0 vsize: 16180 [startup+20.001 s] Raw data (loadavg): 0.88 0.95 0.91 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 1369 0 0 0 1993 3 0 0 25 0 1 0 907636086 17625088 1289 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4303 1289 1111 63 0 4240 0 vsize: 17212 [startup+30.0013 s] Raw data (loadavg): 0.89 0.95 0.91 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 1608 0 0 0 2992 4 0 0 25 0 1 0 907636086 18485248 1528 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4513 1528 1111 63 0 4450 0 vsize: 18052 [startup+40.002 s] Raw data (loadavg): 0.91 0.95 0.91 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 1845 0 0 0 3992 5 0 0 25 0 1 0 907636086 19513344 1765 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4764 1765 1111 63 0 4701 0 vsize: 19056 [startup+50.0031 s] Raw data (loadavg): 0.92 0.96 0.91 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 2101 0 0 0 4991 6 0 0 25 0 1 0 907636086 20566016 2021 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5021 2021 1111 63 0 4958 0 vsize: 20084 [startup+60.0024 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 2339 0 0 0 5989 7 0 0 25 0 1 0 907636086 21475328 2259 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5243 2259 1111 63 0 5180 0 vsize: 20972 [startup+70.0031 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 2589 0 0 0 6989 8 0 0 25 0 1 0 907636086 22503424 2509 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5494 2509 1111 63 0 5431 0 vsize: 21976 [startup+80.0032 s] Raw data (loadavg): 1.09 0.99 0.92 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 2840 0 0 0 7988 9 0 0 25 0 1 0 907636086 23560192 2760 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5752 2760 1111 63 0 5689 0 vsize: 23008 [startup+90.0035 s] Raw data (loadavg): 1.08 0.99 0.92 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 3107 0 0 0 8988 9 0 0 25 0 1 0 907636086 24739840 3027 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6040 3027 1111 63 0 5977 0 vsize: 24160 [startup+100.003 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 3366 0 0 0 9987 10 0 0 25 0 1 0 907636086 25792512 3286 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6297 3286 1111 63 0 6234 0 vsize: 25188 [startup+110.003 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 3634 0 0 0 10987 11 0 0 25 0 1 0 907636086 26849280 3554 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6555 3554 1111 63 0 6492 0 vsize: 26220 [startup+120.004 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 3900 0 0 0 11986 11 0 0 25 0 1 0 907636086 27910144 3820 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6814 3820 1111 63 0 6751 0 vsize: 27256 [startup+130.003 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 4174 0 0 0 12985 12 0 0 25 0 1 0 907636086 29118464 4094 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7109 4094 1111 63 0 7046 0 vsize: 28436 [startup+140.004 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 4449 0 0 0 13985 13 0 0 25 0 1 0 907636086 30179328 4369 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7368 4369 1111 63 0 7305 0 vsize: 29472 [startup+150.005 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 4728 0 0 0 14985 13 0 0 25 0 1 0 907636086 31383552 4648 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7662 4648 1111 63 0 7599 0 vsize: 30648 [startup+160.004 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 5024 0 0 0 15985 14 0 0 25 0 1 0 907636086 32591872 4944 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7957 4944 1111 63 0 7894 0 vsize: 31828 [startup+170.005 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 5314 0 0 0 16983 15 0 0 25 0 1 0 907636086 33796096 5234 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8251 5234 1111 63 0 8188 0 vsize: 33004 [startup+180.005 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 5616 0 0 0 17983 15 0 0 25 0 1 0 907636086 35008512 5536 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8547 5536 1111 63 0 8484 0 vsize: 34188 [startup+190.006 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 5927 0 0 0 18983 16 0 0 25 0 1 0 907636086 36212736 5847 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8841 5847 1111 63 0 8778 0 vsize: 35364 [startup+200.006 s] Raw data (loadavg): 1.08 1.01 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 6259 0 0 0 19982 17 0 0 25 0 1 0 907636086 37568512 6179 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9172 6179 1111 63 0 9109 0 vsize: 36688 [startup+210.005 s] Raw data (loadavg): 1.07 1.01 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 6591 0 0 0 20980 19 0 0 25 0 1 0 907636086 38924288 6511 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9503 6511 1111 63 0 9440 0 vsize: 38012 [startup+220.006 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 6939 0 0 0 21979 20 0 0 25 0 1 0 907636086 40435712 6859 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9872 6859 1111 63 0 9809 0 vsize: 39488 [startup+230.006 s] Raw data (loadavg): 1.05 1.00 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 7286 0 0 0 22978 21 0 0 25 0 1 0 907636086 41783296 7206 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10201 7206 1111 63 0 10138 0 vsize: 40804 [startup+240.006 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 7647 0 0 0 23976 23 0 0 25 0 1 0 907636086 43294720 7567 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10570 7567 1111 63 0 10507 0 vsize: 42280 [startup+250.006 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 8004 0 0 0 24976 23 0 0 25 0 1 0 907636086 44802048 7924 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10938 7924 1111 63 0 10875 0 vsize: 43752 [startup+260.006 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 8372 0 0 0 25975 24 0 0 25 0 1 0 907636086 46305280 8292 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11305 8292 1111 63 0 11242 0 vsize: 45220 [startup+270.006 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 8754 0 0 0 26974 26 0 0 25 0 1 0 907636086 47816704 8674 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11674 8674 1111 63 0 11611 0 vsize: 46696 [startup+280.006 s] Raw data (loadavg): 1.10 1.02 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 9158 0 0 0 27973 27 0 0 25 0 1 0 907636086 49577984 9078 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12104 9078 1111 63 0 12041 0 vsize: 48416 [startup+290.007 s] Raw data (loadavg): 1.08 1.02 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 9564 0 0 0 28972 28 0 0 25 0 1 0 907636086 51232768 9484 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12508 9484 1111 63 0 12445 0 vsize: 50032 [startup+300.007 s] Raw data (loadavg): 1.07 1.01 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 9969 0 0 0 29971 29 0 0 25 0 1 0 907636086 52891648 9889 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12913 9889 1111 63 0 12850 0 vsize: 51652 [startup+310.007 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 10382 0 0 0 30970 30 0 0 25 0 1 0 907636086 54550528 10302 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13318 10302 1111 63 0 13255 0 vsize: 53272 [startup+320.007 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 10797 0 0 0 31970 30 0 0 25 0 1 0 907636086 56209408 10717 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13723 10717 1111 63 0 13660 0 vsize: 54892 [startup+330.007 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 11239 0 0 0 32969 31 0 0 25 0 1 0 907636086 58015744 11159 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14164 11159 1111 63 0 14101 0 vsize: 56656 [startup+340.007 s] Raw data (loadavg): 1.12 1.03 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 11697 0 0 0 33968 32 0 0 25 0 1 0 907636086 59977728 11617 4294967295 134512640 134716908 3221224560 3221223216 134527953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14643 11617 1111 63 0 14580 0 vsize: 58572 [startup+350.007 s] Raw data (loadavg): 1.10 1.03 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 12163 0 0 0 34968 33 0 0 25 0 1 0 907636086 61788160 12083 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15085 12083 1111 63 0 15022 0 vsize: 60340 [startup+360.007 s] Raw data (loadavg): 1.08 1.03 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 12675 0 0 0 35966 35 0 0 25 0 1 0 907636086 63893504 12595 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15599 12595 1111 63 0 15536 0 vsize: 62396 [startup+370.007 s] Raw data (loadavg): 1.07 1.02 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 13219 0 0 0 36966 35 0 0 25 0 1 0 907636086 66158592 13139 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16152 13139 1111 63 0 16089 0 vsize: 64608 [startup+380.007 s] Raw data (loadavg): 1.06 1.02 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 13774 0 0 0 37965 36 0 0 25 0 1 0 907636086 68415488 13694 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16703 13694 1111 63 0 16640 0 vsize: 66812 [startup+390.007 s] Raw data (loadavg): 1.05 1.02 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 14366 0 0 0 38964 37 0 0 25 0 1 0 907636086 70832128 14286 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17293 14286 1111 63 0 17230 0 vsize: 69172 [startup+400.008 s] Raw data (loadavg): 1.04 1.02 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 15031 0 0 0 39963 38 0 0 25 0 1 0 907636086 73543680 14951 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17955 14951 1111 63 0 17892 0 vsize: 71820 [startup+410.009 s] Raw data (loadavg): 1.03 1.02 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 15762 0 0 0 40962 40 0 0 25 0 1 0 907636086 76554240 15682 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18690 15682 1111 63 0 18627 0 vsize: 74760 [startup+420.009 s] Raw data (loadavg): 1.03 1.02 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 16552 0 0 0 41961 41 0 0 25 0 1 0 907636086 79695872 16472 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19457 16472 1111 63 0 19394 0 vsize: 77828 [startup+430.008 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 17434 0 0 0 42959 43 0 0 25 0 1 0 907636086 83668992 17354 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20427 17354 1111 63 0 20364 0 vsize: 81708 [startup+440.009 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 18350 0 0 0 43958 44 0 0 25 0 1 0 907636086 87404544 18270 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21339 18270 1111 63 0 21276 0 vsize: 85356 [startup+450.009 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 19362 0 0 0 44956 46 0 0 25 0 1 0 907636086 91475968 19282 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22333 19282 1111 63 0 22270 0 vsize: 89332 [startup+460.008 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 21066 0 0 0 45951 51 0 0 25 0 1 0 907636086 97873920 20838 4294967295 134512640 134716908 3221224560 3221222816 1077314177 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23895 20838 1111 63 0 23832 0 vsize: 95580 [startup+470.009 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 22281 0 0 0 46948 54 0 0 25 0 1 0 907636086 102756352 22053 4294967295 134512640 134716908 3221224560 3221222220 1077244179 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25087 22053 1111 63 0 25024 0 vsize: 100348 [startup+474.893 s] Raw data (loadavg): 1.01 1.01 0.94 1/53 20479 Raw data (stat): 20479 (bsolo_lpr_cuts-) R 20478 31399 31398 0 -1 0 22281 0 0 0 46948 54 0 0 25 0 1 0 907636086 102756352 22053 4294967295 134512640 134716908 3221224560 3221222220 1077244179 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25087 22053 1111 63 0 25024 0 vsize: 0 Child status: 20 Real time (s): 474.892 CPU time (s): 474.907 CPU user time (s): 474.234 CPU system time (s): 0.672897 CPU usage (%): 100.003 Max. virtual memory (Kb): 100348 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####