Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pk1.opb |
MD5SUM | ca2f95c2509c09ae8cf1945e12d0eb97 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 30 |
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 | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2150078462 |
Number of bits of the biggest sum of numbers | 32 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 985 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 55 |
Number of constraints which are nor clauses,nor cardinality constraints | 45 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 115 |
LAUNCH ON wulflinc12 THE 2005-09-23 16:59:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8860 boxname=wulflinc12 idbench=656 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: ca2f95c2509c09ae8cf1945e12d0eb97 /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-pk1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-pk1.opb IDLAUNCH: 8860 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 951252 kB Buffers: 5856 kB Cached: 58404 kB SwapCached: 0 kB Active: 17988 kB Inactive: 49148 kB HighTotal: 131008 kB HighFree: 90608 kB LowTotal: 903652 kB LowFree: 860644 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 10816 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:20:06 (client local time) WITH STATUS 0 IN 1210.12 SECONDS stats: 8860 7 1210.12 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 182/911567 Time: 212.501/86400 c Decision: 182/911567 Time: 312.753/86400 c Decision: 182/911567 Time: 448.121/86400 c Decision: 182/911567 Time: 517.101/86400 c Decision: 194/911567 Time: 741.655/86400 c Decision: 194/911567 Time: 964.79/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/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21818454 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 373 2 364 364 0 9 0 [pid=9031] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-pk1.opb [startup+10.0023 s] Raw data (loadavg): 0.93 0.97 0.98 2/56 9032 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 28190 0 0 0 932 65 0 0 25 0 1 0 21818454 81833984 17072 4294967295 134512640 135987407 3221224560 3221210576 134640427 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 19979 17072 364 364 0 19615 0 [pid=9031] vsize: 79916 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 79916 [startup+20.0031 s] Raw data (loadavg): 1.01 0.98 0.98 2/55 9086 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 55310 0 0 0 1867 128 0 0 25 0 1 0 21818454 159141888 32964 4294967295 134512640 135987407 3221224560 3221203048 134866066 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 38853 32964 364 364 0 38489 0 [pid=9031] vsize: 155412 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 155412 [startup+30.004 s] Raw data (loadavg): 1.01 0.98 0.98 2/55 9086 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 94303 0 0 0 2784 210 0 0 25 0 1 0 21818454 309297152 49759 4294967295 134512640 135987407 3221224560 3221207368 134854861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 75512 49759 364 364 0 75148 0 [pid=9031] vsize: 302048 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 302048 [startup+40.0038 s] Raw data (loadavg): 1.01 0.98 0.98 2/55 9086 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 110021 0 0 0 3747 247 0 0 25 0 1 0 21818454 313487360 65215 4294967295 134512640 135987407 3221224560 3221206880 134640127 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 76535 65215 364 364 0 76171 0 [pid=9031] vsize: 306140 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 306140 [startup+50.0046 s] Raw data (loadavg): 1.01 0.98 0.98 2/55 9086 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 117490 0 0 0 4713 270 0 0 25 0 1 0 21818454 335998976 70696 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 82031 70696 364 364 0 81667 0 [pid=9031] vsize: 328124 Current children cumulated CPU time (s) 49.83 Current children cumulated vsize (Kb) 328124 [startup+60.0045 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9086 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 118166 0 0 0 5700 276 0 0 25 0 1 0 21818454 338853888 71209 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 82728 71209 364 364 0 82364 0 [pid=9031] vsize: 330912 Current children cumulated CPU time (s) 59.76 Current children cumulated vsize (Kb) 330912 [startup+70.0053 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9088 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 119510 0 0 0 6696 279 0 0 25 0 1 0 21818454 342790144 71933 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 83689 71933 364 364 0 83325 0 [pid=9031] vsize: 334756 Current children cumulated CPU time (s) 69.75 Current children cumulated vsize (Kb) 334756 [startup+80.0061 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9090 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 120056 0 0 0 7694 281 0 0 25 0 1 0 21818454 344616960 72156 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 84135 72156 364 364 0 83771 0 [pid=9031] vsize: 336540 Current children cumulated CPU time (s) 79.75 Current children cumulated vsize (Kb) 336540 [startup+90.006 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 120346 0 0 0 8692 281 0 0 25 0 1 0 21818454 345886720 72317 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 84445 72317 364 364 0 84081 0 [pid=9031] vsize: 337780 Current children cumulated CPU time (s) 89.73 Current children cumulated vsize (Kb) 337780 [startup+100.007 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 120895 0 0 0 9691 283 0 0 25 0 1 0 21818454 347602944 72574 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 84864 72574 364 364 0 84500 0 [pid=9031] vsize: 339456 Current children cumulated CPU time (s) 99.74 Current children cumulated vsize (Kb) 339456 [startup+110.008 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 121019 0 0 0 10690 283 0 0 25 0 1 0 21818454 348139520 72665 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 84995 72665 364 364 0 84631 0 [pid=9031] vsize: 339980 Current children cumulated CPU time (s) 109.73 Current children cumulated vsize (Kb) 339980 [startup+120.008 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 121418 0 0 0 11689 284 0 0 25 0 1 0 21818454 349659136 72869 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 85366 72869 364 364 0 85002 0 [pid=9031] vsize: 341464 Current children cumulated CPU time (s) 119.73 Current children cumulated vsize (Kb) 341464 [startup+130.008 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 122435 0 0 0 12686 286 0 0 25 0 1 0 21818454 352686080 73335 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 86105 73335 364 364 0 85741 0 [pid=9031] vsize: 344420 Current children cumulated CPU time (s) 129.72 Current children cumulated vsize (Kb) 344420 [startup+140.008 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 123548 0 0 0 13683 289 0 0 25 0 1 0 21818454 355590144 73894 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 86814 73894 364 364 0 86450 0 [pid=9031] vsize: 347256 Current children cumulated CPU time (s) 139.72 Current children cumulated vsize (Kb) 347256 [startup+150.009 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 124112 0 0 0 14681 290 0 0 25 0 1 0 21818454 357376000 74102 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 87250 74102 364 364 0 86886 0 [pid=9031] vsize: 349000 Current children cumulated CPU time (s) 149.71 Current children cumulated vsize (Kb) 349000 [startup+160.009 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 124680 0 0 0 15680 291 0 0 25 0 1 0 21818454 358948864 74283 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 87634 74283 364 364 0 87270 0 [pid=9031] vsize: 350536 Current children cumulated CPU time (s) 159.71 Current children cumulated vsize (Kb) 350536 [startup+170.009 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 124855 0 0 0 16679 292 0 0 25 0 1 0 21818454 359211008 74393 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 87698 74393 364 364 0 87334 0 [pid=9031] vsize: 350792 Current children cumulated CPU time (s) 169.71 Current children cumulated vsize (Kb) 350792 [startup+180.01 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 125108 0 0 0 17679 292 0 0 25 0 1 0 21818454 359735296 74517 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 87826 74517 364 364 0 87462 0 [pid=9031] vsize: 351304 Current children cumulated CPU time (s) 179.71 Current children cumulated vsize (Kb) 351304 [startup+190.01 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 125298 0 0 0 18678 293 0 0 25 0 1 0 21818454 359997440 74642 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 87890 74642 364 364 0 87526 0 [pid=9031] vsize: 351560 Current children cumulated CPU time (s) 189.71 Current children cumulated vsize (Kb) 351560 [startup+200.011 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 125488 0 0 0 19677 294 0 0 25 0 1 0 21818454 360521728 74703 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 88018 74703 364 364 0 87654 0 [pid=9031] vsize: 352072 Current children cumulated CPU time (s) 199.71 Current children cumulated vsize (Kb) 352072 [startup+210.011 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 125808 0 0 0 20676 295 0 0 25 0 1 0 21818454 361570304 74765 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 88274 74765 364 364 0 87910 0 [pid=9031] vsize: 353096 Current children cumulated CPU time (s) 209.71 Current children cumulated vsize (Kb) 353096 [startup+220.011 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 125810 0 0 0 21676 295 0 0 25 0 1 0 21818454 361570304 74767 4294967295 134512640 135987407 3221224560 3221223248 134811920 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 88274 74767 364 364 0 87910 0 [pid=9031] vsize: 353096 Current children cumulated CPU time (s) 219.71 Current children cumulated vsize (Kb) 353096 [startup+230.012 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 125813 0 0 0 22675 295 0 0 25 0 1 0 21818454 361570304 74770 4294967295 134512640 135987407 3221224560 3221223424 134812650 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 88274 74770 364 364 0 87910 0 [pid=9031] vsize: 353096 Current children cumulated CPU time (s) 229.7 Current children cumulated vsize (Kb) 353096 [startup+240.012 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 126179 0 0 0 23674 296 0 0 25 0 1 0 21818454 362618880 74878 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 88530 74878 364 364 0 88166 0 [pid=9031] vsize: 354120 Current children cumulated CPU time (s) 239.7 Current children cumulated vsize (Kb) 354120 [startup+250.012 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 127993 0 0 0 24670 300 0 0 25 0 1 0 21818454 362618880 74911 4294967295 134512640 135987407 3221224560 3221223328 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 88530 74911 364 364 0 88166 0 [pid=9031] vsize: 354120 Current children cumulated CPU time (s) 249.7 Current children cumulated vsize (Kb) 354120 [startup+260.013 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 129332 0 0 0 25667 302 0 0 25 0 1 0 21818454 366809088 75664 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 89553 75664 364 364 0 89189 0 [pid=9031] vsize: 358212 Current children cumulated CPU time (s) 259.69 Current children cumulated vsize (Kb) 358212 [startup+270.013 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 129600 0 0 0 26666 303 0 0 25 0 1 0 21818454 367734784 75834 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 89779 75834 364 364 0 89415 0 [pid=9031] vsize: 359116 Current children cumulated CPU time (s) 269.69 Current children cumulated vsize (Kb) 359116 [startup+280.014 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 129642 0 0 0 27664 304 0 0 25 0 1 0 21818454 367734784 75876 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 89779 75876 364 364 0 89415 0 [pid=9031] vsize: 359116 Current children cumulated CPU time (s) 279.68 Current children cumulated vsize (Kb) 359116 [startup+290.015 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 129644 0 0 0 28664 304 0 0 25 0 1 0 21818454 367734784 75878 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 89779 75878 364 364 0 89415 0 [pid=9031] vsize: 359116 Current children cumulated CPU time (s) 289.68 Current children cumulated vsize (Kb) 359116 [startup+300.016 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 129669 0 0 0 29663 304 0 0 25 0 1 0 21818454 367734784 75903 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 89779 75903 364 364 0 89415 0 [pid=9031] vsize: 359116 Current children cumulated CPU time (s) 299.67 Current children cumulated vsize (Kb) 359116 [startup+310.015 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 130121 0 0 0 30660 306 0 0 25 0 1 0 21818454 369053696 76126 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 90101 76126 364 364 0 89737 0 [pid=9031] vsize: 360404 Current children cumulated CPU time (s) 309.66 Current children cumulated vsize (Kb) 360404 [startup+320.016 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 130142 0 0 0 31659 306 0 0 25 0 1 0 21818454 369188864 76147 4294967295 134512640 135987407 3221224560 3221223248 134811756 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 90134 76147 364 364 0 89770 0 [pid=9031] vsize: 360536 Current children cumulated CPU time (s) 319.65 Current children cumulated vsize (Kb) 360536 [startup+330.016 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 130584 0 0 0 32657 307 0 0 25 0 1 0 21818454 370774016 76394 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 90521 76394 364 364 0 90157 0 [pid=9031] vsize: 362084 Current children cumulated CPU time (s) 329.64 Current children cumulated vsize (Kb) 362084 [startup+340.016 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 130614 0 0 0 33656 307 0 0 25 0 1 0 21818454 370774016 76424 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 90521 76424 364 364 0 90157 0 [pid=9031] vsize: 362084 Current children cumulated CPU time (s) 339.63 Current children cumulated vsize (Kb) 362084 [startup+350.017 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 130669 0 0 0 34655 308 0 0 25 0 1 0 21818454 370774016 76446 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 90521 76446 364 364 0 90157 0 [pid=9031] vsize: 362084 Current children cumulated CPU time (s) 349.63 Current children cumulated vsize (Kb) 362084 [startup+360.018 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9092 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 133416 0 0 0 35647 315 0 0 25 0 1 0 21818454 374083584 77018 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 91329 77018 364 364 0 90965 0 [pid=9031] vsize: 365316 Current children cumulated CPU time (s) 359.62 Current children cumulated vsize (Kb) 365316 [startup+370.017 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 134591 0 0 0 36643 318 0 0 25 0 1 0 21818454 377245696 77608 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 92101 77608 364 364 0 91737 0 [pid=9031] vsize: 368404 Current children cumulated CPU time (s) 369.61 Current children cumulated vsize (Kb) 368404 [startup+380.018 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 135481 0 0 0 37639 320 0 0 25 0 1 0 21818454 379482112 78076 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 92647 78076 364 364 0 92283 0 [pid=9031] vsize: 370588 Current children cumulated CPU time (s) 379.59 Current children cumulated vsize (Kb) 370588 [startup+390.019 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 138230 0 0 0 38632 326 0 0 25 0 1 0 21818454 386969600 79244 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 94475 79244 364 364 0 94111 0 [pid=9031] vsize: 377900 Current children cumulated CPU time (s) 389.58 Current children cumulated vsize (Kb) 377900 [startup+400.02 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 138453 0 0 0 39631 327 0 0 25 0 1 0 21818454 387764224 79467 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 94669 79467 364 364 0 94305 0 [pid=9031] vsize: 378676 Current children cumulated CPU time (s) 399.58 Current children cumulated vsize (Kb) 378676 [startup+410.021 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 139134 0 0 0 40629 328 0 0 25 0 1 0 21818454 388939776 79792 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 94956 79792 364 364 0 94592 0 [pid=9031] vsize: 379824 Current children cumulated CPU time (s) 409.57 Current children cumulated vsize (Kb) 379824 [startup+420.021 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 139712 0 0 0 41625 330 0 0 25 0 1 0 21818454 390516736 80047 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 95341 80047 364 364 0 94977 0 [pid=9031] vsize: 381364 Current children cumulated CPU time (s) 419.55 Current children cumulated vsize (Kb) 381364 [startup+430.022 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 139798 0 0 0 42623 331 0 0 25 0 1 0 21818454 390516736 80133 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 95341 80133 364 364 0 94977 0 [pid=9031] vsize: 381364 Current children cumulated CPU time (s) 429.54 Current children cumulated vsize (Kb) 381364 [startup+440.021 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 140360 0 0 0 43621 332 0 0 25 0 1 0 21818454 392237056 80501 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 95761 80501 364 364 0 95397 0 [pid=9031] vsize: 383044 Current children cumulated CPU time (s) 439.53 Current children cumulated vsize (Kb) 383044 [startup+450.022 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 141388 0 0 0 44617 335 0 0 25 0 1 0 21818454 395685888 81042 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 96603 81042 364 364 0 96239 0 [pid=9031] vsize: 386412 Current children cumulated CPU time (s) 449.52 Current children cumulated vsize (Kb) 386412 [startup+460.023 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 141494 0 0 0 45614 336 0 0 25 0 1 0 21818454 396349440 81148 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 96765 81148 364 364 0 96401 0 [pid=9031] vsize: 387060 Current children cumulated CPU time (s) 459.5 Current children cumulated vsize (Kb) 387060 [startup+470.023 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 141875 0 0 0 46611 338 0 0 25 0 1 0 21818454 397266944 81302 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 96989 81302 364 364 0 96625 0 [pid=9031] vsize: 387956 Current children cumulated CPU time (s) 469.49 Current children cumulated vsize (Kb) 387956 [startup+480.024 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 142054 0 0 0 47611 339 0 0 25 0 1 0 21818454 397791232 81352 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 97117 81352 364 364 0 96753 0 [pid=9031] vsize: 388468 Current children cumulated CPU time (s) 479.5 Current children cumulated vsize (Kb) 388468 [startup+490.025 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 143996 0 0 0 48605 344 0 0 25 0 1 0 21818454 398454784 81448 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 97279 81448 364 364 0 96915 0 [pid=9031] vsize: 389116 Current children cumulated CPU time (s) 489.49 Current children cumulated vsize (Kb) 389116 [startup+500.025 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 144162 0 0 0 49603 345 0 0 25 0 1 0 21818454 398979072 81484 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 97407 81484 364 364 0 97043 0 [pid=9031] vsize: 389628 Current children cumulated CPU time (s) 499.48 Current children cumulated vsize (Kb) 389628 [startup+510.026 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 145030 0 0 0 50599 348 0 0 25 0 1 0 21818454 400814080 81900 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 97855 81900 364 364 0 97491 0 [pid=9031] vsize: 391420 Current children cumulated CPU time (s) 509.47 Current children cumulated vsize (Kb) 391420 [startup+520.026 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 146759 0 0 0 51595 351 0 0 25 0 1 0 21818454 405286912 82755 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 98947 82755 364 364 0 98583 0 [pid=9031] vsize: 395788 Current children cumulated CPU time (s) 519.46 Current children cumulated vsize (Kb) 395788 [startup+530.027 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 146860 0 0 0 52592 352 0 0 25 0 1 0 21818454 405684224 82823 4294967295 134512640 135987407 3221224560 3221223340 134812407 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 99044 82823 364 364 0 98680 0 [pid=9031] vsize: 396176 Current children cumulated CPU time (s) 529.44 Current children cumulated vsize (Kb) 396176 [startup+540.027 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 147004 0 0 0 53585 356 0 0 25 0 1 0 21818454 405946368 82902 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 99108 82902 364 364 0 98744 0 [pid=9031] vsize: 396432 Current children cumulated CPU time (s) 539.41 Current children cumulated vsize (Kb) 396432 [startup+550.028 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 147010 0 0 0 54568 362 0 0 25 0 1 0 21818454 405946368 82908 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 99108 82908 364 364 0 98744 0 [pid=9031] vsize: 396432 Current children cumulated CPU time (s) 549.3 Current children cumulated vsize (Kb) 396432 [startup+560.027 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149015 0 0 0 55554 370 0 0 25 0 1 0 21818454 406470656 83003 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 99236 83003 364 364 0 98872 0 [pid=9031] vsize: 396944 Current children cumulated CPU time (s) 559.24 Current children cumulated vsize (Kb) 396944 [startup+570.027 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149016 0 0 0 56552 371 0 0 25 0 1 0 21818454 406470656 83004 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 99236 83004 364 364 0 98872 0 [pid=9031] vsize: 396944 Current children cumulated CPU time (s) 569.23 Current children cumulated vsize (Kb) 396944 [startup+580.028 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149023 0 0 0 57552 371 0 0 25 0 1 0 21818454 406470656 83011 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 99236 83011 364 364 0 98872 0 [pid=9031] vsize: 396944 Current children cumulated CPU time (s) 579.23 Current children cumulated vsize (Kb) 396944 [startup+590.029 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149050 0 0 0 58551 371 0 0 25 0 1 0 21818454 406470656 83038 4294967295 134512640 135987407 3221224560 3221223376 134824717 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 99236 83038 364 364 0 98872 0 [pid=9031] vsize: 396944 Current children cumulated CPU time (s) 589.22 Current children cumulated vsize (Kb) 396944 [startup+600.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149423 0 0 0 59551 372 0 0 25 0 1 0 21818454 407519232 83153 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 99492 83153 364 364 0 99128 0 [pid=9031] vsize: 397968 Current children cumulated CPU time (s) 599.23 Current children cumulated vsize (Kb) 397968 [startup+610.031 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149424 0 0 0 60549 372 0 0 25 0 1 0 21818454 407519232 83154 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 99492 83154 364 364 0 99128 0 [pid=9031] vsize: 397968 Current children cumulated CPU time (s) 609.21 Current children cumulated vsize (Kb) 397968 [startup+620.03 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 149832 0 0 0 61546 373 0 0 25 0 1 0 21818454 408567808 83304 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 99748 83304 364 364 0 99384 0 [pid=9031] vsize: 398992 Current children cumulated CPU time (s) 619.19 Current children cumulated vsize (Kb) 398992 [startup+630.031 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 150325 0 0 0 62545 374 0 0 25 0 1 0 21818454 409620480 83603 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 100005 83603 364 364 0 99641 0 [pid=9031] vsize: 400020 Current children cumulated CPU time (s) 629.19 Current children cumulated vsize (Kb) 400020 [startup+640.032 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 150455 0 0 0 63536 377 0 0 25 0 1 0 21818454 410292224 83733 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 100169 83733 364 364 0 99805 0 [pid=9031] vsize: 400676 Current children cumulated CPU time (s) 639.13 Current children cumulated vsize (Kb) 400676 [startup+650.033 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 150459 0 0 0 64525 381 0 0 25 0 1 0 21818454 410292224 83737 4294967295 134512640 135987407 3221224560 3221223316 134811684 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 100169 83737 364 364 0 99805 0 [pid=9031] vsize: 400676 Current children cumulated CPU time (s) 649.06 Current children cumulated vsize (Kb) 400676 [startup+660.033 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 150687 0 0 0 65520 384 0 0 25 0 1 0 21818454 410951680 83836 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 100330 83836 364 364 0 99966 0 [pid=9031] vsize: 401320 Current children cumulated CPU time (s) 659.04 Current children cumulated vsize (Kb) 401320 [startup+670.033 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 150878 0 0 0 66516 385 0 0 25 0 1 0 21818454 411475968 83898 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 100458 83898 364 364 0 100094 0 [pid=9031] vsize: 401832 Current children cumulated CPU time (s) 669.01 Current children cumulated vsize (Kb) 401832 [startup+680.034 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 151014 0 0 0 67514 386 0 0 25 0 1 0 21818454 411738112 83969 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 100522 83969 364 364 0 100158 0 [pid=9031] vsize: 402088 Current children cumulated CPU time (s) 679 Current children cumulated vsize (Kb) 402088 [startup+690.034 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 151180 0 0 0 68511 387 0 0 25 0 1 0 21818454 412000256 84070 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 100586 84070 364 364 0 100222 0 [pid=9031] vsize: 402344 Current children cumulated CPU time (s) 688.98 Current children cumulated vsize (Kb) 402344 [startup+700.035 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 151264 0 0 0 69508 388 0 0 25 0 1 0 21818454 412532736 84154 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 100716 84154 364 364 0 100352 0 [pid=9031] vsize: 402864 Current children cumulated CPU time (s) 698.96 Current children cumulated vsize (Kb) 402864 [startup+710.036 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 151427 0 0 0 70505 389 0 0 25 0 1 0 21818454 413057024 84188 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 100844 84188 364 364 0 100480 0 [pid=9031] vsize: 403376 Current children cumulated CPU time (s) 708.94 Current children cumulated vsize (Kb) 403376 [startup+720.036 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 151952 0 0 0 71503 391 0 0 25 0 1 0 21818454 414498816 84356 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 101196 84356 364 364 0 100832 0 [pid=9031] vsize: 404784 Current children cumulated CPU time (s) 718.94 Current children cumulated vsize (Kb) 404784 [startup+730.037 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 152161 0 0 0 72501 392 0 0 25 0 1 0 21818454 415023104 84436 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 101324 84436 364 364 0 100960 0 [pid=9031] vsize: 405296 Current children cumulated CPU time (s) 728.93 Current children cumulated vsize (Kb) 405296 [startup+740.037 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 152162 0 0 0 73501 392 0 0 25 0 1 0 21818454 415023104 84437 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 101324 84437 364 364 0 100960 0 [pid=9031] vsize: 405296 Current children cumulated CPU time (s) 738.93 Current children cumulated vsize (Kb) 405296 [startup+750.037 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 152168 0 0 0 74500 392 0 0 25 0 1 0 21818454 415023104 84443 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 101324 84443 364 364 0 100960 0 [pid=9031] vsize: 405296 Current children cumulated CPU time (s) 748.92 Current children cumulated vsize (Kb) 405296 [startup+760.038 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 152169 0 0 0 75500 392 0 0 25 0 1 0 21818454 415023104 84444 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 101324 84444 364 364 0 100960 0 [pid=9031] vsize: 405296 Current children cumulated CPU time (s) 758.92 Current children cumulated vsize (Kb) 405296 [startup+770.038 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 152248 0 0 0 76497 393 0 0 25 0 1 0 21818454 415023104 84523 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 101324 84523 364 364 0 100960 0 [pid=9031] vsize: 405296 Current children cumulated CPU time (s) 768.9 Current children cumulated vsize (Kb) 405296 [startup+780.038 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 152251 0 0 0 77493 394 0 0 25 0 1 0 21818454 415023104 84526 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9031/statm): 101324 84526 364 364 0 100960 0 [pid=9031] vsize: 405296 Current children cumulated CPU time (s) 778.87 Current children cumulated vsize (Kb) 405296 [startup+790.038 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 154265 0 0 0 78487 399 0 0 25 0 1 0 21818454 415682560 84661 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 101485 84661 364 364 0 101121 0 [pid=9031] vsize: 405940 Current children cumulated CPU time (s) 788.86 Current children cumulated vsize (Kb) 405940 [startup+800.039 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 155384 0 0 0 79484 402 0 0 25 0 1 0 21818454 418566144 85072 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 102189 85072 364 364 0 101825 0 [pid=9031] vsize: 408756 Current children cumulated CPU time (s) 798.86 Current children cumulated vsize (Kb) 408756 [startup+810.039 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 155972 0 0 0 80482 404 0 0 25 0 1 0 21818454 420139008 85274 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 102573 85274 364 364 0 102209 0 [pid=9031] vsize: 410292 Current children cumulated CPU time (s) 808.86 Current children cumulated vsize (Kb) 410292 [startup+820.039 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 155973 0 0 0 81482 404 0 0 25 0 1 0 21818454 420139008 85275 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 102573 85275 364 364 0 102209 0 [pid=9031] vsize: 410292 Current children cumulated CPU time (s) 818.86 Current children cumulated vsize (Kb) 410292 [startup+830.04 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 155982 0 0 0 82481 405 0 0 25 0 1 0 21818454 420139008 85284 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 102573 85284 364 364 0 102209 0 [pid=9031] vsize: 410292 Current children cumulated CPU time (s) 828.86 Current children cumulated vsize (Kb) 410292 [startup+840.04 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 156337 0 0 0 83480 406 0 0 25 0 1 0 21818454 421187584 85382 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 102829 85382 364 364 0 102465 0 [pid=9031] vsize: 411316 Current children cumulated CPU time (s) 838.86 Current children cumulated vsize (Kb) 411316 [startup+850.041 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 156337 0 0 0 84480 406 0 0 25 0 1 0 21818454 421187584 85382 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 102829 85382 364 364 0 102465 0 [pid=9031] vsize: 411316 Current children cumulated CPU time (s) 848.86 Current children cumulated vsize (Kb) 411316 [startup+860.041 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 156503 0 0 0 85479 406 0 0 25 0 1 0 21818454 421711872 85419 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 102957 85419 364 364 0 102593 0 [pid=9031] vsize: 411828 Current children cumulated CPU time (s) 858.85 Current children cumulated vsize (Kb) 411828 [startup+870.04 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 156896 0 0 0 86478 407 0 0 25 0 1 0 21818454 422760448 85555 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 103213 85555 364 364 0 102849 0 [pid=9031] vsize: 412852 Current children cumulated CPU time (s) 868.85 Current children cumulated vsize (Kb) 412852 [startup+880.041 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 156969 0 0 0 87477 408 0 0 25 0 1 0 21818454 422760448 85628 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 103213 85628 364 364 0 102849 0 [pid=9031] vsize: 412852 Current children cumulated CPU time (s) 878.85 Current children cumulated vsize (Kb) 412852 [startup+890.042 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 157297 0 0 0 88476 408 0 0 25 0 1 0 21818454 423809024 85699 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 103469 85699 364 364 0 103105 0 [pid=9031] vsize: 413876 Current children cumulated CPU time (s) 888.84 Current children cumulated vsize (Kb) 413876 [startup+900.043 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 157541 0 0 0 89475 410 0 0 25 0 1 0 21818454 424333312 85814 4294967295 134512640 135987407 3221224560 3221223376 134824688 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 103597 85814 364 364 0 103233 0 [pid=9031] vsize: 414388 Current children cumulated CPU time (s) 898.85 Current children cumulated vsize (Kb) 414388 [startup+910.043 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 158098 0 0 0 90474 410 0 0 25 0 1 0 21818454 425381888 86112 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 103853 86112 364 364 0 103489 0 [pid=9031] vsize: 415412 Current children cumulated CPU time (s) 908.84 Current children cumulated vsize (Kb) 415412 [startup+920.043 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 158694 0 0 0 91473 411 0 0 25 0 1 0 21818454 426954752 86322 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 104237 86322 364 364 0 103873 0 [pid=9031] vsize: 416948 Current children cumulated CPU time (s) 918.84 Current children cumulated vsize (Kb) 416948 [startup+930.044 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 159633 0 0 0 92472 413 0 0 25 0 1 0 21818454 429576192 86618 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 104877 86618 364 364 0 104513 0 [pid=9031] vsize: 419508 Current children cumulated CPU time (s) 928.85 Current children cumulated vsize (Kb) 419508 [startup+940.043 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 160340 0 0 0 93470 414 0 0 25 0 1 0 21818454 431149056 86939 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 105261 86939 364 364 0 104897 0 [pid=9031] vsize: 421044 Current children cumulated CPU time (s) 938.84 Current children cumulated vsize (Kb) 421044 [startup+950.045 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 160341 0 0 0 94469 415 0 0 25 0 1 0 21818454 431149056 86940 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 105261 86940 364 364 0 104897 0 [pid=9031] vsize: 421044 Current children cumulated CPU time (s) 948.84 Current children cumulated vsize (Kb) 421044 [startup+960.045 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 160490 0 0 0 95466 416 0 0 25 0 1 0 21818454 431149056 87089 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 105261 87089 364 364 0 104897 0 [pid=9031] vsize: 421044 Current children cumulated CPU time (s) 958.82 Current children cumulated vsize (Kb) 421044 [startup+970.045 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 160625 0 0 0 96464 417 0 0 25 0 1 0 21818454 431149056 87224 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 105261 87224 364 364 0 104897 0 [pid=9031] vsize: 421044 Current children cumulated CPU time (s) 968.81 Current children cumulated vsize (Kb) 421044 [startup+980.046 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 161596 0 0 0 97462 419 0 0 25 0 1 0 21818454 433770496 87552 4294967295 134512640 135987407 3221224560 3221223344 134812389 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 105901 87552 364 364 0 105537 0 [pid=9031] vsize: 423604 Current children cumulated CPU time (s) 978.81 Current children cumulated vsize (Kb) 423604 [startup+990.047 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 162513 0 0 0 98460 420 0 0 25 0 1 0 21818454 435343360 88083 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 106285 88083 364 364 0 105921 0 [pid=9031] vsize: 425140 Current children cumulated CPU time (s) 988.8 Current children cumulated vsize (Kb) 425140 [startup+1000.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 163665 0 0 0 99457 423 0 0 25 0 1 0 21818454 437964800 88592 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 106925 88592 364 364 0 106561 0 [pid=9031] vsize: 427700 Current children cumulated CPU time (s) 998.8 Current children cumulated vsize (Kb) 427700 [startup+1010.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 165446 0 0 0 100453 427 0 0 25 0 1 0 21818454 437964800 88592 4294967295 134512640 135987407 3221224560 3221223176 134775385 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 106925 88592 364 364 0 106561 0 [pid=9031] vsize: 427700 Current children cumulated CPU time (s) 1008.8 Current children cumulated vsize (Kb) 427700 [startup+1020.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 166865 0 0 0 101449 430 0 0 25 0 1 0 21818454 441110528 89239 4294967295 134512640 135987407 3221224560 3221223344 134812377 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 107693 89239 364 364 0 107329 0 [pid=9031] vsize: 430772 Current children cumulated CPU time (s) 1018.79 Current children cumulated vsize (Kb) 430772 [startup+1030.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 168472 0 0 0 102441 435 0 0 25 0 1 0 21818454 445304832 89819 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 108717 89819 364 364 0 108353 0 [pid=9031] vsize: 434868 Current children cumulated CPU time (s) 1028.76 Current children cumulated vsize (Kb) 434868 [startup+1040.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 168474 0 0 0 103433 438 0 0 25 0 1 0 21818454 445304832 89821 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 108717 89821 364 364 0 108353 0 [pid=9031] vsize: 434868 Current children cumulated CPU time (s) 1038.71 Current children cumulated vsize (Kb) 434868 [startup+1050.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 168474 0 0 0 104431 439 0 0 25 0 1 0 21818454 445304832 89821 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 108717 89821 364 364 0 108353 0 [pid=9031] vsize: 434868 Current children cumulated CPU time (s) 1048.7 Current children cumulated vsize (Kb) 434868 [startup+1060.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 168501 0 0 0 105429 439 0 0 25 0 1 0 21818454 445304832 89848 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 108717 89848 364 364 0 108353 0 [pid=9031] vsize: 434868 Current children cumulated CPU time (s) 1058.68 Current children cumulated vsize (Kb) 434868 [startup+1070.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 168886 0 0 0 106427 441 0 0 25 0 1 0 21818454 446353408 89976 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 108973 89976 364 364 0 108609 0 [pid=9031] vsize: 435892 Current children cumulated CPU time (s) 1068.68 Current children cumulated vsize (Kb) 435892 [startup+1080.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169144 0 0 0 107425 442 0 0 25 0 1 0 21818454 446877696 90105 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 109101 90105 364 364 0 108737 0 [pid=9031] vsize: 436404 Current children cumulated CPU time (s) 1078.67 Current children cumulated vsize (Kb) 436404 [startup+1090.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169145 0 0 0 108422 443 0 0 25 0 1 0 21818454 446877696 90106 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 109101 90106 364 364 0 108737 0 [pid=9031] vsize: 436404 Current children cumulated CPU time (s) 1088.65 Current children cumulated vsize (Kb) 436404 [startup+1100.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169145 0 0 0 109419 444 0 0 25 0 1 0 21818454 446877696 90106 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 109101 90106 364 364 0 108737 0 [pid=9031] vsize: 436404 Current children cumulated CPU time (s) 1098.63 Current children cumulated vsize (Kb) 436404 [startup+1110.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169146 0 0 0 110417 445 0 0 25 0 1 0 21818454 446877696 90107 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 109101 90107 364 364 0 108737 0 [pid=9031] vsize: 436404 Current children cumulated CPU time (s) 1108.62 Current children cumulated vsize (Kb) 436404 [startup+1120.05 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169146 0 0 0 111415 445 0 0 25 0 1 0 21818454 446877696 90107 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 109101 90107 364 364 0 108737 0 [pid=9031] vsize: 436404 Current children cumulated CPU time (s) 1118.6 Current children cumulated vsize (Kb) 436404 [startup+1130.06 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169579 0 0 0 112412 447 0 0 25 0 1 0 21818454 447926272 90283 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 109357 90283 364 364 0 108993 0 [pid=9031] vsize: 437428 Current children cumulated CPU time (s) 1128.59 Current children cumulated vsize (Kb) 437428 [startup+1140.06 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169579 0 0 0 113410 448 0 0 25 0 1 0 21818454 447926272 90283 4294967295 134512640 135987407 3221224560 3221223344 134812287 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 109357 90283 364 364 0 108993 0 [pid=9031] vsize: 437428 Current children cumulated CPU time (s) 1138.58 Current children cumulated vsize (Kb) 437428 [startup+1150.06 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169900 0 0 0 114408 449 0 0 25 0 1 0 21818454 448712704 90410 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 109549 90410 364 364 0 109185 0 [pid=9031] vsize: 438196 Current children cumulated CPU time (s) 1148.57 Current children cumulated vsize (Kb) 438196 [startup+1160.06 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 169900 0 0 0 115406 450 0 0 25 0 1 0 21818454 448712704 90410 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 109549 90410 364 364 0 109185 0 [pid=9031] vsize: 438196 Current children cumulated CPU time (s) 1158.56 Current children cumulated vsize (Kb) 438196 [startup+1170.06 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 170000 0 0 0 116405 450 0 0 25 0 1 0 21818454 448712704 90510 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 109549 90510 364 364 0 109185 0 [pid=9031] vsize: 438196 Current children cumulated CPU time (s) 1168.55 Current children cumulated vsize (Kb) 438196 [startup+1180.06 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 170010 0 0 0 117403 451 0 0 25 0 1 0 21818454 448712704 90520 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 109549 90520 364 364 0 109185 0 [pid=9031] vsize: 438196 Current children cumulated CPU time (s) 1178.54 Current children cumulated vsize (Kb) 438196 [startup+1190.06 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 170610 0 0 0 118400 453 0 0 25 0 1 0 21818454 450416640 90765 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 109965 90765 364 364 0 109601 0 [pid=9031] vsize: 439860 Current children cumulated CPU time (s) 1188.53 Current children cumulated vsize (Kb) 439860 [startup+1200.06 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 171154 0 0 0 119397 455 0 0 25 0 1 0 21818454 451727360 90985 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 110285 90985 364 364 0 109921 0 [pid=9031] vsize: 441140 Current children cumulated CPU time (s) 1198.52 Current children cumulated vsize (Kb) 441140 [startup+1210.06 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 171154 0 0 0 120395 455 0 0 25 0 1 0 21818454 451727360 90985 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 110285 90985 364 364 0 109921 0 [pid=9031] vsize: 441140 Current children cumulated CPU time (s) 1208.5 Current children cumulated vsize (Kb) 441140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.06 s] Raw data (loadavg): 1.00 0.98 0.98 2/55 9094 Raw data (/proc/9031/stat): 9031 (pb2sat) R 9030 9031 4060 0 -1 0 171154 0 0 0 120395 455 0 0 25 0 1 0 21818454 451727360 90985 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9031/statm): 110285 90985 364 364 0 109921 0 [pid=9031] vsize: 441140 Current children cumulated CPU time (s) 1208.5 Current children cumulated vsize (Kb) 441140 Sending SIGTERM to -9031 Sleeping 2 seconds One traced child (pid=9031) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1211.68 CPU time (s): 1210.12 CPU user time (s): 1205.38 CPU system time (s): 4.73828 CPU usage (%): 99.871 Max. virtual memory (cumulated for all children) (Kb): 441140
ERROR: no interpretation found !