Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb |
MD5SUM | b99a0e1987692fd9762e75d45288f75a |
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 | 105000 |
Biggest coefficient in the objective function | 4194304 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 39256355821 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 4194304 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 39256355821 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.97785 |
Number of variables | 105000 |
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 | 21 |
Maximum length of a constraint | 2000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-05-28 13:48:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25002 boxname=wulflinc25 idbench=1474 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: b99a0e1987692fd9762e75d45288f75a /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-n370c.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-n370c.opb IDLAUNCH: 25002 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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 : 3 cpu MHz : 451.220 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 695916 kB Buffers: 35180 kB Cached: 282552 kB SwapCached: 984 kB Active: 34204 kB Inactive: 285648 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 695664 kB SwapTotal: 2097892 kB SwapFree: 2095996 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5060 kB Slab: 13140 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 13:55:39 (client local time) WITH STATUS 1 IN 414.295 SECONDS stats: 25002 7 414.295 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.85 0.97 0.93 2/54 10664 Raw data (stat): 10664 (runsolver) R 10663 1586 1585 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865300770 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.0004 s] Raw data (loadavg): 0.87 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 2194 0 0 0 994 4 0 0 25 0 1 0 865300770 8089600 1518 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 1975 1518 300 300 0 1675 0 vsize: 7900 [startup+20.001 s] Raw data (loadavg): 0.89 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 2769 0 0 0 1993 6 0 0 25 0 1 0 865300770 9576448 2084 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 2338 2084 300 300 0 2038 0 vsize: 9352 [startup+30.001 s] Raw data (loadavg): 0.91 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 3882 0 0 0 2990 9 0 0 25 0 1 0 865300770 13410304 2485 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3274 2485 300 300 0 2974 0 vsize: 13096 [startup+40.0012 s] Raw data (loadavg): 0.92 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 4125 0 0 0 3990 9 0 0 25 0 1 0 865300770 14086144 2724 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3439 2724 300 300 0 3139 0 vsize: 13756 [startup+50.0018 s] Raw data (loadavg): 0.93 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 4378 0 0 0 4989 11 0 0 25 0 1 0 865300770 14761984 2973 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3604 2973 300 300 0 3304 0 vsize: 14416 [startup+60.0027 s] Raw data (loadavg): 0.94 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 4609 0 0 0 5988 12 0 0 25 0 1 0 865300770 15302656 3200 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3736 3200 300 300 0 3436 0 vsize: 14944 [startup+70.003 s] Raw data (loadavg): 0.95 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 4821 0 0 0 6987 13 0 0 25 0 1 0 865300770 15843328 3408 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 3868 3408 300 300 0 3568 0 vsize: 15472 [startup+80.0026 s] Raw data (loadavg): 0.96 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 5018 0 0 0 7986 14 0 0 25 0 1 0 865300770 16384000 3602 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4000 3602 300 300 0 3700 0 vsize: 16000 [startup+90.0025 s] Raw data (loadavg): 0.96 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 5202 0 0 0 8986 14 0 0 25 0 1 0 865300770 16924672 3783 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4132 3783 300 300 0 3832 0 vsize: 16528 [startup+100.002 s] Raw data (loadavg): 0.97 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 5376 0 0 0 9986 14 0 0 25 0 1 0 865300770 17330176 3954 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 4231 3954 300 300 0 3931 0 vsize: 16924 [startup+110.002 s] Raw data (loadavg): 0.97 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 7450 0 0 0 10981 20 0 0 25 0 1 0 865300770 25403392 4616 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4616 300 300 0 5902 0 vsize: 24808 [startup+120.002 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 7507 0 0 0 11980 20 0 0 25 0 1 0 865300770 25403392 4670 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4670 300 300 0 5902 0 vsize: 24808 [startup+130.002 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 7560 0 0 0 12980 21 0 0 25 0 1 0 865300770 25403392 4721 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4721 300 300 0 5902 0 vsize: 24808 [startup+140.002 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 7614 0 0 0 13980 21 0 0 25 0 1 0 865300770 25403392 4772 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4772 300 300 0 5902 0 vsize: 24808 [startup+150.002 s] Raw data (loadavg): 0.98 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 7691 0 0 0 14980 21 0 0 25 0 1 0 865300770 25403392 4847 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6202 4847 300 300 0 5902 0 vsize: 24808 [startup+160.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 7751 0 0 0 15980 21 0 0 25 0 1 0 865300770 25538560 4905 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6235 4905 300 300 0 5935 0 vsize: 24940 [startup+170.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 7886 0 0 0 16979 22 0 0 25 0 1 0 865300770 25808896 5038 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6301 5039 300 300 0 6001 0 vsize: 25204 [startup+180.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 8017 0 0 0 17979 23 0 0 25 0 1 0 865300770 26214400 5167 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6400 5167 300 300 0 6100 0 vsize: 25600 [startup+190.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 8145 0 0 0 18979 23 0 0 25 0 1 0 865300770 26619904 5293 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6499 5293 300 300 0 6199 0 vsize: 25996 [startup+200.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 8269 0 0 0 19977 24 0 0 25 0 1 0 865300770 26890240 5415 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6565 5415 300 300 0 6265 0 vsize: 26260 [startup+210.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 8390 0 0 0 20977 25 0 0 25 0 1 0 865300770 27160576 5534 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6631 5534 300 300 0 6331 0 vsize: 26524 [startup+220.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 8509 0 0 0 21977 26 0 0 25 0 1 0 865300770 27566080 5651 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6730 5651 300 300 0 6430 0 vsize: 26920 [startup+230.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 8627 0 0 0 22976 26 0 0 25 0 1 0 865300770 27836416 5767 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6796 5767 300 300 0 6496 0 vsize: 27184 [startup+240.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 8740 0 0 0 23976 27 0 0 25 0 1 0 865300770 28106752 5878 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6862 5878 300 300 0 6562 0 vsize: 27448 [startup+250.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 8852 0 0 0 24976 27 0 0 25 0 1 0 865300770 28377088 5988 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6928 5988 300 300 0 6628 0 vsize: 27712 [startup+260 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 8962 0 0 0 25975 28 0 0 25 0 1 0 865300770 28647424 6096 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 6994 6096 300 300 0 6694 0 vsize: 27976 [startup+270 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 9069 0 0 0 26974 29 0 0 25 0 1 0 865300770 29052928 6202 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7093 6202 300 300 0 6793 0 vsize: 28372 [startup+280 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 9176 0 0 0 27974 29 0 0 25 0 1 0 865300770 29323264 6307 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7159 6307 300 300 0 6859 0 vsize: 28636 [startup+290.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 9280 0 0 0 28973 30 0 0 25 0 1 0 865300770 29593600 6409 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7225 6409 300 300 0 6925 0 vsize: 28900 [startup+300 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 9381 0 0 0 29973 30 0 0 25 0 1 0 865300770 29863936 6509 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 7291 6509 300 300 0 6991 0 vsize: 29164 [startup+309.999 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 45322 0 0 0 30894 109 0 0 25 0 1 0 865300770 154316800 32311 4294967295 134512640 135726644 3221224576 3181063312 135278584 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 37675 32311 300 300 0 37375 0 vsize: 150700 [startup+320 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 71630 0 0 0 31835 169 0 0 25 0 1 0 865300770 239128576 49193 4294967295 134512640 135726644 3221224576 3180534592 134784413 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 58381 49194 300 300 0 58081 0 vsize: 233524 [startup+330 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 97816 0 0 0 32783 221 0 0 25 0 1 0 865300770 300531712 65459 4294967295 134512640 135726644 3221224576 3182395664 134767085 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 73372 65460 300 300 0 73072 0 vsize: 293488 [startup+340 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 127610 0 0 0 33720 285 0 0 25 0 1 0 865300770 409829376 82762 4294967295 134512640 135726644 3221224576 3179951752 134784091 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100056 82764 300 300 0 99756 0 vsize: 400224 [startup+350 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 168182 0 0 0 34641 363 0 0 25 0 1 0 865300770 541417472 104774 4294967295 134512640 135726644 3221224576 3183751416 135281200 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 132182 104774 300 300 0 131882 0 vsize: 528728 [startup+360 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 200617 0 0 0 35574 431 0 0 25 0 1 0 865300770 746942464 135980 4294967295 134512640 135726644 3221224576 3180168592 134784885 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 182359 135985 300 300 0 182059 0 vsize: 729436 [startup+370 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 217724 0 0 0 36531 474 0 0 25 0 1 0 865300770 685236224 128313 4294967295 134512640 135726644 3221224576 3179737032 135282351 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 167294 128314 300 300 0 166994 0 vsize: 669176 [startup+380 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 237884 0 0 0 37485 520 0 0 25 0 1 0 865300770 713891840 148242 4294967295 134512640 135726644 3221224576 3180873728 134554559 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 174290 148242 300 300 0 173990 0 vsize: 697160 [startup+390.001 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 257750 0 0 0 38441 564 0 0 25 0 1 0 865300770 742006784 167881 4294967295 134512640 135726644 3221224576 3182082864 134766969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 181154 167881 300 300 0 180854 0 vsize: 724616 [startup+400 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 272072 0 0 0 39410 596 0 0 25 0 1 0 865300770 813797376 182038 4294967295 134512640 135726644 3221224576 3179523752 135102879 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 198681 182038 300 300 0 198381 0 vsize: 794724 [startup+410.007 s] Raw data (loadavg): 0.99 0.97 0.93 2/54 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 272073 0 0 0 40410 597 0 0 25 0 1 0 865300770 811696128 181628 4294967295 134512640 135726644 3221224576 3221222812 135280433 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 198168 181628 300 300 0 197868 0 vsize: 792672 [startup+414.251 s] Raw data (loadavg): 0.99 0.97 0.93 1/53 10664 Raw data (stat): 10664 (pb2sat) R 10663 1586 1585 0 -1 0 272073 0 0 0 40410 597 0 0 25 0 1 0 865300770 811696128 181628 4294967295 134512640 135726644 3221224576 3221222812 135280433 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 198168 181628 300 300 0 197868 0 vsize: 0 Child status: 1 Real time (s): 414.25 CPU time (s): 414.295 CPU user time (s): 407.958 CPU system time (s): 6.33704 CPU usage (%): 100.011 Max. virtual memory (Kb): 794724 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####