Name | mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb |
MD5SUM | 765ea624bde3931069939663462a01e5 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 128490 |
Biggest coefficient in the objective function | 435455996723200 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 204823519821908064 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 435455996723200 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 204823519821908064 |
Number of bits of the biggest sum of numbers | 58 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 85.245 |
Number of variables | 128490 |
Total number of constraints | 712 |
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 | 712 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 2550 |
LAUNCH ON wulflinc21 THE 2005-09-23 16:12:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8678 boxname=wulflinc21 idbench=474 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 765ea624bde3931069939663462a01e5 /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-ship08l.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-ship08l.opb IDLAUNCH: 8678 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.188 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.188 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: 916836 kB Buffers: 13656 kB Cached: 85692 kB SwapCached: 0 kB Active: 57440 kB Inactive: 44852 kB HighTotal: 131008 kB HighFree: 40936 kB LowTotal: 903652 kB LowFree: 875900 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 52 kB Writeback: 0 kB Mapped: 6980 kB Slab: 9868 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 16:21:18 (client local time) WITH STATUS 0 IN 544.546 SECONDS stats: 8678 7 544.546 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/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21530028 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 373 2 364 364 0 9 0 [pid=9210] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-ship08l.opb [startup+10.0019 s] Raw data (loadavg): 0.87 0.91 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 2529 0 0 0 992 6 0 0 25 0 1 0 21530028 9506816 1843 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 2321 1843 364 364 0 1957 0 [pid=9210] vsize: 9284 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9284 [startup+20.0026 s] Raw data (loadavg): 0.89 0.92 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 4186 0 0 0 1987 10 0 0 25 0 1 0 21530028 15228928 2752 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 3718 2752 364 364 0 3354 0 [pid=9210] vsize: 14872 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 14872 [startup+30.0033 s] Raw data (loadavg): 0.90 0.92 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 4436 0 0 0 2986 11 0 0 25 0 1 0 21530028 15769600 2996 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 3850 2996 364 364 0 3486 0 [pid=9210] vsize: 15400 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 15400 [startup+40.004 s] Raw data (loadavg): 0.92 0.92 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 4715 0 0 0 3985 12 0 0 25 0 1 0 21530028 16445440 3270 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 4015 3270 364 364 0 3651 0 [pid=9210] vsize: 16060 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 16060 [startup+50.0056 s] Raw data (loadavg): 0.93 0.92 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 4977 0 0 0 4985 13 0 0 25 0 1 0 21530028 17121280 3528 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 4180 3528 364 364 0 3816 0 [pid=9210] vsize: 16720 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16720 [startup+60.0053 s] Raw data (loadavg): 0.94 0.92 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 5207 0 0 0 5984 14 0 0 25 0 1 0 21530028 17797120 3754 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 4345 3754 364 364 0 3981 0 [pid=9210] vsize: 17380 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17380 [startup+70.005 s] Raw data (loadavg): 0.95 0.93 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 5411 0 0 0 6983 14 0 0 25 0 1 0 21530028 18202624 3955 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 4444 3955 364 364 0 4080 0 [pid=9210] vsize: 17776 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 17776 [startup+80.0057 s] Raw data (loadavg): 0.96 0.93 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 5601 0 0 0 7983 14 0 0 25 0 1 0 21530028 18743296 4142 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 4576 4142 364 364 0 4212 0 [pid=9210] vsize: 18304 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 18304 [startup+90.0054 s] Raw data (loadavg): 0.96 0.93 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 5780 0 0 0 8983 14 0 0 25 0 1 0 21530028 19148800 4318 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 4675 4318 364 364 0 4311 0 [pid=9210] vsize: 18700 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 18700 [startup+100.006 s] Raw data (loadavg): 0.97 0.93 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 5952 0 0 0 9983 15 0 0 25 0 1 0 21530028 19689472 4487 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 4807 4487 364 364 0 4443 0 [pid=9210] vsize: 19228 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 19228 [startup+110.007 s] Raw data (loadavg): 0.97 0.93 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 8309 0 0 0 10977 20 0 0 25 0 1 0 21530028 28835840 5367 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7040 5367 364 364 0 6676 0 [pid=9210] vsize: 28160 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 28160 [startup+120.006 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 8367 0 0 0 11977 20 0 0 25 0 1 0 21530028 28835840 5422 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7040 5422 364 364 0 6676 0 [pid=9210] vsize: 28160 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 28160 [startup+130.007 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 8485 0 0 0 12977 20 0 0 25 0 1 0 21530028 29106176 5538 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7106 5538 364 364 0 6742 0 [pid=9210] vsize: 28424 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 28424 [startup+140.008 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 8611 0 0 0 13976 21 0 0 25 0 1 0 21530028 29376512 5662 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7172 5662 364 364 0 6808 0 [pid=9210] vsize: 28688 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 28688 [startup+150.008 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 8735 0 0 0 14976 21 0 0 25 0 1 0 21530028 29646848 5783 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7238 5783 364 364 0 6874 0 [pid=9210] vsize: 28952 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 28952 [startup+160.008 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 8853 0 0 0 15975 22 0 0 25 0 1 0 21530028 29917184 5899 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7304 5899 364 364 0 6940 0 [pid=9210] vsize: 29216 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 29216 [startup+170.008 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 8969 0 0 0 16975 23 0 0 25 0 1 0 21530028 30187520 6013 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7370 6013 364 364 0 7006 0 [pid=9210] vsize: 29480 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 29480 [startup+180.009 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 9090 0 0 0 17974 23 0 0 25 0 1 0 21530028 30457856 6132 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7436 6132 364 364 0 7072 0 [pid=9210] vsize: 29744 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 29744 [startup+190.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 9215 0 0 0 18974 24 0 0 25 0 1 0 21530028 30863360 6255 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7535 6255 364 364 0 7171 0 [pid=9210] vsize: 30140 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 30140 [startup+200.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 9338 0 0 0 19974 24 0 0 25 0 1 0 21530028 31133696 6376 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7601 6376 364 364 0 7237 0 [pid=9210] vsize: 30404 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 30404 [startup+210.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 9459 0 0 0 20974 24 0 0 25 0 1 0 21530028 31404032 6495 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7667 6495 364 364 0 7303 0 [pid=9210] vsize: 30668 Current children cumulated CPU time (s) 209.98 Current children cumulated vsize (Kb) 30668 [startup+220.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 9577 0 0 0 21973 24 0 0 25 0 1 0 21530028 31674368 6611 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7733 6611 364 364 0 7369 0 [pid=9210] vsize: 30932 Current children cumulated CPU time (s) 219.97 Current children cumulated vsize (Kb) 30932 [startup+230.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 9691 0 0 0 22973 25 0 0 25 0 1 0 21530028 32079872 6723 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7832 6723 364 364 0 7468 0 [pid=9210] vsize: 31328 Current children cumulated CPU time (s) 229.98 Current children cumulated vsize (Kb) 31328 [startup+240.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 9804 0 0 0 23972 25 0 0 25 0 1 0 21530028 32350208 6834 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7898 6834 364 364 0 7534 0 [pid=9210] vsize: 31592 Current children cumulated CPU time (s) 239.97 Current children cumulated vsize (Kb) 31592 [startup+250.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 9915 0 0 0 24972 26 0 0 25 0 1 0 21530028 32620544 6944 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 7964 6944 364 364 0 7600 0 [pid=9210] vsize: 31856 Current children cumulated CPU time (s) 249.98 Current children cumulated vsize (Kb) 31856 [startup+260.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 10025 0 0 0 25972 26 0 0 25 0 1 0 21530028 32890880 7052 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8030 7052 364 364 0 7666 0 [pid=9210] vsize: 32120 Current children cumulated CPU time (s) 259.98 Current children cumulated vsize (Kb) 32120 [startup+270.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 10129 0 0 0 26972 26 0 0 25 0 1 0 21530028 33161216 7154 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8096 7154 364 364 0 7732 0 [pid=9210] vsize: 32384 Current children cumulated CPU time (s) 269.98 Current children cumulated vsize (Kb) 32384 [startup+280.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 10235 0 0 0 27972 26 0 0 25 0 1 0 21530028 33431552 7258 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8162 7258 364 364 0 7798 0 [pid=9210] vsize: 32648 Current children cumulated CPU time (s) 279.98 Current children cumulated vsize (Kb) 32648 [startup+290.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 10339 0 0 0 28971 27 0 0 25 0 1 0 21530028 33701888 7361 4294967295 134512640 135987407 3221224560 3221222004 134615464 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8228 7361 364 364 0 7864 0 [pid=9210] vsize: 32912 Current children cumulated CPU time (s) 289.98 Current children cumulated vsize (Kb) 32912 [startup+300.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 10442 0 0 0 29971 28 0 0 25 0 1 0 21530028 33972224 7462 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8294 7462 364 364 0 7930 0 [pid=9210] vsize: 33176 Current children cumulated CPU time (s) 299.99 Current children cumulated vsize (Kb) 33176 [startup+310.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 10541 0 0 0 30970 28 0 0 25 0 1 0 21530028 34242560 7559 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8360 7559 364 364 0 7996 0 [pid=9210] vsize: 33440 Current children cumulated CPU time (s) 309.98 Current children cumulated vsize (Kb) 33440 [startup+320.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 10639 0 0 0 31969 29 0 0 25 0 1 0 21530028 34512896 7656 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8426 7656 364 364 0 8062 0 [pid=9210] vsize: 33704 Current children cumulated CPU time (s) 319.98 Current children cumulated vsize (Kb) 33704 [startup+330.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 10737 0 0 0 32969 29 0 0 25 0 1 0 21530028 34783232 7752 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8492 7752 364 364 0 8128 0 [pid=9210] vsize: 33968 Current children cumulated CPU time (s) 329.98 Current children cumulated vsize (Kb) 33968 [startup+340.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 10832 0 0 0 33969 30 0 0 25 0 1 0 21530028 34918400 7846 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8525 7846 364 364 0 8161 0 [pid=9210] vsize: 34100 Current children cumulated CPU time (s) 339.99 Current children cumulated vsize (Kb) 34100 [startup+350.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 10927 0 0 0 34968 30 0 0 25 0 1 0 21530028 35188736 7939 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8591 7939 364 364 0 8227 0 [pid=9210] vsize: 34364 Current children cumulated CPU time (s) 349.98 Current children cumulated vsize (Kb) 34364 [startup+360.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 11019 0 0 0 35968 30 0 0 25 0 1 0 21530028 35459072 8030 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8657 8030 364 364 0 8293 0 [pid=9210] vsize: 34628 Current children cumulated CPU time (s) 359.98 Current children cumulated vsize (Kb) 34628 [startup+370.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 11112 0 0 0 36967 31 0 0 25 0 1 0 21530028 35729408 8121 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8723 8121 364 364 0 8359 0 [pid=9210] vsize: 34892 Current children cumulated CPU time (s) 369.98 Current children cumulated vsize (Kb) 34892 [startup+380.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 11203 0 0 0 37967 31 0 0 25 0 1 0 21530028 35864576 8211 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8756 8211 364 364 0 8392 0 [pid=9210] vsize: 35024 Current children cumulated CPU time (s) 379.98 Current children cumulated vsize (Kb) 35024 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 11293 0 0 0 38966 32 0 0 25 0 1 0 21530028 36134912 8299 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8822 8299 364 364 0 8458 0 [pid=9210] vsize: 35288 Current children cumulated CPU time (s) 389.98 Current children cumulated vsize (Kb) 35288 [startup+400.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 11382 0 0 0 39967 32 0 0 25 0 1 0 21530028 36405248 8387 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8888 8387 364 364 0 8524 0 [pid=9210] vsize: 35552 Current children cumulated CPU time (s) 399.99 Current children cumulated vsize (Kb) 35552 [startup+410.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 11469 0 0 0 40966 32 0 0 25 0 1 0 21530028 36540416 8472 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8921 8472 364 364 0 8557 0 [pid=9210] vsize: 35684 Current children cumulated CPU time (s) 409.98 Current children cumulated vsize (Kb) 35684 [startup+420.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 11557 0 0 0 41966 33 0 0 25 0 1 0 21530028 36810752 8559 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 8987 8559 364 364 0 8623 0 [pid=9210] vsize: 35948 Current children cumulated CPU time (s) 419.99 Current children cumulated vsize (Kb) 35948 [startup+430.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 11642 0 0 0 42966 33 0 0 25 0 1 0 21530028 37081088 8643 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 9053 8643 364 364 0 8689 0 [pid=9210] vsize: 36212 Current children cumulated CPU time (s) 429.99 Current children cumulated vsize (Kb) 36212 [startup+440.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 11727 0 0 0 43965 34 0 0 25 0 1 0 21530028 37216256 8726 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 9086 8726 364 364 0 8722 0 [pid=9210] vsize: 36344 Current children cumulated CPU time (s) 439.99 Current children cumulated vsize (Kb) 36344 [startup+450.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 11811 0 0 0 44965 34 0 0 25 0 1 0 21530028 37486592 8809 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 9152 8809 364 364 0 8788 0 [pid=9210] vsize: 36608 Current children cumulated CPU time (s) 449.99 Current children cumulated vsize (Kb) 36608 [startup+460.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 31619 0 0 0 45918 79 0 0 25 0 1 0 21530028 97763328 23028 4294967295 134512640 135987407 3221224560 3220736816 134537491 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 23868 23028 364 364 0 23504 0 [pid=9210] vsize: 95472 Current children cumulated CPU time (s) 459.97 Current children cumulated vsize (Kb) 95472 [startup+470.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 63763 0 0 0 46850 145 0 0 25 0 1 0 21530028 205369344 40881 4294967295 134512640 135987407 3221224560 3220583488 134856427 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 50139 40881 364 364 0 49775 0 [pid=9210] vsize: 200556 Current children cumulated CPU time (s) 469.95 Current children cumulated vsize (Kb) 200556 [startup+480.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 103728 0 0 0 47762 231 0 0 25 0 1 0 21530028 319537152 58624 4294967295 134512640 135987407 3221224560 3221218048 134887291 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 78012 58624 364 364 0 77648 0 [pid=9210] vsize: 312048 Current children cumulated CPU time (s) 479.93 Current children cumulated vsize (Kb) 312048 [startup+490.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 117776 0 0 0 48730 262 0 0 25 0 1 0 21530028 356335616 72439 4294967295 134512640 135987407 3221224560 3221113136 134537472 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 86996 72439 364 364 0 86632 0 [pid=9210] vsize: 347984 Current children cumulated CPU time (s) 489.92 Current children cumulated vsize (Kb) 347984 [startup+500.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 159064 0 0 0 49645 343 0 0 25 0 1 0 21530028 483737600 94108 4294967295 134512640 135987407 3221224560 3220821868 135480504 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 118100 94108 364 364 0 117736 0 [pid=9210] vsize: 472400 Current children cumulated CPU time (s) 499.88 Current children cumulated vsize (Kb) 472400 [startup+510.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 196660 0 0 0 50565 423 0 0 25 0 1 0 21530028 588050432 106913 4294967295 134512640 135987407 3221224560 3220727364 135480535 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 143567 106913 364 364 0 143203 0 [pid=9210] vsize: 574268 Current children cumulated CPU time (s) 509.88 Current children cumulated vsize (Kb) 574268 [startup+520.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 210428 0 0 0 51535 453 0 0 25 0 1 0 21530028 625659904 120456 4294967295 134512640 135987407 3221224560 3220721392 134537376 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 152749 120456 364 364 0 152385 0 [pid=9210] vsize: 610996 Current children cumulated CPU time (s) 519.88 Current children cumulated vsize (Kb) 610996 [startup+530.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 225803 0 0 0 52498 490 0 0 25 0 1 0 21530028 629727232 135578 4294967295 134512640 135987407 3221224560 3220692128 134537496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 153742 135578 364 364 0 153378 0 [pid=9210] vsize: 614968 Current children cumulated CPU time (s) 529.88 Current children cumulated vsize (Kb) 614968 [startup+540.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) R 9209 9210 4059 0 -1 0 238938 0 0 0 53468 519 0 0 25 0 1 0 21530028 687222784 148513 4294967295 134512640 135987407 3221224560 3221118064 134856502 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9210/statm): 167779 148513 364 364 0 167415 0 [pid=9210] vsize: 671116 Current children cumulated CPU time (s) 539.87 Current children cumulated vsize (Kb) 671116 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+544.205 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 9210 Raw data (/proc/9210/stat): 9210 (pb2sat) T 9209 9210 4059 0 -1 0 245922 0 0 0 53872 533 0 0 25 0 1 0 21530028 977440768 155395 4294967295 134512640 135987407 3221224560 3220663632 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9210/statm): 238633 155395 364 364 0 238269 0 [pid=9210] vsize: 954532 Current children cumulated CPU time (s) 544.05 Current children cumulated vsize (Kb) 954532 Sending SIGTERM to -9210 Sleeping 2 seconds Sending SIGKILL to -9210 One traced child (pid=9210) 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): 546.526 CPU time (s): 544.546 CPU user time (s): 538.893 CPU system time (s): 5.65314 CPU usage (%): 99.6377 Max. virtual memory (cumulated for all children) (Kb): 954532
ERROR: no interpretation found !