Name | mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb |
MD5SUM | 4969ff20db6e3c380ff3de77937a8672 |
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 | 221520 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 34400198927214220148736 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 34400301327214220148736 |
Number of bits of the biggest sum of numbers | 75 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 221520 |
Total number of constraints | 38324 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 32041 |
Number of constraints which are nor clauses,nor cardinality constraints | 6283 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 221520 |
LAUNCH ON wulflinc30 THE 2005-09-23 17:39:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8969 boxname=wulflinc30 idbench=765 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 4969ff20db6e3c380ff3de77937a8672 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-NSR8K.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-NSR8K.opb IDLAUNCH: 8969 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 912572 kB Buffers: 12380 kB Cached: 92068 kB SwapCached: 0 kB Active: 66064 kB Inactive: 41332 kB HighTotal: 131008 kB HighFree: 34832 kB LowTotal: 903652 kB LowFree: 877740 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 9056 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 17:59:16 (client local time) WITH STATUS 0 IN 1200.73 SECONDS stats: 8969 7 1200.73 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/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22015416 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10177/statm): 373 2 364 364 0 9 0 [pid=10177] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-NSR8K.opb [startup+10.0018 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 2315 0 0 0 992 7 0 0 25 0 1 0 22015416 8962048 1632 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10177/statm): 2188 1632 364 364 0 1824 0 [pid=10177] vsize: 8752 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 8752 [startup+20.0026 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 2923 0 0 0 1990 8 0 0 25 0 1 0 22015416 10448896 2230 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 2551 2230 364 364 0 2187 0 [pid=10177] vsize: 10204 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10204 [startup+30.0034 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 4324 0 0 0 2985 13 0 0 25 0 1 0 22015416 15495168 2886 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 3783 2886 364 364 0 3419 0 [pid=10177] vsize: 15132 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15132 [startup+40.0042 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 4612 0 0 0 3984 14 0 0 25 0 1 0 22015416 16171008 3169 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 3948 3169 364 364 0 3584 0 [pid=10177] vsize: 15792 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 15792 [startup+50.005 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 4891 0 0 0 4984 15 0 0 25 0 1 0 22015416 16846848 3443 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 4113 3443 364 364 0 3749 0 [pid=10177] vsize: 16452 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 16452 [startup+60.0048 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 5135 0 0 0 5983 15 0 0 25 0 1 0 22015416 17522688 3683 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 4278 3683 364 364 0 3914 0 [pid=10177] vsize: 17112 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17112 [startup+70.0046 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 5353 0 0 0 6983 15 0 0 25 0 1 0 22015416 18063360 3898 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 4410 3898 364 364 0 4046 0 [pid=10177] vsize: 17640 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17640 [startup+80.0054 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 5548 0 0 0 7982 16 0 0 25 0 1 0 22015416 18604032 4090 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 4542 4090 364 364 0 4178 0 [pid=10177] vsize: 18168 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 18168 [startup+90.0052 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 5730 0 0 0 8982 17 0 0 25 0 1 0 22015416 19009536 4269 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 4641 4269 364 364 0 4277 0 [pid=10177] vsize: 18564 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 18564 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 5902 0 0 0 9981 18 0 0 25 0 1 0 22015416 19550208 4438 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 4773 4438 364 364 0 4409 0 [pid=10177] vsize: 19092 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 19092 [startup+110.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8276 0 0 0 10975 23 0 0 25 0 1 0 22015416 28696576 5334 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7006 5334 364 364 0 6642 0 [pid=10177] vsize: 28024 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 28024 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8334 0 0 0 11975 23 0 0 25 0 1 0 22015416 28696576 5390 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7006 5390 364 364 0 6642 0 [pid=10177] vsize: 28024 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28024 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8439 0 0 0 12975 24 0 0 25 0 1 0 22015416 28831744 5492 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7039 5492 364 364 0 6675 0 [pid=10177] vsize: 28156 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 28156 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8567 0 0 0 13974 25 0 0 25 0 1 0 22015416 29237248 5618 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7138 5618 364 364 0 6774 0 [pid=10177] 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.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8687 0 0 0 14974 25 0 0 25 0 1 0 22015416 29507584 5736 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7204 5736 364 364 0 6840 0 [pid=10177] vsize: 28816 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 28816 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8808 0 0 0 15974 25 0 0 25 0 1 0 22015416 29777920 5854 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7270 5854 364 364 0 6906 0 [pid=10177] vsize: 29080 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 29080 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8923 0 0 0 16974 26 0 0 25 0 1 0 22015416 30048256 5967 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7336 5967 364 364 0 6972 0 [pid=10177] vsize: 29344 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 29344 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9040 0 0 0 17974 26 0 0 25 0 1 0 22015416 30318592 6082 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7402 6082 364 364 0 7038 0 [pid=10177] vsize: 29608 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 29608 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9167 0 0 0 18974 26 0 0 25 0 1 0 22015416 30588928 6207 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7468 6207 364 364 0 7104 0 [pid=10177] vsize: 29872 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 29872 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9289 0 0 0 19973 27 0 0 25 0 1 0 22015416 30994432 6327 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7567 6327 364 364 0 7203 0 [pid=10177] vsize: 30268 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 30268 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9408 0 0 0 20973 27 0 0 25 0 1 0 22015416 31264768 6444 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7633 6444 364 364 0 7269 0 [pid=10177] vsize: 30532 Current children cumulated CPU time (s) 210 Current children cumulated vsize (Kb) 30532 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9527 0 0 0 21973 27 0 0 25 0 1 0 22015416 31535104 6561 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7699 6561 364 364 0 7335 0 [pid=10177] vsize: 30796 Current children cumulated CPU time (s) 220 Current children cumulated vsize (Kb) 30796 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9639 0 0 0 22973 27 0 0 25 0 1 0 22015416 31805440 6672 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7765 6672 364 364 0 7401 0 [pid=10177] vsize: 31060 Current children cumulated CPU time (s) 230 Current children cumulated vsize (Kb) 31060 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9752 0 0 0 23973 28 0 0 25 0 1 0 22015416 32210944 6783 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7864 6783 364 364 0 7500 0 [pid=10177] vsize: 31456 Current children cumulated CPU time (s) 240.01 Current children cumulated vsize (Kb) 31456 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9862 0 0 0 24972 28 0 0 25 0 1 0 22015416 32481280 6891 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 7930 6891 364 364 0 7566 0 [pid=10177] 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.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9970 0 0 0 25972 28 0 0 25 0 1 0 22015416 32751616 6997 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10177/statm): 7996 6997 364 364 0 7632 0 [pid=10177] vsize: 31984 Current children cumulated CPU time (s) 260 Current children cumulated vsize (Kb) 31984 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10077 0 0 0 26972 29 0 0 25 0 1 0 22015416 33021952 7103 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8062 7103 364 364 0 7698 0 [pid=10177] vsize: 32248 Current children cumulated CPU time (s) 270.01 Current children cumulated vsize (Kb) 32248 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10182 0 0 0 27971 30 0 0 25 0 1 0 22015416 33292288 7206 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8128 7206 364 364 0 7764 0 [pid=10177] vsize: 32512 Current children cumulated CPU time (s) 280.01 Current children cumulated vsize (Kb) 32512 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10284 0 0 0 28971 30 0 0 25 0 1 0 22015416 33562624 7306 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8194 7306 364 364 0 7830 0 [pid=10177] vsize: 32776 Current children cumulated CPU time (s) 290.01 Current children cumulated vsize (Kb) 32776 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10385 0 0 0 29971 30 0 0 25 0 1 0 22015416 33832960 7406 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8260 7406 364 364 0 7896 0 [pid=10177] vsize: 33040 Current children cumulated CPU time (s) 300.01 Current children cumulated vsize (Kb) 33040 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10485 0 0 0 30971 31 0 0 25 0 1 0 22015416 34103296 7504 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8326 7504 364 364 0 7962 0 [pid=10177] vsize: 33304 Current children cumulated CPU time (s) 310.02 Current children cumulated vsize (Kb) 33304 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10582 0 0 0 31971 31 0 0 25 0 1 0 22015416 34238464 7599 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8359 7599 364 364 0 7995 0 [pid=10177] vsize: 33436 Current children cumulated CPU time (s) 320.02 Current children cumulated vsize (Kb) 33436 [startup+330.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10678 0 0 0 32971 31 0 0 25 0 1 0 22015416 34508800 7694 4294967295 134512640 135987407 3221224560 3221221808 134979149 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8425 7694 364 364 0 8061 0 [pid=10177] vsize: 33700 Current children cumulated CPU time (s) 330.02 Current children cumulated vsize (Kb) 33700 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10774 0 0 0 33971 32 0 0 25 0 1 0 22015416 34779136 7788 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8491 7788 364 364 0 8127 0 [pid=10177] vsize: 33964 Current children cumulated CPU time (s) 340.03 Current children cumulated vsize (Kb) 33964 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10868 0 0 0 34971 32 0 0 25 0 1 0 22015416 35049472 7881 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8557 7881 364 364 0 8193 0 [pid=10177] vsize: 34228 Current children cumulated CPU time (s) 350.03 Current children cumulated vsize (Kb) 34228 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10961 0 0 0 35970 32 0 0 25 0 1 0 22015416 35319808 7972 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8623 7972 364 364 0 8259 0 [pid=10177] vsize: 34492 Current children cumulated CPU time (s) 360.02 Current children cumulated vsize (Kb) 34492 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11052 0 0 0 36970 33 0 0 25 0 1 0 22015416 35454976 8062 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8656 8062 364 364 0 8292 0 [pid=10177] vsize: 34624 Current children cumulated CPU time (s) 370.03 Current children cumulated vsize (Kb) 34624 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11142 0 0 0 37970 33 0 0 25 0 1 0 22015416 35725312 8150 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8722 8150 364 364 0 8358 0 [pid=10177] vsize: 34888 Current children cumulated CPU time (s) 380.03 Current children cumulated vsize (Kb) 34888 [startup+390.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11230 0 0 0 38970 33 0 0 25 0 1 0 22015416 35995648 8237 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8788 8237 364 364 0 8424 0 [pid=10177] vsize: 35152 Current children cumulated CPU time (s) 390.03 Current children cumulated vsize (Kb) 35152 [startup+400.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11320 0 0 0 39970 33 0 0 25 0 1 0 22015416 36130816 8325 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8821 8325 364 364 0 8457 0 [pid=10177] vsize: 35284 Current children cumulated CPU time (s) 400.03 Current children cumulated vsize (Kb) 35284 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11405 0 0 0 40970 34 0 0 25 0 1 0 22015416 36401152 8409 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8887 8409 364 364 0 8523 0 [pid=10177] vsize: 35548 Current children cumulated CPU time (s) 410.04 Current children cumulated vsize (Kb) 35548 [startup+420.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11492 0 0 0 41970 34 0 0 25 0 1 0 22015416 36671488 8495 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8953 8495 364 364 0 8589 0 [pid=10177] vsize: 35812 Current children cumulated CPU time (s) 420.04 Current children cumulated vsize (Kb) 35812 [startup+430.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11577 0 0 0 42969 34 0 0 25 0 1 0 22015416 36806656 8578 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 8986 8578 364 364 0 8622 0 [pid=10177] vsize: 35944 Current children cumulated CPU time (s) 430.03 Current children cumulated vsize (Kb) 35944 [startup+440.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11662 0 0 0 43969 34 0 0 25 0 1 0 22015416 37076992 8662 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 9052 8662 364 364 0 8688 0 [pid=10177] vsize: 36208 Current children cumulated CPU time (s) 440.03 Current children cumulated vsize (Kb) 36208 [startup+450.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11743 0 0 0 44969 35 0 0 25 0 1 0 22015416 37212160 8742 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 9085 8742 364 364 0 8721 0 [pid=10177] vsize: 36340 Current children cumulated CPU time (s) 450.04 Current children cumulated vsize (Kb) 36340 [startup+460.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11828 0 0 0 45968 35 0 0 25 0 1 0 22015416 37482496 8825 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 9151 8825 364 364 0 8787 0 [pid=10177] vsize: 36604 Current children cumulated CPU time (s) 460.03 Current children cumulated vsize (Kb) 36604 [startup+470.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11909 0 0 0 46968 36 0 0 25 0 1 0 22015416 37752832 8905 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 9217 8905 364 364 0 8853 0 [pid=10177] vsize: 36868 Current children cumulated CPU time (s) 470.04 Current children cumulated vsize (Kb) 36868 [startup+480.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16462 0 0 0 47957 46 0 0 25 0 1 0 22015416 55640064 10510 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13584 10510 364 364 0 13220 0 [pid=10177] vsize: 54336 Current children cumulated CPU time (s) 480.03 Current children cumulated vsize (Kb) 54336 [startup+490.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16492 0 0 0 48957 46 0 0 25 0 1 0 22015416 55640064 10538 4294967295 134512640 135987407 3221224560 3221221728 134566717 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13584 10538 364 364 0 13220 0 [pid=10177] vsize: 54336 Current children cumulated CPU time (s) 490.03 Current children cumulated vsize (Kb) 54336 [startup+500.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16521 0 0 0 49957 47 0 0 25 0 1 0 22015416 55640064 10566 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13584 10566 364 364 0 13220 0 [pid=10177] vsize: 54336 Current children cumulated CPU time (s) 500.04 Current children cumulated vsize (Kb) 54336 [startup+510.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16550 0 0 0 50957 47 0 0 25 0 1 0 22015416 55640064 10594 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13584 10594 364 364 0 13220 0 [pid=10177] vsize: 54336 Current children cumulated CPU time (s) 510.04 Current children cumulated vsize (Kb) 54336 [startup+520.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16579 0 0 0 51957 47 0 0 25 0 1 0 22015416 55640064 10622 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13584 10622 364 364 0 13220 0 [pid=10177] vsize: 54336 Current children cumulated CPU time (s) 520.04 Current children cumulated vsize (Kb) 54336 [startup+530.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16608 0 0 0 52957 47 0 0 25 0 1 0 22015416 55640064 10649 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13584 10649 364 364 0 13220 0 [pid=10177] vsize: 54336 Current children cumulated CPU time (s) 530.04 Current children cumulated vsize (Kb) 54336 [startup+540.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16636 0 0 0 53957 47 0 0 25 0 1 0 22015416 55640064 10676 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13584 10676 364 364 0 13220 0 [pid=10177] vsize: 54336 Current children cumulated CPU time (s) 540.04 Current children cumulated vsize (Kb) 54336 [startup+550.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16690 0 0 0 54957 47 0 0 25 0 1 0 22015416 55775232 10729 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13617 10729 364 364 0 13253 0 [pid=10177] vsize: 54468 Current children cumulated CPU time (s) 550.04 Current children cumulated vsize (Kb) 54468 [startup+560.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16754 0 0 0 55957 48 0 0 25 0 1 0 22015416 55910400 10792 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13650 10792 364 364 0 13286 0 [pid=10177] vsize: 54600 Current children cumulated CPU time (s) 560.05 Current children cumulated vsize (Kb) 54600 [startup+570.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16821 0 0 0 56957 48 0 0 25 0 1 0 22015416 56045568 10857 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13683 10857 364 364 0 13319 0 [pid=10177] vsize: 54732 Current children cumulated CPU time (s) 570.05 Current children cumulated vsize (Kb) 54732 [startup+580.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16883 0 0 0 57957 48 0 0 25 0 1 0 22015416 56315904 10918 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13749 10918 364 364 0 13385 0 [pid=10177] vsize: 54996 Current children cumulated CPU time (s) 580.05 Current children cumulated vsize (Kb) 54996 [startup+590.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16947 0 0 0 58957 48 0 0 25 0 1 0 22015416 56451072 10981 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13782 10981 364 364 0 13418 0 [pid=10177] vsize: 55128 Current children cumulated CPU time (s) 590.05 Current children cumulated vsize (Kb) 55128 [startup+600.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17011 0 0 0 59957 49 0 0 25 0 1 0 22015416 56586240 11044 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13815 11044 364 364 0 13451 0 [pid=10177] vsize: 55260 Current children cumulated CPU time (s) 600.06 Current children cumulated vsize (Kb) 55260 [startup+610.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17074 0 0 0 60957 49 0 0 25 0 1 0 22015416 56721408 11106 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13848 11106 364 364 0 13484 0 [pid=10177] vsize: 55392 Current children cumulated CPU time (s) 610.06 Current children cumulated vsize (Kb) 55392 [startup+620.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17135 0 0 0 61957 49 0 0 25 0 1 0 22015416 56856576 11166 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13881 11166 364 364 0 13517 0 [pid=10177] vsize: 55524 Current children cumulated CPU time (s) 620.06 Current children cumulated vsize (Kb) 55524 [startup+630.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17198 0 0 0 62957 49 0 0 25 0 1 0 22015416 56991744 11227 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13914 11227 364 364 0 13550 0 [pid=10177] vsize: 55656 Current children cumulated CPU time (s) 630.06 Current children cumulated vsize (Kb) 55656 [startup+640.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17259 0 0 0 63956 50 0 0 25 0 1 0 22015416 57126912 11287 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13947 11287 364 364 0 13583 0 [pid=10177] vsize: 55788 Current children cumulated CPU time (s) 640.06 Current children cumulated vsize (Kb) 55788 [startup+650.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17319 0 0 0 64956 50 0 0 25 0 1 0 22015416 57262080 11346 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 13980 11346 364 364 0 13616 0 [pid=10177] vsize: 55920 Current children cumulated CPU time (s) 650.06 Current children cumulated vsize (Kb) 55920 [startup+660.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17379 0 0 0 65956 50 0 0 25 0 1 0 22015416 57397248 11405 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14013 11405 364 364 0 13649 0 [pid=10177] vsize: 56052 Current children cumulated CPU time (s) 660.06 Current children cumulated vsize (Kb) 56052 [startup+670.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17441 0 0 0 66956 50 0 0 25 0 1 0 22015416 57532416 11466 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14046 11466 364 364 0 13682 0 [pid=10177] vsize: 56184 Current children cumulated CPU time (s) 670.06 Current children cumulated vsize (Kb) 56184 [startup+680.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17499 0 0 0 67956 50 0 0 25 0 1 0 22015416 57667584 11523 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14079 11523 364 364 0 13715 0 [pid=10177] vsize: 56316 Current children cumulated CPU time (s) 680.06 Current children cumulated vsize (Kb) 56316 [startup+690.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17558 0 0 0 68956 51 0 0 25 0 1 0 22015416 57802752 11581 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14112 11581 364 364 0 13748 0 [pid=10177] vsize: 56448 Current children cumulated CPU time (s) 690.07 Current children cumulated vsize (Kb) 56448 [startup+700.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17616 0 0 0 69956 51 0 0 25 0 1 0 22015416 57937920 11638 4294967295 134512640 135987407 3221224560 3221221744 134536104 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14145 11638 364 364 0 13781 0 [pid=10177] vsize: 56580 Current children cumulated CPU time (s) 700.07 Current children cumulated vsize (Kb) 56580 [startup+710.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17673 0 0 0 70955 51 0 0 25 0 1 0 22015416 58073088 11694 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14178 11694 364 364 0 13814 0 [pid=10177] vsize: 56712 Current children cumulated CPU time (s) 710.06 Current children cumulated vsize (Kb) 56712 [startup+720.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17731 0 0 0 71955 51 0 0 25 0 1 0 22015416 58208256 11751 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14211 11751 364 364 0 13847 0 [pid=10177] vsize: 56844 Current children cumulated CPU time (s) 720.06 Current children cumulated vsize (Kb) 56844 [startup+730.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17791 0 0 0 72955 52 0 0 25 0 1 0 22015416 58343424 11809 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14244 11809 364 364 0 13880 0 [pid=10177] vsize: 56976 Current children cumulated CPU time (s) 730.07 Current children cumulated vsize (Kb) 56976 [startup+740.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17847 0 0 0 73955 52 0 0 25 0 1 0 22015416 58478592 11864 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14277 11864 364 364 0 13913 0 [pid=10177] vsize: 57108 Current children cumulated CPU time (s) 740.07 Current children cumulated vsize (Kb) 57108 [startup+750.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17904 0 0 0 74955 52 0 0 25 0 1 0 22015416 58613760 11920 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14310 11920 364 364 0 13946 0 [pid=10177] vsize: 57240 Current children cumulated CPU time (s) 750.07 Current children cumulated vsize (Kb) 57240 [startup+760.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17965 0 0 0 75955 52 0 0 25 0 1 0 22015416 58748928 11980 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14343 11980 364 364 0 13979 0 [pid=10177] vsize: 57372 Current children cumulated CPU time (s) 760.07 Current children cumulated vsize (Kb) 57372 [startup+770.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18029 0 0 0 76955 52 0 0 25 0 1 0 22015416 59019264 12043 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14409 12043 364 364 0 14045 0 [pid=10177] vsize: 57636 Current children cumulated CPU time (s) 770.07 Current children cumulated vsize (Kb) 57636 [startup+780.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18093 0 0 0 77955 53 0 0 25 0 1 0 22015416 59154432 12106 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14442 12106 364 364 0 14078 0 [pid=10177] vsize: 57768 Current children cumulated CPU time (s) 780.08 Current children cumulated vsize (Kb) 57768 [startup+790.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18157 0 0 0 78955 53 0 0 25 0 1 0 22015416 59289600 12169 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14475 12169 364 364 0 14111 0 [pid=10177] vsize: 57900 Current children cumulated CPU time (s) 790.08 Current children cumulated vsize (Kb) 57900 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18220 0 0 0 79955 53 0 0 25 0 1 0 22015416 59424768 12231 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14508 12231 364 364 0 14144 0 [pid=10177] vsize: 58032 Current children cumulated CPU time (s) 800.08 Current children cumulated vsize (Kb) 58032 [startup+810.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18282 0 0 0 80955 53 0 0 25 0 1 0 22015416 59559936 12292 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14541 12292 364 364 0 14177 0 [pid=10177] vsize: 58164 Current children cumulated CPU time (s) 810.08 Current children cumulated vsize (Kb) 58164 [startup+820.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18345 0 0 0 81955 54 0 0 25 0 1 0 22015416 59830272 12354 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14607 12354 364 364 0 14243 0 [pid=10177] vsize: 58428 Current children cumulated CPU time (s) 820.09 Current children cumulated vsize (Kb) 58428 [startup+830.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18407 0 0 0 82954 54 0 0 25 0 1 0 22015416 59965440 12415 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14640 12415 364 364 0 14276 0 [pid=10177] vsize: 58560 Current children cumulated CPU time (s) 830.08 Current children cumulated vsize (Kb) 58560 [startup+840.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18469 0 0 0 83954 55 0 0 25 0 1 0 22015416 60100608 12476 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14673 12476 364 364 0 14309 0 [pid=10177] vsize: 58692 Current children cumulated CPU time (s) 840.09 Current children cumulated vsize (Kb) 58692 [startup+850.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18529 0 0 0 84954 55 0 0 25 0 1 0 22015416 60235776 12535 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14706 12535 364 364 0 14342 0 [pid=10177] vsize: 58824 Current children cumulated CPU time (s) 850.09 Current children cumulated vsize (Kb) 58824 [startup+860.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18590 0 0 0 85954 55 0 0 25 0 1 0 22015416 60370944 12595 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14739 12595 364 364 0 14375 0 [pid=10177] vsize: 58956 Current children cumulated CPU time (s) 860.09 Current children cumulated vsize (Kb) 58956 [startup+870.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18651 0 0 0 86954 55 0 0 25 0 1 0 22015416 60506112 12655 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14772 12655 364 364 0 14408 0 [pid=10177] vsize: 59088 Current children cumulated CPU time (s) 870.09 Current children cumulated vsize (Kb) 59088 [startup+880.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18710 0 0 0 87954 56 0 0 25 0 1 0 22015416 60776448 12713 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14838 12713 364 364 0 14474 0 [pid=10177] vsize: 59352 Current children cumulated CPU time (s) 880.1 Current children cumulated vsize (Kb) 59352 [startup+890.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18770 0 0 0 88953 56 0 0 25 0 1 0 22015416 60911616 12772 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14871 12772 364 364 0 14507 0 [pid=10177] vsize: 59484 Current children cumulated CPU time (s) 890.09 Current children cumulated vsize (Kb) 59484 [startup+900.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18831 0 0 0 89953 56 0 0 25 0 1 0 22015416 61046784 12832 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14904 12832 364 364 0 14540 0 [pid=10177] vsize: 59616 Current children cumulated CPU time (s) 900.09 Current children cumulated vsize (Kb) 59616 [startup+910.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18890 0 0 0 90953 57 0 0 25 0 1 0 22015416 61181952 12890 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14937 12890 364 364 0 14573 0 [pid=10177] vsize: 59748 Current children cumulated CPU time (s) 910.1 Current children cumulated vsize (Kb) 59748 [startup+920.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18948 0 0 0 91953 57 0 0 25 0 1 0 22015416 61317120 12947 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 14970 12947 364 364 0 14606 0 [pid=10177] vsize: 59880 Current children cumulated CPU time (s) 920.1 Current children cumulated vsize (Kb) 59880 [startup+930.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19006 0 0 0 92953 57 0 0 25 0 1 0 22015416 61452288 13005 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15003 13005 364 364 0 14639 0 [pid=10177] vsize: 60012 Current children cumulated CPU time (s) 930.1 Current children cumulated vsize (Kb) 60012 [startup+940.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19063 0 0 0 93953 58 0 0 25 0 1 0 22015416 61587456 13061 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15036 13061 364 364 0 14672 0 [pid=10177] vsize: 60144 Current children cumulated CPU time (s) 940.11 Current children cumulated vsize (Kb) 60144 [startup+950.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19122 0 0 0 94952 58 0 0 25 0 1 0 22015416 61722624 13119 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15069 13119 364 364 0 14705 0 [pid=10177] vsize: 60276 Current children cumulated CPU time (s) 950.1 Current children cumulated vsize (Kb) 60276 [startup+960.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19181 0 0 0 95952 58 0 0 25 0 1 0 22015416 61992960 13177 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15135 13177 364 364 0 14771 0 [pid=10177] vsize: 60540 Current children cumulated CPU time (s) 960.1 Current children cumulated vsize (Kb) 60540 [startup+970.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19239 0 0 0 96952 58 0 0 25 0 1 0 22015416 62128128 13234 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15168 13234 364 364 0 14804 0 [pid=10177] vsize: 60672 Current children cumulated CPU time (s) 970.1 Current children cumulated vsize (Kb) 60672 [startup+980.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19296 0 0 0 97952 59 0 0 25 0 1 0 22015416 62263296 13290 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15201 13290 364 364 0 14837 0 [pid=10177] vsize: 60804 Current children cumulated CPU time (s) 980.11 Current children cumulated vsize (Kb) 60804 [startup+990.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19352 0 0 0 98952 59 0 0 25 0 1 0 22015416 62398464 13345 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15234 13345 364 364 0 14870 0 [pid=10177] vsize: 60936 Current children cumulated CPU time (s) 990.11 Current children cumulated vsize (Kb) 60936 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19409 0 0 0 99952 59 0 0 25 0 1 0 22015416 62533632 13401 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15267 13401 364 364 0 14903 0 [pid=10177] vsize: 61068 Current children cumulated CPU time (s) 1000.11 Current children cumulated vsize (Kb) 61068 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19463 0 0 0 100952 59 0 0 25 0 1 0 22015416 62668800 13454 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15300 13454 364 364 0 14936 0 [pid=10177] vsize: 61200 Current children cumulated CPU time (s) 1010.11 Current children cumulated vsize (Kb) 61200 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19521 0 0 0 101952 60 0 0 25 0 1 0 22015416 62803968 13511 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15333 13511 364 364 0 14969 0 [pid=10177] vsize: 61332 Current children cumulated CPU time (s) 1020.12 Current children cumulated vsize (Kb) 61332 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19576 0 0 0 102952 60 0 0 25 0 1 0 22015416 62939136 13565 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15366 13565 364 364 0 15002 0 [pid=10177] vsize: 61464 Current children cumulated CPU time (s) 1030.12 Current children cumulated vsize (Kb) 61464 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19632 0 0 0 103952 60 0 0 25 0 1 0 22015416 63074304 13620 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15399 13620 364 364 0 15035 0 [pid=10177] vsize: 61596 Current children cumulated CPU time (s) 1040.12 Current children cumulated vsize (Kb) 61596 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19687 0 0 0 104952 60 0 0 25 0 1 0 22015416 63209472 13675 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15432 13675 364 364 0 15068 0 [pid=10177] vsize: 61728 Current children cumulated CPU time (s) 1050.12 Current children cumulated vsize (Kb) 61728 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19742 0 0 0 105952 61 0 0 25 0 1 0 22015416 63344640 13729 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15465 13729 364 364 0 15101 0 [pid=10177] vsize: 61860 Current children cumulated CPU time (s) 1060.13 Current children cumulated vsize (Kb) 61860 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19797 0 0 0 106951 61 0 0 25 0 1 0 22015416 63479808 13783 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15498 13783 364 364 0 15134 0 [pid=10177] vsize: 61992 Current children cumulated CPU time (s) 1070.12 Current children cumulated vsize (Kb) 61992 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19851 0 0 0 107951 61 0 0 25 0 1 0 22015416 63614976 13836 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15531 13836 364 364 0 15167 0 [pid=10177] vsize: 62124 Current children cumulated CPU time (s) 1080.12 Current children cumulated vsize (Kb) 62124 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19906 0 0 0 108951 62 0 0 25 0 1 0 22015416 63750144 13890 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15564 13890 364 364 0 15200 0 [pid=10177] vsize: 62256 Current children cumulated CPU time (s) 1090.13 Current children cumulated vsize (Kb) 62256 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19959 0 0 0 109951 62 0 0 25 0 1 0 22015416 63885312 13942 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15597 13942 364 364 0 15233 0 [pid=10177] vsize: 62388 Current children cumulated CPU time (s) 1100.13 Current children cumulated vsize (Kb) 62388 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20014 0 0 0 110951 62 0 0 25 0 1 0 22015416 64020480 13996 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15630 13996 364 364 0 15266 0 [pid=10177] vsize: 62520 Current children cumulated CPU time (s) 1110.13 Current children cumulated vsize (Kb) 62520 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20068 0 0 0 111951 62 0 0 25 0 1 0 22015416 64155648 14049 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15663 14049 364 364 0 15299 0 [pid=10177] vsize: 62652 Current children cumulated CPU time (s) 1120.13 Current children cumulated vsize (Kb) 62652 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20119 0 0 0 112951 62 0 0 25 0 1 0 22015416 64290816 14100 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15696 14100 364 364 0 15332 0 [pid=10177] vsize: 62784 Current children cumulated CPU time (s) 1130.13 Current children cumulated vsize (Kb) 62784 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20173 0 0 0 113951 63 0 0 25 0 1 0 22015416 64425984 14153 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15729 14153 364 364 0 15365 0 [pid=10177] vsize: 62916 Current children cumulated CPU time (s) 1140.14 Current children cumulated vsize (Kb) 62916 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20225 0 0 0 114951 63 0 0 25 0 1 0 22015416 64561152 14204 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15762 14204 364 364 0 15398 0 [pid=10177] vsize: 63048 Current children cumulated CPU time (s) 1150.14 Current children cumulated vsize (Kb) 63048 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20279 0 0 0 115951 63 0 0 25 0 1 0 22015416 64696320 14257 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15795 14257 364 364 0 15431 0 [pid=10177] vsize: 63180 Current children cumulated CPU time (s) 1160.14 Current children cumulated vsize (Kb) 63180 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20330 0 0 0 116951 63 0 0 25 0 1 0 22015416 64831488 14307 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15828 14307 364 364 0 15464 0 [pid=10177] vsize: 63312 Current children cumulated CPU time (s) 1170.14 Current children cumulated vsize (Kb) 63312 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20382 0 0 0 117951 64 0 0 25 0 1 0 22015416 64966656 14358 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15861 14358 364 364 0 15497 0 [pid=10177] vsize: 63444 Current children cumulated CPU time (s) 1180.15 Current children cumulated vsize (Kb) 63444 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20435 0 0 0 118951 64 0 0 25 0 1 0 22015416 65101824 14410 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15894 14410 364 364 0 15530 0 [pid=10177] vsize: 63576 Current children cumulated CPU time (s) 1190.15 Current children cumulated vsize (Kb) 63576 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20485 0 0 0 119950 64 0 0 25 0 1 0 22015416 65236992 14460 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15927 14460 364 364 0 15563 0 [pid=10177] vsize: 63708 Current children cumulated CPU time (s) 1200.14 Current children cumulated vsize (Kb) 63708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10177 Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20485 0 0 0 119950 64 0 0 25 0 1 0 22015416 65236992 14460 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10177/statm): 15927 14460 364 364 0 15563 0 [pid=10177] vsize: 63708 Current children cumulated CPU time (s) 1200.14 Current children cumulated vsize (Kb) 63708 Sending SIGTERM to -10177 Sleeping 2 seconds One traced child (pid=10177) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1200.61 CPU time (s): 1200.73 CPU user time (s): 1200.05 CPU system time (s): 0.678896 CPU usage (%): 100.01 Max. virtual memory (cumulated for all children) (Kb): 63708
ERROR: no interpretation found !