Name | mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-CMS750_4.opb |
MD5SUM | 7cb58e3aea22e107ecbc4e74969c24f1 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 877568 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 780 |
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 | 1074509823 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2147731454 |
Number of bits of the biggest sum of numbers | 32 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 142226 |
Total number of constraints | 28077 |
Number of constraints which are clauses | 2438 |
Number of constraints which are cardinality constraints (but not clauses) | 7196 |
Number of constraints which are nor clauses,nor cardinality constraints | 18443 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
LAUNCH ON wulflinc22 THE 2005-09-23 17:36:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8959 boxname=wulflinc22 idbench=755 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 7cb58e3aea22e107ecbc4e74969c24f1 /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-CMS750_4.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-CMS750_4.opb IDLAUNCH: 8959 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 450.985 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 : 450.985 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: 898308 kB Buffers: 12400 kB Cached: 106464 kB SwapCached: 0 kB Active: 65820 kB Inactive: 55944 kB HighTotal: 131008 kB HighFree: 24192 kB LowTotal: 903652 kB LowFree: 874116 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8964 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 17:52:15 (client local time) WITH STATUS 0 IN 899.261 SECONDS stats: 8959 7 899.261 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 35704/1969421 Time: 167.05/86400 c Decision: 36183/1969421 Time: 421.988/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/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22035846 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 373 2 364 364 0 9 0 [pid=9162] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-CMS750_4.opb [startup+10.0019 s] Raw data (loadavg): 0.88 0.93 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 17970 0 0 0 952 44 0 0 25 0 1 0 22035846 54808576 11475 4294967295 134512640 135987407 3221224560 3221214496 134856467 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 13381 11475 364 364 0 13017 0 [pid=9162] vsize: 53524 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 53524 [startup+20.0026 s] Raw data (loadavg): 0.90 0.94 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 40042 0 0 0 1893 100 0 0 25 0 1 0 22035846 124751872 23883 4294967295 134512640 135987407 3221224560 3221214352 134887887 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 30457 23883 364 364 0 30093 0 [pid=9162] vsize: 121828 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 121828 [startup+30.0023 s] Raw data (loadavg): 0.91 0.94 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 70322 0 0 0 2827 163 0 0 25 0 1 0 22035846 229584896 38126 4294967295 134512640 135987407 3221224560 3221219868 135480478 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 56051 38127 364 364 0 55687 0 [pid=9162] vsize: 224204 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 224204 [startup+40.002 s] Raw data (loadavg): 0.93 0.94 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 82104 0 0 0 3796 193 0 0 25 0 1 0 22035846 233234432 49693 4294967295 134512640 135987407 3221224560 3221220816 134854923 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 56942 49693 364 364 0 56578 0 [pid=9162] vsize: 227768 Current children cumulated CPU time (s) 39.89 Current children cumulated vsize (Kb) 227768 [startup+50.0017 s] Raw data (loadavg): 0.94 0.94 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 105411 0 0 0 4736 251 0 0 25 0 1 0 22035846 324419584 60529 4294967295 134512640 135987407 3221224560 3221215888 134878092 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 79204 60529 364 364 0 78840 0 [pid=9162] vsize: 316816 Current children cumulated CPU time (s) 49.87 Current children cumulated vsize (Kb) 316816 [startup+60.0014 s] Raw data (loadavg): 0.95 0.94 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 143393 0 0 0 5654 330 0 0 25 0 1 0 22035846 446414848 78912 4294967295 134512640 135987407 3221224560 3221221952 134616115 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 108988 78912 364 364 0 108624 0 [pid=9162] vsize: 435952 Current children cumulated CPU time (s) 59.84 Current children cumulated vsize (Kb) 435952 [startup+70.0011 s] Raw data (loadavg): 0.95 0.94 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 154313 0 0 0 6624 357 0 0 25 0 1 0 22035846 450334720 89635 4294967295 134512640 135987407 3221224560 3221215552 134878060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 109945 89635 364 364 0 109581 0 [pid=9162] vsize: 439780 Current children cumulated CPU time (s) 69.81 Current children cumulated vsize (Kb) 439780 [startup+80.0019 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 188004 0 0 0 7540 440 0 0 25 0 1 0 22035846 554917888 98587 4294967295 134512640 135987407 3221224560 3221221952 134616367 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 135478 98587 364 364 0 135114 0 [pid=9162] vsize: 541912 Current children cumulated CPU time (s) 79.8 Current children cumulated vsize (Kb) 541912 [startup+90.0016 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 197232 0 0 0 8512 466 0 0 25 0 1 0 22035846 592121856 107650 4294967295 134512640 135987407 3221224560 3221218144 134877726 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 144561 107650 364 364 0 144197 0 [pid=9162] vsize: 578244 Current children cumulated CPU time (s) 89.78 Current children cumulated vsize (Kb) 578244 [startup+100.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 207762 0 0 0 9481 495 0 0 25 0 1 0 22035846 596717568 117994 4294967295 134512640 135987407 3221224560 3221221744 134536228 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 145683 117994 364 364 0 145319 0 [pid=9162] vsize: 582732 Current children cumulated CPU time (s) 99.76 Current children cumulated vsize (Kb) 582732 [startup+110.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 223928 0 0 0 10436 540 0 0 25 0 1 0 22035846 631881728 134010 4294967295 134512640 135987407 3221224560 3221223096 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 154268 134010 364 364 0 153904 0 [pid=9162] vsize: 617072 Current children cumulated CPU time (s) 109.76 Current children cumulated vsize (Kb) 617072 [startup+120.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 227066 0 0 0 11404 555 0 0 25 0 1 0 22035846 628932608 132976 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 153548 132976 364 364 0 153184 0 [pid=9162] vsize: 614192 Current children cumulated CPU time (s) 119.59 Current children cumulated vsize (Kb) 614192 [startup+130.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 232038 0 0 0 12359 578 0 0 25 0 1 0 22035846 643960832 136089 4294967295 134512640 135987407 3221224560 3221223424 134812582 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 157217 136089 364 364 0 156853 0 [pid=9162] vsize: 628868 Current children cumulated CPU time (s) 129.37 Current children cumulated vsize (Kb) 628868 [startup+140.002 s] Raw data (loadavg): 0.98 0.95 0.91 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 235995 0 0 0 13328 592 0 0 25 0 1 0 22035846 653987840 138374 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9162/statm): 159665 138374 364 364 0 159301 0 [pid=9162] vsize: 638660 Current children cumulated CPU time (s) 139.2 Current children cumulated vsize (Kb) 638660 [startup+150.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 240144 0 0 0 14262 617 0 0 22 0 1 0 22035846 668385280 141056 4294967295 134512640 135987407 3221224560 3221223136 135486786 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 163180 141056 364 364 0 162816 0 [pid=9162] vsize: 652720 Current children cumulated CPU time (s) 148.79 Current children cumulated vsize (Kb) 652720 [startup+160.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 241806 0 0 0 14881 744 0 0 21 0 1 0 22035846 675184640 142619 4294967295 134512640 135987407 3221224560 3221223376 134815442 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 164840 142619 364 364 0 164476 0 [pid=9162] vsize: 659360 Current children cumulated CPU time (s) 156.25 Current children cumulated vsize (Kb) 659360 [startup+170.002 s] Raw data (loadavg): 0.99 0.95 0.91 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 242712 0 0 0 15549 852 0 0 17 0 1 0 22035846 678748160 143460 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9162/statm): 165710 143460 364 364 0 165346 0 [pid=9162] vsize: 662840 Current children cumulated CPU time (s) 164.01 Current children cumulated vsize (Kb) 662840 [startup+180.003 s] Raw data (loadavg): 0.99 0.95 0.91 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 242999 0 0 0 16177 972 0 0 18 0 1 0 22035846 679944192 143747 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9162/statm): 166002 143747 364 364 0 165638 0 [pid=9162] vsize: 664008 Current children cumulated CPU time (s) 171.49 Current children cumulated vsize (Kb) 664008 [startup+190.004 s] Raw data (loadavg): 0.99 0.96 0.91 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 243154 0 0 0 16804 1090 0 0 18 0 1 0 22035846 680480768 143902 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9162/statm): 166133 143902 364 364 0 165769 0 [pid=9162] vsize: 664532 Current children cumulated CPU time (s) 178.94 Current children cumulated vsize (Kb) 664532 [startup+200.003 s] Raw data (loadavg): 1.07 0.97 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 243284 0 0 0 17497 1188 0 0 18 0 1 0 22035846 681009152 144032 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 166262 144032 364 364 0 165898 0 [pid=9162] vsize: 665048 Current children cumulated CPU time (s) 186.85 Current children cumulated vsize (Kb) 665048 [startup+210.004 s] Raw data (loadavg): 1.06 0.97 0.91 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 243372 0 0 0 18205 1282 0 0 19 0 1 0 22035846 681402368 144120 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9162/statm): 166358 144120 364 364 0 165994 0 [pid=9162] vsize: 665432 Current children cumulated CPU time (s) 194.87 Current children cumulated vsize (Kb) 665432 [startup+220.005 s] Raw data (loadavg): 1.05 0.97 0.91 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 243601 0 0 0 18814 1405 0 0 17 0 1 0 22035846 682332160 144349 4294967295 134512640 135987407 3221224560 3221223376 134815444 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 166585 144349 364 364 0 166221 0 [pid=9162] vsize: 666340 Current children cumulated CPU time (s) 202.19 Current children cumulated vsize (Kb) 666340 [startup+230.006 s] Raw data (loadavg): 1.04 0.97 0.91 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 243788 0 0 0 19459 1515 0 0 17 0 1 0 22035846 683130880 144536 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9162/statm): 166780 144536 364 364 0 166416 0 [pid=9162] vsize: 667120 Current children cumulated CPU time (s) 209.74 Current children cumulated vsize (Kb) 667120 [startup+240.005 s] Raw data (loadavg): 1.03 0.97 0.91 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 243901 0 0 0 20086 1631 0 0 18 0 1 0 22035846 683528192 144649 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9162/statm): 166877 144649 364 364 0 166513 0 [pid=9162] vsize: 667508 Current children cumulated CPU time (s) 217.17 Current children cumulated vsize (Kb) 667508 [startup+250.005 s] Raw data (loadavg): 1.03 0.97 0.91 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 244014 0 0 0 20729 1746 0 0 17 0 1 0 22035846 684060672 144762 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9162/statm): 167007 144762 364 364 0 166643 0 [pid=9162] vsize: 668028 Current children cumulated CPU time (s) 224.75 Current children cumulated vsize (Kb) 668028 [startup+260.006 s] Raw data (loadavg): 1.10 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 244236 0 0 0 21308 1882 0 0 17 0 1 0 22035846 684986368 144984 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 167233 144984 364 364 0 166869 0 [pid=9162] vsize: 668932 Current children cumulated CPU time (s) 231.9 Current children cumulated vsize (Kb) 668932 [startup+270.005 s] Raw data (loadavg): 1.09 0.99 0.92 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 244384 0 0 0 21936 2000 0 0 18 0 1 0 22035846 685514752 145132 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9162/statm): 167362 145132 364 364 0 166998 0 [pid=9162] vsize: 669448 Current children cumulated CPU time (s) 239.36 Current children cumulated vsize (Kb) 669448 [startup+280.006 s] Raw data (loadavg): 1.07 0.99 0.92 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 244489 0 0 0 22560 2121 0 0 24 0 1 0 22035846 685912064 145237 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9162/statm): 167459 145237 364 364 0 167095 0 [pid=9162] vsize: 669836 Current children cumulated CPU time (s) 246.81 Current children cumulated vsize (Kb) 669836 [startup+290.007 s] Raw data (loadavg): 1.06 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 244857 0 0 0 23322 2195 0 0 25 0 1 0 22035846 687882240 145605 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 167940 145605 364 364 0 167576 0 [pid=9162] vsize: 671760 Current children cumulated CPU time (s) 255.17 Current children cumulated vsize (Kb) 671760 [startup+300.007 s] Raw data (loadavg): 1.05 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 248833 0 0 0 24300 2210 0 0 25 0 1 0 22035846 704270336 149581 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 171941 149581 364 364 0 171577 0 [pid=9162] vsize: 687764 Current children cumulated CPU time (s) 265.1 Current children cumulated vsize (Kb) 687764 [startup+310.007 s] Raw data (loadavg): 1.04 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 249125 0 0 0 25292 2213 0 0 25 0 1 0 22035846 689401856 145928 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 168311 145928 364 364 0 167947 0 [pid=9162] vsize: 673244 Current children cumulated CPU time (s) 275.05 Current children cumulated vsize (Kb) 673244 [startup+320.007 s] Raw data (loadavg): 1.04 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 251682 0 0 0 26279 2222 0 0 25 0 1 0 22035846 696102912 147021 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 169947 147021 364 364 0 169583 0 [pid=9162] vsize: 679788 Current children cumulated CPU time (s) 285.01 Current children cumulated vsize (Kb) 679788 [startup+330.008 s] Raw data (loadavg): 1.03 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 254733 0 0 0 27253 2235 0 0 25 0 1 0 22035846 704892928 148229 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 172093 148229 364 364 0 171729 0 [pid=9162] vsize: 688372 Current children cumulated CPU time (s) 294.88 Current children cumulated vsize (Kb) 688372 [startup+340.008 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 256704 0 0 0 28224 2247 0 0 25 0 1 0 22035846 709681152 149298 4294967295 134512640 135987407 3221224560 3221223344 134812339 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 173262 149298 364 364 0 172898 0 [pid=9162] vsize: 693048 Current children cumulated CPU time (s) 304.71 Current children cumulated vsize (Kb) 693048 [startup+350.008 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 260461 0 0 0 29209 2256 0 0 25 0 1 0 22035846 719413248 151025 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 175638 151025 364 364 0 175274 0 [pid=9162] vsize: 702552 Current children cumulated CPU time (s) 314.65 Current children cumulated vsize (Kb) 702552 [startup+360.009 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 263873 0 0 0 30200 2264 0 0 25 0 1 0 22035846 729407488 152410 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 178078 152410 364 364 0 177714 0 [pid=9162] vsize: 712312 Current children cumulated CPU time (s) 324.64 Current children cumulated vsize (Kb) 712312 [startup+370.009 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 266125 0 0 0 31188 2271 0 0 25 0 1 0 22035846 736243712 153152 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 179747 153152 364 364 0 179383 0 [pid=9162] vsize: 718988 Current children cumulated CPU time (s) 334.59 Current children cumulated vsize (Kb) 718988 [startup+380.009 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 267681 0 0 0 32104 2298 0 0 25 0 1 0 22035846 741343232 154040 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 180992 154040 364 364 0 180628 0 [pid=9162] vsize: 723968 Current children cumulated CPU time (s) 344.02 Current children cumulated vsize (Kb) 723968 [startup+390.01 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 269071 0 0 0 33001 2336 0 0 23 0 1 0 22035846 745394176 154824 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 181981 154824 364 364 0 181617 0 [pid=9162] vsize: 727924 Current children cumulated CPU time (s) 353.37 Current children cumulated vsize (Kb) 727924 [startup+400.01 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 273515 0 0 0 33967 2354 0 0 25 0 1 0 22035846 756740096 156719 4294967295 134512640 135987407 3221224560 3221223320 134812118 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 184751 156719 364 364 0 184387 0 [pid=9162] vsize: 739004 Current children cumulated CPU time (s) 363.21 Current children cumulated vsize (Kb) 739004 [startup+410.01 s] Raw data (loadavg): 1.01 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 274157 0 0 0 34962 2356 0 0 25 0 1 0 22035846 758190080 157071 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 185105 157071 364 364 0 184741 0 [pid=9162] vsize: 740420 Current children cumulated CPU time (s) 373.18 Current children cumulated vsize (Kb) 740420 [startup+420.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 274511 0 0 0 35943 2363 0 0 25 0 1 0 22035846 759656448 157343 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 185463 157343 364 364 0 185099 0 [pid=9162] vsize: 741852 Current children cumulated CPU time (s) 383.06 Current children cumulated vsize (Kb) 741852 [startup+430.012 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 275406 0 0 0 36936 2366 0 0 25 0 1 0 22035846 762089472 157787 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 186057 157787 364 364 0 185693 0 [pid=9162] vsize: 744228 Current children cumulated CPU time (s) 393.02 Current children cumulated vsize (Kb) 744228 [startup+440.012 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 280002 0 0 0 37918 2378 0 0 25 0 1 0 22035846 775737344 159202 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 189389 159202 364 364 0 189025 0 [pid=9162] vsize: 757556 Current children cumulated CPU time (s) 402.96 Current children cumulated vsize (Kb) 757556 [startup+450.011 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 285184 0 0 0 38891 2393 0 0 25 0 1 0 22035846 789889024 161224 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 192844 161224 364 364 0 192480 0 [pid=9162] vsize: 771376 Current children cumulated CPU time (s) 412.84 Current children cumulated vsize (Kb) 771376 [startup+460.012 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 287337 0 0 0 39880 2400 0 0 25 0 1 0 22035846 796729344 161804 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 194514 161804 364 364 0 194150 0 [pid=9162] vsize: 778056 Current children cumulated CPU time (s) 422.8 Current children cumulated vsize (Kb) 778056 [startup+470.012 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 287362 0 0 0 40860 2406 0 0 25 0 1 0 22035846 796925952 161829 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 194562 161829 364 364 0 194198 0 [pid=9162] vsize: 778248 Current children cumulated CPU time (s) 432.66 Current children cumulated vsize (Kb) 778248 [startup+480.012 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 288015 0 0 0 41797 2427 0 0 19 0 1 0 22035846 799182848 162302 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 195113 162302 364 364 0 194749 0 [pid=9162] vsize: 780452 Current children cumulated CPU time (s) 442.24 Current children cumulated vsize (Kb) 780452 [startup+490.013 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 289640 0 0 0 42771 2437 0 0 25 0 1 0 22035846 803422208 163117 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 196148 163117 364 364 0 195784 0 [pid=9162] vsize: 784592 Current children cumulated CPU time (s) 452.08 Current children cumulated vsize (Kb) 784592 [startup+500.013 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 291107 0 0 0 43735 2450 0 0 25 0 1 0 22035846 807362560 163747 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 197110 163747 364 364 0 196746 0 [pid=9162] vsize: 788440 Current children cumulated CPU time (s) 461.85 Current children cumulated vsize (Kb) 788440 [startup+510.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 292737 0 0 0 44730 2453 0 0 25 0 1 0 22035846 810516480 164732 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 197880 164732 364 364 0 197516 0 [pid=9162] vsize: 791520 Current children cumulated CPU time (s) 471.83 Current children cumulated vsize (Kb) 791520 [startup+520.013 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 293566 0 0 0 45722 2457 0 0 25 0 1 0 22035846 813166592 165288 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 198527 165288 364 364 0 198163 0 [pid=9162] vsize: 794108 Current children cumulated CPU time (s) 481.79 Current children cumulated vsize (Kb) 794108 [startup+530.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 293754 0 0 0 46721 2457 0 0 25 0 1 0 22035846 813166592 165476 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 198527 165476 364 364 0 198163 0 [pid=9162] vsize: 794108 Current children cumulated CPU time (s) 491.78 Current children cumulated vsize (Kb) 794108 [startup+540.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 293754 0 0 0 47718 2458 0 0 25 0 1 0 22035846 813166592 165476 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 198527 165476 364 364 0 198163 0 [pid=9162] vsize: 794108 Current children cumulated CPU time (s) 501.76 Current children cumulated vsize (Kb) 794108 [startup+550.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 293870 0 0 0 48694 2466 0 0 25 0 1 0 22035846 813953024 165592 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 198719 165592 364 364 0 198355 0 [pid=9162] vsize: 794876 Current children cumulated CPU time (s) 511.6 Current children cumulated vsize (Kb) 794876 [startup+560.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 293883 0 0 0 49620 2490 0 0 25 0 1 0 22035846 813953024 165605 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 198719 165605 364 364 0 198355 0 [pid=9162] vsize: 794876 Current children cumulated CPU time (s) 521.1 Current children cumulated vsize (Kb) 794876 [startup+570.014 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 298712 0 0 0 50602 2504 0 0 25 0 1 0 22035846 816168960 166103 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 199260 166103 364 364 0 198896 0 [pid=9162] vsize: 797040 Current children cumulated CPU time (s) 531.06 Current children cumulated vsize (Kb) 797040 [startup+580.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 306507 0 0 0 51573 2523 0 0 25 0 1 0 22035846 833507328 169928 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 203493 169928 364 364 0 203129 0 [pid=9162] vsize: 813972 Current children cumulated CPU time (s) 540.96 Current children cumulated vsize (Kb) 813972 [startup+590.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 310273 0 0 0 52513 2548 0 0 25 0 1 0 22035846 841641984 171758 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 205479 171758 364 364 0 205115 0 [pid=9162] vsize: 821916 Current children cumulated CPU time (s) 550.61 Current children cumulated vsize (Kb) 821916 [startup+600.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 314027 0 0 0 53444 2575 0 0 21 0 1 0 22035846 849944576 173581 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 207506 173581 364 364 0 207142 0 [pid=9162] vsize: 830024 Current children cumulated CPU time (s) 560.19 Current children cumulated vsize (Kb) 830024 [startup+610.016 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 314452 0 0 0 54409 2587 0 0 25 0 1 0 22035846 851464192 173832 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 207877 173832 364 364 0 207513 0 [pid=9162] vsize: 831508 Current children cumulated CPU time (s) 569.96 Current children cumulated vsize (Kb) 831508 [startup+620.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 314594 0 0 0 55324 2615 0 0 25 0 1 0 22035846 851861504 173909 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 207974 173909 364 364 0 207610 0 [pid=9162] vsize: 831896 Current children cumulated CPU time (s) 579.39 Current children cumulated vsize (Kb) 831896 [startup+630.017 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 314936 0 0 0 56253 2639 0 0 23 0 1 0 22035846 853082112 174137 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 208272 174137 364 364 0 207908 0 [pid=9162] vsize: 833088 Current children cumulated CPU time (s) 588.92 Current children cumulated vsize (Kb) 833088 [startup+640.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 314978 0 0 0 57190 2659 0 0 25 0 1 0 22035846 853217280 174179 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 208305 174179 364 364 0 207941 0 [pid=9162] vsize: 833220 Current children cumulated CPU time (s) 598.49 Current children cumulated vsize (Kb) 833220 [startup+650.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 315712 0 0 0 58147 2673 0 0 25 0 1 0 22035846 855535616 174585 4294967295 134512640 135987407 3221224560 3221223128 134801602 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 208871 174585 364 364 0 208507 0 [pid=9162] vsize: 835484 Current children cumulated CPU time (s) 608.2 Current children cumulated vsize (Kb) 835484 [startup+660.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 315831 0 0 0 59099 2688 0 0 25 0 1 0 22035846 855797760 174639 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 208935 174639 364 364 0 208571 0 [pid=9162] vsize: 835740 Current children cumulated CPU time (s) 617.87 Current children cumulated vsize (Kb) 835740 [startup+670.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 315960 0 0 0 60053 2704 0 0 25 0 1 0 22035846 856387584 174768 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 209079 174768 364 364 0 208715 0 [pid=9162] vsize: 836316 Current children cumulated CPU time (s) 627.57 Current children cumulated vsize (Kb) 836316 [startup+680.02 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 316076 0 0 0 61022 2713 0 0 25 0 1 0 22035846 856801280 174851 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9162/statm): 209180 174851 364 364 0 208816 0 [pid=9162] vsize: 836720 Current children cumulated CPU time (s) 637.35 Current children cumulated vsize (Kb) 836720 [startup+690.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 317736 0 0 0 62015 2717 0 0 25 0 1 0 22035846 863092736 174972 4294967295 134512640 135987407 3221224560 3221223380 135479922 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 210716 174972 364 364 0 210352 0 [pid=9162] vsize: 842864 Current children cumulated CPU time (s) 647.32 Current children cumulated vsize (Kb) 842864 [startup+700.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 318963 0 0 0 62998 2723 0 0 25 0 1 0 22035846 867287040 175173 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 211740 175173 364 364 0 211376 0 [pid=9162] vsize: 846960 Current children cumulated CPU time (s) 657.21 Current children cumulated vsize (Kb) 846960 [startup+710.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 318994 0 0 0 63959 2737 0 0 25 0 1 0 22035846 867426304 175204 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 211774 175204 364 364 0 211410 0 [pid=9162] vsize: 847096 Current children cumulated CPU time (s) 666.96 Current children cumulated vsize (Kb) 847096 [startup+720.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 320007 0 0 0 64952 2741 0 0 25 0 1 0 22035846 869654528 175668 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 212318 175668 364 364 0 211954 0 [pid=9162] vsize: 849272 Current children cumulated CPU time (s) 676.93 Current children cumulated vsize (Kb) 849272 [startup+730.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 325224 0 0 0 65936 2751 0 0 25 0 1 0 22035846 880664576 178178 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 215006 178178 364 364 0 214642 0 [pid=9162] vsize: 860024 Current children cumulated CPU time (s) 686.87 Current children cumulated vsize (Kb) 860024 [startup+740.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 327261 0 0 0 66922 2759 0 0 25 0 1 0 22035846 885362688 179199 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 216153 179199 364 364 0 215789 0 [pid=9162] vsize: 864612 Current children cumulated CPU time (s) 696.81 Current children cumulated vsize (Kb) 864612 [startup+750.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 330476 0 0 0 67905 2769 0 0 25 0 1 0 22035846 893784064 180799 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 218209 180799 364 364 0 217845 0 [pid=9162] vsize: 872836 Current children cumulated CPU time (s) 706.74 Current children cumulated vsize (Kb) 872836 [startup+760.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 332630 0 0 0 68888 2776 0 0 25 0 1 0 22035846 898375680 181889 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 219330 181889 364 364 0 218966 0 [pid=9162] vsize: 877320 Current children cumulated CPU time (s) 716.64 Current children cumulated vsize (Kb) 877320 [startup+770.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 333973 0 0 0 69878 2782 0 0 25 0 1 0 22035846 901390336 182589 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 220066 182589 364 364 0 219702 0 [pid=9162] vsize: 880264 Current children cumulated CPU time (s) 726.6 Current children cumulated vsize (Kb) 880264 [startup+780.023 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 336092 0 0 0 70867 2788 0 0 25 0 1 0 22035846 906133504 183740 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 221224 183740 364 364 0 220860 0 [pid=9162] vsize: 884896 Current children cumulated CPU time (s) 736.55 Current children cumulated vsize (Kb) 884896 [startup+790.024 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 338991 0 0 0 71860 2794 0 0 25 0 1 0 22035846 912707584 185186 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 222829 185186 364 364 0 222465 0 [pid=9162] vsize: 891316 Current children cumulated CPU time (s) 746.54 Current children cumulated vsize (Kb) 891316 [startup+800.024 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 339129 0 0 0 72858 2795 0 0 25 0 1 0 22035846 913240064 185258 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 222959 185258 364 364 0 222595 0 [pid=9162] vsize: 891836 Current children cumulated CPU time (s) 756.53 Current children cumulated vsize (Kb) 891836 [startup+810.025 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 339133 0 0 0 73857 2795 0 0 25 0 1 0 22035846 913240064 185262 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 222959 185262 364 364 0 222595 0 [pid=9162] vsize: 891836 Current children cumulated CPU time (s) 766.52 Current children cumulated vsize (Kb) 891836 [startup+820.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340191 0 0 0 74849 2799 0 0 25 0 1 0 22035846 915742720 185803 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 223570 185803 364 364 0 223206 0 [pid=9162] vsize: 894280 Current children cumulated CPU time (s) 776.48 Current children cumulated vsize (Kb) 894280 [startup+830.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340198 0 0 0 75847 2799 0 0 25 0 1 0 22035846 915742720 185810 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 223570 185810 364 364 0 223206 0 [pid=9162] vsize: 894280 Current children cumulated CPU time (s) 786.46 Current children cumulated vsize (Kb) 894280 [startup+840.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340224 0 0 0 76842 2801 0 0 25 0 1 0 22035846 915877888 185836 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 223603 185836 364 364 0 223239 0 [pid=9162] vsize: 894412 Current children cumulated CPU time (s) 796.43 Current children cumulated vsize (Kb) 894412 [startup+850.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340227 0 0 0 77841 2802 0 0 25 0 1 0 22035846 915877888 185839 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 223603 185839 364 364 0 223239 0 [pid=9162] vsize: 894412 Current children cumulated CPU time (s) 806.43 Current children cumulated vsize (Kb) 894412 [startup+860.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340230 0 0 0 78840 2802 0 0 25 0 1 0 22035846 915877888 185842 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9162/statm): 223603 185842 364 364 0 223239 0 [pid=9162] vsize: 894412 Current children cumulated CPU time (s) 816.42 Current children cumulated vsize (Kb) 894412 [startup+870.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340230 0 0 0 79838 2802 0 0 25 0 1 0 22035846 915877888 185842 4294967295 134512640 135987407 3221224560 3221223424 134812787 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 223603 185842 364 364 0 223239 0 [pid=9162] vsize: 894412 Current children cumulated CPU time (s) 826.4 Current children cumulated vsize (Kb) 894412 [startup+880.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340230 0 0 0 80837 2803 0 0 25 0 1 0 22035846 915877888 185842 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 223603 185842 364 364 0 223239 0 [pid=9162] vsize: 894412 Current children cumulated CPU time (s) 836.4 Current children cumulated vsize (Kb) 894412 [startup+890.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 342914 0 0 0 81826 2810 0 0 25 0 1 0 22035846 921649152 187140 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 225012 187140 364 364 0 224648 0 [pid=9162] vsize: 900048 Current children cumulated CPU time (s) 846.36 Current children cumulated vsize (Kb) 900048 [startup+900.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 345762 0 0 0 82820 2816 0 0 25 0 1 0 22035846 927952896 188536 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 226551 188536 364 364 0 226187 0 [pid=9162] vsize: 906204 Current children cumulated CPU time (s) 856.36 Current children cumulated vsize (Kb) 906204 [startup+910.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 346724 0 0 0 83815 2819 0 0 25 0 1 0 22035846 930054144 189014 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 227064 189014 364 364 0 226700 0 [pid=9162] vsize: 908256 Current children cumulated CPU time (s) 866.34 Current children cumulated vsize (Kb) 908256 [startup+920.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 348491 0 0 0 84807 2824 0 0 25 0 1 0 22035846 933859328 189879 4294967295 134512640 135987407 3221224560 3221223344 134812377 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 227993 189879 364 364 0 227629 0 [pid=9162] vsize: 911972 Current children cumulated CPU time (s) 876.31 Current children cumulated vsize (Kb) 911972 [startup+930.029 s] Raw data (loadavg): 1.00 0.99 0.92 2/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 350358 0 0 0 85802 2828 0 0 25 0 1 0 22035846 937926656 190778 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9162/statm): 228986 190778 364 364 0 228622 0 [pid=9162] vsize: 915944 Current children cumulated CPU time (s) 886.3 Current children cumulated vsize (Kb) 915944 [startup+940.029 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 350402 0 0 0 86726 2854 0 0 21 0 1 0 22035846 938196992 190822 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9162/statm): 229052 190822 364 364 0 228688 0 [pid=9162] vsize: 916208 Current children cumulated CPU time (s) 895.8 Current children cumulated vsize (Kb) 916208 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+942.96 s] Raw data (loadavg): 1.00 0.99 0.92 1/55 9162 Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 350402 0 0 0 87012 2856 0 0 25 0 1 0 22035846 953954304 190822 4294967295 134512640 135987407 3221224560 3221222896 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9162/statm): 232899 190822 364 364 0 232535 0 [pid=9162] vsize: 931596 Current children cumulated CPU time (s) 898.68 Current children cumulated vsize (Kb) 931596 Sending SIGTERM to -9162 Sleeping 2 seconds Sending SIGKILL to -9162 One traced child (pid=9162) ended because it received signal 9 (SIGKILL) All traced children have exited ! Game is over. Child ended because it received signal 9 (SIGKILL) Real time (s): 945.348 CPU time (s): 899.261 CPU user time (s): 870.314 CPU system time (s): 28.9476 CPU usage (%): 95.1249 Max. virtual memory (cumulated for all children) (Kb): 931596
ERROR: no interpretation found !