| Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rentacar.opb |
| MD5SUM | 1da46f3b0e5a2fdd24f0565227d67bf2 |
| 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 | 5310 |
| Biggest coefficient in the objective function | 26843545600000 |
| Number of bits for the biggest coefficient in the objective function | 45 |
| Sum of the numbers in the objective function | 6957856676716407 |
| Number of bits of the sum of numbers in the objective function | 53 |
| Biggest number in a constraint | 26843545600000 |
| Number of bits of the biggest number in a constraint | 45 |
| Biggest sum of numbers in a constraint | 14026955228261965 |
| Number of bits of the biggest sum of numbers | 54 |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 14.2758 |
| Number of variables | 264240 |
| Total number of constraints | 6965 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 55 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6910 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 60540 |
LAUNCH ON wulflinc17 THE 2005-09-18 11:22:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=538 boxname=wulflinc17 idbench=538 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 1da46f3b0e5a2fdd24f0565227d67bf2 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-rentacar.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-rentacar.opb IDLAUNCH: 538 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 922008 kB Buffers: 33640 kB Cached: 49256 kB SwapCached: 608 kB Active: 73844 kB Inactive: 11568 kB HighTotal: 131008 kB HighFree: 80248 kB LowTotal: 903652 kB LowFree: 841760 kB SwapTotal: 2097892 kB SwapFree: 2096684 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5768 kB Slab: 21548 kB Committed_AS: 64184 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 11:38:11 (client local time) WITH STATUS 20 IN 911 SECONDS stats: 538 7 911 20
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 264240 variables and 11900 constraints. s UNSATISFIABLE c Exit Code: 20 c Total time: 910.646 s
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/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1840888135 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 107 3 90 68 0 39 0 [pid=22343] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-rentacar.opb [startup+10.0035 s] Raw data (loadavg): 0.98 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 26533 0 0 0 906 76 0 0 25 0 1 0 1840888135 111472640 26291 4294967295 134512640 134736556 3221224560 3221222824 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 27215 26291 1116 68 0 27147 0 [pid=22343] vsize: 108860 Current children cumulated CPU time (s) 9.82 Current children cumulated vsize (Kb) 108860 [startup+20.0041 s] Raw data (loadavg): 0.98 1.00 0.99 1/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) T 22342 22343 19316 0 -1 0 50843 0 0 0 1842 131 0 0 25 0 1 0 1840888135 209154048 50069 4294967295 134512640 134736556 3221224560 3221222780 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/22343/statm): 51063 50069 1116 68 0 50995 0 [pid=22343] vsize: 204252 Current children cumulated CPU time (s) 19.73 Current children cumulated vsize (Kb) 204252 [startup+30.0037 s] Raw data (loadavg): 0.98 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 74555 0 0 0 2778 184 0 0 25 0 1 0 1840888135 303337472 72722 4294967295 134512640 134736556 3221224560 3221222444 1077246266 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 74057 72723 1116 68 0 73989 0 [pid=22343] vsize: 296228 Current children cumulated CPU time (s) 29.62 Current children cumulated vsize (Kb) 296228 [startup+40.0044 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 79044 0 0 0 3762 196 0 0 25 0 1 0 1840888135 321937408 77211 4294967295 134512640 134736556 3221224560 3221223076 134572757 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 78598 77211 1116 68 0 78530 0 [pid=22343] vsize: 314392 Current children cumulated CPU time (s) 39.58 Current children cumulated vsize (Kb) 314392 [startup+50.0049 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 99493 0 0 0 4708 243 0 0 25 0 1 0 1840888135 405086208 97660 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 98898 97660 1116 68 0 98830 0 [pid=22343] vsize: 395592 Current children cumulated CPU time (s) 49.51 Current children cumulated vsize (Kb) 395592 [startup+60.0056 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 113510 0 0 0 5670 275 0 0 25 0 1 0 1840888135 457621504 110569 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 111724 110569 1116 68 0 111656 0 [pid=22343] vsize: 446896 Current children cumulated CPU time (s) 59.45 Current children cumulated vsize (Kb) 446896 [startup+70.0052 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 123729 0 0 0 6640 300 0 0 25 0 1 0 1840888135 499249152 120788 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 121887 120788 1116 68 0 121819 0 [pid=22343] vsize: 487548 Current children cumulated CPU time (s) 69.4 Current children cumulated vsize (Kb) 487548 [startup+80.0048 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 127290 0 0 0 7628 309 0 0 25 0 1 0 1840888135 513810432 124349 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 125442 124349 1116 68 0 125374 0 [pid=22343] vsize: 501768 Current children cumulated CPU time (s) 79.37 Current children cumulated vsize (Kb) 501768 [startup+90.0054 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 137415 0 0 0 8600 332 0 0 25 0 1 0 1840888135 555098112 134474 4294967295 134512640 134736556 3221224560 3221223288 1077345421 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 135522 134474 1116 68 0 135454 0 [pid=22343] vsize: 542088 Current children cumulated CPU time (s) 89.32 Current children cumulated vsize (Kb) 542088 [startup+100.005 s] Raw data (loadavg): 0.99 1.00 0.99 1/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) T 22342 22343 19316 0 -1 0 148844 0 0 0 9566 359 0 0 25 0 1 0 1840888135 601526272 145903 4294967295 134512640 134736556 3221224560 3221222780 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/22343/statm): 146857 145903 1116 68 0 146789 0 [pid=22343] vsize: 587428 Current children cumulated CPU time (s) 99.25 Current children cumulated vsize (Kb) 587428 [startup+110.006 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155355 0 0 0 10545 376 0 0 25 0 1 0 1840888135 628076544 152406 4294967295 134512640 134736556 3221224560 3221223136 134539916 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 153339 152406 1116 68 0 153271 0 [pid=22343] vsize: 613356 Current children cumulated CPU time (s) 109.21 Current children cumulated vsize (Kb) 613356 [startup+120.006 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155500 0 0 0 11544 377 0 0 25 0 1 0 1840888135 628772864 152539 4294967295 134512640 134736556 3221224560 3221223136 134539940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 153509 152539 1116 68 0 153441 0 [pid=22343] vsize: 614036 Current children cumulated CPU time (s) 119.21 Current children cumulated vsize (Kb) 614036 [startup+130.006 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155564 0 0 0 12544 377 0 0 25 0 1 0 1840888135 629043200 152603 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 153575 152603 1116 68 0 153507 0 [pid=22343] vsize: 614300 Current children cumulated CPU time (s) 129.21 Current children cumulated vsize (Kb) 614300 [startup+140.006 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155761 0 0 0 13543 378 0 0 25 0 1 0 1840888135 630177792 152772 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 153852 152772 1116 68 0 153784 0 [pid=22343] vsize: 615408 Current children cumulated CPU time (s) 139.21 Current children cumulated vsize (Kb) 615408 [startup+150.007 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155769 0 0 0 14543 378 0 0 25 0 1 0 1840888135 630177792 152780 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 153852 152780 1116 68 0 153784 0 [pid=22343] vsize: 615408 Current children cumulated CPU time (s) 149.21 Current children cumulated vsize (Kb) 615408 [startup+160.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155801 0 0 0 15542 378 0 0 25 0 1 0 1840888135 630177792 152812 4294967295 134512640 134736556 3221224560 3221223136 134539948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 153852 152812 1116 68 0 153784 0 [pid=22343] vsize: 615408 Current children cumulated CPU time (s) 159.2 Current children cumulated vsize (Kb) 615408 [startup+170.007 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155822 0 0 0 16542 379 0 0 25 0 1 0 1840888135 630312960 152833 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 153885 152833 1116 68 0 153817 0 [pid=22343] vsize: 615540 Current children cumulated CPU time (s) 169.21 Current children cumulated vsize (Kb) 615540 [startup+180.007 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155842 0 0 0 17542 379 0 0 25 0 1 0 1840888135 630312960 152853 4294967295 134512640 134736556 3221224560 3221223136 134539904 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 153885 152853 1116 68 0 153817 0 [pid=22343] vsize: 615540 Current children cumulated CPU time (s) 179.21 Current children cumulated vsize (Kb) 615540 [startup+190.007 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155881 0 0 0 18542 379 0 0 25 0 1 0 1840888135 630448128 152892 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 153918 152892 1116 68 0 153850 0 [pid=22343] vsize: 615672 Current children cumulated CPU time (s) 189.21 Current children cumulated vsize (Kb) 615672 [startup+200.007 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155908 0 0 0 19541 379 0 0 25 0 1 0 1840888135 630583296 152919 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 153951 152919 1116 68 0 153883 0 [pid=22343] vsize: 615804 Current children cumulated CPU time (s) 199.2 Current children cumulated vsize (Kb) 615804 [startup+210.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155930 0 0 0 20540 381 0 0 25 0 1 0 1840888135 630718464 152941 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 153984 152941 1116 68 0 153916 0 [pid=22343] vsize: 615936 Current children cumulated CPU time (s) 209.21 Current children cumulated vsize (Kb) 615936 [startup+220.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155961 0 0 0 21540 382 0 0 25 0 1 0 1840888135 630718464 152972 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 153984 152972 1116 68 0 153916 0 [pid=22343] vsize: 615936 Current children cumulated CPU time (s) 219.22 Current children cumulated vsize (Kb) 615936 [startup+230.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 155987 0 0 0 22539 382 0 0 25 0 1 0 1840888135 630853632 152998 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 154017 152998 1116 68 0 153949 0 [pid=22343] vsize: 616068 Current children cumulated CPU time (s) 229.21 Current children cumulated vsize (Kb) 616068 [startup+240.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 156012 0 0 0 23538 383 0 0 25 0 1 0 1840888135 630988800 153023 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 154050 153023 1116 68 0 153982 0 [pid=22343] vsize: 616200 Current children cumulated CPU time (s) 239.21 Current children cumulated vsize (Kb) 616200 [startup+250.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 156039 0 0 0 24538 383 0 0 25 0 1 0 1840888135 630988800 153050 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 154050 153050 1116 68 0 153982 0 [pid=22343] vsize: 616200 Current children cumulated CPU time (s) 249.21 Current children cumulated vsize (Kb) 616200 [startup+260.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 156114 0 0 0 25536 385 0 0 25 0 1 0 1840888135 631447552 153125 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 154162 153125 1116 68 0 154094 0 [pid=22343] vsize: 616648 Current children cumulated CPU time (s) 259.21 Current children cumulated vsize (Kb) 616648 [startup+270.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 156216 0 0 0 26534 386 0 0 25 0 1 0 1840888135 631877632 153209 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 154267 153209 1116 68 0 154199 0 [pid=22343] vsize: 617068 Current children cumulated CPU time (s) 269.2 Current children cumulated vsize (Kb) 617068 [startup+280.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 156226 0 0 0 27534 387 0 0 25 0 1 0 1840888135 631877632 153219 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 154267 153219 1116 68 0 154199 0 [pid=22343] vsize: 617068 Current children cumulated CPU time (s) 279.21 Current children cumulated vsize (Kb) 617068 [startup+290.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 156644 0 0 0 28529 390 0 0 25 0 1 0 1840888135 633720832 153629 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 154717 153629 1116 68 0 154649 0 [pid=22343] vsize: 618868 Current children cumulated CPU time (s) 289.19 Current children cumulated vsize (Kb) 618868 [startup+300.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 156877 0 0 0 29528 391 0 0 25 0 1 0 1840888135 634609664 153850 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 154934 153850 1116 68 0 154866 0 [pid=22343] vsize: 619736 Current children cumulated CPU time (s) 299.19 Current children cumulated vsize (Kb) 619736 [startup+310.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 156987 0 0 0 30528 392 0 0 25 0 1 0 1840888135 635150336 153960 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155066 153960 1116 68 0 154998 0 [pid=22343] vsize: 620264 Current children cumulated CPU time (s) 309.2 Current children cumulated vsize (Kb) 620264 [startup+320.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157064 0 0 0 31527 393 0 0 25 0 1 0 1840888135 635420672 154037 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155132 154037 1116 68 0 155064 0 [pid=22343] vsize: 620528 Current children cumulated CPU time (s) 319.2 Current children cumulated vsize (Kb) 620528 [startup+330.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157240 0 0 0 32526 393 0 0 25 0 1 0 1840888135 636420096 154185 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155376 154185 1116 68 0 155308 0 [pid=22343] vsize: 621504 Current children cumulated CPU time (s) 329.19 Current children cumulated vsize (Kb) 621504 [startup+340.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157246 0 0 0 33526 394 0 0 25 0 1 0 1840888135 636420096 154191 4294967295 134512640 134736556 3221224560 3221223136 134539904 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155376 154191 1116 68 0 155308 0 [pid=22343] vsize: 621504 Current children cumulated CPU time (s) 339.2 Current children cumulated vsize (Kb) 621504 [startup+350.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157268 0 0 0 34526 394 0 0 25 0 1 0 1840888135 636420096 154213 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155376 154213 1116 68 0 155308 0 [pid=22343] vsize: 621504 Current children cumulated CPU time (s) 349.2 Current children cumulated vsize (Kb) 621504 [startup+360.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157292 0 0 0 35525 394 0 0 25 0 1 0 1840888135 636555264 154237 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155409 154237 1116 68 0 155341 0 [pid=22343] vsize: 621636 Current children cumulated CPU time (s) 359.19 Current children cumulated vsize (Kb) 621636 [startup+370.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157315 0 0 0 36525 395 0 0 25 0 1 0 1840888135 636555264 154260 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155409 154260 1116 68 0 155341 0 [pid=22343] vsize: 621636 Current children cumulated CPU time (s) 369.2 Current children cumulated vsize (Kb) 621636 [startup+380.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157339 0 0 0 37525 395 0 0 25 0 1 0 1840888135 636690432 154284 4294967295 134512640 134736556 3221224560 3221222444 1077253348 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155442 154284 1116 68 0 155374 0 [pid=22343] vsize: 621768 Current children cumulated CPU time (s) 379.2 Current children cumulated vsize (Kb) 621768 [startup+390.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157365 0 0 0 38525 395 0 0 25 0 1 0 1840888135 636690432 154310 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155442 154310 1116 68 0 155374 0 [pid=22343] vsize: 621768 Current children cumulated CPU time (s) 389.2 Current children cumulated vsize (Kb) 621768 [startup+400.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157387 0 0 0 39525 395 0 0 25 0 1 0 1840888135 636825600 154332 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155475 154332 1116 68 0 155407 0 [pid=22343] vsize: 621900 Current children cumulated CPU time (s) 399.2 Current children cumulated vsize (Kb) 621900 [startup+410.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157408 0 0 0 40525 396 0 0 25 0 1 0 1840888135 636825600 154353 4294967295 134512640 134736556 3221224560 3221223136 134539940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155475 154353 1116 68 0 155407 0 [pid=22343] vsize: 621900 Current children cumulated CPU time (s) 409.21 Current children cumulated vsize (Kb) 621900 [startup+420.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157429 0 0 0 41524 396 0 0 25 0 1 0 1840888135 636960768 154374 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155508 154374 1116 68 0 155440 0 [pid=22343] vsize: 622032 Current children cumulated CPU time (s) 419.2 Current children cumulated vsize (Kb) 622032 [startup+430.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157449 0 0 0 42524 396 0 0 25 0 1 0 1840888135 636960768 154394 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155508 154394 1116 68 0 155440 0 [pid=22343] vsize: 622032 Current children cumulated CPU time (s) 429.2 Current children cumulated vsize (Kb) 622032 [startup+440.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157486 0 0 0 43523 397 0 0 25 0 1 0 1840888135 637095936 154431 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155541 154431 1116 68 0 155473 0 [pid=22343] vsize: 622164 Current children cumulated CPU time (s) 439.2 Current children cumulated vsize (Kb) 622164 [startup+450.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157779 0 0 0 44523 398 0 0 25 0 1 0 1840888135 638468096 154702 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155876 154702 1116 68 0 155808 0 [pid=22343] vsize: 623504 Current children cumulated CPU time (s) 449.21 Current children cumulated vsize (Kb) 623504 [startup+460.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157834 0 0 0 45522 398 0 0 25 0 1 0 1840888135 638738432 154757 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155942 154757 1116 68 0 155874 0 [pid=22343] vsize: 623768 Current children cumulated CPU time (s) 459.2 Current children cumulated vsize (Kb) 623768 [startup+470.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 157888 0 0 0 46522 399 0 0 25 0 1 0 1840888135 638873600 154811 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 155975 154811 1116 68 0 155907 0 [pid=22343] vsize: 623900 Current children cumulated CPU time (s) 469.21 Current children cumulated vsize (Kb) 623900 [startup+480.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 158111 0 0 0 47521 399 0 0 25 0 1 0 1840888135 640008192 155006 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 156252 155006 1116 68 0 156184 0 [pid=22343] vsize: 625008 Current children cumulated CPU time (s) 479.2 Current children cumulated vsize (Kb) 625008 [startup+490.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 158177 0 0 0 48520 401 0 0 25 0 1 0 1840888135 640278528 155072 4294967295 134512640 134736556 3221224560 3221223136 134539940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 156318 155072 1116 68 0 156250 0 [pid=22343] vsize: 625272 Current children cumulated CPU time (s) 489.21 Current children cumulated vsize (Kb) 625272 [startup+500.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 158245 0 0 0 49520 401 0 0 25 0 1 0 1840888135 640548864 155140 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 156384 155140 1116 68 0 156316 0 [pid=22343] vsize: 625536 Current children cumulated CPU time (s) 499.21 Current children cumulated vsize (Kb) 625536 [startup+510.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 158275 0 0 0 50520 401 0 0 25 0 1 0 1840888135 640684032 155170 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 156417 155170 1116 68 0 156349 0 [pid=22343] vsize: 625668 Current children cumulated CPU time (s) 509.21 Current children cumulated vsize (Kb) 625668 [startup+520.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 158319 0 0 0 51519 402 0 0 25 0 1 0 1840888135 640819200 155214 4294967295 134512640 134736556 3221224560 3221223136 134539940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 156450 155214 1116 68 0 156382 0 [pid=22343] vsize: 625800 Current children cumulated CPU time (s) 519.21 Current children cumulated vsize (Kb) 625800 [startup+530.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 158377 0 0 0 52519 402 0 0 25 0 1 0 1840888135 641089536 155272 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 156516 155272 1116 68 0 156448 0 [pid=22343] vsize: 626064 Current children cumulated CPU time (s) 529.21 Current children cumulated vsize (Kb) 626064 [startup+540.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 158444 0 0 0 53519 403 0 0 25 0 1 0 1840888135 641224704 155339 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 156549 155339 1116 68 0 156481 0 [pid=22343] vsize: 626196 Current children cumulated CPU time (s) 539.22 Current children cumulated vsize (Kb) 626196 [startup+550.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 158483 0 0 0 54518 403 0 0 25 0 1 0 1840888135 641359872 155378 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 156582 155378 1116 68 0 156514 0 [pid=22343] vsize: 626328 Current children cumulated CPU time (s) 549.21 Current children cumulated vsize (Kb) 626328 [startup+560.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 158523 0 0 0 55518 404 0 0 25 0 1 0 1840888135 641630208 155418 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 156648 155418 1116 68 0 156580 0 [pid=22343] vsize: 626592 Current children cumulated CPU time (s) 559.22 Current children cumulated vsize (Kb) 626592 [startup+570.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 158574 0 0 0 56518 404 0 0 25 0 1 0 1840888135 641765376 155469 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 156681 155469 1116 68 0 156613 0 [pid=22343] vsize: 626724 Current children cumulated CPU time (s) 569.22 Current children cumulated vsize (Kb) 626724 [startup+580.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 158620 0 0 0 57517 405 0 0 25 0 1 0 1840888135 641900544 155515 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 156714 155515 1116 68 0 156646 0 [pid=22343] vsize: 626856 Current children cumulated CPU time (s) 579.22 Current children cumulated vsize (Kb) 626856 [startup+590.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 158631 0 0 0 58517 405 0 0 25 0 1 0 1840888135 641900544 155526 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 156714 155526 1116 68 0 156646 0 [pid=22343] vsize: 626856 Current children cumulated CPU time (s) 589.22 Current children cumulated vsize (Kb) 626856 [startup+600.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159021 0 0 0 59512 408 0 0 25 0 1 0 1840888135 643682304 155896 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 157149 155896 1116 68 0 157081 0 [pid=22343] vsize: 628596 Current children cumulated CPU time (s) 599.2 Current children cumulated vsize (Kb) 628596 [startup+610.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159075 0 0 0 60512 409 0 0 25 0 1 0 1840888135 643817472 155950 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 157182 155950 1116 68 0 157114 0 [pid=22343] vsize: 628728 Current children cumulated CPU time (s) 609.21 Current children cumulated vsize (Kb) 628728 [startup+620.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159126 0 0 0 61511 409 0 0 25 0 1 0 1840888135 644087808 156001 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 157248 156001 1116 68 0 157180 0 [pid=22343] vsize: 628992 Current children cumulated CPU time (s) 619.2 Current children cumulated vsize (Kb) 628992 [startup+630.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159318 0 0 0 62510 411 0 0 25 0 1 0 1840888135 645087232 156165 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 157492 156165 1116 68 0 157424 0 [pid=22343] vsize: 629968 Current children cumulated CPU time (s) 629.21 Current children cumulated vsize (Kb) 629968 [startup+640.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159324 0 0 0 63510 411 0 0 25 0 1 0 1840888135 645087232 156171 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 157492 156171 1116 68 0 157424 0 [pid=22343] vsize: 629968 Current children cumulated CPU time (s) 639.21 Current children cumulated vsize (Kb) 629968 [startup+650.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159341 0 0 0 64510 411 0 0 25 0 1 0 1840888135 645222400 156188 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 157525 156188 1116 68 0 157457 0 [pid=22343] vsize: 630100 Current children cumulated CPU time (s) 649.21 Current children cumulated vsize (Kb) 630100 [startup+660.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159371 0 0 0 65509 411 0 0 25 0 1 0 1840888135 645222400 156218 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 157525 156218 1116 68 0 157457 0 [pid=22343] vsize: 630100 Current children cumulated CPU time (s) 659.2 Current children cumulated vsize (Kb) 630100 [startup+670.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159397 0 0 0 66509 412 0 0 25 0 1 0 1840888135 645357568 156244 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 157558 156244 1116 68 0 157490 0 [pid=22343] vsize: 630232 Current children cumulated CPU time (s) 669.21 Current children cumulated vsize (Kb) 630232 [startup+680.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159423 0 0 0 67508 412 0 0 25 0 1 0 1840888135 645492736 156270 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/22343/statm): 157591 156270 1116 68 0 157523 0 [pid=22343] vsize: 630364 Current children cumulated CPU time (s) 679.2 Current children cumulated vsize (Kb) 630364 [startup+690.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159446 0 0 0 68508 413 0 0 25 0 1 0 1840888135 645492736 156293 4294967295 134512640 134736556 3221224560 3221223136 134539916 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 157591 156293 1116 68 0 157523 0 [pid=22343] vsize: 630364 Current children cumulated CPU time (s) 689.21 Current children cumulated vsize (Kb) 630364 [startup+700.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159467 0 0 0 69508 413 0 0 25 0 1 0 1840888135 645627904 156314 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 157624 156314 1116 68 0 157556 0 [pid=22343] vsize: 630496 Current children cumulated CPU time (s) 699.21 Current children cumulated vsize (Kb) 630496 [startup+710.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159491 0 0 0 70508 413 0 0 25 0 1 0 1840888135 645627904 156338 4294967295 134512640 134736556 3221224560 3221223136 134539904 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 157624 156338 1116 68 0 157556 0 [pid=22343] vsize: 630496 Current children cumulated CPU time (s) 709.21 Current children cumulated vsize (Kb) 630496 [startup+720.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159512 0 0 0 71508 413 0 0 25 0 1 0 1840888135 645763072 156359 4294967295 134512640 134736556 3221224560 3221223144 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 157657 156359 1116 68 0 157589 0 [pid=22343] vsize: 630628 Current children cumulated CPU time (s) 719.21 Current children cumulated vsize (Kb) 630628 [startup+730.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159532 0 0 0 72508 413 0 0 25 0 1 0 1840888135 645763072 156379 4294967295 134512640 134736556 3221224560 3221223136 134539910 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 157657 156379 1116 68 0 157589 0 [pid=22343] vsize: 630628 Current children cumulated CPU time (s) 729.21 Current children cumulated vsize (Kb) 630628 [startup+740.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159551 0 0 0 73508 413 0 0 25 0 1 0 1840888135 645898240 156398 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 157690 156398 1116 68 0 157622 0 [pid=22343] vsize: 630760 Current children cumulated CPU time (s) 739.21 Current children cumulated vsize (Kb) 630760 [startup+750.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159840 0 0 0 74504 416 0 0 25 0 1 0 1840888135 647147520 156668 4294967295 134512640 134736556 3221224560 3221223136 134539910 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 157995 156668 1116 68 0 157927 0 [pid=22343] vsize: 631980 Current children cumulated CPU time (s) 749.2 Current children cumulated vsize (Kb) 631980 [startup+760.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159889 0 0 0 75504 416 0 0 25 0 1 0 1840888135 647282688 156717 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158028 156717 1116 68 0 157960 0 [pid=22343] vsize: 632112 Current children cumulated CPU time (s) 759.2 Current children cumulated vsize (Kb) 632112 [startup+770.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 159937 0 0 0 76504 416 0 0 25 0 1 0 1840888135 647553024 156765 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158094 156765 1116 68 0 158026 0 [pid=22343] vsize: 632376 Current children cumulated CPU time (s) 769.2 Current children cumulated vsize (Kb) 632376 [startup+780.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160123 0 0 0 77504 416 0 0 25 0 1 0 1840888135 648552448 156923 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158338 156923 1116 68 0 158270 0 [pid=22343] vsize: 633352 Current children cumulated CPU time (s) 779.2 Current children cumulated vsize (Kb) 633352 [startup+790.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160131 0 0 0 78504 417 0 0 25 0 1 0 1840888135 648552448 156931 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158338 156931 1116 68 0 158270 0 [pid=22343] vsize: 633352 Current children cumulated CPU time (s) 789.21 Current children cumulated vsize (Kb) 633352 [startup+800.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160155 0 0 0 79504 417 0 0 25 0 1 0 1840888135 648687616 156955 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158371 156955 1116 68 0 158303 0 [pid=22343] vsize: 633484 Current children cumulated CPU time (s) 799.21 Current children cumulated vsize (Kb) 633484 [startup+810.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160188 0 0 0 80505 417 0 0 25 0 1 0 1840888135 648687616 156988 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158371 156988 1116 68 0 158303 0 [pid=22343] vsize: 633484 Current children cumulated CPU time (s) 809.22 Current children cumulated vsize (Kb) 633484 [startup+820.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160210 0 0 0 81505 417 0 0 25 0 1 0 1840888135 648822784 157010 4294967295 134512640 134736556 3221224560 3221223136 134539919 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158404 157010 1116 68 0 158336 0 [pid=22343] vsize: 633616 Current children cumulated CPU time (s) 819.22 Current children cumulated vsize (Kb) 633616 [startup+830.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160238 0 0 0 82504 417 0 0 25 0 1 0 1840888135 648957952 157038 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158437 157038 1116 68 0 158369 0 [pid=22343] vsize: 633748 Current children cumulated CPU time (s) 829.21 Current children cumulated vsize (Kb) 633748 [startup+840.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160265 0 0 0 83505 417 0 0 25 0 1 0 1840888135 648957952 157065 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158437 157065 1116 68 0 158369 0 [pid=22343] vsize: 633748 Current children cumulated CPU time (s) 839.22 Current children cumulated vsize (Kb) 633748 [startup+850.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160284 0 0 0 84505 417 0 0 25 0 1 0 1840888135 649093120 157084 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158470 157084 1116 68 0 158402 0 [pid=22343] vsize: 633880 Current children cumulated CPU time (s) 849.22 Current children cumulated vsize (Kb) 633880 [startup+860.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160312 0 0 0 85505 417 0 0 25 0 1 0 1840888135 649093120 157112 4294967295 134512640 134736556 3221224560 3221223136 134539935 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158470 157112 1116 68 0 158402 0 [pid=22343] vsize: 633880 Current children cumulated CPU time (s) 859.22 Current children cumulated vsize (Kb) 633880 [startup+870.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160335 0 0 0 86505 417 0 0 25 0 1 0 1840888135 649228288 157135 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158503 157135 1116 68 0 158435 0 [pid=22343] vsize: 634012 Current children cumulated CPU time (s) 869.22 Current children cumulated vsize (Kb) 634012 [startup+880.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160357 0 0 0 87505 417 0 0 25 0 1 0 1840888135 649228288 157157 4294967295 134512640 134736556 3221224560 3221223136 134539940 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158503 157157 1116 68 0 158435 0 [pid=22343] vsize: 634012 Current children cumulated CPU time (s) 879.22 Current children cumulated vsize (Kb) 634012 [startup+890.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160374 0 0 0 88505 417 0 0 25 0 1 0 1840888135 649363456 157174 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158536 157174 1116 68 0 158468 0 [pid=22343] vsize: 634144 Current children cumulated CPU time (s) 889.22 Current children cumulated vsize (Kb) 634144 [startup+900.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 160559 0 0 0 89502 420 0 0 25 0 1 0 1840888135 650215424 157356 4294967295 134512640 134736556 3221224560 3221223136 134539924 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 158744 157356 1116 68 0 158676 0 [pid=22343] vsize: 634976 Current children cumulated CPU time (s) 899.22 Current children cumulated vsize (Kb) 634976 [startup+910.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/56 22343 Raw data (/proc/22343/stat): 22343 (bsolo) R 22342 22343 19316 0 -1 0 168278 0 0 0 90477 441 0 0 25 0 1 0 1840888135 681918464 164061 4294967295 134512640 134736556 3221224560 3221222444 1077245963 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/22343/statm): 166484 164061 1116 68 0 166416 0 [pid=22343] vsize: 665936 Current children cumulated CPU time (s) 909.18 Current children cumulated vsize (Kb) 665936 One traced child (pid=22343) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 911.867 CPU time (s): 911 CPU user time (s): 905.683 CPU system time (s): 5.31719 CPU usage (%): 99.905 Max. virtual memory (cumulated for all children) (Kb): 665936
ERROR: no interpretation found !