Name | mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3701.opb |
MD5SUM | 43fed3c1d7a16e4c08eafe49f6a33c8e |
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 | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29697461525571 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29697461525571 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
LAUNCH ON wulflinc27 THE 2005-09-23 17:05:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8883 boxname=wulflinc27 idbench=679 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 43fed3c1d7a16e4c08eafe49f6a33c8e /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-n3701.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-n3701.opb IDLAUNCH: 8883 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.039 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.039 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: 925296 kB Buffers: 11876 kB Cached: 79924 kB SwapCached: 0 kB Active: 56580 kB Inactive: 38152 kB HighTotal: 131008 kB HighFree: 46676 kB LowTotal: 903652 kB LowFree: 878620 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 9040 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 17:17:36 (client local time) WITH STATUS 0 IN 754.107 SECONDS stats: 8883 7 754.107 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/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21811346 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 373 2 364 364 0 9 0 [pid=9729] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-n3701.opb [startup+10.0016 s] Raw data (loadavg): 0.93 0.97 0.96 2/55 9729 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 2526 0 0 0 991 7 0 0 25 0 1 0 21811346 9502720 1840 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 2320 1840 364 364 0 1956 0 [pid=9729] vsize: 9280 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9280 [startup+20.0024 s] Raw data (loadavg): 0.94 0.97 0.96 2/55 9729 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 4182 0 0 0 1987 11 0 0 25 0 1 0 21811346 15224832 2748 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 3717 2748 364 364 0 3353 0 [pid=9729] vsize: 14868 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 14868 [startup+30.0032 s] Raw data (loadavg): 0.95 0.97 0.96 2/55 9729 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 4437 0 0 0 2987 11 0 0 25 0 1 0 21811346 15765504 2997 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 3849 2997 364 364 0 3485 0 [pid=9729] vsize: 15396 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15396 [startup+40.003 s] Raw data (loadavg): 0.96 0.97 0.96 2/55 9729 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 4715 0 0 0 3986 12 0 0 25 0 1 0 21811346 16441344 3270 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 4014 3270 364 364 0 3650 0 [pid=9729] vsize: 16056 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16056 [startup+50.0039 s] Raw data (loadavg): 0.96 0.97 0.96 2/55 9729 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 4969 0 0 0 4986 12 0 0 25 0 1 0 21811346 17117184 3520 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 4179 3520 364 364 0 3815 0 [pid=9729] vsize: 16716 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16716 [startup+60.0037 s] Raw data (loadavg): 0.97 0.97 0.96 2/55 9729 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 5196 0 0 0 5985 13 0 0 25 0 1 0 21811346 17657856 3743 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 4311 3743 364 364 0 3947 0 [pid=9729] vsize: 17244 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17244 [startup+70.0045 s] Raw data (loadavg): 0.97 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 5406 0 0 0 6984 14 0 0 25 0 1 0 21811346 18198528 3950 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 4443 3950 364 364 0 4079 0 [pid=9729] vsize: 17772 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17772 [startup+80.0053 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 5599 0 0 0 7983 15 0 0 25 0 1 0 21811346 18739200 4140 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 4575 4140 364 364 0 4211 0 [pid=9729] vsize: 18300 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 18300 [startup+90.0052 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 5783 0 0 0 8983 15 0 0 25 0 1 0 21811346 19144704 4321 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 4674 4321 364 364 0 4310 0 [pid=9729] vsize: 18696 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18696 [startup+100.006 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 5955 0 0 0 9983 15 0 0 25 0 1 0 21811346 19685376 4490 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 4806 4490 364 364 0 4442 0 [pid=9729] vsize: 19224 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 19224 [startup+110.007 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 8305 0 0 0 10977 21 0 0 25 0 1 0 21811346 28696576 5363 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7006 5363 364 364 0 6642 0 [pid=9729] vsize: 28024 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 28024 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 8363 0 0 0 11977 22 0 0 25 0 1 0 21811346 28696576 5418 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7006 5418 364 364 0 6642 0 [pid=9729] vsize: 28024 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 28024 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 8489 0 0 0 12976 22 0 0 25 0 1 0 21811346 29102080 5542 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7105 5542 364 364 0 6741 0 [pid=9729] vsize: 28420 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 28420 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 8615 0 0 0 13976 22 0 0 25 0 1 0 21811346 29372416 5665 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7171 5665 364 364 0 6807 0 [pid=9729] vsize: 28684 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 28684 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 8740 0 0 0 14975 23 0 0 25 0 1 0 21811346 29642752 5788 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7237 5788 364 364 0 6873 0 [pid=9729] vsize: 28948 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 28948 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 8858 0 0 0 15975 23 0 0 25 0 1 0 21811346 29913088 5904 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7303 5904 364 364 0 6939 0 [pid=9729] vsize: 29212 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 29212 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 8976 0 0 0 16974 24 0 0 25 0 1 0 21811346 30183424 6020 4294967295 134512640 135987407 3221224560 3221221728 134544693 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7369 6020 364 364 0 7005 0 [pid=9729] vsize: 29476 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 29476 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 9099 0 0 0 17974 24 0 0 25 0 1 0 21811346 30453760 6141 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7435 6141 364 364 0 7071 0 [pid=9729] vsize: 29740 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 29740 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 9229 0 0 0 18974 25 0 0 25 0 1 0 21811346 30859264 6268 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7534 6268 364 364 0 7170 0 [pid=9729] vsize: 30136 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 30136 [startup+200.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 9353 0 0 0 19973 25 0 0 25 0 1 0 21811346 31129600 6390 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7600 6390 364 364 0 7236 0 [pid=9729] vsize: 30400 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 30400 [startup+210.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 9473 0 0 0 20973 25 0 0 25 0 1 0 21811346 31399936 6509 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7666 6509 364 364 0 7302 0 [pid=9729] vsize: 30664 Current children cumulated CPU time (s) 209.98 Current children cumulated vsize (Kb) 30664 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 9591 0 0 0 21973 25 0 0 25 0 1 0 21811346 31805440 6625 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7765 6625 364 364 0 7401 0 [pid=9729] vsize: 31060 Current children cumulated CPU time (s) 219.98 Current children cumulated vsize (Kb) 31060 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 9708 0 0 0 22972 26 0 0 25 0 1 0 21811346 32075776 6740 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7831 6740 364 364 0 7467 0 [pid=9729] vsize: 31324 Current children cumulated CPU time (s) 229.98 Current children cumulated vsize (Kb) 31324 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 9822 0 0 0 23972 26 0 0 25 0 1 0 21811346 32346112 6852 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 7897 6852 364 364 0 7533 0 [pid=9729] vsize: 31588 Current children cumulated CPU time (s) 239.98 Current children cumulated vsize (Kb) 31588 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 9934 0 0 0 24972 27 0 0 25 0 1 0 21811346 32616448 6962 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9729/statm): 7963 6962 364 364 0 7599 0 [pid=9729] vsize: 31852 Current children cumulated CPU time (s) 249.99 Current children cumulated vsize (Kb) 31852 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 10041 0 0 0 25972 27 0 0 25 0 1 0 21811346 32886784 7067 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9729/statm): 8029 7067 364 364 0 7665 0 [pid=9729] vsize: 32116 Current children cumulated CPU time (s) 259.99 Current children cumulated vsize (Kb) 32116 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 10147 0 0 0 26972 27 0 0 25 0 1 0 21811346 33157120 7172 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9729/statm): 8095 7172 364 364 0 7731 0 [pid=9729] vsize: 32380 Current children cumulated CPU time (s) 269.99 Current children cumulated vsize (Kb) 32380 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 10252 0 0 0 27972 27 0 0 25 0 1 0 21811346 33427456 7275 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8161 7275 364 364 0 7797 0 [pid=9729] vsize: 32644 Current children cumulated CPU time (s) 279.99 Current children cumulated vsize (Kb) 32644 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 10356 0 0 0 28971 28 0 0 25 0 1 0 21811346 33697792 7377 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8227 7377 364 364 0 7863 0 [pid=9729] vsize: 32908 Current children cumulated CPU time (s) 289.99 Current children cumulated vsize (Kb) 32908 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 10456 0 0 0 29971 28 0 0 25 0 1 0 21811346 33968128 7476 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8293 7476 364 364 0 7929 0 [pid=9729] vsize: 33172 Current children cumulated CPU time (s) 299.99 Current children cumulated vsize (Kb) 33172 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 10558 0 0 0 30971 28 0 0 25 0 1 0 21811346 34238464 7576 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8359 7576 364 364 0 7995 0 [pid=9729] vsize: 33436 Current children cumulated CPU time (s) 309.99 Current children cumulated vsize (Kb) 33436 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 10656 0 0 0 31970 29 0 0 25 0 1 0 21811346 34508800 7672 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8425 7672 364 364 0 8061 0 [pid=9729] vsize: 33700 Current children cumulated CPU time (s) 319.99 Current children cumulated vsize (Kb) 33700 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 10753 0 0 0 32970 29 0 0 25 0 1 0 21811346 34779136 7768 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8491 7768 364 364 0 8127 0 [pid=9729] vsize: 33964 Current children cumulated CPU time (s) 329.99 Current children cumulated vsize (Kb) 33964 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 10848 0 0 0 33970 29 0 0 25 0 1 0 21811346 35049472 7861 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8557 7861 364 364 0 8193 0 [pid=9729] vsize: 34228 Current children cumulated CPU time (s) 339.99 Current children cumulated vsize (Kb) 34228 [startup+350.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 10942 0 0 0 34970 30 0 0 25 0 1 0 21811346 35184640 7954 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8590 7954 364 364 0 8226 0 [pid=9729] vsize: 34360 Current children cumulated CPU time (s) 350 Current children cumulated vsize (Kb) 34360 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 11035 0 0 0 35970 30 0 0 25 0 1 0 21811346 35454976 8045 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8656 8045 364 364 0 8292 0 [pid=9729] vsize: 34624 Current children cumulated CPU time (s) 360 Current children cumulated vsize (Kb) 34624 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 11127 0 0 0 36969 30 0 0 25 0 1 0 21811346 35725312 8136 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8722 8136 364 364 0 8358 0 [pid=9729] vsize: 34888 Current children cumulated CPU time (s) 369.99 Current children cumulated vsize (Kb) 34888 [startup+380.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 11219 0 0 0 37969 30 0 0 25 0 1 0 21811346 35995648 8226 4294967295 134512640 135987407 3221224560 3221221744 134895193 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8788 8226 364 364 0 8424 0 [pid=9729] vsize: 35152 Current children cumulated CPU time (s) 379.99 Current children cumulated vsize (Kb) 35152 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 11308 0 0 0 38969 30 0 0 25 0 1 0 21811346 36130816 8314 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8821 8314 364 364 0 8457 0 [pid=9729] vsize: 35284 Current children cumulated CPU time (s) 389.99 Current children cumulated vsize (Kb) 35284 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 11396 0 0 0 39969 31 0 0 25 0 1 0 21811346 36401152 8400 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8887 8400 364 364 0 8523 0 [pid=9729] vsize: 35548 Current children cumulated CPU time (s) 400 Current children cumulated vsize (Kb) 35548 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 11484 0 0 0 40969 31 0 0 25 0 1 0 21811346 36671488 8487 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8953 8487 364 364 0 8589 0 [pid=9729] vsize: 35812 Current children cumulated CPU time (s) 410 Current children cumulated vsize (Kb) 35812 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 11570 0 0 0 41969 31 0 0 25 0 1 0 21811346 36806656 8572 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 8986 8572 364 364 0 8622 0 [pid=9729] vsize: 35944 Current children cumulated CPU time (s) 420 Current children cumulated vsize (Kb) 35944 [startup+430.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 11657 0 0 0 42969 31 0 0 25 0 1 0 21811346 37076992 8657 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 9052 8657 364 364 0 8688 0 [pid=9729] vsize: 36208 Current children cumulated CPU time (s) 430 Current children cumulated vsize (Kb) 36208 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 11741 0 0 0 43969 32 0 0 25 0 1 0 21811346 37347328 8740 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 9118 8740 364 364 0 8754 0 [pid=9729] vsize: 36472 Current children cumulated CPU time (s) 440.01 Current children cumulated vsize (Kb) 36472 [startup+450.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 11825 0 0 0 44969 32 0 0 25 0 1 0 21811346 37482496 8823 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 9151 8823 364 364 0 8787 0 [pid=9729] vsize: 36604 Current children cumulated CPU time (s) 450.01 Current children cumulated vsize (Kb) 36604 [startup+460.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 11907 0 0 0 45968 32 0 0 25 0 1 0 21811346 37752832 8903 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 9217 8903 364 364 0 8853 0 [pid=9729] vsize: 36868 Current children cumulated CPU time (s) 460 Current children cumulated vsize (Kb) 36868 [startup+470.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 16470 0 0 0 46960 40 0 0 25 0 1 0 21811346 55775232 10518 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13617 10518 364 364 0 13253 0 [pid=9729] vsize: 54468 Current children cumulated CPU time (s) 470 Current children cumulated vsize (Kb) 54468 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.96 3/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 16499 0 0 0 47960 40 0 0 25 0 1 0 21811346 55775232 10546 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13617 10546 364 364 0 13253 0 [pid=9729] vsize: 54468 Current children cumulated CPU time (s) 480 Current children cumulated vsize (Kb) 54468 [startup+490.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 16529 0 0 0 48960 40 0 0 25 0 1 0 21811346 55775232 10574 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13617 10574 364 364 0 13253 0 [pid=9729] vsize: 54468 Current children cumulated CPU time (s) 490 Current children cumulated vsize (Kb) 54468 [startup+500.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 16558 0 0 0 49960 40 0 0 25 0 1 0 21811346 55775232 10602 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13617 10602 364 364 0 13253 0 [pid=9729] vsize: 54468 Current children cumulated CPU time (s) 500 Current children cumulated vsize (Kb) 54468 [startup+510.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 16589 0 0 0 50960 40 0 0 25 0 1 0 21811346 55775232 10632 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13617 10632 364 364 0 13253 0 [pid=9729] vsize: 54468 Current children cumulated CPU time (s) 510 Current children cumulated vsize (Kb) 54468 [startup+520.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 16617 0 0 0 51960 40 0 0 25 0 1 0 21811346 55775232 10659 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13617 10659 364 364 0 13253 0 [pid=9729] vsize: 54468 Current children cumulated CPU time (s) 520 Current children cumulated vsize (Kb) 54468 [startup+530.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 16647 0 0 0 52960 40 0 0 25 0 1 0 21811346 55775232 10687 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13617 10687 364 364 0 13253 0 [pid=9729] vsize: 54468 Current children cumulated CPU time (s) 530 Current children cumulated vsize (Kb) 54468 [startup+540.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 16699 0 0 0 53959 40 0 0 25 0 1 0 21811346 55910400 10738 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13650 10738 364 364 0 13286 0 [pid=9729] vsize: 54600 Current children cumulated CPU time (s) 539.99 Current children cumulated vsize (Kb) 54600 [startup+550.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 16764 0 0 0 54959 41 0 0 25 0 1 0 21811346 56045568 10802 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13683 10802 364 364 0 13319 0 [pid=9729] vsize: 54732 Current children cumulated CPU time (s) 550 Current children cumulated vsize (Kb) 54732 [startup+560.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 16829 0 0 0 55959 41 0 0 25 0 1 0 21811346 56180736 10866 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13716 10866 364 364 0 13352 0 [pid=9729] vsize: 54864 Current children cumulated CPU time (s) 560 Current children cumulated vsize (Kb) 54864 [startup+570.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 16895 0 0 0 56959 41 0 0 25 0 1 0 21811346 56315904 10930 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13749 10930 364 364 0 13385 0 [pid=9729] vsize: 54996 Current children cumulated CPU time (s) 570 Current children cumulated vsize (Kb) 54996 [startup+580.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 16960 0 0 0 57959 41 0 0 25 0 1 0 21811346 56451072 10994 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13782 10994 364 364 0 13418 0 [pid=9729] vsize: 55128 Current children cumulated CPU time (s) 580 Current children cumulated vsize (Kb) 55128 [startup+590.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 17024 0 0 0 58958 42 0 0 25 0 1 0 21811346 56586240 11057 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13815 11057 364 364 0 13451 0 [pid=9729] vsize: 55260 Current children cumulated CPU time (s) 590 Current children cumulated vsize (Kb) 55260 [startup+600.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 17088 0 0 0 59958 42 0 0 25 0 1 0 21811346 56721408 11120 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13848 11120 364 364 0 13484 0 [pid=9729] vsize: 55392 Current children cumulated CPU time (s) 600 Current children cumulated vsize (Kb) 55392 [startup+610.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 17150 0 0 0 60958 42 0 0 25 0 1 0 21811346 56856576 11181 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13881 11181 364 364 0 13517 0 [pid=9729] vsize: 55524 Current children cumulated CPU time (s) 610 Current children cumulated vsize (Kb) 55524 [startup+620.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 17213 0 0 0 61958 42 0 0 25 0 1 0 21811346 56991744 11242 4294967295 134512640 135987407 3221224560 3221221840 134979156 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13914 11242 364 364 0 13550 0 [pid=9729] vsize: 55656 Current children cumulated CPU time (s) 620 Current children cumulated vsize (Kb) 55656 [startup+630.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 17274 0 0 0 62958 42 0 0 25 0 1 0 21811346 57262080 11302 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 13980 11302 364 364 0 13616 0 [pid=9729] vsize: 55920 Current children cumulated CPU time (s) 630 Current children cumulated vsize (Kb) 55920 [startup+640.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 17335 0 0 0 63958 43 0 0 25 0 1 0 21811346 57397248 11362 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 14013 11362 364 364 0 13649 0 [pid=9729] vsize: 56052 Current children cumulated CPU time (s) 640.01 Current children cumulated vsize (Kb) 56052 [startup+650.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 17394 0 0 0 64958 43 0 0 25 0 1 0 21811346 57532416 11420 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 14046 11420 364 364 0 13682 0 [pid=9729] vsize: 56184 Current children cumulated CPU time (s) 650.01 Current children cumulated vsize (Kb) 56184 [startup+660.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 17456 0 0 0 65957 43 0 0 25 0 1 0 21811346 57667584 11481 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 14079 11481 364 364 0 13715 0 [pid=9729] vsize: 56316 Current children cumulated CPU time (s) 660 Current children cumulated vsize (Kb) 56316 [startup+670.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 39125 0 0 0 66910 88 0 0 25 0 1 0 21811346 128344064 25143 4294967295 134512640 135987407 3221224560 3220499228 134637002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 31334 25143 364 364 0 30970 0 [pid=9729] vsize: 125336 Current children cumulated CPU time (s) 669.98 Current children cumulated vsize (Kb) 125336 [startup+680.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 65092 0 0 0 67850 147 0 0 25 0 1 0 21811346 207884288 41670 4294967295 134512640 135987407 3221224560 3220542604 134637035 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 50753 41670 364 364 0 50389 0 [pid=9729] vsize: 203012 Current children cumulated CPU time (s) 679.97 Current children cumulated vsize (Kb) 203012 [startup+690.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 103569 0 0 0 68772 224 0 0 25 0 1 0 21811346 318402560 57934 4294967295 134512640 135987407 3221224560 3220536120 135487877 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 77735 57934 364 364 0 77371 0 [pid=9729] vsize: 310940 Current children cumulated CPU time (s) 689.96 Current children cumulated vsize (Kb) 310940 [startup+700.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 118797 0 0 0 69739 256 0 0 25 0 1 0 21811346 359256064 72926 4294967295 134512640 135987407 3221224560 3220682924 135480496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 87709 72926 364 364 0 87345 0 [pid=9729] vsize: 350836 Current children cumulated CPU time (s) 699.95 Current children cumulated vsize (Kb) 350836 [startup+710.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 159627 0 0 0 70650 340 0 0 25 0 1 0 21811346 485171200 94137 4294967295 134512640 135987407 3221224560 3220510956 134677714 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 118450 94137 364 364 0 118086 0 [pid=9729] vsize: 473800 Current children cumulated CPU time (s) 709.9 Current children cumulated vsize (Kb) 473800 [startup+720.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 197582 0 0 0 71569 420 0 0 25 0 1 0 21811346 589889536 107298 4294967295 134512640 135987407 3221224560 3220607148 135479982 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 144016 107298 364 364 0 143652 0 [pid=9729] vsize: 576064 Current children cumulated CPU time (s) 719.89 Current children cumulated vsize (Kb) 576064 [startup+730.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 211024 0 0 0 72539 451 0 0 25 0 1 0 21811346 627634176 120521 4294967295 134512640 135987407 3221224560 3220684896 134876591 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 153231 120521 364 364 0 152867 0 [pid=9729] vsize: 612924 Current children cumulated CPU time (s) 729.9 Current children cumulated vsize (Kb) 612924 [startup+740.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 225828 0 0 0 73508 481 0 0 25 0 1 0 21811346 630743040 135077 4294967295 134512640 135987407 3221224560 3220351724 134636977 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 153990 135077 364 364 0 153626 0 [pid=9729] vsize: 615960 Current children cumulated CPU time (s) 739.89 Current children cumulated vsize (Kb) 615960 [startup+750.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) R 9728 9729 4005 0 -1 0 238615 0 0 0 74481 508 0 0 25 0 1 0 21811346 687427584 147667 4294967295 134512640 135987407 3221224560 3220336624 134558355 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9729/statm): 167829 147667 364 364 0 167465 0 [pid=9729] vsize: 671316 Current children cumulated CPU time (s) 749.89 Current children cumulated vsize (Kb) 671316 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+753.733 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 9731 Raw data (/proc/9729/stat): 9729 (pb2sat) T 9728 9729 4005 0 -1 0 245379 0 0 0 74836 522 0 0 25 0 1 0 21811346 978862080 154339 4294967295 134512640 135987407 3221224560 3220590048 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9729/statm): 238980 154339 364 364 0 238616 0 [pid=9729] vsize: 955920 Current children cumulated CPU time (s) 753.58 Current children cumulated vsize (Kb) 955920 Sending SIGTERM to -9729 Sleeping 2 seconds Sending SIGKILL to -9729 One traced child (pid=9729) 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): 756.052 CPU time (s): 754.107 CPU user time (s): 748.568 CPU system time (s): 5.53916 CPU usage (%): 99.7428 Max. virtual memory (cumulated for all children) (Kb): 955920
ERROR: no interpretation found !