Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb |
MD5SUM | 9d68724ddc6098af63bcc619f21688cc |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 28 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 168 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 819200 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 4941871 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1249.78 |
Number of variables | 2754 |
Total number of constraints | 612 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 168 |
Number of constraints which are nor clauses,nor cardinality constraints | 444 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 82 |
LAUNCH ON wulflinc27 THE 2005-09-23 16:24:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8752 boxname=wulflinc27 idbench=548 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 9d68724ddc6098af63bcc619f21688cc /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-vpm1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-vpm1.opb IDLAUNCH: 8752 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.039 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.039 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: 940800 kB Buffers: 11648 kB Cached: 65328 kB SwapCached: 0 kB Active: 45300 kB Inactive: 34536 kB HighTotal: 131008 kB HighFree: 61292 kB LowTotal: 903652 kB LowFree: 879508 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 8548 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 16:44:31 (client local time) WITH STATUS 0 IN 1211.61 SECONDS stats: 8752 7 1211.61 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 235071/1061298 Time: 217.728/86400 c Decision: 235071/1061298 Time: 240.918/86400 c Decision: 235071/1061298 Time: 266.18/86400 c Decision: 235071/1061298 Time: 294.852/86400 c Decision: 235071/1061298 Time: 319.513/86400 c Decision: 235077/1061298 Time: 355.187/86400 c Decision: 235077/1061298 Time: 379.796/86400 c Decision: 235077/1061298 Time: 404.95/86400 c Decision: 235077/1061298 Time: 427.19/86400 c Decision: 235077/1061298 Time: 447.554/86400 c Decision: 235077/1061298 Time: 472.443/86400 c Decision: 235077/1061298 Time: 492.488/86400 c Decision: 235077/1061298 Time: 510.651/86400 c Decision: 235077/1061298 Time: 532.853/86400 c Decision: 235077/1061298 Time: 586.782/86400 c Decision: 235077/1061298 Time: 629.764/86400 c Decision: 235077/1061298 Time: 667.071/86400 c Decision: 235077/1061298 Time: 700.671/86400 c Decision: 235077/1061298 Time: 726.972/86400 c Decision: 235077/1061298 Time: 748.051/86400 c Decision: 235077/1061298 Time: 785.81/86400 c Decision: 235077/1061298 Time: 818.6/86400 c Decision: 235077/1061298 Time: 843.012/86400 c Decision: 235077/1061298 Time: 868.605/86400 c Decision: 235077/1061298 Time: 900.948/86400 c Decision: 235077/1061298 Time: 933.501/86400 c Decision: 235077/1061298 Time: 963.548/86400 c Decision: 235077/1061298 Time: 984.449/86400 c Decision: 235077/1061298 Time: 1019.9/86400 c Decision: 235077/1061298 Time: 1047.71/86400 c Decision: 235077/1061298 Time: 1075.09/86400 c Decision: 235077/1061298 Time: 1095.52/86400 c Decision: 235077/1061298 Time: 1117.23/86400 c Decision: 235077/1061298 Time: 1139.07/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/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21566209 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 373 2 364 364 0 9 0 [pid=9444] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-vpm1.opb [startup+10.0017 s] Raw data (loadavg): 0.82 0.92 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 27855 0 0 0 936 61 0 0 25 0 1 0 21566209 80990208 16696 4294967295 134512640 135987407 3221224560 3221201168 134537491 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 19773 16696 364 364 0 19409 0 [pid=9444] vsize: 79092 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 79092 [startup+20.0026 s] Raw data (loadavg): 0.85 0.92 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 55706 0 0 0 1875 121 0 0 25 0 1 0 21566209 158433280 33301 4294967295 134512640 135987407 3221224560 3221207248 134537491 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 38680 33301 364 364 0 38316 0 [pid=9444] vsize: 154720 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 154720 [startup+30.0034 s] Raw data (loadavg): 0.87 0.92 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 94903 0 0 0 2788 205 0 0 25 0 1 0 21566209 308453376 50290 4294967295 134512640 135987407 3221224560 3221221280 134562584 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 75306 50290 364 364 0 74942 0 [pid=9444] vsize: 301224 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 301224 [startup+40.0042 s] Raw data (loadavg): 0.89 0.92 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 111160 0 0 0 3745 248 0 0 25 0 1 0 21566209 313724928 66271 4294967295 134512640 135987407 3221224560 3221207008 134855001 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 76593 66271 364 364 0 76229 0 [pid=9444] vsize: 306372 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 306372 [startup+50.005 s] Raw data (loadavg): 0.91 0.92 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 153490 0 0 0 4654 335 0 0 25 0 1 0 21566209 459190272 89036 4294967295 134512640 135987407 3221224560 3221223096 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 112107 89036 364 364 0 111743 0 [pid=9444] vsize: 448428 Current children cumulated CPU time (s) 49.89 Current children cumulated vsize (Kb) 448428 [startup+60.0048 s] Raw data (loadavg): 0.92 0.93 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 156956 0 0 0 5631 347 0 0 25 0 1 0 21566209 464486400 90202 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 113400 90202 364 364 0 113036 0 [pid=9444] vsize: 453600 Current children cumulated CPU time (s) 59.78 Current children cumulated vsize (Kb) 453600 [startup+70.0057 s] Raw data (loadavg): 0.93 0.93 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 157528 0 0 0 6618 352 0 0 25 0 1 0 21566209 467226624 90774 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 114069 90774 364 364 0 113705 0 [pid=9444] vsize: 456276 Current children cumulated CPU time (s) 69.7 Current children cumulated vsize (Kb) 456276 [startup+80.0065 s] Raw data (loadavg): 0.94 0.93 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 157986 0 0 0 7607 356 0 0 25 0 1 0 21566209 469651456 91232 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 114661 91232 364 364 0 114297 0 [pid=9444] vsize: 458644 Current children cumulated CPU time (s) 79.63 Current children cumulated vsize (Kb) 458644 [startup+90.0073 s] Raw data (loadavg): 0.95 0.93 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158214 0 0 0 8594 362 0 0 25 0 1 0 21566209 470933504 91460 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 114974 91460 364 364 0 114610 0 [pid=9444] vsize: 459896 Current children cumulated CPU time (s) 89.56 Current children cumulated vsize (Kb) 459896 [startup+100.007 s] Raw data (loadavg): 0.96 0.93 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158336 0 0 0 9582 366 0 0 25 0 1 0 21566209 471597056 91582 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 115136 91582 364 364 0 114772 0 [pid=9444] vsize: 460544 Current children cumulated CPU time (s) 99.48 Current children cumulated vsize (Kb) 460544 [startup+110.007 s] Raw data (loadavg): 0.96 0.94 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158356 0 0 0 10574 369 0 0 25 0 1 0 21566209 471597056 91602 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 115136 91602 364 364 0 114772 0 [pid=9444] vsize: 460544 Current children cumulated CPU time (s) 109.43 Current children cumulated vsize (Kb) 460544 [startup+120.008 s] Raw data (loadavg): 0.97 0.94 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158560 0 0 0 11566 372 0 0 25 0 1 0 21566209 472592384 91806 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 115379 91806 364 364 0 115015 0 [pid=9444] vsize: 461516 Current children cumulated CPU time (s) 119.38 Current children cumulated vsize (Kb) 461516 [startup+130.009 s] Raw data (loadavg): 0.97 0.94 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158587 0 0 0 12558 375 0 0 25 0 1 0 21566209 472727552 91833 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 115412 91833 364 364 0 115048 0 [pid=9444] vsize: 461648 Current children cumulated CPU time (s) 129.33 Current children cumulated vsize (Kb) 461648 [startup+140.009 s] Raw data (loadavg): 0.98 0.94 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158621 0 0 0 13551 377 0 0 25 0 1 0 21566209 472862720 91867 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 115445 91867 364 364 0 115081 0 [pid=9444] vsize: 461780 Current children cumulated CPU time (s) 139.28 Current children cumulated vsize (Kb) 461780 [startup+150.01 s] Raw data (loadavg): 0.98 0.94 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158703 0 0 0 14542 379 0 0 25 0 1 0 21566209 473268224 91949 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 115544 91949 364 364 0 115180 0 [pid=9444] vsize: 462176 Current children cumulated CPU time (s) 149.21 Current children cumulated vsize (Kb) 462176 [startup+160.01 s] Raw data (loadavg): 0.98 0.94 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158866 0 0 0 15529 384 0 0 25 0 1 0 21566209 474214400 92112 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 115775 92112 364 364 0 115411 0 [pid=9444] vsize: 463100 Current children cumulated CPU time (s) 159.13 Current children cumulated vsize (Kb) 463100 [startup+170.011 s] Raw data (loadavg): 0.98 0.94 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158952 0 0 0 16515 388 0 0 25 0 1 0 21566209 474480640 92165 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 115840 92165 364 364 0 115476 0 [pid=9444] vsize: 463360 Current children cumulated CPU time (s) 169.03 Current children cumulated vsize (Kb) 463360 [startup+180.011 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159014 0 0 0 17500 393 0 0 25 0 1 0 21566209 474750976 92227 4294967295 134512640 135987407 3221224560 3221223344 134812268 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 115906 92227 364 364 0 115542 0 [pid=9444] vsize: 463624 Current children cumulated CPU time (s) 178.93 Current children cumulated vsize (Kb) 463624 [startup+190.013 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159176 0 0 0 18487 397 0 0 25 0 1 0 21566209 475557888 92356 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 116103 92356 364 364 0 115739 0 [pid=9444] vsize: 464412 Current children cumulated CPU time (s) 188.84 Current children cumulated vsize (Kb) 464412 [startup+200.012 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159214 0 0 0 19470 404 0 0 25 0 1 0 21566209 475693056 92394 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 116136 92394 364 364 0 115772 0 [pid=9444] vsize: 464544 Current children cumulated CPU time (s) 198.74 Current children cumulated vsize (Kb) 464544 [startup+210.012 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159296 0 0 0 20459 407 0 0 25 0 1 0 21566209 476098560 92476 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 116235 92476 364 364 0 115871 0 [pid=9444] vsize: 464940 Current children cumulated CPU time (s) 208.66 Current children cumulated vsize (Kb) 464940 [startup+220.013 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159301 0 0 0 21442 412 0 0 25 0 1 0 21566209 476098560 92481 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 116235 92481 364 364 0 115871 0 [pid=9444] vsize: 464940 Current children cumulated CPU time (s) 218.54 Current children cumulated vsize (Kb) 464940 [startup+230.013 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159494 0 0 0 22428 416 0 0 25 0 1 0 21566209 476905472 92641 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 116432 92641 364 364 0 116068 0 [pid=9444] vsize: 465728 Current children cumulated CPU time (s) 228.44 Current children cumulated vsize (Kb) 465728 [startup+240.014 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159663 0 0 0 23414 421 0 0 25 0 1 0 21566209 477716480 92810 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 116630 92810 364 364 0 116266 0 [pid=9444] vsize: 466520 Current children cumulated CPU time (s) 238.35 Current children cumulated vsize (Kb) 466520 [startup+250.014 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159681 0 0 0 24398 427 0 0 25 0 1 0 21566209 477716480 92828 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 116630 92828 364 364 0 116266 0 [pid=9444] vsize: 466520 Current children cumulated CPU time (s) 248.25 Current children cumulated vsize (Kb) 466520 [startup+260.014 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159686 0 0 0 25382 433 0 0 24 0 1 0 21566209 477716480 92833 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 116630 92833 364 364 0 116266 0 [pid=9444] vsize: 466520 Current children cumulated CPU time (s) 258.15 Current children cumulated vsize (Kb) 466520 [startup+270.015 s] Raw data (loadavg): 0.99 0.95 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 161775 0 0 0 26371 440 0 0 25 0 1 0 21566209 477716480 92849 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 116630 92849 364 364 0 116266 0 [pid=9444] vsize: 466520 Current children cumulated CPU time (s) 268.11 Current children cumulated vsize (Kb) 466520 [startup+280.015 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 161778 0 0 0 27356 445 0 0 25 0 1 0 21566209 477716480 92852 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 116630 92852 364 364 0 116266 0 [pid=9444] vsize: 466520 Current children cumulated CPU time (s) 278.01 Current children cumulated vsize (Kb) 466520 [startup+290.016 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 163853 0 0 0 28341 452 0 0 25 0 1 0 21566209 486207488 94927 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118703 94927 364 364 0 118339 0 [pid=9444] vsize: 474812 Current children cumulated CPU time (s) 287.93 Current children cumulated vsize (Kb) 474812 [startup+300.017 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 164033 0 0 0 29325 458 0 0 25 0 1 0 21566209 478556160 93034 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 116835 93034 364 364 0 116471 0 [pid=9444] vsize: 467340 Current children cumulated CPU time (s) 297.83 Current children cumulated vsize (Kb) 467340 [startup+310.016 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 164159 0 0 0 30308 465 0 0 25 0 1 0 21566209 478969856 93127 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 116936 93127 364 364 0 116572 0 [pid=9444] vsize: 467744 Current children cumulated CPU time (s) 307.73 Current children cumulated vsize (Kb) 467744 [startup+320.017 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 166346 0 0 0 31296 473 0 0 25 0 1 0 21566209 479559680 93241 4294967295 134512640 135987407 3221224560 3221223424 134812603 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 117080 93241 364 364 0 116716 0 [pid=9444] vsize: 468320 Current children cumulated CPU time (s) 317.69 Current children cumulated vsize (Kb) 468320 [startup+330.017 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 166532 0 0 0 32283 477 0 0 25 0 1 0 21566209 480632832 93427 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 117342 93427 364 364 0 116978 0 [pid=9444] vsize: 469368 Current children cumulated CPU time (s) 327.6 Current children cumulated vsize (Kb) 469368 [startup+340.018 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 166611 0 0 0 33263 484 0 0 25 0 1 0 21566209 480993280 93506 4294967295 134512640 135987407 3221224560 3221223344 134812293 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 117430 93506 364 364 0 117066 0 [pid=9444] vsize: 469720 Current children cumulated CPU time (s) 337.47 Current children cumulated vsize (Kb) 469720 [startup+350.019 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 168857 0 0 0 34251 491 0 0 25 0 1 0 21566209 481730560 93679 4294967295 134512640 135987407 3221224560 3221223344 134812310 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 117610 93679 364 364 0 117246 0 [pid=9444] vsize: 470440 Current children cumulated CPU time (s) 347.42 Current children cumulated vsize (Kb) 470440 [startup+360.019 s] Raw data (loadavg): 0.99 0.96 0.95 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 168969 0 0 0 35230 498 0 0 25 0 1 0 21566209 482127872 93758 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 117707 93758 364 364 0 117343 0 [pid=9444] vsize: 470828 Current children cumulated CPU time (s) 357.28 Current children cumulated vsize (Kb) 470828 [startup+370.019 s] Raw data (loadavg): 1.07 0.98 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 171045 0 0 0 36215 506 0 0 25 0 1 0 21566209 482127872 93761 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 117707 93761 364 364 0 117343 0 [pid=9444] vsize: 470828 Current children cumulated CPU time (s) 367.21 Current children cumulated vsize (Kb) 470828 [startup+380.019 s] Raw data (loadavg): 1.06 0.98 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 171104 0 0 0 37198 512 0 0 25 0 1 0 21566209 482398208 93820 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 117773 93820 364 364 0 117409 0 [pid=9444] vsize: 471092 Current children cumulated CPU time (s) 377.1 Current children cumulated vsize (Kb) 471092 [startup+390.021 s] Raw data (loadavg): 1.05 0.98 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 171269 0 0 0 38182 519 0 0 25 0 1 0 21566209 483065856 93919 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 117936 93919 364 364 0 117572 0 [pid=9444] vsize: 471744 Current children cumulated CPU time (s) 387.01 Current children cumulated vsize (Kb) 471744 [startup+400.022 s] Raw data (loadavg): 1.04 0.98 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 173427 0 0 0 39164 528 0 0 25 0 1 0 21566209 491823104 96044 4294967295 134512640 135987407 3221224560 3221222976 134827705 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120074 96044 364 364 0 119710 0 [pid=9444] vsize: 480296 Current children cumulated CPU time (s) 396.92 Current children cumulated vsize (Kb) 480296 [startup+410.022 s] Raw data (loadavg): 1.04 0.98 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 173434 0 0 0 40161 529 0 0 25 0 1 0 21566209 483332096 93978 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118001 93978 364 364 0 117637 0 [pid=9444] vsize: 472004 Current children cumulated CPU time (s) 406.9 Current children cumulated vsize (Kb) 472004 [startup+420.022 s] Raw data (loadavg): 1.03 0.98 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 173517 0 0 0 41146 534 0 0 25 0 1 0 21566209 483737600 94061 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118100 94061 364 364 0 117736 0 [pid=9444] vsize: 472400 Current children cumulated CPU time (s) 416.8 Current children cumulated vsize (Kb) 472400 [startup+430.023 s] Raw data (loadavg): 1.03 0.98 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 175625 0 0 0 42129 543 0 0 25 0 1 0 21566209 492363776 96169 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120206 96169 364 364 0 119842 0 [pid=9444] vsize: 480824 Current children cumulated CPU time (s) 426.72 Current children cumulated vsize (Kb) 480824 [startup+440.024 s] Raw data (loadavg): 1.02 0.98 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 175646 0 0 0 43111 550 0 0 25 0 1 0 21566209 484007936 94117 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 118166 94117 364 364 0 117802 0 [pid=9444] vsize: 472664 Current children cumulated CPU time (s) 436.61 Current children cumulated vsize (Kb) 472664 [startup+450.025 s] Raw data (loadavg): 1.02 0.98 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 175648 0 0 0 44093 557 0 0 25 0 1 0 21566209 484007936 94119 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 118166 94119 364 364 0 117802 0 [pid=9444] vsize: 472664 Current children cumulated CPU time (s) 446.5 Current children cumulated vsize (Kb) 472664 [startup+460.025 s] Raw data (loadavg): 1.09 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 177725 0 0 0 45080 565 0 0 25 0 1 0 21566209 484007936 94123 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118166 94123 364 364 0 117802 0 [pid=9444] vsize: 472664 Current children cumulated CPU time (s) 456.45 Current children cumulated vsize (Kb) 472664 [startup+470.025 s] Raw data (loadavg): 1.08 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 177731 0 0 0 46069 568 0 0 25 0 1 0 21566209 484007936 94129 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118166 94129 364 364 0 117802 0 [pid=9444] vsize: 472664 Current children cumulated CPU time (s) 466.37 Current children cumulated vsize (Kb) 472664 [startup+480.024 s] Raw data (loadavg): 1.07 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 179873 0 0 0 47057 576 0 0 25 0 1 0 21566209 484274176 94165 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118231 94165 364 364 0 117867 0 [pid=9444] vsize: 472924 Current children cumulated CPU time (s) 476.33 Current children cumulated vsize (Kb) 472924 [startup+490.026 s] Raw data (loadavg): 1.06 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 179957 0 0 0 48047 580 0 0 25 0 1 0 21566209 484814848 94249 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 118363 94249 364 364 0 117999 0 [pid=9444] vsize: 473452 Current children cumulated CPU time (s) 486.27 Current children cumulated vsize (Kb) 473452 [startup+500.027 s] Raw data (loadavg): 1.05 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 182033 0 0 0 49033 588 0 0 25 0 1 0 21566209 484814848 94252 4294967295 134512640 135987407 3221224560 3221223136 134788814 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 118363 94252 364 364 0 117999 0 [pid=9444] vsize: 473452 Current children cumulated CPU time (s) 496.21 Current children cumulated vsize (Kb) 473452 [startup+510.027 s] Raw data (loadavg): 1.04 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 182038 0 0 0 50015 593 0 0 25 0 1 0 21566209 484814848 94257 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118363 94257 364 364 0 117999 0 [pid=9444] vsize: 473452 Current children cumulated CPU time (s) 506.08 Current children cumulated vsize (Kb) 473452 [startup+520.028 s] Raw data (loadavg): 1.03 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 184115 0 0 0 51001 600 0 0 25 0 1 0 21566209 493305856 96334 4294967295 134512640 135987407 3221224560 3221222920 134827505 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120436 96334 364 364 0 120072 0 [pid=9444] vsize: 481744 Current children cumulated CPU time (s) 516.01 Current children cumulated vsize (Kb) 481744 [startup+530.028 s] Raw data (loadavg): 1.03 1.00 0.96 1/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) T 9443 9444 4005 0 -1 0 184117 0 0 0 51991 603 0 0 25 0 1 0 21566209 484814848 94263 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9444/statm): 118363 94263 364 364 0 117999 0 [pid=9444] vsize: 473452 Current children cumulated CPU time (s) 525.94 Current children cumulated vsize (Kb) 473452 [startup+540.028 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 184122 0 0 0 52977 608 0 0 25 0 1 0 21566209 484814848 94268 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118363 94268 364 364 0 117999 0 [pid=9444] vsize: 473452 Current children cumulated CPU time (s) 535.85 Current children cumulated vsize (Kb) 473452 [startup+550.029 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 186198 0 0 0 53960 616 0 0 25 0 1 0 21566209 484814848 94271 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118363 94271 364 364 0 117999 0 [pid=9444] vsize: 473452 Current children cumulated CPU time (s) 545.76 Current children cumulated vsize (Kb) 473452 [startup+560.029 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 188282 0 0 0 54949 623 0 0 25 0 1 0 21566209 493305856 96355 4294967295 134512640 135987407 3221224560 3221222976 134827671 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120436 96355 364 364 0 120072 0 [pid=9444] vsize: 481744 Current children cumulated CPU time (s) 555.72 Current children cumulated vsize (Kb) 481744 [startup+570.03 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 188288 0 0 0 55938 627 0 0 25 0 1 0 21566209 484814848 94288 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118363 94288 364 364 0 117999 0 [pid=9444] vsize: 473452 Current children cumulated CPU time (s) 565.65 Current children cumulated vsize (Kb) 473452 [startup+580.031 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 188300 0 0 0 56927 632 0 0 25 0 1 0 21566209 484814848 94300 4294967295 134512640 135987407 3221224560 3221223376 134824240 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118363 94300 364 364 0 117999 0 [pid=9444] vsize: 473452 Current children cumulated CPU time (s) 575.59 Current children cumulated vsize (Kb) 473452 [startup+590.032 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 190424 0 0 0 57913 640 0 0 25 0 1 0 21566209 485085184 94351 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118429 94351 364 364 0 118065 0 [pid=9444] vsize: 473716 Current children cumulated CPU time (s) 585.53 Current children cumulated vsize (Kb) 473716 [startup+600.031 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 190539 0 0 0 58898 646 0 0 25 0 1 0 21566209 485593088 94466 4294967295 134512640 135987407 3221224560 3221223316 134811684 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118553 94466 364 364 0 118189 0 [pid=9444] vsize: 474212 Current children cumulated CPU time (s) 595.44 Current children cumulated vsize (Kb) 474212 [startup+610.032 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 190865 0 0 0 59882 652 0 0 25 0 1 0 21566209 487383040 94792 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 118990 94792 364 364 0 118626 0 [pid=9444] vsize: 475960 Current children cumulated CPU time (s) 605.34 Current children cumulated vsize (Kb) 475960 [startup+620.033 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 191113 0 0 0 60868 656 0 0 25 0 1 0 21566209 488554496 95040 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 119276 95040 364 364 0 118912 0 [pid=9444] vsize: 477104 Current children cumulated CPU time (s) 615.24 Current children cumulated vsize (Kb) 477104 [startup+630.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 191243 0 0 0 61853 662 0 0 25 0 1 0 21566209 489091072 95137 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 119407 95137 364 364 0 119043 0 [pid=9444] vsize: 477628 Current children cumulated CPU time (s) 625.15 Current children cumulated vsize (Kb) 477628 [startup+640.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 193819 0 0 0 62840 671 0 0 25 0 1 0 21566209 491077632 95443 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 119892 95443 364 364 0 119528 0 [pid=9444] vsize: 479568 Current children cumulated CPU time (s) 635.11 Current children cumulated vsize (Kb) 479568 [startup+650.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 193827 0 0 0 63821 676 0 0 25 0 1 0 21566209 491077632 95451 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 119892 95451 364 364 0 119528 0 [pid=9444] vsize: 479568 Current children cumulated CPU time (s) 644.97 Current children cumulated vsize (Kb) 479568 [startup+660.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 193853 0 0 0 64808 680 0 0 25 0 1 0 21566209 491212800 95477 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 119925 95477 364 364 0 119561 0 [pid=9444] vsize: 479700 Current children cumulated CPU time (s) 654.88 Current children cumulated vsize (Kb) 479700 [startup+670.036 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 194018 0 0 0 65797 683 0 0 25 0 1 0 21566209 491483136 95642 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 119991 95642 364 364 0 119627 0 [pid=9444] vsize: 479964 Current children cumulated CPU time (s) 664.8 Current children cumulated vsize (Kb) 479964 [startup+680.037 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 196151 0 0 0 66787 690 0 0 25 0 1 0 21566209 491614208 95669 4294967295 134512640 135987407 3221224560 3221223324 134882496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120023 95669 364 364 0 119659 0 [pid=9444] vsize: 480092 Current children cumulated CPU time (s) 674.77 Current children cumulated vsize (Kb) 480092 [startup+690.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 196307 0 0 0 67777 694 0 0 25 0 1 0 21566209 492408832 95759 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120217 95759 364 364 0 119853 0 [pid=9444] vsize: 480868 Current children cumulated CPU time (s) 684.71 Current children cumulated vsize (Kb) 480868 [startup+700.039 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) T 9443 9444 4005 0 -1 0 196318 0 0 0 68760 699 0 0 25 0 1 0 21566209 492408832 95770 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120217 95770 364 364 0 119853 0 [pid=9444] vsize: 480868 Current children cumulated CPU time (s) 694.59 Current children cumulated vsize (Kb) 480868 [startup+710.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) T 9443 9444 4005 0 -1 0 196359 0 0 0 69747 704 0 0 25 0 1 0 21566209 492679168 95811 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120283 95811 364 364 0 119919 0 [pid=9444] vsize: 481132 Current children cumulated CPU time (s) 704.51 Current children cumulated vsize (Kb) 481132 [startup+720.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 198439 0 0 0 70732 713 0 0 25 0 1 0 21566209 492679168 95818 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120283 95818 364 364 0 119919 0 [pid=9444] vsize: 481132 Current children cumulated CPU time (s) 714.45 Current children cumulated vsize (Kb) 481132 [startup+730.04 s] Raw data (loadavg): 1.00 1.00 0.96 1/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) T 9443 9444 4005 0 -1 0 198474 0 0 0 71715 718 0 0 25 0 1 0 21566209 492814336 95853 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120316 95853 364 364 0 119952 0 [pid=9444] vsize: 481264 Current children cumulated CPU time (s) 724.33 Current children cumulated vsize (Kb) 481264 [startup+740.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 198475 0 0 0 72698 725 0 0 25 0 1 0 21566209 492814336 95854 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120316 95854 364 364 0 119952 0 [pid=9444] vsize: 481264 Current children cumulated CPU time (s) 734.23 Current children cumulated vsize (Kb) 481264 [startup+750.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 198478 0 0 0 73683 730 0 0 25 0 1 0 21566209 492814336 95857 4294967295 134512640 135987407 3221224560 3221223280 134813720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120316 95857 364 364 0 119952 0 [pid=9444] vsize: 481264 Current children cumulated CPU time (s) 744.13 Current children cumulated vsize (Kb) 481264 [startup+760.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 200554 0 0 0 74669 739 0 0 25 0 1 0 21566209 492814336 95860 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120316 95860 364 364 0 119952 0 [pid=9444] vsize: 481264 Current children cumulated CPU time (s) 754.08 Current children cumulated vsize (Kb) 481264 [startup+770.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 200558 0 0 0 75654 745 0 0 25 0 1 0 21566209 492814336 95864 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120316 95864 364 364 0 119952 0 [pid=9444] vsize: 481264 Current children cumulated CPU time (s) 763.99 Current children cumulated vsize (Kb) 481264 [startup+780.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 202633 0 0 0 76634 755 0 0 25 0 1 0 21566209 501305344 97939 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 122389 97939 364 364 0 122025 0 [pid=9444] vsize: 489556 Current children cumulated CPU time (s) 773.89 Current children cumulated vsize (Kb) 489556 [startup+790.043 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 202637 0 0 0 77616 761 0 0 25 0 1 0 21566209 492814336 95870 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120316 95870 364 364 0 119952 0 [pid=9444] vsize: 481264 Current children cumulated CPU time (s) 783.77 Current children cumulated vsize (Kb) 481264 [startup+800.043 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 204715 0 0 0 78600 769 0 0 25 0 1 0 21566209 501305344 97948 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 122389 97948 364 364 0 122025 0 [pid=9444] vsize: 489556 Current children cumulated CPU time (s) 793.69 Current children cumulated vsize (Kb) 489556 [startup+810.044 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 204717 0 0 0 79583 776 0 0 25 0 1 0 21566209 492814336 95877 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120316 95877 364 364 0 119952 0 [pid=9444] vsize: 481264 Current children cumulated CPU time (s) 803.59 Current children cumulated vsize (Kb) 481264 [startup+820.043 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 204720 0 0 0 80566 782 0 0 25 0 1 0 21566209 492814336 95880 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120316 95880 364 364 0 119952 0 [pid=9444] vsize: 481264 Current children cumulated CPU time (s) 813.48 Current children cumulated vsize (Kb) 481264 [startup+830.043 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 204748 0 0 0 81553 787 0 0 25 0 1 0 21566209 492949504 95908 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120349 95908 364 364 0 119985 0 [pid=9444] vsize: 481396 Current children cumulated CPU time (s) 823.4 Current children cumulated vsize (Kb) 481396 [startup+840.044 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 206821 0 0 0 82543 795 0 0 25 0 1 0 21566209 492949504 95908 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120349 95908 364 364 0 119985 0 [pid=9444] vsize: 481396 Current children cumulated CPU time (s) 833.38 Current children cumulated vsize (Kb) 481396 [startup+850.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) T 9443 9444 4005 0 -1 0 206841 0 0 0 83529 799 0 0 25 0 1 0 21566209 493084672 95928 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120382 95928 364 364 0 120018 0 [pid=9444] vsize: 481528 Current children cumulated CPU time (s) 843.28 Current children cumulated vsize (Kb) 481528 [startup+860.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 206845 0 0 0 84512 804 0 0 25 0 1 0 21566209 493084672 95932 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120382 95932 364 364 0 120018 0 [pid=9444] vsize: 481528 Current children cumulated CPU time (s) 853.16 Current children cumulated vsize (Kb) 481528 [startup+870.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 206867 0 0 0 85500 808 0 0 25 0 1 0 21566209 493219840 95954 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120415 95954 364 364 0 120051 0 [pid=9444] vsize: 481660 Current children cumulated CPU time (s) 863.08 Current children cumulated vsize (Kb) 481660 [startup+880.046 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 208942 0 0 0 86483 817 0 0 25 0 1 0 21566209 493219840 95956 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120415 95956 364 364 0 120051 0 [pid=9444] vsize: 481660 Current children cumulated CPU time (s) 873 Current children cumulated vsize (Kb) 481660 [startup+890.047 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 208947 0 0 0 87468 822 0 0 25 0 1 0 21566209 493219840 95961 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120415 95961 364 364 0 120051 0 [pid=9444] vsize: 481660 Current children cumulated CPU time (s) 882.9 Current children cumulated vsize (Kb) 481660 [startup+900.048 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 211023 0 0 0 88456 829 0 0 25 0 1 0 21566209 493219840 95964 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120415 95964 364 364 0 120051 0 [pid=9444] vsize: 481660 Current children cumulated CPU time (s) 892.85 Current children cumulated vsize (Kb) 481660 [startup+910.049 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 211030 0 0 0 89439 834 0 0 25 0 1 0 21566209 493219840 95971 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120415 95971 364 364 0 120051 0 [pid=9444] vsize: 481660 Current children cumulated CPU time (s) 902.73 Current children cumulated vsize (Kb) 481660 [startup+920.049 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 211034 0 0 0 90421 840 0 0 25 0 1 0 21566209 493219840 95975 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120415 95975 364 364 0 120051 0 [pid=9444] vsize: 481660 Current children cumulated CPU time (s) 912.61 Current children cumulated vsize (Kb) 481660 [startup+930.049 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 213183 0 0 0 91407 849 0 0 25 0 1 0 21566209 493481984 95985 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 95985 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 922.56 Current children cumulated vsize (Kb) 481916 [startup+940.05 s] Raw data (loadavg): 1.08 1.01 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 213185 0 0 0 92391 854 0 0 25 0 1 0 21566209 493481984 95987 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 95987 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 932.45 Current children cumulated vsize (Kb) 481916 [startup+950.051 s] Raw data (loadavg): 1.07 1.01 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 213188 0 0 0 93377 860 0 0 25 0 1 0 21566209 493481984 95990 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 95990 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 942.37 Current children cumulated vsize (Kb) 481916 [startup+960.051 s] Raw data (loadavg): 1.06 1.01 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 215263 0 0 0 94365 867 0 0 25 0 1 0 21566209 493481984 95992 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 95992 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 952.32 Current children cumulated vsize (Kb) 481916 [startup+970.052 s] Raw data (loadavg): 1.05 1.01 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 215267 0 0 0 95351 872 0 0 25 0 1 0 21566209 493481984 95996 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 95996 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 962.23 Current children cumulated vsize (Kb) 481916 [startup+980.052 s] Raw data (loadavg): 1.04 1.01 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 215270 0 0 0 96333 877 0 0 25 0 1 0 21566209 493481984 95999 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 95999 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 972.1 Current children cumulated vsize (Kb) 481916 [startup+990.053 s] Raw data (loadavg): 1.03 1.01 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 217344 0 0 0 97323 884 0 0 25 0 1 0 21566209 493481984 96000 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 96000 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 982.07 Current children cumulated vsize (Kb) 481916 [startup+1000.05 s] Raw data (loadavg): 1.03 1.01 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 217345 0 0 0 98307 889 0 0 25 0 1 0 21566209 493481984 96001 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 96001 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 991.96 Current children cumulated vsize (Kb) 481916 [startup+1010.05 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 217347 0 0 0 99288 895 0 0 25 0 1 0 21566209 493481984 96003 4294967295 134512640 135987407 3221224560 3221223248 134812169 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 96003 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (Kb) 481916 [startup+1020.05 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 219421 0 0 0 100274 903 0 0 25 0 1 0 21566209 493481984 96004 4294967295 134512640 135987407 3221224560 3221223424 134812582 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 96004 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1011.77 Current children cumulated vsize (Kb) 481916 [startup+1030.06 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 219423 0 0 0 101255 910 0 0 25 0 1 0 21566209 493481984 96006 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 96006 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1021.65 Current children cumulated vsize (Kb) 481916 [startup+1040.06 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 221498 0 0 0 102241 918 0 0 25 0 1 0 21566209 501972992 98081 4294967295 134512640 135987407 3221224560 3221223024 134831717 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 122552 98081 364 364 0 122188 0 [pid=9444] vsize: 490208 Current children cumulated CPU time (s) 1031.59 Current children cumulated vsize (Kb) 490208 [startup+1050.06 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 221499 0 0 0 103223 924 0 0 25 0 1 0 21566209 493481984 96009 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 96009 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1041.47 Current children cumulated vsize (Kb) 481916 [startup+1060.06 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 221503 0 0 0 104208 928 0 0 25 0 1 0 21566209 493481984 96013 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 96013 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1051.36 Current children cumulated vsize (Kb) 481916 [startup+1070.06 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 221506 0 0 0 105191 933 0 0 25 0 1 0 21566209 493481984 96016 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 96016 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1061.24 Current children cumulated vsize (Kb) 481916 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 223582 0 0 0 106177 940 0 0 25 0 1 0 21566209 493481984 96019 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 96019 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1071.17 Current children cumulated vsize (Kb) 481916 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 223584 0 0 0 107157 947 0 0 25 0 1 0 21566209 493481984 96021 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 96021 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1081.04 Current children cumulated vsize (Kb) 481916 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.97 1/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) T 9443 9444 4005 0 -1 0 223588 0 0 0 108137 955 0 0 25 0 1 0 21566209 493481984 96025 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 96025 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1090.92 Current children cumulated vsize (Kb) 481916 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 225663 0 0 0 109122 962 0 0 25 0 1 0 21566209 493481984 96027 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 96027 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1100.84 Current children cumulated vsize (Kb) 481916 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 225667 0 0 0 110103 970 0 0 25 0 1 0 21566209 493481984 96031 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 96031 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1110.73 Current children cumulated vsize (Kb) 481916 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 227743 0 0 0 111090 978 0 0 25 0 1 0 21566209 493481984 96034 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 96034 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1120.68 Current children cumulated vsize (Kb) 481916 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 227745 0 0 0 112075 984 0 0 25 0 1 0 21566209 493481984 96036 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 96036 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1130.59 Current children cumulated vsize (Kb) 481916 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 228743 0 0 0 113059 990 0 0 25 0 1 0 21566209 501972992 97034 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 122552 97034 364 364 0 122188 0 [pid=9444] vsize: 490208 Current children cumulated CPU time (s) 1140.49 Current children cumulated vsize (Kb) 490208 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 229825 0 0 0 114041 998 0 0 25 0 1 0 21566209 493481984 96043 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 96043 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1150.39 Current children cumulated vsize (Kb) 481916 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 229830 0 0 0 115022 1007 0 0 25 0 1 0 21566209 493481984 96048 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 96048 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1160.29 Current children cumulated vsize (Kb) 481916 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 231906 0 0 0 116007 1014 0 0 25 0 1 0 21566209 493481984 96051 4294967295 134512640 135987407 3221224560 3221223248 134811797 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 96051 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1170.21 Current children cumulated vsize (Kb) 481916 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 231911 0 0 0 116991 1020 0 0 25 0 1 0 21566209 493481984 96056 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 96056 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1180.11 Current children cumulated vsize (Kb) 481916 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 233987 0 0 0 117975 1029 0 0 25 0 1 0 21566209 493481984 96059 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9444/statm): 120479 96059 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1190.04 Current children cumulated vsize (Kb) 481916 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 233992 0 0 0 118957 1035 0 0 25 0 1 0 21566209 493481984 96064 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 120479 96064 364 364 0 120115 0 [pid=9444] vsize: 481916 Current children cumulated CPU time (s) 1199.92 Current children cumulated vsize (Kb) 481916 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 236067 0 0 0 119944 1041 0 0 25 0 1 0 21566209 501972992 98139 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 122552 98139 364 364 0 122188 0 [pid=9444] vsize: 490208 Current children cumulated CPU time (s) 1209.85 Current children cumulated vsize (Kb) 490208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 9444 Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 236067 0 0 0 119944 1041 0 0 25 0 1 0 21566209 501972992 98139 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9444/statm): 122552 98139 364 364 0 122188 0 [pid=9444] vsize: 490208 Current children cumulated CPU time (s) 1209.85 Current children cumulated vsize (Kb) 490208 Sending SIGTERM to -9444 Sleeping 2 seconds One traced child (pid=9444) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1221.83 CPU time (s): 1211.61 CPU user time (s): 1201 CPU system time (s): 10.6144 CPU usage (%): 99.1634 Max. virtual memory (cumulated for all children) (Kb): 490208
ERROR: no interpretation found !