Name | mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb |
MD5SUM | d116f9238cf2e97b47b1161aa0f7f9ea |
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 | 124714 |
Biggest coefficient in the objective function | 2100440996511744 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 862062472006152900 |
Number of bits of the sum of numbers in the objective function | 60 |
Biggest number in a constraint | 52428800000000000 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 4176904799999651840 |
Number of bits of the biggest sum of numbers | 62 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 244494 |
Total number of constraints | 6084 |
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 | 6084 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 4560 |
LAUNCH ON wulflinc15 THE 2005-09-23 17:44:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9012 boxname=wulflinc15 idbench=808 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: d116f9238cf2e97b47b1161aa0f7f9ea /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-dfl001.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-dfl001.opb IDLAUNCH: 9012 /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: 878048 kB Buffers: 4424 kB Cached: 131576 kB SwapCached: 0 kB Active: 34176 kB Inactive: 104792 kB HighTotal: 131008 kB HighFree: 63420 kB LowTotal: 903652 kB LowFree: 814628 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 32 kB Writeback: 0 kB Mapped: 6984 kB Slab: 11984 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:53:29 (client local time) WITH STATUS 1 IN 534.814 SECONDS stats: 9012 7 534.814 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/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 22083519 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8448/statm): 373 2 364 364 0 9 0 [pid=8448] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-dfl001.opb [startup+10.0025 s] Raw data (loadavg): 0.92 0.93 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 2530 0 0 0 991 6 0 0 25 0 1 0 22083519 9502720 1844 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 2320 1844 364 364 0 1956 0 [pid=8448] vsize: 9280 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 9280 [startup+20.0034 s] Raw data (loadavg): 0.93 0.94 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 4182 0 0 0 1987 11 0 0 25 0 1 0 22083519 15224832 2748 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 3717 2748 364 364 0 3353 0 [pid=8448] vsize: 14868 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 14868 [startup+30.0032 s] Raw data (loadavg): 0.94 0.94 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 4434 0 0 0 2985 12 0 0 25 0 1 0 22083519 15765504 2994 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 3849 2995 364 364 0 3485 0 [pid=8448] vsize: 15396 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 15396 [startup+40.003 s] Raw data (loadavg): 0.95 0.94 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 4711 0 0 0 3984 13 0 0 25 0 1 0 22083519 16441344 3266 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 4014 3266 364 364 0 3650 0 [pid=8448] vsize: 16056 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 16056 [startup+50.0038 s] Raw data (loadavg): 0.96 0.94 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 4957 0 0 0 4983 14 0 0 25 0 1 0 22083519 17117184 3508 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 4179 3508 364 364 0 3815 0 [pid=8448] vsize: 16716 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 16716 [startup+60.0036 s] Raw data (loadavg): 0.96 0.94 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 5179 0 0 0 5983 15 0 0 25 0 1 0 22083519 17657856 3727 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 4311 3727 364 364 0 3947 0 [pid=8448] vsize: 17244 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17244 [startup+70.0035 s] Raw data (loadavg): 0.97 0.94 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 5384 0 0 0 6982 15 0 0 25 0 1 0 22083519 18198528 3928 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 4443 3928 364 364 0 4079 0 [pid=8448] vsize: 17772 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 17772 [startup+80.0043 s] Raw data (loadavg): 0.97 0.95 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 5577 0 0 0 7981 16 0 0 25 0 1 0 22083519 18739200 4118 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 4575 4118 364 364 0 4211 0 [pid=8448] vsize: 18300 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 18300 [startup+90.0041 s] Raw data (loadavg): 0.98 0.95 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 5758 0 0 0 8981 17 0 0 25 0 1 0 22083519 19144704 4296 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 4674 4296 364 364 0 4310 0 [pid=8448] vsize: 18696 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18696 [startup+100.005 s] Raw data (loadavg): 0.98 0.95 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 5929 0 0 0 9980 17 0 0 25 0 1 0 22083519 19550208 4465 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 4773 4465 364 364 0 4409 0 [pid=8448] vsize: 19092 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 19092 [startup+110.006 s] Raw data (loadavg): 0.98 0.95 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8295 0 0 0 10975 22 0 0 25 0 1 0 22083519 28696576 5353 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7006 5353 364 364 0 6642 0 [pid=8448] vsize: 28024 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 28024 [startup+120.006 s] Raw data (loadavg): 0.98 0.95 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8353 0 0 0 11975 22 0 0 25 0 1 0 22083519 28696576 5409 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7006 5409 364 364 0 6642 0 [pid=8448] vsize: 28024 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 28024 [startup+130.006 s] Raw data (loadavg): 0.99 0.95 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8462 0 0 0 12975 23 0 0 25 0 1 0 22083519 28966912 5515 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7072 5515 364 364 0 6708 0 [pid=8448] vsize: 28288 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 28288 [startup+140.006 s] Raw data (loadavg): 0.99 0.95 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8590 0 0 0 13974 23 0 0 25 0 1 0 22083519 29237248 5641 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7138 5641 364 364 0 6774 0 [pid=8448] vsize: 28552 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 28552 [startup+150.007 s] Raw data (loadavg): 0.99 0.95 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8711 0 0 0 14974 24 0 0 25 0 1 0 22083519 29507584 5760 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7204 5760 364 364 0 6840 0 [pid=8448] vsize: 28816 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 28816 [startup+160.007 s] Raw data (loadavg): 0.99 0.95 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8830 0 0 0 15974 24 0 0 25 0 1 0 22083519 29777920 5876 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7270 5876 364 364 0 6906 0 [pid=8448] vsize: 29080 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 29080 [startup+170.007 s] Raw data (loadavg): 0.99 0.95 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 8945 0 0 0 16974 24 0 0 25 0 1 0 22083519 30048256 5989 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7336 5989 364 364 0 6972 0 [pid=8448] vsize: 29344 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 29344 [startup+180.008 s] Raw data (loadavg): 0.99 0.95 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9063 0 0 0 17973 25 0 0 25 0 1 0 22083519 30453760 6105 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7435 6105 364 364 0 7071 0 [pid=8448] vsize: 29740 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 29740 [startup+190.008 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9188 0 0 0 18973 26 0 0 25 0 1 0 22083519 30724096 6228 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7501 6228 364 364 0 7137 0 [pid=8448] vsize: 30004 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 30004 [startup+200.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9308 0 0 0 19973 26 0 0 25 0 1 0 22083519 30994432 6346 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7567 6346 364 364 0 7203 0 [pid=8448] vsize: 30268 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 30268 [startup+210.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9429 0 0 0 20972 26 0 0 25 0 1 0 22083519 31399936 6465 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7666 6465 364 364 0 7302 0 [pid=8448] vsize: 30664 Current children cumulated CPU time (s) 209.98 Current children cumulated vsize (Kb) 30664 [startup+220.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9545 0 0 0 21971 27 0 0 25 0 1 0 22083519 31670272 6579 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7732 6579 364 364 0 7368 0 [pid=8448] vsize: 30928 Current children cumulated CPU time (s) 219.98 Current children cumulated vsize (Kb) 30928 [startup+230.01 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9658 0 0 0 22971 28 0 0 25 0 1 0 22083519 31940608 6690 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7798 6690 364 364 0 7434 0 [pid=8448] vsize: 31192 Current children cumulated CPU time (s) 229.99 Current children cumulated vsize (Kb) 31192 [startup+240.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9771 0 0 0 23971 28 0 0 25 0 1 0 22083519 32210944 6802 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7864 6802 364 364 0 7500 0 [pid=8448] vsize: 31456 Current children cumulated CPU time (s) 239.99 Current children cumulated vsize (Kb) 31456 [startup+250.01 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9881 0 0 0 24970 29 0 0 25 0 1 0 22083519 32481280 6910 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7930 6910 364 364 0 7566 0 [pid=8448] vsize: 31720 Current children cumulated CPU time (s) 249.99 Current children cumulated vsize (Kb) 31720 [startup+260.011 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 9988 0 0 0 25970 29 0 0 25 0 1 0 22083519 32751616 7015 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 7996 7015 364 364 0 7632 0 [pid=8448] vsize: 31984 Current children cumulated CPU time (s) 259.99 Current children cumulated vsize (Kb) 31984 [startup+270.011 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10094 0 0 0 26970 30 0 0 25 0 1 0 22083519 33021952 7119 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8062 7119 364 364 0 7698 0 [pid=8448] vsize: 32248 Current children cumulated CPU time (s) 270 Current children cumulated vsize (Kb) 32248 [startup+280.012 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10198 0 0 0 27970 30 0 0 25 0 1 0 22083519 33292288 7222 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8128 7222 364 364 0 7764 0 [pid=8448] vsize: 32512 Current children cumulated CPU time (s) 280 Current children cumulated vsize (Kb) 32512 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10300 0 0 0 28970 30 0 0 25 0 1 0 22083519 33562624 7322 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8194 7322 364 364 0 7830 0 [pid=8448] 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.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10401 0 0 0 29970 31 0 0 25 0 1 0 22083519 33832960 7421 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8260 7421 364 364 0 7896 0 [pid=8448] vsize: 33040 Current children cumulated CPU time (s) 300.01 Current children cumulated vsize (Kb) 33040 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10500 0 0 0 30969 31 0 0 25 0 1 0 22083519 34103296 7519 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8326 7519 364 364 0 7962 0 [pid=8448] vsize: 33304 Current children cumulated CPU time (s) 310 Current children cumulated vsize (Kb) 33304 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10598 0 0 0 31969 31 0 0 25 0 1 0 22083519 34373632 7615 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8392 7615 364 364 0 8028 0 [pid=8448] vsize: 33568 Current children cumulated CPU time (s) 320 Current children cumulated vsize (Kb) 33568 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10694 0 0 0 32969 32 0 0 25 0 1 0 22083519 34643968 7710 4294967295 134512640 135987407 3221224560 3221221744 134536109 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8458 7710 364 364 0 8094 0 [pid=8448] vsize: 33832 Current children cumulated CPU time (s) 330.01 Current children cumulated vsize (Kb) 33832 [startup+340.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10789 0 0 0 33969 32 0 0 25 0 1 0 22083519 34779136 7803 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8491 7803 364 364 0 8127 0 [pid=8448] vsize: 33964 Current children cumulated CPU time (s) 340.01 Current children cumulated vsize (Kb) 33964 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10882 0 0 0 34968 32 0 0 25 0 1 0 22083519 35049472 7895 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8557 7895 364 364 0 8193 0 [pid=8448] vsize: 34228 Current children cumulated CPU time (s) 350 Current children cumulated vsize (Kb) 34228 [startup+360.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 10975 0 0 0 35969 32 0 0 25 0 1 0 22083519 35319808 7986 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8623 7986 364 364 0 8259 0 [pid=8448] vsize: 34492 Current children cumulated CPU time (s) 360.01 Current children cumulated vsize (Kb) 34492 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11066 0 0 0 36968 33 0 0 25 0 1 0 22083519 35590144 8076 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8689 8076 364 364 0 8325 0 [pid=8448] vsize: 34756 Current children cumulated CPU time (s) 370.01 Current children cumulated vsize (Kb) 34756 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11156 0 0 0 37968 33 0 0 25 0 1 0 22083519 35725312 8164 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8722 8164 364 364 0 8358 0 [pid=8448] vsize: 34888 Current children cumulated CPU time (s) 380.01 Current children cumulated vsize (Kb) 34888 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11245 0 0 0 38968 34 0 0 25 0 1 0 22083519 35995648 8252 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8788 8252 364 364 0 8424 0 [pid=8448] vsize: 35152 Current children cumulated CPU time (s) 390.02 Current children cumulated vsize (Kb) 35152 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11333 0 0 0 39968 34 0 0 25 0 1 0 22083519 36265984 8338 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8854 8338 364 364 0 8490 0 [pid=8448] vsize: 35416 Current children cumulated CPU time (s) 400.02 Current children cumulated vsize (Kb) 35416 [startup+410.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11420 0 0 0 40968 34 0 0 25 0 1 0 22083519 36401152 8424 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8887 8424 364 364 0 8523 0 [pid=8448] vsize: 35548 Current children cumulated CPU time (s) 410.02 Current children cumulated vsize (Kb) 35548 [startup+420.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11506 0 0 0 41967 35 0 0 25 0 1 0 22083519 36671488 8509 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 8953 8509 364 364 0 8589 0 [pid=8448] vsize: 35812 Current children cumulated CPU time (s) 420.02 Current children cumulated vsize (Kb) 35812 [startup+430.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 11589 0 0 0 42967 35 0 0 25 0 1 0 22083519 36941824 8590 4294967295 134512640 135987407 3221224560 3221221280 135486762 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 9019 8590 364 364 0 8655 0 [pid=8448] vsize: 36076 Current children cumulated CPU time (s) 430.02 Current children cumulated vsize (Kb) 36076 [startup+440.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 42004 0 0 0 43893 107 0 0 25 0 1 0 22083519 134901760 25415 4294967295 134512640 135987407 3221224560 3221214636 134669203 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 32935 25417 364 364 0 32571 0 [pid=8448] vsize: 131740 Current children cumulated CPU time (s) 440 Current children cumulated vsize (Kb) 131740 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 77510 0 0 0 44815 183 0 0 25 0 1 0 22083519 247902208 44834 4294967295 134512640 135987407 3221224560 3220988812 135482121 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 60523 44834 364 364 0 60159 0 [pid=8448] vsize: 242092 Current children cumulated CPU time (s) 449.98 Current children cumulated vsize (Kb) 242092 [startup+460.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 108118 0 0 0 45747 249 0 0 25 0 1 0 22083519 356118528 62932 4294967295 134512640 135987407 3221224560 3220949984 134877628 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 86943 62932 364 364 0 86579 0 [pid=8448] vsize: 347772 Current children cumulated CPU time (s) 459.96 Current children cumulated vsize (Kb) 347772 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 126224 0 0 0 46708 286 0 0 25 0 1 0 22083519 381800448 80828 4294967295 134512640 135987407 3221224560 3220954204 135482121 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 93213 80828 364 364 0 92849 0 [pid=8448] vsize: 372852 Current children cumulated CPU time (s) 469.94 Current children cumulated vsize (Kb) 372852 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 169557 0 0 0 47621 368 0 0 25 0 1 0 22083519 520826880 104553 4294967295 134512640 135987407 3221224560 3220963092 134892726 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8448/statm): 127155 104554 364 364 0 126791 0 [pid=8448] vsize: 508620 Current children cumulated CPU time (s) 479.89 Current children cumulated vsize (Kb) 508620 [startup+490.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 210035 0 0 0 48535 452 0 0 25 0 1 0 22083519 642170880 120261 4294967295 134512640 135987407 3221224560 3220977920 134856587 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8448/statm): 156780 120261 364 364 0 156416 0 [pid=8448] vsize: 627120 Current children cumulated CPU time (s) 489.87 Current children cumulated vsize (Kb) 627120 [startup+500.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 225663 0 0 0 49503 483 0 0 25 0 1 0 22083519 696135680 135700 4294967295 134512640 135987407 3221224560 3220977104 134887887 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8448/statm): 169955 135700 364 364 0 169591 0 [pid=8448] vsize: 679820 Current children cumulated CPU time (s) 499.86 Current children cumulated vsize (Kb) 679820 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 243643 0 0 0 50468 516 0 0 25 0 1 0 22083519 720060416 153462 4294967295 134512640 135987407 3221224560 3220964288 134537491 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8448/statm): 175796 153463 364 364 0 175432 0 [pid=8448] vsize: 703184 Current children cumulated CPU time (s) 509.84 Current children cumulated vsize (Kb) 703184 [startup+520.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 261562 0 0 0 51432 551 0 0 25 0 1 0 22083519 743849984 171165 4294967295 134512640 135987407 3221224560 3220949836 135482121 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8448/statm): 181604 171165 364 364 0 181240 0 [pid=8448] vsize: 726416 Current children cumulated CPU time (s) 519.83 Current children cumulated vsize (Kb) 726416 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8448 Raw data (/proc/8448/stat): 8448 (pb2sat) R 8447 8448 4057 0 -1 0 273875 0 0 0 52406 574 0 0 25 0 1 0 22083519 813539328 182860 4294967295 134512640 135987407 3221224560 3221222932 134562648 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8448/statm): 198618 182860 364 364 0 198254 0 [pid=8448] vsize: 794472 Current children cumulated CPU time (s) 529.8 Current children cumulated vsize (Kb) 794472 One traced child (pid=8448) exited with status: 1 All traced children have exited ! Game is over. Child status: 1 Real time (s): 535.018 CPU time (s): 534.814 CPU user time (s): 528.685 CPU system time (s): 6.12907 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (Kb): 794472
ERROR: no interpretation found !