Name | mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb |
MD5SUM | c5e85fef75cd61b11166b8854f4a9cf3 |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 105000 |
Biggest coefficient in the objective function | 4194304 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 39244285251 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 4194304 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 39244285251 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 105000 |
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 | 21 |
Maximum length of a constraint | 2000 |
LAUNCH ON wulflinc15 THE 2005-09-23 18:41:27 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9267 boxname=wulflinc15 idbench=1063 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c5e85fef75cd61b11166b8854f4a9cf3 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-n3701.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-n3701.opb IDLAUNCH: 9267 /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: 885760 kB Buffers: 4772 kB Cached: 123612 kB SwapCached: 0 kB Active: 25600 kB Inactive: 105724 kB HighTotal: 131008 kB HighFree: 71428 kB LowTotal: 903652 kB LowFree: 814332 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 11956 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 18:47:58 (client local time) WITH STATUS 0 IN 388.136 SECONDS stats: 9267 7 388.136 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/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 18 0 0 0 0 0 0 0 21 0 1 0 22424903 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 373 2 364 364 0 9 0 [pid=9179] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-n3701.opb [startup+10.0015 s] Raw data (loadavg): 0.93 0.95 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 2559 0 0 0 993 5 0 0 25 0 1 0 22424903 9502720 1872 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 2320 1872 364 364 0 1956 0 [pid=9179] vsize: 9280 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9280 [startup+20.0023 s] Raw data (loadavg): 0.94 0.95 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 4187 0 0 0 1990 8 0 0 25 0 1 0 22424903 15224832 2752 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 3717 2752 364 364 0 3353 0 [pid=9179] vsize: 14868 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 14868 [startup+30.0021 s] Raw data (loadavg): 0.95 0.95 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 4441 0 0 0 2989 9 0 0 25 0 1 0 22424903 15765504 3001 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 3849 3001 364 364 0 3485 0 [pid=9179] vsize: 15396 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15396 [startup+40.0029 s] Raw data (loadavg): 0.96 0.95 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 4713 0 0 0 3988 10 0 0 25 0 1 0 22424903 16441344 3268 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 4014 3268 364 364 0 3650 0 [pid=9179] vsize: 16056 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16056 [startup+50.0038 s] Raw data (loadavg): 0.96 0.96 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 4966 0 0 0 4987 11 0 0 25 0 1 0 22424903 17117184 3517 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 4179 3517 364 364 0 3815 0 [pid=9179] vsize: 16716 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16716 [startup+60.0036 s] Raw data (loadavg): 0.97 0.96 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 5193 0 0 0 5986 11 0 0 25 0 1 0 22424903 17657856 3740 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 4311 3740 364 364 0 3947 0 [pid=9179] vsize: 17244 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 17244 [startup+70.0044 s] Raw data (loadavg): 0.97 0.96 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 5400 0 0 0 6986 12 0 0 25 0 1 0 22424903 18198528 3944 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 4443 3944 364 364 0 4079 0 [pid=9179] vsize: 17772 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17772 [startup+80.0052 s] Raw data (loadavg): 0.98 0.96 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 5592 0 0 0 7985 13 0 0 25 0 1 0 22424903 18739200 4133 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 4575 4133 364 364 0 4211 0 [pid=9179] vsize: 18300 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 18300 [startup+90.005 s] Raw data (loadavg): 0.98 0.96 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 5771 0 0 0 8985 14 0 0 25 0 1 0 22424903 19144704 4309 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 4674 4309 364 364 0 4310 0 [pid=9179] vsize: 18696 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 18696 [startup+100.006 s] Raw data (loadavg): 0.98 0.96 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 5943 0 0 0 9984 15 0 0 25 0 1 0 22424903 19550208 4478 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 4773 4478 364 364 0 4409 0 [pid=9179] vsize: 19092 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 19092 [startup+110.007 s] Raw data (loadavg): 0.98 0.96 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 8295 0 0 0 10979 19 0 0 25 0 1 0 22424903 28696576 5353 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 7006 5353 364 364 0 6642 0 [pid=9179] 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.96 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 8353 0 0 0 11979 19 0 0 25 0 1 0 22424903 28696576 5408 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 7006 5408 364 364 0 6642 0 [pid=9179] vsize: 28024 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28024 [startup+130.007 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 8473 0 0 0 12979 20 0 0 25 0 1 0 22424903 28966912 5526 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 7072 5526 364 364 0 6708 0 [pid=9179] vsize: 28288 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 28288 [startup+140.007 s] Raw data (loadavg): 0.99 0.96 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 8601 0 0 0 13979 20 0 0 25 0 1 0 22424903 29237248 5651 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 7138 5651 364 364 0 6774 0 [pid=9179] vsize: 28552 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 28552 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 8724 0 0 0 14979 20 0 0 25 0 1 0 22424903 29642752 5772 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 7237 5772 364 364 0 6873 0 [pid=9179] vsize: 28948 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 28948 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 8844 0 0 0 15978 21 0 0 25 0 1 0 22424903 29913088 5890 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 7303 5890 364 364 0 6939 0 [pid=9179] vsize: 29212 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 29212 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 8959 0 0 0 16978 21 0 0 25 0 1 0 22424903 30183424 6003 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 7369 6003 364 364 0 7005 0 [pid=9179] vsize: 29476 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 29476 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 9083 0 0 0 17977 22 0 0 25 0 1 0 22424903 30453760 6125 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 7435 6125 364 364 0 7071 0 [pid=9179] vsize: 29740 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 29740 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 9210 0 0 0 18976 23 0 0 25 0 1 0 22424903 30724096 6250 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 7501 6250 364 364 0 7137 0 [pid=9179] vsize: 30004 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 30004 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 9334 0 0 0 19976 23 0 0 25 0 1 0 22424903 31129600 6372 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 7600 6372 364 364 0 7236 0 [pid=9179] vsize: 30400 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 30400 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 9454 0 0 0 20975 24 0 0 25 0 1 0 22424903 31399936 6490 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 7666 6490 364 364 0 7302 0 [pid=9179] vsize: 30664 Current children cumulated CPU time (s) 209.99 Current children cumulated vsize (Kb) 30664 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 9571 0 0 0 21975 24 0 0 25 0 1 0 22424903 31670272 6605 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 7732 6605 364 364 0 7368 0 [pid=9179] vsize: 30928 Current children cumulated CPU time (s) 219.99 Current children cumulated vsize (Kb) 30928 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 9686 0 0 0 22975 24 0 0 25 0 1 0 22424903 31940608 6718 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 7798 6718 364 364 0 7434 0 [pid=9179] vsize: 31192 Current children cumulated CPU time (s) 229.99 Current children cumulated vsize (Kb) 31192 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 9796 0 0 0 23975 25 0 0 25 0 1 0 22424903 32210944 6826 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 7864 6826 364 364 0 7500 0 [pid=9179] vsize: 31456 Current children cumulated CPU time (s) 240 Current children cumulated vsize (Kb) 31456 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 9904 0 0 0 24975 25 0 0 25 0 1 0 22424903 32481280 6932 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 7930 6932 364 364 0 7566 0 [pid=9179] vsize: 31720 Current children cumulated CPU time (s) 250 Current children cumulated vsize (Kb) 31720 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 10013 0 0 0 25975 25 0 0 25 0 1 0 22424903 32886784 7040 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 8029 7040 364 364 0 7665 0 [pid=9179] vsize: 32116 Current children cumulated CPU time (s) 260 Current children cumulated vsize (Kb) 32116 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 10121 0 0 0 26975 25 0 0 25 0 1 0 22424903 33157120 7146 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 8095 7146 364 364 0 7731 0 [pid=9179] vsize: 32380 Current children cumulated CPU time (s) 270 Current children cumulated vsize (Kb) 32380 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 10223 0 0 0 27974 26 0 0 25 0 1 0 22424903 33427456 7246 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 8161 7246 364 364 0 7797 0 [pid=9179] vsize: 32644 Current children cumulated CPU time (s) 280 Current children cumulated vsize (Kb) 32644 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 10325 0 0 0 28974 26 0 0 25 0 1 0 22424903 33562624 7347 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 8194 7347 364 364 0 7830 0 [pid=9179] vsize: 32776 Current children cumulated CPU time (s) 290 Current children cumulated vsize (Kb) 32776 [startup+300.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 20331 0 0 0 29952 47 0 0 25 0 1 0 22424903 68317184 13381 4294967295 134512640 135987407 3221224560 3220746864 134640424 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 16679 13382 364 364 0 16315 0 [pid=9179] vsize: 66716 Current children cumulated CPU time (s) 299.99 Current children cumulated vsize (Kb) 66716 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 53631 0 0 0 30879 118 0 0 25 0 1 0 22424903 194260992 36991 4294967295 134512640 135987407 3221224560 3220846096 134887487 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 47427 36995 364 364 0 47063 0 [pid=9179] vsize: 189708 Current children cumulated CPU time (s) 309.97 Current children cumulated vsize (Kb) 189708 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 82795 0 0 0 31818 178 0 0 25 0 1 0 22424903 253759488 50080 4294967295 134512640 135987407 3221224560 3220919648 134887887 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 61953 50080 364 364 0 61589 0 [pid=9179] vsize: 247812 Current children cumulated CPU time (s) 319.96 Current children cumulated vsize (Kb) 247812 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 108206 0 0 0 32758 238 0 0 25 0 1 0 22424903 340619264 62983 4294967295 134512640 135987407 3221224560 3220675296 135486717 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 83159 62983 364 364 0 82795 0 [pid=9179] vsize: 332636 Current children cumulated CPU time (s) 329.96 Current children cumulated vsize (Kb) 332636 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 126700 0 0 0 33721 274 0 0 25 0 1 0 22424903 493232128 81113 4294967295 134512640 135987407 3221224560 3220607648 134856632 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 120418 81113 364 364 0 120054 0 [pid=9179] vsize: 481672 Current children cumulated CPU time (s) 339.95 Current children cumulated vsize (Kb) 481672 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 188184 0 0 0 34588 403 0 0 25 0 1 0 22424903 574361600 98541 4294967295 134512640 135987407 3221224560 3220577584 134537371 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 140225 98542 364 364 0 139861 0 [pid=9179] vsize: 560900 Current children cumulated CPU time (s) 349.91 Current children cumulated vsize (Kb) 560900 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 201657 0 0 0 35557 434 0 0 25 0 1 0 22424903 610619392 111788 4294967295 134512640 135987407 3221224560 3220856796 134537394 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 149077 111788 364 364 0 148713 0 [pid=9179] vsize: 596308 Current children cumulated CPU time (s) 359.91 Current children cumulated vsize (Kb) 596308 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 217221 0 0 0 36521 470 0 0 25 0 1 0 22424903 615215104 127097 4294967295 134512640 135987407 3221224560 3220656224 134887887 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 150199 127097 364 364 0 149835 0 [pid=9179] vsize: 600796 Current children cumulated CPU time (s) 369.91 Current children cumulated vsize (Kb) 600796 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 0 230870 0 0 0 37493 498 0 0 25 0 1 0 22424903 669331456 140523 4294967295 134512640 135987407 3221224560 3220863664 134877726 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9179/statm): 163411 140523 364 364 0 163047 0 [pid=9179] vsize: 653644 Current children cumulated CPU time (s) 379.91 Current children cumulated vsize (Kb) 653644 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+387.783 s] Raw data (loadavg): 0.99 0.97 0.94 1/55 9179 Raw data (/proc/9179/stat): 9179 (pb2sat) T 9178 9179 4057 0 -1 0 243193 0 0 0 38243 524 0 0 25 0 1 0 22424903 963063808 152666 4294967295 134512640 135987407 3221224560 3220907536 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9179/statm): 235123 152666 364 364 0 234759 0 [pid=9179] vsize: 940492 Current children cumulated CPU time (s) 387.67 Current children cumulated vsize (Kb) 940492 Sending SIGTERM to -9179 Sleeping 2 seconds Sending SIGKILL to -9179 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 9180 Raw data (/proc/9179/stat): 9179 (pb2sat) R 9178 9179 4057 0 -1 1028 243194 0 0 0 38258 547 0 0 17 0 1 0 22424903 0 0 4294967295 0 0 0 0 0 0 16384 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9179/statm): 0 0 0 0 0 0 0 [pid=9179] vsize: 0 Current children cumulated CPU time (s) 388.05 Current children cumulated vsize (Kb) 0 One traced child (pid=9179) 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): 390.101 CPU time (s): 388.136 CPU user time (s): 382.581 CPU system time (s): 5.55515 CPU usage (%): 99.4962 Max. virtual memory (cumulated for all children) (Kb): 940492
ERROR: no interpretation found !