Name | mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb |
MD5SUM | 4d1c8086316d85cb5ef2a3148b52a8a1 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 56373790104837136384 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 85408 |
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 | 6807849934732110331904 |
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 | 6807849934732110331904 |
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 | 1248.62 |
Number of variables | 85198 |
Total number of constraints | 37291 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 35639 |
Number of constraints which are nor clauses,nor cardinality constraints | 1652 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 35129 |
LAUNCH ON wulflinc27 THE 2005-09-20 06:27:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4276 boxname=wulflinc27 idbench=760 idsolver=4 numberseed=0 MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938 /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 4d1c8086316d85cb5ef2a3148b52a8a1 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-dc1l.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-dc1l.opb IDLAUNCH: 4276 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 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.169 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: 886144 kB Buffers: 26176 kB Cached: 92540 kB SwapCached: 692 kB Active: 47276 kB Inactive: 74020 kB HighTotal: 131008 kB HighFree: 37660 kB LowTotal: 903652 kB LowFree: 848484 kB SwapTotal: 2097892 kB SwapFree: 2096628 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5732 kB Slab: 21500 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 06:39:15 (client local time) WITH STATUS 20 IN 687.372 SECONDS stats: 4276 7 687.372 20
c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-dc1l.opb ...... s UNSATISFIABLE c Done, CPU Time=0.282957
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/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 1856358613 978944 2 4294967295 134512640 135450776 3221224560 3221224560 134512960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 239 2 232 232 0 7 0 [pid=28913] vsize: 956 open syscall for file /dev/null open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-dc1l.opb open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-dc1l.opb [startup+10.0027 s] Raw data (loadavg): 0.94 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4633 0 0 0 984 13 0 0 25 0 1 0 1856358613 19083264 4226 4294967295 134512640 135450776 3221224560 3221223072 134599227 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4659 4226 232 232 0 4427 0 [pid=28913] vsize: 18636 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 18636 [startup+20.0035 s] Raw data (loadavg): 0.95 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4633 0 0 0 1984 13 0 0 25 0 1 0 1856358613 19083264 4226 4294967295 134512640 135450776 3221224560 3221223072 134599343 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4659 4226 232 232 0 4427 0 [pid=28913] vsize: 18636 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 18636 [startup+30.0043 s] Raw data (loadavg): 0.95 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4633 0 0 0 2985 13 0 0 25 0 1 0 1856358613 19083264 4226 4294967295 134512640 135450776 3221224560 3221223072 134599243 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4659 4226 232 232 0 4427 0 [pid=28913] vsize: 18636 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 18636 [startup+40.0042 s] Raw data (loadavg): 0.96 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4633 0 0 0 3985 13 0 0 25 0 1 0 1856358613 19083264 4226 4294967295 134512640 135450776 3221224560 3221223072 134599351 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4659 4226 232 232 0 4427 0 [pid=28913] vsize: 18636 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 18636 [startup+50.006 s] Raw data (loadavg): 0.97 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4633 0 0 0 4985 13 0 0 25 0 1 0 1856358613 19083264 4226 4294967295 134512640 135450776 3221224560 3221223072 134600038 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4659 4226 232 232 0 4427 0 [pid=28913] vsize: 18636 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 18636 [startup+60.0058 s] Raw data (loadavg): 0.97 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4633 0 0 0 5985 13 0 0 25 0 1 0 1856358613 19083264 4226 4294967295 134512640 135450776 3221224560 3221223072 134600035 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4659 4226 232 232 0 4427 0 [pid=28913] vsize: 18636 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 18636 [startup+70.0057 s] Raw data (loadavg): 0.97 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4633 0 0 0 6986 13 0 0 25 0 1 0 1856358613 19083264 4226 4294967295 134512640 135450776 3221224560 3221223072 134600038 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4659 4226 232 232 0 4427 0 [pid=28913] vsize: 18636 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 18636 [startup+80.0065 s] Raw data (loadavg): 0.98 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4633 0 0 0 7986 13 0 0 25 0 1 0 1856358613 19083264 4226 4294967295 134512640 135450776 3221224560 3221223072 134599221 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4659 4226 232 232 0 4427 0 [pid=28913] vsize: 18636 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 18636 [startup+90.0063 s] Raw data (loadavg): 0.98 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4633 0 0 0 8986 13 0 0 25 0 1 0 1856358613 19083264 4226 4294967295 134512640 135450776 3221224560 3221223072 134599221 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4659 4226 232 232 0 4427 0 [pid=28913] vsize: 18636 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 18636 [startup+100.007 s] Raw data (loadavg): 0.98 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4633 0 0 0 9986 13 0 0 25 0 1 0 1856358613 19083264 4226 4294967295 134512640 135450776 3221224560 3221223072 134599351 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4659 4226 232 232 0 4427 0 [pid=28913] vsize: 18636 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 18636 [startup+110.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4633 0 0 0 10986 13 0 0 25 0 1 0 1856358613 19083264 4226 4294967295 134512640 135450776 3221224560 3221223072 134599243 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4659 4226 232 232 0 4427 0 [pid=28913] vsize: 18636 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 18636 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4633 0 0 0 11986 13 0 0 25 0 1 0 1856358613 19083264 4226 4294967295 134512640 135450776 3221224560 3221223072 134600038 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4659 4226 232 232 0 4427 0 [pid=28913] vsize: 18636 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 18636 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 12986 14 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 19972 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 13986 14 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 19972 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 14986 14 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 19972 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 15986 14 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 19972 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 16986 14 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 19972 [startup+180.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 17987 14 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600376 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 19972 [startup+190.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 18987 14 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 19972 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 19987 14 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 19972 [startup+210.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 20987 14 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 210.01 Current children cumulated vsize (Kb) 19972 [startup+220.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 21987 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 220.02 Current children cumulated vsize (Kb) 19972 [startup+230.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 22987 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 230.02 Current children cumulated vsize (Kb) 19972 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 23987 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 240.02 Current children cumulated vsize (Kb) 19972 [startup+250.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 24988 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600409 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 250.03 Current children cumulated vsize (Kb) 19972 [startup+260.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 25988 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600376 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 260.03 Current children cumulated vsize (Kb) 19972 [startup+270.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 26988 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600511 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 270.03 Current children cumulated vsize (Kb) 19972 [startup+280.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 27989 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 280.04 Current children cumulated vsize (Kb) 19972 [startup+290.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 28989 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 290.04 Current children cumulated vsize (Kb) 19972 [startup+300.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 29989 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 300.04 Current children cumulated vsize (Kb) 19972 [startup+310.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 30989 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600415 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 310.04 Current children cumulated vsize (Kb) 19972 [startup+320.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 31989 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 320.04 Current children cumulated vsize (Kb) 19972 [startup+330.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 32990 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 330.05 Current children cumulated vsize (Kb) 19972 [startup+340.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 33990 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600409 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 340.05 Current children cumulated vsize (Kb) 19972 [startup+350.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 34990 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 350.05 Current children cumulated vsize (Kb) 19972 [startup+360.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 35990 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 360.05 Current children cumulated vsize (Kb) 19972 [startup+370.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 36990 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 370.05 Current children cumulated vsize (Kb) 19972 [startup+380.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 37991 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 380.06 Current children cumulated vsize (Kb) 19972 [startup+390.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 38991 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 390.06 Current children cumulated vsize (Kb) 19972 [startup+400.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 39991 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 400.06 Current children cumulated vsize (Kb) 19972 [startup+410.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 40991 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 410.06 Current children cumulated vsize (Kb) 19972 [startup+420.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 41992 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600376 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 420.07 Current children cumulated vsize (Kb) 19972 [startup+430.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 42992 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 430.07 Current children cumulated vsize (Kb) 19972 [startup+440.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 43992 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600401 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 440.07 Current children cumulated vsize (Kb) 19972 [startup+450.023 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 44992 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 450.07 Current children cumulated vsize (Kb) 19972 [startup+460.024 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 45992 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 460.07 Current children cumulated vsize (Kb) 19972 [startup+470.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 46992 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 470.07 Current children cumulated vsize (Kb) 19972 [startup+480.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 47993 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 480.08 Current children cumulated vsize (Kb) 19972 [startup+490.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 48993 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 490.08 Current children cumulated vsize (Kb) 19972 [startup+500.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 49993 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 500.08 Current children cumulated vsize (Kb) 19972 [startup+510.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 50993 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 510.08 Current children cumulated vsize (Kb) 19972 [startup+520.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 51993 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600401 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 520.08 Current children cumulated vsize (Kb) 19972 [startup+530.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 52993 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 530.08 Current children cumulated vsize (Kb) 19972 [startup+540.028 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 53993 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 540.08 Current children cumulated vsize (Kb) 19972 [startup+550.028 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 4967 0 0 0 54994 15 0 0 25 0 1 0 1856358613 20451328 4560 4294967295 134512640 135450776 3221224560 3221223072 134600384 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 4993 4560 232 232 0 4761 0 [pid=28913] vsize: 19972 Current children cumulated CPU time (s) 550.09 Current children cumulated vsize (Kb) 19972 [startup+560.028 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 10117 0 0 0 55979 28 0 0 25 0 1 0 1856358613 26275840 6036 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28913/statm): 6415 6036 232 232 0 6183 0 [pid=28913] vsize: 25660 Current children cumulated CPU time (s) 560.07 Current children cumulated vsize (Kb) 25660 [startup+570.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 11387 0 0 0 56973 33 0 0 25 0 1 0 1856358613 30556160 6972 4294967295 134512640 135450776 3221224560 3221223072 134599227 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 7460 6972 232 232 0 7228 0 [pid=28913] vsize: 29840 Current children cumulated CPU time (s) 570.06 Current children cumulated vsize (Kb) 29840 [startup+580.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 11490 0 0 0 57973 33 0 0 25 0 1 0 1856358613 30978048 7075 4294967295 134512640 135450776 3221224560 3221223072 134600376 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 7563 7075 232 232 0 7331 0 [pid=28913] vsize: 30252 Current children cumulated CPU time (s) 580.06 Current children cumulated vsize (Kb) 30252 [startup+590.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 11490 0 0 0 58973 33 0 0 25 0 1 0 1856358613 30978048 7075 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 7563 7075 232 232 0 7331 0 [pid=28913] vsize: 30252 Current children cumulated CPU time (s) 590.06 Current children cumulated vsize (Kb) 30252 [startup+600.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 11812 0 0 0 59971 34 0 0 25 0 1 0 1856358613 31584256 7294 4294967295 134512640 135450776 3221224560 3221223072 134599243 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 7711 7294 232 232 0 7479 0 [pid=28913] vsize: 30844 Current children cumulated CPU time (s) 600.05 Current children cumulated vsize (Kb) 30844 [startup+610.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 11812 0 0 0 60971 34 0 0 25 0 1 0 1856358613 31584256 7294 4294967295 134512640 135450776 3221224560 3221223072 134599257 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 7711 7294 232 232 0 7479 0 [pid=28913] vsize: 30844 Current children cumulated CPU time (s) 610.05 Current children cumulated vsize (Kb) 30844 [startup+620.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 11950 0 0 0 61971 35 0 0 25 0 1 0 1856358613 32149504 7432 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 7849 7432 232 232 0 7617 0 [pid=28913] vsize: 31396 Current children cumulated CPU time (s) 620.06 Current children cumulated vsize (Kb) 31396 [startup+630.032 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 11950 0 0 0 62972 35 0 0 25 0 1 0 1856358613 32149504 7432 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 7849 7432 232 232 0 7617 0 [pid=28913] vsize: 31396 Current children cumulated CPU time (s) 630.07 Current children cumulated vsize (Kb) 31396 [startup+640.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 11950 0 0 0 63972 35 0 0 25 0 1 0 1856358613 32149504 7432 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 7849 7432 232 232 0 7617 0 [pid=28913] vsize: 31396 Current children cumulated CPU time (s) 640.07 Current children cumulated vsize (Kb) 31396 [startup+650.034 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 11950 0 0 0 64972 35 0 0 25 0 1 0 1856358613 32149504 7432 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 7849 7432 232 232 0 7617 0 [pid=28913] vsize: 31396 Current children cumulated CPU time (s) 650.07 Current children cumulated vsize (Kb) 31396 [startup+660.034 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 12158 0 0 0 65970 36 0 0 25 0 1 0 1856358613 32608256 7502 4294967295 134512640 135450776 3221224560 3221223072 134599360 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 7961 7502 232 232 0 7729 0 [pid=28913] vsize: 31844 Current children cumulated CPU time (s) 660.06 Current children cumulated vsize (Kb) 31844 [startup+670.034 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 12259 0 0 0 66970 36 0 0 25 0 1 0 1856358613 33021952 7603 4294967295 134512640 135450776 3221224560 3221223072 134600384 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 8062 7603 232 232 0 7830 0 [pid=28913] vsize: 32248 Current children cumulated CPU time (s) 670.06 Current children cumulated vsize (Kb) 32248 [startup+680.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/56 28913 Raw data (/proc/28913/stat): 28913 (PBS4) R 28912 28913 28974 0 -1 0 12416 0 0 0 67970 37 0 0 25 0 1 0 1856358613 33021952 7659 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/28913/statm): 8062 7659 232 232 0 7830 0 [pid=28913] vsize: 32248 Current children cumulated CPU time (s) 680.07 Current children cumulated vsize (Kb) 32248 One traced child (pid=28913) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 687.35 CPU time (s): 687.372 CPU user time (s): 686.82 CPU system time (s): 0.552915 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (Kb): 32248
ERROR: no interpretation found !