Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-rgn.opb |
MD5SUM | 56e0ae8659c33a6c7b55390a12db116b |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 537600 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1160 |
Biggest coefficient in the objective function | 196608 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 15892320 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 25600000000 |
Number of bits of the biggest number in a constraint | 35 |
Biggest sum of numbers in a constraint | 232836875088 |
Number of bits of the biggest sum of numbers | 38 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1249.24 |
Number of variables | 1260 |
Total number of constraints | 204 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 104 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
LAUNCH ON wulflinc30 THE 2005-09-23 16:22:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8743 boxname=wulflinc30 idbench=539 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 56e0ae8659c33a6c7b55390a12db116b /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-rgn.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-rgn.opb IDLAUNCH: 8743 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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: 940028 kB Buffers: 12028 kB Cached: 65696 kB SwapCached: 0 kB Active: 42972 kB Inactive: 37700 kB HighTotal: 131008 kB HighFree: 61152 kB LowTotal: 903652 kB LowFree: 878876 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8360 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 16:42:39 (client local time) WITH STATUS 0 IN 1202.89 SECONDS stats: 8743 7 1202.89 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 431/420586 Time: 55.6115/86400 c Decision: 431/420586 Time: 66.2709/86400 c Decision: 433/420586 Time: 84.5841/86400 c Decision: 436/420586 Time: 98.3251/86400 c Decision: 443/420586 Time: 116.098/86400 c Decision: 443/420586 Time: 127.379/86400 c Decision: 443/420586 Time: 137.276/86400 c Decision: 447/420586 Time: 155.713/86400 c Decision: 447/420586 Time: 165.112/86400 c Decision: 447/420586 Time: 175.701/86400 c Decision: 669/420586 Time: 208.353/86400 c Decision: 724/420586 Time: 229.003/86400 c Decision: 724/420586 Time: 238.995/86400 c Decision: 901/420586 Time: 251.488/86400 c Decision: 2540/420586 Time: 379.167/86400 c Decision: 2683/420586 Time: 463.023/86400 c Decision: 2691/420586 Time: 494.563/86400 c Decision: 2691/420586 Time: 506.69/86400 c Decision: 2691/420586 Time: 519.115/86400 c Decision: 2691/420586 Time: 531.021/86400 c Decision: 2691/420586 Time: 544.918/86400 c Decision: 2691/420586 Time: 557.04/86400 c Decision: 2691/420586 Time: 567.64/86400 c Decision: 2696/420586 Time: 582.578/86400 c Decision: 2701/420586 Time: 601.509/86400 c Decision: 2728/420586 Time: 623.755/86400 c Decision: 2728/420586 Time: 637.396/86400 c Decision: 2737/420586 Time: 658.292/86400 c Decision: 2768/420586 Time: 679.633/86400 c Decision: 2768/420586 Time: 692.663/86400 c Decision: 2768/420586 Time: 706.216/86400 c Decision: 2768/420586 Time: 716.815/86400 c Decision: 2768/420586 Time: 728.416/86400 c Decision: 2768/420586 Time: 742.062/86400 c Decision: 2769/420586 Time: 764.869/86400 c Decision: 2769/420586 Time: 779.876/86400 c Decision: 2769/420586 Time: 794.1/86400 c Decision: 2769/420586 Time: 808.169/86400 c Decision: 2769/420586 Time: 821.273/86400 c Decision: 2769/420586 Time: 835.065/86400 c Decision: 2769/420586 Time: 849.862/86400 c Decision: 2769/420586 Time: 862.602/86400 c Decision: 2769/420586 Time: 875.82/86400 c Decision: 2769/420586 Time: 888.007/86400 c Decision: 2769/420586 Time: 900.756/86400 c Decision: 2769/420586 Time: 914.761/86400 c Decision: 2769/420586 Time: 930.574/86400 c Decision: 2769/420586 Time: 945.591/86400 c Decision: 2769/420586 Time: 958.37/86400 c Decision: 2769/420586 Time: 971.919/86400 c Decision: 2769/420586 Time: 986.301/86400 c Decision: 2769/420586 Time: 999.861/86400 c Decision: 2769/420586 Time: 1012.09/86400 c Decision: 2769/420586 Time: 1025.57/86400 c Decision: 2769/420586 Time: 1039.44/86400 c Decision: 2769/420586 Time: 1054.48/86400 c Decision: 2837/420586 Time: 1070.53/86400 c Decision: 2837/420586 Time: 1083.25/86400 c Decision: 2837/420586 Time: 1099.89/86400 c Decision: 2837/420586 Time: 1115.06/86400 c Decision: 2837/420586 Time: 1131.19/86400 c Decision: 2837/420586 Time: 1145.24/86400 c Decision: 2837/420586 Time: 1158.07/86400 c Decision: 2837/420586 Time: 1171.6/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/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21553688 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 373 2 364 364 0 9 0 [pid=9555] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-rgn.opb [startup+10.0013 s] Raw data (loadavg): 0.90 0.93 0.90 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 28753 0 0 0 933 64 0 0 25 0 1 0 21553688 80723968 17582 4294967295 134512640 135987407 3221224560 3221203180 134669203 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 19708 17582 364 364 0 19344 0 [pid=9555] vsize: 78832 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 78832 [startup+20.002 s] Raw data (loadavg): 0.92 0.93 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 55977 0 0 0 1865 127 0 0 25 0 1 0 21553688 166264832 32803 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 40592 32803 364 364 0 40228 0 [pid=9555] vsize: 162368 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 162368 [startup+30.0029 s] Raw data (loadavg): 0.93 0.94 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 56385 0 0 0 2833 139 0 0 25 0 1 0 21553688 167923712 33211 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 40997 33211 364 364 0 40633 0 [pid=9555] vsize: 163988 Current children cumulated CPU time (s) 29.72 Current children cumulated vsize (Kb) 163988 [startup+40.0036 s] Raw data (loadavg): 0.94 0.94 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 57031 0 0 0 3805 150 0 0 25 0 1 0 21553688 170721280 33857 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 41680 33857 364 364 0 41316 0 [pid=9555] vsize: 166720 Current children cumulated CPU time (s) 39.55 Current children cumulated vsize (Kb) 166720 [startup+50.0044 s] Raw data (loadavg): 0.95 0.94 0.91 1/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 57528 0 0 0 4773 161 0 0 25 0 1 0 21553688 173019136 34354 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9555/statm): 42241 34354 364 364 0 41877 0 [pid=9555] vsize: 168964 Current children cumulated CPU time (s) 49.34 Current children cumulated vsize (Kb) 168964 [startup+60.0042 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 57659 0 0 0 5739 173 0 0 25 0 1 0 21553688 173510656 34485 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42361 34485 364 364 0 41997 0 [pid=9555] vsize: 169444 Current children cumulated CPU time (s) 59.12 Current children cumulated vsize (Kb) 169444 [startup+70.005 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 57732 0 0 0 6708 182 0 0 25 0 1 0 21553688 173871104 34558 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42449 34558 364 364 0 42085 0 [pid=9555] vsize: 169796 Current children cumulated CPU time (s) 68.9 Current children cumulated vsize (Kb) 169796 [startup+80.0058 s] Raw data (loadavg): 0.97 0.94 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 58576 0 0 0 7683 193 0 0 25 0 1 0 21553688 173871104 34580 4294967295 134512640 135987407 3221224560 3221223136 134788861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 42449 34580 364 364 0 42085 0 [pid=9555] vsize: 169796 Current children cumulated CPU time (s) 78.76 Current children cumulated vsize (Kb) 169796 [startup+90.0066 s] Raw data (loadavg): 0.97 0.94 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 59426 0 0 0 8653 204 0 0 25 0 1 0 21553688 174034944 34608 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42489 34608 364 364 0 42125 0 [pid=9555] vsize: 169956 Current children cumulated CPU time (s) 88.57 Current children cumulated vsize (Kb) 169956 [startup+100.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 59461 0 0 0 9625 213 0 0 25 0 1 0 21553688 174034944 34643 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42489 34643 364 364 0 42125 0 [pid=9555] vsize: 169956 Current children cumulated CPU time (s) 98.38 Current children cumulated vsize (Kb) 169956 [startup+110.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 60307 0 0 0 10598 223 0 0 25 0 1 0 21553688 174198784 34667 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42529 34667 364 364 0 42165 0 [pid=9555] vsize: 170116 Current children cumulated CPU time (s) 108.21 Current children cumulated vsize (Kb) 170116 [startup+120.007 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 61156 0 0 0 11575 233 0 0 25 0 1 0 21553688 174198784 34694 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42529 34694 364 364 0 42165 0 [pid=9555] vsize: 170116 Current children cumulated CPU time (s) 118.08 Current children cumulated vsize (Kb) 170116 [startup+130.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 61190 0 0 0 12549 242 0 0 25 0 1 0 21553688 174362624 34728 4294967295 134512640 135987407 3221224560 3221223400 134812771 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42569 34728 364 364 0 42205 0 [pid=9555] vsize: 170276 Current children cumulated CPU time (s) 127.91 Current children cumulated vsize (Kb) 170276 [startup+140.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 62023 0 0 0 13527 251 0 0 25 0 1 0 21553688 174362624 34739 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42569 34739 364 364 0 42205 0 [pid=9555] vsize: 170276 Current children cumulated CPU time (s) 137.78 Current children cumulated vsize (Kb) 170276 [startup+150.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 62855 0 0 0 14510 258 0 0 25 0 1 0 21553688 174362624 34749 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 42569 34749 364 364 0 42205 0 [pid=9555] vsize: 170276 Current children cumulated CPU time (s) 147.68 Current children cumulated vsize (Kb) 170276 [startup+160.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 63690 0 0 0 15487 266 0 0 25 0 1 0 21553688 174362624 34762 4294967295 134512640 135987407 3221224560 3221223424 134812626 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 42569 34762 364 364 0 42205 0 [pid=9555] vsize: 170276 Current children cumulated CPU time (s) 157.53 Current children cumulated vsize (Kb) 170276 [startup+170.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 63767 0 0 0 16464 273 0 0 25 0 1 0 21553688 174755840 34839 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 42665 34839 364 364 0 42301 0 [pid=9555] vsize: 170660 Current children cumulated CPU time (s) 167.37 Current children cumulated vsize (Kb) 170660 [startup+180.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 64616 0 0 0 17443 281 0 0 25 0 1 0 21553688 174755840 34866 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42665 34866 364 364 0 42301 0 [pid=9555] vsize: 170660 Current children cumulated CPU time (s) 177.24 Current children cumulated vsize (Kb) 170660 [startup+190.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 65454 0 0 0 18424 289 0 0 25 0 1 0 21553688 174755840 34882 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42665 34882 364 364 0 42301 0 [pid=9555] vsize: 170660 Current children cumulated CPU time (s) 187.13 Current children cumulated vsize (Kb) 170660 [startup+200.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 66315 0 0 0 19405 296 0 0 25 0 1 0 21553688 174952448 34921 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42713 34921 364 364 0 42349 0 [pid=9555] vsize: 170852 Current children cumulated CPU time (s) 197.01 Current children cumulated vsize (Kb) 170852 [startup+210.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 66374 0 0 0 20384 304 0 0 25 0 1 0 21553688 175149056 34980 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42761 34980 364 364 0 42397 0 [pid=9555] vsize: 171044 Current children cumulated CPU time (s) 206.88 Current children cumulated vsize (Kb) 171044 [startup+220.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 66401 0 0 0 21367 309 0 0 25 0 1 0 21553688 175149056 35007 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 42761 35007 364 364 0 42397 0 [pid=9555] vsize: 171044 Current children cumulated CPU time (s) 216.76 Current children cumulated vsize (Kb) 171044 [startup+230.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 67254 0 0 0 22353 315 0 0 25 0 1 0 21553688 175149056 35038 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42761 35038 364 364 0 42397 0 [pid=9555] vsize: 171044 Current children cumulated CPU time (s) 226.68 Current children cumulated vsize (Kb) 171044 [startup+240.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 67270 0 0 0 23333 321 0 0 25 0 1 0 21553688 175345664 35054 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42809 35054 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 236.54 Current children cumulated vsize (Kb) 171236 [startup+250.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 68097 0 0 0 24312 329 0 0 25 0 1 0 21553688 175345664 35059 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42809 35059 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 246.41 Current children cumulated vsize (Kb) 171236 [startup+260.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 68937 0 0 0 25293 338 0 0 25 0 1 0 21553688 175345664 35077 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42809 35077 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 256.31 Current children cumulated vsize (Kb) 171236 [startup+270.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 68971 0 0 0 26274 344 0 0 25 0 1 0 21553688 175345664 35111 4294967295 134512640 135987407 3221224560 3221223344 134812436 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42809 35111 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 266.18 Current children cumulated vsize (Kb) 171236 [startup+280.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69818 0 0 0 27255 353 0 0 25 0 1 0 21553688 175345664 35136 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42809 35136 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 276.08 Current children cumulated vsize (Kb) 171236 [startup+290.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69847 0 0 0 28235 359 0 0 25 0 1 0 21553688 175345664 35165 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42809 35165 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 285.94 Current children cumulated vsize (Kb) 171236 [startup+300.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69869 0 0 0 29215 366 0 0 25 0 1 0 21553688 175345664 35187 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42809 35187 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 295.81 Current children cumulated vsize (Kb) 171236 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69889 0 0 0 30190 373 0 0 25 0 1 0 21553688 175345664 35207 4294967295 134512640 135987407 3221224560 3221223344 134812383 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42809 35207 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 305.63 Current children cumulated vsize (Kb) 171236 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 69903 0 0 0 31160 383 0 0 25 0 1 0 21553688 175345664 35221 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9555/statm): 42809 35221 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 315.43 Current children cumulated vsize (Kb) 171236 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69921 0 0 0 32132 390 0 0 25 0 1 0 21553688 175345664 35239 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 42809 35239 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 325.22 Current children cumulated vsize (Kb) 171236 [startup+340.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69941 0 0 0 33111 398 0 0 25 0 1 0 21553688 175345664 35259 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42809 35259 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 335.09 Current children cumulated vsize (Kb) 171236 [startup+350.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69968 0 0 0 34089 406 0 0 25 0 1 0 21553688 175345664 35286 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42809 35286 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 344.95 Current children cumulated vsize (Kb) 171236 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 69983 0 0 0 35062 414 0 0 25 0 1 0 21553688 175345664 35301 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42809 35301 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 354.76 Current children cumulated vsize (Kb) 171236 [startup+370.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 69998 0 0 0 36037 422 0 0 25 0 1 0 21553688 175345664 35316 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42809 35316 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 364.59 Current children cumulated vsize (Kb) 171236 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 70015 0 0 0 37007 433 0 0 25 0 1 0 21553688 175345664 35333 4294967295 134512640 135987407 3221224560 3221223424 134812597 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 42809 35333 364 364 0 42445 0 [pid=9555] vsize: 171236 Current children cumulated CPU time (s) 374.4 Current children cumulated vsize (Kb) 171236 [startup+390.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 70129 0 0 0 37983 440 0 0 25 0 1 0 21553688 175767552 35447 4294967295 134512640 135987407 3221224560 3221223100 135482121 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 42912 35449 364 364 0 42548 0 [pid=9555] vsize: 171648 Current children cumulated CPU time (s) 384.23 Current children cumulated vsize (Kb) 171648 [startup+400.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 70201 0 0 0 38955 450 0 0 25 0 1 0 21553688 176054272 35519 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 42982 35519 364 364 0 42618 0 [pid=9555] vsize: 171928 Current children cumulated CPU time (s) 394.05 Current children cumulated vsize (Kb) 171928 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71048 0 0 0 39935 458 0 0 25 0 1 0 21553688 176054272 35544 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 42982 35544 364 364 0 42618 0 [pid=9555] vsize: 171928 Current children cumulated CPU time (s) 403.93 Current children cumulated vsize (Kb) 171928 [startup+420.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71118 0 0 0 40910 467 0 0 25 0 1 0 21553688 176447488 35614 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43078 35614 364 364 0 42714 0 [pid=9555] vsize: 172312 Current children cumulated CPU time (s) 413.77 Current children cumulated vsize (Kb) 172312 [startup+430.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71135 0 0 0 41879 477 0 0 25 0 1 0 21553688 176447488 35631 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43078 35631 364 364 0 42714 0 [pid=9555] vsize: 172312 Current children cumulated CPU time (s) 423.56 Current children cumulated vsize (Kb) 172312 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71149 0 0 0 42850 486 0 0 25 0 1 0 21553688 176447488 35645 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43078 35645 364 364 0 42714 0 [pid=9555] vsize: 172312 Current children cumulated CPU time (s) 433.36 Current children cumulated vsize (Kb) 172312 [startup+450.021 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 71175 0 0 0 43823 495 0 0 25 0 1 0 21553688 176447488 35671 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43078 35671 364 364 0 42714 0 [pid=9555] vsize: 172312 Current children cumulated CPU time (s) 443.18 Current children cumulated vsize (Kb) 172312 [startup+460.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71253 0 0 0 44796 504 0 0 25 0 1 0 21553688 176865280 35749 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43180 35749 364 364 0 42816 0 [pid=9555] vsize: 172720 Current children cumulated CPU time (s) 453 Current children cumulated vsize (Kb) 172720 [startup+470.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71306 0 0 0 45771 513 0 0 25 0 1 0 21553688 177000448 35802 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43213 35802 364 364 0 42849 0 [pid=9555] vsize: 172852 Current children cumulated CPU time (s) 462.84 Current children cumulated vsize (Kb) 172852 [startup+480.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 71321 0 0 0 46744 522 0 0 25 0 1 0 21553688 177000448 35817 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43213 35817 364 364 0 42849 0 [pid=9555] vsize: 172852 Current children cumulated CPU time (s) 472.66 Current children cumulated vsize (Kb) 172852 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 72153 0 0 0 47723 531 0 0 25 0 1 0 21553688 177000448 35827 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43213 35827 364 364 0 42849 0 [pid=9555] vsize: 172852 Current children cumulated CPU time (s) 482.54 Current children cumulated vsize (Kb) 172852 [startup+500.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 72166 0 0 0 48699 540 0 0 25 0 1 0 21553688 177147904 35840 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43249 35840 364 364 0 42885 0 [pid=9555] vsize: 172996 Current children cumulated CPU time (s) 492.39 Current children cumulated vsize (Kb) 172996 [startup+510.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 72169 0 0 0 49666 551 0 0 25 0 1 0 21553688 177147904 35843 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43249 35843 364 364 0 42885 0 [pid=9555] vsize: 172996 Current children cumulated CPU time (s) 502.17 Current children cumulated vsize (Kb) 172996 [startup+520.025 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 73008 0 0 0 50642 559 0 0 25 0 1 0 21553688 177147904 35860 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43249 35860 364 364 0 42885 0 [pid=9555] vsize: 172996 Current children cumulated CPU time (s) 512.01 Current children cumulated vsize (Kb) 172996 [startup+530.025 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 73015 0 0 0 51619 566 0 0 25 0 1 0 21553688 177147904 35867 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43249 35867 364 364 0 42885 0 [pid=9555] vsize: 172996 Current children cumulated CPU time (s) 521.85 Current children cumulated vsize (Kb) 172996 [startup+540.026 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 73841 0 0 0 52596 576 0 0 25 0 1 0 21553688 177147904 35871 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43249 35871 364 364 0 42885 0 [pid=9555] vsize: 172996 Current children cumulated CPU time (s) 531.72 Current children cumulated vsize (Kb) 172996 [startup+550.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 74695 0 0 0 53573 585 0 0 25 0 1 0 21553688 177287168 35903 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43283 35903 364 364 0 42919 0 [pid=9555] vsize: 173132 Current children cumulated CPU time (s) 541.58 Current children cumulated vsize (Kb) 173132 [startup+560.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 75520 0 0 0 54551 593 0 0 25 0 1 0 21553688 177287168 35906 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43283 35906 364 364 0 42919 0 [pid=9555] vsize: 173132 Current children cumulated CPU time (s) 551.44 Current children cumulated vsize (Kb) 173132 [startup+570.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 76345 0 0 0 55529 603 0 0 25 0 1 0 21553688 177287168 35909 4294967295 134512640 135987407 3221224560 3221223352 134882485 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43283 35909 364 364 0 42919 0 [pid=9555] vsize: 173132 Current children cumulated CPU time (s) 561.32 Current children cumulated vsize (Kb) 173132 [startup+580.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 76349 0 0 0 56504 612 0 0 25 0 1 0 21553688 177287168 35913 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43283 35913 364 364 0 42919 0 [pid=9555] vsize: 173132 Current children cumulated CPU time (s) 571.16 Current children cumulated vsize (Kb) 173132 [startup+590.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 77176 0 0 0 57482 621 0 0 25 0 1 0 21553688 177287168 35918 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43283 35918 364 364 0 42919 0 [pid=9555] vsize: 173132 Current children cumulated CPU time (s) 581.03 Current children cumulated vsize (Kb) 173132 [startup+600.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 78009 0 0 0 58462 628 0 0 25 0 1 0 21553688 177287168 35929 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43283 35929 364 364 0 42919 0 [pid=9555] vsize: 173132 Current children cumulated CPU time (s) 590.9 Current children cumulated vsize (Kb) 173132 [startup+610.029 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 78854 0 0 0 59442 636 0 0 25 0 1 0 21553688 177459200 35952 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43325 35952 364 364 0 42961 0 [pid=9555] vsize: 173300 Current children cumulated CPU time (s) 600.78 Current children cumulated vsize (Kb) 173300 [startup+620.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 78857 0 0 0 60416 646 0 0 25 0 1 0 21553688 177459200 35955 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43325 35955 364 364 0 42961 0 [pid=9555] vsize: 173300 Current children cumulated CPU time (s) 610.62 Current children cumulated vsize (Kb) 173300 [startup+630.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 79684 0 0 0 61392 655 0 0 25 0 1 0 21553688 177459200 35960 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43325 35960 364 364 0 42961 0 [pid=9555] vsize: 173300 Current children cumulated CPU time (s) 620.47 Current children cumulated vsize (Kb) 173300 [startup+640.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 79688 0 0 0 62365 664 0 0 25 0 1 0 21553688 177459200 35964 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43325 35964 364 364 0 42961 0 [pid=9555] vsize: 173300 Current children cumulated CPU time (s) 630.29 Current children cumulated vsize (Kb) 173300 [startup+650.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 80513 0 0 0 63342 673 0 0 25 0 1 0 21553688 177459200 35967 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43325 35967 364 364 0 42961 0 [pid=9555] vsize: 173300 Current children cumulated CPU time (s) 640.15 Current children cumulated vsize (Kb) 173300 [startup+660.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 80517 0 0 0 64324 679 0 0 25 0 1 0 21553688 177459200 35971 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43325 35971 364 364 0 42961 0 [pid=9555] vsize: 173300 Current children cumulated CPU time (s) 650.03 Current children cumulated vsize (Kb) 173300 [startup+670.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 81359 0 0 0 65304 687 0 0 25 0 1 0 21553688 177594368 35991 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43358 35991 364 364 0 42994 0 [pid=9555] vsize: 173432 Current children cumulated CPU time (s) 659.91 Current children cumulated vsize (Kb) 173432 [startup+680.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 81373 0 0 0 66277 694 0 0 25 0 1 0 21553688 177594368 36005 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43358 36005 364 364 0 42994 0 [pid=9555] vsize: 173432 Current children cumulated CPU time (s) 669.71 Current children cumulated vsize (Kb) 173432 [startup+690.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 82198 0 0 0 67254 704 0 0 25 0 1 0 21553688 177594368 36008 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43358 36008 364 364 0 42994 0 [pid=9555] vsize: 173432 Current children cumulated CPU time (s) 679.58 Current children cumulated vsize (Kb) 173432 [startup+700.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 82208 0 0 0 68228 712 0 0 25 0 1 0 21553688 177594368 36018 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43358 36018 364 364 0 42994 0 [pid=9555] vsize: 173432 Current children cumulated CPU time (s) 689.4 Current children cumulated vsize (Kb) 173432 [startup+710.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 83034 0 0 0 69203 721 0 0 25 0 1 0 21553688 177594368 36022 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43358 36022 364 364 0 42994 0 [pid=9555] vsize: 173432 Current children cumulated CPU time (s) 699.24 Current children cumulated vsize (Kb) 173432 [startup+720.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 83682 0 0 0 70179 730 0 0 25 0 1 0 21553688 180961280 36670 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 44180 36670 364 364 0 43816 0 [pid=9555] vsize: 176720 Current children cumulated CPU time (s) 709.09 Current children cumulated vsize (Kb) 176720 [startup+730.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 83881 0 0 0 71155 739 0 0 25 0 1 0 21553688 177594368 36047 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43358 36047 364 364 0 42994 0 [pid=9555] vsize: 173432 Current children cumulated CPU time (s) 718.94 Current children cumulated vsize (Kb) 173432 [startup+740.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 84714 0 0 0 72132 750 0 0 25 0 1 0 21553688 177594368 36058 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43358 36058 364 364 0 42994 0 [pid=9555] vsize: 173432 Current children cumulated CPU time (s) 728.82 Current children cumulated vsize (Kb) 173432 [startup+750.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 85548 0 0 0 73110 759 0 0 25 0 1 0 21553688 177594368 36070 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43358 36070 364 364 0 42994 0 [pid=9555] vsize: 173432 Current children cumulated CPU time (s) 738.69 Current children cumulated vsize (Kb) 173432 [startup+760.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 86391 0 0 0 74087 769 0 0 25 0 1 0 21553688 177745920 36091 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43395 36091 364 364 0 43031 0 [pid=9555] vsize: 173580 Current children cumulated CPU time (s) 748.56 Current children cumulated vsize (Kb) 173580 [startup+770.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 86403 0 0 0 75063 776 0 0 25 0 1 0 21553688 177745920 36103 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43395 36103 364 364 0 43031 0 [pid=9555] vsize: 173580 Current children cumulated CPU time (s) 758.39 Current children cumulated vsize (Kb) 173580 [startup+780.037 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 87238 0 0 0 76040 786 0 0 25 0 1 0 21553688 177745920 36116 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43395 36116 364 364 0 43031 0 [pid=9555] vsize: 173580 Current children cumulated CPU time (s) 768.26 Current children cumulated vsize (Kb) 173580 [startup+790.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 87256 0 0 0 77014 795 0 0 25 0 1 0 21553688 177745920 36134 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43395 36134 364 364 0 43031 0 [pid=9555] vsize: 173580 Current children cumulated CPU time (s) 778.09 Current children cumulated vsize (Kb) 173580 [startup+800.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 88100 0 0 0 77989 805 0 0 17 0 1 0 21553688 177745920 36156 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43395 36156 364 364 0 43031 0 [pid=9555] vsize: 173580 Current children cumulated CPU time (s) 787.94 Current children cumulated vsize (Kb) 173580 [startup+810.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 88931 0 0 0 78971 813 0 0 25 0 1 0 21553688 177745920 36165 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43395 36165 364 364 0 43031 0 [pid=9555] vsize: 173580 Current children cumulated CPU time (s) 797.84 Current children cumulated vsize (Kb) 173580 [startup+820.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 88946 0 0 0 79949 821 0 0 25 0 1 0 21553688 177745920 36180 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43395 36180 364 364 0 43031 0 [pid=9555] vsize: 173580 Current children cumulated CPU time (s) 807.7 Current children cumulated vsize (Kb) 173580 [startup+830.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 89786 0 0 0 80931 827 0 0 25 0 1 0 21553688 177872896 36198 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43426 36198 364 364 0 43062 0 [pid=9555] vsize: 173704 Current children cumulated CPU time (s) 817.58 Current children cumulated vsize (Kb) 173704 [startup+840.039 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) T 9554 9555 4004 0 -1 0 90621 0 0 0 81907 837 0 0 25 0 1 0 21553688 177872896 36211 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43426 36211 364 364 0 43062 0 [pid=9555] vsize: 173704 Current children cumulated CPU time (s) 827.44 Current children cumulated vsize (Kb) 173704 [startup+850.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 90640 0 0 0 82883 845 0 0 25 0 1 0 21553688 177872896 36230 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43426 36230 364 364 0 43062 0 [pid=9555] vsize: 173704 Current children cumulated CPU time (s) 837.28 Current children cumulated vsize (Kb) 173704 [startup+860.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 91475 0 0 0 83862 854 0 0 25 0 1 0 21553688 177872896 36243 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43426 36243 364 364 0 43062 0 [pid=9555] vsize: 173704 Current children cumulated CPU time (s) 847.16 Current children cumulated vsize (Kb) 173704 [startup+870.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 92311 0 0 0 84836 864 0 0 25 0 1 0 21553688 177872896 36257 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43426 36257 364 364 0 43062 0 [pid=9555] vsize: 173704 Current children cumulated CPU time (s) 857 Current children cumulated vsize (Kb) 173704 [startup+880.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 93147 0 0 0 85814 872 0 0 25 0 1 0 21553688 177872896 36271 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43426 36271 364 364 0 43062 0 [pid=9555] vsize: 173704 Current children cumulated CPU time (s) 866.86 Current children cumulated vsize (Kb) 173704 [startup+890.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 93166 0 0 0 86792 879 0 0 25 0 1 0 21553688 178008064 36290 4294967295 134512640 135987407 3221224560 3221223344 134812339 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43459 36290 364 364 0 43095 0 [pid=9555] vsize: 173836 Current children cumulated CPU time (s) 876.71 Current children cumulated vsize (Kb) 173836 [startup+900.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 94003 0 0 0 87770 889 0 0 25 0 1 0 21553688 178008064 36305 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43459 36305 364 364 0 43095 0 [pid=9555] vsize: 173836 Current children cumulated CPU time (s) 886.59 Current children cumulated vsize (Kb) 173836 [startup+910.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 94839 0 0 0 88744 900 0 0 25 0 1 0 21553688 178008064 36319 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43459 36319 364 364 0 43095 0 [pid=9555] vsize: 173836 Current children cumulated CPU time (s) 896.44 Current children cumulated vsize (Kb) 173836 [startup+920.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 95680 0 0 0 89721 907 0 0 25 0 1 0 21553688 178008064 36338 4294967295 134512640 135987407 3221224560 3221223424 134812626 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43459 36338 364 364 0 43095 0 [pid=9555] vsize: 173836 Current children cumulated CPU time (s) 906.28 Current children cumulated vsize (Kb) 173836 [startup+930.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 95715 0 0 0 90694 916 0 0 25 0 1 0 21553688 178151424 36373 4294967295 134512640 135987407 3221224560 3221223248 134812194 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43494 36373 364 364 0 43130 0 [pid=9555] vsize: 173976 Current children cumulated CPU time (s) 916.1 Current children cumulated vsize (Kb) 173976 [startup+940.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 96549 0 0 0 91667 928 0 0 25 0 1 0 21553688 178151424 36385 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43494 36385 364 364 0 43130 0 [pid=9555] vsize: 173976 Current children cumulated CPU time (s) 925.95 Current children cumulated vsize (Kb) 173976 [startup+950.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 97378 0 0 0 92649 935 0 0 25 0 1 0 21553688 178151424 36392 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43494 36392 364 364 0 43130 0 [pid=9555] vsize: 173976 Current children cumulated CPU time (s) 935.84 Current children cumulated vsize (Kb) 173976 [startup+960.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 97399 0 0 0 93619 946 0 0 25 0 1 0 21553688 178151424 36413 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43494 36413 364 364 0 43130 0 [pid=9555] vsize: 173976 Current children cumulated CPU time (s) 945.65 Current children cumulated vsize (Kb) 173976 [startup+970.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 98235 0 0 0 94600 955 0 0 25 0 1 0 21553688 178151424 36427 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43494 36427 364 364 0 43130 0 [pid=9555] vsize: 173976 Current children cumulated CPU time (s) 955.55 Current children cumulated vsize (Kb) 173976 [startup+980.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 99072 0 0 0 95576 963 0 0 25 0 1 0 21553688 178282496 36442 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43526 36442 364 364 0 43162 0 [pid=9555] vsize: 174104 Current children cumulated CPU time (s) 965.39 Current children cumulated vsize (Kb) 174104 [startup+990.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 99910 0 0 0 96551 971 0 0 25 0 1 0 21553688 181649408 37280 4294967295 134512640 135987407 3221224560 3221222928 134827530 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 44348 37280 364 364 0 43984 0 [pid=9555] vsize: 177392 Current children cumulated CPU time (s) 975.22 Current children cumulated vsize (Kb) 177392 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 99925 0 0 0 97529 979 0 0 25 0 1 0 21553688 178282496 36473 4294967295 134512640 135987407 3221224560 3221223248 134811701 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43526 36473 364 364 0 43162 0 [pid=9555] vsize: 174104 Current children cumulated CPU time (s) 985.08 Current children cumulated vsize (Kb) 174104 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 100764 0 0 0 98511 986 0 0 25 0 1 0 21553688 178282496 36490 4294967295 134512640 135987407 3221224560 3221223248 134812041 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43526 36490 364 364 0 43162 0 [pid=9555] vsize: 174104 Current children cumulated CPU time (s) 994.97 Current children cumulated vsize (Kb) 174104 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 101600 0 0 0 99493 994 0 0 25 0 1 0 21553688 178282496 36504 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43526 36504 364 364 0 43162 0 [pid=9555] vsize: 174104 Current children cumulated CPU time (s) 1004.87 Current children cumulated vsize (Kb) 174104 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 101622 0 0 0 100468 1001 0 0 25 0 1 0 21553688 178282496 36526 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43526 36526 364 364 0 43162 0 [pid=9555] vsize: 174104 Current children cumulated CPU time (s) 1014.69 Current children cumulated vsize (Kb) 174104 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 102458 0 0 0 101445 1011 0 0 25 0 1 0 21553688 178413568 36540 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43558 36540 364 364 0 43194 0 [pid=9555] vsize: 174232 Current children cumulated CPU time (s) 1024.56 Current children cumulated vsize (Kb) 174232 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 103298 0 0 0 102425 1020 0 0 25 0 1 0 21553688 178413568 36558 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43558 36558 364 364 0 43194 0 [pid=9555] vsize: 174232 Current children cumulated CPU time (s) 1034.45 Current children cumulated vsize (Kb) 174232 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 104137 0 0 0 103402 1029 0 0 25 0 1 0 21553688 178413568 36575 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43558 36575 364 364 0 43194 0 [pid=9555] vsize: 174232 Current children cumulated CPU time (s) 1044.31 Current children cumulated vsize (Kb) 174232 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 104154 0 0 0 104380 1036 0 0 25 0 1 0 21553688 178413568 36592 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43558 36592 364 364 0 43194 0 [pid=9555] vsize: 174232 Current children cumulated CPU time (s) 1054.16 Current children cumulated vsize (Kb) 174232 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 104990 0 0 0 105358 1045 0 0 25 0 1 0 21553688 178413568 36606 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43558 36606 364 364 0 43194 0 [pid=9555] vsize: 174232 Current children cumulated CPU time (s) 1064.03 Current children cumulated vsize (Kb) 174232 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 105825 0 0 0 106341 1052 0 0 25 0 1 0 21553688 178413568 36619 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43558 36619 364 364 0 43194 0 [pid=9555] vsize: 174232 Current children cumulated CPU time (s) 1073.93 Current children cumulated vsize (Kb) 174232 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 105836 0 0 0 107319 1059 0 0 25 0 1 0 21553688 178544640 36630 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43590 36630 364 364 0 43226 0 [pid=9555] vsize: 174360 Current children cumulated CPU time (s) 1083.78 Current children cumulated vsize (Kb) 174360 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 106676 0 0 0 108300 1066 0 0 25 0 1 0 21553688 178544640 36648 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43590 36648 364 364 0 43226 0 [pid=9555] vsize: 174360 Current children cumulated CPU time (s) 1093.66 Current children cumulated vsize (Kb) 174360 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 107520 0 0 0 109283 1072 0 0 25 0 1 0 21553688 178544640 36670 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43590 36670 364 364 0 43226 0 [pid=9555] vsize: 174360 Current children cumulated CPU time (s) 1103.55 Current children cumulated vsize (Kb) 174360 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 107549 0 0 0 110261 1079 0 0 25 0 1 0 21553688 178679808 36699 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43623 36699 364 364 0 43259 0 [pid=9555] vsize: 174492 Current children cumulated CPU time (s) 1113.4 Current children cumulated vsize (Kb) 174492 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 108378 0 0 0 111241 1088 0 0 25 0 1 0 21553688 178679808 36706 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43623 36706 364 364 0 43259 0 [pid=9555] vsize: 174492 Current children cumulated CPU time (s) 1123.29 Current children cumulated vsize (Kb) 174492 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 109212 0 0 0 112222 1096 0 0 25 0 1 0 21553688 178679808 36718 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43623 36718 364 364 0 43259 0 [pid=9555] vsize: 174492 Current children cumulated CPU time (s) 1133.18 Current children cumulated vsize (Kb) 174492 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 109231 0 0 0 113201 1103 0 0 25 0 1 0 21553688 178679808 36737 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43623 36737 364 364 0 43259 0 [pid=9555] vsize: 174492 Current children cumulated CPU time (s) 1143.04 Current children cumulated vsize (Kb) 174492 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 110062 0 0 0 114184 1110 0 0 25 0 1 0 21553688 178679808 36746 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43623 36746 364 364 0 43259 0 [pid=9555] vsize: 174492 Current children cumulated CPU time (s) 1152.94 Current children cumulated vsize (Kb) 174492 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 110900 0 0 0 115159 1120 0 0 25 0 1 0 21553688 178679808 36762 4294967295 134512640 135987407 3221224560 3221223200 134822817 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9555/statm): 43623 36762 364 364 0 43259 0 [pid=9555] vsize: 174492 Current children cumulated CPU time (s) 1162.79 Current children cumulated vsize (Kb) 174492 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 110919 0 0 0 116135 1128 0 0 25 0 1 0 21553688 178679808 36781 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43623 36781 364 364 0 43259 0 [pid=9555] vsize: 174492 Current children cumulated CPU time (s) 1172.63 Current children cumulated vsize (Kb) 174492 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 111755 0 0 0 117116 1136 0 0 25 0 1 0 21553688 178679808 36795 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43623 36795 364 364 0 43259 0 [pid=9555] vsize: 174492 Current children cumulated CPU time (s) 1182.52 Current children cumulated vsize (Kb) 174492 [startup+1210.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 112593 0 0 0 118090 1147 0 0 25 0 1 0 21553688 178679808 36811 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 43623 36811 364 364 0 43259 0 [pid=9555] vsize: 174492 Current children cumulated CPU time (s) 1192.37 Current children cumulated vsize (Kb) 174492 [startup+1220.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 113433 0 0 0 119061 1158 0 0 25 0 1 0 21553688 182177792 37651 4294967295 134512640 135987407 3221224560 3221222928 134828866 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 44477 37651 364 364 0 44113 0 [pid=9555] vsize: 177908 Current children cumulated CPU time (s) 1202.19 Current children cumulated vsize (Kb) 177908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9555 Raw data (/proc/9555/stat): 9555 (pb2sat) R 9554 9555 4004 0 -1 0 113433 0 0 0 119061 1158 0 0 25 0 1 0 21553688 182177792 37651 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9555/statm): 44477 37651 364 364 0 44113 0 [pid=9555] vsize: 177908 Current children cumulated CPU time (s) 1202.19 Current children cumulated vsize (Kb) 177908 Sending SIGTERM to -9555 Sleeping 2 seconds One traced child (pid=9555) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1220.76 CPU time (s): 1202.89 CPU user time (s): 1191.23 CPU system time (s): 11.6612 CPU usage (%): 98.5363 Max. virtual memory (cumulated for all children) (Kb): 177908
ERROR: no interpretation found !