Name | submitted/een/normalized-nw04.opb |
MD5SUM | c4c13764e2ea959929790d6ef6d0273c |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 87482 |
Biggest coefficient in the objective function | 5220 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 120189580 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 42031 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 120189580 |
Number of bits of the biggest sum of numbers | 27 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 19.3551 |
Number of variables | 87482 |
Total number of constraints | 72 |
Number of constraints which are clauses | 36 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 599 |
Maximum length of a constraint | 42032 |
LAUNCH ON wulflinc26 THE 2005-09-23 15:15:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8481 boxname=wulflinc26 idbench=277 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c4c13764e2ea959929790d6ef6d0273c /oldhome/oroussel/tmp/wulflinc26/normalized-nw04.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-nw04.opb IDLAUNCH: 8481 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.055 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.055 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: 912756 kB Buffers: 10912 kB Cached: 93536 kB SwapCached: 0 kB Active: 57496 kB Inactive: 49876 kB HighTotal: 131008 kB HighFree: 34440 kB LowTotal: 903652 kB LowFree: 878316 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6972 kB Slab: 8904 kB Committed_AS: 63656 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 15:28:19 (client local time) WITH STATUS 1 IN 740.281 SECONDS stats: 8481 7 740.281 1
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 70123 c big objective detected c trying from 0 to 511 Unexpected exception : St9bad_alloc
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/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21158582 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/7271/statm): 373 2 364 364 0 9 0 [pid=7271] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-nw04.opb [startup+10.0026 s] Raw data (loadavg): 0.88 0.94 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 2588 0 0 0 994 5 0 0 25 0 1 0 21158582 9633792 1901 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 2352 1901 364 364 0 1988 0 [pid=7271] vsize: 9408 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9408 [startup+20.0032 s] Raw data (loadavg): 0.90 0.94 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 4169 0 0 0 1989 9 0 0 25 0 1 0 21158582 15220736 2736 4294967295 134512640 135987407 3221224576 3221221888 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 3716 2736 364 364 0 3352 0 [pid=7271] vsize: 14864 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 14864 [startup+30.0029 s] Raw data (loadavg): 0.91 0.94 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 4410 0 0 0 2988 11 0 0 25 0 1 0 21158582 15626240 2971 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 3815 2971 364 364 0 3451 0 [pid=7271] vsize: 15260 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 15260 [startup+40.0036 s] Raw data (loadavg): 0.93 0.94 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 4674 0 0 0 3987 11 0 0 25 0 1 0 21158582 16302080 3231 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 3980 3231 364 364 0 3616 0 [pid=7271] vsize: 15920 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 15920 [startup+50.0033 s] Raw data (loadavg): 0.94 0.95 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 4933 0 0 0 4987 12 0 0 25 0 1 0 21158582 16977920 3485 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 4145 3485 364 364 0 3781 0 [pid=7271] vsize: 16580 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 16580 [startup+60.004 s] Raw data (loadavg): 0.95 0.95 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 5164 0 0 0 5986 12 0 0 25 0 1 0 21158582 17518592 3713 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 4277 3713 364 364 0 3913 0 [pid=7271] vsize: 17108 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17108 [startup+70.0047 s] Raw data (loadavg): 0.95 0.95 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 5378 0 0 0 6985 14 0 0 25 0 1 0 21158582 18194432 3923 4294967295 134512640 135987407 3221224576 3221221888 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 4442 3923 364 364 0 4078 0 [pid=7271] vsize: 17768 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 17768 [startup+80.0043 s] Raw data (loadavg): 0.96 0.95 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 5574 0 0 0 7984 15 0 0 25 0 1 0 21158582 18599936 4116 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 4541 4116 364 364 0 4177 0 [pid=7271] vsize: 18164 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 18164 [startup+90.005 s] Raw data (loadavg): 0.97 0.95 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 5759 0 0 0 8984 15 0 0 25 0 1 0 21158582 19140608 4298 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 4673 4298 364 364 0 4309 0 [pid=7271] vsize: 18692 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 18692 [startup+100.005 s] Raw data (loadavg): 0.97 0.95 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 5933 0 0 0 9983 16 0 0 25 0 1 0 21158582 19546112 4469 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 4772 4469 364 364 0 4408 0 [pid=7271] vsize: 19088 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 19088 [startup+110.005 s] Raw data (loadavg): 0.97 0.95 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8282 0 0 0 10979 21 0 0 25 0 1 0 21158582 28692480 5340 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 7005 5340 364 364 0 6641 0 [pid=7271] vsize: 28020 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 28020 [startup+120.005 s] Raw data (loadavg): 0.98 0.95 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8340 0 0 0 11979 21 0 0 25 0 1 0 21158582 28692480 5396 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 7005 5396 364 364 0 6641 0 [pid=7271] vsize: 28020 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 28020 [startup+130.005 s] Raw data (loadavg): 0.98 0.95 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8468 0 0 0 12978 21 0 0 25 0 1 0 21158582 28962816 5521 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 7071 5521 364 364 0 6707 0 [pid=7271] vsize: 28284 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 28284 [startup+140.005 s] Raw data (loadavg): 0.98 0.95 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8591 0 0 0 13978 21 0 0 25 0 1 0 21158582 29233152 5642 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 7137 5642 364 364 0 6773 0 [pid=7271] vsize: 28548 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 28548 [startup+150.005 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8714 0 0 0 14978 22 0 0 25 0 1 0 21158582 29503488 5763 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 7203 5763 364 364 0 6839 0 [pid=7271] vsize: 28812 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 28812 [startup+160.006 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8832 0 0 0 15977 22 0 0 25 0 1 0 21158582 29773824 5879 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 7269 5879 364 364 0 6905 0 [pid=7271] vsize: 29076 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 29076 [startup+170.006 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 8946 0 0 0 16977 23 0 0 25 0 1 0 21158582 30044160 5991 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 7335 5991 364 364 0 6971 0 [pid=7271] vsize: 29340 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 29340 [startup+180.006 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 9071 0 0 0 17977 23 0 0 25 0 1 0 21158582 30314496 6113 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 7401 6113 364 364 0 7037 0 [pid=7271] vsize: 29604 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 29604 [startup+190.007 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 9194 0 0 0 18977 24 0 0 25 0 1 0 21158582 30720000 6234 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 7500 6234 364 364 0 7136 0 [pid=7271] vsize: 30000 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 30000 [startup+200.007 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 10171 0 0 0 19975 25 0 0 25 0 1 0 21158582 34504704 7210 4294967295 134512640 135987407 3221224576 3221221808 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 8424 7210 364 364 0 8060 0 [pid=7271] vsize: 33696 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 33696 [startup+210.007 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 22140 0 0 0 20945 54 0 0 25 0 1 0 21158582 78123008 15176 4294967295 134512640 135987407 3221224576 3219682208 134887487 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 19073 15180 364 364 0 18709 0 [pid=7271] vsize: 76292 Current children cumulated CPU time (s) 209.99 Current children cumulated vsize (Kb) 76292 [startup+220.007 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 26533 0 0 0 21933 66 0 0 25 0 1 0 21158582 81022976 17972 4294967295 134512640 135987407 3221224576 3218700008 135477858 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 19781 17972 364 364 0 19417 0 [pid=7271] vsize: 79124 Current children cumulated CPU time (s) 219.99 Current children cumulated vsize (Kb) 79124 [startup+230.007 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 39382 0 0 0 22904 93 0 0 25 0 1 0 21158582 132435968 22845 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 32333 22845 364 364 0 31969 0 [pid=7271] vsize: 129332 Current children cumulated CPU time (s) 229.97 Current children cumulated vsize (Kb) 129332 [startup+240.007 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 43180 0 0 0 23894 103 0 0 25 0 1 0 21158582 133595136 26577 4294967295 134512640 135987407 3221224576 3221221888 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 32616 26577 364 364 0 32252 0 [pid=7271] vsize: 130464 Current children cumulated CPU time (s) 239.97 Current children cumulated vsize (Kb) 130464 [startup+250.007 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 53044 0 0 0 24869 128 0 0 25 0 1 0 21158582 162304000 30241 4294967295 134512640 135987407 3221224576 3221221888 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 39625 30241 364 364 0 39261 0 [pid=7271] vsize: 158500 Current children cumulated CPU time (s) 249.97 Current children cumulated vsize (Kb) 158500 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 55142 0 0 0 25864 133 0 0 25 0 1 0 21158582 163905536 32242 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 40016 32242 364 364 0 39652 0 [pid=7271] vsize: 160064 Current children cumulated CPU time (s) 259.97 Current children cumulated vsize (Kb) 160064 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 57663 0 0 0 26856 141 0 0 25 0 1 0 21158582 183734272 34729 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 44857 34729 364 364 0 44493 0 [pid=7271] vsize: 179428 Current children cumulated CPU time (s) 269.97 Current children cumulated vsize (Kb) 179428 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 60308 0 0 0 27848 148 0 0 25 0 1 0 21158582 186793984 37338 4294967295 134512640 135987407 3221224576 3221221888 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 45604 37338 364 364 0 45240 0 [pid=7271] vsize: 182416 Current children cumulated CPU time (s) 279.96 Current children cumulated vsize (Kb) 182416 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 78121 0 0 0 28812 182 0 0 25 0 1 0 21158582 249819136 45379 4294967295 134512640 135987407 3221224576 3215733168 134636919 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 60991 45380 364 364 0 60627 0 [pid=7271] vsize: 243964 Current children cumulated CPU time (s) 289.94 Current children cumulated vsize (Kb) 243964 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 78445 0 0 0 29811 184 0 0 25 0 1 0 21158582 249819136 45703 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 60991 45703 364 364 0 60627 0 [pid=7271] vsize: 243964 Current children cumulated CPU time (s) 299.95 Current children cumulated vsize (Kb) 243964 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 81818 0 0 0 30803 192 0 0 25 0 1 0 21158582 253026304 49026 4294967295 134512640 135987407 3221224576 3221221888 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 61774 49026 364 364 0 61410 0 [pid=7271] vsize: 247096 Current children cumulated CPU time (s) 309.95 Current children cumulated vsize (Kb) 247096 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 81843 0 0 0 31802 192 0 0 25 0 1 0 21158582 253026304 49051 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7271/statm): 61774 49051 364 364 0 61410 0 [pid=7271] vsize: 247096 Current children cumulated CPU time (s) 319.94 Current children cumulated vsize (Kb) 247096 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 81872 0 0 0 32802 192 0 0 25 0 1 0 21158582 253026304 49080 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7271/statm): 61774 49080 364 364 0 61410 0 [pid=7271] vsize: 247096 Current children cumulated CPU time (s) 329.94 Current children cumulated vsize (Kb) 247096 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 84834 0 0 0 33794 200 0 0 25 0 1 0 21158582 254742528 51991 4294967295 134512640 135987407 3221224576 3218697712 134559737 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 62193 51991 364 364 0 61829 0 [pid=7271] vsize: 248772 Current children cumulated CPU time (s) 339.94 Current children cumulated vsize (Kb) 248772 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 84974 0 0 0 34793 201 0 0 25 0 1 0 21158582 254742528 52131 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 62193 52131 364 364 0 61829 0 [pid=7271] vsize: 248772 Current children cumulated CPU time (s) 349.94 Current children cumulated vsize (Kb) 248772 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 85002 0 0 0 35793 201 0 0 25 0 1 0 21158582 254742528 52159 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 62193 52159 364 364 0 61829 0 [pid=7271] vsize: 248772 Current children cumulated CPU time (s) 359.94 Current children cumulated vsize (Kb) 248772 [startup+370.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 100380 0 0 0 36755 239 0 0 25 0 1 0 21158582 306618368 55195 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 74858 55195 364 364 0 74494 0 [pid=7271] vsize: 299432 Current children cumulated CPU time (s) 369.94 Current children cumulated vsize (Kb) 299432 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 103461 0 0 0 37747 247 0 0 25 0 1 0 21158582 307924992 58223 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 75177 58223 364 364 0 74813 0 [pid=7271] vsize: 300708 Current children cumulated CPU time (s) 379.94 Current children cumulated vsize (Kb) 300708 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 103487 0 0 0 38747 247 0 0 25 0 1 0 21158582 307924992 58249 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 75177 58249 364 364 0 74813 0 [pid=7271] vsize: 300708 Current children cumulated CPU time (s) 389.94 Current children cumulated vsize (Kb) 300708 [startup+400.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 103488 0 0 0 39746 247 0 0 25 0 1 0 21158582 307924992 58250 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 75177 58250 364 364 0 74813 0 [pid=7271] vsize: 300708 Current children cumulated CPU time (s) 399.93 Current children cumulated vsize (Kb) 300708 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 106742 0 0 0 40738 255 0 0 25 0 1 0 21158582 343126016 61450 4294967295 134512640 135987407 3221224576 3221221888 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 83771 61450 364 364 0 83407 0 [pid=7271] vsize: 335084 Current children cumulated CPU time (s) 409.93 Current children cumulated vsize (Kb) 335084 [startup+420.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 106769 0 0 0 41738 256 0 0 25 0 1 0 21158582 343126016 61477 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 83771 61477 364 364 0 83407 0 [pid=7271] vsize: 335084 Current children cumulated CPU time (s) 419.94 Current children cumulated vsize (Kb) 335084 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 106798 0 0 0 42738 256 0 0 25 0 1 0 21158582 343126016 61506 4294967295 134512640 135987407 3221224576 3221221888 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 83771 61506 364 364 0 83407 0 [pid=7271] vsize: 335084 Current children cumulated CPU time (s) 429.94 Current children cumulated vsize (Kb) 335084 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 106798 0 0 0 43737 256 0 0 25 0 1 0 21158582 343126016 61506 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 83771 61506 364 364 0 83407 0 [pid=7271] vsize: 335084 Current children cumulated CPU time (s) 439.93 Current children cumulated vsize (Kb) 335084 [startup+450.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 110043 0 0 0 44729 264 0 0 25 0 1 0 21158582 344596480 64695 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 84130 64695 364 364 0 83766 0 [pid=7271] vsize: 336520 Current children cumulated CPU time (s) 449.93 Current children cumulated vsize (Kb) 336520 [startup+460.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 113462 0 0 0 45719 274 0 0 25 0 1 0 21158582 346505216 68057 4294967295 134512640 135987407 3221224576 3221221968 134615053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 84596 68057 364 364 0 84232 0 [pid=7271] vsize: 338384 Current children cumulated CPU time (s) 459.93 Current children cumulated vsize (Kb) 338384 [startup+470.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 113462 0 0 0 46719 274 0 0 25 0 1 0 21158582 346505216 68057 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 84596 68057 364 364 0 84232 0 [pid=7271] vsize: 338384 Current children cumulated CPU time (s) 469.93 Current children cumulated vsize (Kb) 338384 [startup+480.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 113490 0 0 0 47718 275 0 0 25 0 1 0 21158582 346505216 68085 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 84596 68085 364 364 0 84232 0 [pid=7271] vsize: 338384 Current children cumulated CPU time (s) 479.93 Current children cumulated vsize (Kb) 338384 [startup+490.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 113636 0 0 0 48718 275 0 0 25 0 1 0 21158582 347029504 68102 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 84724 68102 364 364 0 84360 0 [pid=7271] vsize: 338896 Current children cumulated CPU time (s) 489.93 Current children cumulated vsize (Kb) 338896 [startup+500.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 118806 0 0 0 49705 287 0 0 25 0 1 0 21158582 353316864 73203 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 86259 73203 364 364 0 85895 0 [pid=7271] vsize: 345036 Current children cumulated CPU time (s) 499.92 Current children cumulated vsize (Kb) 345036 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 118840 0 0 0 50705 288 0 0 25 0 1 0 21158582 353316864 73237 4294967295 134512640 135987407 3221224576 3221221984 134638940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 86259 73237 364 364 0 85895 0 [pid=7271] vsize: 345036 Current children cumulated CPU time (s) 509.93 Current children cumulated vsize (Kb) 345036 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 118840 0 0 0 51705 288 0 0 25 0 1 0 21158582 353316864 73237 4294967295 134512640 135987407 3221224576 3221221760 134536111 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 86259 73237 364 364 0 85895 0 [pid=7271] vsize: 345036 Current children cumulated CPU time (s) 519.93 Current children cumulated vsize (Kb) 345036 [startup+530.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 154352 0 0 0 52631 357 0 0 25 0 1 0 21158582 479801344 89221 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 117139 89221 364 364 0 116775 0 [pid=7271] vsize: 468556 Current children cumulated CPU time (s) 529.88 Current children cumulated vsize (Kb) 468556 [startup+540.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 154352 0 0 0 53630 358 0 0 25 0 1 0 21158582 479801344 89221 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 117139 89221 364 364 0 116775 0 [pid=7271] vsize: 468556 Current children cumulated CPU time (s) 539.88 Current children cumulated vsize (Kb) 468556 [startup+550.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 154386 0 0 0 54630 358 0 0 25 0 1 0 21158582 479801344 89255 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 117139 89255 364 364 0 116775 0 [pid=7271] vsize: 468556 Current children cumulated CPU time (s) 549.88 Current children cumulated vsize (Kb) 468556 [startup+560.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 158455 0 0 0 55620 367 0 0 25 0 1 0 21158582 482656256 93255 4294967295 134512640 135987407 3221224576 3217212464 134878052 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 117836 93255 364 364 0 117472 0 [pid=7271] vsize: 471344 Current children cumulated CPU time (s) 559.87 Current children cumulated vsize (Kb) 471344 [startup+570.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 158677 0 0 0 56619 368 0 0 25 0 1 0 21158582 482656256 93477 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 117836 93477 364 364 0 117472 0 [pid=7271] vsize: 471344 Current children cumulated CPU time (s) 569.87 Current children cumulated vsize (Kb) 471344 [startup+580.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 158711 0 0 0 57619 369 0 0 25 0 1 0 21158582 482656256 93511 4294967295 134512640 135987407 3221224576 3221221888 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 117836 93511 364 364 0 117472 0 [pid=7271] vsize: 471344 Current children cumulated CPU time (s) 579.88 Current children cumulated vsize (Kb) 471344 [startup+590.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 160187 0 0 0 58615 373 0 0 25 0 1 0 21158582 482660352 94952 4294967295 134512640 135987407 3221224576 3218249932 135499903 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 117837 94952 364 364 0 117473 0 [pid=7271] vsize: 471348 Current children cumulated CPU time (s) 589.88 Current children cumulated vsize (Kb) 471348 [startup+600.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 162981 0 0 0 59608 380 0 0 25 0 1 0 21158582 485228544 97711 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 118464 97711 364 364 0 118100 0 [pid=7271] vsize: 473856 Current children cumulated CPU time (s) 599.88 Current children cumulated vsize (Kb) 473856 [startup+610.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 163016 0 0 0 60607 380 0 0 25 0 1 0 21158582 485228544 97746 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 118464 97746 364 364 0 118100 0 [pid=7271] vsize: 473856 Current children cumulated CPU time (s) 609.87 Current children cumulated vsize (Kb) 473856 [startup+620.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 163016 0 0 0 61607 380 0 0 25 0 1 0 21158582 485228544 97746 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 118464 97746 364 364 0 118100 0 [pid=7271] vsize: 473856 Current children cumulated CPU time (s) 619.87 Current children cumulated vsize (Kb) 473856 [startup+630.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 167453 0 0 0 62594 393 0 0 25 0 1 0 21158582 488108032 102111 4294967295 134512640 135987407 3221224576 3221221888 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 119167 102111 364 364 0 118803 0 [pid=7271] vsize: 476668 Current children cumulated CPU time (s) 629.87 Current children cumulated vsize (Kb) 476668 [startup+640.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 167453 0 0 0 63594 393 0 0 25 0 1 0 21158582 488108032 102111 4294967295 134512640 135987407 3221224576 3221221888 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 119167 102111 364 364 0 118803 0 [pid=7271] vsize: 476668 Current children cumulated CPU time (s) 639.87 Current children cumulated vsize (Kb) 476668 [startup+650.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 167489 0 0 0 64593 394 0 0 25 0 1 0 21158582 488108032 102147 4294967295 134512640 135987407 3221224576 3221221888 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 119167 102147 364 364 0 118803 0 [pid=7271] vsize: 476668 Current children cumulated CPU time (s) 649.87 Current children cumulated vsize (Kb) 476668 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 167497 0 0 0 65593 394 0 0 25 0 1 0 21158582 488108032 102155 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 119167 102155 364 364 0 118803 0 [pid=7271] vsize: 476668 Current children cumulated CPU time (s) 659.87 Current children cumulated vsize (Kb) 476668 [startup+670.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 196827 0 0 0 66531 456 0 0 25 0 1 0 21158582 593182720 106826 4294967295 134512640 135987407 3221224576 3209957200 134877895 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 144820 106826 364 364 0 144456 0 [pid=7271] vsize: 579280 Current children cumulated CPU time (s) 669.87 Current children cumulated vsize (Kb) 579280 [startup+680.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 197449 0 0 0 67530 458 0 0 25 0 1 0 21158582 593182720 107448 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 144820 107448 364 364 0 144456 0 [pid=7271] vsize: 579280 Current children cumulated CPU time (s) 679.88 Current children cumulated vsize (Kb) 579280 [startup+690.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 197449 0 0 0 68530 458 0 0 25 0 1 0 21158582 593182720 107448 4294967295 134512640 135987407 3221224576 3221221888 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 144820 107448 364 364 0 144456 0 [pid=7271] vsize: 579280 Current children cumulated CPU time (s) 689.88 Current children cumulated vsize (Kb) 579280 [startup+700.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 202812 0 0 0 69516 471 0 0 25 0 1 0 21158582 604069888 110153 4294967295 134512640 135987407 3221224576 3221223424 134817687 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 147478 110153 364 364 0 147114 0 [pid=7271] vsize: 589912 Current children cumulated CPU time (s) 699.87 Current children cumulated vsize (Kb) 589912 [startup+710.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 215339 0 0 0 70168 602 0 0 25 0 1 0 21158582 641974272 121500 4294967295 134512640 135987407 3221224576 3199849972 135479922 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 156732 121500 364 364 0 156368 0 [pid=7271] vsize: 626928 Current children cumulated CPU time (s) 707.7 Current children cumulated vsize (Kb) 626928 [startup+720.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 234662 0 0 0 71125 642 0 0 25 0 1 0 21158582 703508480 140566 4294967295 134512640 135987407 3221224576 3208192752 134878060 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 171755 140566 364 364 0 171391 0 [pid=7271] vsize: 687020 Current children cumulated CPU time (s) 717.67 Current children cumulated vsize (Kb) 687020 [startup+730.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 257308 0 0 0 72069 695 0 0 25 0 1 0 21158582 740814848 162929 4294967295 134512640 135987407 3221224576 3211750096 134637817 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 180863 162929 364 364 0 180499 0 [pid=7271] vsize: 723452 Current children cumulated CPU time (s) 727.64 Current children cumulated vsize (Kb) 723452 [startup+740.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 7271 Raw data (/proc/7271/stat): 7271 (pb2sat) R 7270 7271 4005 0 -1 0 264597 0 0 0 73050 712 0 0 25 0 1 0 21158582 751009792 169617 4294967295 134512640 135987407 3221224576 3221223256 135477320 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7271/statm): 183352 169617 364 364 0 182988 0 [pid=7271] vsize: 733408 Current children cumulated CPU time (s) 737.62 Current children cumulated vsize (Kb) 733408 One traced child (pid=7271) exited with status: 1 All traced children have exited ! Game is over. Child status: 1 Real time (s): 742.673 CPU time (s): 740.281 CPU user time (s): 732.819 CPU system time (s): 7.46287 CPU usage (%): 99.678 Max. virtual memory (cumulated for all children) (Kb): 733408
ERROR: no interpretation found !