Name | mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3702.opb |
MD5SUM | 8a9d9f3204d778657700e0268ec9ac0e |
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 | 29701186548799 |
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 | 29701186548799 |
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 wulflinc18 THE 2005-09-23 17:05:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8884 boxname=wulflinc18 idbench=680 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 8a9d9f3204d778657700e0268ec9ac0e /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-n3702.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-n3702.opb IDLAUNCH: 8884 /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: 915260 kB Buffers: 15128 kB Cached: 84084 kB SwapCached: 0 kB Active: 56768 kB Inactive: 45344 kB HighTotal: 131008 kB HighFree: 42616 kB LowTotal: 903652 kB LowFree: 872644 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 11600 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 17:17:51 (client local time) WITH STATUS 0 IN 766.158 SECONDS stats: 8884 7 766.158 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/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21849614 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 373 2 364 364 0 9 0 [pid=8074] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-n3702.opb [startup+10.0025 s] Raw data (loadavg): 0.92 0.94 0.94 2/55 8074 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 2492 0 0 0 992 6 0 0 25 0 1 0 21849614 9367552 1806 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 2287 1806 364 364 0 1923 0 [pid=8074] vsize: 9148 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9148 [startup+20.0034 s] Raw data (loadavg): 0.93 0.94 0.94 2/55 8074 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 3006 0 0 0 1991 7 0 0 25 0 1 0 21849614 10719232 2312 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 2617 2312 364 364 0 2253 0 [pid=8074] vsize: 10468 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10468 [startup+30.0033 s] Raw data (loadavg): 0.94 0.94 0.94 2/55 8074 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 4378 0 0 0 2986 12 0 0 25 0 1 0 21849614 15630336 2939 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 3816 2939 364 364 0 3452 0 [pid=8074] vsize: 15264 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15264 [startup+40.0043 s] Raw data (loadavg): 0.95 0.94 0.94 2/55 8074 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 4646 0 0 0 3985 13 0 0 25 0 1 0 21849614 16306176 3202 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 3981 3202 364 364 0 3617 0 [pid=8074] vsize: 15924 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 15924 [startup+50.0052 s] Raw data (loadavg): 0.96 0.95 0.94 2/55 8074 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 4897 0 0 0 4984 14 0 0 25 0 1 0 21849614 16982016 3449 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 4146 3449 364 364 0 3782 0 [pid=8074] vsize: 16584 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16584 [startup+60.0061 s] Raw data (loadavg): 0.97 0.95 0.94 2/55 8074 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 5126 0 0 0 5983 15 0 0 25 0 1 0 21849614 17522688 3675 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 4278 3675 364 364 0 3914 0 [pid=8074] vsize: 17112 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17112 [startup+70.007 s] Raw data (loadavg): 0.97 0.95 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 5338 0 0 0 6982 15 0 0 25 0 1 0 21849614 18063360 3883 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8074/statm): 4410 3883 364 364 0 4046 0 [pid=8074] vsize: 17640 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 17640 [startup+80.007 s] Raw data (loadavg): 0.97 0.95 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 5535 0 0 0 7982 16 0 0 25 0 1 0 21849614 18604032 4077 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8074/statm): 4542 4077 364 364 0 4178 0 [pid=8074] vsize: 18168 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 18168 [startup+90.0079 s] Raw data (loadavg): 0.98 0.95 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 5721 0 0 0 8982 16 0 0 25 0 1 0 21849614 19009536 4260 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8074/statm): 4641 4260 364 364 0 4277 0 [pid=8074] vsize: 18564 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18564 [startup+100.008 s] Raw data (loadavg): 0.98 0.95 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 5894 0 0 0 9981 17 0 0 25 0 1 0 21849614 19550208 4430 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 4773 4430 364 364 0 4409 0 [pid=8074] vsize: 19092 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 19092 [startup+110.009 s] Raw data (loadavg): 0.98 0.95 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8284 0 0 0 10976 22 0 0 25 0 1 0 21849614 28696576 5343 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7006 5343 364 364 0 6642 0 [pid=8074] vsize: 28024 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 28024 [startup+120.009 s] Raw data (loadavg): 0.98 0.95 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8344 0 0 0 11976 22 0 0 25 0 1 0 21849614 28696576 5400 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7006 5400 364 364 0 6642 0 [pid=8074] vsize: 28024 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28024 [startup+130.009 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8439 0 0 0 12975 23 0 0 25 0 1 0 21849614 28966912 5493 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7072 5493 364 364 0 6708 0 [pid=8074] vsize: 28288 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 28288 [startup+140.01 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8566 0 0 0 13974 24 0 0 25 0 1 0 21849614 29237248 5617 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7138 5617 364 364 0 6774 0 [pid=8074] vsize: 28552 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 28552 [startup+150.009 s] Raw data (loadavg): 0.99 0.95 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8690 0 0 0 14974 24 0 0 25 0 1 0 21849614 29507584 5739 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7204 5739 364 364 0 6840 0 [pid=8074] vsize: 28816 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 28816 [startup+160.01 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8810 0 0 0 15974 24 0 0 25 0 1 0 21849614 29777920 5857 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7270 5857 364 364 0 6906 0 [pid=8074] vsize: 29080 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 29080 [startup+170.011 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 8927 0 0 0 16974 25 0 0 25 0 1 0 21849614 30048256 5972 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7336 5972 364 364 0 6972 0 [pid=8074] vsize: 29344 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 29344 [startup+180.011 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9044 0 0 0 17973 25 0 0 25 0 1 0 21849614 30318592 6086 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7402 6086 364 364 0 7038 0 [pid=8074] vsize: 29608 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 29608 [startup+190.012 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9171 0 0 0 18972 26 0 0 25 0 1 0 21849614 30724096 6211 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7501 6211 364 364 0 7137 0 [pid=8074] vsize: 30004 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 30004 [startup+200.013 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9294 0 0 0 19972 26 0 0 25 0 1 0 21849614 30994432 6332 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7567 6332 364 364 0 7203 0 [pid=8074] vsize: 30268 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 30268 [startup+210.014 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9414 0 0 0 20972 26 0 0 25 0 1 0 21849614 31264768 6450 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7633 6450 364 364 0 7269 0 [pid=8074] vsize: 30532 Current children cumulated CPU time (s) 209.98 Current children cumulated vsize (Kb) 30532 [startup+220.014 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9530 0 0 0 21972 27 0 0 25 0 1 0 21849614 31670272 6565 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7732 6565 364 364 0 7368 0 [pid=8074] vsize: 30928 Current children cumulated CPU time (s) 219.99 Current children cumulated vsize (Kb) 30928 [startup+230.014 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9646 0 0 0 22972 27 0 0 25 0 1 0 21849614 31940608 6679 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7798 6679 364 364 0 7434 0 [pid=8074] vsize: 31192 Current children cumulated CPU time (s) 229.99 Current children cumulated vsize (Kb) 31192 [startup+240.015 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9758 0 0 0 23971 27 0 0 25 0 1 0 21849614 32210944 6789 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7864 6789 364 364 0 7500 0 [pid=8074] vsize: 31456 Current children cumulated CPU time (s) 239.98 Current children cumulated vsize (Kb) 31456 [startup+250.016 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9868 0 0 0 24971 28 0 0 25 0 1 0 21849614 32481280 6897 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7930 6897 364 364 0 7566 0 [pid=8074] vsize: 31720 Current children cumulated CPU time (s) 249.99 Current children cumulated vsize (Kb) 31720 [startup+260.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 9977 0 0 0 25970 29 0 0 25 0 1 0 21849614 32751616 7004 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 7996 7004 364 364 0 7632 0 [pid=8074] vsize: 31984 Current children cumulated CPU time (s) 259.99 Current children cumulated vsize (Kb) 31984 [startup+270.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10083 0 0 0 26970 29 0 0 25 0 1 0 21849614 33021952 7109 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8062 7109 364 364 0 7698 0 [pid=8074] vsize: 32248 Current children cumulated CPU time (s) 269.99 Current children cumulated vsize (Kb) 32248 [startup+280.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10188 0 0 0 27970 29 0 0 25 0 1 0 21849614 33292288 7212 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8128 7212 364 364 0 7764 0 [pid=8074] vsize: 32512 Current children cumulated CPU time (s) 279.99 Current children cumulated vsize (Kb) 32512 [startup+290.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10291 0 0 0 28969 29 0 0 25 0 1 0 21849614 33562624 7313 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8194 7313 364 364 0 7830 0 [pid=8074] vsize: 32776 Current children cumulated CPU time (s) 289.98 Current children cumulated vsize (Kb) 32776 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10392 0 0 0 29969 30 0 0 25 0 1 0 21849614 33832960 7413 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8260 7413 364 364 0 7896 0 [pid=8074] vsize: 33040 Current children cumulated CPU time (s) 299.99 Current children cumulated vsize (Kb) 33040 [startup+310.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10491 0 0 0 30969 30 0 0 25 0 1 0 21849614 34103296 7510 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8326 7510 364 364 0 7962 0 [pid=8074] vsize: 33304 Current children cumulated CPU time (s) 309.99 Current children cumulated vsize (Kb) 33304 [startup+320.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10591 0 0 0 31968 31 0 0 25 0 1 0 21849614 34373632 7608 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8392 7608 364 364 0 8028 0 [pid=8074] vsize: 33568 Current children cumulated CPU time (s) 319.99 Current children cumulated vsize (Kb) 33568 [startup+330.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10686 0 0 0 32968 31 0 0 25 0 1 0 21849614 34643968 7702 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8458 7702 364 364 0 8094 0 [pid=8074] vsize: 33832 Current children cumulated CPU time (s) 329.99 Current children cumulated vsize (Kb) 33832 [startup+340.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10782 0 0 0 33967 32 0 0 25 0 1 0 21849614 34779136 7796 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8491 7796 364 364 0 8127 0 [pid=8074] vsize: 33964 Current children cumulated CPU time (s) 339.99 Current children cumulated vsize (Kb) 33964 [startup+350.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10876 0 0 0 34967 32 0 0 25 0 1 0 21849614 35049472 7889 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8557 7889 364 364 0 8193 0 [pid=8074] vsize: 34228 Current children cumulated CPU time (s) 349.99 Current children cumulated vsize (Kb) 34228 [startup+360.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 10969 0 0 0 35967 32 0 0 25 0 1 0 21849614 35319808 7980 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8623 7980 364 364 0 8259 0 [pid=8074] vsize: 34492 Current children cumulated CPU time (s) 359.99 Current children cumulated vsize (Kb) 34492 [startup+370.025 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11061 0 0 0 36967 33 0 0 25 0 1 0 21849614 35590144 8071 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8689 8071 364 364 0 8325 0 [pid=8074] vsize: 34756 Current children cumulated CPU time (s) 370 Current children cumulated vsize (Kb) 34756 [startup+380.026 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11151 0 0 0 37966 33 0 0 25 0 1 0 21849614 35725312 8159 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8722 8159 364 364 0 8358 0 [pid=8074] vsize: 34888 Current children cumulated CPU time (s) 379.99 Current children cumulated vsize (Kb) 34888 [startup+390.027 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11241 0 0 0 38966 33 0 0 25 0 1 0 21849614 35995648 8248 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8788 8248 364 364 0 8424 0 [pid=8074] vsize: 35152 Current children cumulated CPU time (s) 389.99 Current children cumulated vsize (Kb) 35152 [startup+400.027 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11328 0 0 0 39966 34 0 0 25 0 1 0 21849614 36265984 8334 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8854 8334 364 364 0 8490 0 [pid=8074] vsize: 35416 Current children cumulated CPU time (s) 400 Current children cumulated vsize (Kb) 35416 [startup+410.028 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11415 0 0 0 40966 34 0 0 25 0 1 0 21849614 36401152 8419 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8887 8419 364 364 0 8523 0 [pid=8074] vsize: 35548 Current children cumulated CPU time (s) 410 Current children cumulated vsize (Kb) 35548 [startup+420.029 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11501 0 0 0 41966 34 0 0 25 0 1 0 21849614 36671488 8504 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 8953 8504 364 364 0 8589 0 [pid=8074] vsize: 35812 Current children cumulated CPU time (s) 420 Current children cumulated vsize (Kb) 35812 [startup+430.028 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11587 0 0 0 42965 34 0 0 25 0 1 0 21849614 36941824 8588 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 9019 8588 364 364 0 8655 0 [pid=8074] vsize: 36076 Current children cumulated CPU time (s) 429.99 Current children cumulated vsize (Kb) 36076 [startup+440.029 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11672 0 0 0 43965 35 0 0 25 0 1 0 21849614 37076992 8672 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 9052 8672 364 364 0 8688 0 [pid=8074] vsize: 36208 Current children cumulated CPU time (s) 440 Current children cumulated vsize (Kb) 36208 [startup+450.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11755 0 0 0 44965 35 0 0 25 0 1 0 21849614 37347328 8754 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 9118 8754 364 364 0 8754 0 [pid=8074] vsize: 36472 Current children cumulated CPU time (s) 450 Current children cumulated vsize (Kb) 36472 [startup+460.031 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11837 0 0 0 45965 35 0 0 25 0 1 0 21849614 37482496 8834 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 9151 8834 364 364 0 8787 0 [pid=8074] vsize: 36604 Current children cumulated CPU time (s) 460 Current children cumulated vsize (Kb) 36604 [startup+470.032 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 11920 0 0 0 46965 35 0 0 25 0 1 0 21849614 37752832 8916 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 9217 8916 364 364 0 8853 0 [pid=8074] vsize: 36868 Current children cumulated CPU time (s) 470 Current children cumulated vsize (Kb) 36868 [startup+480.032 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16474 0 0 0 47954 45 0 0 25 0 1 0 21849614 55775232 10522 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13617 10522 364 364 0 13253 0 [pid=8074] vsize: 54468 Current children cumulated CPU time (s) 479.99 Current children cumulated vsize (Kb) 54468 [startup+490.033 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16504 0 0 0 48954 45 0 0 25 0 1 0 21849614 55775232 10550 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13617 10550 364 364 0 13253 0 [pid=8074] vsize: 54468 Current children cumulated CPU time (s) 489.99 Current children cumulated vsize (Kb) 54468 [startup+500.034 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16533 0 0 0 49954 46 0 0 25 0 1 0 21849614 55775232 10578 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13617 10578 364 364 0 13253 0 [pid=8074] vsize: 54468 Current children cumulated CPU time (s) 500 Current children cumulated vsize (Kb) 54468 [startup+510.034 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16562 0 0 0 50954 46 0 0 25 0 1 0 21849614 55775232 10606 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13617 10606 364 364 0 13253 0 [pid=8074] vsize: 54468 Current children cumulated CPU time (s) 510 Current children cumulated vsize (Kb) 54468 [startup+520.035 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16591 0 0 0 51954 46 0 0 25 0 1 0 21849614 55775232 10634 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13617 10634 364 364 0 13253 0 [pid=8074] vsize: 54468 Current children cumulated CPU time (s) 520 Current children cumulated vsize (Kb) 54468 [startup+530.035 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16620 0 0 0 52953 47 0 0 25 0 1 0 21849614 55775232 10661 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13617 10661 364 364 0 13253 0 [pid=8074] vsize: 54468 Current children cumulated CPU time (s) 530 Current children cumulated vsize (Kb) 54468 [startup+540.036 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16648 0 0 0 53953 47 0 0 25 0 1 0 21849614 55775232 10688 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13617 10688 364 364 0 13253 0 [pid=8074] vsize: 54468 Current children cumulated CPU time (s) 540 Current children cumulated vsize (Kb) 54468 [startup+550.037 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16702 0 0 0 54953 47 0 0 25 0 1 0 21849614 55910400 10741 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13650 10741 364 364 0 13286 0 [pid=8074] vsize: 54600 Current children cumulated CPU time (s) 550 Current children cumulated vsize (Kb) 54600 [startup+560.037 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16766 0 0 0 55953 47 0 0 25 0 1 0 21849614 56045568 10804 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13683 10804 364 364 0 13319 0 [pid=8074] vsize: 54732 Current children cumulated CPU time (s) 560 Current children cumulated vsize (Kb) 54732 [startup+570.037 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16831 0 0 0 56953 47 0 0 25 0 1 0 21849614 56180736 10868 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13716 10868 364 364 0 13352 0 [pid=8074] vsize: 54864 Current children cumulated CPU time (s) 570 Current children cumulated vsize (Kb) 54864 [startup+580.038 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16896 0 0 0 57953 48 0 0 25 0 1 0 21849614 56315904 10931 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13749 10931 364 364 0 13385 0 [pid=8074] vsize: 54996 Current children cumulated CPU time (s) 580.01 Current children cumulated vsize (Kb) 54996 [startup+590.039 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 16960 0 0 0 58953 48 0 0 25 0 1 0 21849614 56451072 10994 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13782 10994 364 364 0 13418 0 [pid=8074] vsize: 55128 Current children cumulated CPU time (s) 590.01 Current children cumulated vsize (Kb) 55128 [startup+600.039 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17024 0 0 0 59953 48 0 0 25 0 1 0 21849614 56586240 11057 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13815 11057 364 364 0 13451 0 [pid=8074] vsize: 55260 Current children cumulated CPU time (s) 600.01 Current children cumulated vsize (Kb) 55260 [startup+610.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17086 0 0 0 60952 48 0 0 25 0 1 0 21849614 56721408 11118 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13848 11118 364 364 0 13484 0 [pid=8074] vsize: 55392 Current children cumulated CPU time (s) 610 Current children cumulated vsize (Kb) 55392 [startup+620.041 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17149 0 0 0 61952 49 0 0 25 0 1 0 21849614 56856576 11180 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13881 11180 364 364 0 13517 0 [pid=8074] vsize: 55524 Current children cumulated CPU time (s) 620.01 Current children cumulated vsize (Kb) 55524 [startup+630.041 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17210 0 0 0 62952 49 0 0 25 0 1 0 21849614 56991744 11240 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13914 11240 364 364 0 13550 0 [pid=8074] vsize: 55656 Current children cumulated CPU time (s) 630.01 Current children cumulated vsize (Kb) 55656 [startup+640.042 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17271 0 0 0 63952 49 0 0 25 0 1 0 21849614 57126912 11299 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 13947 11299 364 364 0 13583 0 [pid=8074] vsize: 55788 Current children cumulated CPU time (s) 640.01 Current children cumulated vsize (Kb) 55788 [startup+650.043 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17332 0 0 0 64951 50 0 0 25 0 1 0 21849614 57397248 11359 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 14013 11359 364 364 0 13649 0 [pid=8074] vsize: 56052 Current children cumulated CPU time (s) 650.01 Current children cumulated vsize (Kb) 56052 [startup+660.043 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17391 0 0 0 65951 50 0 0 25 0 1 0 21849614 57532416 11417 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 14046 11417 364 364 0 13682 0 [pid=8074] vsize: 56184 Current children cumulated CPU time (s) 660.01 Current children cumulated vsize (Kb) 56184 [startup+670.044 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 17451 0 0 0 66951 50 0 0 25 0 1 0 21849614 57667584 11476 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 14079 11476 364 364 0 13715 0 [pid=8074] vsize: 56316 Current children cumulated CPU time (s) 670.01 Current children cumulated vsize (Kb) 56316 [startup+680.045 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 31915 0 0 0 67915 84 0 0 25 0 1 0 21849614 101629952 22807 4294967295 134512640 135987407 3221224560 3220446752 134878716 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 24812 22807 364 364 0 24448 0 [pid=8074] vsize: 99248 Current children cumulated CPU time (s) 679.99 Current children cumulated vsize (Kb) 99248 [startup+690.046 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 62730 0 0 0 68843 155 0 0 25 0 1 0 21849614 204640256 39336 4294967295 134512640 135987407 3221224560 3220507324 134636959 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 49961 39336 364 364 0 49597 0 [pid=8074] vsize: 199844 Current children cumulated CPU time (s) 689.98 Current children cumulated vsize (Kb) 199844 [startup+700.046 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 90150 0 0 0 69785 211 0 0 25 0 1 0 21849614 266719232 56818 4294967295 134512640 135987407 3221224560 3220561376 134558255 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 65117 56818 364 364 0 64753 0 [pid=8074] vsize: 260468 Current children cumulated CPU time (s) 699.96 Current children cumulated vsize (Kb) 260468 [startup+710.045 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 116264 0 0 0 70730 265 0 0 25 0 1 0 21849614 356958208 70428 4294967295 134512640 135987407 3221224560 3220601680 134878011 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 87148 70428 364 364 0 86784 0 [pid=8074] vsize: 348592 Current children cumulated CPU time (s) 709.95 Current children cumulated vsize (Kb) 348592 [startup+720.046 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 157229 0 0 0 71646 345 0 0 25 0 1 0 21849614 484360192 91778 4294967295 134512640 135987407 3221224560 3220551948 134677714 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 118252 91778 364 364 0 117888 0 [pid=8074] vsize: 473008 Current children cumulated CPU time (s) 719.91 Current children cumulated vsize (Kb) 473008 [startup+730.047 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 194673 0 0 0 72562 429 0 0 25 0 1 0 21849614 588943360 104434 4294967295 134512640 135987407 3221224560 3220244236 134669203 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 143785 104434 364 364 0 143421 0 [pid=8074] vsize: 575140 Current children cumulated CPU time (s) 729.91 Current children cumulated vsize (Kb) 575140 [startup+740.048 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 208162 0 0 0 73532 458 0 0 25 0 1 0 21849614 626552832 117705 4294967295 134512640 135987407 3221224560 3220338928 134878060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 152967 117705 364 364 0 152603 0 [pid=8074] vsize: 611868 Current children cumulated CPU time (s) 739.9 Current children cumulated vsize (Kb) 611868 [startup+750.049 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 223034 0 0 0 74495 495 0 0 25 0 1 0 21849614 629796864 132328 4294967295 134512640 135987407 3221224560 3220388912 134856690 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 153759 132328 364 364 0 153395 0 [pid=8074] vsize: 615036 Current children cumulated CPU time (s) 749.9 Current children cumulated vsize (Kb) 615036 [startup+760.049 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) R 8073 8074 4060 0 -1 0 235721 0 0 0 75464 526 0 0 25 0 1 0 21849614 684453888 144811 4294967295 134512640 135987407 3221224560 3220443328 134877726 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8074/statm): 167103 144811 364 364 0 166739 0 [pid=8074] vsize: 668412 Current children cumulated CPU time (s) 759.9 Current children cumulated vsize (Kb) 668412 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+765.79 s] Raw data (loadavg): 0.99 0.97 0.94 1/55 8076 Raw data (/proc/8074/stat): 8074 (pb2sat) T 8073 8074 4060 0 -1 0 245301 0 0 0 76014 548 0 0 25 0 1 0 21849614 978997248 154261 4294967295 134512640 135987407 3221224560 3220268128 135544035 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8074/statm): 239013 154261 364 364 0 238649 0 [pid=8074] vsize: 956052 Current children cumulated CPU time (s) 765.62 Current children cumulated vsize (Kb) 956052 Sending SIGTERM to -8074 Sleeping 2 seconds Sending SIGKILL to -8074 One traced child (pid=8074) 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): 768.112 CPU time (s): 766.158 CPU user time (s): 760.354 CPU system time (s): 5.80312 CPU usage (%): 99.7456 Max. virtual memory (cumulated for all children) (Kb): 956052
ERROR: no interpretation found !