Name | mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb |
MD5SUM | 4968ba84d5c370c0dd8f5e6c6068a443 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11140072448 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 13440 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 481036336704 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 481036336704 |
Number of bits of the biggest sum of numbers | 39 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1208.39 |
Number of variables | 22960 |
Total number of constraints | 11747 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3136 |
Number of constraints which are nor clauses,nor cardinality constraints | 8611 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 840 |
LAUNCH ON wulflinc19 THE 2005-09-23 17:22:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8923 boxname=wulflinc19 idbench=719 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 4968ba84d5c370c0dd8f5e6c6068a443 /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos12.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos12.opb IDLAUNCH: 8923 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 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.169 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: 900372 kB Buffers: 15940 kB Cached: 98436 kB SwapCached: 0 kB Active: 50940 kB Inactive: 66368 kB HighTotal: 131008 kB HighFree: 36456 kB LowTotal: 903652 kB LowFree: 863916 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 11460 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 17:42:30 (client local time) WITH STATUS 0 IN 1207.92 SECONDS stats: 8923 7 1207.92 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 109472/428306 Time: 146.544/86400 c Decision: 109472/428306 Time: 205.689/86400 c Decision: 109472/428306 Time: 255.032/86400 c Decision: 109472/428306 Time: 308.156/86400 c Decision: 109472/428306 Time: 374.543/86400 c Decision: 109472/428306 Time: 437.342/86400 c Decision: 109472/428306 Time: 499.24/86400 c Decision: 109472/428306 Time: 555.623/86400 c Decision: 109478/428306 Time: 630.727/86400 c Decision: 109490/428306 Time: 745.335/86400 c Decision: 109496/428306 Time: 852.619/86400 c Decision: 109496/428306 Time: 911.428/86400 c Decision: 109496/428306 Time: 972.001/86400 c Decision: 109496/428306 Time: 1027.26/86400 c Decision: 109496/428306 Time: 1079.1/86400 c Decision: 109496/428306 Time: 1138.83/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/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21951807 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 373 2 364 364 0 9 0 [pid=9307] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos12.opb [startup+10.002 s] Raw data (loadavg): 0.88 0.95 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 20246 0 0 0 948 49 0 0 25 0 1 0 21951807 59699200 12197 4294967295 134512640 135987407 3221224560 3221197424 134862299 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 14575 12197 364 364 0 14211 0 [pid=9307] vsize: 58300 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 58300 [startup+20.0028 s] Raw data (loadavg): 0.90 0.95 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 46211 0 0 0 1884 111 0 0 25 0 1 0 21951807 140525568 23920 4294967295 134512640 135987407 3221224560 3221221952 134616367 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 34308 23920 364 364 0 33944 0 [pid=9307] vsize: 137232 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 137232 [startup+30.0026 s] Raw data (loadavg): 0.91 0.96 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 54348 0 0 0 2858 135 0 0 25 0 1 0 21951807 166838272 31021 4294967295 134512640 135987407 3221224560 3221223372 134812262 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 40732 31021 364 364 0 40368 0 [pid=9307] vsize: 162928 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 162928 [startup+40.0035 s] Raw data (loadavg): 0.93 0.96 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 55123 0 0 0 3857 136 0 0 25 0 1 0 21951807 169177088 31440 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 41303 31440 364 364 0 40939 0 [pid=9307] vsize: 165212 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 165212 [startup+50.0043 s] Raw data (loadavg): 0.94 0.96 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 56693 0 0 0 4799 157 0 0 25 0 1 0 21951807 175521792 32699 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 42852 32699 364 364 0 42488 0 [pid=9307] vsize: 171408 Current children cumulated CPU time (s) 49.56 Current children cumulated vsize (Kb) 171408 [startup+60.0041 s] Raw data (loadavg): 0.95 0.96 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 59524 0 0 0 5791 163 0 0 25 0 1 0 21951807 184913920 34348 4294967295 134512640 135987407 3221224560 3221223180 135293360 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 45145 34348 364 364 0 44781 0 [pid=9307] vsize: 180580 Current children cumulated CPU time (s) 59.54 Current children cumulated vsize (Kb) 180580 [startup+70.0049 s] Raw data (loadavg): 0.95 0.96 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 60666 0 0 0 6786 166 0 0 25 0 1 0 21951807 189095936 35049 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 46166 35049 364 364 0 45802 0 [pid=9307] vsize: 184664 Current children cumulated CPU time (s) 69.52 Current children cumulated vsize (Kb) 184664 [startup+80.0057 s] Raw data (loadavg): 0.96 0.96 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 61730 0 0 0 7783 169 0 0 25 0 1 0 21951807 192266240 35656 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 46940 35656 364 364 0 46576 0 [pid=9307] vsize: 187760 Current children cumulated CPU time (s) 79.52 Current children cumulated vsize (Kb) 187760 [startup+90.0065 s] Raw data (loadavg): 0.97 0.96 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 62893 0 0 0 8777 172 0 0 25 0 1 0 21951807 195563520 36199 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 47745 36199 364 364 0 47381 0 [pid=9307] vsize: 190980 Current children cumulated CPU time (s) 89.49 Current children cumulated vsize (Kb) 190980 [startup+100.007 s] Raw data (loadavg): 0.97 0.96 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 63230 0 0 0 9768 177 0 0 25 0 1 0 21951807 197144576 36470 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 48131 36470 364 364 0 47767 0 [pid=9307] vsize: 192524 Current children cumulated CPU time (s) 99.45 Current children cumulated vsize (Kb) 192524 [startup+110.008 s] Raw data (loadavg): 0.97 0.96 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 64508 0 0 0 10763 180 0 0 25 0 1 0 21951807 202403840 37403 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 49415 37403 364 364 0 49051 0 [pid=9307] vsize: 197660 Current children cumulated CPU time (s) 109.43 Current children cumulated vsize (Kb) 197660 [startup+120.009 s] Raw data (loadavg): 0.98 0.96 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 65288 0 0 0 11760 182 0 0 25 0 1 0 21951807 204500992 37662 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 49927 37662 364 364 0 49563 0 [pid=9307] vsize: 199708 Current children cumulated CPU time (s) 119.42 Current children cumulated vsize (Kb) 199708 [startup+130.009 s] Raw data (loadavg): 0.98 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 65785 0 0 0 12758 183 0 0 25 0 1 0 21951807 205680640 37866 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 50215 37866 364 364 0 49851 0 [pid=9307] vsize: 200860 Current children cumulated CPU time (s) 129.41 Current children cumulated vsize (Kb) 200860 [startup+140.01 s] Raw data (loadavg): 0.98 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 66118 0 0 0 13756 184 0 0 25 0 1 0 21951807 206733312 37971 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 50472 37971 364 364 0 50108 0 [pid=9307] vsize: 201888 Current children cumulated CPU time (s) 139.4 Current children cumulated vsize (Kb) 201888 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 66422 0 0 0 14754 185 0 0 25 0 1 0 21951807 207785984 38080 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 50729 38080 364 364 0 50365 0 [pid=9307] vsize: 202916 Current children cumulated CPU time (s) 149.39 Current children cumulated vsize (Kb) 202916 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 66700 0 0 0 15751 187 0 0 25 0 1 0 21951807 208711680 38260 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 50955 38260 364 364 0 50591 0 [pid=9307] vsize: 203820 Current children cumulated CPU time (s) 159.38 Current children cumulated vsize (Kb) 203820 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 67205 0 0 0 16747 189 0 0 25 0 1 0 21951807 210292736 38505 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 51341 38505 364 364 0 50977 0 [pid=9307] vsize: 205364 Current children cumulated CPU time (s) 169.36 Current children cumulated vsize (Kb) 205364 [startup+180.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 68172 0 0 0 17744 192 0 0 25 0 1 0 21951807 210554880 38570 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 51405 38570 364 364 0 51041 0 [pid=9307] vsize: 205620 Current children cumulated CPU time (s) 179.36 Current children cumulated vsize (Kb) 205620 [startup+190.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 68503 0 0 0 18740 194 0 0 25 0 1 0 21951807 211476480 38738 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 51630 38738 364 364 0 51266 0 [pid=9307] vsize: 206520 Current children cumulated CPU time (s) 189.34 Current children cumulated vsize (Kb) 206520 [startup+200.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 68575 0 0 0 19737 195 0 0 25 0 1 0 21951807 211742720 38810 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 51695 38810 364 364 0 51331 0 [pid=9307] vsize: 206780 Current children cumulated CPU time (s) 199.32 Current children cumulated vsize (Kb) 206780 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 69499 0 0 0 20733 198 0 0 25 0 1 0 21951807 215248896 39360 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 52551 39360 364 364 0 52187 0 [pid=9307] vsize: 210204 Current children cumulated CPU time (s) 209.31 Current children cumulated vsize (Kb) 210204 [startup+220.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 69686 0 0 0 21731 198 0 0 25 0 1 0 21951807 215777280 39482 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 52680 39482 364 364 0 52316 0 [pid=9307] vsize: 210720 Current children cumulated CPU time (s) 219.29 Current children cumulated vsize (Kb) 210720 [startup+230.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 69695 0 0 0 22729 199 0 0 25 0 1 0 21951807 215777280 39491 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 52680 39491 364 364 0 52316 0 [pid=9307] vsize: 210720 Current children cumulated CPU time (s) 229.28 Current children cumulated vsize (Kb) 210720 [startup+240.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 70561 0 0 0 23726 201 0 0 25 0 1 0 21951807 215777280 39520 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 52680 39520 364 364 0 52316 0 [pid=9307] vsize: 210720 Current children cumulated CPU time (s) 239.27 Current children cumulated vsize (Kb) 210720 [startup+250.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 70714 0 0 0 24724 202 0 0 25 0 1 0 21951807 216305664 39608 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 52809 39608 364 364 0 52445 0 [pid=9307] vsize: 211236 Current children cumulated CPU time (s) 249.26 Current children cumulated vsize (Kb) 211236 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 70777 0 0 0 25714 205 0 0 25 0 1 0 21951807 216571904 39671 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 52874 39671 364 364 0 52510 0 [pid=9307] vsize: 211496 Current children cumulated CPU time (s) 259.19 Current children cumulated vsize (Kb) 211496 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 71759 0 0 0 26701 210 0 0 25 0 1 0 21951807 221016064 40424 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 53959 40424 364 364 0 53595 0 [pid=9307] vsize: 215836 Current children cumulated CPU time (s) 269.11 Current children cumulated vsize (Kb) 215836 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 71842 0 0 0 27700 211 0 0 25 0 1 0 21951807 221278208 40442 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54023 40442 364 364 0 53659 0 [pid=9307] vsize: 216092 Current children cumulated CPU time (s) 279.11 Current children cumulated vsize (Kb) 216092 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 72941 0 0 0 28692 216 0 0 25 0 1 0 21951807 222068736 40574 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54216 40574 364 364 0 53852 0 [pid=9307] vsize: 216864 Current children cumulated CPU time (s) 289.08 Current children cumulated vsize (Kb) 216864 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 73020 0 0 0 29688 217 0 0 25 0 1 0 21951807 222330880 40588 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54280 40588 364 364 0 53916 0 [pid=9307] vsize: 217120 Current children cumulated CPU time (s) 299.05 Current children cumulated vsize (Kb) 217120 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 73024 0 0 0 30685 218 0 0 25 0 1 0 21951807 222330880 40592 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54280 40592 364 364 0 53916 0 [pid=9307] vsize: 217120 Current children cumulated CPU time (s) 309.03 Current children cumulated vsize (Kb) 217120 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 73064 0 0 0 31682 219 0 0 25 0 1 0 21951807 222330880 40632 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54280 40632 364 364 0 53916 0 [pid=9307] vsize: 217120 Current children cumulated CPU time (s) 319.01 Current children cumulated vsize (Kb) 217120 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 73223 0 0 0 32677 221 0 0 25 0 1 0 21951807 222724096 40693 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54376 40693 364 364 0 54012 0 [pid=9307] vsize: 217504 Current children cumulated CPU time (s) 328.98 Current children cumulated vsize (Kb) 217504 [startup+340.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74111 0 0 0 33673 224 0 0 25 0 1 0 21951807 222724096 40744 4294967295 134512640 135987407 3221224560 3221223376 134824717 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54376 40744 364 364 0 54012 0 [pid=9307] vsize: 217504 Current children cumulated CPU time (s) 338.97 Current children cumulated vsize (Kb) 217504 [startup+350.022 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74116 0 0 0 34672 224 0 0 25 0 1 0 21951807 222724096 40749 4294967295 134512640 135987407 3221224560 3221223320 134812118 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54376 40749 364 364 0 54012 0 [pid=9307] vsize: 217504 Current children cumulated CPU time (s) 348.96 Current children cumulated vsize (Kb) 217504 [startup+360.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74130 0 0 0 35671 224 0 0 25 0 1 0 21951807 222724096 40763 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54376 40763 364 364 0 54012 0 [pid=9307] vsize: 217504 Current children cumulated CPU time (s) 358.95 Current children cumulated vsize (Kb) 217504 [startup+370.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74314 0 0 0 36669 225 0 0 25 0 1 0 21951807 223252480 40882 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54505 40882 364 364 0 54141 0 [pid=9307] vsize: 218020 Current children cumulated CPU time (s) 368.94 Current children cumulated vsize (Kb) 218020 [startup+380.023 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74321 0 0 0 37668 226 0 0 25 0 1 0 21951807 223252480 40889 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54505 40889 364 364 0 54141 0 [pid=9307] vsize: 218020 Current children cumulated CPU time (s) 378.94 Current children cumulated vsize (Kb) 218020 [startup+390.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74325 0 0 0 38668 226 0 0 25 0 1 0 21951807 223252480 40893 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54505 40893 364 364 0 54141 0 [pid=9307] vsize: 218020 Current children cumulated CPU time (s) 388.94 Current children cumulated vsize (Kb) 218020 [startup+400.024 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74332 0 0 0 39667 227 0 0 25 0 1 0 21951807 223252480 40900 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54505 40900 364 364 0 54141 0 [pid=9307] vsize: 218020 Current children cumulated CPU time (s) 398.94 Current children cumulated vsize (Kb) 218020 [startup+410.025 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 75173 0 0 0 40665 228 0 0 25 0 1 0 21951807 223252480 40904 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54505 40904 364 364 0 54141 0 [pid=9307] vsize: 218020 Current children cumulated CPU time (s) 408.93 Current children cumulated vsize (Kb) 218020 [startup+420.025 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 75180 0 0 0 41664 229 0 0 25 0 1 0 21951807 223252480 40911 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54505 40911 364 364 0 54141 0 [pid=9307] vsize: 218020 Current children cumulated CPU time (s) 418.93 Current children cumulated vsize (Kb) 218020 [startup+430.025 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 75189 0 0 0 42663 229 0 0 25 0 1 0 21951807 223252480 40920 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54505 40920 364 364 0 54141 0 [pid=9307] vsize: 218020 Current children cumulated CPU time (s) 428.92 Current children cumulated vsize (Kb) 218020 [startup+440.026 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 75256 0 0 0 43662 230 0 0 25 0 1 0 21951807 223518720 40987 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 40987 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 438.92 Current children cumulated vsize (Kb) 218280 [startup+450.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 75263 0 0 0 44661 230 0 0 25 0 1 0 21951807 223518720 40994 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 40994 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 448.91 Current children cumulated vsize (Kb) 218280 [startup+460.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 75271 0 0 0 45660 230 0 0 25 0 1 0 21951807 223518720 41002 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 41002 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 458.9 Current children cumulated vsize (Kb) 218280 [startup+470.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76110 0 0 0 46657 232 0 0 25 0 1 0 21951807 223518720 41004 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 41004 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 468.89 Current children cumulated vsize (Kb) 218280 [startup+480.027 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76111 0 0 0 47656 233 0 0 25 0 1 0 21951807 223518720 41005 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 41005 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 478.89 Current children cumulated vsize (Kb) 218280 [startup+490.028 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76112 0 0 0 48656 233 0 0 25 0 1 0 21951807 223518720 41006 4294967295 134512640 135987407 3221224560 3221223344 134812278 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 41006 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 488.89 Current children cumulated vsize (Kb) 218280 [startup+500.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76122 0 0 0 49655 233 0 0 25 0 1 0 21951807 223518720 41016 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 41016 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 498.88 Current children cumulated vsize (Kb) 218280 [startup+510.029 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76126 0 0 0 50653 234 0 0 25 0 1 0 21951807 223518720 41020 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 41020 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 508.87 Current children cumulated vsize (Kb) 218280 [startup+520.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76154 0 0 0 51651 235 0 0 25 0 1 0 21951807 223518720 41048 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 41048 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 518.86 Current children cumulated vsize (Kb) 218280 [startup+530.03 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76991 0 0 0 52648 237 0 0 25 0 1 0 21951807 223518720 41048 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 41048 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 528.85 Current children cumulated vsize (Kb) 218280 [startup+540.031 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76998 0 0 0 53647 238 0 0 25 0 1 0 21951807 223518720 41055 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 41055 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 538.85 Current children cumulated vsize (Kb) 218280 [startup+550.032 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 77005 0 0 0 54647 238 0 0 25 0 1 0 21951807 223518720 41062 4294967295 134512640 135987407 3221224560 3221223392 135288093 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 41062 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 548.85 Current children cumulated vsize (Kb) 218280 [startup+560.033 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 77014 0 0 0 55645 239 0 0 25 0 1 0 21951807 223518720 41071 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54570 41071 364 364 0 54206 0 [pid=9307] vsize: 218280 Current children cumulated CPU time (s) 558.84 Current children cumulated vsize (Kb) 218280 [startup+570.034 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 77316 0 0 0 56640 241 0 0 25 0 1 0 21951807 224575488 41243 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 54828 41243 364 364 0 54464 0 [pid=9307] vsize: 219312 Current children cumulated CPU time (s) 568.81 Current children cumulated vsize (Kb) 219312 [startup+580.033 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 77719 0 0 0 57634 243 0 0 25 0 1 0 21951807 225497088 41483 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55053 41483 364 364 0 54689 0 [pid=9307] vsize: 220212 Current children cumulated CPU time (s) 578.77 Current children cumulated vsize (Kb) 220212 [startup+590.035 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 78597 0 0 0 58630 247 0 0 25 0 1 0 21951807 225763328 41524 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55118 41524 364 364 0 54754 0 [pid=9307] vsize: 220472 Current children cumulated CPU time (s) 588.77 Current children cumulated vsize (Kb) 220472 [startup+600.036 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 78776 0 0 0 59628 248 0 0 25 0 1 0 21951807 226287616 41573 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55246 41573 364 364 0 54882 0 [pid=9307] vsize: 220984 Current children cumulated CPU time (s) 598.76 Current children cumulated vsize (Kb) 220984 [startup+610.036 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 78888 0 0 0 60625 248 0 0 25 0 1 0 21951807 226549760 41620 4294967295 134512640 135987407 3221224560 3221223376 134824777 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55310 41620 364 364 0 54946 0 [pid=9307] vsize: 221240 Current children cumulated CPU time (s) 608.73 Current children cumulated vsize (Kb) 221240 [startup+620.037 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 79018 0 0 0 61623 249 0 0 25 0 1 0 21951807 226811904 41685 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55374 41685 364 364 0 55010 0 [pid=9307] vsize: 221496 Current children cumulated CPU time (s) 618.72 Current children cumulated vsize (Kb) 221496 [startup+630.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 79033 0 0 0 62617 251 0 0 25 0 1 0 21951807 226811904 41700 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55374 41700 364 364 0 55010 0 [pid=9307] vsize: 221496 Current children cumulated CPU time (s) 628.68 Current children cumulated vsize (Kb) 221496 [startup+640.038 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 79042 0 0 0 63612 252 0 0 25 0 1 0 21951807 226811904 41709 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55374 41709 364 364 0 55010 0 [pid=9307] vsize: 221496 Current children cumulated CPU time (s) 638.64 Current children cumulated vsize (Kb) 221496 [startup+650.039 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 79054 0 0 0 64608 254 0 0 25 0 1 0 21951807 226811904 41721 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55374 41721 364 364 0 55010 0 [pid=9307] vsize: 221496 Current children cumulated CPU time (s) 648.62 Current children cumulated vsize (Kb) 221496 [startup+660.04 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 79991 0 0 0 65603 257 0 0 25 0 1 0 21951807 230506496 42625 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56276 42625 364 364 0 55912 0 [pid=9307] vsize: 225104 Current children cumulated CPU time (s) 658.6 Current children cumulated vsize (Kb) 225104 [startup+670.041 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 79998 0 0 0 66602 258 0 0 25 0 1 0 21951807 227078144 41795 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55439 41795 364 364 0 55075 0 [pid=9307] vsize: 221756 Current children cumulated CPU time (s) 668.6 Current children cumulated vsize (Kb) 221756 [startup+680.041 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80005 0 0 0 67600 258 0 0 25 0 1 0 21951807 227078144 41802 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55439 41802 364 364 0 55075 0 [pid=9307] vsize: 221756 Current children cumulated CPU time (s) 678.58 Current children cumulated vsize (Kb) 221756 [startup+690.042 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80038 0 0 0 68596 260 0 0 25 0 1 0 21951807 227078144 41835 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55439 41835 364 364 0 55075 0 [pid=9307] vsize: 221756 Current children cumulated CPU time (s) 688.56 Current children cumulated vsize (Kb) 221756 [startup+700.043 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80062 0 0 0 69592 261 0 0 25 0 1 0 21951807 227078144 41859 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55439 41859 364 364 0 55075 0 [pid=9307] vsize: 221756 Current children cumulated CPU time (s) 698.53 Current children cumulated vsize (Kb) 221756 [startup+710.044 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80314 0 0 0 70586 263 0 0 25 0 1 0 21951807 227868672 41981 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55632 41981 364 364 0 55268 0 [pid=9307] vsize: 222528 Current children cumulated CPU time (s) 708.49 Current children cumulated vsize (Kb) 222528 [startup+720.045 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80321 0 0 0 71583 265 0 0 25 0 1 0 21951807 227868672 41988 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55632 41988 364 364 0 55268 0 [pid=9307] vsize: 222528 Current children cumulated CPU time (s) 718.48 Current children cumulated vsize (Kb) 222528 [startup+730.046 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80326 0 0 0 72578 267 0 0 25 0 1 0 21951807 227868672 41993 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55632 41993 364 364 0 55268 0 [pid=9307] vsize: 222528 Current children cumulated CPU time (s) 728.45 Current children cumulated vsize (Kb) 222528 [startup+740.045 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80400 0 0 0 73573 269 0 0 25 0 1 0 21951807 228134912 42067 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55697 42067 364 364 0 55333 0 [pid=9307] vsize: 222788 Current children cumulated CPU time (s) 738.42 Current children cumulated vsize (Kb) 222788 [startup+750.046 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80406 0 0 0 74569 270 0 0 25 0 1 0 21951807 228134912 42073 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55697 42073 364 364 0 55333 0 [pid=9307] vsize: 222788 Current children cumulated CPU time (s) 748.39 Current children cumulated vsize (Kb) 222788 [startup+760.047 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80424 0 0 0 75564 270 0 0 25 0 1 0 21951807 228134912 42091 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55697 42091 364 364 0 55333 0 [pid=9307] vsize: 222788 Current children cumulated CPU time (s) 758.34 Current children cumulated vsize (Kb) 222788 [startup+770.048 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80499 0 0 0 76561 271 0 0 25 0 1 0 21951807 228397056 42101 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55761 42101 364 364 0 55397 0 [pid=9307] vsize: 223044 Current children cumulated CPU time (s) 768.32 Current children cumulated vsize (Kb) 223044 [startup+780.048 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81350 0 0 0 77557 274 0 0 25 0 1 0 21951807 228397056 42115 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55761 42115 364 364 0 55397 0 [pid=9307] vsize: 223044 Current children cumulated CPU time (s) 778.31 Current children cumulated vsize (Kb) 223044 [startup+790.048 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81355 0 0 0 78553 275 0 0 25 0 1 0 21951807 228397056 42120 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55761 42120 364 364 0 55397 0 [pid=9307] vsize: 223044 Current children cumulated CPU time (s) 788.28 Current children cumulated vsize (Kb) 223044 [startup+800.048 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81393 0 0 0 79548 277 0 0 25 0 1 0 21951807 228397056 42158 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55761 42158 364 364 0 55397 0 [pid=9307] vsize: 223044 Current children cumulated CPU time (s) 798.25 Current children cumulated vsize (Kb) 223044 [startup+810.048 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81398 0 0 0 80543 280 0 0 25 0 1 0 21951807 228397056 42163 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55761 42163 364 364 0 55397 0 [pid=9307] vsize: 223044 Current children cumulated CPU time (s) 808.23 Current children cumulated vsize (Kb) 223044 [startup+820.049 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81435 0 0 0 81540 281 0 0 25 0 1 0 21951807 228397056 42200 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55761 42200 364 364 0 55397 0 [pid=9307] vsize: 223044 Current children cumulated CPU time (s) 818.21 Current children cumulated vsize (Kb) 223044 [startup+830.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81558 0 0 0 82536 282 0 0 25 0 1 0 21951807 228659200 42258 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55825 42258 364 364 0 55461 0 [pid=9307] vsize: 223300 Current children cumulated CPU time (s) 828.18 Current children cumulated vsize (Kb) 223300 [startup+840.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81571 0 0 0 83532 284 0 0 25 0 1 0 21951807 228659200 42271 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55825 42271 364 364 0 55461 0 [pid=9307] vsize: 223300 Current children cumulated CPU time (s) 838.16 Current children cumulated vsize (Kb) 223300 [startup+850.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81576 0 0 0 84529 284 0 0 25 0 1 0 21951807 228659200 42276 4294967295 134512640 135987407 3221224560 3221223020 135480560 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55825 42276 364 364 0 55461 0 [pid=9307] vsize: 223300 Current children cumulated CPU time (s) 848.13 Current children cumulated vsize (Kb) 223300 [startup+860.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81589 0 0 0 85525 286 0 0 25 0 1 0 21951807 228659200 42289 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55825 42289 364 364 0 55461 0 [pid=9307] vsize: 223300 Current children cumulated CPU time (s) 858.11 Current children cumulated vsize (Kb) 223300 [startup+870.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81694 0 0 0 86520 287 0 0 25 0 1 0 21951807 228921344 42329 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55889 42329 364 364 0 55525 0 [pid=9307] vsize: 223556 Current children cumulated CPU time (s) 868.07 Current children cumulated vsize (Kb) 223556 [startup+880.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81710 0 0 0 87515 289 0 0 25 0 1 0 21951807 228921344 42345 4294967295 134512640 135987407 3221224560 3221223280 134813715 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55889 42345 364 364 0 55525 0 [pid=9307] vsize: 223556 Current children cumulated CPU time (s) 878.04 Current children cumulated vsize (Kb) 223556 [startup+890.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 82548 0 0 0 88512 291 0 0 25 0 1 0 21951807 228921344 42346 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55889 42346 364 364 0 55525 0 [pid=9307] vsize: 223556 Current children cumulated CPU time (s) 888.03 Current children cumulated vsize (Kb) 223556 [startup+900.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 82623 0 0 0 89507 293 0 0 25 0 1 0 21951807 229052416 42388 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55921 42388 364 364 0 55557 0 [pid=9307] vsize: 223684 Current children cumulated CPU time (s) 898 Current children cumulated vsize (Kb) 223684 [startup+910.051 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 82624 0 0 0 90504 294 0 0 25 0 1 0 21951807 229052416 42389 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55921 42389 364 364 0 55557 0 [pid=9307] vsize: 223684 Current children cumulated CPU time (s) 907.98 Current children cumulated vsize (Kb) 223684 [startup+920.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 82624 0 0 0 91503 295 0 0 25 0 1 0 21951807 229052416 42389 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55921 42389 364 364 0 55557 0 [pid=9307] vsize: 223684 Current children cumulated CPU time (s) 917.98 Current children cumulated vsize (Kb) 223684 [startup+930.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 82625 0 0 0 92501 295 0 0 25 0 1 0 21951807 229052416 42390 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55921 42390 364 364 0 55557 0 [pid=9307] vsize: 223684 Current children cumulated CPU time (s) 927.96 Current children cumulated vsize (Kb) 223684 [startup+940.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 82629 0 0 0 93500 296 0 0 25 0 1 0 21951807 229052416 42394 4294967295 134512640 135987407 3221224560 3221223280 134813720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55921 42394 364 364 0 55557 0 [pid=9307] vsize: 223684 Current children cumulated CPU time (s) 937.96 Current children cumulated vsize (Kb) 223684 [startup+950.053 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 83467 0 0 0 94497 298 0 0 25 0 1 0 21951807 229052416 42395 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55921 42395 364 364 0 55557 0 [pid=9307] vsize: 223684 Current children cumulated CPU time (s) 947.95 Current children cumulated vsize (Kb) 223684 [startup+960.052 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 83468 0 0 0 95496 299 0 0 25 0 1 0 21951807 229052416 42396 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55921 42396 364 364 0 55557 0 [pid=9307] vsize: 223684 Current children cumulated CPU time (s) 957.95 Current children cumulated vsize (Kb) 223684 [startup+970.053 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 83470 0 0 0 96495 299 0 0 25 0 1 0 21951807 229052416 42398 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55921 42398 364 364 0 55557 0 [pid=9307] vsize: 223684 Current children cumulated CPU time (s) 967.94 Current children cumulated vsize (Kb) 223684 [startup+980.053 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 83471 0 0 0 97493 300 0 0 25 0 1 0 21951807 229052416 42399 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55921 42399 364 364 0 55557 0 [pid=9307] vsize: 223684 Current children cumulated CPU time (s) 977.93 Current children cumulated vsize (Kb) 223684 [startup+990.053 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 83472 0 0 0 98490 300 0 0 25 0 1 0 21951807 229052416 42400 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55921 42400 364 364 0 55557 0 [pid=9307] vsize: 223684 Current children cumulated CPU time (s) 987.9 Current children cumulated vsize (Kb) 223684 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 83477 0 0 0 99488 301 0 0 25 0 1 0 21951807 229052416 42405 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55921 42405 364 364 0 55557 0 [pid=9307] vsize: 223684 Current children cumulated CPU time (s) 997.89 Current children cumulated vsize (Kb) 223684 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.93 1/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) T 9306 9307 4060 0 -1 0 84315 0 0 0 100482 304 0 0 25 0 1 0 21951807 229052416 42406 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9307/statm): 55921 42406 364 364 0 55557 0 [pid=9307] vsize: 223684 Current children cumulated CPU time (s) 1007.86 Current children cumulated vsize (Kb) 223684 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 84421 0 0 0 101478 305 0 0 25 0 1 0 21951807 229314560 42447 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55985 42447 364 364 0 55621 0 [pid=9307] vsize: 223940 Current children cumulated CPU time (s) 1017.83 Current children cumulated vsize (Kb) 223940 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 84443 0 0 0 102475 307 0 0 25 0 1 0 21951807 229314560 42469 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55985 42469 364 364 0 55621 0 [pid=9307] vsize: 223940 Current children cumulated CPU time (s) 1027.82 Current children cumulated vsize (Kb) 223940 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 84443 0 0 0 103470 308 0 0 25 0 1 0 21951807 229314560 42469 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 55985 42469 364 364 0 55621 0 [pid=9307] vsize: 223940 Current children cumulated CPU time (s) 1037.78 Current children cumulated vsize (Kb) 223940 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 84479 0 0 0 104462 311 0 0 25 0 1 0 21951807 229580800 42505 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56050 42505 364 364 0 55686 0 [pid=9307] vsize: 224200 Current children cumulated CPU time (s) 1047.73 Current children cumulated vsize (Kb) 224200 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 85383 0 0 0 105446 318 0 0 25 0 1 0 21951807 230113280 42572 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56180 42572 364 364 0 55816 0 [pid=9307] vsize: 224720 Current children cumulated CPU time (s) 1057.64 Current children cumulated vsize (Kb) 224720 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 85384 0 0 0 106443 319 0 0 25 0 1 0 21951807 230113280 42573 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56180 42573 364 364 0 55816 0 [pid=9307] vsize: 224720 Current children cumulated CPU time (s) 1067.62 Current children cumulated vsize (Kb) 224720 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 85385 0 0 0 107440 320 0 0 25 0 1 0 21951807 230113280 42574 4294967295 134512640 135987407 3221224560 3221223424 134812638 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56180 42574 364 364 0 55816 0 [pid=9307] vsize: 224720 Current children cumulated CPU time (s) 1077.6 Current children cumulated vsize (Kb) 224720 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 85395 0 0 0 108435 322 0 0 25 0 1 0 21951807 230113280 42584 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56180 42584 364 364 0 55816 0 [pid=9307] vsize: 224720 Current children cumulated CPU time (s) 1087.57 Current children cumulated vsize (Kb) 224720 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 85471 0 0 0 109429 324 0 0 25 0 1 0 21951807 230113280 42660 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56180 42660 364 364 0 55816 0 [pid=9307] vsize: 224720 Current children cumulated CPU time (s) 1097.53 Current children cumulated vsize (Kb) 224720 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 86415 0 0 0 110421 329 0 0 25 0 1 0 21951807 230375424 42702 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56244 42702 364 364 0 55880 0 [pid=9307] vsize: 224976 Current children cumulated CPU time (s) 1107.5 Current children cumulated vsize (Kb) 224976 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 86415 0 0 0 111418 330 0 0 25 0 1 0 21951807 230375424 42702 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56244 42702 364 364 0 55880 0 [pid=9307] vsize: 224976 Current children cumulated CPU time (s) 1117.48 Current children cumulated vsize (Kb) 224976 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 86423 0 0 0 112414 332 0 0 25 0 1 0 21951807 230375424 42710 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56244 42710 364 364 0 55880 0 [pid=9307] vsize: 224976 Current children cumulated CPU time (s) 1127.46 Current children cumulated vsize (Kb) 224976 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 86424 0 0 0 113408 333 0 0 25 0 1 0 21951807 230375424 42711 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56244 42711 364 364 0 55880 0 [pid=9307] vsize: 224976 Current children cumulated CPU time (s) 1137.41 Current children cumulated vsize (Kb) 224976 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 86425 0 0 0 114406 334 0 0 25 0 1 0 21951807 230375424 42712 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56244 42712 364 364 0 55880 0 [pid=9307] vsize: 224976 Current children cumulated CPU time (s) 1147.4 Current children cumulated vsize (Kb) 224976 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 86425 0 0 0 115403 335 0 0 25 0 1 0 21951807 230375424 42712 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9307/statm): 56244 42712 364 364 0 55880 0 [pid=9307] vsize: 224976 Current children cumulated CPU time (s) 1157.38 Current children cumulated vsize (Kb) 224976 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 87264 0 0 0 116397 338 0 0 25 0 1 0 21951807 230375424 42714 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 56244 42714 364 364 0 55880 0 [pid=9307] vsize: 224976 Current children cumulated CPU time (s) 1167.35 Current children cumulated vsize (Kb) 224976 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 87265 0 0 0 117395 339 0 0 25 0 1 0 21951807 230375424 42715 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 56244 42715 364 364 0 55880 0 [pid=9307] vsize: 224976 Current children cumulated CPU time (s) 1177.34 Current children cumulated vsize (Kb) 224976 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 87285 0 0 0 118391 340 0 0 25 0 1 0 21951807 230375424 42735 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 56244 42735 364 364 0 55880 0 [pid=9307] vsize: 224976 Current children cumulated CPU time (s) 1187.31 Current children cumulated vsize (Kb) 224976 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 87401 0 0 0 119386 343 0 0 25 0 1 0 21951807 230637568 42786 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 56308 42786 364 364 0 55944 0 [pid=9307] vsize: 225232 Current children cumulated CPU time (s) 1197.29 Current children cumulated vsize (Kb) 225232 [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 87402 0 0 0 120380 345 0 0 25 0 1 0 21951807 230637568 42787 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 56308 42787 364 364 0 55944 0 [pid=9307] vsize: 225232 Current children cumulated CPU time (s) 1207.25 Current children cumulated vsize (Kb) 225232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.93 2/55 9307 Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 87402 0 0 0 120381 345 0 0 25 0 1 0 21951807 230637568 42787 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9307/statm): 56308 42787 364 364 0 55944 0 [pid=9307] vsize: 225232 Current children cumulated CPU time (s) 1207.26 Current children cumulated vsize (Kb) 225232 Sending SIGTERM to -9307 Sleeping 2 seconds One traced child (pid=9307) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1210.72 CPU time (s): 1207.92 CPU user time (s): 1204.37 CPU system time (s): 3.54946 CPU usage (%): 99.7684 Max. virtual memory (cumulated for all children) (Kb): 225232
ERROR: no interpretation found !