Name | mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb |
MD5SUM | ebb49febffdfe5475bc23e4ef8d466db |
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 | 188160 |
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 | 6734508713856 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 536870912000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 4602477289606474 |
Number of bits of the biggest sum of numbers | 53 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 282240 |
Total number of constraints | 3136 |
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 | 3136 |
Minimum length of a constraint | 150 |
Maximum length of a constraint | 720 |
LAUNCH ON wulflinc2 THE 2005-09-23 16:07:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8647 boxname=wulflinc2 idbench=443 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: ebb49febffdfe5475bc23e4ef8d466db /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-maros-r7.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-maros-r7.opb IDLAUNCH: 8647 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.261 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 : 2 cpu MHz : 451.261 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 846144 kB Buffers: 16568 kB Cached: 151596 kB SwapCached: 0 kB Active: 97668 kB Inactive: 73412 kB HighTotal: 131008 kB HighFree: 3836 kB LowTotal: 903652 kB LowFree: 842308 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 12 kB Writeback: 0 kB Mapped: 6980 kB Slab: 11764 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 16:25:47 (client local time) WITH STATUS 1 IN 1088.7 SECONDS stats: 8647 7 1088.7 1
c This solver internally uses Chaff 2004.11.15 Simplified Unexpected exception : St9bad_alloc
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/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21523977 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8938/statm): 373 2 364 364 0 9 0 [pid=8938] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-maros-r7.opb [startup+10.0017 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 2562 0 0 0 994 5 0 0 25 0 1 0 21523977 9506816 1875 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8938/statm): 2321 1875 364 364 0 1957 0 [pid=8938] vsize: 9284 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9284 [startup+20.0024 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 3732 0 0 0 1991 7 0 0 25 0 1 0 21523977 16130048 3011 4294967295 134512640 135987407 3221224560 3221221296 134856473 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8938/statm): 3938 3014 364 364 0 3574 0 [pid=8938] vsize: 15752 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 15752 [startup+30.0031 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 4425 0 0 0 2990 8 0 0 25 0 1 0 21523977 15769600 2985 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 3850 2985 364 364 0 3486 0 [pid=8938] vsize: 15400 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15400 [startup+40.0028 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 4701 0 0 0 3989 9 0 0 25 0 1 0 21523977 16445440 3257 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 4015 3257 364 364 0 3651 0 [pid=8938] vsize: 16060 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16060 [startup+50.0035 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 4963 0 0 0 4988 10 0 0 25 0 1 0 21523977 17121280 3514 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 4180 3514 364 364 0 3816 0 [pid=8938] vsize: 16720 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16720 [startup+60.0032 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 5193 0 0 0 5987 11 0 0 25 0 1 0 21523977 17661952 3741 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 4312 3741 364 364 0 3948 0 [pid=8938] vsize: 17248 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17248 [startup+70.0039 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 5401 0 0 0 6987 11 0 0 25 0 1 0 21523977 18202624 3945 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 4444 3945 364 364 0 4080 0 [pid=8938] vsize: 17776 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17776 [startup+80.0046 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 5595 0 0 0 7987 11 0 0 25 0 1 0 21523977 18743296 4136 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 4576 4136 364 364 0 4212 0 [pid=8938] vsize: 18304 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 18304 [startup+90.0043 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 5776 0 0 0 8986 12 0 0 25 0 1 0 21523977 19148800 4314 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 4675 4314 364 364 0 4311 0 [pid=8938] vsize: 18700 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18700 [startup+100.004 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 5948 0 0 0 9985 14 0 0 25 0 1 0 21523977 19689472 4483 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 4807 4483 364 364 0 4443 0 [pid=8938] vsize: 19228 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 19228 [startup+110.004 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8308 0 0 0 10980 18 0 0 25 0 1 0 21523977 28835840 5366 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7040 5366 364 364 0 6676 0 [pid=8938] vsize: 28160 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 28160 [startup+120.004 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8369 0 0 0 11980 18 0 0 25 0 1 0 21523977 28835840 5424 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7040 5424 364 364 0 6676 0 [pid=8938] vsize: 28160 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28160 [startup+130.004 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8492 0 0 0 12980 19 0 0 25 0 1 0 21523977 29106176 5545 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7106 5545 364 364 0 6742 0 [pid=8938] vsize: 28424 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 28424 [startup+140.004 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8622 0 0 0 13979 19 0 0 25 0 1 0 21523977 29376512 5672 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7172 5672 364 364 0 6808 0 [pid=8938] vsize: 28688 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 28688 [startup+150.005 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8746 0 0 0 14979 20 0 0 25 0 1 0 21523977 29646848 5794 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7238 5794 364 364 0 6874 0 [pid=8938] vsize: 28952 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 28952 [startup+160.004 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8867 0 0 0 15978 20 0 0 25 0 1 0 21523977 29917184 5913 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7304 5913 364 364 0 6940 0 [pid=8938] vsize: 29216 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 29216 [startup+170.005 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 8983 0 0 0 16978 21 0 0 25 0 1 0 21523977 30187520 6027 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7370 6027 364 364 0 7006 0 [pid=8938] vsize: 29480 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 29480 [startup+180.006 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9106 0 0 0 17978 21 0 0 25 0 1 0 21523977 30593024 6148 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7469 6148 364 364 0 7105 0 [pid=8938] vsize: 29876 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 29876 [startup+190.005 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9233 0 0 0 18978 21 0 0 25 0 1 0 21523977 30863360 6273 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7535 6273 364 364 0 7171 0 [pid=8938] vsize: 30140 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 30140 [startup+200.005 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9356 0 0 0 19977 22 0 0 25 0 1 0 21523977 31133696 6394 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7601 6394 364 364 0 7237 0 [pid=8938] vsize: 30404 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 30404 [startup+210.006 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9476 0 0 0 20976 23 0 0 25 0 1 0 21523977 31539200 6512 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7700 6512 364 364 0 7336 0 [pid=8938] vsize: 30800 Current children cumulated CPU time (s) 209.99 Current children cumulated vsize (Kb) 30800 [startup+220.006 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9593 0 0 0 21976 23 0 0 25 0 1 0 21523977 31809536 6627 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7766 6627 364 364 0 7402 0 [pid=8938] vsize: 31064 Current children cumulated CPU time (s) 219.99 Current children cumulated vsize (Kb) 31064 [startup+230.006 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9709 0 0 0 22976 23 0 0 25 0 1 0 21523977 32079872 6741 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7832 6741 364 364 0 7468 0 [pid=8938] vsize: 31328 Current children cumulated CPU time (s) 229.99 Current children cumulated vsize (Kb) 31328 [startup+240.006 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9824 0 0 0 23976 24 0 0 25 0 1 0 21523977 32350208 6854 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7898 6854 364 364 0 7534 0 [pid=8938] vsize: 31592 Current children cumulated CPU time (s) 240 Current children cumulated vsize (Kb) 31592 [startup+250.007 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 9933 0 0 0 24975 24 0 0 25 0 1 0 21523977 32620544 6961 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 7964 6961 364 364 0 7600 0 [pid=8938] vsize: 31856 Current children cumulated CPU time (s) 249.99 Current children cumulated vsize (Kb) 31856 [startup+260.006 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10042 0 0 0 25975 24 0 0 25 0 1 0 21523977 32890880 7068 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8030 7068 364 364 0 7666 0 [pid=8938] vsize: 32120 Current children cumulated CPU time (s) 259.99 Current children cumulated vsize (Kb) 32120 [startup+270.007 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10148 0 0 0 26975 25 0 0 25 0 1 0 21523977 33161216 7173 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8096 7173 364 364 0 7732 0 [pid=8938] vsize: 32384 Current children cumulated CPU time (s) 270 Current children cumulated vsize (Kb) 32384 [startup+280.007 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10252 0 0 0 27975 25 0 0 25 0 1 0 21523977 33431552 7275 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8162 7275 364 364 0 7798 0 [pid=8938] vsize: 32648 Current children cumulated CPU time (s) 280 Current children cumulated vsize (Kb) 32648 [startup+290.006 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10356 0 0 0 28975 25 0 0 25 0 1 0 21523977 33701888 7377 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8228 7377 364 364 0 7864 0 [pid=8938] vsize: 32912 Current children cumulated CPU time (s) 290 Current children cumulated vsize (Kb) 32912 [startup+300.006 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10457 0 0 0 29975 25 0 0 25 0 1 0 21523977 33972224 7477 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8294 7477 364 364 0 7930 0 [pid=8938] vsize: 33176 Current children cumulated CPU time (s) 300 Current children cumulated vsize (Kb) 33176 [startup+310.006 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10557 0 0 0 30974 26 0 0 25 0 1 0 21523977 34242560 7575 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8360 7575 364 364 0 7996 0 [pid=8938] vsize: 33440 Current children cumulated CPU time (s) 310 Current children cumulated vsize (Kb) 33440 [startup+320.007 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10656 0 0 0 31974 26 0 0 25 0 1 0 21523977 34512896 7673 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8426 7673 364 364 0 8062 0 [pid=8938] vsize: 33704 Current children cumulated CPU time (s) 320 Current children cumulated vsize (Kb) 33704 [startup+330.007 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10754 0 0 0 32974 26 0 0 25 0 1 0 21523977 34783232 7769 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8492 7769 364 364 0 8128 0 [pid=8938] vsize: 33968 Current children cumulated CPU time (s) 330 Current children cumulated vsize (Kb) 33968 [startup+340.007 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10851 0 0 0 33974 27 0 0 25 0 1 0 21523977 35053568 7864 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8558 7864 364 364 0 8194 0 [pid=8938] vsize: 34232 Current children cumulated CPU time (s) 340.01 Current children cumulated vsize (Kb) 34232 [startup+350.007 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 10945 0 0 0 34974 27 0 0 25 0 1 0 21523977 35323904 7957 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8624 7957 364 364 0 8260 0 [pid=8938] vsize: 34496 Current children cumulated CPU time (s) 350.01 Current children cumulated vsize (Kb) 34496 [startup+360.007 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11037 0 0 0 35974 27 0 0 25 0 1 0 21523977 35459072 8047 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8938/statm): 8657 8047 364 364 0 8293 0 [pid=8938] vsize: 34628 Current children cumulated CPU time (s) 360.01 Current children cumulated vsize (Kb) 34628 [startup+370.008 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11128 0 0 0 36974 27 0 0 25 0 1 0 21523977 35729408 8137 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8938/statm): 8723 8137 364 364 0 8359 0 [pid=8938] vsize: 34892 Current children cumulated CPU time (s) 370.01 Current children cumulated vsize (Kb) 34892 [startup+380.008 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11218 0 0 0 37973 27 0 0 25 0 1 0 21523977 35999744 8225 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8938/statm): 8789 8225 364 364 0 8425 0 [pid=8938] vsize: 35156 Current children cumulated CPU time (s) 380 Current children cumulated vsize (Kb) 35156 [startup+390.008 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11308 0 0 0 38973 28 0 0 25 0 1 0 21523977 36134912 8314 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8822 8314 364 364 0 8458 0 [pid=8938] vsize: 35288 Current children cumulated CPU time (s) 390.01 Current children cumulated vsize (Kb) 35288 [startup+400.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11396 0 0 0 39973 28 0 0 25 0 1 0 21523977 36405248 8401 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8888 8401 364 364 0 8524 0 [pid=8938] vsize: 35552 Current children cumulated CPU time (s) 400.01 Current children cumulated vsize (Kb) 35552 [startup+410.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11484 0 0 0 40973 28 0 0 25 0 1 0 21523977 36675584 8487 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8954 8487 364 364 0 8590 0 [pid=8938] vsize: 35816 Current children cumulated CPU time (s) 410.01 Current children cumulated vsize (Kb) 35816 [startup+420.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11571 0 0 0 41972 29 0 0 25 0 1 0 21523977 36810752 8573 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 8987 8573 364 364 0 8623 0 [pid=8938] vsize: 35948 Current children cumulated CPU time (s) 420.01 Current children cumulated vsize (Kb) 35948 [startup+430.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11656 0 0 0 42972 29 0 0 25 0 1 0 21523977 37081088 8656 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 9053 8656 364 364 0 8689 0 [pid=8938] vsize: 36212 Current children cumulated CPU time (s) 430.01 Current children cumulated vsize (Kb) 36212 [startup+440.009 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11743 0 0 0 43972 29 0 0 25 0 1 0 21523977 37351424 8742 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 9119 8742 364 364 0 8755 0 [pid=8938] vsize: 36476 Current children cumulated CPU time (s) 440.01 Current children cumulated vsize (Kb) 36476 [startup+450.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11825 0 0 0 44971 30 0 0 25 0 1 0 21523977 37486592 8823 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 9152 8823 364 364 0 8788 0 [pid=8938] vsize: 36608 Current children cumulated CPU time (s) 450.01 Current children cumulated vsize (Kb) 36608 [startup+460.01 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 11907 0 0 0 45971 30 0 0 25 0 1 0 21523977 37756928 8903 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 9218 8903 364 364 0 8854 0 [pid=8938] vsize: 36872 Current children cumulated CPU time (s) 460.01 Current children cumulated vsize (Kb) 36872 [startup+470.011 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 15189 0 0 0 46964 37 0 0 25 0 1 0 21523977 59777024 12061 4294967295 134512640 135987407 3221224560 3221221296 134856427 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14594 12061 364 364 0 14230 0 [pid=8938] vsize: 58376 Current children cumulated CPU time (s) 470.01 Current children cumulated vsize (Kb) 58376 [startup+480.012 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16506 0 0 0 47961 40 0 0 25 0 1 0 21523977 55779328 10553 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13618 10553 364 364 0 13254 0 [pid=8938] vsize: 54472 Current children cumulated CPU time (s) 480.01 Current children cumulated vsize (Kb) 54472 [startup+490.012 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16536 0 0 0 48961 40 0 0 25 0 1 0 21523977 55779328 10581 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13618 10581 364 364 0 13254 0 [pid=8938] vsize: 54472 Current children cumulated CPU time (s) 490.01 Current children cumulated vsize (Kb) 54472 [startup+500.013 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16565 0 0 0 49961 40 0 0 25 0 1 0 21523977 55779328 10609 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13618 10609 364 364 0 13254 0 [pid=8938] vsize: 54472 Current children cumulated CPU time (s) 500.01 Current children cumulated vsize (Kb) 54472 [startup+510.014 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16595 0 0 0 50961 40 0 0 25 0 1 0 21523977 55779328 10638 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13618 10638 364 364 0 13254 0 [pid=8938] vsize: 54472 Current children cumulated CPU time (s) 510.01 Current children cumulated vsize (Kb) 54472 [startup+520.015 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16623 0 0 0 51961 40 0 0 25 0 1 0 21523977 55779328 10665 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13618 10665 364 364 0 13254 0 [pid=8938] vsize: 54472 Current children cumulated CPU time (s) 520.01 Current children cumulated vsize (Kb) 54472 [startup+530.015 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16653 0 0 0 52961 41 0 0 25 0 1 0 21523977 55779328 10693 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13618 10693 364 364 0 13254 0 [pid=8938] vsize: 54472 Current children cumulated CPU time (s) 530.02 Current children cumulated vsize (Kb) 54472 [startup+540.015 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16700 0 0 0 53961 41 0 0 25 0 1 0 21523977 55914496 10739 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13651 10739 364 364 0 13287 0 [pid=8938] vsize: 54604 Current children cumulated CPU time (s) 540.02 Current children cumulated vsize (Kb) 54604 [startup+550.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16767 0 0 0 54961 41 0 0 25 0 1 0 21523977 56049664 10805 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13684 10805 364 364 0 13320 0 [pid=8938] vsize: 54736 Current children cumulated CPU time (s) 550.02 Current children cumulated vsize (Kb) 54736 [startup+560.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16832 0 0 0 55961 41 0 0 25 0 1 0 21523977 56184832 10869 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13717 10869 364 364 0 13353 0 [pid=8938] vsize: 54868 Current children cumulated CPU time (s) 560.02 Current children cumulated vsize (Kb) 54868 [startup+570.017 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16899 0 0 0 56961 41 0 0 25 0 1 0 21523977 56320000 10934 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13750 10934 364 364 0 13386 0 [pid=8938] vsize: 55000 Current children cumulated CPU time (s) 570.02 Current children cumulated vsize (Kb) 55000 [startup+580.017 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 16962 0 0 0 57961 41 0 0 25 0 1 0 21523977 56455168 10996 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13783 10996 364 364 0 13419 0 [pid=8938] vsize: 55132 Current children cumulated CPU time (s) 580.02 Current children cumulated vsize (Kb) 55132 [startup+590.016 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17027 0 0 0 58961 42 0 0 25 0 1 0 21523977 56590336 11060 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13816 11060 364 364 0 13452 0 [pid=8938] vsize: 55264 Current children cumulated CPU time (s) 590.03 Current children cumulated vsize (Kb) 55264 [startup+600.017 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17091 0 0 0 59960 42 0 0 25 0 1 0 21523977 56725504 11123 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13849 11123 364 364 0 13485 0 [pid=8938] vsize: 55396 Current children cumulated CPU time (s) 600.02 Current children cumulated vsize (Kb) 55396 [startup+610.017 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17155 0 0 0 60960 42 0 0 25 0 1 0 21523977 56995840 11186 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13915 11186 364 364 0 13551 0 [pid=8938] vsize: 55660 Current children cumulated CPU time (s) 610.02 Current children cumulated vsize (Kb) 55660 [startup+620.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17215 0 0 0 61960 42 0 0 25 0 1 0 21523977 57131008 11245 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13948 11245 364 364 0 13584 0 [pid=8938] vsize: 55792 Current children cumulated CPU time (s) 620.02 Current children cumulated vsize (Kb) 55792 [startup+630.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17278 0 0 0 62960 42 0 0 25 0 1 0 21523977 57266176 11306 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 13981 11306 364 364 0 13617 0 [pid=8938] vsize: 55924 Current children cumulated CPU time (s) 630.02 Current children cumulated vsize (Kb) 55924 [startup+640.018 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17340 0 0 0 63960 42 0 0 25 0 1 0 21523977 57401344 11367 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14014 11367 364 364 0 13650 0 [pid=8938] vsize: 56056 Current children cumulated CPU time (s) 640.02 Current children cumulated vsize (Kb) 56056 [startup+650.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17401 0 0 0 64960 43 0 0 25 0 1 0 21523977 57536512 11427 4294967295 134512640 135987407 3221224560 3221221792 134534646 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14047 11427 364 364 0 13683 0 [pid=8938] vsize: 56188 Current children cumulated CPU time (s) 650.03 Current children cumulated vsize (Kb) 56188 [startup+660.019 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17464 0 0 0 65960 43 0 0 25 0 1 0 21523977 57671680 11489 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14080 11489 364 364 0 13716 0 [pid=8938] vsize: 56320 Current children cumulated CPU time (s) 660.03 Current children cumulated vsize (Kb) 56320 [startup+670.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17523 0 0 0 66960 43 0 0 25 0 1 0 21523977 57806848 11547 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14113 11547 364 364 0 13749 0 [pid=8938] vsize: 56452 Current children cumulated CPU time (s) 670.03 Current children cumulated vsize (Kb) 56452 [startup+680.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17581 0 0 0 67959 43 0 0 25 0 1 0 21523977 57942016 11604 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14146 11604 364 364 0 13782 0 [pid=8938] vsize: 56584 Current children cumulated CPU time (s) 680.02 Current children cumulated vsize (Kb) 56584 [startup+690.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17641 0 0 0 68959 44 0 0 25 0 1 0 21523977 58077184 11663 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14179 11663 364 364 0 13815 0 [pid=8938] vsize: 56716 Current children cumulated CPU time (s) 690.03 Current children cumulated vsize (Kb) 56716 [startup+700.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17699 0 0 0 69959 44 0 0 25 0 1 0 21523977 58212352 11720 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14212 11720 364 364 0 13848 0 [pid=8938] vsize: 56848 Current children cumulated CPU time (s) 700.03 Current children cumulated vsize (Kb) 56848 [startup+710.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17758 0 0 0 70959 44 0 0 25 0 1 0 21523977 58347520 11778 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14245 11778 364 364 0 13881 0 [pid=8938] vsize: 56980 Current children cumulated CPU time (s) 710.03 Current children cumulated vsize (Kb) 56980 [startup+720.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17818 0 0 0 71959 45 0 0 25 0 1 0 21523977 58482688 11836 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14278 11836 364 364 0 13914 0 [pid=8938] vsize: 57112 Current children cumulated CPU time (s) 720.04 Current children cumulated vsize (Kb) 57112 [startup+730.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17875 0 0 0 72959 45 0 0 25 0 1 0 21523977 58617856 11892 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14311 11892 364 364 0 13947 0 [pid=8938] vsize: 57244 Current children cumulated CPU time (s) 730.04 Current children cumulated vsize (Kb) 57244 [startup+740.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17931 0 0 0 73958 45 0 0 25 0 1 0 21523977 58753024 11947 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8938/statm): 14344 11947 364 364 0 13980 0 [pid=8938] vsize: 57376 Current children cumulated CPU time (s) 740.03 Current children cumulated vsize (Kb) 57376 [startup+750.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 17994 0 0 0 74958 45 0 0 25 0 1 0 21523977 58888192 12009 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8938/statm): 14377 12009 364 364 0 14013 0 [pid=8938] vsize: 57508 Current children cumulated CPU time (s) 750.03 Current children cumulated vsize (Kb) 57508 [startup+760.021 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18059 0 0 0 75958 46 0 0 25 0 1 0 21523977 59023360 12073 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14410 12073 364 364 0 14046 0 [pid=8938] vsize: 57640 Current children cumulated CPU time (s) 760.04 Current children cumulated vsize (Kb) 57640 [startup+770.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18122 0 0 0 76958 46 0 0 25 0 1 0 21523977 59293696 12135 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14476 12135 364 364 0 14112 0 [pid=8938] vsize: 57904 Current children cumulated CPU time (s) 770.04 Current children cumulated vsize (Kb) 57904 [startup+780.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18187 0 0 0 77958 46 0 0 25 0 1 0 21523977 59428864 12199 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14509 12199 364 364 0 14145 0 [pid=8938] vsize: 58036 Current children cumulated CPU time (s) 780.04 Current children cumulated vsize (Kb) 58036 [startup+790.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18252 0 0 0 78957 46 0 0 25 0 1 0 21523977 59564032 12263 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14542 12263 364 364 0 14178 0 [pid=8938] vsize: 58168 Current children cumulated CPU time (s) 790.03 Current children cumulated vsize (Kb) 58168 [startup+800.022 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18314 0 0 0 79957 46 0 0 25 0 1 0 21523977 59699200 12324 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14575 12324 364 364 0 14211 0 [pid=8938] vsize: 58300 Current children cumulated CPU time (s) 800.03 Current children cumulated vsize (Kb) 58300 [startup+810.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18377 0 0 0 80957 46 0 0 25 0 1 0 21523977 59969536 12386 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14641 12386 364 364 0 14277 0 [pid=8938] vsize: 58564 Current children cumulated CPU time (s) 810.03 Current children cumulated vsize (Kb) 58564 [startup+820.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18442 0 0 0 81957 47 0 0 25 0 1 0 21523977 60104704 12450 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14674 12450 364 364 0 14310 0 [pid=8938] vsize: 58696 Current children cumulated CPU time (s) 820.04 Current children cumulated vsize (Kb) 58696 [startup+830.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18505 0 0 0 82957 47 0 0 25 0 1 0 21523977 60239872 12512 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14707 12512 364 364 0 14343 0 [pid=8938] vsize: 58828 Current children cumulated CPU time (s) 830.04 Current children cumulated vsize (Kb) 58828 [startup+840.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18567 0 0 0 83957 47 0 0 25 0 1 0 21523977 60375040 12573 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14740 12573 364 364 0 14376 0 [pid=8938] vsize: 58960 Current children cumulated CPU time (s) 840.04 Current children cumulated vsize (Kb) 58960 [startup+850.025 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18628 0 0 0 84957 47 0 0 25 0 1 0 21523977 60510208 12633 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14773 12633 364 364 0 14409 0 [pid=8938] vsize: 59092 Current children cumulated CPU time (s) 850.04 Current children cumulated vsize (Kb) 59092 [startup+860.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18687 0 0 0 85956 47 0 0 25 0 1 0 21523977 60645376 12691 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14806 12691 364 364 0 14442 0 [pid=8938] vsize: 59224 Current children cumulated CPU time (s) 860.03 Current children cumulated vsize (Kb) 59224 [startup+870.026 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18748 0 0 0 86956 48 0 0 25 0 1 0 21523977 60915712 12751 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14872 12751 364 364 0 14508 0 [pid=8938] vsize: 59488 Current children cumulated CPU time (s) 870.04 Current children cumulated vsize (Kb) 59488 [startup+880.027 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18809 0 0 0 87956 48 0 0 25 0 1 0 21523977 61050880 12811 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14905 12811 364 364 0 14541 0 [pid=8938] vsize: 59620 Current children cumulated CPU time (s) 880.04 Current children cumulated vsize (Kb) 59620 [startup+890.027 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18869 0 0 0 88956 48 0 0 25 0 1 0 21523977 61186048 12870 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14938 12870 364 364 0 14574 0 [pid=8938] vsize: 59752 Current children cumulated CPU time (s) 890.04 Current children cumulated vsize (Kb) 59752 [startup+900.027 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18930 0 0 0 89955 49 0 0 25 0 1 0 21523977 61321216 12930 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 14971 12930 364 364 0 14607 0 [pid=8938] vsize: 59884 Current children cumulated CPU time (s) 900.04 Current children cumulated vsize (Kb) 59884 [startup+910.027 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 18988 0 0 0 90955 49 0 0 25 0 1 0 21523977 61456384 12987 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 15004 12987 364 364 0 14640 0 [pid=8938] vsize: 60016 Current children cumulated CPU time (s) 910.04 Current children cumulated vsize (Kb) 60016 [startup+920.027 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19048 0 0 0 91955 50 0 0 25 0 1 0 21523977 61591552 13046 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 15037 13046 364 364 0 14673 0 [pid=8938] vsize: 60148 Current children cumulated CPU time (s) 920.05 Current children cumulated vsize (Kb) 60148 [startup+930.027 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19108 0 0 0 92955 50 0 0 25 0 1 0 21523977 61726720 13105 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 15070 13105 364 364 0 14706 0 [pid=8938] vsize: 60280 Current children cumulated CPU time (s) 930.05 Current children cumulated vsize (Kb) 60280 [startup+940.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19166 0 0 0 93955 50 0 0 25 0 1 0 21523977 61997056 13162 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 15136 13162 364 364 0 14772 0 [pid=8938] vsize: 60544 Current children cumulated CPU time (s) 940.05 Current children cumulated vsize (Kb) 60544 [startup+950.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19225 0 0 0 94954 50 0 0 25 0 1 0 21523977 62132224 13220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 15169 13220 364 364 0 14805 0 [pid=8938] vsize: 60676 Current children cumulated CPU time (s) 950.04 Current children cumulated vsize (Kb) 60676 [startup+960.029 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19283 0 0 0 95954 50 0 0 25 0 1 0 21523977 62267392 13277 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 15202 13277 364 364 0 14838 0 [pid=8938] vsize: 60808 Current children cumulated CPU time (s) 960.04 Current children cumulated vsize (Kb) 60808 [startup+970.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19341 0 0 0 96954 50 0 0 25 0 1 0 21523977 62402560 13334 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 15235 13334 364 364 0 14871 0 [pid=8938] vsize: 60940 Current children cumulated CPU time (s) 970.04 Current children cumulated vsize (Kb) 60940 [startup+980.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 19397 0 0 0 97954 50 0 0 25 0 1 0 21523977 62537728 13390 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 15268 13390 364 364 0 14904 0 [pid=8938] vsize: 61072 Current children cumulated CPU time (s) 980.04 Current children cumulated vsize (Kb) 61072 [startup+990.028 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 38294 0 0 0 98911 93 0 0 25 0 1 0 21523977 126038016 24305 4294967295 134512640 135987407 3221224560 3221001232 134537412 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 30771 24305 364 364 0 30407 0 [pid=8938] vsize: 123084 Current children cumulated CPU time (s) 990.04 Current children cumulated vsize (Kb) 123084 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 67555 0 0 0 99850 151 0 0 25 0 1 0 21523977 209944576 44125 4294967295 134512640 135987407 3221224560 3221004828 134865856 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 51256 44125 364 364 0 50892 0 [pid=8938] vsize: 205024 Current children cumulated CPU time (s) 1000.01 Current children cumulated vsize (Kb) 205024 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 96854 0 0 0 100795 202 0 0 25 0 1 0 21523977 304218112 63509 4294967295 134512640 135987407 3221224560 3221003228 134637002 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 74272 63509 364 364 0 73908 0 [pid=8938] vsize: 297088 Current children cumulated CPU time (s) 1009.97 Current children cumulated vsize (Kb) 297088 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 125365 0 0 0 101736 259 0 0 25 0 1 0 21523977 411901952 79539 4294967295 134512640 135987407 3221224560 3221005296 134637811 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 100562 79539 364 364 0 100198 0 [pid=8938] vsize: 402248 Current children cumulated CPU time (s) 1019.95 Current children cumulated vsize (Kb) 402248 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 168144 0 0 0 102658 332 0 0 25 0 1 0 21523977 619819008 121139 4294967295 134512640 135987407 3221224560 3221005184 134533904 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 151323 121139 364 364 0 150959 0 [pid=8938] vsize: 605292 Current children cumulated CPU time (s) 1029.9 Current children cumulated vsize (Kb) 605292 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 185519 0 0 0 103624 365 0 0 25 0 1 0 21523977 573464576 119877 4294967295 134512640 135987407 3221224560 3221008480 134864484 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 140006 119877 364 364 0 139642 0 [pid=8938] vsize: 560024 Current children cumulated CPU time (s) 1039.89 Current children cumulated vsize (Kb) 560024 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 226312 0 0 0 104540 448 0 0 25 0 1 0 21523977 698728448 135905 4294967295 134512640 135987407 3221224560 3221004604 134669203 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 170588 135905 364 364 0 170224 0 [pid=8938] vsize: 682352 Current children cumulated CPU time (s) 1049.88 Current children cumulated vsize (Kb) 682352 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 241833 0 0 0 105513 474 0 0 25 0 1 0 21523977 755007488 151244 4294967295 134512640 135987407 3221224560 3221006252 134636997 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 184328 151244 364 364 0 183964 0 [pid=8938] vsize: 737312 Current children cumulated CPU time (s) 1059.87 Current children cumulated vsize (Kb) 737312 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 260006 0 0 0 106479 506 0 0 25 0 1 0 21523977 780771328 169199 4294967295 134512640 135987407 3221224560 3221010620 134636950 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 190618 169199 364 364 0 190254 0 [pid=8938] vsize: 762472 Current children cumulated CPU time (s) 1069.85 Current children cumulated vsize (Kb) 762472 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 8938 Raw data (/proc/8938/stat): 8938 (pb2sat) R 8937 8938 4070 0 -1 0 278285 0 0 0 107445 538 0 0 25 0 1 0 21523977 808087552 187270 4294967295 134512640 135987407 3221224560 3221005952 134537491 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8938/statm): 197287 187270 364 364 0 196923 0 [pid=8938] vsize: 789148 Current children cumulated CPU time (s) 1079.83 Current children cumulated vsize (Kb) 789148 One traced child (pid=8938) exited with status: 1 All traced children have exited ! Game is over. Child status: 1 Real time (s): 1088.9 CPU time (s): 1088.7 CPU user time (s): 1082.89 CPU system time (s): 5.81212 CPU usage (%): 99.9815 Max. virtual memory (cumulated for all children) (Kb): 789148
ERROR: no interpretation found !