Name | mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-80bau3b.opb |
MD5SUM | 482f3c6a016323a565c292702d2c5673 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 183640 |
Biggest coefficient in the objective function | 179765856174080000 |
Number of bits for the biggest coefficient in the objective function | 58 |
Sum of the numbers in the objective function | 6977628092477113102 |
Number of bits of the sum of numbers in the objective function | 63 |
Biggest number in a constraint | 179765856174080000 |
Number of bits of the biggest number in a constraint | 58 |
Biggest sum of numbers in a constraint | 6977628092477113102 |
Number of bits of the biggest sum of numbers | 63 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 42.7925 |
Number of variables | 228990 |
Total number of constraints | 5220 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5220 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 3330 |
LAUNCH ON wulflinc6 THE 2005-09-23 16:14:46 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8691 boxname=wulflinc6 idbench=487 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 482f3c6a016323a565c292702d2c5673 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-80bau3b.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-80bau3b.opb IDLAUNCH: 8691 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.158 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.158 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: 904912 kB Buffers: 12804 kB Cached: 99328 kB SwapCached: 0 kB Active: 61928 kB Inactive: 53072 kB HighTotal: 131008 kB HighFree: 28196 kB LowTotal: 903652 kB LowFree: 876716 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 9136 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 16:32:24 (client local time) WITH STATUS 1 IN 1057.27 SECONDS stats: 8691 7 1057.27 1
c This solver internally uses Chaff 2004.11.15 Simplified 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/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18 0 0 0 0 0 0 0 19 0 1 0 21562888 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8148/statm): 373 2 364 364 0 9 0 [pid=8148] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-80bau3b.opb [startup+10.0015 s] Raw data (loadavg): 1.03 0.96 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 2480 0 0 0 991 7 0 0 25 0 1 0 21562888 9428992 1795 4294967295 134512640 135987407 3221224560 3221221864 134639648 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8148/statm): 2302 1795 364 364 0 1938 0 [pid=8148] vsize: 9208 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9208 [startup+20.0023 s] Raw data (loadavg): 1.03 0.96 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 3008 0 0 0 1990 8 0 0 25 0 1 0 21562888 10780672 2314 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 2632 2314 364 364 0 2268 0 [pid=8148] vsize: 10528 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10528 [startup+30.003 s] Raw data (loadavg): 1.02 0.96 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 4398 0 0 0 2987 12 0 0 25 0 1 0 21562888 15691776 2959 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 3831 2959 364 364 0 3467 0 [pid=8148] vsize: 15324 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 15324 [startup+40.0038 s] Raw data (loadavg): 1.02 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 4663 0 0 0 3986 13 0 0 25 0 1 0 21562888 16367616 3220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 3996 3220 364 364 0 3632 0 [pid=8148] vsize: 15984 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 15984 [startup+50.0045 s] Raw data (loadavg): 1.02 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 4914 0 0 0 4985 14 0 0 25 0 1 0 21562888 17043456 3467 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 4161 3467 364 364 0 3797 0 [pid=8148] vsize: 16644 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 16644 [startup+60.0043 s] Raw data (loadavg): 1.01 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 5141 0 0 0 5984 15 0 0 25 0 1 0 21562888 17584128 3690 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 4293 3690 364 364 0 3929 0 [pid=8148] vsize: 17172 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 17172 [startup+70.004 s] Raw data (loadavg): 1.01 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 5351 0 0 0 6984 15 0 0 25 0 1 0 21562888 18124800 3897 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 4425 3897 364 364 0 4061 0 [pid=8148] vsize: 17700 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 17700 [startup+80.0048 s] Raw data (loadavg): 1.01 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 5548 0 0 0 7983 16 0 0 25 0 1 0 21562888 18665472 4090 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8148/statm): 4557 4090 364 364 0 4193 0 [pid=8148] vsize: 18228 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 18228 [startup+90.0045 s] Raw data (loadavg): 1.01 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 5734 0 0 0 8983 16 0 0 25 0 1 0 21562888 19070976 4273 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 4656 4273 364 364 0 4292 0 [pid=8148] vsize: 18624 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 18624 [startup+100.005 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 5929 0 0 0 9982 17 0 0 25 0 1 0 21562888 19611648 4466 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 4788 4466 364 364 0 4424 0 [pid=8148] vsize: 19152 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 19152 [startup+110.006 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 7322 0 0 0 10979 20 0 0 25 0 1 0 21562888 30556160 5809 4294967295 134512640 135987407 3221224560 3221221068 135482121 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7460 5811 364 364 0 7096 0 [pid=8148] vsize: 29840 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 29840 [startup+120.006 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 8392 0 0 0 11976 23 0 0 25 0 1 0 21562888 29028352 5449 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7087 5449 364 364 0 6723 0 [pid=8148] vsize: 28348 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 28348 [startup+130.005 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 8472 0 0 0 12975 24 0 0 25 0 1 0 21562888 29163520 5526 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7120 5526 364 364 0 6756 0 [pid=8148] vsize: 28480 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 28480 [startup+140.005 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 8600 0 0 0 13975 24 0 0 25 0 1 0 21562888 29433856 5652 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7186 5652 364 364 0 6822 0 [pid=8148] vsize: 28744 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 28744 [startup+150.006 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 8724 0 0 0 14975 24 0 0 25 0 1 0 21562888 29704192 5773 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7252 5773 364 364 0 6888 0 [pid=8148] vsize: 29008 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 29008 [startup+160.006 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 8842 0 0 0 15975 24 0 0 25 0 1 0 21562888 29974528 5889 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7318 5889 364 364 0 6954 0 [pid=8148] vsize: 29272 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 29272 [startup+170.005 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 8958 0 0 0 16974 25 0 0 25 0 1 0 21562888 30244864 6003 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7384 6003 364 364 0 7020 0 [pid=8148] vsize: 29536 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 29536 [startup+180.005 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9070 0 0 0 17973 26 0 0 25 0 1 0 21562888 30515200 6113 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7450 6113 364 364 0 7086 0 [pid=8148] vsize: 29800 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 29800 [startup+190.005 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9196 0 0 0 18973 27 0 0 25 0 1 0 21562888 30785536 6237 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7516 6237 364 364 0 7152 0 [pid=8148] vsize: 30064 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 30064 [startup+200.006 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9317 0 0 0 19972 27 0 0 25 0 1 0 21562888 31191040 6356 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7615 6356 364 364 0 7251 0 [pid=8148] vsize: 30460 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 30460 [startup+210.005 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9437 0 0 0 20972 28 0 0 25 0 1 0 21562888 31461376 6474 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7681 6474 364 364 0 7317 0 [pid=8148] vsize: 30724 Current children cumulated CPU time (s) 210 Current children cumulated vsize (Kb) 30724 [startup+220.005 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9555 0 0 0 21971 29 0 0 25 0 1 0 21562888 31731712 6590 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7747 6590 364 364 0 7383 0 [pid=8148] vsize: 30988 Current children cumulated CPU time (s) 220 Current children cumulated vsize (Kb) 30988 [startup+230.005 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9670 0 0 0 22971 29 0 0 25 0 1 0 21562888 32002048 6703 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7813 6703 364 364 0 7449 0 [pid=8148] vsize: 31252 Current children cumulated CPU time (s) 230 Current children cumulated vsize (Kb) 31252 [startup+240.005 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9783 0 0 0 23970 30 0 0 25 0 1 0 21562888 32407552 6815 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7912 6815 364 364 0 7548 0 [pid=8148] vsize: 31648 Current children cumulated CPU time (s) 240 Current children cumulated vsize (Kb) 31648 [startup+250.005 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 9895 0 0 0 24970 31 0 0 25 0 1 0 21562888 32677888 6925 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 7978 6925 364 364 0 7614 0 [pid=8148] vsize: 31912 Current children cumulated CPU time (s) 250.01 Current children cumulated vsize (Kb) 31912 [startup+260.006 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10003 0 0 0 25969 31 0 0 25 0 1 0 21562888 32948224 7031 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 8044 7031 364 364 0 7680 0 [pid=8148] vsize: 32176 Current children cumulated CPU time (s) 260 Current children cumulated vsize (Kb) 32176 [startup+270.006 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10109 0 0 0 26969 32 0 0 25 0 1 0 21562888 33218560 7135 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 8110 7135 364 364 0 7746 0 [pid=8148] vsize: 32440 Current children cumulated CPU time (s) 270.01 Current children cumulated vsize (Kb) 32440 [startup+280.007 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10214 0 0 0 27969 32 0 0 25 0 1 0 21562888 33488896 7239 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 8176 7239 364 364 0 7812 0 [pid=8148] vsize: 32704 Current children cumulated CPU time (s) 280.01 Current children cumulated vsize (Kb) 32704 [startup+290.007 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10318 0 0 0 28968 32 0 0 25 0 1 0 21562888 33759232 7341 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8148/statm): 8242 7341 364 364 0 7878 0 [pid=8148] vsize: 32968 Current children cumulated CPU time (s) 290 Current children cumulated vsize (Kb) 32968 [startup+300.007 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10421 0 0 0 29968 33 0 0 25 0 1 0 21562888 34029568 7442 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8148/statm): 8308 7442 364 364 0 7944 0 [pid=8148] vsize: 33232 Current children cumulated CPU time (s) 300.01 Current children cumulated vsize (Kb) 33232 [startup+310.007 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10521 0 0 0 30968 33 0 0 25 0 1 0 21562888 34299904 7541 4294967295 134512640 135987407 3221224560 3221221864 134639648 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8148/statm): 8374 7541 364 364 0 8010 0 [pid=8148] vsize: 33496 Current children cumulated CPU time (s) 310.01 Current children cumulated vsize (Kb) 33496 [startup+320.008 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10623 0 0 0 31968 33 0 0 25 0 1 0 21562888 34570240 7641 4294967295 134512640 135987407 3221224560 3221221904 134612790 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8148/statm): 8440 7641 364 364 0 8076 0 [pid=8148] vsize: 33760 Current children cumulated CPU time (s) 320.01 Current children cumulated vsize (Kb) 33760 [startup+330.008 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10720 0 0 0 32967 34 0 0 25 0 1 0 21562888 34705408 7736 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 8473 7736 364 364 0 8109 0 [pid=8148] vsize: 33892 Current children cumulated CPU time (s) 330.01 Current children cumulated vsize (Kb) 33892 [startup+340.009 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10815 0 0 0 33967 34 0 0 25 0 1 0 21562888 34975744 7830 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 8539 7830 364 364 0 8175 0 [pid=8148] vsize: 34156 Current children cumulated CPU time (s) 340.01 Current children cumulated vsize (Kb) 34156 [startup+350.01 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 10910 0 0 0 34967 34 0 0 25 0 1 0 21562888 35246080 7923 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 8605 7923 364 364 0 8241 0 [pid=8148] vsize: 34420 Current children cumulated CPU time (s) 350.01 Current children cumulated vsize (Kb) 34420 [startup+360.011 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11002 0 0 0 35967 34 0 0 25 0 1 0 21562888 35516416 8014 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 8671 8014 364 364 0 8307 0 [pid=8148] vsize: 34684 Current children cumulated CPU time (s) 360.01 Current children cumulated vsize (Kb) 34684 [startup+370.01 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11095 0 0 0 36967 35 0 0 25 0 1 0 21562888 35786752 8105 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 8737 8105 364 364 0 8373 0 [pid=8148] vsize: 34948 Current children cumulated CPU time (s) 370.02 Current children cumulated vsize (Kb) 34948 [startup+380.011 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11185 0 0 0 37967 35 0 0 25 0 1 0 21562888 35921920 8194 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 8770 8194 364 364 0 8406 0 [pid=8148] vsize: 35080 Current children cumulated CPU time (s) 380.02 Current children cumulated vsize (Kb) 35080 [startup+390.011 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11275 0 0 0 38966 35 0 0 25 0 1 0 21562888 36192256 8282 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 8836 8282 364 364 0 8472 0 [pid=8148] vsize: 35344 Current children cumulated CPU time (s) 390.01 Current children cumulated vsize (Kb) 35344 [startup+400.012 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11364 0 0 0 39966 36 0 0 25 0 1 0 21562888 36462592 8370 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 8902 8370 364 364 0 8538 0 [pid=8148] vsize: 35608 Current children cumulated CPU time (s) 400.02 Current children cumulated vsize (Kb) 35608 [startup+410.011 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11451 0 0 0 40966 36 0 0 25 0 1 0 21562888 36597760 8456 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 8935 8456 364 364 0 8571 0 [pid=8148] vsize: 35740 Current children cumulated CPU time (s) 410.02 Current children cumulated vsize (Kb) 35740 [startup+420.011 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11537 0 0 0 41965 36 0 0 25 0 1 0 21562888 36868096 8540 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 9001 8540 364 364 0 8637 0 [pid=8148] vsize: 36004 Current children cumulated CPU time (s) 420.01 Current children cumulated vsize (Kb) 36004 [startup+430.012 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11622 0 0 0 42965 37 0 0 25 0 1 0 21562888 37138432 8624 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 9067 8624 364 364 0 8703 0 [pid=8148] vsize: 36268 Current children cumulated CPU time (s) 430.02 Current children cumulated vsize (Kb) 36268 [startup+440.013 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11708 0 0 0 43965 37 0 0 25 0 1 0 21562888 37273600 8708 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 9100 8708 364 364 0 8736 0 [pid=8148] vsize: 36400 Current children cumulated CPU time (s) 440.02 Current children cumulated vsize (Kb) 36400 [startup+450.013 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11790 0 0 0 44964 37 0 0 25 0 1 0 21562888 37543936 8789 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 9166 8789 364 364 0 8802 0 [pid=8148] vsize: 36664 Current children cumulated CPU time (s) 450.01 Current children cumulated vsize (Kb) 36664 [startup+460.014 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11874 0 0 0 45964 37 0 0 25 0 1 0 21562888 37679104 8872 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 9199 8872 364 364 0 8835 0 [pid=8148] vsize: 36796 Current children cumulated CPU time (s) 460.01 Current children cumulated vsize (Kb) 36796 [startup+470.014 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 11956 0 0 0 46964 38 0 0 25 0 1 0 21562888 37949440 8952 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 9265 8952 364 364 0 8901 0 [pid=8148] vsize: 37060 Current children cumulated CPU time (s) 470.02 Current children cumulated vsize (Kb) 37060 [startup+480.015 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 12036 0 0 0 47964 38 0 0 25 0 1 0 21562888 38084608 9031 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 9298 9031 364 364 0 8934 0 [pid=8148] vsize: 37192 Current children cumulated CPU time (s) 480.02 Current children cumulated vsize (Kb) 37192 [startup+490.014 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16557 0 0 0 48955 47 0 0 25 0 1 0 21562888 55971840 10604 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13665 10604 364 364 0 13301 0 [pid=8148] vsize: 54660 Current children cumulated CPU time (s) 490.02 Current children cumulated vsize (Kb) 54660 [startup+500.016 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16586 0 0 0 49955 47 0 0 25 0 1 0 21562888 55971840 10632 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13665 10632 364 364 0 13301 0 [pid=8148] vsize: 54660 Current children cumulated CPU time (s) 500.02 Current children cumulated vsize (Kb) 54660 [startup+510.016 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16615 0 0 0 50955 47 0 0 25 0 1 0 21562888 55971840 10659 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13665 10659 364 364 0 13301 0 [pid=8148] vsize: 54660 Current children cumulated CPU time (s) 510.02 Current children cumulated vsize (Kb) 54660 [startup+520.016 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16644 0 0 0 51955 47 0 0 25 0 1 0 21562888 55971840 10687 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13665 10687 364 364 0 13301 0 [pid=8148] vsize: 54660 Current children cumulated CPU time (s) 520.02 Current children cumulated vsize (Kb) 54660 [startup+530.016 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16673 0 0 0 52955 47 0 0 25 0 1 0 21562888 55971840 10715 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13665 10715 364 364 0 13301 0 [pid=8148] vsize: 54660 Current children cumulated CPU time (s) 530.02 Current children cumulated vsize (Kb) 54660 [startup+540.016 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16701 0 0 0 53955 47 0 0 25 0 1 0 21562888 55971840 10742 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13665 10742 364 364 0 13301 0 [pid=8148] vsize: 54660 Current children cumulated CPU time (s) 540.02 Current children cumulated vsize (Kb) 54660 [startup+550.017 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16742 0 0 0 54955 47 0 0 25 0 1 0 21562888 56107008 10781 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13698 10781 364 364 0 13334 0 [pid=8148] vsize: 54792 Current children cumulated CPU time (s) 550.02 Current children cumulated vsize (Kb) 54792 [startup+560.018 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16806 0 0 0 55954 48 0 0 25 0 1 0 21562888 56242176 10844 4294967295 134512640 135987407 3221224560 3221221248 134855009 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13731 10844 364 364 0 13367 0 [pid=8148] vsize: 54924 Current children cumulated CPU time (s) 560.02 Current children cumulated vsize (Kb) 54924 [startup+570.017 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16873 0 0 0 56954 48 0 0 25 0 1 0 21562888 56377344 10910 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13764 10910 364 364 0 13400 0 [pid=8148] vsize: 55056 Current children cumulated CPU time (s) 570.02 Current children cumulated vsize (Kb) 55056 [startup+580.018 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 16937 0 0 0 57954 48 0 0 25 0 1 0 21562888 56512512 10973 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13797 10973 364 364 0 13433 0 [pid=8148] vsize: 55188 Current children cumulated CPU time (s) 580.02 Current children cumulated vsize (Kb) 55188 [startup+590.018 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17000 0 0 0 58954 48 0 0 25 0 1 0 21562888 56647680 11035 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13830 11035 364 364 0 13466 0 [pid=8148] vsize: 55320 Current children cumulated CPU time (s) 590.02 Current children cumulated vsize (Kb) 55320 [startup+600.019 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17064 0 0 0 59954 48 0 0 25 0 1 0 21562888 56782848 11097 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13863 11097 364 364 0 13499 0 [pid=8148] vsize: 55452 Current children cumulated CPU time (s) 600.02 Current children cumulated vsize (Kb) 55452 [startup+610.018 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17127 0 0 0 60954 49 0 0 25 0 1 0 21562888 56918016 11159 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13896 11159 364 364 0 13532 0 [pid=8148] vsize: 55584 Current children cumulated CPU time (s) 610.03 Current children cumulated vsize (Kb) 55584 [startup+620.018 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17189 0 0 0 61954 49 0 0 25 0 1 0 21562888 57053184 11220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13929 11220 364 364 0 13565 0 [pid=8148] vsize: 55716 Current children cumulated CPU time (s) 620.03 Current children cumulated vsize (Kb) 55716 [startup+630.019 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17251 0 0 0 62954 49 0 0 25 0 1 0 21562888 57323520 11281 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 13995 11281 364 364 0 13631 0 [pid=8148] vsize: 55980 Current children cumulated CPU time (s) 630.03 Current children cumulated vsize (Kb) 55980 [startup+640.02 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17313 0 0 0 63954 49 0 0 25 0 1 0 21562888 57458688 11342 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14028 11342 364 364 0 13664 0 [pid=8148] vsize: 56112 Current children cumulated CPU time (s) 640.03 Current children cumulated vsize (Kb) 56112 [startup+650.02 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17374 0 0 0 64954 49 0 0 25 0 1 0 21562888 57593856 11402 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14061 11402 364 364 0 13697 0 [pid=8148] vsize: 56244 Current children cumulated CPU time (s) 650.03 Current children cumulated vsize (Kb) 56244 [startup+660.02 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17433 0 0 0 65953 49 0 0 25 0 1 0 21562888 57729024 11460 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14094 11460 364 364 0 13730 0 [pid=8148] vsize: 56376 Current children cumulated CPU time (s) 660.02 Current children cumulated vsize (Kb) 56376 [startup+670.02 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17494 0 0 0 66953 49 0 0 25 0 1 0 21562888 57864192 11519 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14127 11519 364 364 0 13763 0 [pid=8148] vsize: 56508 Current children cumulated CPU time (s) 670.02 Current children cumulated vsize (Kb) 56508 [startup+680.021 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17553 0 0 0 67953 50 0 0 25 0 1 0 21562888 57999360 11577 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14160 11577 364 364 0 13796 0 [pid=8148] vsize: 56640 Current children cumulated CPU time (s) 680.03 Current children cumulated vsize (Kb) 56640 [startup+690.02 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17612 0 0 0 68953 50 0 0 25 0 1 0 21562888 58134528 11635 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14193 11635 364 364 0 13829 0 [pid=8148] vsize: 56772 Current children cumulated CPU time (s) 690.03 Current children cumulated vsize (Kb) 56772 [startup+700.021 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17671 0 0 0 69953 51 0 0 25 0 1 0 21562888 58269696 11693 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14226 11693 364 364 0 13862 0 [pid=8148] vsize: 56904 Current children cumulated CPU time (s) 700.04 Current children cumulated vsize (Kb) 56904 [startup+710.022 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17728 0 0 0 70952 51 0 0 25 0 1 0 21562888 58404864 11749 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14259 11749 364 364 0 13895 0 [pid=8148] vsize: 57036 Current children cumulated CPU time (s) 710.03 Current children cumulated vsize (Kb) 57036 [startup+720.022 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17788 0 0 0 71952 51 0 0 25 0 1 0 21562888 58540032 11808 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14292 11808 364 364 0 13928 0 [pid=8148] vsize: 57168 Current children cumulated CPU time (s) 720.03 Current children cumulated vsize (Kb) 57168 [startup+730.022 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17846 0 0 0 72952 52 0 0 25 0 1 0 21562888 58675200 11865 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14325 11865 364 364 0 13961 0 [pid=8148] vsize: 57300 Current children cumulated CPU time (s) 730.04 Current children cumulated vsize (Kb) 57300 [startup+740.023 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17903 0 0 0 73952 52 0 0 25 0 1 0 21562888 58810368 11921 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14358 11921 364 364 0 13994 0 [pid=8148] vsize: 57432 Current children cumulated CPU time (s) 740.04 Current children cumulated vsize (Kb) 57432 [startup+750.024 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 17959 0 0 0 74951 53 0 0 25 0 1 0 21562888 58945536 11976 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14391 11976 364 364 0 14027 0 [pid=8148] vsize: 57564 Current children cumulated CPU time (s) 750.04 Current children cumulated vsize (Kb) 57564 [startup+760.025 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18018 0 0 0 75951 53 0 0 25 0 1 0 21562888 59080704 12034 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14424 12034 364 364 0 14060 0 [pid=8148] vsize: 57696 Current children cumulated CPU time (s) 760.04 Current children cumulated vsize (Kb) 57696 [startup+770.024 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18082 0 0 0 76951 53 0 0 25 0 1 0 21562888 59215872 12097 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14457 12097 364 364 0 14093 0 [pid=8148] vsize: 57828 Current children cumulated CPU time (s) 770.04 Current children cumulated vsize (Kb) 57828 [startup+780.025 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18146 0 0 0 77951 53 0 0 25 0 1 0 21562888 59351040 12160 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14490 12160 364 364 0 14126 0 [pid=8148] vsize: 57960 Current children cumulated CPU time (s) 780.04 Current children cumulated vsize (Kb) 57960 [startup+790.025 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18208 0 0 0 78950 54 0 0 25 0 1 0 21562888 59486208 12221 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14523 12221 364 364 0 14159 0 [pid=8148] vsize: 58092 Current children cumulated CPU time (s) 790.04 Current children cumulated vsize (Kb) 58092 [startup+800.026 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18273 0 0 0 79950 54 0 0 25 0 1 0 21562888 59756544 12285 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14589 12285 364 364 0 14225 0 [pid=8148] vsize: 58356 Current children cumulated CPU time (s) 800.04 Current children cumulated vsize (Kb) 58356 [startup+810.025 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18336 0 0 0 80950 54 0 0 25 0 1 0 21562888 59891712 12347 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14622 12347 364 364 0 14258 0 [pid=8148] vsize: 58488 Current children cumulated CPU time (s) 810.04 Current children cumulated vsize (Kb) 58488 [startup+820.025 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18398 0 0 0 81950 54 0 0 25 0 1 0 21562888 60026880 12408 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14655 12408 364 364 0 14291 0 [pid=8148] vsize: 58620 Current children cumulated CPU time (s) 820.04 Current children cumulated vsize (Kb) 58620 [startup+830.026 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18459 0 0 0 82949 54 0 0 25 0 1 0 21562888 60162048 12468 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14688 12468 364 364 0 14324 0 [pid=8148] vsize: 58752 Current children cumulated CPU time (s) 830.03 Current children cumulated vsize (Kb) 58752 [startup+840.026 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18520 0 0 0 83949 54 0 0 25 0 1 0 21562888 60297216 12528 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14721 12528 364 364 0 14357 0 [pid=8148] vsize: 58884 Current children cumulated CPU time (s) 840.03 Current children cumulated vsize (Kb) 58884 [startup+850.026 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18583 0 0 0 84949 54 0 0 25 0 1 0 21562888 60567552 12590 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14787 12590 364 364 0 14423 0 [pid=8148] vsize: 59148 Current children cumulated CPU time (s) 850.03 Current children cumulated vsize (Kb) 59148 [startup+860.027 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18644 0 0 0 85950 55 0 0 25 0 1 0 21562888 60702720 12650 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14820 12650 364 364 0 14456 0 [pid=8148] vsize: 59280 Current children cumulated CPU time (s) 860.05 Current children cumulated vsize (Kb) 59280 [startup+870.027 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18704 0 0 0 86949 55 0 0 25 0 1 0 21562888 60837888 12709 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14853 12709 364 364 0 14489 0 [pid=8148] vsize: 59412 Current children cumulated CPU time (s) 870.04 Current children cumulated vsize (Kb) 59412 [startup+880.028 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18765 0 0 0 87949 55 0 0 25 0 1 0 21562888 60973056 12769 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14886 12769 364 364 0 14522 0 [pid=8148] vsize: 59544 Current children cumulated CPU time (s) 880.04 Current children cumulated vsize (Kb) 59544 [startup+890.028 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18824 0 0 0 88949 55 0 0 25 0 1 0 21562888 61108224 12827 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14919 12827 364 364 0 14555 0 [pid=8148] vsize: 59676 Current children cumulated CPU time (s) 890.04 Current children cumulated vsize (Kb) 59676 [startup+900.029 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18886 0 0 0 89949 55 0 0 25 0 1 0 21562888 61243392 12888 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 14952 12888 364 364 0 14588 0 [pid=8148] vsize: 59808 Current children cumulated CPU time (s) 900.04 Current children cumulated vsize (Kb) 59808 [startup+910.029 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 18945 0 0 0 90949 55 0 0 25 0 1 0 21562888 61513728 12946 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 15018 12946 364 364 0 14654 0 [pid=8148] vsize: 60072 Current children cumulated CPU time (s) 910.04 Current children cumulated vsize (Kb) 60072 [startup+920.029 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 19002 0 0 0 91949 56 0 0 25 0 1 0 21562888 61648896 13002 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 15051 13002 364 364 0 14687 0 [pid=8148] vsize: 60204 Current children cumulated CPU time (s) 920.05 Current children cumulated vsize (Kb) 60204 [startup+930.029 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 19062 0 0 0 92949 56 0 0 25 0 1 0 21562888 61784064 13061 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 15084 13061 364 364 0 14720 0 [pid=8148] vsize: 60336 Current children cumulated CPU time (s) 930.05 Current children cumulated vsize (Kb) 60336 [startup+940.03 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 19120 0 0 0 93949 56 0 0 25 0 1 0 21562888 61919232 13118 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 15117 13118 364 364 0 14753 0 [pid=8148] vsize: 60468 Current children cumulated CPU time (s) 940.05 Current children cumulated vsize (Kb) 60468 [startup+950.031 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 19179 0 0 0 94949 56 0 0 25 0 1 0 21562888 62054400 13176 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 15150 13176 364 364 0 14786 0 [pid=8148] vsize: 60600 Current children cumulated CPU time (s) 950.05 Current children cumulated vsize (Kb) 60600 [startup+960.032 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 25935 0 0 0 95929 74 0 0 25 0 1 0 21562888 83079168 18380 4294967295 134512640 135987407 3221224560 3221122384 134854943 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 20283 18380 364 364 0 19919 0 [pid=8148] vsize: 81132 Current children cumulated CPU time (s) 960.03 Current children cumulated vsize (Kb) 81132 [startup+970.031 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 57481 0 0 0 96862 138 0 0 25 0 1 0 21562888 173699072 40225 4294967295 134512640 135987407 3221224560 3221123876 135480412 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 42407 40225 364 364 0 42043 0 [pid=8148] vsize: 169628 Current children cumulated CPU time (s) 970 Current children cumulated vsize (Kb) 169628 [startup+980.032 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 93157 0 0 0 97794 203 0 0 25 0 1 0 21562888 292061184 59837 4294967295 134512640 135987407 3221224560 3221126488 134865857 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 71304 59837 364 364 0 70940 0 [pid=8148] vsize: 285216 Current children cumulated CPU time (s) 979.97 Current children cumulated vsize (Kb) 285216 [startup+990.033 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 122664 0 0 0 98731 264 0 0 25 0 1 0 21562888 400019456 76849 4294967295 134512640 135987407 3221224560 3221132704 134560875 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 97661 76849 364 364 0 97297 0 [pid=8148] vsize: 390644 Current children cumulated CPU time (s) 989.95 Current children cumulated vsize (Kb) 390644 [startup+1000.03 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 167117 0 0 0 99641 349 0 0 25 0 1 0 21562888 611110912 120108 4294967295 134512640 135987407 3221224560 3221130496 134892994 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 149197 120108 364 364 0 148833 0 [pid=8148] vsize: 596788 Current children cumulated CPU time (s) 999.9 Current children cumulated vsize (Kb) 596788 [startup+1010.03 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 186197 0 0 0 100597 392 0 0 25 0 1 0 21562888 567857152 120533 4294967295 134512640 135987407 3221224560 3221132244 134635402 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 138637 120533 364 364 0 138273 0 [pid=8148] vsize: 554548 Current children cumulated CPU time (s) 1009.89 Current children cumulated vsize (Kb) 554548 [startup+1020.03 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 226402 0 0 0 101510 475 0 0 25 0 1 0 21562888 723841024 135976 4294967295 134512640 135987407 3221224560 3221134144 134877628 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 176719 135976 364 364 0 176355 0 [pid=8148] vsize: 706876 Current children cumulated CPU time (s) 1019.85 Current children cumulated vsize (Kb) 706876 [startup+1030.03 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 243733 0 0 0 102476 508 0 0 25 0 1 0 21562888 747655168 153100 4294967295 134512640 135987407 3221224560 3221132684 134639076 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 182533 153100 364 364 0 182169 0 [pid=8148] vsize: 730132 Current children cumulated CPU time (s) 1029.84 Current children cumulated vsize (Kb) 730132 [startup+1040.04 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 262932 0 0 0 103437 545 0 0 25 0 1 0 21562888 773742592 172068 4294967295 134512640 135987407 3221224560 3221142408 134635479 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 188902 172068 364 364 0 188538 0 [pid=8148] vsize: 755608 Current children cumulated CPU time (s) 1039.82 Current children cumulated vsize (Kb) 755608 [startup+1050.04 s] Raw data (loadavg): 1.00 0.97 0.96 2/55 8148 Raw data (/proc/8148/stat): 8148 (pb2sat) R 8147 8148 4060 0 -1 0 279451 0 0 0 104401 578 0 0 25 0 1 0 21562888 851107840 188409 4294967295 134512640 135987407 3221224560 3221133328 134537491 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8148/statm): 207790 188409 364 364 0 207426 0 [pid=8148] vsize: 831160 Current children cumulated CPU time (s) 1049.79 Current children cumulated vsize (Kb) 831160 One traced child (pid=8148) exited with status: 1 All traced children have exited ! Game is over. Child status: 1 Real time (s): 1057.52 CPU time (s): 1057.27 CPU user time (s): 1051.1 CPU system time (s): 6.17706 CPU usage (%): 99.9771 Max. virtual memory (cumulated for all children) (Kb): 831160
ERROR: no interpretation found !