Name | mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb |
MD5SUM | e4d850251a185eefeba808334bb200f5 |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 102000 |
Biggest coefficient in the objective function | 166502400 |
Number of bits for the biggest coefficient in the objective function | 28 |
Sum of the numbers in the objective function | 44079267426 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 166502400 |
Number of bits of the biggest number in a constraint | 28 |
Biggest sum of numbers in a constraint | 44079267426 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 54.3867 |
Number of variables | 118500 |
Total number of constraints | 10525 |
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 | 10525 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 118500 |
LAUNCH ON wulflinc18 THE 2005-09-23 16:05:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8634 boxname=wulflinc18 idbench=430 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: e4d850251a185eefeba808334bb200f5 /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-fit2d.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-fit2d.opb IDLAUNCH: 8634 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 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: 897352 kB Buffers: 14772 kB Cached: 102256 kB SwapCached: 0 kB Active: 78920 kB Inactive: 41060 kB HighTotal: 131008 kB HighFree: 24444 kB LowTotal: 903652 kB LowFree: 872908 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 11656 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 16:18:27 (client local time) WITH STATUS 1 IN 768.875 SECONDS stats: 8634 7 768.875 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/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21493073 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/7342/statm): 373 2 364 364 0 9 0 [pid=7342] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-fit2d.opb [startup+10.0015 s] Raw data (loadavg): 0.94 0.96 0.97 2/55 7342 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 2509 0 0 0 991 7 0 0 25 0 1 0 21493073 9371648 1823 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7342/statm): 2288 1823 364 364 0 1924 0 [pid=7342] vsize: 9152 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9152 [startup+20.0024 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 7342 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 3045 0 0 0 1989 9 0 0 25 0 1 0 21493073 10858496 2350 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 2651 2350 364 364 0 2287 0 [pid=7342] vsize: 10604 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10604 [startup+30.0023 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 4429 0 0 0 2986 12 0 0 25 0 1 0 21493073 15769600 2989 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 3850 2989 364 364 0 3486 0 [pid=7342] vsize: 15400 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15400 [startup+40.0023 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 4715 0 0 0 3985 13 0 0 25 0 1 0 21493073 16445440 3271 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 4015 3271 364 364 0 3651 0 [pid=7342] vsize: 16060 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16060 [startup+50.0032 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 4974 0 0 0 4984 13 0 0 25 0 1 0 21493073 17121280 3525 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 4180 3525 364 364 0 3816 0 [pid=7342] vsize: 16720 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 16720 [startup+60.0031 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 5200 0 0 0 5984 14 0 0 25 0 1 0 21493073 17797120 3748 4294967295 134512640 135987407 3221224560 3221222032 134607562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 4345 3748 364 364 0 3981 0 [pid=7342] vsize: 17380 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17380 [startup+70.004 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 5406 0 0 0 6984 14 0 0 25 0 1 0 21493073 18202624 3950 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 4444 3950 364 364 0 4080 0 [pid=7342] vsize: 17776 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17776 [startup+80.005 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 5596 0 0 0 7983 15 0 0 25 0 1 0 21493073 18743296 4137 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 4576 4137 364 364 0 4212 0 [pid=7342] vsize: 18304 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 18304 [startup+90.0049 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 5776 0 0 0 8983 15 0 0 25 0 1 0 21493073 19148800 4314 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 4675 4314 364 364 0 4311 0 [pid=7342] vsize: 18700 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18700 [startup+100.005 s] Raw data (loadavg): 0.98 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 5947 0 0 0 9982 16 0 0 25 0 1 0 21493073 19689472 4483 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 4807 4483 364 364 0 4443 0 [pid=7342] vsize: 19228 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 19228 [startup+110.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8315 0 0 0 10976 22 0 0 25 0 1 0 21493073 28835840 5373 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7040 5373 364 364 0 6676 0 [pid=7342] vsize: 28160 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 28160 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8374 0 0 0 11976 22 0 0 25 0 1 0 21493073 28835840 5430 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7040 5430 364 364 0 6676 0 [pid=7342] vsize: 28160 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28160 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8488 0 0 0 12976 23 0 0 25 0 1 0 21493073 29106176 5541 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7106 5541 364 364 0 6742 0 [pid=7342] vsize: 28424 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 28424 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8617 0 0 0 13976 23 0 0 25 0 1 0 21493073 29376512 5668 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7172 5668 364 364 0 6808 0 [pid=7342] vsize: 28688 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 28688 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8741 0 0 0 14975 24 0 0 25 0 1 0 21493073 29646848 5789 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7238 5789 364 364 0 6874 0 [pid=7342] vsize: 28952 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 28952 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8862 0 0 0 15975 24 0 0 25 0 1 0 21493073 29917184 5908 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7304 5908 364 364 0 6940 0 [pid=7342] vsize: 29216 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 29216 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 8980 0 0 0 16975 24 0 0 25 0 1 0 21493073 30187520 6024 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7370 6024 364 364 0 7006 0 [pid=7342] vsize: 29480 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 29480 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9102 0 0 0 17974 25 0 0 25 0 1 0 21493073 30593024 6144 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7469 6144 364 364 0 7105 0 [pid=7342] vsize: 29876 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 29876 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9230 0 0 0 18974 25 0 0 25 0 1 0 21493073 30863360 6270 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7535 6270 364 364 0 7171 0 [pid=7342] vsize: 30140 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 30140 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9354 0 0 0 19974 26 0 0 25 0 1 0 21493073 31133696 6392 4294967295 134512640 135987407 3221224560 3221221600 134931334 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7601 6392 364 364 0 7237 0 [pid=7342] vsize: 30404 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 30404 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9475 0 0 0 20973 26 0 0 25 0 1 0 21493073 31539200 6511 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7700 6511 364 364 0 7336 0 [pid=7342] vsize: 30800 Current children cumulated CPU time (s) 209.99 Current children cumulated vsize (Kb) 30800 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9596 0 0 0 21973 26 0 0 25 0 1 0 21493073 31809536 6630 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7766 6630 364 364 0 7402 0 [pid=7342] vsize: 31064 Current children cumulated CPU time (s) 219.99 Current children cumulated vsize (Kb) 31064 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9712 0 0 0 22973 26 0 0 25 0 1 0 21493073 32079872 6744 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7832 6744 364 364 0 7468 0 [pid=7342] vsize: 31328 Current children cumulated CPU time (s) 229.99 Current children cumulated vsize (Kb) 31328 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9827 0 0 0 23973 27 0 0 25 0 1 0 21493073 32350208 6857 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7898 6857 364 364 0 7534 0 [pid=7342] vsize: 31592 Current children cumulated CPU time (s) 240 Current children cumulated vsize (Kb) 31592 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 9940 0 0 0 24973 27 0 0 25 0 1 0 21493073 32755712 6968 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 7997 6968 364 364 0 7633 0 [pid=7342] vsize: 31988 Current children cumulated CPU time (s) 250 Current children cumulated vsize (Kb) 31988 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 10048 0 0 0 25973 27 0 0 25 0 1 0 21493073 33026048 7075 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 8063 7075 364 364 0 7699 0 [pid=7342] vsize: 32252 Current children cumulated CPU time (s) 260 Current children cumulated vsize (Kb) 32252 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 10156 0 0 0 26973 27 0 0 25 0 1 0 21493073 33296384 7181 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 8129 7181 364 364 0 7765 0 [pid=7342] vsize: 32516 Current children cumulated CPU time (s) 270 Current children cumulated vsize (Kb) 32516 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 11258 0 0 0 27971 29 0 0 25 0 1 0 21493073 37621760 8281 4294967295 134512640 135987407 3221224560 3221221792 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 9185 8281 364 364 0 8821 0 [pid=7342] vsize: 36740 Current children cumulated CPU time (s) 280 Current children cumulated vsize (Kb) 36740 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 24975 0 0 0 28937 61 0 0 25 0 1 0 21493073 78290944 16398 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 19114 16398 364 364 0 18750 0 [pid=7342] vsize: 76456 Current children cumulated CPU time (s) 289.98 Current children cumulated vsize (Kb) 76456 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25226 0 0 0 29936 62 0 0 25 0 1 0 21493073 78954496 16551 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 19276 16551 364 364 0 18912 0 [pid=7342] vsize: 77104 Current children cumulated CPU time (s) 299.98 Current children cumulated vsize (Kb) 77104 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25256 0 0 0 30936 62 0 0 25 0 1 0 21493073 78954496 16581 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 19276 16581 364 364 0 18912 0 [pid=7342] vsize: 77104 Current children cumulated CPU time (s) 309.98 Current children cumulated vsize (Kb) 77104 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25534 0 0 0 31936 62 0 0 25 0 1 0 21493073 80019456 16730 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 19536 16730 364 364 0 19172 0 [pid=7342] vsize: 78144 Current children cumulated CPU time (s) 319.98 Current children cumulated vsize (Kb) 78144 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25553 0 0 0 32936 63 0 0 25 0 1 0 21493073 80019456 16749 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 19536 16749 364 364 0 19172 0 [pid=7342] vsize: 78144 Current children cumulated CPU time (s) 329.99 Current children cumulated vsize (Kb) 78144 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25570 0 0 0 33936 63 0 0 25 0 1 0 21493073 80019456 16766 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 19536 16766 364 364 0 19172 0 [pid=7342] vsize: 78144 Current children cumulated CPU time (s) 339.99 Current children cumulated vsize (Kb) 78144 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25586 0 0 0 34936 63 0 0 25 0 1 0 21493073 80019456 16782 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 19536 16782 364 364 0 19172 0 [pid=7342] vsize: 78144 Current children cumulated CPU time (s) 349.99 Current children cumulated vsize (Kb) 78144 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25600 0 0 0 35936 63 0 0 25 0 1 0 21493073 80019456 16796 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 19536 16796 364 364 0 19172 0 [pid=7342] vsize: 78144 Current children cumulated CPU time (s) 359.99 Current children cumulated vsize (Kb) 78144 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25614 0 0 0 36936 63 0 0 25 0 1 0 21493073 80019456 16810 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 19536 16810 364 364 0 19172 0 [pid=7342] vsize: 78144 Current children cumulated CPU time (s) 369.99 Current children cumulated vsize (Kb) 78144 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25626 0 0 0 37936 63 0 0 25 0 1 0 21493073 80019456 16822 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 19536 16822 364 364 0 19172 0 [pid=7342] vsize: 78144 Current children cumulated CPU time (s) 379.99 Current children cumulated vsize (Kb) 78144 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 25638 0 0 0 38936 63 0 0 25 0 1 0 21493073 80019456 16834 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 19536 16834 364 364 0 19172 0 [pid=7342] vsize: 78144 Current children cumulated CPU time (s) 389.99 Current children cumulated vsize (Kb) 78144 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26162 0 0 0 39935 64 0 0 25 0 1 0 21493073 82149376 17101 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17101 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 399.99 Current children cumulated vsize (Kb) 80224 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26172 0 0 0 40935 64 0 0 25 0 1 0 21493073 82149376 17111 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17111 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 409.99 Current children cumulated vsize (Kb) 80224 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26182 0 0 0 41935 64 0 0 25 0 1 0 21493073 82149376 17121 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17121 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 419.99 Current children cumulated vsize (Kb) 80224 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26192 0 0 0 42936 64 0 0 25 0 1 0 21493073 82149376 17131 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17131 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 430 Current children cumulated vsize (Kb) 80224 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26201 0 0 0 43936 64 0 0 25 0 1 0 21493073 82149376 17140 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17140 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 440 Current children cumulated vsize (Kb) 80224 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26211 0 0 0 44936 64 0 0 25 0 1 0 21493073 82149376 17150 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17150 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 450 Current children cumulated vsize (Kb) 80224 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26219 0 0 0 45936 65 0 0 25 0 1 0 21493073 82149376 17158 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17158 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 460.01 Current children cumulated vsize (Kb) 80224 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26228 0 0 0 46936 65 0 0 25 0 1 0 21493073 82149376 17167 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17167 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 470.01 Current children cumulated vsize (Kb) 80224 [startup+480.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26236 0 0 0 47936 65 0 0 25 0 1 0 21493073 82149376 17175 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7342/statm): 20056 17175 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 480.01 Current children cumulated vsize (Kb) 80224 [startup+490.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26244 0 0 0 48936 65 0 0 25 0 1 0 21493073 82149376 17183 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7342/statm): 20056 17183 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 490.01 Current children cumulated vsize (Kb) 80224 [startup+500.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26252 0 0 0 49936 65 0 0 25 0 1 0 21493073 82149376 17191 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7342/statm): 20056 17191 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 500.01 Current children cumulated vsize (Kb) 80224 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26260 0 0 0 50936 65 0 0 25 0 1 0 21493073 82149376 17199 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7342/statm): 20056 17199 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 510.01 Current children cumulated vsize (Kb) 80224 [startup+520.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26267 0 0 0 51936 65 0 0 25 0 1 0 21493073 82149376 17206 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17206 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 520.01 Current children cumulated vsize (Kb) 80224 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26275 0 0 0 52936 65 0 0 25 0 1 0 21493073 82149376 17214 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17214 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 530.01 Current children cumulated vsize (Kb) 80224 [startup+540.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26282 0 0 0 53936 65 0 0 25 0 1 0 21493073 82149376 17221 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17221 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 540.01 Current children cumulated vsize (Kb) 80224 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26289 0 0 0 54936 65 0 0 25 0 1 0 21493073 82149376 17228 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17228 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 550.01 Current children cumulated vsize (Kb) 80224 [startup+560.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26296 0 0 0 55937 65 0 0 25 0 1 0 21493073 82149376 17235 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17235 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 560.02 Current children cumulated vsize (Kb) 80224 [startup+570.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26303 0 0 0 56937 65 0 0 25 0 1 0 21493073 82149376 17242 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17242 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 570.02 Current children cumulated vsize (Kb) 80224 [startup+580.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26309 0 0 0 57937 65 0 0 25 0 1 0 21493073 82149376 17248 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17248 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 580.02 Current children cumulated vsize (Kb) 80224 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26316 0 0 0 58937 65 0 0 25 0 1 0 21493073 82149376 17255 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17255 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 590.02 Current children cumulated vsize (Kb) 80224 [startup+600.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26322 0 0 0 59937 65 0 0 25 0 1 0 21493073 82149376 17261 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17261 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 600.02 Current children cumulated vsize (Kb) 80224 [startup+610.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26329 0 0 0 60937 65 0 0 25 0 1 0 21493073 82149376 17268 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17268 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 610.02 Current children cumulated vsize (Kb) 80224 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26335 0 0 0 61937 65 0 0 25 0 1 0 21493073 82149376 17274 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17274 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 620.02 Current children cumulated vsize (Kb) 80224 [startup+630.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26341 0 0 0 62937 65 0 0 25 0 1 0 21493073 82149376 17280 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17280 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 630.02 Current children cumulated vsize (Kb) 80224 [startup+640.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26347 0 0 0 63937 66 0 0 25 0 1 0 21493073 82149376 17286 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17286 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 640.03 Current children cumulated vsize (Kb) 80224 [startup+650.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26353 0 0 0 64937 66 0 0 25 0 1 0 21493073 82149376 17292 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17292 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 650.03 Current children cumulated vsize (Kb) 80224 [startup+660.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 26359 0 0 0 65937 66 0 0 25 0 1 0 21493073 82149376 17298 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 20056 17298 364 364 0 19692 0 [pid=7342] vsize: 80224 Current children cumulated CPU time (s) 660.03 Current children cumulated vsize (Kb) 80224 [startup+670.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 43637 0 0 0 66898 103 0 0 25 0 1 0 21493073 145317888 29652 4294967295 134512640 135987407 3221224560 3195032652 135480498 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 35478 29652 364 364 0 35114 0 [pid=7342] vsize: 141912 Current children cumulated CPU time (s) 670.01 Current children cumulated vsize (Kb) 141912 [startup+680.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 85165 0 0 0 67806 191 0 0 25 0 1 0 21493073 335474688 61369 4294967295 134512640 135987407 3221224560 3188700752 134856382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 81903 61369 364 364 0 81539 0 [pid=7342] vsize: 327612 Current children cumulated CPU time (s) 679.97 Current children cumulated vsize (Kb) 327612 [startup+690.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 120751 0 0 0 68723 271 0 0 25 0 1 0 21493073 384823296 75086 4294967295 134512640 135987407 3221224560 3183444028 135481565 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 93951 75086 364 364 0 93587 0 [pid=7342] vsize: 375804 Current children cumulated CPU time (s) 689.94 Current children cumulated vsize (Kb) 375804 [startup+700.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 141755 0 0 0 69675 315 0 0 25 0 1 0 21493073 451088384 95859 4294967295 134512640 135987407 3221224560 3181667248 134931273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 110129 95859 364 364 0 109765 0 [pid=7342] vsize: 440516 Current children cumulated CPU time (s) 699.9 Current children cumulated vsize (Kb) 440516 [startup+710.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 184815 0 0 0 70582 404 0 0 25 0 1 0 21493073 585519104 119301 4294967295 134512640 135987407 3221224560 3182960188 135480948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 142949 119301 364 364 0 142585 0 [pid=7342] vsize: 571796 Current children cumulated CPU time (s) 709.86 Current children cumulated vsize (Kb) 571796 [startup+720.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 226311 0 0 0 71491 493 0 0 25 0 1 0 21493073 706863104 136030 4294967295 134512640 135987407 3221224560 3202037988 134861824 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 172574 136030 364 364 0 172210 0 [pid=7342] vsize: 690296 Current children cumulated CPU time (s) 719.84 Current children cumulated vsize (Kb) 690296 [startup+730.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 243703 0 0 0 72447 535 0 0 25 0 1 0 21493073 764207104 153200 4294967295 134512640 135987407 3221224560 3181824492 135482121 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 186574 153200 364 364 0 186210 0 [pid=7342] vsize: 746296 Current children cumulated CPU time (s) 729.82 Current children cumulated vsize (Kb) 746296 [startup+740.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 263195 0 0 0 73402 578 0 0 25 0 1 0 21493073 789348352 172458 4294967295 134512640 135987407 3221224560 3182177420 134637029 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 192712 172458 364 364 0 192348 0 [pid=7342] vsize: 770848 Current children cumulated CPU time (s) 739.8 Current children cumulated vsize (Kb) 770848 [startup+750.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 282057 0 0 0 74357 620 0 0 25 0 1 0 21493073 869552128 191134 4294967295 134512640 135987407 3221224560 3199577696 134877726 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 212293 191134 364 364 0 211929 0 [pid=7342] vsize: 849172 Current children cumulated CPU time (s) 749.77 Current children cumulated vsize (Kb) 849172 [startup+760.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7344 Raw data (/proc/7342/stat): 7342 (pb2sat) R 7341 7342 4060 0 -1 0 289504 0 0 0 75338 638 0 0 25 0 1 0 21493073 882765824 198488 4294967295 134512640 135987407 3221224560 3201205956 135328391 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7342/statm): 215519 198488 364 364 0 215155 0 [pid=7342] vsize: 862076 Current children cumulated CPU time (s) 759.76 Current children cumulated vsize (Kb) 862076 One traced child (pid=7342) exited with status: 1 All traced children have exited ! Game is over. Child status: 1 Real time (s): 769.14 CPU time (s): 768.875 CPU user time (s): 762.092 CPU system time (s): 6.78297 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (Kb): 862076
ERROR: no interpretation found !