Name | mps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome12.opb |
MD5SUM | f7d293075cf169ad75cd0116c61aa297 |
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 | 498856 |
Biggest coefficient in the objective function | 2100440996511744 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 3448249888024611600 |
Number of bits of the sum of numbers in the objective function | 62 |
Biggest number in a constraint | 52428800000000000 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 4176904799999651840 |
Number of bits of the biggest sum of numbers | 62 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 977976 |
Total number of constraints | 24336 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 24336 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 4560 |
LAUNCH ON wulflinc32 THE 2005-09-23 18:54:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9298 boxname=wulflinc32 idbench=1094 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f7d293075cf169ad75cd0116c61aa297 /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-fome12.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-fome12.opb IDLAUNCH: 9298 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.145 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.145 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: 1034724 kB MemFree: 840396 kB Buffers: 15848 kB Cached: 158164 kB SwapCached: 0 kB Active: 109976 kB Inactive: 66928 kB HighTotal: 131072 kB HighFree: 3840 kB LowTotal: 903652 kB LowFree: 836556 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 0 kB Writeback: 0 kB Mapped: 6988 kB Slab: 11716 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 19:14:58 (client local time) WITH STATUS 0 IN 1200.61 SECONDS stats: 9298 7 1200.61 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/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 22467236 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 373 2 364 364 0 9 0 [pid=10100] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-fome12.opb [startup+10.0018 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 2150 0 0 0 992 5 0 0 25 0 1 0 22467236 8556544 1470 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 2089 1470 364 364 0 1725 0 [pid=10100] vsize: 8356 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 8356 [startup+20.0036 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 2858 0 0 0 1990 7 0 0 25 0 1 0 22467236 10313728 2166 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 2518 2166 364 364 0 2154 0 [pid=10100] vsize: 10072 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 10072 [startup+30.0043 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 4300 0 0 0 2988 9 0 0 25 0 1 0 22467236 15495168 2863 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 3783 2863 364 364 0 3419 0 [pid=10100] vsize: 15132 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 15132 [startup+40.0051 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 4578 0 0 0 3987 10 0 0 25 0 1 0 22467236 16171008 3136 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 3948 3136 364 364 0 3584 0 [pid=10100] vsize: 15792 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 15792 [startup+50.0059 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 4851 0 0 0 4986 11 0 0 25 0 1 0 22467236 16846848 3404 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 4113 3404 364 364 0 3749 0 [pid=10100] vsize: 16452 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 16452 [startup+60.0057 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 5098 0 0 0 5986 11 0 0 25 0 1 0 22467236 17387520 3647 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 4245 3647 364 364 0 3881 0 [pid=10100] vsize: 16980 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 16980 [startup+70.0064 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 5315 0 0 0 6985 12 0 0 25 0 1 0 22467236 18063360 3861 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 4410 3861 364 364 0 4046 0 [pid=10100] vsize: 17640 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 17640 [startup+80.0072 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 5520 0 0 0 7984 13 0 0 25 0 1 0 22467236 18468864 4062 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 4509 4062 364 364 0 4145 0 [pid=10100] vsize: 18036 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 18036 [startup+90.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 5706 0 0 0 8983 14 0 0 25 0 1 0 22467236 19009536 4245 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 4641 4245 364 364 0 4277 0 [pid=10100] vsize: 18564 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 18564 [startup+100.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 5885 0 0 0 9982 15 0 0 25 0 1 0 22467236 19415040 4421 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 4740 4421 364 364 0 4376 0 [pid=10100] vsize: 18960 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 18960 [startup+110.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8282 0 0 0 10977 20 0 0 25 0 1 0 22467236 28696576 5341 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7006 5341 364 364 0 6642 0 [pid=10100] vsize: 28024 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 28024 [startup+120.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8344 0 0 0 11976 21 0 0 25 0 1 0 22467236 28696576 5400 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7006 5400 364 364 0 6642 0 [pid=10100] vsize: 28024 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 28024 [startup+130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8442 0 0 0 12976 21 0 0 25 0 1 0 22467236 28966912 5496 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7072 5496 364 364 0 6708 0 [pid=10100] vsize: 28288 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 28288 [startup+140.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8573 0 0 0 13975 22 0 0 25 0 1 0 22467236 29237248 5624 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7138 5624 364 364 0 6774 0 [pid=10100] vsize: 28552 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 28552 [startup+150.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8700 0 0 0 14975 22 0 0 25 0 1 0 22467236 29507584 5749 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7204 5749 364 364 0 6840 0 [pid=10100] vsize: 28816 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 28816 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8822 0 0 0 15974 23 0 0 25 0 1 0 22467236 29777920 5868 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7270 5868 364 364 0 6906 0 [pid=10100] vsize: 29080 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 29080 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 8940 0 0 0 16974 23 0 0 25 0 1 0 22467236 30048256 5984 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7336 5984 364 364 0 6972 0 [pid=10100] vsize: 29344 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 29344 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9061 0 0 0 17974 24 0 0 25 0 1 0 22467236 30453760 6103 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7435 6103 364 364 0 7071 0 [pid=10100] vsize: 29740 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 29740 [startup+190.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9188 0 0 0 18973 25 0 0 25 0 1 0 22467236 30724096 6228 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7501 6228 364 364 0 7137 0 [pid=10100] vsize: 30004 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 30004 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9316 0 0 0 19972 25 0 0 25 0 1 0 22467236 30994432 6354 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7567 6354 364 364 0 7203 0 [pid=10100] vsize: 30268 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 30268 [startup+210.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9439 0 0 0 20972 26 0 0 25 0 1 0 22467236 31399936 6475 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7666 6475 364 364 0 7302 0 [pid=10100] vsize: 30664 Current children cumulated CPU time (s) 209.98 Current children cumulated vsize (Kb) 30664 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9558 0 0 0 21972 26 0 0 25 0 1 0 22467236 31670272 6592 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7732 6592 364 364 0 7368 0 [pid=10100] vsize: 30928 Current children cumulated CPU time (s) 219.98 Current children cumulated vsize (Kb) 30928 [startup+230.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9677 0 0 0 22971 27 0 0 25 0 1 0 22467236 31940608 6709 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7798 6709 364 364 0 7434 0 [pid=10100] vsize: 31192 Current children cumulated CPU time (s) 229.98 Current children cumulated vsize (Kb) 31192 [startup+240.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9790 0 0 0 23971 27 0 0 25 0 1 0 22467236 32210944 6820 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7864 6820 364 364 0 7500 0 [pid=10100] vsize: 31456 Current children cumulated CPU time (s) 239.98 Current children cumulated vsize (Kb) 31456 [startup+250.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 9905 0 0 0 24971 27 0 0 25 0 1 0 22467236 32616448 6933 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 7963 6933 364 364 0 7599 0 [pid=10100] vsize: 31852 Current children cumulated CPU time (s) 249.98 Current children cumulated vsize (Kb) 31852 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10015 0 0 0 25970 28 0 0 25 0 1 0 22467236 32886784 7042 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8029 7042 364 364 0 7665 0 [pid=10100] vsize: 32116 Current children cumulated CPU time (s) 259.98 Current children cumulated vsize (Kb) 32116 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10124 0 0 0 26970 28 0 0 25 0 1 0 22467236 33157120 7149 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8095 7149 364 364 0 7731 0 [pid=10100] vsize: 32380 Current children cumulated CPU time (s) 269.98 Current children cumulated vsize (Kb) 32380 [startup+280.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10231 0 0 0 27970 29 0 0 25 0 1 0 22467236 33427456 7254 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8161 7254 364 364 0 7797 0 [pid=10100] vsize: 32644 Current children cumulated CPU time (s) 279.99 Current children cumulated vsize (Kb) 32644 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10336 0 0 0 28970 29 0 0 25 0 1 0 22467236 33697792 7357 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8227 7357 364 364 0 7863 0 [pid=10100] vsize: 32908 Current children cumulated CPU time (s) 289.99 Current children cumulated vsize (Kb) 32908 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10100 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10440 0 0 0 29970 29 0 0 25 0 1 0 22467236 33968128 7460 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8293 7460 364 364 0 7929 0 [pid=10100] vsize: 33172 Current children cumulated CPU time (s) 299.99 Current children cumulated vsize (Kb) 33172 [startup+310.019 s] Raw data (loadavg): 1.15 1.00 0.92 2/59 10155 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10541 0 0 0 30965 32 0 0 25 0 1 0 22467236 34238464 7559 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10100/statm): 8359 7559 364 364 0 7995 0 [pid=10100] vsize: 33436 Current children cumulated CPU time (s) 309.97 Current children cumulated vsize (Kb) 33436 [startup+320.021 s] Raw data (loadavg): 1.13 1.00 0.92 2/55 10155 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10640 0 0 0 31964 33 0 0 25 0 1 0 22467236 34508800 7657 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8425 7657 364 364 0 8061 0 [pid=10100] vsize: 33700 Current children cumulated CPU time (s) 319.97 Current children cumulated vsize (Kb) 33700 [startup+330.021 s] Raw data (loadavg): 1.11 1.00 0.92 2/55 10155 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10740 0 0 0 32964 33 0 0 25 0 1 0 22467236 34643968 7755 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8458 7755 364 364 0 8094 0 [pid=10100] vsize: 33832 Current children cumulated CPU time (s) 329.97 Current children cumulated vsize (Kb) 33832 [startup+340.021 s] Raw data (loadavg): 1.09 1.00 0.92 2/55 10155 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10838 0 0 0 33964 33 0 0 25 0 1 0 22467236 34914304 7851 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8524 7851 364 364 0 8160 0 [pid=10100] vsize: 34096 Current children cumulated CPU time (s) 339.97 Current children cumulated vsize (Kb) 34096 [startup+350.022 s] Raw data (loadavg): 1.08 1.00 0.92 2/55 10155 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 10933 0 0 0 34964 33 0 0 25 0 1 0 22467236 35184640 7945 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8590 7945 364 364 0 8226 0 [pid=10100] vsize: 34360 Current children cumulated CPU time (s) 349.97 Current children cumulated vsize (Kb) 34360 [startup+360.023 s] Raw data (loadavg): 1.07 1.00 0.92 2/55 10155 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11027 0 0 0 35964 34 0 0 25 0 1 0 22467236 35454976 8037 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8656 8037 364 364 0 8292 0 [pid=10100] vsize: 34624 Current children cumulated CPU time (s) 359.98 Current children cumulated vsize (Kb) 34624 [startup+370.023 s] Raw data (loadavg): 1.06 1.00 0.92 2/55 10157 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11120 0 0 0 36963 34 0 0 25 0 1 0 22467236 35725312 8129 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10100/statm): 8722 8129 364 364 0 8358 0 [pid=10100] vsize: 34888 Current children cumulated CPU time (s) 369.97 Current children cumulated vsize (Kb) 34888 [startup+380.023 s] Raw data (loadavg): 1.05 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11212 0 0 0 37963 34 0 0 25 0 1 0 22467236 35860480 8219 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8755 8219 364 364 0 8391 0 [pid=10100] vsize: 35020 Current children cumulated CPU time (s) 379.97 Current children cumulated vsize (Kb) 35020 [startup+390.024 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11304 0 0 0 38963 34 0 0 25 0 1 0 22467236 36130816 8310 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8821 8310 364 364 0 8457 0 [pid=10100] vsize: 35284 Current children cumulated CPU time (s) 389.97 Current children cumulated vsize (Kb) 35284 [startup+400.025 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11394 0 0 0 39963 35 0 0 25 0 1 0 22467236 36401152 8398 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8887 8398 364 364 0 8523 0 [pid=10100] vsize: 35548 Current children cumulated CPU time (s) 399.98 Current children cumulated vsize (Kb) 35548 [startup+410.025 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11483 0 0 0 40963 35 0 0 25 0 1 0 22467236 36671488 8486 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8953 8486 364 364 0 8589 0 [pid=10100] vsize: 35812 Current children cumulated CPU time (s) 409.98 Current children cumulated vsize (Kb) 35812 [startup+420.024 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11572 0 0 0 41963 35 0 0 25 0 1 0 22467236 36806656 8573 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 8986 8573 364 364 0 8622 0 [pid=10100] vsize: 35944 Current children cumulated CPU time (s) 419.98 Current children cumulated vsize (Kb) 35944 [startup+430.025 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11658 0 0 0 42962 35 0 0 25 0 1 0 22467236 37076992 8658 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 9052 8658 364 364 0 8688 0 [pid=10100] vsize: 36208 Current children cumulated CPU time (s) 429.97 Current children cumulated vsize (Kb) 36208 [startup+440.026 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11743 0 0 0 43962 36 0 0 25 0 1 0 22467236 37347328 8742 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 9118 8742 364 364 0 8754 0 [pid=10100] vsize: 36472 Current children cumulated CPU time (s) 439.98 Current children cumulated vsize (Kb) 36472 [startup+450.027 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11829 0 0 0 44961 36 0 0 25 0 1 0 22467236 37482496 8826 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 9151 8826 364 364 0 8787 0 [pid=10100] vsize: 36604 Current children cumulated CPU time (s) 449.97 Current children cumulated vsize (Kb) 36604 [startup+460.027 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 11914 0 0 0 45961 36 0 0 25 0 1 0 22467236 37752832 8910 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 9217 8910 364 364 0 8853 0 [pid=10100] vsize: 36868 Current children cumulated CPU time (s) 459.97 Current children cumulated vsize (Kb) 36868 [startup+470.027 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16469 0 0 0 46953 45 0 0 25 0 1 0 22467236 55775232 10517 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13617 10517 364 364 0 13253 0 [pid=10100] vsize: 54468 Current children cumulated CPU time (s) 469.98 Current children cumulated vsize (Kb) 54468 [startup+480.028 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16499 0 0 0 47953 45 0 0 25 0 1 0 22467236 55775232 10545 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13617 10545 364 364 0 13253 0 [pid=10100] vsize: 54468 Current children cumulated CPU time (s) 479.98 Current children cumulated vsize (Kb) 54468 [startup+490.028 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16531 0 0 0 48952 45 0 0 25 0 1 0 22467236 55775232 10576 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13617 10576 364 364 0 13253 0 [pid=10100] vsize: 54468 Current children cumulated CPU time (s) 489.97 Current children cumulated vsize (Kb) 54468 [startup+500.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16560 0 0 0 49952 45 0 0 25 0 1 0 22467236 55775232 10604 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13617 10604 364 364 0 13253 0 [pid=10100] vsize: 54468 Current children cumulated CPU time (s) 499.97 Current children cumulated vsize (Kb) 54468 [startup+510.029 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16590 0 0 0 50952 45 0 0 25 0 1 0 22467236 55775232 10632 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13617 10632 364 364 0 13253 0 [pid=10100] vsize: 54468 Current children cumulated CPU time (s) 509.97 Current children cumulated vsize (Kb) 54468 [startup+520.029 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16619 0 0 0 51952 45 0 0 25 0 1 0 22467236 55775232 10660 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13617 10660 364 364 0 13253 0 [pid=10100] vsize: 54468 Current children cumulated CPU time (s) 519.97 Current children cumulated vsize (Kb) 54468 [startup+530.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16649 0 0 0 52952 46 0 0 25 0 1 0 22467236 55775232 10689 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13617 10689 364 364 0 13253 0 [pid=10100] vsize: 54468 Current children cumulated CPU time (s) 529.98 Current children cumulated vsize (Kb) 54468 [startup+540.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16710 0 0 0 53952 46 0 0 25 0 1 0 22467236 55910400 10749 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13650 10749 364 364 0 13286 0 [pid=10100] vsize: 54600 Current children cumulated CPU time (s) 539.98 Current children cumulated vsize (Kb) 54600 [startup+550.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16777 0 0 0 54952 46 0 0 25 0 1 0 22467236 56045568 10814 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13683 10814 364 364 0 13319 0 [pid=10100] vsize: 54732 Current children cumulated CPU time (s) 549.98 Current children cumulated vsize (Kb) 54732 [startup+560.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16845 0 0 0 55951 46 0 0 25 0 1 0 22467236 56180736 10881 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13716 10881 364 364 0 13352 0 [pid=10100] vsize: 54864 Current children cumulated CPU time (s) 559.97 Current children cumulated vsize (Kb) 54864 [startup+570.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16911 0 0 0 56951 47 0 0 25 0 1 0 22467236 56315904 10946 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13749 10946 364 364 0 13385 0 [pid=10100] vsize: 54996 Current children cumulated CPU time (s) 569.98 Current children cumulated vsize (Kb) 54996 [startup+580.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 16977 0 0 0 57951 47 0 0 25 0 1 0 22467236 56451072 11011 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13782 11011 364 364 0 13418 0 [pid=10100] vsize: 55128 Current children cumulated CPU time (s) 579.98 Current children cumulated vsize (Kb) 55128 [startup+590.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17042 0 0 0 58951 47 0 0 25 0 1 0 22467236 56586240 11074 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13815 11074 364 364 0 13451 0 [pid=10100] vsize: 55260 Current children cumulated CPU time (s) 589.98 Current children cumulated vsize (Kb) 55260 [startup+600.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17107 0 0 0 59950 48 0 0 25 0 1 0 22467236 56856576 11138 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13881 11138 364 364 0 13517 0 [pid=10100] vsize: 55524 Current children cumulated CPU time (s) 599.98 Current children cumulated vsize (Kb) 55524 [startup+610.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17169 0 0 0 60950 48 0 0 25 0 1 0 22467236 56991744 11199 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13914 11199 364 364 0 13550 0 [pid=10100] vsize: 55656 Current children cumulated CPU time (s) 609.98 Current children cumulated vsize (Kb) 55656 [startup+620.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10161 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17234 0 0 0 61950 48 0 0 25 0 1 0 22467236 57126912 11263 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13947 11263 364 364 0 13583 0 [pid=10100] vsize: 55788 Current children cumulated CPU time (s) 619.98 Current children cumulated vsize (Kb) 55788 [startup+630.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17297 0 0 0 62950 49 0 0 25 0 1 0 22467236 57262080 11325 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 13980 11325 364 364 0 13616 0 [pid=10100] vsize: 55920 Current children cumulated CPU time (s) 629.99 Current children cumulated vsize (Kb) 55920 [startup+640.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17358 0 0 0 63949 49 0 0 25 0 1 0 22467236 57397248 11385 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14013 11385 364 364 0 13649 0 [pid=10100] vsize: 56052 Current children cumulated CPU time (s) 639.98 Current children cumulated vsize (Kb) 56052 [startup+650.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17421 0 0 0 64950 49 0 0 25 0 1 0 22467236 57532416 11446 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14046 11446 364 364 0 13682 0 [pid=10100] vsize: 56184 Current children cumulated CPU time (s) 649.99 Current children cumulated vsize (Kb) 56184 [startup+660.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17483 0 0 0 65949 49 0 0 25 0 1 0 22467236 57667584 11507 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14079 11507 364 364 0 13715 0 [pid=10100] vsize: 56316 Current children cumulated CPU time (s) 659.98 Current children cumulated vsize (Kb) 56316 [startup+670.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17543 0 0 0 66949 49 0 0 25 0 1 0 22467236 57802752 11566 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14112 11566 364 364 0 13748 0 [pid=10100] vsize: 56448 Current children cumulated CPU time (s) 669.98 Current children cumulated vsize (Kb) 56448 [startup+680.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17604 0 0 0 67949 50 0 0 25 0 1 0 22467236 57937920 11626 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14145 11626 364 364 0 13781 0 [pid=10100] vsize: 56580 Current children cumulated CPU time (s) 679.99 Current children cumulated vsize (Kb) 56580 [startup+690.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17663 0 0 0 68949 50 0 0 25 0 1 0 22467236 58073088 11684 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14178 11684 364 364 0 13814 0 [pid=10100] vsize: 56712 Current children cumulated CPU time (s) 689.99 Current children cumulated vsize (Kb) 56712 [startup+700.036 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17724 0 0 0 69949 50 0 0 25 0 1 0 22467236 58208256 11744 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14211 11744 364 364 0 13847 0 [pid=10100] vsize: 56844 Current children cumulated CPU time (s) 699.99 Current children cumulated vsize (Kb) 56844 [startup+710.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17783 0 0 0 70949 50 0 0 25 0 1 0 22467236 58343424 11802 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14244 11802 364 364 0 13880 0 [pid=10100] vsize: 56976 Current children cumulated CPU time (s) 709.99 Current children cumulated vsize (Kb) 56976 [startup+720.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17841 0 0 0 71948 51 0 0 25 0 1 0 22467236 58478592 11859 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14277 11859 364 364 0 13913 0 [pid=10100] vsize: 57108 Current children cumulated CPU time (s) 719.99 Current children cumulated vsize (Kb) 57108 [startup+730.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17901 0 0 0 72948 51 0 0 25 0 1 0 22467236 58613760 11917 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14310 11917 364 364 0 13946 0 [pid=10100] vsize: 57240 Current children cumulated CPU time (s) 729.99 Current children cumulated vsize (Kb) 57240 [startup+740.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 17964 0 0 0 73948 51 0 0 25 0 1 0 22467236 58748928 11979 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14343 11979 364 364 0 13979 0 [pid=10100] vsize: 57372 Current children cumulated CPU time (s) 739.99 Current children cumulated vsize (Kb) 57372 [startup+750.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18029 0 0 0 74948 51 0 0 25 0 1 0 22467236 59019264 12043 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10100/statm): 14409 12043 364 364 0 14045 0 [pid=10100] vsize: 57636 Current children cumulated CPU time (s) 749.99 Current children cumulated vsize (Kb) 57636 [startup+760.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18096 0 0 0 75948 52 0 0 25 0 1 0 22467236 59154432 12109 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10100/statm): 14442 12109 364 364 0 14078 0 [pid=10100] vsize: 57768 Current children cumulated CPU time (s) 760 Current children cumulated vsize (Kb) 57768 [startup+770.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18159 0 0 0 76948 52 0 0 25 0 1 0 22467236 59289600 12171 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10100/statm): 14475 12171 364 364 0 14111 0 [pid=10100] vsize: 57900 Current children cumulated CPU time (s) 770 Current children cumulated vsize (Kb) 57900 [startup+780.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18223 0 0 0 77948 52 0 0 25 0 1 0 22467236 59424768 12234 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10100/statm): 14508 12234 364 364 0 14144 0 [pid=10100] vsize: 58032 Current children cumulated CPU time (s) 780 Current children cumulated vsize (Kb) 58032 [startup+790.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18287 0 0 0 78948 52 0 0 25 0 1 0 22467236 59695104 12297 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10100/statm): 14574 12297 364 364 0 14210 0 [pid=10100] vsize: 58296 Current children cumulated CPU time (s) 790 Current children cumulated vsize (Kb) 58296 [startup+800.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18351 0 0 0 79948 53 0 0 25 0 1 0 22467236 59830272 12360 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10100/statm): 14607 12360 364 364 0 14243 0 [pid=10100] vsize: 58428 Current children cumulated CPU time (s) 800.01 Current children cumulated vsize (Kb) 58428 [startup+810.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18415 0 0 0 80947 53 0 0 25 0 1 0 22467236 59965440 12423 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14640 12423 364 364 0 14276 0 [pid=10100] vsize: 58560 Current children cumulated CPU time (s) 810 Current children cumulated vsize (Kb) 58560 [startup+820.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18478 0 0 0 81947 53 0 0 25 0 1 0 22467236 60100608 12485 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14673 12485 364 364 0 14309 0 [pid=10100] vsize: 58692 Current children cumulated CPU time (s) 820 Current children cumulated vsize (Kb) 58692 [startup+830.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18543 0 0 0 82947 53 0 0 25 0 1 0 22467236 60235776 12549 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14706 12549 364 364 0 14342 0 [pid=10100] vsize: 58824 Current children cumulated CPU time (s) 830 Current children cumulated vsize (Kb) 58824 [startup+840.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18606 0 0 0 83947 54 0 0 25 0 1 0 22467236 60506112 12611 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14772 12611 364 364 0 14408 0 [pid=10100] vsize: 59088 Current children cumulated CPU time (s) 840.01 Current children cumulated vsize (Kb) 59088 [startup+850.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18668 0 0 0 84947 54 0 0 25 0 1 0 22467236 60641280 12672 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14805 12672 364 364 0 14441 0 [pid=10100] vsize: 59220 Current children cumulated CPU time (s) 850.01 Current children cumulated vsize (Kb) 59220 [startup+860.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18730 0 0 0 85947 54 0 0 25 0 1 0 22467236 60776448 12733 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14838 12733 364 364 0 14474 0 [pid=10100] vsize: 59352 Current children cumulated CPU time (s) 860.01 Current children cumulated vsize (Kb) 59352 [startup+870.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18792 0 0 0 86946 54 0 0 25 0 1 0 22467236 60911616 12794 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14871 12794 364 364 0 14507 0 [pid=10100] vsize: 59484 Current children cumulated CPU time (s) 870 Current children cumulated vsize (Kb) 59484 [startup+880.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18853 0 0 0 87946 55 0 0 25 0 1 0 22467236 61046784 12854 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14904 12854 364 364 0 14540 0 [pid=10100] vsize: 59616 Current children cumulated CPU time (s) 880.01 Current children cumulated vsize (Kb) 59616 [startup+890.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18915 0 0 0 88946 55 0 0 25 0 1 0 22467236 61317120 12915 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 14970 12915 364 364 0 14606 0 [pid=10100] vsize: 59880 Current children cumulated CPU time (s) 890.01 Current children cumulated vsize (Kb) 59880 [startup+900.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 18973 0 0 0 89946 55 0 0 25 0 1 0 22467236 61452288 12972 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15003 12972 364 364 0 14639 0 [pid=10100] vsize: 60012 Current children cumulated CPU time (s) 900.01 Current children cumulated vsize (Kb) 60012 [startup+910.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19032 0 0 0 90946 55 0 0 25 0 1 0 22467236 61587456 13030 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15036 13030 364 364 0 14672 0 [pid=10100] vsize: 60144 Current children cumulated CPU time (s) 910.01 Current children cumulated vsize (Kb) 60144 [startup+920.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19094 0 0 0 91945 56 0 0 25 0 1 0 22467236 61722624 13091 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15069 13091 364 364 0 14705 0 [pid=10100] vsize: 60276 Current children cumulated CPU time (s) 920.01 Current children cumulated vsize (Kb) 60276 [startup+930.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19153 0 0 0 92945 56 0 0 25 0 1 0 22467236 61857792 13149 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15102 13149 364 364 0 14738 0 [pid=10100] vsize: 60408 Current children cumulated CPU time (s) 930.01 Current children cumulated vsize (Kb) 60408 [startup+940.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19212 0 0 0 93945 56 0 0 25 0 1 0 22467236 61992960 13207 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15135 13207 364 364 0 14771 0 [pid=10100] vsize: 60540 Current children cumulated CPU time (s) 940.01 Current children cumulated vsize (Kb) 60540 [startup+950.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19273 0 0 0 94945 56 0 0 25 0 1 0 22467236 62128128 13267 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15168 13267 364 364 0 14804 0 [pid=10100] vsize: 60672 Current children cumulated CPU time (s) 950.01 Current children cumulated vsize (Kb) 60672 [startup+960.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19331 0 0 0 95945 56 0 0 25 0 1 0 22467236 62263296 13324 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15201 13324 364 364 0 14837 0 [pid=10100] vsize: 60804 Current children cumulated CPU time (s) 960.01 Current children cumulated vsize (Kb) 60804 [startup+970.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19390 0 0 0 96945 56 0 0 25 0 1 0 22467236 62533632 13382 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15267 13382 364 364 0 14903 0 [pid=10100] vsize: 61068 Current children cumulated CPU time (s) 970.01 Current children cumulated vsize (Kb) 61068 [startup+980.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19447 0 0 0 97945 57 0 0 25 0 1 0 22467236 62668800 13438 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15300 13438 364 364 0 14936 0 [pid=10100] vsize: 61200 Current children cumulated CPU time (s) 980.02 Current children cumulated vsize (Kb) 61200 [startup+990.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19506 0 0 0 98945 57 0 0 25 0 1 0 22467236 62803968 13496 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15333 13496 364 364 0 14969 0 [pid=10100] vsize: 61332 Current children cumulated CPU time (s) 990.02 Current children cumulated vsize (Kb) 61332 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19564 0 0 0 99945 57 0 0 25 0 1 0 22467236 62939136 13553 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15366 13553 364 364 0 15002 0 [pid=10100] vsize: 61464 Current children cumulated CPU time (s) 1000.02 Current children cumulated vsize (Kb) 61464 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19619 0 0 0 100945 57 0 0 25 0 1 0 22467236 63074304 13608 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15399 13608 364 364 0 15035 0 [pid=10100] vsize: 61596 Current children cumulated CPU time (s) 1010.02 Current children cumulated vsize (Kb) 61596 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19677 0 0 0 101945 57 0 0 25 0 1 0 22467236 63209472 13665 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15432 13665 364 364 0 15068 0 [pid=10100] vsize: 61728 Current children cumulated CPU time (s) 1020.02 Current children cumulated vsize (Kb) 61728 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19734 0 0 0 102944 57 0 0 25 0 1 0 22467236 63344640 13721 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15465 13721 364 364 0 15101 0 [pid=10100] vsize: 61860 Current children cumulated CPU time (s) 1030.01 Current children cumulated vsize (Kb) 61860 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19791 0 0 0 103944 58 0 0 25 0 1 0 22467236 63479808 13777 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15498 13777 364 364 0 15134 0 [pid=10100] vsize: 61992 Current children cumulated CPU time (s) 1040.02 Current children cumulated vsize (Kb) 61992 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19847 0 0 0 104944 58 0 0 25 0 1 0 22467236 63614976 13832 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15531 13832 364 364 0 15167 0 [pid=10100] vsize: 62124 Current children cumulated CPU time (s) 1050.02 Current children cumulated vsize (Kb) 62124 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19903 0 0 0 105943 58 0 0 25 0 1 0 22467236 63750144 13887 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15564 13887 364 364 0 15200 0 [pid=10100] vsize: 62256 Current children cumulated CPU time (s) 1060.01 Current children cumulated vsize (Kb) 62256 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 19958 0 0 0 106943 58 0 0 25 0 1 0 22467236 63885312 13941 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15597 13941 364 364 0 15233 0 [pid=10100] vsize: 62388 Current children cumulated CPU time (s) 1070.01 Current children cumulated vsize (Kb) 62388 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20014 0 0 0 107943 59 0 0 25 0 1 0 22467236 64020480 13996 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15630 13996 364 364 0 15266 0 [pid=10100] vsize: 62520 Current children cumulated CPU time (s) 1080.02 Current children cumulated vsize (Kb) 62520 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20069 0 0 0 108943 59 0 0 25 0 1 0 22467236 64155648 14050 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15663 14050 364 364 0 15299 0 [pid=10100] vsize: 62652 Current children cumulated CPU time (s) 1090.02 Current children cumulated vsize (Kb) 62652 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20123 0 0 0 109943 59 0 0 25 0 1 0 22467236 64290816 14103 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15696 14103 364 364 0 15332 0 [pid=10100] vsize: 62784 Current children cumulated CPU time (s) 1100.02 Current children cumulated vsize (Kb) 62784 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20178 0 0 0 110942 60 0 0 25 0 1 0 22467236 64561152 14158 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15762 14158 364 364 0 15398 0 [pid=10100] vsize: 63048 Current children cumulated CPU time (s) 1110.02 Current children cumulated vsize (Kb) 63048 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20232 0 0 0 111942 60 0 0 25 0 1 0 22467236 64696320 14211 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15795 14211 364 364 0 15431 0 [pid=10100] vsize: 63180 Current children cumulated CPU time (s) 1120.02 Current children cumulated vsize (Kb) 63180 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20287 0 0 0 112942 60 0 0 25 0 1 0 22467236 64831488 14265 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15828 14265 364 364 0 15464 0 [pid=10100] vsize: 63312 Current children cumulated CPU time (s) 1130.02 Current children cumulated vsize (Kb) 63312 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20341 0 0 0 113941 61 0 0 25 0 1 0 22467236 64966656 14318 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15861 14318 364 364 0 15497 0 [pid=10100] vsize: 63444 Current children cumulated CPU time (s) 1140.02 Current children cumulated vsize (Kb) 63444 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20395 0 0 0 114941 61 0 0 25 0 1 0 22467236 65101824 14371 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15894 14371 364 364 0 15530 0 [pid=10100] vsize: 63576 Current children cumulated CPU time (s) 1150.02 Current children cumulated vsize (Kb) 63576 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20447 0 0 0 115941 61 0 0 25 0 1 0 22467236 65236992 14422 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15927 14422 364 364 0 15563 0 [pid=10100] vsize: 63708 Current children cumulated CPU time (s) 1160.02 Current children cumulated vsize (Kb) 63708 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20501 0 0 0 116941 61 0 0 25 0 1 0 22467236 65372160 14475 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15960 14475 364 364 0 15596 0 [pid=10100] vsize: 63840 Current children cumulated CPU time (s) 1170.02 Current children cumulated vsize (Kb) 63840 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20556 0 0 0 117941 61 0 0 25 0 1 0 22467236 65507328 14529 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 15993 14529 364 364 0 15629 0 [pid=10100] vsize: 63972 Current children cumulated CPU time (s) 1180.02 Current children cumulated vsize (Kb) 63972 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20607 0 0 0 118941 62 0 0 25 0 1 0 22467236 65642496 14580 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 16026 14580 364 364 0 15662 0 [pid=10100] vsize: 64104 Current children cumulated CPU time (s) 1190.03 Current children cumulated vsize (Kb) 64104 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20660 0 0 0 119941 62 0 0 25 0 1 0 22467236 65777664 14632 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 16059 14632 364 364 0 15695 0 [pid=10100] vsize: 64236 Current children cumulated CPU time (s) 1200.03 Current children cumulated vsize (Kb) 64236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 10163 Raw data (/proc/10100/stat): 10100 (pb2sat) R 10099 10100 4005 0 -1 0 20660 0 0 0 119941 62 0 0 25 0 1 0 22467236 65777664 14632 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10100/statm): 16059 14632 364 364 0 15695 0 [pid=10100] vsize: 64236 Current children cumulated CPU time (s) 1200.03 Current children cumulated vsize (Kb) 64236 Sending SIGTERM to -10100 Sleeping 2 seconds One traced child (pid=10100) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1200.63 CPU time (s): 1200.61 CPU user time (s): 1199.96 CPU system time (s): 0.6529 CPU usage (%): 99.9979 Max. virtual memory (cumulated for all children) (Kb): 64236
ERROR: no interpretation found !