Name | web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb |
MD5SUM | 6bfe4c2dce1e5dbe61cc34b52b1b387f |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 130 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 512 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 50.7543 |
Number of variables | 87751 |
Total number of constraints | 254772 |
Number of constraints which are clauses | 247060 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 7712 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
LAUNCH ON wulflinc12 THE 2005-09-18 19:52:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3820 boxname=wulflinc12 idbench=304 idsolver=4 numberseed=0 MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938 /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 6bfe4c2dce1e5dbe61cc34b52b1b387f /oldhome/oroussel/tmp/wulflinc12/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc12/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb IDLAUNCH: 3820 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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.091 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: 889440 kB Buffers: 38732 kB Cached: 65920 kB SwapCached: 544 kB Active: 76424 kB Inactive: 40456 kB HighTotal: 131008 kB HighFree: 65044 kB LowTotal: 903652 kB LowFree: 824396 kB SwapTotal: 2097136 kB SwapFree: 2096072 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5884 kB Slab: 22736 kB Committed_AS: 64128 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 19:57:57 (client local time) WITH STATUS 20 IN 342.589 SECONDS stats: 3820 7 342.589 20
c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc12/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb ...... s UNSATISFIABLE c Done, CPU Time=329.625
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 1785679518 978944 2 4294967295 134512640 135450776 3221224544 3221224544 134512960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/25860/statm): 239 2 232 232 0 7 0 [pid=25860] vsize: 956 open syscall for file /dev/null open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb [startup+10.0022 s] Raw data (loadavg): 0.84 0.94 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 8779 0 0 0 967 27 0 0 25 0 1 0 1785679518 33906688 7171 4294967295 134512640 135450776 3221224544 3221223040 134524234 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/25860/statm): 8278 7171 232 232 0 8046 0 [pid=25860] vsize: 33112 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (Kb) 33112 [startup+20.003 s] Raw data (loadavg): 0.86 0.94 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 11115 0 0 0 1948 38 0 0 25 0 1 0 1785679518 41172992 9237 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 10052 9237 232 232 0 9820 0 [pid=25860] vsize: 40208 Current children cumulated CPU time (s) 19.86 Current children cumulated vsize (Kb) 40208 [startup+30.0039 s] Raw data (loadavg): 0.88 0.94 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 11514 0 0 0 2939 41 0 0 25 0 1 0 1785679518 42168320 9464 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 10295 9464 232 232 0 10063 0 [pid=25860] vsize: 41180 Current children cumulated CPU time (s) 29.8 Current children cumulated vsize (Kb) 41180 [startup+40.0047 s] Raw data (loadavg): 0.90 0.94 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 12029 0 0 0 3927 46 0 0 25 0 1 0 1785679518 43909120 9807 4294967295 134512640 135450776 3221224544 3221223264 134538910 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 10720 9807 232 232 0 10488 0 [pid=25860] vsize: 42880 Current children cumulated CPU time (s) 39.73 Current children cumulated vsize (Kb) 42880 [startup+50.0056 s] Raw data (loadavg): 0.91 0.95 0.91 1/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) T 25859 25860 8263 0 -1 0 12123 0 0 0 4917 49 0 0 25 0 1 0 1785679518 44314624 9901 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/25860/statm): 10819 9901 232 232 0 10587 0 [pid=25860] vsize: 43276 Current children cumulated CPU time (s) 49.66 Current children cumulated vsize (Kb) 43276 [startup+60.0065 s] Raw data (loadavg): 0.93 0.95 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 12335 0 0 0 5907 53 0 0 25 0 1 0 1785679518 44314624 9941 4294967295 134512640 135450776 3221224544 3221223456 134540483 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 10819 9941 232 232 0 10587 0 [pid=25860] vsize: 43276 Current children cumulated CPU time (s) 59.6 Current children cumulated vsize (Kb) 43276 [startup+70.0063 s] Raw data (loadavg): 0.94 0.95 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 12398 0 0 0 6897 57 0 0 25 0 1 0 1785679518 44584960 10004 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 10885 10004 232 232 0 10653 0 [pid=25860] vsize: 43540 Current children cumulated CPU time (s) 69.54 Current children cumulated vsize (Kb) 43540 [startup+80.0072 s] Raw data (loadavg): 0.95 0.95 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 12454 0 0 0 7886 62 0 0 25 0 1 0 1785679518 44720128 10060 4294967295 134512640 135450776 3221224544 3221223344 134547804 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 10918 10060 232 232 0 10686 0 [pid=25860] vsize: 43672 Current children cumulated CPU time (s) 79.48 Current children cumulated vsize (Kb) 43672 [startup+90.007 s] Raw data (loadavg): 0.95 0.95 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 12557 0 0 0 8874 66 0 0 25 0 1 0 1785679518 44986368 10130 4294967295 134512640 135450776 3221224544 3221223264 134538787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 10983 10130 232 232 0 10751 0 [pid=25860] vsize: 43932 Current children cumulated CPU time (s) 89.4 Current children cumulated vsize (Kb) 43932 [startup+100.008 s] Raw data (loadavg): 0.96 0.95 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 12795 0 0 0 9864 69 0 0 25 0 1 0 1785679518 45256704 10196 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/25860/statm): 11049 10196 232 232 0 10817 0 [pid=25860] vsize: 44196 Current children cumulated CPU time (s) 99.33 Current children cumulated vsize (Kb) 44196 [startup+110.009 s] Raw data (loadavg): 0.97 0.95 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) T 25859 25860 8263 0 -1 0 12818 0 0 0 10853 73 0 0 25 0 1 0 1785679518 45256704 10219 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/25860/statm): 11049 10219 232 232 0 10817 0 [pid=25860] vsize: 44196 Current children cumulated CPU time (s) 109.26 Current children cumulated vsize (Kb) 44196 [startup+120.009 s] Raw data (loadavg): 0.97 0.95 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 12902 0 0 0 11843 76 0 0 25 0 1 0 1785679518 45662208 10303 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 11148 10303 232 232 0 10916 0 [pid=25860] vsize: 44592 Current children cumulated CPU time (s) 119.19 Current children cumulated vsize (Kb) 44592 [startup+130.01 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 12920 0 0 0 12833 79 0 0 25 0 1 0 1785679518 45662208 10321 4294967295 134512640 135450776 3221224544 3221223392 134540086 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 11148 10321 232 232 0 10916 0 [pid=25860] vsize: 44592 Current children cumulated CPU time (s) 129.12 Current children cumulated vsize (Kb) 44592 [startup+140.01 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 12955 0 0 0 13822 83 0 0 25 0 1 0 1785679518 46092288 10356 4294967295 134512640 135450776 3221224544 3221222912 134603375 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 11253 10356 232 232 0 11021 0 [pid=25860] vsize: 45012 Current children cumulated CPU time (s) 139.05 Current children cumulated vsize (Kb) 45012 [startup+150.011 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 13051 0 0 0 14811 87 0 0 25 0 1 0 1785679518 46493696 10452 4294967295 134512640 135450776 3221224544 3221222880 134533864 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 11351 10452 232 232 0 11119 0 [pid=25860] vsize: 45404 Current children cumulated CPU time (s) 148.98 Current children cumulated vsize (Kb) 45404 [startup+160.012 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 13251 0 0 0 15800 91 0 0 25 0 1 0 1785679518 46493696 10480 4294967295 134512640 135450776 3221224544 3221222932 135070601 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 11351 10480 232 232 0 11119 0 [pid=25860] vsize: 45404 Current children cumulated CPU time (s) 158.91 Current children cumulated vsize (Kb) 45404 [startup+170.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 13293 0 0 0 16790 95 0 0 25 0 1 0 1785679518 46493696 10522 4294967295 134512640 135450776 3221224544 3221223264 134539418 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 11351 10522 232 232 0 11119 0 [pid=25860] vsize: 45404 Current children cumulated CPU time (s) 168.85 Current children cumulated vsize (Kb) 45404 [startup+180.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 13333 0 0 0 17778 100 0 0 25 0 1 0 1785679518 46493696 10562 4294967295 134512640 135450776 3221224544 3221223008 134535749 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 11351 10562 232 232 0 11119 0 [pid=25860] vsize: 45404 Current children cumulated CPU time (s) 178.78 Current children cumulated vsize (Kb) 45404 [startup+190.013 s] Raw data (loadavg): 0.99 0.96 0.91 1/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) T 25859 25860 8263 0 -1 0 13939 0 0 0 18764 105 0 0 25 0 1 0 1785679518 49504256 11168 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/25860/statm): 12086 11168 232 232 0 11854 0 [pid=25860] vsize: 48344 Current children cumulated CPU time (s) 188.69 Current children cumulated vsize (Kb) 48344 [startup+200.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 14199 0 0 0 19754 109 0 0 25 0 1 0 1785679518 50565120 11428 4294967295 134512640 135450776 3221224544 3221223264 134538910 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 12345 11428 232 232 0 12113 0 [pid=25860] vsize: 49380 Current children cumulated CPU time (s) 198.63 Current children cumulated vsize (Kb) 49380 [startup+210.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 14283 0 0 0 20737 114 0 0 25 0 1 0 1785679518 50958336 11512 4294967295 134512640 135450776 3221224544 3221223264 134539321 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 12441 11512 232 232 0 12209 0 [pid=25860] vsize: 49764 Current children cumulated CPU time (s) 208.51 Current children cumulated vsize (Kb) 49764 [startup+220.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 14557 0 0 0 21724 119 0 0 25 0 1 0 1785679518 52224000 11786 4294967295 134512640 135450776 3221224544 3221223264 134539323 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 12750 11786 232 232 0 12518 0 [pid=25860] vsize: 51000 Current children cumulated CPU time (s) 218.43 Current children cumulated vsize (Kb) 51000 [startup+230.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 14602 0 0 0 22710 124 0 0 25 0 1 0 1785679518 52224000 11831 4294967295 134512640 135450776 3221224544 3221223264 134539282 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 12750 11831 232 232 0 12518 0 [pid=25860] vsize: 51000 Current children cumulated CPU time (s) 228.34 Current children cumulated vsize (Kb) 51000 [startup+240.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 14671 0 0 0 23698 128 0 0 25 0 1 0 1785679518 52494336 11900 4294967295 134512640 135450776 3221224544 3221223264 134539379 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 12816 11900 232 232 0 12584 0 [pid=25860] vsize: 51264 Current children cumulated CPU time (s) 238.26 Current children cumulated vsize (Kb) 51264 [startup+250.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 14812 0 0 0 24686 133 0 0 25 0 1 0 1785679518 53030912 12008 4294967295 134512640 135450776 3221224544 3221223344 134547804 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 12947 12008 232 232 0 12715 0 [pid=25860] vsize: 51788 Current children cumulated CPU time (s) 248.19 Current children cumulated vsize (Kb) 51788 [startup+260.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 14894 0 0 0 25671 138 0 0 25 0 1 0 1785679518 53432320 12090 4294967295 134512640 135450776 3221224544 3221222880 134534055 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 13045 12090 232 232 0 12813 0 [pid=25860] vsize: 52180 Current children cumulated CPU time (s) 258.09 Current children cumulated vsize (Kb) 52180 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 14920 0 0 0 26654 143 0 0 25 0 1 0 1785679518 61820928 12116 4294967295 134512640 135450776 3221224544 3221223344 134548183 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 15093 12116 232 232 0 14861 0 [pid=25860] vsize: 60372 Current children cumulated CPU time (s) 267.97 Current children cumulated vsize (Kb) 60372 [startup+280.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 14968 0 0 0 27638 149 0 0 25 0 1 0 1785679518 61956096 12164 4294967295 134512640 135450776 3221224544 3221222940 134534109 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 15126 12164 232 232 0 14894 0 [pid=25860] vsize: 60504 Current children cumulated CPU time (s) 277.87 Current children cumulated vsize (Kb) 60504 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) T 25859 25860 8263 0 -1 0 15290 0 0 0 28629 153 0 0 25 0 1 0 1785679518 62357504 12281 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/25860/statm): 15224 12281 232 232 0 14992 0 [pid=25860] vsize: 60896 Current children cumulated CPU time (s) 287.82 Current children cumulated vsize (Kb) 60896 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 15294 0 0 0 29617 157 0 0 25 0 1 0 1785679518 62357504 12285 4294967295 134512640 135450776 3221224544 3221223264 134539413 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 15224 12285 232 232 0 14992 0 [pid=25860] vsize: 60896 Current children cumulated CPU time (s) 297.74 Current children cumulated vsize (Kb) 60896 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) T 25859 25860 8263 0 -1 0 15300 0 0 0 30604 161 0 0 25 0 1 0 1785679518 62357504 12291 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/25860/statm): 15224 12291 232 232 0 14992 0 [pid=25860] vsize: 60896 Current children cumulated CPU time (s) 307.65 Current children cumulated vsize (Kb) 60896 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 15373 0 0 0 31590 165 0 0 25 0 1 0 1785679518 62488576 12331 4294967295 134512640 135450776 3221224544 3221223264 134539307 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 15256 12331 232 232 0 15024 0 [pid=25860] vsize: 61024 Current children cumulated CPU time (s) 317.55 Current children cumulated vsize (Kb) 61024 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) R 25859 25860 8263 0 -1 0 15407 0 0 0 32579 170 0 0 25 0 1 0 1785679518 62488576 12365 4294967295 134512640 135450776 3221224544 3221223368 134538721 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/25860/statm): 15256 12365 232 232 0 15024 0 [pid=25860] vsize: 61024 Current children cumulated CPU time (s) 327.49 Current children cumulated vsize (Kb) 61024 [startup+340.021 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 25860 Raw data (/proc/25860/stat): 25860 (PBS4) T 25859 25860 8263 0 -1 0 15437 0 0 0 33562 175 0 0 25 0 1 0 1785679518 62488576 12395 4294967295 134512640 135450776 3221224544 3221223404 135126769 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/25860/statm): 15256 12395 232 232 0 15024 0 [pid=25860] vsize: 61024 Current children cumulated CPU time (s) 337.37 Current children cumulated vsize (Kb) 61024 One traced child (pid=25860) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 345.286 CPU time (s): 342.589 CPU user time (s): 340.773 CPU system time (s): 1.81572 CPU usage (%): 99.219 Max. virtual memory (cumulated for all children) (Kb): 61024
ERROR: no interpretation found !