Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb |
MD5SUM | 5b9b020cb595d55e8dbba526590c1088 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 144804 |
Biggest coefficient in the objective function | 37355509514240 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 86052429291555573 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 37355509514240 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 86052429291555573 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1211.57 |
Number of variables | 211663 |
Total number of constraints | 6093 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 128 |
Number of constraints which are nor clauses,nor cardinality constraints | 5965 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16460 |
LAUNCH ON wulflinc1 THE 2005-09-23 18:20:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9199 boxname=wulflinc1 idbench=995 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 5b9b020cb595d55e8dbba526590c1088 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mod011.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mod011.opb IDLAUNCH: 9199 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.228 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.228 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: 867468 kB Buffers: 13832 kB Cached: 135292 kB SwapCached: 0 kB Active: 88804 kB Inactive: 63220 kB HighTotal: 131008 kB HighFree: 3808 kB LowTotal: 903652 kB LowFree: 863660 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6988 kB Slab: 9560 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 18:31:45 (client local time) WITH STATUS 1 IN 686.28 SECONDS stats: 9199 7 686.28 1
c This solver internally uses Chaff 2004.11.15 Simplified Unexpected exception : St9bad_alloc
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/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22319914 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 373 2 364 364 0 9 0 [pid=11317] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mod011.opb [startup+10.002 s] Raw data (loadavg): 0.98 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 2505 0 0 0 992 6 0 0 25 0 1 0 22319914 9367552 1819 4294967295 134512640 135987407 3221224560 3221221800 135486713 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 2287 1819 364 364 0 1923 0 [pid=11317] vsize: 9148 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9148 [startup+20.0028 s] Raw data (loadavg): 0.98 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 3042 0 0 0 1990 7 0 0 25 0 1 0 22319914 10719232 2347 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 2617 2347 364 364 0 2253 0 [pid=11317] vsize: 10468 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 10468 [startup+30.0036 s] Raw data (loadavg): 0.98 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 4431 0 0 0 2987 10 0 0 25 0 1 0 22319914 15765504 2991 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 3849 2991 364 364 0 3485 0 [pid=11317] vsize: 15396 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 15396 [startup+40.0044 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 4721 0 0 0 3987 11 0 0 25 0 1 0 22319914 16441344 3276 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 4014 3276 364 364 0 3650 0 [pid=11317] vsize: 16056 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16056 [startup+50.0061 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 4982 0 0 0 4986 12 0 0 25 0 1 0 22319914 17117184 3533 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 4179 3533 364 364 0 3815 0 [pid=11317] vsize: 16716 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16716 [startup+60.0059 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 5212 0 0 0 5985 13 0 0 25 0 1 0 22319914 17793024 3759 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 4344 3759 364 364 0 3980 0 [pid=11317] vsize: 17376 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17376 [startup+70.0067 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 5420 0 0 0 6985 13 0 0 25 0 1 0 22319914 18333696 3964 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 4476 3964 364 364 0 4112 0 [pid=11317] vsize: 17904 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17904 [startup+80.0075 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 5612 0 0 0 7984 14 0 0 25 0 1 0 22319914 18739200 4153 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 4575 4153 364 364 0 4211 0 [pid=11317] vsize: 18300 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 18300 [startup+90.0073 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 5792 0 0 0 8984 14 0 0 25 0 1 0 22319914 19279872 4330 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 4707 4330 364 364 0 4343 0 [pid=11317] vsize: 18828 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18828 [startup+100.008 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 5965 0 0 0 9983 15 0 0 25 0 1 0 22319914 19685376 4500 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 4806 4500 364 364 0 4442 0 [pid=11317] vsize: 19224 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 19224 [startup+110.009 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8306 0 0 0 10978 20 0 0 25 0 1 0 22319914 28696576 5363 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7006 5363 364 364 0 6642 0 [pid=11317] vsize: 28024 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 28024 [startup+120.01 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8363 0 0 0 11978 20 0 0 25 0 1 0 22319914 28696576 5418 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7006 5418 364 364 0 6642 0 [pid=11317] vsize: 28024 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28024 [startup+130.01 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8488 0 0 0 12978 20 0 0 25 0 1 0 22319914 28966912 5541 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7072 5541 364 364 0 6708 0 [pid=11317] 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 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8613 0 0 0 13977 21 0 0 25 0 1 0 22319914 29372416 5663 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7171 5663 364 364 0 6807 0 [pid=11317] vsize: 28684 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 28684 [startup+150.011 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8736 0 0 0 14977 21 0 0 25 0 1 0 22319914 29642752 5784 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7237 5784 364 364 0 6873 0 [pid=11317] vsize: 28948 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 28948 [startup+160.011 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8853 0 0 0 15976 22 0 0 25 0 1 0 22319914 29913088 5899 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7303 5899 364 364 0 6939 0 [pid=11317] vsize: 29212 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 29212 [startup+170.011 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8967 0 0 0 16976 22 0 0 25 0 1 0 22319914 30183424 6011 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7369 6011 364 364 0 7005 0 [pid=11317] 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 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9091 0 0 0 17976 22 0 0 25 0 1 0 22319914 30453760 6133 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7435 6133 364 364 0 7071 0 [pid=11317] vsize: 29740 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 29740 [startup+190.012 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9214 0 0 0 18975 23 0 0 25 0 1 0 22319914 30724096 6254 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7501 6254 364 364 0 7137 0 [pid=11317] 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 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9338 0 0 0 19975 24 0 0 25 0 1 0 22319914 31129600 6376 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7600 6376 364 364 0 7236 0 [pid=11317] vsize: 30400 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 30400 [startup+210.014 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9457 0 0 0 20975 24 0 0 25 0 1 0 22319914 31399936 6493 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7666 6493 364 364 0 7302 0 [pid=11317] vsize: 30664 Current children cumulated CPU time (s) 209.99 Current children cumulated vsize (Kb) 30664 [startup+220.014 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9575 0 0 0 21974 24 0 0 25 0 1 0 22319914 31670272 6609 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7732 6609 364 364 0 7368 0 [pid=11317] vsize: 30928 Current children cumulated CPU time (s) 219.98 Current children cumulated vsize (Kb) 30928 [startup+230.014 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9691 0 0 0 22974 25 0 0 25 0 1 0 22319914 31940608 6723 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7798 6723 364 364 0 7434 0 [pid=11317] vsize: 31192 Current children cumulated CPU time (s) 229.99 Current children cumulated vsize (Kb) 31192 [startup+240.014 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9801 0 0 0 23974 25 0 0 25 0 1 0 22319914 32346112 6831 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7897 6831 364 364 0 7533 0 [pid=11317] vsize: 31588 Current children cumulated CPU time (s) 239.99 Current children cumulated vsize (Kb) 31588 [startup+250.015 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9912 0 0 0 24974 25 0 0 25 0 1 0 22319914 32616448 6940 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 7963 6940 364 364 0 7599 0 [pid=11317] vsize: 31852 Current children cumulated CPU time (s) 249.99 Current children cumulated vsize (Kb) 31852 [startup+260.016 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10019 0 0 0 25973 26 0 0 25 0 1 0 22319914 32886784 7046 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8029 7046 364 364 0 7665 0 [pid=11317] vsize: 32116 Current children cumulated CPU time (s) 259.99 Current children cumulated vsize (Kb) 32116 [startup+270.015 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10127 0 0 0 26973 26 0 0 25 0 1 0 22319914 33157120 7152 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8095 7152 364 364 0 7731 0 [pid=11317] vsize: 32380 Current children cumulated CPU time (s) 269.99 Current children cumulated vsize (Kb) 32380 [startup+280.016 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10233 0 0 0 27972 27 0 0 25 0 1 0 22319914 33427456 7256 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8161 7256 364 364 0 7797 0 [pid=11317] vsize: 32644 Current children cumulated CPU time (s) 279.99 Current children cumulated vsize (Kb) 32644 [startup+290.017 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10335 0 0 0 28972 27 0 0 25 0 1 0 22319914 33697792 7356 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8227 7356 364 364 0 7863 0 [pid=11317] vsize: 32908 Current children cumulated CPU time (s) 289.99 Current children cumulated vsize (Kb) 32908 [startup+300.018 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10437 0 0 0 29972 27 0 0 25 0 1 0 22319914 33968128 7457 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8293 7457 364 364 0 7929 0 [pid=11317] vsize: 33172 Current children cumulated CPU time (s) 299.99 Current children cumulated vsize (Kb) 33172 [startup+310.019 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10537 0 0 0 30971 28 0 0 25 0 1 0 22319914 34238464 7555 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8359 7555 364 364 0 7995 0 [pid=11317] 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 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10634 0 0 0 31971 28 0 0 25 0 1 0 22319914 34373632 7651 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8392 7651 364 364 0 8028 0 [pid=11317] vsize: 33568 Current children cumulated CPU time (s) 319.99 Current children cumulated vsize (Kb) 33568 [startup+330.019 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10733 0 0 0 32971 28 0 0 25 0 1 0 22319914 34643968 7748 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8458 7748 364 364 0 8094 0 [pid=11317] vsize: 33832 Current children cumulated CPU time (s) 329.99 Current children cumulated vsize (Kb) 33832 [startup+340.019 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10828 0 0 0 33971 28 0 0 25 0 1 0 22319914 34914304 7841 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8524 7841 364 364 0 8160 0 [pid=11317] vsize: 34096 Current children cumulated CPU time (s) 339.99 Current children cumulated vsize (Kb) 34096 [startup+350.02 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10922 0 0 0 34971 28 0 0 25 0 1 0 22319914 35184640 7934 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8590 7934 364 364 0 8226 0 [pid=11317] vsize: 34360 Current children cumulated CPU time (s) 349.99 Current children cumulated vsize (Kb) 34360 [startup+360.021 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11014 0 0 0 35971 29 0 0 25 0 1 0 22319914 35454976 8024 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8656 8024 364 364 0 8292 0 [pid=11317] vsize: 34624 Current children cumulated CPU time (s) 360 Current children cumulated vsize (Kb) 34624 [startup+370.02 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11107 0 0 0 36971 29 0 0 25 0 1 0 22319914 35590144 8116 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8689 8116 364 364 0 8325 0 [pid=11317] vsize: 34756 Current children cumulated CPU time (s) 370 Current children cumulated vsize (Kb) 34756 [startup+380.021 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11199 0 0 0 37971 29 0 0 25 0 1 0 22319914 35860480 8206 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8755 8206 364 364 0 8391 0 [pid=11317] vsize: 35020 Current children cumulated CPU time (s) 380 Current children cumulated vsize (Kb) 35020 [startup+390.022 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11285 0 0 0 38970 29 0 0 25 0 1 0 22319914 36130816 8291 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8821 8291 364 364 0 8457 0 [pid=11317] vsize: 35284 Current children cumulated CPU time (s) 389.99 Current children cumulated vsize (Kb) 35284 [startup+400.022 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11374 0 0 0 39970 30 0 0 25 0 1 0 22319914 36265984 8379 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8854 8379 364 364 0 8490 0 [pid=11317] vsize: 35416 Current children cumulated CPU time (s) 400 Current children cumulated vsize (Kb) 35416 [startup+410.023 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11463 0 0 0 40970 30 0 0 25 0 1 0 22319914 36536320 8466 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8920 8466 364 364 0 8556 0 [pid=11317] vsize: 35680 Current children cumulated CPU time (s) 410 Current children cumulated vsize (Kb) 35680 [startup+420.022 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11549 0 0 0 41969 30 0 0 25 0 1 0 22319914 36806656 8551 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 8986 8551 364 364 0 8622 0 [pid=11317] vsize: 35944 Current children cumulated CPU time (s) 419.99 Current children cumulated vsize (Kb) 35944 [startup+430.023 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11634 0 0 0 42969 31 0 0 25 0 1 0 22319914 36941824 8634 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 9019 8634 364 364 0 8655 0 [pid=11317] vsize: 36076 Current children cumulated CPU time (s) 430 Current children cumulated vsize (Kb) 36076 [startup+440.023 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11718 0 0 0 43969 31 0 0 25 0 1 0 22319914 37212160 8717 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 9085 8717 364 364 0 8721 0 [pid=11317] vsize: 36340 Current children cumulated CPU time (s) 440 Current children cumulated vsize (Kb) 36340 [startup+450.023 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11802 0 0 0 44968 32 0 0 25 0 1 0 22319914 37482496 8800 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 9151 8800 364 364 0 8787 0 [pid=11317] vsize: 36604 Current children cumulated CPU time (s) 450 Current children cumulated vsize (Kb) 36604 [startup+460.024 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11885 0 0 0 45968 32 0 0 25 0 1 0 22319914 37617664 8881 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 9184 8881 364 364 0 8820 0 [pid=11317] vsize: 36736 Current children cumulated CPU time (s) 460 Current children cumulated vsize (Kb) 36736 [startup+470.023 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 12556 0 0 0 46967 33 0 0 25 0 1 0 22319914 56393728 9528 4294967295 134512640 135987407 3221224560 3221221248 134854872 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 13768 9528 364 364 0 13404 0 [pid=11317] vsize: 55072 Current children cumulated CPU time (s) 470 Current children cumulated vsize (Kb) 55072 [startup+480.024 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16484 0 0 0 47959 41 0 0 25 0 1 0 22319914 55640064 10531 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 13584 10531 364 364 0 13220 0 [pid=11317] vsize: 54336 Current children cumulated CPU time (s) 480 Current children cumulated vsize (Kb) 54336 [startup+490.025 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16515 0 0 0 48958 41 0 0 25 0 1 0 22319914 55640064 10560 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 13584 10560 364 364 0 13220 0 [pid=11317] vsize: 54336 Current children cumulated CPU time (s) 489.99 Current children cumulated vsize (Kb) 54336 [startup+500.025 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16544 0 0 0 49958 42 0 0 25 0 1 0 22319914 55640064 10588 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 13584 10588 364 364 0 13220 0 [pid=11317] vsize: 54336 Current children cumulated CPU time (s) 500 Current children cumulated vsize (Kb) 54336 [startup+510.024 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16573 0 0 0 50958 42 0 0 25 0 1 0 22319914 55640064 10616 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 13584 10616 364 364 0 13220 0 [pid=11317] vsize: 54336 Current children cumulated CPU time (s) 510 Current children cumulated vsize (Kb) 54336 [startup+520.024 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16602 0 0 0 51958 42 0 0 25 0 1 0 22319914 55640064 10644 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 13584 10644 364 364 0 13220 0 [pid=11317] vsize: 54336 Current children cumulated CPU time (s) 520 Current children cumulated vsize (Kb) 54336 [startup+530.025 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16631 0 0 0 52958 42 0 0 25 0 1 0 22319914 55640064 10671 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 13584 10671 364 364 0 13220 0 [pid=11317] vsize: 54336 Current children cumulated CPU time (s) 530 Current children cumulated vsize (Kb) 54336 [startup+540.025 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16676 0 0 0 53957 42 0 0 25 0 1 0 22319914 55775232 10715 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 13617 10715 364 364 0 13253 0 [pid=11317] vsize: 54468 Current children cumulated CPU time (s) 539.99 Current children cumulated vsize (Kb) 54468 [startup+550.025 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16742 0 0 0 54957 42 0 0 25 0 1 0 22319914 55910400 10780 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 13650 10780 364 364 0 13286 0 [pid=11317] vsize: 54600 Current children cumulated CPU time (s) 549.99 Current children cumulated vsize (Kb) 54600 [startup+560.025 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16809 0 0 0 55957 43 0 0 25 0 1 0 22319914 56045568 10846 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 13683 10846 364 364 0 13319 0 [pid=11317] vsize: 54732 Current children cumulated CPU time (s) 560 Current children cumulated vsize (Kb) 54732 [startup+570.026 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16873 0 0 0 56957 43 0 0 25 0 1 0 22319914 56180736 10909 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 13716 10909 364 364 0 13352 0 [pid=11317] vsize: 54864 Current children cumulated CPU time (s) 570 Current children cumulated vsize (Kb) 54864 [startup+580.027 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 18958 0 0 0 57952 48 0 0 25 0 1 0 22319914 63623168 12829 4294967295 134512640 135987407 3221224560 3221218528 134856377 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 15533 12829 364 364 0 15169 0 [pid=11317] vsize: 62132 Current children cumulated CPU time (s) 580 Current children cumulated vsize (Kb) 62132 [startup+590.028 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 27881 0 0 0 58928 70 0 0 25 0 1 0 22319914 89935872 20220 4294967295 134512640 135987407 3221224560 3216340620 135482121 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 21957 20220 364 364 0 21593 0 [pid=11317] vsize: 87828 Current children cumulated CPU time (s) 589.98 Current children cumulated vsize (Kb) 87828 [startup+600.029 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 57473 0 0 0 59864 133 0 0 25 0 1 0 22319914 222908416 40130 4294967295 134512640 135987407 3221224560 3221204912 134887487 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 54421 40130 364 364 0 54057 0 [pid=11317] vsize: 217684 Current children cumulated CPU time (s) 599.97 Current children cumulated vsize (Kb) 217684 [startup+610.029 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 88992 0 0 0 60802 192 0 0 25 0 1 0 22319914 278167552 55572 4294967295 134512640 135987407 3221224560 3221204380 135480452 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 67912 55572 364 364 0 67548 0 [pid=11317] vsize: 271648 Current children cumulated CPU time (s) 609.94 Current children cumulated vsize (Kb) 271648 [startup+620.029 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 117666 0 0 0 61739 254 0 0 25 0 1 0 22319914 385597440 71752 4294967295 134512640 135987407 3221224560 3221204336 134877753 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 94140 71752 364 364 0 93776 0 [pid=11317] vsize: 376560 Current children cumulated CPU time (s) 619.93 Current children cumulated vsize (Kb) 376560 [startup+630.03 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 158512 0 0 0 62665 323 0 0 25 0 1 0 22319914 590819328 111513 4294967295 134512640 135987407 3221224560 3221205356 135500012 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 144243 111513 364 364 0 143879 0 [pid=11317] vsize: 576972 Current children cumulated CPU time (s) 629.88 Current children cumulated vsize (Kb) 576972 [startup+640.031 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 179097 0 0 0 63623 364 0 0 25 0 1 0 22319914 551976960 113349 4294967295 134512640 135987407 3221224560 3221207516 134637011 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 134760 113349 364 364 0 134396 0 [pid=11317] vsize: 539040 Current children cumulated CPU time (s) 639.87 Current children cumulated vsize (Kb) 539040 [startup+650.03 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 219463 0 0 0 64538 446 0 0 25 0 1 0 22319914 675676160 128944 4294967295 134512640 135987407 3221224560 3221207216 134537491 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 164960 128944 364 364 0 164596 0 [pid=11317] vsize: 659840 Current children cumulated CPU time (s) 649.84 Current children cumulated vsize (Kb) 659840 [startup+660.031 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 234793 0 0 0 65508 475 0 0 25 0 1 0 22319914 730648576 144083 4294967295 134512640 135987407 3221224560 3221208272 134887887 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 178381 144083 364 364 0 178017 0 [pid=11317] vsize: 713524 Current children cumulated CPU time (s) 659.83 Current children cumulated vsize (Kb) 713524 [startup+670.032 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 252817 0 0 0 66473 508 0 0 25 0 1 0 22319914 755621888 161880 4294967295 134512640 135987407 3221224560 3221209540 134636948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 184478 161880 364 364 0 184114 0 [pid=11317] vsize: 737912 Current children cumulated CPU time (s) 669.81 Current children cumulated vsize (Kb) 737912 [startup+680.033 s] Raw data (loadavg): 0.99 1.00 0.95 2/55 11317 Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 271541 0 0 0 67441 537 0 0 25 0 1 0 22319914 782811136 179762 4294967295 134512640 135987407 3221224560 3221222900 135479922 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11317/statm): 191116 179762 364 364 0 190752 0 [pid=11317] vsize: 764464 Current children cumulated CPU time (s) 679.78 Current children cumulated vsize (Kb) 764464 One traced child (pid=11317) exited with status: 1 All traced children have exited ! Game is over. Child status: 1 Real time (s): 686.521 CPU time (s): 686.28 CPU user time (s): 680.532 CPU system time (s): 5.74813 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (Kb): 764464
ERROR: no interpretation found !