Name | mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb |
MD5SUM | bd6d0785955b31f4cbdede5ce3d2b1e9 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1019998949514424320 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 58150 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 6807821537690881359872 |
Number of bits of the sum of numbers in the objective function | 73 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 6808845537690881359872 |
Number of bits of the biggest sum of numbers | 73 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1232.03 |
Number of variables | 58150 |
Total number of constraints | 10029 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 8381 |
Number of constraints which are nor clauses,nor cardinality constraints | 1648 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 58150 |
LAUNCH ON wulflinc25 THE 2005-09-20 06:27:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4275 boxname=wulflinc25 idbench=759 idsolver=4 numberseed=0 MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938 /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: bd6d0785955b31f4cbdede5ce3d2b1e9 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-dc1c.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-dc1c.opb IDLAUNCH: 4275 /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: 887704 kB Buffers: 22720 kB Cached: 96072 kB SwapCached: 888 kB Active: 32200 kB Inactive: 89256 kB HighTotal: 131008 kB HighFree: 31388 kB LowTotal: 903652 kB LowFree: 856316 kB SwapTotal: 2097892 kB SwapFree: 2096524 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5728 kB Slab: 19624 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 06:35:04 (client local time) WITH STATUS 20 IN 461.385 SECONDS stats: 4275 7 461.385 20
c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-dc1c.opb ...... s UNSATISFIABLE c Done, CPU Time=0.143977
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/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 1856399036 978944 2 4294967295 134512640 135450776 3221224560 3221224560 134512960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28884/statm): 239 2 232 232 0 7 0 [pid=28884] vsize: 956 open syscall for file /dev/null open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-dc1c.opb open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-dc1c.opb [startup+10.007 s] Raw data (loadavg): 0.90 0.94 0.90 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3092 0 0 0 988 10 0 0 25 0 1 0 1856399036 12980224 2911 4294967295 134512640 135450776 3221224560 3221223072 134599221 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3169 2911 232 232 0 2937 0 [pid=28884] vsize: 12676 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 12676 [startup+20.0066 s] Raw data (loadavg): 0.91 0.94 0.90 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3092 0 0 0 1988 10 0 0 25 0 1 0 1856399036 12980224 2911 4294967295 134512640 135450776 3221224560 3221223072 134599255 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3169 2911 232 232 0 2937 0 [pid=28884] vsize: 12676 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 12676 [startup+30.0062 s] Raw data (loadavg): 0.92 0.94 0.90 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3092 0 0 0 2988 10 0 0 25 0 1 0 1856399036 12980224 2911 4294967295 134512640 135450776 3221224560 3221223072 134599252 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3169 2911 232 232 0 2937 0 [pid=28884] vsize: 12676 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 12676 [startup+40.0058 s] Raw data (loadavg): 0.94 0.95 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3092 0 0 0 3988 10 0 0 25 0 1 0 1856399036 12980224 2911 4294967295 134512640 135450776 3221224560 3221223072 134599351 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3169 2911 232 232 0 2937 0 [pid=28884] vsize: 12676 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 12676 [startup+50.0064 s] Raw data (loadavg): 0.95 0.95 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3092 0 0 0 4989 10 0 0 25 0 1 0 1856399036 12980224 2911 4294967295 134512640 135450776 3221224560 3221223072 134599247 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3169 2911 232 232 0 2937 0 [pid=28884] vsize: 12676 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 12676 [startup+60.0061 s] Raw data (loadavg): 0.95 0.95 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 5988 11 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600363 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 13588 [startup+70.0057 s] Raw data (loadavg): 0.96 0.95 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 6988 11 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 13588 [startup+80.0063 s] Raw data (loadavg): 0.97 0.95 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 7988 11 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 13588 [startup+90.0059 s] Raw data (loadavg): 0.97 0.95 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 8988 11 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600401 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 13588 [startup+100.007 s] Raw data (loadavg): 0.97 0.95 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 9989 11 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 13588 [startup+110.007 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 10989 11 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 13588 [startup+120.007 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 11989 11 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 13588 [startup+130.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 12989 11 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600384 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 13588 [startup+140.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 13989 11 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600431 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 13588 [startup+150.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 14989 11 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600376 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 13588 [startup+160.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 15989 12 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 13588 [startup+170.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 16989 12 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600419 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 13588 [startup+180.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 17989 12 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600384 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 13588 [startup+190.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 18989 12 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 13588 [startup+200.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 19990 12 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600384 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 13588 [startup+210.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 20990 12 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 210.02 Current children cumulated vsize (Kb) 13588 [startup+220.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 3320 0 0 0 21990 12 0 0 25 0 1 0 1856399036 13914112 3139 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 3397 3139 232 232 0 3165 0 [pid=28884] vsize: 13588 Current children cumulated CPU time (s) 220.02 Current children cumulated vsize (Kb) 13588 [startup+230.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 7055 0 0 0 22977 23 0 0 25 0 1 0 1856399036 18079744 4138 4294967295 134512640 135450776 3221224560 3221223180 134524112 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28884/statm): 4414 4138 232 232 0 4182 0 [pid=28884] vsize: 17656 Current children cumulated CPU time (s) 230 Current children cumulated vsize (Kb) 17656 [startup+240.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8289 0 0 0 23970 29 0 0 25 0 1 0 1856399036 21745664 5045 4294967295 134512640 135450776 3221224560 3221223072 134599351 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5309 5045 232 232 0 5077 0 [pid=28884] vsize: 21236 Current children cumulated CPU time (s) 239.99 Current children cumulated vsize (Kb) 21236 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8289 0 0 0 24971 29 0 0 25 0 1 0 1856399036 21745664 5045 4294967295 134512640 135450776 3221224560 3221223072 134599252 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5309 5045 232 232 0 5077 0 [pid=28884] vsize: 21236 Current children cumulated CPU time (s) 250 Current children cumulated vsize (Kb) 21236 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8289 0 0 0 25971 29 0 0 25 0 1 0 1856399036 21745664 5045 4294967295 134512640 135450776 3221224560 3221223072 134600038 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5309 5045 232 232 0 5077 0 [pid=28884] vsize: 21236 Current children cumulated CPU time (s) 260 Current children cumulated vsize (Kb) 21236 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8289 0 0 0 26971 29 0 0 25 0 1 0 1856399036 21745664 5045 4294967295 134512640 135450776 3221224560 3221223072 134599243 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5309 5045 232 232 0 5077 0 [pid=28884] vsize: 21236 Current children cumulated CPU time (s) 270 Current children cumulated vsize (Kb) 21236 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8289 0 0 0 27971 29 0 0 25 0 1 0 1856399036 21745664 5045 4294967295 134512640 135450776 3221224560 3221223072 134600038 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5309 5045 232 232 0 5077 0 [pid=28884] vsize: 21236 Current children cumulated CPU time (s) 280 Current children cumulated vsize (Kb) 21236 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8289 0 0 0 28971 29 0 0 25 0 1 0 1856399036 21745664 5045 4294967295 134512640 135450776 3221224560 3221223072 134599247 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5309 5045 232 232 0 5077 0 [pid=28884] vsize: 21236 Current children cumulated CPU time (s) 290 Current children cumulated vsize (Kb) 21236 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 29971 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 300.01 Current children cumulated vsize (Kb) 22148 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 30971 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 310.01 Current children cumulated vsize (Kb) 22148 [startup+320.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 31971 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 320.01 Current children cumulated vsize (Kb) 22148 [startup+330.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 32971 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 330.01 Current children cumulated vsize (Kb) 22148 [startup+340.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 33971 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600409 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 340.01 Current children cumulated vsize (Kb) 22148 [startup+350.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 34972 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 350.02 Current children cumulated vsize (Kb) 22148 [startup+360.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 35972 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600409 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 360.02 Current children cumulated vsize (Kb) 22148 [startup+370.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 36972 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 370.02 Current children cumulated vsize (Kb) 22148 [startup+380.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 37972 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600384 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 380.02 Current children cumulated vsize (Kb) 22148 [startup+390.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 38972 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600409 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 390.02 Current children cumulated vsize (Kb) 22148 [startup+400.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 39972 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 400.02 Current children cumulated vsize (Kb) 22148 [startup+410.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 40972 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 410.02 Current children cumulated vsize (Kb) 22148 [startup+420.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 41973 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 420.03 Current children cumulated vsize (Kb) 22148 [startup+430.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 42973 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 430.03 Current children cumulated vsize (Kb) 22148 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 43973 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600419 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 440.03 Current children cumulated vsize (Kb) 22148 [startup+450.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 44973 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 450.03 Current children cumulated vsize (Kb) 22148 [startup+460.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 28884 Raw data (/proc/28884/stat): 28884 (PBS4) R 28883 28884 4419 0 -1 0 8517 0 0 0 45973 30 0 0 25 0 1 0 1856399036 22679552 5273 4294967295 134512640 135450776 3221224560 3221223072 134600419 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28884/statm): 5537 5273 232 232 0 5305 0 [pid=28884] vsize: 22148 Current children cumulated CPU time (s) 460.03 Current children cumulated vsize (Kb) 22148 One traced child (pid=28884) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 461.352 CPU time (s): 461.385 CPU user time (s): 461.024 CPU system time (s): 0.360945 CPU usage (%): 100.007 Max. virtual memory (cumulated for all children) (Kb): 22148
ERROR: no interpretation found !