Name | mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb |
MD5SUM | affd575590f5a6117d93002dff93565b |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 212680 |
Biggest coefficient in the objective function | 38252041742581760 |
Number of bits for the biggest coefficient in the objective function | 56 |
Sum of the numbers in the objective function | 82366741301042724864 |
Number of bits of the sum of numbers in the objective function | 67 |
Biggest number in a constraint | 38252041742581760 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 82366741301042724864 |
Number of bits of the biggest sum of numbers | 67 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 309773 |
Total number of constraints | 6093 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 128 |
Number of constraints which are nor clauses,nor cardinality constraints | 5965 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 24690 |
LAUNCH ON wulflinc27 THE 2005-09-23 16:44:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8815 boxname=wulflinc27 idbench=611 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: affd575590f5a6117d93002dff93565b /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-mod011.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-mod011.opb IDLAUNCH: 8815 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.039 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.039 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 919156 kB Buffers: 11700 kB Cached: 86288 kB SwapCached: 0 kB Active: 63920 kB Inactive: 36944 kB HighTotal: 131008 kB HighFree: 40320 kB LowTotal: 903652 kB LowFree: 878836 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 9016 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 17:04:48 (client local time) WITH STATUS 0 IN 1200.63 SECONDS stats: 8815 7 1200.63 0
c This solver internally uses Chaff 2004.11.15 Simplified s 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/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 21690051 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 373 2 364 364 0 9 0 [pid=9556] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-mod011.opb [startup+10.0025 s] Raw data (loadavg): 0.94 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 2474 0 0 0 991 7 0 0 25 0 1 0 21690051 9367552 1788 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 2287 1788 364 364 0 1923 0 [pid=9556] vsize: 9148 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9148 [startup+20.0034 s] Raw data (loadavg): 0.95 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 3013 0 0 0 1989 8 0 0 25 0 1 0 21690051 10719232 2319 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 2617 2319 364 364 0 2253 0 [pid=9556] vsize: 10468 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 10468 [startup+30.0042 s] Raw data (loadavg): 0.96 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 4385 0 0 0 2987 11 0 0 25 0 1 0 21690051 15630336 2946 4294967295 134512640 135987407 3221224560 3221221784 134895121 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 3816 2946 364 364 0 3452 0 [pid=9556] vsize: 15264 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15264 [startup+40.005 s] Raw data (loadavg): 0.96 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 4655 0 0 0 3985 13 0 0 25 0 1 0 21690051 16306176 3211 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 3981 3211 364 364 0 3617 0 [pid=9556] vsize: 15924 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 15924 [startup+50.0058 s] Raw data (loadavg): 0.97 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 4912 0 0 0 4984 14 0 0 25 0 1 0 21690051 16982016 3464 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 4146 3464 364 364 0 3782 0 [pid=9556] vsize: 16584 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16584 [startup+60.0056 s] Raw data (loadavg): 0.97 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 5150 0 0 0 5983 15 0 0 25 0 1 0 21690051 17522688 3698 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 4278 3698 364 364 0 3914 0 [pid=9556] vsize: 17112 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17112 [startup+70.0054 s] Raw data (loadavg): 0.98 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 5368 0 0 0 6982 16 0 0 25 0 1 0 21690051 18198528 3913 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 4443 3913 364 364 0 4079 0 [pid=9556] vsize: 17772 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17772 [startup+80.0063 s] Raw data (loadavg): 0.98 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 5569 0 0 0 7981 17 0 0 25 0 1 0 21690051 18604032 4110 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 4542 4110 364 364 0 4178 0 [pid=9556] vsize: 18168 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 18168 [startup+90.0061 s] Raw data (loadavg): 0.98 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 5756 0 0 0 8980 18 0 0 25 0 1 0 21690051 19144704 4294 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 4674 4294 364 364 0 4310 0 [pid=9556] vsize: 18696 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18696 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 5930 0 0 0 9980 18 0 0 25 0 1 0 21690051 19550208 4466 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 4773 4466 364 364 0 4409 0 [pid=9556] vsize: 19092 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 19092 [startup+110.007 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8297 0 0 0 10975 23 0 0 25 0 1 0 21690051 28831744 5355 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 7039 5355 364 364 0 6675 0 [pid=9556] vsize: 28156 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 28156 [startup+120.007 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8355 0 0 0 11975 23 0 0 25 0 1 0 21690051 28831744 5411 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 7039 5411 364 364 0 6675 0 [pid=9556] vsize: 28156 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28156 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8467 0 0 0 12975 23 0 0 25 0 1 0 21690051 28966912 5520 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 7072 5520 364 364 0 6708 0 [pid=9556] vsize: 28288 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 28288 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8594 0 0 0 13975 24 0 0 25 0 1 0 21690051 29237248 5645 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 7138 5645 364 364 0 6774 0 [pid=9556] vsize: 28552 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 28552 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8717 0 0 0 14974 24 0 0 25 0 1 0 21690051 29642752 5765 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 7237 5765 364 364 0 6873 0 [pid=9556] vsize: 28948 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 28948 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8836 0 0 0 15974 25 0 0 25 0 1 0 21690051 29913088 5882 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 7303 5882 364 364 0 6939 0 [pid=9556] vsize: 29212 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 29212 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 8949 0 0 0 16973 25 0 0 25 0 1 0 21690051 30183424 5993 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 7369 5993 364 364 0 7005 0 [pid=9556] vsize: 29476 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 29476 [startup+180.009 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9069 0 0 0 17973 26 0 0 25 0 1 0 21690051 30453760 6111 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 7435 6111 364 364 0 7071 0 [pid=9556] vsize: 29740 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 29740 [startup+190.009 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9192 0 0 0 18973 26 0 0 25 0 1 0 21690051 30724096 6232 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 7501 6232 364 364 0 7137 0 [pid=9556] vsize: 30004 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 30004 [startup+200.009 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9314 0 0 0 19972 27 0 0 25 0 1 0 21690051 30994432 6352 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 7567 6352 364 364 0 7203 0 [pid=9556] vsize: 30268 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 30268 [startup+210.009 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9434 0 0 0 20972 27 0 0 25 0 1 0 21690051 31399936 6470 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 7666 6470 364 364 0 7302 0 [pid=9556] vsize: 30664 Current children cumulated CPU time (s) 209.99 Current children cumulated vsize (Kb) 30664 [startup+220.01 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9553 0 0 0 21971 28 0 0 25 0 1 0 21690051 31670272 6587 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 7732 6587 364 364 0 7368 0 [pid=9556] vsize: 30928 Current children cumulated CPU time (s) 219.99 Current children cumulated vsize (Kb) 30928 [startup+230.011 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9668 0 0 0 22971 28 0 0 25 0 1 0 21690051 31940608 6700 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 7798 6700 364 364 0 7434 0 [pid=9556] vsize: 31192 Current children cumulated CPU time (s) 229.99 Current children cumulated vsize (Kb) 31192 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9780 0 0 0 23971 28 0 0 25 0 1 0 21690051 32210944 6811 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 7864 6811 364 364 0 7500 0 [pid=9556] vsize: 31456 Current children cumulated CPU time (s) 239.99 Current children cumulated vsize (Kb) 31456 [startup+250.01 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 9891 0 0 0 24971 29 0 0 25 0 1 0 21690051 32481280 6920 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 7930 6920 364 364 0 7566 0 [pid=9556] vsize: 31720 Current children cumulated CPU time (s) 250 Current children cumulated vsize (Kb) 31720 [startup+260.011 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10002 0 0 0 25970 29 0 0 25 0 1 0 21690051 32751616 7029 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 7996 7029 364 364 0 7632 0 [pid=9556] vsize: 31984 Current children cumulated CPU time (s) 259.99 Current children cumulated vsize (Kb) 31984 [startup+270.011 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10107 0 0 0 26970 29 0 0 25 0 1 0 21690051 33157120 7132 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 8095 7132 364 364 0 7731 0 [pid=9556] vsize: 32380 Current children cumulated CPU time (s) 269.99 Current children cumulated vsize (Kb) 32380 [startup+280.012 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10213 0 0 0 27970 30 0 0 25 0 1 0 21690051 33427456 7237 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 8161 7237 364 364 0 7797 0 [pid=9556] vsize: 32644 Current children cumulated CPU time (s) 280 Current children cumulated vsize (Kb) 32644 [startup+290.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10316 0 0 0 28970 30 0 0 25 0 1 0 21690051 33562624 7338 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 8194 7338 364 364 0 7830 0 [pid=9556] vsize: 32776 Current children cumulated CPU time (s) 290 Current children cumulated vsize (Kb) 32776 [startup+300.012 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10416 0 0 0 29969 30 0 0 25 0 1 0 21690051 33832960 7436 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 8260 7436 364 364 0 7896 0 [pid=9556] vsize: 33040 Current children cumulated CPU time (s) 299.99 Current children cumulated vsize (Kb) 33040 [startup+310.012 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10514 0 0 0 30969 30 0 0 25 0 1 0 21690051 34103296 7533 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 8326 7533 364 364 0 7962 0 [pid=9556] vsize: 33304 Current children cumulated CPU time (s) 309.99 Current children cumulated vsize (Kb) 33304 [startup+320.012 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10612 0 0 0 31969 31 0 0 25 0 1 0 21690051 34373632 7629 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 8392 7629 364 364 0 8028 0 [pid=9556] vsize: 33568 Current children cumulated CPU time (s) 320 Current children cumulated vsize (Kb) 33568 [startup+330.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10708 0 0 0 32969 31 0 0 25 0 1 0 21690051 34643968 7724 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 8458 7724 364 364 0 8094 0 [pid=9556] vsize: 33832 Current children cumulated CPU time (s) 330 Current children cumulated vsize (Kb) 33832 [startup+340.014 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10804 0 0 0 33969 31 0 0 25 0 1 0 21690051 34914304 7818 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 8524 7818 364 364 0 8160 0 [pid=9556] vsize: 34096 Current children cumulated CPU time (s) 340 Current children cumulated vsize (Kb) 34096 [startup+350.014 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10899 0 0 0 34968 32 0 0 25 0 1 0 21690051 35184640 7912 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 8590 7912 364 364 0 8226 0 [pid=9556] vsize: 34360 Current children cumulated CPU time (s) 350 Current children cumulated vsize (Kb) 34360 [startup+360.014 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 10994 0 0 0 35968 32 0 0 25 0 1 0 21690051 35319808 8005 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 8623 8005 364 364 0 8259 0 [pid=9556] vsize: 34492 Current children cumulated CPU time (s) 360 Current children cumulated vsize (Kb) 34492 [startup+370.014 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11088 0 0 0 36968 33 0 0 25 0 1 0 21690051 35590144 8097 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 8689 8097 364 364 0 8325 0 [pid=9556] vsize: 34756 Current children cumulated CPU time (s) 370.01 Current children cumulated vsize (Kb) 34756 [startup+380.015 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11179 0 0 0 37968 33 0 0 25 0 1 0 21690051 35860480 8187 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 8755 8187 364 364 0 8391 0 [pid=9556] vsize: 35020 Current children cumulated CPU time (s) 380.01 Current children cumulated vsize (Kb) 35020 [startup+390.015 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11266 0 0 0 38967 33 0 0 25 0 1 0 21690051 36130816 8273 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 8821 8273 364 364 0 8457 0 [pid=9556] vsize: 35284 Current children cumulated CPU time (s) 390 Current children cumulated vsize (Kb) 35284 [startup+400.016 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11356 0 0 0 39967 34 0 0 25 0 1 0 21690051 36265984 8361 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 8854 8361 364 364 0 8490 0 [pid=9556] vsize: 35416 Current children cumulated CPU time (s) 400.01 Current children cumulated vsize (Kb) 35416 [startup+410.017 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11445 0 0 0 40966 34 0 0 25 0 1 0 21690051 36536320 8449 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 8920 8449 364 364 0 8556 0 [pid=9556] vsize: 35680 Current children cumulated CPU time (s) 410 Current children cumulated vsize (Kb) 35680 [startup+420.016 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11530 0 0 0 41966 34 0 0 25 0 1 0 21690051 36806656 8532 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 8986 8532 364 364 0 8622 0 [pid=9556] vsize: 35944 Current children cumulated CPU time (s) 420 Current children cumulated vsize (Kb) 35944 [startup+430.017 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11617 0 0 0 42966 35 0 0 25 0 1 0 21690051 36941824 8618 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 9019 8618 364 364 0 8655 0 [pid=9556] vsize: 36076 Current children cumulated CPU time (s) 430.01 Current children cumulated vsize (Kb) 36076 [startup+440.017 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11702 0 0 0 43966 35 0 0 25 0 1 0 21690051 37212160 8702 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 9085 8702 364 364 0 8721 0 [pid=9556] vsize: 36340 Current children cumulated CPU time (s) 440.01 Current children cumulated vsize (Kb) 36340 [startup+450.017 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11785 0 0 0 44966 35 0 0 25 0 1 0 21690051 37347328 8783 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 9118 8783 364 364 0 8754 0 [pid=9556] vsize: 36472 Current children cumulated CPU time (s) 450.01 Current children cumulated vsize (Kb) 36472 [startup+460.018 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11869 0 0 0 45966 35 0 0 25 0 1 0 21690051 37617664 8866 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 9184 8866 364 364 0 8820 0 [pid=9556] vsize: 36736 Current children cumulated CPU time (s) 460.01 Current children cumulated vsize (Kb) 36736 [startup+470.018 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 11951 0 0 0 46966 35 0 0 25 0 1 0 21690051 37888000 8947 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 9250 8947 364 364 0 8886 0 [pid=9556] vsize: 37000 Current children cumulated CPU time (s) 470.01 Current children cumulated vsize (Kb) 37000 [startup+480.019 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16486 0 0 0 47956 44 0 0 25 0 1 0 21690051 55775232 10533 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13617 10533 364 364 0 13253 0 [pid=9556] vsize: 54468 Current children cumulated CPU time (s) 480 Current children cumulated vsize (Kb) 54468 [startup+490.019 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16517 0 0 0 48956 44 0 0 25 0 1 0 21690051 55775232 10563 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13617 10563 364 364 0 13253 0 [pid=9556] vsize: 54468 Current children cumulated CPU time (s) 490 Current children cumulated vsize (Kb) 54468 [startup+500.019 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16546 0 0 0 49956 44 0 0 25 0 1 0 21690051 55775232 10591 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13617 10591 364 364 0 13253 0 [pid=9556] vsize: 54468 Current children cumulated CPU time (s) 500 Current children cumulated vsize (Kb) 54468 [startup+510.02 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16576 0 0 0 50956 45 0 0 25 0 1 0 21690051 55775232 10619 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13617 10619 364 364 0 13253 0 [pid=9556] vsize: 54468 Current children cumulated CPU time (s) 510.01 Current children cumulated vsize (Kb) 54468 [startup+520.021 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16605 0 0 0 51956 45 0 0 25 0 1 0 21690051 55775232 10647 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13617 10647 364 364 0 13253 0 [pid=9556] vsize: 54468 Current children cumulated CPU time (s) 520.01 Current children cumulated vsize (Kb) 54468 [startup+530.021 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16634 0 0 0 52956 45 0 0 25 0 1 0 21690051 55775232 10675 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13617 10675 364 364 0 13253 0 [pid=9556] vsize: 54468 Current children cumulated CPU time (s) 530.01 Current children cumulated vsize (Kb) 54468 [startup+540.021 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16667 0 0 0 53956 45 0 0 25 0 1 0 21690051 55775232 10707 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13617 10707 364 364 0 13253 0 [pid=9556] vsize: 54468 Current children cumulated CPU time (s) 540.01 Current children cumulated vsize (Kb) 54468 [startup+550.021 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16733 0 0 0 54956 45 0 0 25 0 1 0 21690051 55910400 10771 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13650 10771 364 364 0 13286 0 [pid=9556] vsize: 54600 Current children cumulated CPU time (s) 550.01 Current children cumulated vsize (Kb) 54600 [startup+560.022 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16799 0 0 0 55956 45 0 0 25 0 1 0 21690051 56045568 10836 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 13683 10836 364 364 0 13319 0 [pid=9556] vsize: 54732 Current children cumulated CPU time (s) 560.01 Current children cumulated vsize (Kb) 54732 [startup+570.023 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16864 0 0 0 56956 46 0 0 25 0 1 0 21690051 56180736 10900 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 13716 10900 364 364 0 13352 0 [pid=9556] vsize: 54864 Current children cumulated CPU time (s) 570.02 Current children cumulated vsize (Kb) 54864 [startup+580.024 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16927 0 0 0 57955 46 0 0 25 0 1 0 21690051 56451072 10962 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13782 10962 364 364 0 13418 0 [pid=9556] vsize: 55128 Current children cumulated CPU time (s) 580.01 Current children cumulated vsize (Kb) 55128 [startup+590.023 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 16992 0 0 0 58955 46 0 0 25 0 1 0 21690051 56586240 11026 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13815 11026 364 364 0 13451 0 [pid=9556] vsize: 55260 Current children cumulated CPU time (s) 590.01 Current children cumulated vsize (Kb) 55260 [startup+600.023 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17056 0 0 0 59955 46 0 0 25 0 1 0 21690051 56721408 11088 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13848 11088 364 364 0 13484 0 [pid=9556] vsize: 55392 Current children cumulated CPU time (s) 600.01 Current children cumulated vsize (Kb) 55392 [startup+610.024 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17120 0 0 0 60955 47 0 0 25 0 1 0 21690051 56856576 11151 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13881 11151 364 364 0 13517 0 [pid=9556] vsize: 55524 Current children cumulated CPU time (s) 610.02 Current children cumulated vsize (Kb) 55524 [startup+620.024 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17180 0 0 0 61955 47 0 0 25 0 1 0 21690051 56991744 11210 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13914 11210 364 364 0 13550 0 [pid=9556] vsize: 55656 Current children cumulated CPU time (s) 620.02 Current children cumulated vsize (Kb) 55656 [startup+630.025 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17245 0 0 0 62955 47 0 0 25 0 1 0 21690051 57126912 11274 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13947 11274 364 364 0 13583 0 [pid=9556] vsize: 55788 Current children cumulated CPU time (s) 630.02 Current children cumulated vsize (Kb) 55788 [startup+640.025 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17306 0 0 0 63955 47 0 0 25 0 1 0 21690051 57262080 11334 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 13980 11334 364 364 0 13616 0 [pid=9556] vsize: 55920 Current children cumulated CPU time (s) 640.02 Current children cumulated vsize (Kb) 55920 [startup+650.025 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17367 0 0 0 64955 47 0 0 25 0 1 0 21690051 57397248 11394 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14013 11394 364 364 0 13649 0 [pid=9556] vsize: 56052 Current children cumulated CPU time (s) 650.02 Current children cumulated vsize (Kb) 56052 [startup+660.026 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17427 0 0 0 65954 48 0 0 25 0 1 0 21690051 57532416 11453 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14046 11453 364 364 0 13682 0 [pid=9556] vsize: 56184 Current children cumulated CPU time (s) 660.02 Current children cumulated vsize (Kb) 56184 [startup+670.027 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17488 0 0 0 66954 48 0 0 25 0 1 0 21690051 57667584 11512 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14079 11512 364 364 0 13715 0 [pid=9556] vsize: 56316 Current children cumulated CPU time (s) 670.02 Current children cumulated vsize (Kb) 56316 [startup+680.028 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17547 0 0 0 67954 48 0 0 25 0 1 0 21690051 57802752 11570 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14112 11570 364 364 0 13748 0 [pid=9556] vsize: 56448 Current children cumulated CPU time (s) 680.02 Current children cumulated vsize (Kb) 56448 [startup+690.028 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17607 0 0 0 68954 48 0 0 25 0 1 0 21690051 57937920 11629 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14145 11629 364 364 0 13781 0 [pid=9556] vsize: 56580 Current children cumulated CPU time (s) 690.02 Current children cumulated vsize (Kb) 56580 [startup+700.027 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17665 0 0 0 69954 48 0 0 25 0 1 0 21690051 58073088 11686 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14178 11686 364 364 0 13814 0 [pid=9556] vsize: 56712 Current children cumulated CPU time (s) 700.02 Current children cumulated vsize (Kb) 56712 [startup+710.028 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17726 0 0 0 70954 49 0 0 25 0 1 0 21690051 58208256 11746 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14211 11746 364 364 0 13847 0 [pid=9556] vsize: 56844 Current children cumulated CPU time (s) 710.03 Current children cumulated vsize (Kb) 56844 [startup+720.028 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17783 0 0 0 71953 49 0 0 25 0 1 0 21690051 58343424 11802 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14244 11802 364 364 0 13880 0 [pid=9556] vsize: 56976 Current children cumulated CPU time (s) 720.02 Current children cumulated vsize (Kb) 56976 [startup+730.029 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17840 0 0 0 72953 49 0 0 25 0 1 0 21690051 58478592 11858 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14277 11858 364 364 0 13913 0 [pid=9556] vsize: 57108 Current children cumulated CPU time (s) 730.02 Current children cumulated vsize (Kb) 57108 [startup+740.03 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17898 0 0 0 73953 49 0 0 25 0 1 0 21690051 58613760 11915 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14310 11915 364 364 0 13946 0 [pid=9556] vsize: 57240 Current children cumulated CPU time (s) 740.02 Current children cumulated vsize (Kb) 57240 [startup+750.03 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 17959 0 0 0 74953 49 0 0 25 0 1 0 21690051 58884096 11975 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14376 11975 364 364 0 14012 0 [pid=9556] vsize: 57504 Current children cumulated CPU time (s) 750.02 Current children cumulated vsize (Kb) 57504 [startup+760.03 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18022 0 0 0 75953 49 0 0 25 0 1 0 21690051 59019264 12037 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14409 12037 364 364 0 14045 0 [pid=9556] vsize: 57636 Current children cumulated CPU time (s) 760.02 Current children cumulated vsize (Kb) 57636 [startup+770.03 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18087 0 0 0 76953 50 0 0 25 0 1 0 21690051 59154432 12101 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14442 12101 364 364 0 14078 0 [pid=9556] vsize: 57768 Current children cumulated CPU time (s) 770.03 Current children cumulated vsize (Kb) 57768 [startup+780.031 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18152 0 0 0 77953 50 0 0 25 0 1 0 21690051 59289600 12165 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14475 12165 364 364 0 14111 0 [pid=9556] vsize: 57900 Current children cumulated CPU time (s) 780.03 Current children cumulated vsize (Kb) 57900 [startup+790.031 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18215 0 0 0 78952 50 0 0 25 0 1 0 21690051 59424768 12227 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14508 12227 364 364 0 14144 0 [pid=9556] vsize: 58032 Current children cumulated CPU time (s) 790.02 Current children cumulated vsize (Kb) 58032 [startup+800.031 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18278 0 0 0 79952 51 0 0 25 0 1 0 21690051 59695104 12289 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14574 12289 364 364 0 14210 0 [pid=9556] vsize: 58296 Current children cumulated CPU time (s) 800.03 Current children cumulated vsize (Kb) 58296 [startup+810.032 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18341 0 0 0 80952 51 0 0 25 0 1 0 21690051 59830272 12351 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14607 12351 364 364 0 14243 0 [pid=9556] vsize: 58428 Current children cumulated CPU time (s) 810.03 Current children cumulated vsize (Kb) 58428 [startup+820.032 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18405 0 0 0 81952 51 0 0 25 0 1 0 21690051 59965440 12414 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14640 12414 364 364 0 14276 0 [pid=9556] vsize: 58560 Current children cumulated CPU time (s) 820.03 Current children cumulated vsize (Kb) 58560 [startup+830.033 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18469 0 0 0 82952 51 0 0 25 0 1 0 21690051 60100608 12476 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14673 12476 364 364 0 14309 0 [pid=9556] vsize: 58692 Current children cumulated CPU time (s) 830.03 Current children cumulated vsize (Kb) 58692 [startup+840.034 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18530 0 0 0 83952 51 0 0 25 0 1 0 21690051 60235776 12536 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14706 12536 364 364 0 14342 0 [pid=9556] vsize: 58824 Current children cumulated CPU time (s) 840.03 Current children cumulated vsize (Kb) 58824 [startup+850.034 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18592 0 0 0 84952 51 0 0 25 0 1 0 21690051 60506112 12597 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14772 12597 364 364 0 14408 0 [pid=9556] vsize: 59088 Current children cumulated CPU time (s) 850.03 Current children cumulated vsize (Kb) 59088 [startup+860.035 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18651 0 0 0 85951 52 0 0 25 0 1 0 21690051 60641280 12656 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14805 12656 364 364 0 14441 0 [pid=9556] vsize: 59220 Current children cumulated CPU time (s) 860.03 Current children cumulated vsize (Kb) 59220 [startup+870.034 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18714 0 0 0 86951 52 0 0 25 0 1 0 21690051 60776448 12718 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14838 12718 364 364 0 14474 0 [pid=9556] vsize: 59352 Current children cumulated CPU time (s) 870.03 Current children cumulated vsize (Kb) 59352 [startup+880.036 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18774 0 0 0 87951 52 0 0 25 0 1 0 21690051 60911616 12777 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14871 12777 364 364 0 14507 0 [pid=9556] vsize: 59484 Current children cumulated CPU time (s) 880.03 Current children cumulated vsize (Kb) 59484 [startup+890.036 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18833 0 0 0 88951 52 0 0 25 0 1 0 21690051 61046784 12835 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14904 12835 364 364 0 14540 0 [pid=9556] vsize: 59616 Current children cumulated CPU time (s) 890.03 Current children cumulated vsize (Kb) 59616 [startup+900.036 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18894 0 0 0 89951 52 0 0 25 0 1 0 21690051 61181952 12895 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14937 12895 364 364 0 14573 0 [pid=9556] vsize: 59748 Current children cumulated CPU time (s) 900.03 Current children cumulated vsize (Kb) 59748 [startup+910.037 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9556 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 18953 0 0 0 90951 52 0 0 25 0 1 0 21690051 61317120 12953 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 14970 12953 364 364 0 14606 0 [pid=9556] vsize: 59880 Current children cumulated CPU time (s) 910.03 Current children cumulated vsize (Kb) 59880 [startup+920.037 s] Raw data (loadavg): 0.99 0.98 0.96 2/59 9606 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19013 0 0 0 91948 55 0 0 25 0 1 0 21690051 61587456 13012 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 15036 13012 364 364 0 14672 0 [pid=9556] vsize: 60144 Current children cumulated CPU time (s) 920.03 Current children cumulated vsize (Kb) 60144 [startup+930.037 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9611 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19072 0 0 0 92948 55 0 0 25 0 1 0 21690051 61722624 13070 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 15069 13070 364 364 0 14705 0 [pid=9556] vsize: 60276 Current children cumulated CPU time (s) 930.03 Current children cumulated vsize (Kb) 60276 [startup+940.038 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9611 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19129 0 0 0 93948 55 0 0 25 0 1 0 21690051 61857792 13126 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15102 13126 364 364 0 14738 0 [pid=9556] vsize: 60408 Current children cumulated CPU time (s) 940.03 Current children cumulated vsize (Kb) 60408 [startup+950.038 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9611 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19188 0 0 0 94947 56 0 0 25 0 1 0 21690051 61992960 13184 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15135 13184 364 364 0 14771 0 [pid=9556] vsize: 60540 Current children cumulated CPU time (s) 950.03 Current children cumulated vsize (Kb) 60540 [startup+960.039 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9611 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19246 0 0 0 95947 56 0 0 25 0 1 0 21690051 62128128 13241 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15168 13241 364 364 0 14804 0 [pid=9556] vsize: 60672 Current children cumulated CPU time (s) 960.03 Current children cumulated vsize (Kb) 60672 [startup+970.039 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9611 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19304 0 0 0 96947 56 0 0 25 0 1 0 21690051 62263296 13298 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15201 13298 364 364 0 14837 0 [pid=9556] vsize: 60804 Current children cumulated CPU time (s) 970.03 Current children cumulated vsize (Kb) 60804 [startup+980.039 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9613 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19360 0 0 0 97947 56 0 0 25 0 1 0 21690051 62398464 13353 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 15234 13353 364 364 0 14870 0 [pid=9556] vsize: 60936 Current children cumulated CPU time (s) 980.03 Current children cumulated vsize (Kb) 60936 [startup+990.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19416 0 0 0 98947 56 0 0 25 0 1 0 21690051 62533632 13408 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 15267 13408 364 364 0 14903 0 [pid=9556] vsize: 61068 Current children cumulated CPU time (s) 990.03 Current children cumulated vsize (Kb) 61068 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19474 0 0 0 99947 57 0 0 25 0 1 0 21690051 62668800 13465 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 15300 13465 364 364 0 14936 0 [pid=9556] vsize: 61200 Current children cumulated CPU time (s) 1000.04 Current children cumulated vsize (Kb) 61200 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19530 0 0 0 100946 57 0 0 25 0 1 0 21690051 62803968 13520 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15333 13520 364 364 0 14969 0 [pid=9556] vsize: 61332 Current children cumulated CPU time (s) 1010.03 Current children cumulated vsize (Kb) 61332 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19587 0 0 0 101947 57 0 0 25 0 1 0 21690051 63074304 13576 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15399 13576 364 364 0 15035 0 [pid=9556] vsize: 61596 Current children cumulated CPU time (s) 1020.04 Current children cumulated vsize (Kb) 61596 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19642 0 0 0 102947 57 0 0 25 0 1 0 21690051 63209472 13631 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15432 13631 364 364 0 15068 0 [pid=9556] vsize: 61728 Current children cumulated CPU time (s) 1030.04 Current children cumulated vsize (Kb) 61728 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19698 0 0 0 103946 57 0 0 25 0 1 0 21690051 63344640 13686 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15465 13686 364 364 0 15101 0 [pid=9556] vsize: 61860 Current children cumulated CPU time (s) 1040.03 Current children cumulated vsize (Kb) 61860 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19754 0 0 0 104946 58 0 0 25 0 1 0 21690051 63479808 13741 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15498 13741 364 364 0 15134 0 [pid=9556] vsize: 61992 Current children cumulated CPU time (s) 1050.04 Current children cumulated vsize (Kb) 61992 [startup+1060.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19808 0 0 0 105946 58 0 0 25 0 1 0 21690051 63614976 13794 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15531 13794 364 364 0 15167 0 [pid=9556] vsize: 62124 Current children cumulated CPU time (s) 1060.04 Current children cumulated vsize (Kb) 62124 [startup+1070.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19864 0 0 0 106946 58 0 0 25 0 1 0 21690051 63750144 13849 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15564 13849 364 364 0 15200 0 [pid=9556] vsize: 62256 Current children cumulated CPU time (s) 1070.04 Current children cumulated vsize (Kb) 62256 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19918 0 0 0 107945 58 0 0 25 0 1 0 21690051 63885312 13902 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15597 13902 364 364 0 15233 0 [pid=9556] vsize: 62388 Current children cumulated CPU time (s) 1080.03 Current children cumulated vsize (Kb) 62388 [startup+1090.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 19973 0 0 0 108945 58 0 0 25 0 1 0 21690051 64020480 13956 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15630 13956 364 364 0 15266 0 [pid=9556] vsize: 62520 Current children cumulated CPU time (s) 1090.03 Current children cumulated vsize (Kb) 62520 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20026 0 0 0 109944 59 0 0 25 0 1 0 21690051 64155648 14008 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 15663 14008 364 364 0 15299 0 [pid=9556] vsize: 62652 Current children cumulated CPU time (s) 1100.03 Current children cumulated vsize (Kb) 62652 [startup+1110.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20082 0 0 0 110944 60 0 0 25 0 1 0 21690051 64290816 14063 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 15696 14063 364 364 0 15332 0 [pid=9556] vsize: 62784 Current children cumulated CPU time (s) 1110.04 Current children cumulated vsize (Kb) 62784 [startup+1120.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20135 0 0 0 111944 60 0 0 25 0 1 0 21690051 64425984 14116 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9556/statm): 15729 14116 364 364 0 15365 0 [pid=9556] vsize: 62916 Current children cumulated CPU time (s) 1120.04 Current children cumulated vsize (Kb) 62916 [startup+1130.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20188 0 0 0 112944 60 0 0 25 0 1 0 21690051 64561152 14168 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15762 14168 364 364 0 15398 0 [pid=9556] vsize: 63048 Current children cumulated CPU time (s) 1130.04 Current children cumulated vsize (Kb) 63048 [startup+1140.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20242 0 0 0 113944 60 0 0 25 0 1 0 21690051 64696320 14221 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15795 14221 364 364 0 15431 0 [pid=9556] vsize: 63180 Current children cumulated CPU time (s) 1140.04 Current children cumulated vsize (Kb) 63180 [startup+1150.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20296 0 0 0 114944 61 0 0 25 0 1 0 21690051 64831488 14274 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15828 14274 364 364 0 15464 0 [pid=9556] vsize: 63312 Current children cumulated CPU time (s) 1150.05 Current children cumulated vsize (Kb) 63312 [startup+1160.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20347 0 0 0 115944 61 0 0 25 0 1 0 21690051 64966656 14324 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15861 14324 364 364 0 15497 0 [pid=9556] vsize: 63444 Current children cumulated CPU time (s) 1160.05 Current children cumulated vsize (Kb) 63444 [startup+1170.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20401 0 0 0 116944 61 0 0 25 0 1 0 21690051 65101824 14377 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15894 14377 364 364 0 15530 0 [pid=9556] vsize: 63576 Current children cumulated CPU time (s) 1170.05 Current children cumulated vsize (Kb) 63576 [startup+1180.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20454 0 0 0 117943 61 0 0 25 0 1 0 21690051 65236992 14429 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15927 14429 364 364 0 15563 0 [pid=9556] vsize: 63708 Current children cumulated CPU time (s) 1180.04 Current children cumulated vsize (Kb) 63708 [startup+1190.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20505 0 0 0 118943 62 0 0 25 0 1 0 21690051 65372160 14480 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15960 14480 364 364 0 15596 0 [pid=9556] vsize: 63840 Current children cumulated CPU time (s) 1190.05 Current children cumulated vsize (Kb) 63840 [startup+1200.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20558 0 0 0 119943 62 0 0 25 0 1 0 21690051 65507328 14532 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15993 14532 364 364 0 15629 0 [pid=9556] vsize: 63972 Current children cumulated CPU time (s) 1200.05 Current children cumulated vsize (Kb) 63972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1200.05 s] Raw data (loadavg): 0.99 0.98 0.96 2/55 9617 Raw data (/proc/9556/stat): 9556 (pb2sat) R 9555 9556 4005 0 -1 0 20558 0 0 0 119943 62 0 0 25 0 1 0 21690051 65507328 14532 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9556/statm): 15993 14532 364 364 0 15629 0 [pid=9556] vsize: 63972 Current children cumulated CPU time (s) 1200.05 Current children cumulated vsize (Kb) 63972 Sending SIGTERM to -9556 Sleeping 2 seconds One traced child (pid=9556) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1200.63 CPU time (s): 1200.63 CPU user time (s): 1199.98 CPU system time (s): 0.650901 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (Kb): 63972
ERROR: no interpretation found !