Name | mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370c.opb |
MD5SUM | 400cadbec334a2c0625c23ea02111b7f |
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 | 29652813254765 |
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 | 29652813254765 |
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 wulflinc11 THE 2005-09-23 17:09:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8893 boxname=wulflinc11 idbench=689 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 400cadbec334a2c0625c23ea02111b7f /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-n370c.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-n370c.opb IDLAUNCH: 8893 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 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.045 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 896380 kB Buffers: 9284 kB Cached: 103528 kB SwapCached: 0 kB Active: 67548 kB Inactive: 54788 kB HighTotal: 131008 kB HighFree: 25256 kB LowTotal: 903652 kB LowFree: 871124 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 10336 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:22:02 (client local time) WITH STATUS 0 IN 753.994 SECONDS stats: 8893 7 753.994 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/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 21875750 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 373 2 364 364 0 9 0 [pid=10331] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-n370c.opb [startup+10.0026 s] Raw data (loadavg): 0.88 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 2547 0 0 0 993 6 0 0 25 0 1 0 21875750 9502720 1860 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 2320 1860 364 364 0 1956 0 [pid=10331] vsize: 9280 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9280 [startup+20.0034 s] Raw data (loadavg): 0.90 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 4179 0 0 0 1988 10 0 0 25 0 1 0 21875750 15224832 2745 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 3717 2745 364 364 0 3353 0 [pid=10331] vsize: 14868 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 14868 [startup+30.0042 s] Raw data (loadavg): 0.91 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 4427 0 0 0 2988 11 0 0 25 0 1 0 21875750 15765504 2987 4294967295 134512640 135987407 3221224560 3221221792 134534651 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 3849 2987 364 364 0 3485 0 [pid=10331] vsize: 15396 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 15396 [startup+40.005 s] Raw data (loadavg): 0.93 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 4703 0 0 0 3987 11 0 0 25 0 1 0 21875750 16441344 3258 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 4014 3258 364 364 0 3650 0 [pid=10331] vsize: 16056 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16056 [startup+50.0058 s] Raw data (loadavg): 0.94 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 4958 0 0 0 4987 12 0 0 25 0 1 0 21875750 17117184 3509 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 4179 3509 364 364 0 3815 0 [pid=10331] vsize: 16716 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 16716 [startup+60.0055 s] Raw data (loadavg): 0.95 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 5187 0 0 0 5985 13 0 0 25 0 1 0 21875750 17657856 3735 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 4311 3735 364 364 0 3947 0 [pid=10331] vsize: 17244 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17244 [startup+70.0053 s] Raw data (loadavg): 0.95 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 5398 0 0 0 6985 13 0 0 25 0 1 0 21875750 18198528 3942 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 4443 3942 364 364 0 4079 0 [pid=10331] vsize: 17772 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17772 [startup+80.0061 s] Raw data (loadavg): 0.96 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 5592 0 0 0 7984 14 0 0 25 0 1 0 21875750 18739200 4133 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 4575 4133 364 364 0 4211 0 [pid=10331] vsize: 18300 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 18300 [startup+90.0059 s] Raw data (loadavg): 0.97 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 5777 0 0 0 8983 15 0 0 25 0 1 0 21875750 19144704 4315 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 4674 4315 364 364 0 4310 0 [pid=10331] vsize: 18696 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18696 [startup+100.007 s] Raw data (loadavg): 0.97 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 5953 0 0 0 9983 15 0 0 25 0 1 0 21875750 19685376 4488 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 4806 4488 364 364 0 4442 0 [pid=10331] vsize: 19224 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 19224 [startup+110.007 s] Raw data (loadavg): 0.97 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 8305 0 0 0 10979 19 0 0 25 0 1 0 21875750 28696576 5363 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7006 5363 364 364 0 6642 0 [pid=10331] vsize: 28024 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 28024 [startup+120.007 s] Raw data (loadavg): 0.98 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 8363 0 0 0 11979 19 0 0 25 0 1 0 21875750 28696576 5418 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7006 5418 364 364 0 6642 0 [pid=10331] vsize: 28024 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28024 [startup+130.008 s] Raw data (loadavg): 0.98 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 8489 0 0 0 12979 19 0 0 25 0 1 0 21875750 29102080 5542 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7105 5542 364 364 0 6741 0 [pid=10331] vsize: 28420 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 28420 [startup+140.009 s] Raw data (loadavg): 0.98 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 8615 0 0 0 13978 20 0 0 25 0 1 0 21875750 29372416 5665 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7171 5665 364 364 0 6807 0 [pid=10331] vsize: 28684 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 28684 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 8740 0 0 0 14978 20 0 0 25 0 1 0 21875750 29642752 5788 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7237 5788 364 364 0 6873 0 [pid=10331] vsize: 28948 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 28948 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 8860 0 0 0 15977 21 0 0 25 0 1 0 21875750 29913088 5906 4294967295 134512640 135987407 3221224560 3221221744 134536109 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7303 5906 364 364 0 6939 0 [pid=10331] vsize: 29212 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 29212 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 8975 0 0 0 16977 21 0 0 25 0 1 0 21875750 30183424 6019 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7369 6019 364 364 0 7005 0 [pid=10331] vsize: 29476 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 29476 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 9099 0 0 0 17977 22 0 0 25 0 1 0 21875750 30453760 6141 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7435 6141 364 364 0 7071 0 [pid=10331] vsize: 29740 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 29740 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 9225 0 0 0 18976 22 0 0 25 0 1 0 21875750 30859264 6265 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7534 6265 364 364 0 7170 0 [pid=10331] vsize: 30136 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 30136 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 9349 0 0 0 19976 22 0 0 25 0 1 0 21875750 31129600 6387 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7600 6387 364 364 0 7236 0 [pid=10331] vsize: 30400 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 30400 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 9469 0 0 0 20976 22 0 0 25 0 1 0 21875750 31399936 6505 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7666 6505 364 364 0 7302 0 [pid=10331] 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.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 9588 0 0 0 21976 22 0 0 25 0 1 0 21875750 31805440 6622 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7765 6622 364 364 0 7401 0 [pid=10331] vsize: 31060 Current children cumulated CPU time (s) 219.98 Current children cumulated vsize (Kb) 31060 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 9704 0 0 0 22976 23 0 0 25 0 1 0 21875750 32075776 6736 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7831 6736 364 364 0 7467 0 [pid=10331] vsize: 31324 Current children cumulated CPU time (s) 229.99 Current children cumulated vsize (Kb) 31324 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 9817 0 0 0 23975 23 0 0 25 0 1 0 21875750 32346112 6847 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7897 6847 364 364 0 7533 0 [pid=10331] vsize: 31588 Current children cumulated CPU time (s) 239.98 Current children cumulated vsize (Kb) 31588 [startup+250.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 9927 0 0 0 24975 24 0 0 25 0 1 0 21875750 32616448 6955 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 7963 6955 364 364 0 7599 0 [pid=10331] 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.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 10037 0 0 0 25975 24 0 0 25 0 1 0 21875750 32886784 7063 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8029 7063 364 364 0 7665 0 [pid=10331] vsize: 32116 Current children cumulated CPU time (s) 259.99 Current children cumulated vsize (Kb) 32116 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 10144 0 0 0 26975 24 0 0 25 0 1 0 21875750 33157120 7169 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8095 7169 364 364 0 7731 0 [pid=10331] vsize: 32380 Current children cumulated CPU time (s) 269.99 Current children cumulated vsize (Kb) 32380 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 10250 0 0 0 27974 25 0 0 25 0 1 0 21875750 33427456 7273 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8161 7273 364 364 0 7797 0 [pid=10331] vsize: 32644 Current children cumulated CPU time (s) 279.99 Current children cumulated vsize (Kb) 32644 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 10352 0 0 0 28973 25 0 0 25 0 1 0 21875750 33697792 7373 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8227 7373 364 364 0 7863 0 [pid=10331] vsize: 32908 Current children cumulated CPU time (s) 289.98 Current children cumulated vsize (Kb) 32908 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 10454 0 0 0 29973 26 0 0 25 0 1 0 21875750 33968128 7474 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8293 7474 364 364 0 7929 0 [pid=10331] vsize: 33172 Current children cumulated CPU time (s) 299.99 Current children cumulated vsize (Kb) 33172 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 10553 0 0 0 30973 26 0 0 25 0 1 0 21875750 34238464 7571 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8359 7571 364 364 0 7995 0 [pid=10331] vsize: 33436 Current children cumulated CPU time (s) 309.99 Current children cumulated vsize (Kb) 33436 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 10653 0 0 0 31972 27 0 0 25 0 1 0 21875750 34508800 7669 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8425 7669 364 364 0 8061 0 [pid=10331] vsize: 33700 Current children cumulated CPU time (s) 319.99 Current children cumulated vsize (Kb) 33700 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 10750 0 0 0 32972 27 0 0 25 0 1 0 21875750 34779136 7765 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8491 7765 364 364 0 8127 0 [pid=10331] vsize: 33964 Current children cumulated CPU time (s) 329.99 Current children cumulated vsize (Kb) 33964 [startup+340.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 10845 0 0 0 33972 27 0 0 25 0 1 0 21875750 35049472 7858 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8557 7858 364 364 0 8193 0 [pid=10331] vsize: 34228 Current children cumulated CPU time (s) 339.99 Current children cumulated vsize (Kb) 34228 [startup+350.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 10939 0 0 0 34971 28 0 0 25 0 1 0 21875750 35184640 7951 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8590 7951 364 364 0 8226 0 [pid=10331] vsize: 34360 Current children cumulated CPU time (s) 349.99 Current children cumulated vsize (Kb) 34360 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 11033 0 0 0 35971 28 0 0 25 0 1 0 21875750 35454976 8043 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8656 8043 364 364 0 8292 0 [pid=10331] vsize: 34624 Current children cumulated CPU time (s) 359.99 Current children cumulated vsize (Kb) 34624 [startup+370.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 11125 0 0 0 36971 28 0 0 25 0 1 0 21875750 35725312 8134 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8722 8134 364 364 0 8358 0 [pid=10331] vsize: 34888 Current children cumulated CPU time (s) 369.99 Current children cumulated vsize (Kb) 34888 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 11216 0 0 0 37970 28 0 0 25 0 1 0 21875750 35995648 8223 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8788 8223 364 364 0 8424 0 [pid=10331] vsize: 35152 Current children cumulated CPU time (s) 379.98 Current children cumulated vsize (Kb) 35152 [startup+390.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 11306 0 0 0 38970 29 0 0 25 0 1 0 21875750 36130816 8312 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8821 8312 364 364 0 8457 0 [pid=10331] vsize: 35284 Current children cumulated CPU time (s) 389.99 Current children cumulated vsize (Kb) 35284 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 11394 0 0 0 39970 29 0 0 25 0 1 0 21875750 36401152 8398 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8887 8398 364 364 0 8523 0 [pid=10331] vsize: 35548 Current children cumulated CPU time (s) 399.99 Current children cumulated vsize (Kb) 35548 [startup+410.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 11481 0 0 0 40970 29 0 0 25 0 1 0 21875750 36671488 8484 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8953 8484 364 364 0 8589 0 [pid=10331] vsize: 35812 Current children cumulated CPU time (s) 409.99 Current children cumulated vsize (Kb) 35812 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 11569 0 0 0 41970 29 0 0 25 0 1 0 21875750 36806656 8571 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 8986 8571 364 364 0 8622 0 [pid=10331] vsize: 35944 Current children cumulated CPU time (s) 419.99 Current children cumulated vsize (Kb) 35944 [startup+430.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 11653 0 0 0 42970 29 0 0 25 0 1 0 21875750 37076992 8653 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 9052 8653 364 364 0 8688 0 [pid=10331] vsize: 36208 Current children cumulated CPU time (s) 429.99 Current children cumulated vsize (Kb) 36208 [startup+440.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 11739 0 0 0 43970 30 0 0 25 0 1 0 21875750 37347328 8738 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 9118 8738 364 364 0 8754 0 [pid=10331] vsize: 36472 Current children cumulated CPU time (s) 440 Current children cumulated vsize (Kb) 36472 [startup+450.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 11821 0 0 0 44969 30 0 0 25 0 1 0 21875750 37482496 8819 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 9151 8819 364 364 0 8787 0 [pid=10331] vsize: 36604 Current children cumulated CPU time (s) 449.99 Current children cumulated vsize (Kb) 36604 [startup+460.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 11905 0 0 0 45969 30 0 0 25 0 1 0 21875750 37752832 8901 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 9217 8901 364 364 0 8853 0 [pid=10331] vsize: 36868 Current children cumulated CPU time (s) 459.99 Current children cumulated vsize (Kb) 36868 [startup+470.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 16470 0 0 0 46960 38 0 0 25 0 1 0 21875750 55775232 10518 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13617 10518 364 364 0 13253 0 [pid=10331] vsize: 54468 Current children cumulated CPU time (s) 469.98 Current children cumulated vsize (Kb) 54468 [startup+480.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 16499 0 0 0 47960 38 0 0 25 0 1 0 21875750 55775232 10546 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13617 10546 364 364 0 13253 0 [pid=10331] vsize: 54468 Current children cumulated CPU time (s) 479.98 Current children cumulated vsize (Kb) 54468 [startup+490.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 16529 0 0 0 48960 39 0 0 25 0 1 0 21875750 55775232 10574 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13617 10574 364 364 0 13253 0 [pid=10331] vsize: 54468 Current children cumulated CPU time (s) 489.99 Current children cumulated vsize (Kb) 54468 [startup+500.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 16558 0 0 0 49960 39 0 0 25 0 1 0 21875750 55775232 10602 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13617 10602 364 364 0 13253 0 [pid=10331] vsize: 54468 Current children cumulated CPU time (s) 499.99 Current children cumulated vsize (Kb) 54468 [startup+510.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 16588 0 0 0 50960 39 0 0 25 0 1 0 21875750 55775232 10631 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13617 10631 364 364 0 13253 0 [pid=10331] vsize: 54468 Current children cumulated CPU time (s) 509.99 Current children cumulated vsize (Kb) 54468 [startup+520.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 16616 0 0 0 51960 39 0 0 25 0 1 0 21875750 55775232 10658 4294967295 134512640 135987407 3221224560 3221221952 134616137 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13617 10658 364 364 0 13253 0 [pid=10331] vsize: 54468 Current children cumulated CPU time (s) 519.99 Current children cumulated vsize (Kb) 54468 [startup+530.023 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 16645 0 0 0 52960 39 0 0 25 0 1 0 21875750 55775232 10685 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13617 10685 364 364 0 13253 0 [pid=10331] vsize: 54468 Current children cumulated CPU time (s) 529.99 Current children cumulated vsize (Kb) 54468 [startup+540.022 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 16695 0 0 0 53960 40 0 0 25 0 1 0 21875750 55910400 10734 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13650 10734 364 364 0 13286 0 [pid=10331] vsize: 54600 Current children cumulated CPU time (s) 540 Current children cumulated vsize (Kb) 54600 [startup+550.023 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 16762 0 0 0 54959 40 0 0 25 0 1 0 21875750 56045568 10800 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13683 10800 364 364 0 13319 0 [pid=10331] vsize: 54732 Current children cumulated CPU time (s) 549.99 Current children cumulated vsize (Kb) 54732 [startup+560.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 16828 0 0 0 55959 40 0 0 25 0 1 0 21875750 56180736 10865 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13716 10865 364 364 0 13352 0 [pid=10331] vsize: 54864 Current children cumulated CPU time (s) 559.99 Current children cumulated vsize (Kb) 54864 [startup+570.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 16893 0 0 0 56959 40 0 0 25 0 1 0 21875750 56315904 10928 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13749 10928 364 364 0 13385 0 [pid=10331] vsize: 54996 Current children cumulated CPU time (s) 569.99 Current children cumulated vsize (Kb) 54996 [startup+580.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 16959 0 0 0 57959 41 0 0 25 0 1 0 21875750 56451072 10993 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13782 10993 364 364 0 13418 0 [pid=10331] vsize: 55128 Current children cumulated CPU time (s) 580 Current children cumulated vsize (Kb) 55128 [startup+590.024 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 17023 0 0 0 58959 41 0 0 25 0 1 0 21875750 56586240 11056 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13815 11056 364 364 0 13451 0 [pid=10331] vsize: 55260 Current children cumulated CPU time (s) 590 Current children cumulated vsize (Kb) 55260 [startup+600.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 17086 0 0 0 59959 41 0 0 25 0 1 0 21875750 56721408 11118 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13848 11118 364 364 0 13484 0 [pid=10331] vsize: 55392 Current children cumulated CPU time (s) 600 Current children cumulated vsize (Kb) 55392 [startup+610.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 17149 0 0 0 60959 41 0 0 25 0 1 0 21875750 56856576 11180 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13881 11180 364 364 0 13517 0 [pid=10331] vsize: 55524 Current children cumulated CPU time (s) 610 Current children cumulated vsize (Kb) 55524 [startup+620.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 17212 0 0 0 61958 41 0 0 25 0 1 0 21875750 56991744 11241 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13914 11241 364 364 0 13550 0 [pid=10331] vsize: 55656 Current children cumulated CPU time (s) 619.99 Current children cumulated vsize (Kb) 55656 [startup+630.025 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 17273 0 0 0 62958 42 0 0 25 0 1 0 21875750 57262080 11301 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 13980 11301 364 364 0 13616 0 [pid=10331] vsize: 55920 Current children cumulated CPU time (s) 630 Current children cumulated vsize (Kb) 55920 [startup+640.026 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 17334 0 0 0 63957 42 0 0 25 0 1 0 21875750 57397248 11361 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 14013 11361 364 364 0 13649 0 [pid=10331] vsize: 56052 Current children cumulated CPU time (s) 639.99 Current children cumulated vsize (Kb) 56052 [startup+650.027 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 17394 0 0 0 64957 43 0 0 25 0 1 0 21875750 57532416 11420 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 14046 11420 364 364 0 13682 0 [pid=10331] vsize: 56184 Current children cumulated CPU time (s) 650 Current children cumulated vsize (Kb) 56184 [startup+660.027 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 17455 0 0 0 65957 43 0 0 25 0 1 0 21875750 57667584 11480 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 14079 11480 364 364 0 13715 0 [pid=10331] vsize: 56316 Current children cumulated CPU time (s) 660 Current children cumulated vsize (Kb) 56316 [startup+670.028 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 38733 0 0 0 66909 88 0 0 25 0 1 0 21875750 127803392 24756 4294967295 134512640 135987407 3221224560 3220506284 134637002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 31202 24756 364 364 0 30838 0 [pid=10331] vsize: 124808 Current children cumulated CPU time (s) 669.97 Current children cumulated vsize (Kb) 124808 [startup+680.028 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 64762 0 0 0 67849 147 0 0 25 0 1 0 21875750 207073280 41343 4294967295 134512640 135987407 3221224560 3220569712 134856387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 50555 41343 364 364 0 50191 0 [pid=10331] vsize: 202220 Current children cumulated CPU time (s) 679.96 Current children cumulated vsize (Kb) 202220 [startup+690.028 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 103366 0 0 0 68766 229 0 0 25 0 1 0 21875750 317861888 57732 4294967295 134512640 135987407 3221224560 3220598368 134537552 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 77603 57732 364 364 0 77239 0 [pid=10331] vsize: 310412 Current children cumulated CPU time (s) 689.95 Current children cumulated vsize (Kb) 310412 [startup+700.03 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 118839 0 0 0 69733 261 0 0 25 0 1 0 21875750 359661568 72969 4294967295 134512640 135987407 3221224560 3220685068 134637002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 87808 72969 364 364 0 87444 0 [pid=10331] vsize: 351232 Current children cumulated CPU time (s) 699.94 Current children cumulated vsize (Kb) 351232 [startup+710.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 159678 0 0 0 70650 341 0 0 25 0 1 0 21875750 485576704 94189 4294967295 134512640 135987407 3221224560 3220554160 134887780 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 118549 94189 364 364 0 118185 0 [pid=10331] vsize: 474196 Current children cumulated CPU time (s) 709.91 Current children cumulated vsize (Kb) 474196 [startup+720.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 197009 0 0 0 71564 426 0 0 25 0 1 0 21875750 588673024 106729 4294967295 134512640 135987407 3221224560 3220372556 134637002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 143719 106729 364 364 0 143355 0 [pid=10331] vsize: 574876 Current children cumulated CPU time (s) 719.9 Current children cumulated vsize (Kb) 574876 [startup+730.031 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 210789 0 0 0 72534 456 0 0 25 0 1 0 21875750 626823168 120286 4294967295 134512640 135987407 3221224560 3220536176 134862311 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 153033 120286 364 364 0 152669 0 [pid=10331] vsize: 612132 Current children cumulated CPU time (s) 729.9 Current children cumulated vsize (Kb) 612132 [startup+740.032 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 226179 0 0 0 73499 490 0 0 25 0 1 0 21875750 631689216 135426 4294967295 134512640 135987407 3221224560 3220273504 134537491 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 154221 135426 364 364 0 153857 0 [pid=10331] vsize: 616884 Current children cumulated CPU time (s) 739.89 Current children cumulated vsize (Kb) 616884 [startup+750.033 s] Raw data (loadavg): 0.99 0.97 0.95 2/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) R 10330 10331 4060 0 -1 0 238878 0 0 0 74470 518 0 0 25 0 1 0 21875750 688238592 147927 4294967295 134512640 135987407 3221224560 3220254096 134892999 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10331/statm): 168027 147927 364 364 0 167663 0 [pid=10331] vsize: 672108 Current children cumulated CPU time (s) 749.88 Current children cumulated vsize (Kb) 672108 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+753.619 s] Raw data (loadavg): 0.99 0.97 0.95 1/55 10331 Raw data (/proc/10331/stat): 10331 (pb2sat) T 10330 10331 4060 0 -1 0 245186 0 0 0 74814 533 0 0 25 0 1 0 21875750 978456576 154146 4294967295 134512640 135987407 3221224560 3220470064 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/10331/statm): 238881 154146 364 364 0 238517 0 [pid=10331] vsize: 955524 Current children cumulated CPU time (s) 753.47 Current children cumulated vsize (Kb) 955524 Sending SIGTERM to -10331 Sleeping 2 seconds Sending SIGKILL to -10331 One traced child (pid=10331) 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): 755.938 CPU time (s): 753.994 CPU user time (s): 748.348 CPU system time (s): 5.64614 CPU usage (%): 99.743 Max. virtual memory (cumulated for all children) (Kb): 955524
ERROR: no interpretation found !