Name | mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb |
MD5SUM | bdd9a8da4deb9b8348cff99945476562 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 162810 |
Biggest coefficient in the objective function | 1511023181824000 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 426775792258590390 |
Number of bits of the sum of numbers in the objective function | 59 |
Biggest number in a constraint | 1511023181824000 |
Number of bits of the biggest number in a constraint | 51 |
Biggest sum of numbers in a constraint | 426775792258590390 |
Number of bits of the biggest sum of numbers | 59 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 28.5317 |
Number of variables | 162810 |
Total number of constraints | 1042 |
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 | 1042 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 2250 |
LAUNCH ON wulflinc9 THE 2005-09-23 16:12:27 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8680 boxname=wulflinc9 idbench=476 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: bdd9a8da4deb9b8348cff99945476562 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-ship12l.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-ship12l.opb IDLAUNCH: 8680 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 898796 kB Buffers: 12504 kB Cached: 105680 kB SwapCached: 0 kB Active: 66852 kB Inactive: 54208 kB HighTotal: 131008 kB HighFree: 22232 kB LowTotal: 903652 kB LowFree: 876564 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 9252 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 16:26:25 (client local time) WITH STATUS 0 IN 835.934 SECONDS stats: 8680 7 835.934 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/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21536253 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9413/statm): 373 2 364 364 0 9 0 [pid=9413] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-ship12l.opb [startup+10.0024 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 2521 0 0 0 990 8 0 0 25 0 1 0 21536253 9506816 1835 4294967295 134512640 135987407 3221224560 3221221952 134616313 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 2321 1835 364 364 0 1957 0 [pid=9413] vsize: 9284 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9284 [startup+20.0021 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 3039 0 0 0 1988 10 0 0 25 0 1 0 21536253 10723328 2344 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 2618 2344 364 364 0 2254 0 [pid=9413] vsize: 10472 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10472 [startup+30.0019 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 4419 0 0 0 2984 13 0 0 25 0 1 0 21536253 15769600 2979 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 3850 2979 364 364 0 3486 0 [pid=9413] vsize: 15400 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 15400 [startup+40.0017 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 4691 0 0 0 3983 15 0 0 25 0 1 0 21536253 16445440 3247 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 4015 3247 364 364 0 3651 0 [pid=9413] vsize: 16060 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16060 [startup+50.0025 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 4942 0 0 0 4982 16 0 0 25 0 1 0 21536253 16986112 3494 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 4147 3494 364 364 0 3783 0 [pid=9413] vsize: 16588 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16588 [startup+60.0023 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 5167 0 0 0 5981 17 0 0 25 0 1 0 21536253 17661952 3715 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 4312 3715 364 364 0 3948 0 [pid=9413] vsize: 17248 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17248 [startup+70.0021 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 5376 0 0 0 6980 18 0 0 25 0 1 0 21536253 18202624 3921 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 4444 3921 364 364 0 4080 0 [pid=9413] vsize: 17776 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17776 [startup+80.0029 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 5567 0 0 0 7980 18 0 0 25 0 1 0 21536253 18608128 4109 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 4543 4109 364 364 0 4179 0 [pid=9413] vsize: 18172 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 18172 [startup+90.0027 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 5750 0 0 0 8980 18 0 0 25 0 1 0 21536253 19148800 4289 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 4675 4289 364 364 0 4311 0 [pid=9413] vsize: 18700 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18700 [startup+100.003 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 5918 0 0 0 9979 19 0 0 25 0 1 0 21536253 19554304 4454 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 4774 4454 364 364 0 4410 0 [pid=9413] vsize: 19096 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 19096 [startup+110.004 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8296 0 0 0 10974 24 0 0 25 0 1 0 21536253 28835840 5354 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7040 5354 364 364 0 6676 0 [pid=9413] vsize: 28160 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 28160 [startup+120.005 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8354 0 0 0 11973 24 0 0 25 0 1 0 21536253 28835840 5410 4294967295 134512640 135987407 3221224560 3221221860 134639254 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7040 5410 364 364 0 6676 0 [pid=9413] vsize: 28160 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 28160 [startup+130.005 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8455 0 0 0 12973 25 0 0 25 0 1 0 21536253 28971008 5508 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7073 5508 364 364 0 6709 0 [pid=9413] vsize: 28292 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 28292 [startup+140.005 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8580 0 0 0 13973 25 0 0 25 0 1 0 21536253 29241344 5631 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7139 5631 364 364 0 6775 0 [pid=9413] vsize: 28556 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 28556 [startup+150.005 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8702 0 0 0 14972 26 0 0 25 0 1 0 21536253 29511680 5751 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7205 5751 364 364 0 6841 0 [pid=9413] vsize: 28820 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 28820 [startup+160.005 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8820 0 0 0 15976 27 0 0 25 0 1 0 21536253 29782016 5867 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7271 5867 364 364 0 6907 0 [pid=9413] vsize: 29084 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 29084 [startup+170.047 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 8934 0 0 0 16975 28 0 0 25 0 1 0 21536253 30052352 5979 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7337 5979 364 364 0 6973 0 [pid=9413] vsize: 29348 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 29348 [startup+180.047 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9052 0 0 0 17975 28 0 0 25 0 1 0 21536253 30322688 6094 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7403 6094 364 364 0 7039 0 [pid=9413] vsize: 29612 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 29612 [startup+190.047 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9176 0 0 0 18974 29 0 0 25 0 1 0 21536253 30728192 6216 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7502 6216 364 364 0 7138 0 [pid=9413] vsize: 30008 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 30008 [startup+200.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9299 0 0 0 19974 29 0 0 25 0 1 0 21536253 30998528 6337 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7568 6337 364 364 0 7204 0 [pid=9413] vsize: 30272 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 30272 [startup+210.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9416 0 0 0 20974 30 0 0 25 0 1 0 21536253 31268864 6453 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7634 6453 364 364 0 7270 0 [pid=9413] vsize: 30536 Current children cumulated CPU time (s) 210.04 Current children cumulated vsize (Kb) 30536 [startup+220.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9534 0 0 0 21973 30 0 0 25 0 1 0 21536253 31674368 6569 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7733 6569 364 364 0 7369 0 [pid=9413] vsize: 30932 Current children cumulated CPU time (s) 220.03 Current children cumulated vsize (Kb) 30932 [startup+230.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9647 0 0 0 22973 31 0 0 25 0 1 0 21536253 31944704 6680 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7799 6680 364 364 0 7435 0 [pid=9413] vsize: 31196 Current children cumulated CPU time (s) 230.04 Current children cumulated vsize (Kb) 31196 [startup+240.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9762 0 0 0 23973 31 0 0 25 0 1 0 21536253 32215040 6793 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7865 6793 364 364 0 7501 0 [pid=9413] vsize: 31460 Current children cumulated CPU time (s) 240.04 Current children cumulated vsize (Kb) 31460 [startup+250.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9871 0 0 0 24972 31 0 0 25 0 1 0 21536253 32485376 6900 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7931 6900 364 364 0 7567 0 [pid=9413] vsize: 31724 Current children cumulated CPU time (s) 250.03 Current children cumulated vsize (Kb) 31724 [startup+260.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 9980 0 0 0 25972 32 0 0 25 0 1 0 21536253 32755712 7007 4294967295 134512640 135987407 3221224560 3221221728 134566704 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 7997 7007 364 364 0 7633 0 [pid=9413] vsize: 31988 Current children cumulated CPU time (s) 260.04 Current children cumulated vsize (Kb) 31988 [startup+270.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10085 0 0 0 26972 32 0 0 25 0 1 0 21536253 33026048 7111 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8063 7111 364 364 0 7699 0 [pid=9413] vsize: 32252 Current children cumulated CPU time (s) 270.04 Current children cumulated vsize (Kb) 32252 [startup+280.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10189 0 0 0 27972 33 0 0 25 0 1 0 21536253 33296384 7213 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8129 7213 364 364 0 7765 0 [pid=9413] vsize: 32516 Current children cumulated CPU time (s) 280.05 Current children cumulated vsize (Kb) 32516 [startup+290.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10293 0 0 0 28971 33 0 0 25 0 1 0 21536253 33566720 7315 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8195 7315 364 364 0 7831 0 [pid=9413] vsize: 32780 Current children cumulated CPU time (s) 290.04 Current children cumulated vsize (Kb) 32780 [startup+300.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10393 0 0 0 29971 33 0 0 25 0 1 0 21536253 33837056 7414 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8261 7414 364 364 0 7897 0 [pid=9413] vsize: 33044 Current children cumulated CPU time (s) 300.04 Current children cumulated vsize (Kb) 33044 [startup+310.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10493 0 0 0 30971 34 0 0 25 0 1 0 21536253 34107392 7512 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8327 7512 364 364 0 7963 0 [pid=9413] vsize: 33308 Current children cumulated CPU time (s) 310.05 Current children cumulated vsize (Kb) 33308 [startup+320.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10590 0 0 0 31971 34 0 0 25 0 1 0 21536253 34377728 7608 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8393 7608 364 364 0 8029 0 [pid=9413] vsize: 33572 Current children cumulated CPU time (s) 320.05 Current children cumulated vsize (Kb) 33572 [startup+330.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10690 0 0 0 32971 34 0 0 25 0 1 0 21536253 34648064 7706 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8459 7706 364 364 0 8095 0 [pid=9413] vsize: 33836 Current children cumulated CPU time (s) 330.05 Current children cumulated vsize (Kb) 33836 [startup+340.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10785 0 0 0 33971 34 0 0 25 0 1 0 21536253 34783232 7799 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8492 7799 364 364 0 8128 0 [pid=9413] vsize: 33968 Current children cumulated CPU time (s) 340.05 Current children cumulated vsize (Kb) 33968 [startup+350.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10879 0 0 0 34971 35 0 0 25 0 1 0 21536253 35053568 7892 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8558 7892 364 364 0 8194 0 [pid=9413] vsize: 34232 Current children cumulated CPU time (s) 350.06 Current children cumulated vsize (Kb) 34232 [startup+360.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 10970 0 0 0 35971 35 0 0 25 0 1 0 21536253 35323904 7981 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8624 7981 364 364 0 8260 0 [pid=9413] vsize: 34496 Current children cumulated CPU time (s) 360.06 Current children cumulated vsize (Kb) 34496 [startup+370.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11063 0 0 0 36971 35 0 0 25 0 1 0 21536253 35594240 8073 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9413/statm): 8690 8073 364 364 0 8326 0 [pid=9413] vsize: 34760 Current children cumulated CPU time (s) 370.06 Current children cumulated vsize (Kb) 34760 [startup+380.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11156 0 0 0 37971 35 0 0 25 0 1 0 21536253 35864576 8164 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9413/statm): 8756 8164 364 364 0 8392 0 [pid=9413] vsize: 35024 Current children cumulated CPU time (s) 380.06 Current children cumulated vsize (Kb) 35024 [startup+390.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11243 0 0 0 38970 36 0 0 25 0 1 0 21536253 35999744 8250 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9413/statm): 8789 8250 364 364 0 8425 0 [pid=9413] vsize: 35156 Current children cumulated CPU time (s) 390.06 Current children cumulated vsize (Kb) 35156 [startup+400.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11334 0 0 0 39971 36 0 0 25 0 1 0 21536253 36270080 8340 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8855 8340 364 364 0 8491 0 [pid=9413] vsize: 35420 Current children cumulated CPU time (s) 400.07 Current children cumulated vsize (Kb) 35420 [startup+410.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11421 0 0 0 40970 36 0 0 25 0 1 0 21536253 36540416 8425 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8921 8425 364 364 0 8557 0 [pid=9413] vsize: 35684 Current children cumulated CPU time (s) 410.06 Current children cumulated vsize (Kb) 35684 [startup+420.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11506 0 0 0 41970 36 0 0 25 0 1 0 21536253 36675584 8509 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 8954 8509 364 364 0 8590 0 [pid=9413] vsize: 35816 Current children cumulated CPU time (s) 420.06 Current children cumulated vsize (Kb) 35816 [startup+430.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11593 0 0 0 42970 37 0 0 25 0 1 0 21536253 36945920 8594 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 9020 8594 364 364 0 8656 0 [pid=9413] vsize: 36080 Current children cumulated CPU time (s) 430.07 Current children cumulated vsize (Kb) 36080 [startup+440.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11676 0 0 0 43970 37 0 0 25 0 1 0 21536253 37081088 8676 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 9053 8676 364 364 0 8689 0 [pid=9413] vsize: 36212 Current children cumulated CPU time (s) 440.07 Current children cumulated vsize (Kb) 36212 [startup+450.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11760 0 0 0 44969 37 0 0 25 0 1 0 21536253 37351424 8759 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 9119 8759 364 364 0 8755 0 [pid=9413] vsize: 36476 Current children cumulated CPU time (s) 450.06 Current children cumulated vsize (Kb) 36476 [startup+460.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11843 0 0 0 45969 38 0 0 25 0 1 0 21536253 37621760 8840 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 9185 8840 364 364 0 8821 0 [pid=9413] vsize: 36740 Current children cumulated CPU time (s) 460.07 Current children cumulated vsize (Kb) 36740 [startup+470.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 11922 0 0 0 46969 38 0 0 25 0 1 0 21536253 37756928 8918 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 9218 8918 364 364 0 8854 0 [pid=9413] vsize: 36872 Current children cumulated CPU time (s) 470.07 Current children cumulated vsize (Kb) 36872 [startup+480.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16481 0 0 0 47960 46 0 0 25 0 1 0 21536253 55779328 10529 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13618 10529 364 364 0 13254 0 [pid=9413] vsize: 54472 Current children cumulated CPU time (s) 480.06 Current children cumulated vsize (Kb) 54472 [startup+490.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16510 0 0 0 48960 46 0 0 25 0 1 0 21536253 55779328 10557 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13618 10557 364 364 0 13254 0 [pid=9413] vsize: 54472 Current children cumulated CPU time (s) 490.06 Current children cumulated vsize (Kb) 54472 [startup+500.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16541 0 0 0 49960 46 0 0 25 0 1 0 21536253 55779328 10586 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13618 10586 364 364 0 13254 0 [pid=9413] vsize: 54472 Current children cumulated CPU time (s) 500.06 Current children cumulated vsize (Kb) 54472 [startup+510.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16570 0 0 0 50960 46 0 0 25 0 1 0 21536253 55779328 10614 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13618 10614 364 364 0 13254 0 [pid=9413] vsize: 54472 Current children cumulated CPU time (s) 510.06 Current children cumulated vsize (Kb) 54472 [startup+520.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16599 0 0 0 51960 46 0 0 25 0 1 0 21536253 55779328 10642 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13618 10642 364 364 0 13254 0 [pid=9413] vsize: 54472 Current children cumulated CPU time (s) 520.06 Current children cumulated vsize (Kb) 54472 [startup+530.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16628 0 0 0 52960 46 0 0 25 0 1 0 21536253 55779328 10669 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13618 10669 364 364 0 13254 0 [pid=9413] vsize: 54472 Current children cumulated CPU time (s) 530.06 Current children cumulated vsize (Kb) 54472 [startup+540.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16656 0 0 0 53960 46 0 0 25 0 1 0 21536253 55779328 10696 4294967295 134512640 135987407 3221224560 3221221952 134615088 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13618 10696 364 364 0 13254 0 [pid=9413] vsize: 54472 Current children cumulated CPU time (s) 540.06 Current children cumulated vsize (Kb) 54472 [startup+550.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16704 0 0 0 54960 47 0 0 25 0 1 0 21536253 55914496 10743 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13651 10743 364 364 0 13287 0 [pid=9413] vsize: 54604 Current children cumulated CPU time (s) 550.07 Current children cumulated vsize (Kb) 54604 [startup+560.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16771 0 0 0 55960 47 0 0 25 0 1 0 21536253 56049664 10809 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13684 10809 364 364 0 13320 0 [pid=9413] vsize: 54736 Current children cumulated CPU time (s) 560.07 Current children cumulated vsize (Kb) 54736 [startup+570.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16835 0 0 0 56960 47 0 0 25 0 1 0 21536253 56184832 10872 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13717 10872 364 364 0 13353 0 [pid=9413] vsize: 54868 Current children cumulated CPU time (s) 570.07 Current children cumulated vsize (Kb) 54868 [startup+580.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16901 0 0 0 57959 47 0 0 25 0 1 0 21536253 56320000 10936 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13750 10936 364 364 0 13386 0 [pid=9413] vsize: 55000 Current children cumulated CPU time (s) 580.06 Current children cumulated vsize (Kb) 55000 [startup+590.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 16964 0 0 0 58959 47 0 0 25 0 1 0 21536253 56455168 10998 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13783 10998 364 364 0 13419 0 [pid=9413] vsize: 55132 Current children cumulated CPU time (s) 590.06 Current children cumulated vsize (Kb) 55132 [startup+600.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17027 0 0 0 59959 48 0 0 25 0 1 0 21536253 56590336 11060 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13816 11060 364 364 0 13452 0 [pid=9413] vsize: 55264 Current children cumulated CPU time (s) 600.07 Current children cumulated vsize (Kb) 55264 [startup+610.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17091 0 0 0 60959 48 0 0 25 0 1 0 21536253 56725504 11123 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13849 11123 364 364 0 13485 0 [pid=9413] vsize: 55396 Current children cumulated CPU time (s) 610.07 Current children cumulated vsize (Kb) 55396 [startup+620.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17153 0 0 0 61959 48 0 0 25 0 1 0 21536253 56995840 11184 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13915 11184 364 364 0 13551 0 [pid=9413] vsize: 55660 Current children cumulated CPU time (s) 620.07 Current children cumulated vsize (Kb) 55660 [startup+630.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17214 0 0 0 62959 48 0 0 25 0 1 0 21536253 57131008 11244 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13948 11244 364 364 0 13584 0 [pid=9413] vsize: 55792 Current children cumulated CPU time (s) 630.07 Current children cumulated vsize (Kb) 55792 [startup+640.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17276 0 0 0 63959 48 0 0 25 0 1 0 21536253 57266176 11304 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 13981 11304 364 364 0 13617 0 [pid=9413] vsize: 55924 Current children cumulated CPU time (s) 640.07 Current children cumulated vsize (Kb) 55924 [startup+650.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17336 0 0 0 64958 49 0 0 25 0 1 0 21536253 57401344 11363 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 14014 11363 364 364 0 13650 0 [pid=9413] vsize: 56056 Current children cumulated CPU time (s) 650.07 Current children cumulated vsize (Kb) 56056 [startup+660.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17397 0 0 0 65958 49 0 0 25 0 1 0 21536253 57536512 11423 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 14047 11423 364 364 0 13683 0 [pid=9413] vsize: 56188 Current children cumulated CPU time (s) 660.07 Current children cumulated vsize (Kb) 56188 [startup+670.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17456 0 0 0 66958 49 0 0 25 0 1 0 21536253 57671680 11481 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 14080 11481 364 364 0 13716 0 [pid=9413] vsize: 56320 Current children cumulated CPU time (s) 670.07 Current children cumulated vsize (Kb) 56320 [startup+680.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17517 0 0 0 67958 49 0 0 25 0 1 0 21536253 57806848 11541 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 14113 11541 364 364 0 13749 0 [pid=9413] vsize: 56452 Current children cumulated CPU time (s) 680.07 Current children cumulated vsize (Kb) 56452 [startup+690.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17574 0 0 0 68958 49 0 0 25 0 1 0 21536253 57942016 11597 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 14146 11597 364 364 0 13782 0 [pid=9413] vsize: 56584 Current children cumulated CPU time (s) 690.07 Current children cumulated vsize (Kb) 56584 [startup+700.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17632 0 0 0 69957 50 0 0 25 0 1 0 21536253 58077184 11654 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 14179 11654 364 364 0 13815 0 [pid=9413] vsize: 56716 Current children cumulated CPU time (s) 700.07 Current children cumulated vsize (Kb) 56716 [startup+710.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17692 0 0 0 70957 50 0 0 25 0 1 0 21536253 58212352 11713 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 14212 11713 364 364 0 13848 0 [pid=9413] vsize: 56848 Current children cumulated CPU time (s) 710.07 Current children cumulated vsize (Kb) 56848 [startup+720.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17748 0 0 0 71956 51 0 0 25 0 1 0 21536253 58347520 11768 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 14245 11768 364 364 0 13881 0 [pid=9413] vsize: 56980 Current children cumulated CPU time (s) 720.07 Current children cumulated vsize (Kb) 56980 [startup+730.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17806 0 0 0 72956 51 0 0 25 0 1 0 21536253 58482688 11825 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 14278 11825 364 364 0 13914 0 [pid=9413] vsize: 57112 Current children cumulated CPU time (s) 730.07 Current children cumulated vsize (Kb) 57112 [startup+740.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 17864 0 0 0 73956 51 0 0 25 0 1 0 21536253 58617856 11882 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 14311 11882 364 364 0 13947 0 [pid=9413] vsize: 57244 Current children cumulated CPU time (s) 740.07 Current children cumulated vsize (Kb) 57244 [startup+750.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 27101 0 0 0 74933 73 0 0 25 0 1 0 21536253 86220800 19562 4294967295 134512640 135987407 3221224560 3220764272 134878036 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 21050 19562 364 364 0 20686 0 [pid=9413] vsize: 84200 Current children cumulated CPU time (s) 750.06 Current children cumulated vsize (Kb) 84200 [startup+760.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 61187 0 0 0 75852 152 0 0 25 0 1 0 21536253 187670528 37814 4294967295 134512640 135987407 3221224560 3220836948 134637037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 45818 37814 364 364 0 45454 0 [pid=9413] vsize: 183272 Current children cumulated CPU time (s) 760.04 Current children cumulated vsize (Kb) 183272 [startup+770.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 88556 0 0 0 76786 216 0 0 25 0 1 0 21536253 267116544 55250 4294967295 134512640 135987407 3221224560 3220801328 134537371 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 65214 55250 364 364 0 64850 0 [pid=9413] vsize: 260856 Current children cumulated CPU time (s) 770.02 Current children cumulated vsize (Kb) 260856 [startup+780.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 114900 0 0 0 77727 274 0 0 25 0 1 0 21536253 356814848 69082 4294967295 134512640 135987407 3221224560 3220880944 135293365 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 87113 69082 364 364 0 86749 0 [pid=9413] vsize: 348452 Current children cumulated CPU time (s) 780.01 Current children cumulated vsize (Kb) 348452 [startup+790.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 155757 0 0 0 78640 357 0 0 25 0 1 0 21536253 553357312 108752 4294967295 134512640 135987407 3221224560 3220867424 134862332 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 135097 108752 364 364 0 134733 0 [pid=9413] vsize: 540388 Current children cumulated CPU time (s) 789.97 Current children cumulated vsize (Kb) 540388 [startup+800.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 194389 0 0 0 79553 444 0 0 25 0 1 0 21536253 589881344 104157 4294967295 134512640 135987407 3221224560 3221030848 134537491 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 144014 104157 364 364 0 143650 0 [pid=9413] vsize: 576056 Current children cumulated CPU time (s) 799.97 Current children cumulated vsize (Kb) 576056 [startup+810.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 208130 0 0 0 80520 477 0 0 25 0 1 0 21536253 627896320 117675 4294967295 134512640 135987407 3221224560 3221145728 134537496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 153295 117675 364 364 0 152931 0 [pid=9413] vsize: 613180 Current children cumulated CPU time (s) 809.97 Current children cumulated vsize (Kb) 613180 [startup+820.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 223297 0 0 0 81481 515 0 0 25 0 1 0 21536253 631005184 132588 4294967295 134512640 135987407 3221224560 3220778620 135499903 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 154054 132588 364 364 0 153690 0 [pid=9413] vsize: 616216 Current children cumulated CPU time (s) 819.96 Current children cumulated vsize (Kb) 616216 [startup+830.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) R 9412 9413 4060 0 -1 0 236421 0 0 0 82452 544 0 0 25 0 1 0 21536253 686608384 145504 4294967295 134512640 135987407 3221224560 3220880464 134877726 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9413/statm): 167629 145504 364 364 0 167265 0 [pid=9413] vsize: 670516 Current children cumulated CPU time (s) 829.96 Current children cumulated vsize (Kb) 670516 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+835.517 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 9413 Raw data (/proc/9413/stat): 9413 (pb2sat) T 9412 9413 4060 0 -1 0 245329 0 0 0 82973 566 0 0 25 0 1 0 21536253 980340736 154289 4294967295 134512640 135987407 3221224560 3220762384 135544035 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9413/statm): 239341 154289 364 364 0 238977 0 [pid=9413] vsize: 957364 Current children cumulated CPU time (s) 835.39 Current children cumulated vsize (Kb) 957364 Sending SIGTERM to -9413 Sleeping 2 seconds Sending SIGKILL to -9413 One traced child (pid=9413) 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): 837.84 CPU time (s): 835.934 CPU user time (s): 829.953 CPU system time (s): 5.98109 CPU usage (%): 99.7725 Max. virtual memory (cumulated for all children) (Kb): 957364
ERROR: no interpretation found !