Name | mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb |
MD5SUM | 6a4305210f653cc893fd9d3ee7862505 |
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 | 185520 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 6640019433432 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 193273528320 |
Number of bits of the biggest number in a constraint | 38 |
Biggest sum of numbers in a constraint | 11024119093221 |
Number of bits of the biggest sum of numbers | 44 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 185520 |
Total number of constraints | 404 |
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 | 404 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 185520 |
LAUNCH ON wulflinc23 THE 2005-09-23 16:03:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8625 boxname=wulflinc23 idbench=421 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6a4305210f653cc893fd9d3ee7862505 /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-d6cube.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-d6cube.opb IDLAUNCH: 8625 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.185 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.185 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: 894848 kB Buffers: 14112 kB Cached: 106792 kB SwapCached: 0 kB Active: 83504 kB Inactive: 40328 kB HighTotal: 131008 kB HighFree: 19964 kB LowTotal: 903652 kB LowFree: 874884 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 10324 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 16:21:01 (client local time) WITH STATUS 0 IN 1020.72 SECONDS stats: 8625 7 1020.72 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/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21478174 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 373 2 364 364 0 9 0 [pid=7732] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-d6cube.opb [startup+10.002 s] Raw data (loadavg): 0.94 0.96 0.97 2/55 7732 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 2550 0 0 0 993 6 0 0 25 0 1 0 21478174 9502720 1863 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 2320 1863 364 364 0 1956 0 [pid=7732] vsize: 9280 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9280 [startup+20.0026 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 7732 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 4183 0 0 0 1990 8 0 0 25 0 1 0 21478174 15224832 2749 4294967295 134512640 135987407 3221224560 3221221616 134931273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 3717 2749 364 364 0 3353 0 [pid=7732] vsize: 14868 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 14868 [startup+30.0033 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 7732 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 4457 0 0 0 2990 8 0 0 25 0 1 0 21478174 15765504 3017 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 3849 3017 364 364 0 3485 0 [pid=7732] vsize: 15396 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15396 [startup+40.0029 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 7732 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 4748 0 0 0 3989 9 0 0 25 0 1 0 21478174 16576512 3303 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 4047 3303 364 364 0 3683 0 [pid=7732] vsize: 16188 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16188 [startup+50.0036 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 7732 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 5008 0 0 0 4988 10 0 0 25 0 1 0 21478174 17252352 3559 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 4212 3559 364 364 0 3848 0 [pid=7732] vsize: 16848 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16848 [startup+60.0032 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 7732 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 5239 0 0 0 5987 11 0 0 25 0 1 0 21478174 17793024 3786 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 4344 3786 364 364 0 3980 0 [pid=7732] vsize: 17376 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17376 [startup+70.0039 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 7732 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 5450 0 0 0 6987 11 0 0 25 0 1 0 21478174 18333696 3993 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 4476 3993 364 364 0 4112 0 [pid=7732] vsize: 17904 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17904 [startup+80.0045 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 7732 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 5645 0 0 0 7986 12 0 0 25 0 1 0 21478174 18874368 4185 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 4608 4185 364 364 0 4244 0 [pid=7732] vsize: 18432 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 18432 [startup+90.0052 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 7732 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 5830 0 0 0 8986 13 0 0 25 0 1 0 21478174 19279872 4367 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 4707 4367 364 364 0 4343 0 [pid=7732] vsize: 18828 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 18828 [startup+100.006 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 7732 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 6003 0 0 0 9985 13 0 0 25 0 1 0 21478174 19820544 4537 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 4839 4537 364 364 0 4475 0 [pid=7732] vsize: 19356 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 19356 [startup+110.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 8324 0 0 0 10980 18 0 0 25 0 1 0 21478174 28696576 5381 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7006 5381 364 364 0 6642 0 [pid=7732] 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.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 8400 0 0 0 11980 19 0 0 25 0 1 0 21478174 28831744 5454 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7039 5454 364 364 0 6675 0 [pid=7732] vsize: 28156 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 28156 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 8532 0 0 0 12979 19 0 0 25 0 1 0 21478174 29102080 5584 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7105 5584 364 364 0 6741 0 [pid=7732] vsize: 28420 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 28420 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 8661 0 0 0 13979 19 0 0 25 0 1 0 21478174 29507584 5710 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7204 5710 364 364 0 6840 0 [pid=7732] vsize: 28816 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 28816 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 8784 0 0 0 14979 20 0 0 25 0 1 0 21478174 29777920 5831 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7270 5831 364 364 0 6906 0 [pid=7732] vsize: 29080 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 29080 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 8903 0 0 0 15978 20 0 0 25 0 1 0 21478174 30048256 5948 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7336 5948 364 364 0 6972 0 [pid=7732] vsize: 29344 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 29344 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9021 0 0 0 16978 20 0 0 25 0 1 0 21478174 30318592 6064 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7402 6064 364 364 0 7038 0 [pid=7732] vsize: 29608 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 29608 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9151 0 0 0 17977 21 0 0 25 0 1 0 21478174 30588928 6192 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7468 6192 364 364 0 7104 0 [pid=7732] vsize: 29872 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 29872 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9278 0 0 0 18977 21 0 0 25 0 1 0 21478174 30994432 6317 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7567 6317 364 364 0 7203 0 [pid=7732] vsize: 30268 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 30268 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9402 0 0 0 19977 21 0 0 25 0 1 0 21478174 31264768 6439 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7633 6439 364 364 0 7269 0 [pid=7732] vsize: 30532 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 30532 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9523 0 0 0 20977 22 0 0 25 0 1 0 21478174 31535104 6558 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7699 6558 364 364 0 7335 0 [pid=7732] vsize: 30796 Current children cumulated CPU time (s) 209.99 Current children cumulated vsize (Kb) 30796 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9642 0 0 0 21977 22 0 0 25 0 1 0 21478174 31940608 6675 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7798 6675 364 364 0 7434 0 [pid=7732] vsize: 31192 Current children cumulated CPU time (s) 219.99 Current children cumulated vsize (Kb) 31192 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9759 0 0 0 22977 22 0 0 25 0 1 0 21478174 32210944 6790 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7864 6790 364 364 0 7500 0 [pid=7732] vsize: 31456 Current children cumulated CPU time (s) 229.99 Current children cumulated vsize (Kb) 31456 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9871 0 0 0 23976 23 0 0 25 0 1 0 21478174 32481280 6900 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7930 6900 364 364 0 7566 0 [pid=7732] vsize: 31720 Current children cumulated CPU time (s) 239.99 Current children cumulated vsize (Kb) 31720 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 9986 0 0 0 24976 23 0 0 25 0 1 0 21478174 32751616 7013 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 7996 7013 364 364 0 7632 0 [pid=7732] vsize: 31984 Current children cumulated CPU time (s) 249.99 Current children cumulated vsize (Kb) 31984 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10096 0 0 0 25976 23 0 0 25 0 1 0 21478174 33021952 7121 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8062 7121 364 364 0 7698 0 [pid=7732] vsize: 32248 Current children cumulated CPU time (s) 259.99 Current children cumulated vsize (Kb) 32248 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10203 0 0 0 26976 23 0 0 25 0 1 0 21478174 33292288 7227 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8128 7227 364 364 0 7764 0 [pid=7732] vsize: 32512 Current children cumulated CPU time (s) 269.99 Current children cumulated vsize (Kb) 32512 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10309 0 0 0 27976 23 0 0 25 0 1 0 21478174 33562624 7331 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8194 7331 364 364 0 7830 0 [pid=7732] vsize: 32776 Current children cumulated CPU time (s) 279.99 Current children cumulated vsize (Kb) 32776 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10413 0 0 0 28976 24 0 0 25 0 1 0 21478174 33832960 7433 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8260 7433 364 364 0 7896 0 [pid=7732] vsize: 33040 Current children cumulated CPU time (s) 290 Current children cumulated vsize (Kb) 33040 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10516 0 0 0 29976 24 0 0 25 0 1 0 21478174 34103296 7535 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8326 7535 364 364 0 7962 0 [pid=7732] vsize: 33304 Current children cumulated CPU time (s) 300 Current children cumulated vsize (Kb) 33304 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10616 0 0 0 30976 24 0 0 25 0 1 0 21478174 34373632 7633 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8392 7633 364 364 0 8028 0 [pid=7732] vsize: 33568 Current children cumulated CPU time (s) 310 Current children cumulated vsize (Kb) 33568 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10718 0 0 0 31975 25 0 0 25 0 1 0 21478174 34643968 7733 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8458 7733 364 364 0 8094 0 [pid=7732] vsize: 33832 Current children cumulated CPU time (s) 320 Current children cumulated vsize (Kb) 33832 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10815 0 0 0 32975 25 0 0 25 0 1 0 21478174 34914304 7829 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8524 7829 364 364 0 8160 0 [pid=7732] vsize: 34096 Current children cumulated CPU time (s) 330 Current children cumulated vsize (Kb) 34096 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 10912 0 0 0 33975 25 0 0 25 0 1 0 21478174 35184640 7924 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8590 7924 364 364 0 8226 0 [pid=7732] vsize: 34360 Current children cumulated CPU time (s) 340 Current children cumulated vsize (Kb) 34360 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11008 0 0 0 34975 25 0 0 25 0 1 0 21478174 35454976 8019 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8656 8019 364 364 0 8292 0 [pid=7732] vsize: 34624 Current children cumulated CPU time (s) 350 Current children cumulated vsize (Kb) 34624 [startup+360.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11103 0 0 0 35974 26 0 0 25 0 1 0 21478174 35590144 8112 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8689 8112 364 364 0 8325 0 [pid=7732] vsize: 34756 Current children cumulated CPU time (s) 360 Current children cumulated vsize (Kb) 34756 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11194 0 0 0 36974 26 0 0 25 0 1 0 21478174 35860480 8202 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8755 8202 364 364 0 8391 0 [pid=7732] vsize: 35020 Current children cumulated CPU time (s) 370 Current children cumulated vsize (Kb) 35020 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11286 0 0 0 37974 26 0 0 25 0 1 0 21478174 36130816 8292 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8821 8292 364 364 0 8457 0 [pid=7732] vsize: 35284 Current children cumulated CPU time (s) 380 Current children cumulated vsize (Kb) 35284 [startup+390.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11377 0 0 0 38974 27 0 0 25 0 1 0 21478174 36401152 8382 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8887 8382 364 364 0 8523 0 [pid=7732] vsize: 35548 Current children cumulated CPU time (s) 390.01 Current children cumulated vsize (Kb) 35548 [startup+400.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11467 0 0 0 39974 27 0 0 25 0 1 0 21478174 36536320 8470 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8920 8470 364 364 0 8556 0 [pid=7732] vsize: 35680 Current children cumulated CPU time (s) 400.01 Current children cumulated vsize (Kb) 35680 [startup+410.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11556 0 0 0 40974 27 0 0 25 0 1 0 21478174 36806656 8558 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 8986 8558 364 364 0 8622 0 [pid=7732] vsize: 35944 Current children cumulated CPU time (s) 410.01 Current children cumulated vsize (Kb) 35944 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11643 0 0 0 41973 27 0 0 25 0 1 0 21478174 37076992 8643 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 9052 8643 364 364 0 8688 0 [pid=7732] vsize: 36208 Current children cumulated CPU time (s) 420 Current children cumulated vsize (Kb) 36208 [startup+430.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11729 0 0 0 42973 27 0 0 25 0 1 0 21478174 37212160 8728 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 9085 8728 364 364 0 8721 0 [pid=7732] vsize: 36340 Current children cumulated CPU time (s) 430 Current children cumulated vsize (Kb) 36340 [startup+440.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11817 0 0 0 43972 28 0 0 25 0 1 0 21478174 37482496 8815 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 9151 8815 364 364 0 8787 0 [pid=7732] vsize: 36604 Current children cumulated CPU time (s) 440 Current children cumulated vsize (Kb) 36604 [startup+450.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 11899 0 0 0 44972 28 0 0 25 0 1 0 21478174 37752832 8895 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 9217 8895 364 364 0 8853 0 [pid=7732] vsize: 36868 Current children cumulated CPU time (s) 450 Current children cumulated vsize (Kb) 36868 [startup+460.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16469 0 0 0 45963 37 0 0 25 0 1 0 21478174 55775232 10517 4294967295 134512640 135987407 3221224560 3221221360 135477288 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 13617 10517 364 364 0 13253 0 [pid=7732] vsize: 54468 Current children cumulated CPU time (s) 460 Current children cumulated vsize (Kb) 54468 [startup+470.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16498 0 0 0 46963 37 0 0 25 0 1 0 21478174 55775232 10545 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 13617 10545 364 364 0 13253 0 [pid=7732] vsize: 54468 Current children cumulated CPU time (s) 470 Current children cumulated vsize (Kb) 54468 [startup+480.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16529 0 0 0 47963 38 0 0 25 0 1 0 21478174 55775232 10574 4294967295 134512640 135987407 3221224560 3221221952 134616558 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 13617 10574 364 364 0 13253 0 [pid=7732] vsize: 54468 Current children cumulated CPU time (s) 480.01 Current children cumulated vsize (Kb) 54468 [startup+490.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16558 0 0 0 48963 38 0 0 25 0 1 0 21478174 55775232 10602 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 13617 10602 364 364 0 13253 0 [pid=7732] vsize: 54468 Current children cumulated CPU time (s) 490.01 Current children cumulated vsize (Kb) 54468 [startup+500.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16590 0 0 0 49963 38 0 0 25 0 1 0 21478174 55775232 10633 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 13617 10633 364 364 0 13253 0 [pid=7732] vsize: 54468 Current children cumulated CPU time (s) 500.01 Current children cumulated vsize (Kb) 54468 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16619 0 0 0 50963 38 0 0 25 0 1 0 21478174 55775232 10660 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 13617 10660 364 364 0 13253 0 [pid=7732] vsize: 54468 Current children cumulated CPU time (s) 510.01 Current children cumulated vsize (Kb) 54468 [startup+520.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16648 0 0 0 51962 38 0 0 25 0 1 0 21478174 55775232 10688 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 13617 10688 364 364 0 13253 0 [pid=7732] vsize: 54468 Current children cumulated CPU time (s) 520 Current children cumulated vsize (Kb) 54468 [startup+530.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16705 0 0 0 52962 39 0 0 25 0 1 0 21478174 55910400 10744 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 13650 10744 364 364 0 13286 0 [pid=7732] vsize: 54600 Current children cumulated CPU time (s) 530.01 Current children cumulated vsize (Kb) 54600 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16772 0 0 0 53962 39 0 0 25 0 1 0 21478174 56045568 10810 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7732/statm): 13683 10810 364 364 0 13319 0 [pid=7732] vsize: 54732 Current children cumulated CPU time (s) 540.01 Current children cumulated vsize (Kb) 54732 [startup+550.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16838 0 0 0 54962 39 0 0 25 0 1 0 21478174 56180736 10874 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7732/statm): 13716 10874 364 364 0 13352 0 [pid=7732] vsize: 54864 Current children cumulated CPU time (s) 550.01 Current children cumulated vsize (Kb) 54864 [startup+560.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16905 0 0 0 55962 40 0 0 25 0 1 0 21478174 56315904 10940 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7732/statm): 13749 10940 364 364 0 13385 0 [pid=7732] vsize: 54996 Current children cumulated CPU time (s) 560.02 Current children cumulated vsize (Kb) 54996 [startup+570.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 16970 0 0 0 56962 40 0 0 25 0 1 0 21478174 56451072 11004 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7732/statm): 13782 11004 364 364 0 13418 0 [pid=7732] vsize: 55128 Current children cumulated CPU time (s) 570.02 Current children cumulated vsize (Kb) 55128 [startup+580.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17033 0 0 0 57962 40 0 0 25 0 1 0 21478174 56586240 11066 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7732/statm): 13815 11066 364 364 0 13451 0 [pid=7732] vsize: 55260 Current children cumulated CPU time (s) 580.02 Current children cumulated vsize (Kb) 55260 [startup+590.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17098 0 0 0 58962 40 0 0 25 0 1 0 21478174 56856576 11130 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 13881 11130 364 364 0 13517 0 [pid=7732] vsize: 55524 Current children cumulated CPU time (s) 590.02 Current children cumulated vsize (Kb) 55524 [startup+600.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17162 0 0 0 59961 40 0 0 25 0 1 0 21478174 56991744 11192 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 13914 11192 364 364 0 13550 0 [pid=7732] vsize: 55656 Current children cumulated CPU time (s) 600.01 Current children cumulated vsize (Kb) 55656 [startup+610.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17227 0 0 0 60961 41 0 0 25 0 1 0 21478174 57126912 11256 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 13947 11256 364 364 0 13583 0 [pid=7732] vsize: 55788 Current children cumulated CPU time (s) 610.02 Current children cumulated vsize (Kb) 55788 [startup+620.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17289 0 0 0 61961 41 0 0 25 0 1 0 21478174 57262080 11317 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 13980 11317 364 364 0 13616 0 [pid=7732] vsize: 55920 Current children cumulated CPU time (s) 620.02 Current children cumulated vsize (Kb) 55920 [startup+630.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17353 0 0 0 62961 41 0 0 25 0 1 0 21478174 57397248 11380 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14013 11380 364 364 0 13649 0 [pid=7732] vsize: 56052 Current children cumulated CPU time (s) 630.02 Current children cumulated vsize (Kb) 56052 [startup+640.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17416 0 0 0 63961 41 0 0 25 0 1 0 21478174 57532416 11442 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14046 11442 364 364 0 13682 0 [pid=7732] vsize: 56184 Current children cumulated CPU time (s) 640.02 Current children cumulated vsize (Kb) 56184 [startup+650.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17477 0 0 0 64961 41 0 0 25 0 1 0 21478174 57667584 11502 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14079 11502 364 364 0 13715 0 [pid=7732] vsize: 56316 Current children cumulated CPU time (s) 650.02 Current children cumulated vsize (Kb) 56316 [startup+660.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17540 0 0 0 65961 41 0 0 25 0 1 0 21478174 57802752 11563 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14112 11563 364 364 0 13748 0 [pid=7732] vsize: 56448 Current children cumulated CPU time (s) 660.02 Current children cumulated vsize (Kb) 56448 [startup+670.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17598 0 0 0 66961 41 0 0 25 0 1 0 21478174 57937920 11620 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14145 11620 364 364 0 13781 0 [pid=7732] vsize: 56580 Current children cumulated CPU time (s) 670.02 Current children cumulated vsize (Kb) 56580 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17660 0 0 0 67961 42 0 0 25 0 1 0 21478174 58073088 11681 4294967295 134512640 135987407 3221224560 3221221952 134615122 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14178 11681 364 364 0 13814 0 [pid=7732] vsize: 56712 Current children cumulated CPU time (s) 680.03 Current children cumulated vsize (Kb) 56712 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17719 0 0 0 68961 42 0 0 25 0 1 0 21478174 58208256 11739 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14211 11739 364 364 0 13847 0 [pid=7732] vsize: 56844 Current children cumulated CPU time (s) 690.03 Current children cumulated vsize (Kb) 56844 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17780 0 0 0 69961 42 0 0 25 0 1 0 21478174 58343424 11799 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14244 11799 364 364 0 13880 0 [pid=7732] vsize: 56976 Current children cumulated CPU time (s) 700.03 Current children cumulated vsize (Kb) 56976 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17838 0 0 0 70960 42 0 0 25 0 1 0 21478174 58478592 11856 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14277 11856 364 364 0 13913 0 [pid=7732] vsize: 57108 Current children cumulated CPU time (s) 710.02 Current children cumulated vsize (Kb) 57108 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17898 0 0 0 71960 42 0 0 25 0 1 0 21478174 58613760 11915 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14310 11915 364 364 0 13946 0 [pid=7732] vsize: 57240 Current children cumulated CPU time (s) 720.02 Current children cumulated vsize (Kb) 57240 [startup+730.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 17957 0 0 0 72960 42 0 0 25 0 1 0 21478174 58748928 11973 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14343 11973 364 364 0 13979 0 [pid=7732] vsize: 57372 Current children cumulated CPU time (s) 730.02 Current children cumulated vsize (Kb) 57372 [startup+740.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18025 0 0 0 73960 43 0 0 25 0 1 0 21478174 59019264 12040 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14409 12040 364 364 0 14045 0 [pid=7732] vsize: 57636 Current children cumulated CPU time (s) 740.03 Current children cumulated vsize (Kb) 57636 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18090 0 0 0 74960 43 0 0 25 0 1 0 21478174 59154432 12104 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14442 12104 364 364 0 14078 0 [pid=7732] vsize: 57768 Current children cumulated CPU time (s) 750.03 Current children cumulated vsize (Kb) 57768 [startup+760.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18158 0 0 0 75960 43 0 0 25 0 1 0 21478174 59289600 12170 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14475 12170 364 364 0 14111 0 [pid=7732] vsize: 57900 Current children cumulated CPU time (s) 760.03 Current children cumulated vsize (Kb) 57900 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18223 0 0 0 76960 43 0 0 25 0 1 0 21478174 59559936 12234 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14541 12234 364 364 0 14177 0 [pid=7732] vsize: 58164 Current children cumulated CPU time (s) 770.03 Current children cumulated vsize (Kb) 58164 [startup+780.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18288 0 0 0 77959 44 0 0 25 0 1 0 21478174 59695104 12298 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14574 12298 364 364 0 14210 0 [pid=7732] vsize: 58296 Current children cumulated CPU time (s) 780.03 Current children cumulated vsize (Kb) 58296 [startup+790.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18352 0 0 0 78959 44 0 0 25 0 1 0 21478174 59830272 12361 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14607 12361 364 364 0 14243 0 [pid=7732] vsize: 58428 Current children cumulated CPU time (s) 790.03 Current children cumulated vsize (Kb) 58428 [startup+800.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18415 0 0 0 79959 44 0 0 25 0 1 0 21478174 59965440 12423 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14640 12423 364 364 0 14276 0 [pid=7732] vsize: 58560 Current children cumulated CPU time (s) 800.03 Current children cumulated vsize (Kb) 58560 [startup+810.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18481 0 0 0 80959 44 0 0 25 0 1 0 21478174 60100608 12488 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14673 12488 364 364 0 14309 0 [pid=7732] vsize: 58692 Current children cumulated CPU time (s) 810.03 Current children cumulated vsize (Kb) 58692 [startup+820.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18543 0 0 0 81959 44 0 0 25 0 1 0 21478174 60370944 12549 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14739 12549 364 364 0 14375 0 [pid=7732] vsize: 58956 Current children cumulated CPU time (s) 820.03 Current children cumulated vsize (Kb) 58956 [startup+830.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18605 0 0 0 82959 44 0 0 25 0 1 0 21478174 60506112 12610 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14772 12610 364 364 0 14408 0 [pid=7732] vsize: 59088 Current children cumulated CPU time (s) 830.03 Current children cumulated vsize (Kb) 59088 [startup+840.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18669 0 0 0 83959 45 0 0 25 0 1 0 21478174 60641280 12673 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14805 12673 364 364 0 14441 0 [pid=7732] vsize: 59220 Current children cumulated CPU time (s) 840.04 Current children cumulated vsize (Kb) 59220 [startup+850.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18731 0 0 0 84958 45 0 0 25 0 1 0 21478174 60776448 12734 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14838 12734 364 364 0 14474 0 [pid=7732] vsize: 59352 Current children cumulated CPU time (s) 850.03 Current children cumulated vsize (Kb) 59352 [startup+860.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18793 0 0 0 85958 45 0 0 25 0 1 0 21478174 60911616 12795 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14871 12795 364 364 0 14507 0 [pid=7732] vsize: 59484 Current children cumulated CPU time (s) 860.03 Current children cumulated vsize (Kb) 59484 [startup+870.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18855 0 0 0 86958 45 0 0 25 0 1 0 21478174 61181952 12856 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14937 12856 364 364 0 14573 0 [pid=7732] vsize: 59748 Current children cumulated CPU time (s) 870.03 Current children cumulated vsize (Kb) 59748 [startup+880.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18915 0 0 0 87958 45 0 0 25 0 1 0 21478174 61317120 12915 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 14970 12915 364 364 0 14606 0 [pid=7732] vsize: 59880 Current children cumulated CPU time (s) 880.03 Current children cumulated vsize (Kb) 59880 [startup+890.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 18977 0 0 0 88958 45 0 0 25 0 1 0 21478174 61452288 12976 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 15003 12976 364 364 0 14639 0 [pid=7732] vsize: 60012 Current children cumulated CPU time (s) 890.03 Current children cumulated vsize (Kb) 60012 [startup+900.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 19039 0 0 0 89958 46 0 0 25 0 1 0 21478174 61587456 13037 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 15036 13037 364 364 0 14672 0 [pid=7732] vsize: 60144 Current children cumulated CPU time (s) 900.04 Current children cumulated vsize (Kb) 60144 [startup+910.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 19098 0 0 0 90958 46 0 0 25 0 1 0 21478174 61722624 13095 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 15069 13095 364 364 0 14705 0 [pid=7732] vsize: 60276 Current children cumulated CPU time (s) 910.04 Current children cumulated vsize (Kb) 60276 [startup+920.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 19157 0 0 0 91957 46 0 0 25 0 1 0 21478174 61857792 13153 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 15102 13153 364 364 0 14738 0 [pid=7732] vsize: 60408 Current children cumulated CPU time (s) 920.03 Current children cumulated vsize (Kb) 60408 [startup+930.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 19217 0 0 0 92958 46 0 0 25 0 1 0 21478174 61992960 13212 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 15135 13212 364 364 0 14771 0 [pid=7732] vsize: 60540 Current children cumulated CPU time (s) 930.04 Current children cumulated vsize (Kb) 60540 [startup+940.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 27437 0 0 0 93934 68 0 0 25 0 1 0 21478174 87552000 19885 4294967295 134512640 135987407 3221224560 3220973632 134878078 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 21375 19885 364 364 0 21011 0 [pid=7732] vsize: 85500 Current children cumulated CPU time (s) 940.02 Current children cumulated vsize (Kb) 85500 [startup+950.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 60471 0 0 0 94854 146 0 0 25 0 1 0 21478174 181432320 37069 4294967295 134512640 135987407 3221224560 3221000456 134865857 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 44295 37069 364 364 0 43931 0 [pid=7732] vsize: 177180 Current children cumulated CPU time (s) 950 Current children cumulated vsize (Kb) 177180 [startup+960.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 88736 0 0 0 95789 209 0 0 25 0 1 0 21478174 261210112 55386 4294967295 134512640 135987407 3221224560 3220852928 134856397 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 63772 55386 364 364 0 63408 0 [pid=7732] vsize: 255088 Current children cumulated CPU time (s) 959.98 Current children cumulated vsize (Kb) 255088 [startup+970.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 115927 0 0 0 96725 273 0 0 25 0 1 0 21478174 352800768 70058 4294967295 134512640 135987407 3221224560 3220873088 134876603 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 86133 70058 364 364 0 85769 0 [pid=7732] vsize: 344532 Current children cumulated CPU time (s) 969.98 Current children cumulated vsize (Kb) 344532 [startup+980.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 157589 0 0 0 97633 361 0 0 25 0 1 0 21478174 478040064 92084 4294967295 134512640 135987407 3221224560 3220970176 134855001 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 116709 92084 364 364 0 116345 0 [pid=7732] vsize: 466836 Current children cumulated CPU time (s) 979.94 Current children cumulated vsize (Kb) 466836 [startup+990.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 196628 0 0 0 98540 454 0 0 25 0 1 0 21478174 583028736 106309 4294967295 134512640 135987407 3221224560 3221097344 134802753 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 142341 106309 364 364 0 141977 0 [pid=7732] vsize: 569364 Current children cumulated CPU time (s) 989.94 Current children cumulated vsize (Kb) 569364 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 211216 0 0 0 99502 490 0 0 25 0 1 0 21478174 621895680 120663 4294967295 134512640 135987407 3221224560 3220876648 134637921 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 151830 120663 364 364 0 151466 0 [pid=7732] vsize: 607320 Current children cumulated CPU time (s) 999.92 Current children cumulated vsize (Kb) 607320 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 227676 0 0 0 100461 531 0 0 25 0 1 0 21478174 626491392 136852 4294967295 134512640 135987407 3221224560 3221191428 135479912 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 152952 136852 364 364 0 152588 0 [pid=7732] vsize: 611808 Current children cumulated CPU time (s) 1009.92 Current children cumulated vsize (Kb) 611808 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) R 7731 7732 4060 0 -1 0 242332 0 0 0 101421 570 0 0 25 0 1 0 21478174 688312320 151299 4294967295 134512640 135987407 3221224560 3221028760 134638985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7732/statm): 168045 151299 364 364 0 167681 0 [pid=7732] vsize: 672180 Current children cumulated CPU time (s) 1019.91 Current children cumulated vsize (Kb) 672180 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+1020.28 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 7734 Raw data (/proc/7732/stat): 7732 (pb2sat) T 7731 7732 4060 0 -1 0 242817 0 0 0 101444 571 0 0 25 0 1 0 21478174 973934592 151777 4294967295 134512640 135987407 3221224560 3221109472 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7732/statm): 237777 151777 364 364 0 237413 0 [pid=7732] vsize: 951108 Current children cumulated CPU time (s) 1020.15 Current children cumulated vsize (Kb) 951108 Sending SIGTERM to -7732 Sleeping 2 seconds Sending SIGKILL to -7732 One traced child (pid=7732) ended because it received signal 9 (SIGKILL) All traced children have exited ! Game is over. Child ended because it received signal 9 (SIGKILL) Real time (s): 1022.6 CPU time (s): 1020.72 CPU user time (s): 1014.69 CPU system time (s): 6.03208 CPU usage (%): 99.8167 Max. virtual memory (cumulated for all children) (Kb): 951108
ERROR: no interpretation found !