Name | mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3705.opb |
MD5SUM | 8eea845826d64e6d5753fad916c185c9 |
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 | 29593306649763 |
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 | 29593306649763 |
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 wulflinc30 THE 2005-09-23 17:05:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8887 boxname=wulflinc30 idbench=683 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 8eea845826d64e6d5753fad916c185c9 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-n3705.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-n3705.opb IDLAUNCH: 8887 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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.161 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: 926552 kB Buffers: 12280 kB Cached: 78296 kB SwapCached: 0 kB Active: 54460 kB Inactive: 39024 kB HighTotal: 131008 kB HighFree: 48636 kB LowTotal: 903652 kB LowFree: 877916 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8988 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 17:18:10 (client local time) WITH STATUS 0 IN 751.583 SECONDS stats: 8887 7 751.583 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/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21813525 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 373 2 364 364 0 9 0 [pid=9951] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-n3705.opb [startup+10.0023 s] Raw data (loadavg): 0.93 0.97 0.92 2/55 9951 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 2530 0 0 0 992 6 0 0 25 0 1 0 21813525 9502720 1843 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 2320 1843 364 364 0 1956 0 [pid=9951] vsize: 9280 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9280 [startup+20.0031 s] Raw data (loadavg): 0.94 0.97 0.92 2/55 9951 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 4179 0 0 0 1988 10 0 0 25 0 1 0 21813525 15224832 2745 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 3717 2745 364 364 0 3353 0 [pid=9951] vsize: 14868 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 14868 [startup+30.0039 s] Raw data (loadavg): 0.95 0.97 0.92 2/55 9951 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 4440 0 0 0 2987 11 0 0 25 0 1 0 21813525 15765504 3000 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 3849 3000 364 364 0 3485 0 [pid=9951] vsize: 15396 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15396 [startup+40.0037 s] Raw data (loadavg): 0.95 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 4721 0 0 0 3986 13 0 0 25 0 1 0 21813525 16441344 3276 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 4014 3276 364 364 0 3650 0 [pid=9951] vsize: 16056 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 16056 [startup+50.0045 s] Raw data (loadavg): 0.96 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 4983 0 0 0 4985 13 0 0 25 0 1 0 21813525 17117184 3534 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 4179 3534 364 364 0 3815 0 [pid=9951] vsize: 16716 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16716 [startup+60.0043 s] Raw data (loadavg): 0.97 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 5218 0 0 0 5984 14 0 0 25 0 1 0 21813525 17793024 3765 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 4344 3765 364 364 0 3980 0 [pid=9951] vsize: 17376 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17376 [startup+70.0051 s] Raw data (loadavg): 0.97 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 5431 0 0 0 6983 15 0 0 25 0 1 0 21813525 18333696 3975 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 4476 3975 364 364 0 4112 0 [pid=9951] vsize: 17904 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17904 [startup+80.0059 s] Raw data (loadavg): 0.97 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 5629 0 0 0 7983 15 0 0 25 0 1 0 21813525 18739200 4169 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 4575 4169 364 364 0 4211 0 [pid=9951] vsize: 18300 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 18300 [startup+90.0057 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 5816 0 0 0 8983 16 0 0 25 0 1 0 21813525 19279872 4353 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 4707 4353 364 364 0 4343 0 [pid=9951] vsize: 18828 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 18828 [startup+100.007 s] Raw data (loadavg): 0.98 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 5991 0 0 0 9982 16 0 0 25 0 1 0 21813525 19685376 4526 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 4806 4526 364 364 0 4442 0 [pid=9951] 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.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 8318 0 0 0 10977 21 0 0 25 0 1 0 21813525 28696576 5375 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7006 5375 364 364 0 6642 0 [pid=9951] 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.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 8384 0 0 0 11977 22 0 0 25 0 1 0 21813525 28831744 5439 4294967295 134512640 135987407 3221224560 3221222032 134607496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7039 5439 364 364 0 6675 0 [pid=9951] vsize: 28156 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 28156 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 8514 0 0 0 12976 22 0 0 25 0 1 0 21813525 29102080 5566 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7105 5566 364 364 0 6741 0 [pid=9951] vsize: 28420 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 28420 [startup+140.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 8640 0 0 0 13976 22 0 0 25 0 1 0 21813525 29372416 5690 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7171 5690 364 364 0 6807 0 [pid=9951] 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.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 8762 0 0 0 14976 23 0 0 25 0 1 0 21813525 29642752 5810 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7237 5810 364 364 0 6873 0 [pid=9951] vsize: 28948 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 28948 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 8880 0 0 0 15975 23 0 0 25 0 1 0 21813525 29913088 5925 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7303 5925 364 364 0 6939 0 [pid=9951] 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.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 8997 0 0 0 16975 23 0 0 25 0 1 0 21813525 30183424 6040 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7369 6040 364 364 0 7005 0 [pid=9951] 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.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 9123 0 0 0 17975 24 0 0 25 0 1 0 21813525 30588928 6164 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7468 6164 364 364 0 7104 0 [pid=9951] vsize: 29872 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 29872 [startup+190.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 9248 0 0 0 18975 24 0 0 25 0 1 0 21813525 30859264 6287 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7534 6287 364 364 0 7170 0 [pid=9951] vsize: 30136 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 30136 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 9371 0 0 0 19974 25 0 0 25 0 1 0 21813525 31129600 6408 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7600 6408 364 364 0 7236 0 [pid=9951] vsize: 30400 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 30400 [startup+210.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 9491 0 0 0 20974 25 0 0 25 0 1 0 21813525 31535104 6526 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7699 6526 364 364 0 7335 0 [pid=9951] vsize: 30796 Current children cumulated CPU time (s) 209.99 Current children cumulated vsize (Kb) 30796 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 9610 0 0 0 21974 25 0 0 25 0 1 0 21813525 31805440 6643 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7765 6643 364 364 0 7401 0 [pid=9951] vsize: 31060 Current children cumulated CPU time (s) 219.99 Current children cumulated vsize (Kb) 31060 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 9724 0 0 0 22974 25 0 0 25 0 1 0 21813525 32075776 6755 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7831 6755 364 364 0 7467 0 [pid=9951] 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.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 9837 0 0 0 23973 26 0 0 25 0 1 0 21813525 32346112 6867 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7897 6867 364 364 0 7533 0 [pid=9951] vsize: 31588 Current children cumulated CPU time (s) 239.99 Current children cumulated vsize (Kb) 31588 [startup+250.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 9948 0 0 0 24973 26 0 0 25 0 1 0 21813525 32616448 6976 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 7963 6976 364 364 0 7599 0 [pid=9951] 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.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 10057 0 0 0 25973 26 0 0 25 0 1 0 21813525 33021952 7083 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8062 7083 364 364 0 7698 0 [pid=9951] vsize: 32248 Current children cumulated CPU time (s) 259.99 Current children cumulated vsize (Kb) 32248 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 10164 0 0 0 26973 26 0 0 25 0 1 0 21813525 33292288 7188 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8128 7188 364 364 0 7764 0 [pid=9951] vsize: 32512 Current children cumulated CPU time (s) 269.99 Current children cumulated vsize (Kb) 32512 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 10269 0 0 0 27972 27 0 0 25 0 1 0 21813525 33562624 7292 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8194 7292 364 364 0 7830 0 [pid=9951] vsize: 32776 Current children cumulated CPU time (s) 279.99 Current children cumulated vsize (Kb) 32776 [startup+290.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 10372 0 0 0 28972 27 0 0 25 0 1 0 21813525 33832960 7393 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8260 7393 364 364 0 7896 0 [pid=9951] vsize: 33040 Current children cumulated CPU time (s) 289.99 Current children cumulated vsize (Kb) 33040 [startup+300.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 10474 0 0 0 29972 27 0 0 25 0 1 0 21813525 33968128 7493 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8293 7493 364 364 0 7929 0 [pid=9951] vsize: 33172 Current children cumulated CPU time (s) 299.99 Current children cumulated vsize (Kb) 33172 [startup+310.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 10574 0 0 0 30971 28 0 0 25 0 1 0 21813525 34238464 7592 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8359 7592 364 364 0 7995 0 [pid=9951] vsize: 33436 Current children cumulated CPU time (s) 309.99 Current children cumulated vsize (Kb) 33436 [startup+320.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 10673 0 0 0 31971 28 0 0 25 0 1 0 21813525 34508800 7689 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8425 7689 364 364 0 8061 0 [pid=9951] vsize: 33700 Current children cumulated CPU time (s) 319.99 Current children cumulated vsize (Kb) 33700 [startup+330.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 10770 0 0 0 32971 29 0 0 25 0 1 0 21813525 34779136 7785 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8491 7785 364 364 0 8127 0 [pid=9951] vsize: 33964 Current children cumulated CPU time (s) 330 Current children cumulated vsize (Kb) 33964 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 10868 0 0 0 33970 29 0 0 25 0 1 0 21813525 35049472 7881 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8557 7881 364 364 0 8193 0 [pid=9951] vsize: 34228 Current children cumulated CPU time (s) 339.99 Current children cumulated vsize (Kb) 34228 [startup+350.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 10962 0 0 0 34970 30 0 0 25 0 1 0 21813525 35319808 7973 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8623 7973 364 364 0 8259 0 [pid=9951] vsize: 34492 Current children cumulated CPU time (s) 350 Current children cumulated vsize (Kb) 34492 [startup+360.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 11056 0 0 0 35970 30 0 0 25 0 1 0 21813525 35590144 8066 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8689 8066 364 364 0 8325 0 [pid=9951] vsize: 34756 Current children cumulated CPU time (s) 360 Current children cumulated vsize (Kb) 34756 [startup+370.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 11147 0 0 0 36970 30 0 0 25 0 1 0 21813525 35725312 8155 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8722 8155 364 364 0 8358 0 [pid=9951] vsize: 34888 Current children cumulated CPU time (s) 370 Current children cumulated vsize (Kb) 34888 [startup+380.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 11238 0 0 0 37970 31 0 0 25 0 1 0 21813525 35995648 8245 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8788 8245 364 364 0 8424 0 [pid=9951] vsize: 35152 Current children cumulated CPU time (s) 380.01 Current children cumulated vsize (Kb) 35152 [startup+390.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 11327 0 0 0 38969 31 0 0 25 0 1 0 21813525 36265984 8333 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8854 8333 364 364 0 8490 0 [pid=9951] vsize: 35416 Current children cumulated CPU time (s) 390 Current children cumulated vsize (Kb) 35416 [startup+400.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 11416 0 0 0 39969 31 0 0 25 0 1 0 21813525 36401152 8420 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8887 8420 364 364 0 8523 0 [pid=9951] vsize: 35548 Current children cumulated CPU time (s) 400 Current children cumulated vsize (Kb) 35548 [startup+410.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 11505 0 0 0 40969 31 0 0 25 0 1 0 21813525 36671488 8508 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 8953 8508 364 364 0 8589 0 [pid=9951] vsize: 35812 Current children cumulated CPU time (s) 410 Current children cumulated vsize (Kb) 35812 [startup+420.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 11590 0 0 0 41969 31 0 0 25 0 1 0 21813525 36941824 8591 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 9019 8591 364 364 0 8655 0 [pid=9951] vsize: 36076 Current children cumulated CPU time (s) 420 Current children cumulated vsize (Kb) 36076 [startup+430.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 11676 0 0 0 42969 31 0 0 25 0 1 0 21813525 37076992 8676 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 9052 8676 364 364 0 8688 0 [pid=9951] vsize: 36208 Current children cumulated CPU time (s) 430 Current children cumulated vsize (Kb) 36208 [startup+440.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 11759 0 0 0 43969 32 0 0 25 0 1 0 21813525 37347328 8758 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 9118 8758 364 364 0 8754 0 [pid=9951] vsize: 36472 Current children cumulated CPU time (s) 440.01 Current children cumulated vsize (Kb) 36472 [startup+450.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 11843 0 0 0 44969 32 0 0 25 0 1 0 21813525 37617664 8840 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 9184 8840 364 364 0 8820 0 [pid=9951] vsize: 36736 Current children cumulated CPU time (s) 450.01 Current children cumulated vsize (Kb) 36736 [startup+460.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 11927 0 0 0 45968 32 0 0 25 0 1 0 21813525 37752832 8923 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 9217 8923 364 364 0 8853 0 [pid=9951] vsize: 36868 Current children cumulated CPU time (s) 460 Current children cumulated vsize (Kb) 36868 [startup+470.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 16476 0 0 0 46958 42 0 0 25 0 1 0 21813525 55775232 10524 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13617 10524 364 364 0 13253 0 [pid=9951] vsize: 54468 Current children cumulated CPU time (s) 470 Current children cumulated vsize (Kb) 54468 [startup+480.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 16507 0 0 0 47958 42 0 0 25 0 1 0 21813525 55775232 10553 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13617 10553 364 364 0 13253 0 [pid=9951] vsize: 54468 Current children cumulated CPU time (s) 480 Current children cumulated vsize (Kb) 54468 [startup+490.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 16538 0 0 0 48958 42 0 0 25 0 1 0 21813525 55775232 10583 4294967295 134512640 135987407 3221224560 3221221872 134555855 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13617 10583 364 364 0 13253 0 [pid=9951] vsize: 54468 Current children cumulated CPU time (s) 490 Current children cumulated vsize (Kb) 54468 [startup+500.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 16566 0 0 0 49958 42 0 0 25 0 1 0 21813525 55775232 10610 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13617 10610 364 364 0 13253 0 [pid=9951] vsize: 54468 Current children cumulated CPU time (s) 500 Current children cumulated vsize (Kb) 54468 [startup+510.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 16596 0 0 0 50958 42 0 0 25 0 1 0 21813525 55775232 10638 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13617 10638 364 364 0 13253 0 [pid=9951] vsize: 54468 Current children cumulated CPU time (s) 510 Current children cumulated vsize (Kb) 54468 [startup+520.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 16624 0 0 0 51959 42 0 0 25 0 1 0 21813525 55775232 10665 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13617 10665 364 364 0 13253 0 [pid=9951] vsize: 54468 Current children cumulated CPU time (s) 520.01 Current children cumulated vsize (Kb) 54468 [startup+530.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 16654 0 0 0 52959 42 0 0 25 0 1 0 21813525 55775232 10694 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13617 10694 364 364 0 13253 0 [pid=9951] vsize: 54468 Current children cumulated CPU time (s) 530.01 Current children cumulated vsize (Kb) 54468 [startup+540.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 16714 0 0 0 53958 43 0 0 25 0 1 0 21813525 55910400 10753 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13650 10753 364 364 0 13286 0 [pid=9951] vsize: 54600 Current children cumulated CPU time (s) 540.01 Current children cumulated vsize (Kb) 54600 [startup+550.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 16781 0 0 0 54958 43 0 0 25 0 1 0 21813525 56045568 10818 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13683 10818 364 364 0 13319 0 [pid=9951] vsize: 54732 Current children cumulated CPU time (s) 550.01 Current children cumulated vsize (Kb) 54732 [startup+560.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 16845 0 0 0 55958 43 0 0 25 0 1 0 21813525 56180736 10881 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13716 10881 364 364 0 13352 0 [pid=9951] vsize: 54864 Current children cumulated CPU time (s) 560.01 Current children cumulated vsize (Kb) 54864 [startup+570.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 16910 0 0 0 56958 43 0 0 25 0 1 0 21813525 56315904 10945 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13749 10945 364 364 0 13385 0 [pid=9951] vsize: 54996 Current children cumulated CPU time (s) 570.01 Current children cumulated vsize (Kb) 54996 [startup+580.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 16975 0 0 0 57958 44 0 0 25 0 1 0 21813525 56451072 11009 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13782 11009 364 364 0 13418 0 [pid=9951] vsize: 55128 Current children cumulated CPU time (s) 580.02 Current children cumulated vsize (Kb) 55128 [startup+590.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 17039 0 0 0 58958 44 0 0 25 0 1 0 21813525 56586240 11072 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13815 11072 364 364 0 13451 0 [pid=9951] vsize: 55260 Current children cumulated CPU time (s) 590.02 Current children cumulated vsize (Kb) 55260 [startup+600.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 17102 0 0 0 59958 44 0 0 25 0 1 0 21813525 56856576 11134 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13881 11134 364 364 0 13517 0 [pid=9951] vsize: 55524 Current children cumulated CPU time (s) 600.02 Current children cumulated vsize (Kb) 55524 [startup+610.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 17165 0 0 0 60958 44 0 0 25 0 1 0 21813525 56991744 11195 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13914 11195 364 364 0 13550 0 [pid=9951] vsize: 55656 Current children cumulated CPU time (s) 610.02 Current children cumulated vsize (Kb) 55656 [startup+620.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 17228 0 0 0 61957 45 0 0 25 0 1 0 21813525 57126912 11257 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13947 11257 364 364 0 13583 0 [pid=9951] vsize: 55788 Current children cumulated CPU time (s) 620.02 Current children cumulated vsize (Kb) 55788 [startup+630.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 17288 0 0 0 62957 45 0 0 25 0 1 0 21813525 57262080 11316 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 13980 11316 364 364 0 13616 0 [pid=9951] vsize: 55920 Current children cumulated CPU time (s) 630.02 Current children cumulated vsize (Kb) 55920 [startup+640.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 17350 0 0 0 63957 45 0 0 25 0 1 0 21813525 57397248 11377 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 14013 11377 364 364 0 13649 0 [pid=9951] vsize: 56052 Current children cumulated CPU time (s) 640.02 Current children cumulated vsize (Kb) 56052 [startup+650.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 17411 0 0 0 64957 45 0 0 25 0 1 0 21813525 57532416 11437 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 14046 11437 364 364 0 13682 0 [pid=9951] vsize: 56184 Current children cumulated CPU time (s) 650.02 Current children cumulated vsize (Kb) 56184 [startup+660.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 17471 0 0 0 65957 46 0 0 25 0 1 0 21813525 57667584 11496 4294967295 134512640 135987407 3221224560 3221221668 134639154 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 14079 11496 364 364 0 13715 0 [pid=9951] vsize: 56316 Current children cumulated CPU time (s) 660.03 Current children cumulated vsize (Kb) 56316 [startup+670.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 46616 0 0 0 66891 109 0 0 25 0 1 0 21813525 154992640 29508 4294967295 134512640 135987407 3221224560 3220589648 134537496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 37840 29508 364 364 0 37476 0 [pid=9951] vsize: 151360 Current children cumulated CPU time (s) 670 Current children cumulated vsize (Kb) 151360 [startup+680.037 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) T 9950 9951 4004 0 -1 0 79352 0 0 0 67824 173 0 0 25 0 1 0 21813525 295682048 55418 4294967295 134512640 135987407 3221224560 3220248524 135635874 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9951/statm): 72188 55418 364 364 0 71824 0 [pid=9951] vsize: 288752 Current children cumulated CPU time (s) 679.97 Current children cumulated vsize (Kb) 288752 [startup+690.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 107845 0 0 0 68761 236 0 0 25 0 1 0 21813525 322052096 62150 4294967295 134512640 135987407 3221224560 3220327104 134931273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 78626 62150 364 364 0 78262 0 [pid=9951] vsize: 314504 Current children cumulated CPU time (s) 689.97 Current children cumulated vsize (Kb) 314504 [startup+700.039 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 122846 0 0 0 69727 269 0 0 25 0 1 0 21813525 363986944 76922 4294967295 134512640 135987407 3221224560 3220320480 134640032 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 88864 76922 364 364 0 88500 0 [pid=9951] vsize: 355456 Current children cumulated CPU time (s) 699.96 Current children cumulated vsize (Kb) 355456 [startup+710.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 163606 0 0 0 70641 352 0 0 25 0 1 0 21813525 487604224 98057 4294967295 134512640 135987407 3221224560 3220286284 134635332 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 119044 98057 364 364 0 118680 0 [pid=9951] vsize: 476176 Current children cumulated CPU time (s) 709.93 Current children cumulated vsize (Kb) 476176 [startup+720.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 200011 0 0 0 71557 435 0 0 25 0 1 0 21813525 624660480 109688 4294967295 134512640 135987407 3221224560 3220330736 134877710 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 152505 109688 364 364 0 152141 0 [pid=9951] vsize: 610020 Current children cumulated CPU time (s) 719.92 Current children cumulated vsize (Kb) 610020 [startup+730.039 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 214478 0 0 0 72525 467 0 0 25 0 1 0 21813525 628174848 123917 4294967295 134512640 135987407 3221224560 3220484476 134637002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 153363 123917 364 364 0 152999 0 [pid=9951] vsize: 613452 Current children cumulated CPU time (s) 729.92 Current children cumulated vsize (Kb) 613452 [startup+740.039 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 230051 0 0 0 73491 500 0 0 25 0 1 0 21813525 633040896 139236 4294967295 134512640 135987407 3221224560 3220638064 134560683 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 154551 139236 364 364 0 154187 0 [pid=9951] vsize: 618204 Current children cumulated CPU time (s) 739.91 Current children cumulated vsize (Kb) 618204 [startup+750.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) R 9950 9951 4004 0 -1 0 243494 0 0 0 74463 527 0 0 25 0 1 0 21813525 692699136 152483 4294967295 134512640 135987407 3221224560 3220574064 134866117 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9951/statm): 169116 152483 364 364 0 168752 0 [pid=9951] vsize: 676464 Current children cumulated CPU time (s) 749.9 Current children cumulated vsize (Kb) 676464 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+751.193 s] Raw data (loadavg): 0.99 0.97 0.92 1/55 9953 Raw data (/proc/9951/stat): 9951 (pb2sat) T 9950 9951 4004 0 -1 0 245735 0 0 0 74573 532 0 0 25 0 1 0 21813525 980348928 154695 4294967295 134512640 135987407 3221224560 3220634400 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9951/statm): 239343 154695 364 364 0 238979 0 [pid=9951] vsize: 957372 Current children cumulated CPU time (s) 751.05 Current children cumulated vsize (Kb) 957372 Sending SIGTERM to -9951 Sleeping 2 seconds Sending SIGKILL to -9951 One traced child (pid=9951) 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): 753.513 CPU time (s): 751.583 CPU user time (s): 745.941 CPU system time (s): 5.64214 CPU usage (%): 99.7439 Max. virtual memory (cumulated for all children) (Kb): 957372
ERROR: no interpretation found !