Name | mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2p.opb |
MD5SUM | 5f5cb3c37eae37e49339d7674a999c27 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 172663 |
Biggest coefficient in the objective function | 10485760 |
Number of bits for the biggest coefficient in the objective function | 24 |
Sum of the numbers in the objective function | 42533442284 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 30985420800 |
Number of bits of the biggest number in a constraint | 35 |
Biggest sum of numbers in a constraint | 101083836075 |
Number of bits of the biggest sum of numbers | 37 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 210852 |
Total number of constraints | 10500 |
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 | 10500 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 413 |
LAUNCH ON wulflinc25 THE 2005-09-23 17:45:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9019 boxname=wulflinc25 idbench=815 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 5f5cb3c37eae37e49339d7674a999c27 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-fit2p.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-fit2p.opb IDLAUNCH: 9019 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.002 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.002 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: 888372 kB Buffers: 17928 kB Cached: 108484 kB SwapCached: 0 kB Active: 70216 kB Inactive: 59096 kB HighTotal: 131008 kB HighFree: 19264 kB LowTotal: 903652 kB LowFree: 869108 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 11372 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 18:00:42 (client local time) WITH STATUS 1 IN 926.814 SECONDS stats: 9019 7 926.814 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/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22054726 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9754/statm): 373 2 364 364 0 9 0 [pid=9754] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-fit2p.opb [startup+10.0017 s] Raw data (loadavg): 0.94 0.95 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 2471 0 0 0 992 7 0 0 25 0 1 0 22054726 9371648 1786 4294967295 134512640 135987407 3221224560 3221221952 134616346 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9754/statm): 2288 1786 364 364 0 1924 0 [pid=9754] vsize: 9152 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9152 [startup+20.0063 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 2988 0 0 0 1990 8 0 0 25 0 1 0 22054726 10588160 2294 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 2585 2294 364 364 0 2221 0 [pid=9754] vsize: 10340 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10340 [startup+30.0059 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 4380 0 0 0 2987 11 0 0 25 0 1 0 22054726 15634432 2941 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 3817 2941 364 364 0 3453 0 [pid=9754] vsize: 15268 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15268 [startup+40.0065 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 4664 0 0 0 3987 12 0 0 25 0 1 0 22054726 16310272 3220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 3982 3220 364 364 0 3618 0 [pid=9754] vsize: 15928 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 15928 [startup+50.0071 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 4924 0 0 0 4986 13 0 0 25 0 1 0 22054726 16986112 3476 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 4147 3476 364 364 0 3783 0 [pid=9754] vsize: 16588 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 16588 [startup+60.0067 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 5154 0 0 0 5986 13 0 0 25 0 1 0 22054726 17526784 3702 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 4279 3702 364 364 0 3915 0 [pid=9754] vsize: 17116 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 17116 [startup+70.0073 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 5364 0 0 0 6985 14 0 0 25 0 1 0 22054726 18067456 3909 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 4411 3909 364 364 0 4047 0 [pid=9754] vsize: 17644 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 17644 [startup+80.0079 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 5562 0 0 0 7985 14 0 0 25 0 1 0 22054726 18608128 4104 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 4543 4104 364 364 0 4179 0 [pid=9754] vsize: 18172 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 18172 [startup+90.0085 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 5748 0 0 0 8984 15 0 0 25 0 1 0 22054726 19148800 4287 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 4675 4287 364 364 0 4311 0 [pid=9754] vsize: 18700 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 18700 [startup+100.008 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 5921 0 0 0 9984 16 0 0 25 0 1 0 22054726 19554304 4457 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 4774 4457 364 364 0 4410 0 [pid=9754] vsize: 19096 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 19096 [startup+110.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8296 0 0 0 10978 21 0 0 25 0 1 0 22054726 28835840 5354 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 7040 5354 364 364 0 6676 0 [pid=9754] vsize: 28160 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 28160 [startup+120.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8354 0 0 0 11977 22 0 0 25 0 1 0 22054726 28835840 5410 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 7040 5410 364 364 0 6676 0 [pid=9754] vsize: 28160 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 28160 [startup+130.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8461 0 0 0 12978 22 0 0 25 0 1 0 22054726 28971008 5514 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 7073 5514 364 364 0 6709 0 [pid=9754] vsize: 28292 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 28292 [startup+140.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8588 0 0 0 13977 22 0 0 25 0 1 0 22054726 29241344 5639 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 7139 5639 364 364 0 6775 0 [pid=9754] vsize: 28556 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 28556 [startup+150.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8711 0 0 0 14977 23 0 0 25 0 1 0 22054726 29511680 5760 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9754/statm): 7205 5760 364 364 0 6841 0 [pid=9754] vsize: 28820 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 28820 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8830 0 0 0 15976 23 0 0 25 0 1 0 22054726 29782016 5876 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9754/statm): 7271 5876 364 364 0 6907 0 [pid=9754] vsize: 29084 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 29084 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 8946 0 0 0 16976 24 0 0 25 0 1 0 22054726 30052352 5990 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9754/statm): 7337 5990 364 364 0 6973 0 [pid=9754] vsize: 29348 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 29348 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9063 0 0 0 17976 24 0 0 25 0 1 0 22054726 30457856 6105 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9754/statm): 7436 6105 364 364 0 7072 0 [pid=9754] vsize: 29744 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 29744 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9189 0 0 0 18976 24 0 0 25 0 1 0 22054726 30728192 6229 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9754/statm): 7502 6229 364 364 0 7138 0 [pid=9754] vsize: 30008 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 30008 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9312 0 0 0 19976 25 0 0 25 0 1 0 22054726 30998528 6350 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9754/statm): 7568 6350 364 364 0 7204 0 [pid=9754] vsize: 30272 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 30272 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9433 0 0 0 20975 25 0 0 25 0 1 0 22054726 31404032 6469 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 7667 6469 364 364 0 7303 0 [pid=9754] vsize: 30668 Current children cumulated CPU time (s) 210 Current children cumulated vsize (Kb) 30668 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9551 0 0 0 21975 25 0 0 25 0 1 0 22054726 31674368 6585 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 7733 6585 364 364 0 7369 0 [pid=9754] vsize: 30932 Current children cumulated CPU time (s) 220 Current children cumulated vsize (Kb) 30932 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9668 0 0 0 22975 26 0 0 25 0 1 0 22054726 31944704 6700 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 7799 6700 364 364 0 7435 0 [pid=9754] vsize: 31196 Current children cumulated CPU time (s) 230.01 Current children cumulated vsize (Kb) 31196 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9781 0 0 0 23975 26 0 0 25 0 1 0 22054726 32215040 6812 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 7865 6812 364 364 0 7501 0 [pid=9754] vsize: 31460 Current children cumulated CPU time (s) 240.01 Current children cumulated vsize (Kb) 31460 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 9895 0 0 0 24975 26 0 0 25 0 1 0 22054726 32485376 6924 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 7931 6924 364 364 0 7567 0 [pid=9754] vsize: 31724 Current children cumulated CPU time (s) 250.01 Current children cumulated vsize (Kb) 31724 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10005 0 0 0 25974 26 0 0 25 0 1 0 22054726 32890880 7032 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8030 7032 364 364 0 7666 0 [pid=9754] vsize: 32120 Current children cumulated CPU time (s) 260 Current children cumulated vsize (Kb) 32120 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10112 0 0 0 26974 27 0 0 25 0 1 0 22054726 33161216 7137 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8096 7137 364 364 0 7732 0 [pid=9754] vsize: 32384 Current children cumulated CPU time (s) 270.01 Current children cumulated vsize (Kb) 32384 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10217 0 0 0 27974 27 0 0 25 0 1 0 22054726 33431552 7241 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8162 7241 364 364 0 7798 0 [pid=9754] vsize: 32648 Current children cumulated CPU time (s) 280.01 Current children cumulated vsize (Kb) 32648 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10323 0 0 0 28973 27 0 0 25 0 1 0 22054726 33701888 7345 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8228 7345 364 364 0 7864 0 [pid=9754] vsize: 32912 Current children cumulated CPU time (s) 290 Current children cumulated vsize (Kb) 32912 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10425 0 0 0 29973 28 0 0 25 0 1 0 22054726 33972224 7445 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8294 7445 364 364 0 7930 0 [pid=9754] vsize: 33176 Current children cumulated CPU time (s) 300.01 Current children cumulated vsize (Kb) 33176 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10525 0 0 0 30973 28 0 0 25 0 1 0 22054726 34107392 7544 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8327 7544 364 364 0 7963 0 [pid=9754] vsize: 33308 Current children cumulated CPU time (s) 310.01 Current children cumulated vsize (Kb) 33308 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10624 0 0 0 31973 28 0 0 25 0 1 0 22054726 34377728 7641 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8393 7641 364 364 0 8029 0 [pid=9754] vsize: 33572 Current children cumulated CPU time (s) 320.01 Current children cumulated vsize (Kb) 33572 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10722 0 0 0 32973 28 0 0 25 0 1 0 22054726 34648064 7737 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8459 7737 364 364 0 8095 0 [pid=9754] vsize: 33836 Current children cumulated CPU time (s) 330.01 Current children cumulated vsize (Kb) 33836 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10818 0 0 0 33973 28 0 0 25 0 1 0 22054726 34918400 7832 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8525 7832 364 364 0 8161 0 [pid=9754] vsize: 34100 Current children cumulated CPU time (s) 340.01 Current children cumulated vsize (Kb) 34100 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 10915 0 0 0 34973 28 0 0 25 0 1 0 22054726 35188736 7927 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8591 7927 364 364 0 8227 0 [pid=9754] vsize: 34364 Current children cumulated CPU time (s) 350.01 Current children cumulated vsize (Kb) 34364 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11009 0 0 0 35972 29 0 0 25 0 1 0 22054726 35459072 8020 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8657 8020 364 364 0 8293 0 [pid=9754] vsize: 34628 Current children cumulated CPU time (s) 360.01 Current children cumulated vsize (Kb) 34628 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11101 0 0 0 36972 29 0 0 25 0 1 0 22054726 35594240 8110 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8690 8110 364 364 0 8326 0 [pid=9754] vsize: 34760 Current children cumulated CPU time (s) 370.01 Current children cumulated vsize (Kb) 34760 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11192 0 0 0 37972 29 0 0 25 0 1 0 22054726 35864576 8200 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8756 8200 364 364 0 8392 0 [pid=9754] vsize: 35024 Current children cumulated CPU time (s) 380.01 Current children cumulated vsize (Kb) 35024 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11283 0 0 0 38972 30 0 0 25 0 1 0 22054726 36134912 8289 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8822 8289 364 364 0 8458 0 [pid=9754] vsize: 35288 Current children cumulated CPU time (s) 390.02 Current children cumulated vsize (Kb) 35288 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11371 0 0 0 39971 30 0 0 25 0 1 0 22054726 36405248 8376 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8888 8376 364 364 0 8524 0 [pid=9754] vsize: 35552 Current children cumulated CPU time (s) 400.01 Current children cumulated vsize (Kb) 35552 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11460 0 0 0 40971 31 0 0 25 0 1 0 22054726 36540416 8463 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8921 8463 364 364 0 8557 0 [pid=9754] vsize: 35684 Current children cumulated CPU time (s) 410.02 Current children cumulated vsize (Kb) 35684 [startup+420.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11546 0 0 0 41970 31 0 0 25 0 1 0 22054726 36810752 8548 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 8987 8548 364 364 0 8623 0 [pid=9754] vsize: 35948 Current children cumulated CPU time (s) 420.01 Current children cumulated vsize (Kb) 35948 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11632 0 0 0 42970 31 0 0 25 0 1 0 22054726 37081088 8633 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 9053 8633 364 364 0 8689 0 [pid=9754] vsize: 36212 Current children cumulated CPU time (s) 430.01 Current children cumulated vsize (Kb) 36212 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11717 0 0 0 43970 32 0 0 25 0 1 0 22054726 37216256 8716 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 9086 8716 364 364 0 8722 0 [pid=9754] vsize: 36344 Current children cumulated CPU time (s) 440.02 Current children cumulated vsize (Kb) 36344 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11801 0 0 0 44970 32 0 0 25 0 1 0 22054726 37486592 8799 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 9152 8799 364 364 0 8788 0 [pid=9754] vsize: 36608 Current children cumulated CPU time (s) 450.02 Current children cumulated vsize (Kb) 36608 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11884 0 0 0 45970 32 0 0 25 0 1 0 22054726 37621760 8881 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 9185 8881 364 364 0 8821 0 [pid=9754] vsize: 36740 Current children cumulated CPU time (s) 460.02 Current children cumulated vsize (Kb) 36740 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 11968 0 0 0 46969 33 0 0 25 0 1 0 22054726 37892096 8963 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 9251 8963 364 364 0 8887 0 [pid=9754] vsize: 37004 Current children cumulated CPU time (s) 470.02 Current children cumulated vsize (Kb) 37004 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16494 0 0 0 47959 42 0 0 25 0 1 0 22054726 55779328 10541 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13618 10541 364 364 0 13254 0 [pid=9754] vsize: 54472 Current children cumulated CPU time (s) 480.01 Current children cumulated vsize (Kb) 54472 [startup+490.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16523 0 0 0 48960 42 0 0 25 0 1 0 22054726 55779328 10569 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13618 10569 364 364 0 13254 0 [pid=9754] vsize: 54472 Current children cumulated CPU time (s) 490.02 Current children cumulated vsize (Kb) 54472 [startup+500.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16553 0 0 0 49960 42 0 0 25 0 1 0 22054726 55779328 10597 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13618 10597 364 364 0 13254 0 [pid=9754] vsize: 54472 Current children cumulated CPU time (s) 500.02 Current children cumulated vsize (Kb) 54472 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16582 0 0 0 50960 42 0 0 25 0 1 0 22054726 55779328 10625 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13618 10625 364 364 0 13254 0 [pid=9754] vsize: 54472 Current children cumulated CPU time (s) 510.02 Current children cumulated vsize (Kb) 54472 [startup+520.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16611 0 0 0 51960 42 0 0 25 0 1 0 22054726 55779328 10653 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13618 10653 364 364 0 13254 0 [pid=9754] vsize: 54472 Current children cumulated CPU time (s) 520.02 Current children cumulated vsize (Kb) 54472 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16639 0 0 0 52959 42 0 0 25 0 1 0 22054726 55779328 10680 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13618 10680 364 364 0 13254 0 [pid=9754] vsize: 54472 Current children cumulated CPU time (s) 530.01 Current children cumulated vsize (Kb) 54472 [startup+540.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16679 0 0 0 53959 42 0 0 25 0 1 0 22054726 55779328 10718 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13618 10718 364 364 0 13254 0 [pid=9754] vsize: 54472 Current children cumulated CPU time (s) 540.01 Current children cumulated vsize (Kb) 54472 [startup+550.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16745 0 0 0 54959 43 0 0 25 0 1 0 22054726 55914496 10783 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13651 10783 364 364 0 13287 0 [pid=9754] vsize: 54604 Current children cumulated CPU time (s) 550.02 Current children cumulated vsize (Kb) 54604 [startup+560.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16812 0 0 0 55959 43 0 0 25 0 1 0 22054726 56184832 10849 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13717 10849 364 364 0 13353 0 [pid=9754] vsize: 54868 Current children cumulated CPU time (s) 560.02 Current children cumulated vsize (Kb) 54868 [startup+570.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16877 0 0 0 56958 43 0 0 25 0 1 0 22054726 56320000 10913 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13750 10913 364 364 0 13386 0 [pid=9754] vsize: 55000 Current children cumulated CPU time (s) 570.01 Current children cumulated vsize (Kb) 55000 [startup+580.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 16942 0 0 0 57958 43 0 0 25 0 1 0 22054726 56455168 10977 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13783 10977 364 364 0 13419 0 [pid=9754] vsize: 55132 Current children cumulated CPU time (s) 580.01 Current children cumulated vsize (Kb) 55132 [startup+590.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17006 0 0 0 58958 44 0 0 25 0 1 0 22054726 56590336 11039 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13816 11039 364 364 0 13452 0 [pid=9754] vsize: 55264 Current children cumulated CPU time (s) 590.02 Current children cumulated vsize (Kb) 55264 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17069 0 0 0 59958 44 0 0 25 0 1 0 22054726 56725504 11101 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13849 11101 364 364 0 13485 0 [pid=9754] vsize: 55396 Current children cumulated CPU time (s) 600.02 Current children cumulated vsize (Kb) 55396 [startup+610.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17134 0 0 0 60957 44 0 0 25 0 1 0 22054726 56860672 11165 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13882 11165 364 364 0 13518 0 [pid=9754] vsize: 55528 Current children cumulated CPU time (s) 610.01 Current children cumulated vsize (Kb) 55528 [startup+620.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17195 0 0 0 61957 45 0 0 25 0 1 0 22054726 56995840 11225 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13915 11225 364 364 0 13551 0 [pid=9754] vsize: 55660 Current children cumulated CPU time (s) 620.02 Current children cumulated vsize (Kb) 55660 [startup+630.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17257 0 0 0 62957 45 0 0 25 0 1 0 22054726 57131008 11286 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13948 11286 364 364 0 13584 0 [pid=9754] vsize: 55792 Current children cumulated CPU time (s) 630.02 Current children cumulated vsize (Kb) 55792 [startup+640.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17320 0 0 0 63957 45 0 0 25 0 1 0 22054726 57266176 11348 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 13981 11348 364 364 0 13617 0 [pid=9754] vsize: 55924 Current children cumulated CPU time (s) 640.02 Current children cumulated vsize (Kb) 55924 [startup+650.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17380 0 0 0 64957 45 0 0 25 0 1 0 22054726 57401344 11406 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14014 11406 364 364 0 13650 0 [pid=9754] vsize: 56056 Current children cumulated CPU time (s) 650.02 Current children cumulated vsize (Kb) 56056 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17442 0 0 0 65957 46 0 0 25 0 1 0 22054726 57536512 11467 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14047 11467 364 364 0 13683 0 [pid=9754] vsize: 56188 Current children cumulated CPU time (s) 660.03 Current children cumulated vsize (Kb) 56188 [startup+670.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17502 0 0 0 66957 46 0 0 25 0 1 0 22054726 57806848 11526 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14113 11526 364 364 0 13749 0 [pid=9754] vsize: 56452 Current children cumulated CPU time (s) 670.03 Current children cumulated vsize (Kb) 56452 [startup+680.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17562 0 0 0 67957 46 0 0 25 0 1 0 22054726 57942016 11585 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14146 11585 364 364 0 13782 0 [pid=9754] vsize: 56584 Current children cumulated CPU time (s) 680.03 Current children cumulated vsize (Kb) 56584 [startup+690.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17620 0 0 0 68957 46 0 0 25 0 1 0 22054726 58077184 11642 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14179 11642 364 364 0 13815 0 [pid=9754] vsize: 56716 Current children cumulated CPU time (s) 690.03 Current children cumulated vsize (Kb) 56716 [startup+700.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17679 0 0 0 69956 46 0 0 25 0 1 0 22054726 58212352 11700 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14212 11700 364 364 0 13848 0 [pid=9754] vsize: 56848 Current children cumulated CPU time (s) 700.02 Current children cumulated vsize (Kb) 56848 [startup+710.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17738 0 0 0 70956 46 0 0 25 0 1 0 22054726 58347520 11758 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14245 11758 364 364 0 13881 0 [pid=9754] vsize: 56980 Current children cumulated CPU time (s) 710.02 Current children cumulated vsize (Kb) 56980 [startup+720.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17796 0 0 0 71956 47 0 0 25 0 1 0 22054726 58482688 11815 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14278 11815 364 364 0 13914 0 [pid=9754] vsize: 57112 Current children cumulated CPU time (s) 720.03 Current children cumulated vsize (Kb) 57112 [startup+730.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17853 0 0 0 72956 47 0 0 25 0 1 0 22054726 58617856 11871 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14311 11871 364 364 0 13947 0 [pid=9754] vsize: 57244 Current children cumulated CPU time (s) 730.03 Current children cumulated vsize (Kb) 57244 [startup+740.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17911 0 0 0 73956 47 0 0 25 0 1 0 22054726 58753024 11928 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14344 11928 364 364 0 13980 0 [pid=9754] vsize: 57376 Current children cumulated CPU time (s) 740.03 Current children cumulated vsize (Kb) 57376 [startup+750.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 17973 0 0 0 74956 47 0 0 25 0 1 0 22054726 58888192 11988 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14377 11988 364 364 0 14013 0 [pid=9754] vsize: 57508 Current children cumulated CPU time (s) 750.03 Current children cumulated vsize (Kb) 57508 [startup+760.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18038 0 0 0 75955 48 0 0 25 0 1 0 22054726 59023360 12052 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14410 12052 364 364 0 14046 0 [pid=9754] vsize: 57640 Current children cumulated CPU time (s) 760.03 Current children cumulated vsize (Kb) 57640 [startup+770.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18103 0 0 0 76955 48 0 0 25 0 1 0 22054726 59158528 12116 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14443 12116 364 364 0 14079 0 [pid=9754] vsize: 57772 Current children cumulated CPU time (s) 770.03 Current children cumulated vsize (Kb) 57772 [startup+780.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18166 0 0 0 77955 48 0 0 25 0 1 0 22054726 59293696 12178 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14476 12178 364 364 0 14112 0 [pid=9754] vsize: 57904 Current children cumulated CPU time (s) 780.03 Current children cumulated vsize (Kb) 57904 [startup+790.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18230 0 0 0 78955 48 0 0 25 0 1 0 22054726 59564032 12241 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14542 12241 364 364 0 14178 0 [pid=9754] vsize: 58168 Current children cumulated CPU time (s) 790.03 Current children cumulated vsize (Kb) 58168 [startup+800.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18294 0 0 0 79955 49 0 0 25 0 1 0 22054726 59699200 12304 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14575 12304 364 364 0 14211 0 [pid=9754] vsize: 58300 Current children cumulated CPU time (s) 800.04 Current children cumulated vsize (Kb) 58300 [startup+810.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18357 0 0 0 80954 49 0 0 25 0 1 0 22054726 59834368 12366 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14608 12366 364 364 0 14244 0 [pid=9754] vsize: 58432 Current children cumulated CPU time (s) 810.03 Current children cumulated vsize (Kb) 58432 [startup+820.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 18420 0 0 0 81954 49 0 0 25 0 1 0 22054726 59969536 12428 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 14641 12428 364 364 0 14277 0 [pid=9754] vsize: 58564 Current children cumulated CPU time (s) 820.03 Current children cumulated vsize (Kb) 58564 [startup+830.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 19715 0 0 0 82951 52 0 0 25 0 1 0 22054726 65241088 13722 4294967295 134512640 135987407 3221224560 3221221728 134550035 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 15928 13722 364 364 0 15564 0 [pid=9754] vsize: 63712 Current children cumulated CPU time (s) 830.03 Current children cumulated vsize (Kb) 63712 [startup+840.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 39599 0 0 0 83905 96 0 0 25 0 1 0 22054726 127258624 25554 4294967295 134512640 135987407 3221224560 3221180140 135499994 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 31069 25554 364 364 0 30705 0 [pid=9754] vsize: 124276 Current children cumulated CPU time (s) 840.01 Current children cumulated vsize (Kb) 124276 [startup+850.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 78871 0 0 0 84822 177 0 0 25 0 1 0 22054726 247111680 45673 4294967295 134512640 135987407 3221224560 3221152252 135500012 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 60330 45673 364 364 0 59966 0 [pid=9754] vsize: 241320 Current children cumulated CPU time (s) 849.99 Current children cumulated vsize (Kb) 241320 [startup+860.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 110229 0 0 0 85754 243 0 0 25 0 1 0 22054726 339361792 64512 4294967295 134512640 135987407 3221224560 3221168144 134877939 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 82852 64512 364 364 0 82488 0 [pid=9754] vsize: 331408 Current children cumulated CPU time (s) 859.97 Current children cumulated vsize (Kb) 331408 [startup+870.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 132441 0 0 0 86707 287 0 0 25 0 1 0 22054726 409411584 86487 4294967295 134512640 135987407 3221224560 3221198832 134636921 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 99954 86487 364 364 0 99590 0 [pid=9754] vsize: 399816 Current children cumulated CPU time (s) 869.94 Current children cumulated vsize (Kb) 399816 [startup+880.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9754 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 174444 0 0 0 87626 364 0 0 25 0 1 0 22054726 541138944 108875 4294967295 134512640 135987407 3221224560 3221221092 135479922 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 132114 108875 364 364 0 131750 0 [pid=9754] vsize: 528456 Current children cumulated CPU time (s) 879.9 Current children cumulated vsize (Kb) 528456 [startup+890.026 s] Raw data (loadavg): 1.07 0.99 0.91 3/58 9764 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 210249 0 0 0 88549 441 0 0 25 0 1 0 22054726 641937408 119904 4294967295 134512640 135987407 3221224560 3221151664 134856587 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9754/statm): 156723 119905 364 364 0 156359 0 [pid=9754] vsize: 626892 Current children cumulated CPU time (s) 889.9 Current children cumulated vsize (Kb) 626892 [startup+900.025 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 9809 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 222209 0 0 0 89521 469 0 0 25 0 1 0 22054726 676573184 131656 4294967295 134512640 135987407 3221224560 3221185984 134878121 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9754/statm): 165179 131656 364 364 0 164815 0 [pid=9754] vsize: 660716 Current children cumulated CPU time (s) 899.9 Current children cumulated vsize (Kb) 660716 [startup+910.025 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 9809 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 238530 0 0 0 90488 502 0 0 25 0 1 0 22054726 685899776 147727 4294967295 134512640 135987407 3221224560 3221203408 134856505 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9754/statm): 167456 147728 364 364 0 167092 0 [pid=9754] vsize: 669824 Current children cumulated CPU time (s) 909.9 Current children cumulated vsize (Kb) 669824 [startup+920.026 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 9809 Raw data (/proc/9754/stat): 9754 (pb2sat) R 9753 9754 4004 0 -1 0 254129 0 0 0 91450 539 0 0 25 0 1 0 22054726 750153728 163108 4294967295 134512640 135987407 3221224560 3221143520 134877628 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9754/statm): 183143 163108 364 364 0 182779 0 [pid=9754] vsize: 732572 Current children cumulated CPU time (s) 919.89 Current children cumulated vsize (Kb) 732572 One traced child (pid=9754) exited with status: 1 All traced children have exited ! Game is over. Child status: 1 Real time (s): 926.943 CPU time (s): 926.814 CPU user time (s): 921.067 CPU system time (s): 5.74713 CPU usage (%): 99.9861 Max. virtual memory (cumulated for all children) (Kb): 732572
ERROR: no interpretation found !