Name | web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb |
MD5SUM | 5b41c3eb79e4b3bf301d25b20a1c7b76 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 62704 |
Total number of constraints | 187107 |
Number of constraints which are clauses | 186603 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 504 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
LAUNCH ON wulflinc28 THE 2005-09-23 15:18:25 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8513 boxname=wulflinc28 idbench=309 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 5b41c3eb79e4b3bf301d25b20a1c7b76 /oldhome/oroussel/tmp/wulflinc28/normalized-cache.inv14.ucl.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-cache.inv14.ucl.opb IDLAUNCH: 8513 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.188 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.188 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: 932368 kB Buffers: 11424 kB Cached: 73576 kB SwapCached: 0 kB Active: 49172 kB Inactive: 38700 kB HighTotal: 131008 kB HighFree: 53228 kB LowTotal: 903652 kB LowFree: 879140 kB SwapTotal: 2097640 kB SwapFree: 2097640 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 8800 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 15:38:45 (client local time) WITH STATUS 0 IN 1207.25 SECONDS stats: 8513 7 1207.25 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 1340/70264 Time: 16.6345/86400 c Decision: 2347/70264 Time: 36.2465/86400 c Decision: 3179/70264 Time: 50.4793/86400 c Decision: 5202/70264 Time: 195.628/86400 c Decision: 5202/70264 Time: 218.052/86400 c Decision: 6690/70264 Time: 261.253/86400 c Decision: 6797/70264 Time: 361.964/86400 c Decision: 8047/70264 Time: 430.245/86400 c Decision: 8231/70264 Time: 485.364/86400 c Decision: 8231/70264 Time: 494.535/86400 c Decision: 8466/70264 Time: 514.164/86400 c Decision: 8758/70264 Time: 572.273/86400 c Decision: 8758/70264 Time: 591.85/86400 c Decision: 8904/70264 Time: 695.016/86400 c Decision: 8904/70264 Time: 730.677/86400 c Decision: 8904/70264 Time: 770.443/86400 c Decision: 8911/70264 Time: 805.742/86400 c Decision: 8927/70264 Time: 852.415/86400 c Decision: 8927/70264 Time: 880.914/86400 c Decision: 9139/70264 Time: 983.026/86400 c Decision: 9141/70264 Time: 999.149/86400 c Decision: 9170/70264 Time: 1043.6/86400 c Decision: 9170/70264 Time: 1077.08/86400 c Decision: 9170/70264 Time: 1100.64/86400 c Decision: 9170/70264 Time: 1122.56/86400 c Decision: 9170/70264 Time: 1135.76/86400 c Decision: 9170/70264 Time: 1167/86400s UNKNOWN
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/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 18 0 0 0 0 0 0 0 21 0 1 0 21172014 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 373 2 364 364 0 9 0 [pid=8130] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-cache.inv14.ucl.opb [startup+10.0015 s] Raw data (loadavg): 0.87 0.94 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 5433 0 0 0 982 15 0 0 25 0 1 0 21172014 19243008 3501 4294967295 134512640 135987407 3221224560 3221221756 134536004 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 4698 3501 364 364 0 4334 0 [pid=8130] vsize: 18792 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 18792 [startup+20.0022 s] Raw data (loadavg): 0.89 0.94 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 11251 0 0 0 1963 32 0 0 25 0 1 0 21172014 37388288 7158 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 9128 7158 364 364 0 8764 0 [pid=8130] vsize: 36512 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 36512 [startup+30.0029 s] Raw data (loadavg): 0.91 0.94 0.95 1/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 13127 0 0 0 2940 43 0 0 25 0 1 0 21172014 46346240 8803 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8130/statm): 11315 8803 364 364 0 10951 0 [pid=8130] vsize: 45260 Current children cumulated CPU time (s) 29.83 Current children cumulated vsize (Kb) 45260 [startup+40.0036 s] Raw data (loadavg): 0.92 0.94 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 13860 0 0 0 3923 49 0 0 25 0 1 0 21172014 49004544 9332 4294967295 134512640 135987407 3221224560 3221223328 134812433 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 11964 9332 364 364 0 11600 0 [pid=8130] vsize: 47856 Current children cumulated CPU time (s) 39.72 Current children cumulated vsize (Kb) 47856 [startup+50.0042 s] Raw data (loadavg): 0.93 0.95 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 14512 0 0 0 4905 55 0 0 25 0 1 0 21172014 51957760 9918 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 12685 9918 364 364 0 12321 0 [pid=8130] vsize: 50740 Current children cumulated CPU time (s) 49.6 Current children cumulated vsize (Kb) 50740 [startup+60.0039 s] Raw data (loadavg): 0.94 0.95 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 15139 0 0 0 5883 62 0 0 25 0 1 0 21172014 54054912 10341 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 13197 10341 364 364 0 12833 0 [pid=8130] vsize: 52788 Current children cumulated CPU time (s) 59.45 Current children cumulated vsize (Kb) 52788 [startup+70.0036 s] Raw data (loadavg): 0.95 0.95 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 15243 0 0 0 6868 67 0 0 25 0 1 0 21172014 54321152 10445 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 13262 10445 364 364 0 12898 0 [pid=8130] vsize: 53048 Current children cumulated CPU time (s) 69.35 Current children cumulated vsize (Kb) 53048 [startup+80.0043 s] Raw data (loadavg): 0.96 0.95 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 16296 0 0 0 7841 78 0 0 25 0 1 0 21172014 58572800 11228 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 14300 11228 364 364 0 13936 0 [pid=8130] vsize: 57200 Current children cumulated CPU time (s) 79.19 Current children cumulated vsize (Kb) 57200 [startup+90.0039 s] Raw data (loadavg): 0.96 0.95 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 16706 0 0 0 8816 86 0 0 25 0 1 0 21172014 60379136 11539 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8130/statm): 14741 11539 364 364 0 14377 0 [pid=8130] vsize: 58964 Current children cumulated CPU time (s) 89.02 Current children cumulated vsize (Kb) 58964 [startup+100.005 s] Raw data (loadavg): 0.97 0.95 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 17165 0 0 0 9791 96 0 0 25 0 1 0 21172014 62271488 11866 4294967295 134512640 135987407 3221224560 3221223248 134811933 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 15203 11866 364 364 0 14839 0 [pid=8130] vsize: 60812 Current children cumulated CPU time (s) 98.87 Current children cumulated vsize (Kb) 60812 [startup+110.005 s] Raw data (loadavg): 0.97 0.95 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 17591 0 0 0 10764 106 0 0 25 0 1 0 21172014 64188416 12226 4294967295 134512640 135987407 3221224560 3221223332 134812413 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 15671 12226 364 364 0 15307 0 [pid=8130] vsize: 62684 Current children cumulated CPU time (s) 108.7 Current children cumulated vsize (Kb) 62684 [startup+120.005 s] Raw data (loadavg): 0.98 0.95 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 17936 0 0 0 11745 112 0 0 25 0 1 0 21172014 65388544 12472 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 15964 12472 364 364 0 15600 0 [pid=8130] vsize: 63856 Current children cumulated CPU time (s) 118.57 Current children cumulated vsize (Kb) 63856 [startup+130.006 s] Raw data (loadavg): 0.98 0.95 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 18663 0 0 0 12717 123 0 0 25 0 1 0 21172014 68112384 13001 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 16629 13001 364 364 0 16265 0 [pid=8130] vsize: 66516 Current children cumulated CPU time (s) 128.4 Current children cumulated vsize (Kb) 66516 [startup+140.005 s] Raw data (loadavg): 0.98 0.95 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 19154 0 0 0 13694 130 0 0 25 0 1 0 21172014 70373376 13393 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 17181 13393 364 364 0 16817 0 [pid=8130] vsize: 68724 Current children cumulated CPU time (s) 138.24 Current children cumulated vsize (Kb) 68724 [startup+150.006 s] Raw data (loadavg): 0.98 0.95 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 19318 0 0 0 14676 135 0 0 25 0 1 0 21172014 71110656 13557 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 17361 13557 364 364 0 16997 0 [pid=8130] vsize: 69444 Current children cumulated CPU time (s) 148.11 Current children cumulated vsize (Kb) 69444 [startup+160.007 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 19685 0 0 0 15652 145 0 0 25 0 1 0 21172014 72859648 13858 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 17788 13858 364 364 0 17424 0 [pid=8130] vsize: 71152 Current children cumulated CPU time (s) 157.97 Current children cumulated vsize (Kb) 71152 [startup+170.006 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 19951 0 0 0 16633 151 0 0 25 0 1 0 21172014 73928704 14058 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 18049 14058 364 364 0 17685 0 [pid=8130] vsize: 72196 Current children cumulated CPU time (s) 167.84 Current children cumulated vsize (Kb) 72196 [startup+180.007 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 20363 0 0 0 17613 159 0 0 25 0 1 0 21172014 79732736 14371 4294967295 134512640 135987407 3221224560 3221223424 134812903 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 19466 14371 364 364 0 19102 0 [pid=8130] vsize: 77864 Current children cumulated CPU time (s) 177.72 Current children cumulated vsize (Kb) 77864 [startup+190.008 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 20621 0 0 0 18591 167 0 0 25 0 1 0 21172014 80539648 14596 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 19663 14596 364 364 0 19299 0 [pid=8130] vsize: 78652 Current children cumulated CPU time (s) 187.58 Current children cumulated vsize (Kb) 78652 [startup+200.008 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 20836 0 0 0 19569 174 0 0 25 0 1 0 21172014 81211392 14778 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 19827 14778 364 364 0 19463 0 [pid=8130] vsize: 79308 Current children cumulated CPU time (s) 197.43 Current children cumulated vsize (Kb) 79308 [startup+210.008 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 20954 0 0 0 20549 179 0 0 25 0 1 0 21172014 81473536 14830 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 19891 14830 364 364 0 19527 0 [pid=8130] vsize: 79564 Current children cumulated CPU time (s) 207.28 Current children cumulated vsize (Kb) 79564 [startup+220.009 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 21205 0 0 0 21530 186 0 0 25 0 1 0 21172014 82014208 14943 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 20023 14943 364 364 0 19659 0 [pid=8130] vsize: 80092 Current children cumulated CPU time (s) 217.16 Current children cumulated vsize (Kb) 80092 [startup+230.01 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 21434 0 0 0 22512 192 0 0 25 0 1 0 21172014 82808832 15106 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 20217 15106 364 364 0 19853 0 [pid=8130] vsize: 80868 Current children cumulated CPU time (s) 227.04 Current children cumulated vsize (Kb) 80868 [startup+240.009 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 21597 0 0 0 23493 200 0 0 25 0 1 0 21172014 83341312 15203 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 20347 15203 364 364 0 19983 0 [pid=8130] vsize: 81388 Current children cumulated CPU time (s) 236.93 Current children cumulated vsize (Kb) 81388 [startup+250.01 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 21812 0 0 0 24473 206 0 0 25 0 1 0 21172014 83476480 15280 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 20380 15280 364 364 0 20016 0 [pid=8130] vsize: 81520 Current children cumulated CPU time (s) 246.79 Current children cumulated vsize (Kb) 81520 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 21965 0 0 0 25457 212 0 0 25 0 1 0 21172014 84004864 15367 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 20509 15367 364 364 0 20145 0 [pid=8130] vsize: 82036 Current children cumulated CPU time (s) 256.69 Current children cumulated vsize (Kb) 82036 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22109 0 0 0 26440 219 0 0 25 0 1 0 21172014 84668416 15478 4294967295 134512640 135987407 3221224560 3221223224 134778245 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 20671 15478 364 364 0 20307 0 [pid=8130] vsize: 82684 Current children cumulated CPU time (s) 266.59 Current children cumulated vsize (Kb) 82684 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22160 0 0 0 27422 225 0 0 25 0 1 0 21172014 84668416 15529 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 20671 15529 364 364 0 20307 0 [pid=8130] vsize: 82684 Current children cumulated CPU time (s) 276.47 Current children cumulated vsize (Kb) 82684 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22349 0 0 0 28403 233 0 0 25 0 1 0 21172014 84668416 15580 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 20671 15580 364 364 0 20307 0 [pid=8130] vsize: 82684 Current children cumulated CPU time (s) 286.36 Current children cumulated vsize (Kb) 82684 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22502 0 0 0 29383 238 0 0 25 0 1 0 21172014 85196800 15667 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 20800 15667 364 364 0 20436 0 [pid=8130] vsize: 83200 Current children cumulated CPU time (s) 296.21 Current children cumulated vsize (Kb) 83200 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22514 0 0 0 30366 244 0 0 25 0 1 0 21172014 85196800 15679 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 20800 15679 364 364 0 20436 0 [pid=8130] vsize: 83200 Current children cumulated CPU time (s) 306.1 Current children cumulated vsize (Kb) 83200 [startup+320.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22632 0 0 0 31348 249 0 0 25 0 1 0 21172014 85458944 15731 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 20864 15731 364 364 0 20500 0 [pid=8130] vsize: 83456 Current children cumulated CPU time (s) 315.97 Current children cumulated vsize (Kb) 83456 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22698 0 0 0 32330 256 0 0 25 0 1 0 21172014 85725184 15797 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 20929 15797 364 364 0 20565 0 [pid=8130] vsize: 83716 Current children cumulated CPU time (s) 325.86 Current children cumulated vsize (Kb) 83716 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22755 0 0 0 33311 262 0 0 25 0 1 0 21172014 85856256 15821 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 20961 15821 364 364 0 20597 0 [pid=8130] vsize: 83844 Current children cumulated CPU time (s) 335.73 Current children cumulated vsize (Kb) 83844 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22873 0 0 0 34294 267 0 0 25 0 1 0 21172014 86118400 15873 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 21025 15873 364 364 0 20661 0 [pid=8130] vsize: 84100 Current children cumulated CPU time (s) 345.61 Current children cumulated vsize (Kb) 84100 [startup+360.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22916 0 0 0 35275 273 0 0 25 0 1 0 21172014 86249472 15883 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 21057 15883 364 364 0 20693 0 [pid=8130] vsize: 84228 Current children cumulated CPU time (s) 355.48 Current children cumulated vsize (Kb) 84228 [startup+370.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22918 0 0 0 36260 278 0 0 25 0 1 0 21172014 86249472 15885 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 21057 15885 364 364 0 20693 0 [pid=8130] vsize: 84228 Current children cumulated CPU time (s) 365.38 Current children cumulated vsize (Kb) 84228 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 22973 0 0 0 37240 285 0 0 25 0 1 0 21172014 86380544 15907 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 21089 15907 364 364 0 20725 0 [pid=8130] vsize: 84356 Current children cumulated CPU time (s) 375.25 Current children cumulated vsize (Kb) 84356 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23206 0 0 0 38222 292 0 0 25 0 1 0 21172014 86777856 15969 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 21186 15969 364 364 0 20822 0 [pid=8130] vsize: 84744 Current children cumulated CPU time (s) 385.14 Current children cumulated vsize (Kb) 84744 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23296 0 0 0 39204 299 0 0 25 0 1 0 21172014 87044096 16026 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 21251 16026 364 364 0 20887 0 [pid=8130] vsize: 85004 Current children cumulated CPU time (s) 395.03 Current children cumulated vsize (Kb) 85004 [startup+410.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23365 0 0 0 40186 304 0 0 25 0 1 0 21172014 87175168 16062 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 21283 16062 364 364 0 20919 0 [pid=8130] vsize: 85132 Current children cumulated CPU time (s) 404.9 Current children cumulated vsize (Kb) 85132 [startup+420.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23438 0 0 0 41167 310 0 0 25 0 1 0 21172014 87576576 16135 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 21381 16135 364 364 0 21017 0 [pid=8130] vsize: 85524 Current children cumulated CPU time (s) 414.77 Current children cumulated vsize (Kb) 85524 [startup+430.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23488 0 0 0 42150 316 0 0 25 0 1 0 21172014 87842816 16185 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 21446 16185 364 364 0 21082 0 [pid=8130] vsize: 85784 Current children cumulated CPU time (s) 424.66 Current children cumulated vsize (Kb) 85784 [startup+440.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23692 0 0 0 43133 322 0 0 25 0 1 0 21172014 88502272 16290 4294967295 134512640 135987407 3221224560 3221223424 134812597 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 21607 16290 364 364 0 21243 0 [pid=8130] vsize: 86428 Current children cumulated CPU time (s) 434.55 Current children cumulated vsize (Kb) 86428 [startup+450.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 23750 0 0 0 44116 328 0 0 25 0 1 0 21172014 88502272 16348 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 21607 16348 364 364 0 21243 0 [pid=8130] vsize: 86428 Current children cumulated CPU time (s) 444.44 Current children cumulated vsize (Kb) 86428 [startup+460.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 24066 0 0 0 45099 335 0 0 25 0 1 0 21172014 89165824 16493 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 21769 16493 364 364 0 21405 0 [pid=8130] vsize: 87076 Current children cumulated CPU time (s) 454.34 Current children cumulated vsize (Kb) 87076 [startup+470.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 24140 0 0 0 46081 340 0 0 25 0 1 0 21172014 89432064 16567 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 21834 16567 364 364 0 21470 0 [pid=8130] vsize: 87336 Current children cumulated CPU time (s) 464.21 Current children cumulated vsize (Kb) 87336 [startup+480.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 24208 0 0 0 47062 347 0 0 25 0 1 0 21172014 89698304 16635 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 21899 16635 364 364 0 21535 0 [pid=8130] vsize: 87596 Current children cumulated CPU time (s) 474.09 Current children cumulated vsize (Kb) 87596 [startup+490.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 24338 0 0 0 48046 353 0 0 25 0 1 0 21172014 89960448 16699 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 21963 16699 364 364 0 21599 0 [pid=8130] vsize: 87852 Current children cumulated CPU time (s) 483.99 Current children cumulated vsize (Kb) 87852 [startup+500.022 s] Raw data (loadavg): 1.07 0.99 0.96 1/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 24481 0 0 0 49029 359 0 0 25 0 1 0 21172014 90357760 16809 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8130/statm): 22060 16809 364 364 0 21696 0 [pid=8130] vsize: 88240 Current children cumulated CPU time (s) 493.88 Current children cumulated vsize (Kb) 88240 [startup+510.022 s] Raw data (loadavg): 1.06 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 24578 0 0 0 50012 366 0 0 25 0 1 0 21172014 90488832 16873 4294967295 134512640 135987407 3221224560 3221223248 134788657 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 22092 16873 364 364 0 21728 0 [pid=8130] vsize: 88368 Current children cumulated CPU time (s) 503.78 Current children cumulated vsize (Kb) 88368 [startup+520.021 s] Raw data (loadavg): 1.05 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 24842 0 0 0 50997 372 0 0 25 0 1 0 21172014 90488832 16999 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 22092 16999 364 364 0 21728 0 [pid=8130] vsize: 88368 Current children cumulated CPU time (s) 513.69 Current children cumulated vsize (Kb) 88368 [startup+530.021 s] Raw data (loadavg): 1.04 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25052 0 0 0 51980 379 0 0 25 0 1 0 21172014 90619904 17038 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 22124 17038 364 364 0 21760 0 [pid=8130] vsize: 88496 Current children cumulated CPU time (s) 523.59 Current children cumulated vsize (Kb) 88496 [startup+540.021 s] Raw data (loadavg): 1.03 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25264 0 0 0 52962 386 0 0 25 0 1 0 21172014 90619904 17112 4294967295 134512640 135987407 3221224560 3221223376 134876871 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 22124 17112 364 364 0 21760 0 [pid=8130] vsize: 88496 Current children cumulated CPU time (s) 533.48 Current children cumulated vsize (Kb) 88496 [startup+550.021 s] Raw data (loadavg): 1.03 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25277 0 0 0 53949 390 0 0 25 0 1 0 21172014 90619904 17125 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 22124 17125 364 364 0 21760 0 [pid=8130] vsize: 88496 Current children cumulated CPU time (s) 543.39 Current children cumulated vsize (Kb) 88496 [startup+560.022 s] Raw data (loadavg): 1.02 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25341 0 0 0 54933 396 0 0 25 0 1 0 21172014 90886144 17189 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 22189 17189 364 364 0 21825 0 [pid=8130] vsize: 88756 Current children cumulated CPU time (s) 553.29 Current children cumulated vsize (Kb) 88756 [startup+570.023 s] Raw data (loadavg): 1.02 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25350 0 0 0 55920 402 0 0 25 0 1 0 21172014 90886144 17198 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 22189 17198 364 364 0 21825 0 [pid=8130] vsize: 88756 Current children cumulated CPU time (s) 563.22 Current children cumulated vsize (Kb) 88756 [startup+580.023 s] Raw data (loadavg): 1.02 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25356 0 0 0 56906 407 0 0 25 0 1 0 21172014 90886144 17204 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 22189 17204 364 364 0 21825 0 [pid=8130] vsize: 88756 Current children cumulated CPU time (s) 573.13 Current children cumulated vsize (Kb) 88756 [startup+590.023 s] Raw data (loadavg): 1.01 0.99 0.96 1/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 25358 0 0 0 57891 411 0 0 25 0 1 0 21172014 90886144 17206 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8130/statm): 22189 17206 364 364 0 21825 0 [pid=8130] vsize: 88756 Current children cumulated CPU time (s) 583.02 Current children cumulated vsize (Kb) 88756 [startup+600.024 s] Raw data (loadavg): 1.01 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25559 0 0 0 58880 416 0 0 25 0 1 0 21172014 90886144 17269 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 22189 17269 364 364 0 21825 0 [pid=8130] vsize: 88756 Current children cumulated CPU time (s) 592.96 Current children cumulated vsize (Kb) 88756 [startup+610.024 s] Raw data (loadavg): 1.01 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25683 0 0 0 59862 422 0 0 25 0 1 0 21172014 91283456 17360 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 22286 17360 364 364 0 21922 0 [pid=8130] vsize: 89144 Current children cumulated CPU time (s) 602.84 Current children cumulated vsize (Kb) 89144 [startup+620.024 s] Raw data (loadavg): 1.01 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25854 0 0 0 60847 428 0 0 25 0 1 0 21172014 91283456 17393 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 22286 17393 364 364 0 21922 0 [pid=8130] vsize: 89144 Current children cumulated CPU time (s) 612.75 Current children cumulated vsize (Kb) 89144 [startup+630.025 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25895 0 0 0 61830 433 0 0 25 0 1 0 21172014 91283456 17434 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 22286 17434 364 364 0 21922 0 [pid=8130] vsize: 89144 Current children cumulated CPU time (s) 622.63 Current children cumulated vsize (Kb) 89144 [startup+640.025 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25924 0 0 0 62814 439 0 0 25 0 1 0 21172014 91283456 17463 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 22286 17463 364 364 0 21922 0 [pid=8130] vsize: 89144 Current children cumulated CPU time (s) 632.53 Current children cumulated vsize (Kb) 89144 [startup+650.026 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 25991 0 0 0 63797 445 0 0 25 0 1 0 21172014 91414528 17497 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 22318 17497 364 364 0 21954 0 [pid=8130] vsize: 89272 Current children cumulated CPU time (s) 642.42 Current children cumulated vsize (Kb) 89272 [startup+660.026 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26014 0 0 0 64781 451 0 0 25 0 1 0 21172014 91414528 17520 4294967295 134512640 135987407 3221224560 3221223376 134824777 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 22318 17520 364 364 0 21954 0 [pid=8130] vsize: 89272 Current children cumulated CPU time (s) 652.32 Current children cumulated vsize (Kb) 89272 [startup+670.027 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26045 0 0 0 65766 457 0 0 25 0 1 0 21172014 91414528 17551 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 22318 17551 364 364 0 21954 0 [pid=8130] vsize: 89272 Current children cumulated CPU time (s) 662.23 Current children cumulated vsize (Kb) 89272 [startup+680.027 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26075 0 0 0 66750 461 0 0 25 0 1 0 21172014 91414528 17581 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 22318 17581 364 364 0 21954 0 [pid=8130] vsize: 89272 Current children cumulated CPU time (s) 672.11 Current children cumulated vsize (Kb) 89272 [startup+690.027 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26098 0 0 0 67734 468 0 0 25 0 1 0 21172014 99803136 17604 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24366 17604 364 364 0 24002 0 [pid=8130] vsize: 97464 Current children cumulated CPU time (s) 682.02 Current children cumulated vsize (Kb) 97464 [startup+700.028 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 26175 0 0 0 68720 473 0 0 25 0 1 0 21172014 99934208 17648 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24398 17648 364 364 0 24034 0 [pid=8130] vsize: 97592 Current children cumulated CPU time (s) 691.93 Current children cumulated vsize (Kb) 97592 [startup+710.028 s] Raw data (loadavg): 1.00 0.99 0.96 1/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 26238 0 0 0 69703 480 0 0 25 0 1 0 21172014 100065280 17678 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24430 17678 364 364 0 24066 0 [pid=8130] vsize: 97720 Current children cumulated CPU time (s) 701.83 Current children cumulated vsize (Kb) 97720 [startup+720.028 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26328 0 0 0 70691 483 0 0 25 0 1 0 21172014 100462592 17735 4294967295 134512640 135987407 3221224560 3221223424 134812582 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24527 17735 364 364 0 24163 0 [pid=8130] vsize: 98108 Current children cumulated CPU time (s) 711.74 Current children cumulated vsize (Kb) 98108 [startup+730.029 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26496 0 0 0 71678 488 0 0 25 0 1 0 21172014 100462592 17765 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24527 17765 364 364 0 24163 0 [pid=8130] vsize: 98108 Current children cumulated CPU time (s) 721.66 Current children cumulated vsize (Kb) 98108 [startup+740.028 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26523 0 0 0 72663 493 0 0 25 0 1 0 21172014 100462592 17792 4294967295 134512640 135987407 3221224560 3221223248 134811933 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24527 17792 364 364 0 24163 0 [pid=8130] vsize: 98108 Current children cumulated CPU time (s) 731.56 Current children cumulated vsize (Kb) 98108 [startup+750.029 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26551 0 0 0 73647 498 0 0 25 0 1 0 21172014 100462592 17820 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24527 17820 364 364 0 24163 0 [pid=8130] vsize: 98108 Current children cumulated CPU time (s) 741.45 Current children cumulated vsize (Kb) 98108 [startup+760.03 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26720 0 0 0 74629 505 0 0 25 0 1 0 21172014 100462592 17851 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24527 17851 364 364 0 24163 0 [pid=8130] vsize: 98108 Current children cumulated CPU time (s) 751.34 Current children cumulated vsize (Kb) 98108 [startup+770.029 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26781 0 0 0 75617 510 0 0 25 0 1 0 21172014 100593664 17879 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24559 17879 364 364 0 24195 0 [pid=8130] vsize: 98236 Current children cumulated CPU time (s) 761.27 Current children cumulated vsize (Kb) 98236 [startup+780.03 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26825 0 0 0 76604 515 0 0 25 0 1 0 21172014 100593664 17923 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24559 17923 364 364 0 24195 0 [pid=8130] vsize: 98236 Current children cumulated CPU time (s) 771.19 Current children cumulated vsize (Kb) 98236 [startup+790.031 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 26857 0 0 0 77591 518 0 0 25 0 1 0 21172014 100593664 17955 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24559 17955 364 364 0 24195 0 [pid=8130] vsize: 98236 Current children cumulated CPU time (s) 781.09 Current children cumulated vsize (Kb) 98236 [startup+800.031 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27063 0 0 0 78580 523 0 0 25 0 1 0 21172014 100724736 17990 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24591 17990 364 364 0 24227 0 [pid=8130] vsize: 98364 Current children cumulated CPU time (s) 791.03 Current children cumulated vsize (Kb) 98364 [startup+810.032 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27130 0 0 0 79564 528 0 0 25 0 1 0 21172014 100990976 18057 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24656 18057 364 364 0 24292 0 [pid=8130] vsize: 98624 Current children cumulated CPU time (s) 800.92 Current children cumulated vsize (Kb) 98624 [startup+820.032 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27145 0 0 0 80553 531 0 0 25 0 1 0 21172014 100990976 18072 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24656 18072 364 364 0 24292 0 [pid=8130] vsize: 98624 Current children cumulated CPU time (s) 810.84 Current children cumulated vsize (Kb) 98624 [startup+830.032 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27158 0 0 0 81539 536 0 0 25 0 1 0 21172014 100990976 18085 4294967295 134512640 135987407 3221224560 3221223248 134812121 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24656 18085 364 364 0 24292 0 [pid=8130] vsize: 98624 Current children cumulated CPU time (s) 820.75 Current children cumulated vsize (Kb) 98624 [startup+840.033 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27300 0 0 0 82526 541 0 0 25 0 1 0 21172014 100990976 18089 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24656 18089 364 364 0 24292 0 [pid=8130] vsize: 98624 Current children cumulated CPU time (s) 830.67 Current children cumulated vsize (Kb) 98624 [startup+850.034 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27340 0 0 0 83508 547 0 0 25 0 1 0 21172014 101257216 18129 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24721 18129 364 364 0 24357 0 [pid=8130] vsize: 98884 Current children cumulated CPU time (s) 840.55 Current children cumulated vsize (Kb) 98884 [startup+860.034 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27384 0 0 0 84494 553 0 0 25 0 1 0 21172014 101388288 18140 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24753 18140 364 364 0 24389 0 [pid=8130] vsize: 99012 Current children cumulated CPU time (s) 850.47 Current children cumulated vsize (Kb) 99012 [startup+870.034 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27385 0 0 0 85483 556 0 0 25 0 1 0 21172014 101388288 18141 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24753 18141 364 364 0 24389 0 [pid=8130] vsize: 99012 Current children cumulated CPU time (s) 860.39 Current children cumulated vsize (Kb) 99012 [startup+880.035 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27389 0 0 0 86469 561 0 0 25 0 1 0 21172014 101388288 18145 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24753 18145 364 364 0 24389 0 [pid=8130] vsize: 99012 Current children cumulated CPU time (s) 870.3 Current children cumulated vsize (Kb) 99012 [startup+890.034 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27553 0 0 0 87456 567 0 0 25 0 1 0 21172014 101388288 18171 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24753 18171 364 364 0 24389 0 [pid=8130] vsize: 99012 Current children cumulated CPU time (s) 880.23 Current children cumulated vsize (Kb) 99012 [startup+900.035 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27658 0 0 0 88437 574 0 0 25 0 1 0 21172014 101785600 18243 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24850 18243 364 364 0 24486 0 [pid=8130] vsize: 99400 Current children cumulated CPU time (s) 890.11 Current children cumulated vsize (Kb) 99400 [startup+910.036 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27686 0 0 0 89419 579 0 0 25 0 1 0 21172014 101785600 18271 4294967295 134512640 135987407 3221224560 3221223280 134813818 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24850 18271 364 364 0 24486 0 [pid=8130] vsize: 99400 Current children cumulated CPU time (s) 899.98 Current children cumulated vsize (Kb) 99400 [startup+920.036 s] Raw data (loadavg): 1.00 0.99 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27851 0 0 0 90403 584 0 0 25 0 1 0 21172014 101785600 18298 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24850 18298 364 364 0 24486 0 [pid=8130] vsize: 99400 Current children cumulated CPU time (s) 909.87 Current children cumulated vsize (Kb) 99400 [startup+930.035 s] Raw data (loadavg): 1.08 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27918 0 0 0 91390 589 0 0 25 0 1 0 21172014 102051840 18365 4294967295 134512640 135987407 3221224560 3221223376 134824717 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24915 18365 364 364 0 24551 0 [pid=8130] vsize: 99660 Current children cumulated CPU time (s) 919.79 Current children cumulated vsize (Kb) 99660 [startup+940.035 s] Raw data (loadavg): 1.07 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27943 0 0 0 92378 593 0 0 25 0 1 0 21172014 102051840 18390 4294967295 134512640 135987407 3221224560 3221223224 134778245 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24915 18390 364 364 0 24551 0 [pid=8130] vsize: 99660 Current children cumulated CPU time (s) 929.71 Current children cumulated vsize (Kb) 99660 [startup+950.036 s] Raw data (loadavg): 1.06 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 27970 0 0 0 93364 599 0 0 25 0 1 0 21172014 102051840 18417 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24915 18417 364 364 0 24551 0 [pid=8130] vsize: 99660 Current children cumulated CPU time (s) 939.63 Current children cumulated vsize (Kb) 99660 [startup+960.036 s] Raw data (loadavg): 1.05 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28009 0 0 0 94350 604 0 0 25 0 1 0 21172014 102051840 18456 4294967295 134512640 135987407 3221224560 3221223376 134824256 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24915 18456 364 364 0 24551 0 [pid=8130] vsize: 99660 Current children cumulated CPU time (s) 949.54 Current children cumulated vsize (Kb) 99660 [startup+970.037 s] Raw data (loadavg): 1.04 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28047 0 0 0 95332 610 0 0 25 0 1 0 21172014 102051840 18494 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24915 18494 364 364 0 24551 0 [pid=8130] vsize: 99660 Current children cumulated CPU time (s) 959.42 Current children cumulated vsize (Kb) 99660 [startup+980.038 s] Raw data (loadavg): 1.03 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28094 0 0 0 96316 616 0 0 25 0 1 0 21172014 102051840 18541 4294967295 134512640 135987407 3221224560 3221223424 134812595 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24915 18541 364 364 0 24551 0 [pid=8130] vsize: 99660 Current children cumulated CPU time (s) 969.32 Current children cumulated vsize (Kb) 99660 [startup+990.037 s] Raw data (loadavg): 1.03 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28140 0 0 0 97298 623 0 0 25 0 1 0 21172014 102051840 18587 4294967295 134512640 135987407 3221224560 3221223248 134811927 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24915 18587 364 364 0 24551 0 [pid=8130] vsize: 99660 Current children cumulated CPU time (s) 979.21 Current children cumulated vsize (Kb) 99660 [startup+1000.04 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28174 0 0 0 98281 628 0 0 25 0 1 0 21172014 102051840 18621 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24915 18621 364 364 0 24551 0 [pid=8130] vsize: 99660 Current children cumulated CPU time (s) 989.09 Current children cumulated vsize (Kb) 99660 [startup+1010.04 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28203 0 0 0 99266 633 0 0 25 0 1 0 21172014 102051840 18650 4294967295 134512640 135987407 3221224560 3221223248 134811768 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24915 18650 364 364 0 24551 0 [pid=8130] vsize: 99660 Current children cumulated CPU time (s) 998.99 Current children cumulated vsize (Kb) 99660 [startup+1020.04 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28388 0 0 0 100251 639 0 0 25 0 1 0 21172014 102051840 18697 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24915 18697 364 364 0 24551 0 [pid=8130] vsize: 99660 Current children cumulated CPU time (s) 1008.9 Current children cumulated vsize (Kb) 99660 [startup+1030.04 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28676 0 0 0 101240 643 0 0 25 0 1 0 21172014 102051840 18847 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24915 18847 364 364 0 24551 0 [pid=8130] vsize: 99660 Current children cumulated CPU time (s) 1018.83 Current children cumulated vsize (Kb) 99660 [startup+1040.04 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28680 0 0 0 102227 647 0 0 25 0 1 0 21172014 102051840 18851 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24915 18851 364 364 0 24551 0 [pid=8130] vsize: 99660 Current children cumulated CPU time (s) 1028.74 Current children cumulated vsize (Kb) 99660 [startup+1050.04 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28730 0 0 0 103209 654 0 0 25 0 1 0 21172014 102182912 18868 4294967295 134512640 135987407 3221224560 3221223020 135480785 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 24947 18868 364 364 0 24583 0 [pid=8130] vsize: 99788 Current children cumulated CPU time (s) 1038.63 Current children cumulated vsize (Kb) 99788 [startup+1060.04 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28732 0 0 0 104193 659 0 0 25 0 1 0 21172014 102182912 18870 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24947 18870 364 364 0 24583 0 [pid=8130] vsize: 99788 Current children cumulated CPU time (s) 1048.52 Current children cumulated vsize (Kb) 99788 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28734 0 0 0 105179 664 0 0 25 0 1 0 21172014 102182912 18872 4294967295 134512640 135987407 3221224560 3221223248 134811983 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 24947 18872 364 364 0 24583 0 [pid=8130] vsize: 99788 Current children cumulated CPU time (s) 1058.43 Current children cumulated vsize (Kb) 99788 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28979 0 0 0 106162 668 0 0 25 0 1 0 21172014 102580224 18946 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 25044 18946 364 364 0 24680 0 [pid=8130] vsize: 100176 Current children cumulated CPU time (s) 1068.3 Current children cumulated vsize (Kb) 100176 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 28980 0 0 0 107147 673 0 0 25 0 1 0 21172014 102580224 18947 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 25044 18947 364 364 0 24680 0 [pid=8130] vsize: 100176 Current children cumulated CPU time (s) 1078.2 Current children cumulated vsize (Kb) 100176 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 28982 0 0 0 108136 676 0 0 25 0 1 0 21172014 102580224 18949 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8130/statm): 25044 18949 364 364 0 24680 0 [pid=8130] vsize: 100176 Current children cumulated CPU time (s) 1088.12 Current children cumulated vsize (Kb) 100176 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) T 8129 8130 4005 0 -1 0 29130 0 0 0 109124 680 0 0 25 0 1 0 21172014 102445056 18926 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8130/statm): 25011 18926 364 364 0 24647 0 [pid=8130] vsize: 100044 Current children cumulated CPU time (s) 1098.04 Current children cumulated vsize (Kb) 100044 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29154 0 0 0 110109 686 0 0 25 0 1 0 21172014 102445056 18950 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 25011 18950 364 364 0 24647 0 [pid=8130] vsize: 100044 Current children cumulated CPU time (s) 1107.95 Current children cumulated vsize (Kb) 100044 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29214 0 0 0 111095 691 0 0 25 0 1 0 21172014 102445056 19010 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 25011 19010 364 364 0 24647 0 [pid=8130] vsize: 100044 Current children cumulated CPU time (s) 1117.86 Current children cumulated vsize (Kb) 100044 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29448 0 0 0 112081 695 0 0 25 0 1 0 21172014 102445056 19106 4294967295 134512640 135987407 3221224560 3221223248 134812023 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 25011 19106 364 364 0 24647 0 [pid=8130] vsize: 100044 Current children cumulated CPU time (s) 1127.76 Current children cumulated vsize (Kb) 100044 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29488 0 0 0 113064 701 0 0 25 0 1 0 21172014 102445056 19146 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 25011 19146 364 364 0 24647 0 [pid=8130] vsize: 100044 Current children cumulated CPU time (s) 1137.65 Current children cumulated vsize (Kb) 100044 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29699 0 0 0 114050 706 0 0 25 0 1 0 21172014 102445056 19219 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 25011 19219 364 364 0 24647 0 [pid=8130] vsize: 100044 Current children cumulated CPU time (s) 1147.56 Current children cumulated vsize (Kb) 100044 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29913 0 0 0 115039 710 0 0 25 0 1 0 21172014 102445056 19295 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 25011 19295 364 364 0 24647 0 [pid=8130] vsize: 100044 Current children cumulated CPU time (s) 1157.49 Current children cumulated vsize (Kb) 100044 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 29956 0 0 0 116021 716 0 0 25 0 1 0 21172014 102576128 19305 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8130/statm): 25043 19305 364 364 0 24679 0 [pid=8130] vsize: 100172 Current children cumulated CPU time (s) 1167.37 Current children cumulated vsize (Kb) 100172 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 30000 0 0 0 117005 721 0 0 25 0 1 0 21172014 102842368 19349 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 25108 19349 364 364 0 24744 0 [pid=8130] vsize: 100432 Current children cumulated CPU time (s) 1177.26 Current children cumulated vsize (Kb) 100432 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 30139 0 0 0 117993 726 0 0 25 0 1 0 21172014 102842368 19350 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 25108 19350 364 364 0 24744 0 [pid=8130] vsize: 100432 Current children cumulated CPU time (s) 1187.19 Current children cumulated vsize (Kb) 100432 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 30160 0 0 0 118980 732 0 0 25 0 1 0 21172014 102842368 19371 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 25108 19371 364 364 0 24744 0 [pid=8130] vsize: 100432 Current children cumulated CPU time (s) 1197.12 Current children cumulated vsize (Kb) 100432 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 30161 0 0 0 119964 737 0 0 25 0 1 0 21172014 102842368 19372 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 25108 19372 364 364 0 24744 0 [pid=8130] vsize: 100432 Current children cumulated CPU time (s) 1207.01 Current children cumulated vsize (Kb) 100432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 8130 Raw data (/proc/8130/stat): 8130 (pb2sat) R 8129 8130 4005 0 -1 0 30161 0 0 0 119964 737 0 0 25 0 1 0 21172014 102842368 19372 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8130/statm): 25108 19372 364 364 0 24744 0 [pid=8130] vsize: 100432 Current children cumulated CPU time (s) 1207.01 Current children cumulated vsize (Kb) 100432 Sending SIGTERM to -8130 Sleeping 2 seconds One traced child (pid=8130) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1220.28 CPU time (s): 1207.25 CPU user time (s): 1199.83 CPU system time (s): 7.42287 CPU usage (%): 98.9321 Max. virtual memory (cumulated for all children) (Kb): 100432
ERROR: no interpretation found !