Name | mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb |
MD5SUM | 2e76b80d3e2b7702736bbbb87d69e547 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 75000 |
Biggest coefficient in the objective function | 20812800 |
Number of bits for the biggest coefficient in the objective function | 25 |
Sum of the numbers in the objective function | 5499924834 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 20812800 |
Number of bits of the biggest number in a constraint | 25 |
Biggest sum of numbers in a constraint | 5499924834 |
Number of bits of the biggest sum of numbers | 33 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 87000 |
Total number of constraints | 10525 |
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 | 10525 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 87000 |
LAUNCH ON wulflinc7 THE 2005-09-23 17:45:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9018 boxname=wulflinc7 idbench=814 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 2e76b80d3e2b7702736bbbb87d69e547 /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-fit2d.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-fit2d.opb IDLAUNCH: 9018 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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: 892984 kB Buffers: 12852 kB Cached: 111316 kB SwapCached: 0 kB Active: 69944 kB Inactive: 57096 kB HighTotal: 131008 kB HighFree: 19460 kB LowTotal: 903652 kB LowFree: 873524 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6984 kB Slab: 9104 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:52:39 (client local time) WITH STATUS 1 IN 454.684 SECONDS stats: 9018 7 454.684 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/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22103398 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 373 2 364 364 0 9 0 [pid=10808] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-fit2d.opb [startup+10.0019 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 2503 0 0 0 992 6 0 0 25 0 1 0 22103398 9375744 1817 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 2289 1817 364 364 0 1925 0 [pid=10808] vsize: 9156 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9156 [startup+20.0026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 3048 0 0 0 1989 8 0 0 25 0 1 0 22103398 10862592 2353 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 2652 2353 364 364 0 2288 0 [pid=10808] vsize: 10608 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 10608 [startup+30.0032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 4401 0 0 0 2987 10 0 0 25 0 1 0 22103398 15638528 2962 4294967295 134512640 135987407 3221224560 3221221688 134543709 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 3818 2962 364 364 0 3454 0 [pid=10808] vsize: 15272 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 15272 [startup+40.0038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 4660 0 0 0 3985 12 0 0 25 0 1 0 22103398 16314368 3216 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 3983 3216 364 364 0 3619 0 [pid=10808] vsize: 15932 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 15932 [startup+50.0045 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 4911 0 0 0 4984 14 0 0 25 0 1 0 22103398 16990208 3463 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 4148 3463 364 364 0 3784 0 [pid=10808] vsize: 16592 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16592 [startup+60.0051 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 5140 0 0 0 5983 14 0 0 25 0 1 0 22103398 17530880 3689 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 4280 3689 364 364 0 3916 0 [pid=10808] vsize: 17120 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 17120 [startup+70.0047 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 5352 0 0 0 6983 15 0 0 25 0 1 0 22103398 18071552 3897 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 4412 3897 364 364 0 4048 0 [pid=10808] vsize: 17648 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17648 [startup+80.0054 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 5551 0 0 0 7982 15 0 0 25 0 1 0 22103398 18612224 4093 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 4544 4093 364 364 0 4180 0 [pid=10808] vsize: 18176 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 18176 [startup+90.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 5737 0 0 0 8982 16 0 0 25 0 1 0 22103398 19152896 4276 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 4676 4276 364 364 0 4312 0 [pid=10808] vsize: 18704 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18704 [startup+100.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 5916 0 0 0 9981 16 0 0 25 0 1 0 22103398 19558400 4452 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 4775 4452 364 364 0 4411 0 [pid=10808] vsize: 19100 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 19100 [startup+110.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 8308 0 0 0 10977 20 0 0 25 0 1 0 22103398 28839936 5367 4294967295 134512640 135987407 3221224560 3221221928 134612673 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 7041 5367 364 364 0 6677 0 [pid=10808] vsize: 28164 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 28164 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 8366 0 0 0 11977 21 0 0 25 0 1 0 22103398 28839936 5422 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 7041 5422 364 364 0 6677 0 [pid=10808] vsize: 28164 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28164 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 8466 0 0 0 12977 21 0 0 25 0 1 0 22103398 28975104 5520 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 7074 5520 364 364 0 6710 0 [pid=10808] vsize: 28296 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 28296 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 8597 0 0 0 13976 21 0 0 25 0 1 0 22103398 29380608 5648 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 7173 5648 364 364 0 6809 0 [pid=10808] vsize: 28692 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 28692 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 12299 0 0 0 14966 31 0 0 25 0 1 0 22103398 38981632 8575 4294967295 134512640 135987407 3221224560 3221221712 134573547 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 9517 8575 364 364 0 9153 0 [pid=10808] vsize: 38068 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 38068 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 19739 0 0 0 15947 48 0 0 25 0 1 0 22103398 61087744 12657 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 14914 12657 364 364 0 14550 0 [pid=10808] vsize: 59656 Current children cumulated CPU time (s) 159.95 Current children cumulated vsize (Kb) 59656 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 19775 0 0 0 16947 48 0 0 25 0 1 0 22103398 61087744 12693 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 14914 12693 364 364 0 14550 0 [pid=10808] vsize: 59656 Current children cumulated CPU time (s) 169.95 Current children cumulated vsize (Kb) 59656 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20057 0 0 0 17946 49 0 0 25 0 1 0 22103398 62152704 12846 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15174 12846 364 364 0 14810 0 [pid=10808] vsize: 60696 Current children cumulated CPU time (s) 179.95 Current children cumulated vsize (Kb) 60696 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20076 0 0 0 18946 50 0 0 25 0 1 0 22103398 62152704 12865 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15174 12865 364 364 0 14810 0 [pid=10808] vsize: 60696 Current children cumulated CPU time (s) 189.96 Current children cumulated vsize (Kb) 60696 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20093 0 0 0 19946 50 0 0 25 0 1 0 22103398 62152704 12882 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15174 12882 364 364 0 14810 0 [pid=10808] vsize: 60696 Current children cumulated CPU time (s) 199.96 Current children cumulated vsize (Kb) 60696 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20110 0 0 0 20946 50 0 0 25 0 1 0 22103398 62152704 12899 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15174 12899 364 364 0 14810 0 [pid=10808] vsize: 60696 Current children cumulated CPU time (s) 209.96 Current children cumulated vsize (Kb) 60696 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20125 0 0 0 21946 50 0 0 25 0 1 0 22103398 62152704 12914 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15174 12914 364 364 0 14810 0 [pid=10808] vsize: 60696 Current children cumulated CPU time (s) 219.96 Current children cumulated vsize (Kb) 60696 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20139 0 0 0 22946 50 0 0 25 0 1 0 22103398 62152704 12928 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15174 12928 364 364 0 14810 0 [pid=10808] vsize: 60696 Current children cumulated CPU time (s) 229.96 Current children cumulated vsize (Kb) 60696 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20152 0 0 0 23946 50 0 0 25 0 1 0 22103398 62152704 12941 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15174 12941 364 364 0 14810 0 [pid=10808] vsize: 60696 Current children cumulated CPU time (s) 239.96 Current children cumulated vsize (Kb) 60696 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20164 0 0 0 24946 50 0 0 25 0 1 0 22103398 62152704 12953 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15174 12953 364 364 0 14810 0 [pid=10808] vsize: 60696 Current children cumulated CPU time (s) 249.96 Current children cumulated vsize (Kb) 60696 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20688 0 0 0 25945 51 0 0 25 0 1 0 22103398 64282624 13220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15694 13220 364 364 0 15330 0 [pid=10808] vsize: 62776 Current children cumulated CPU time (s) 259.96 Current children cumulated vsize (Kb) 62776 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20698 0 0 0 26945 51 0 0 25 0 1 0 22103398 64282624 13230 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15694 13230 364 364 0 15330 0 [pid=10808] vsize: 62776 Current children cumulated CPU time (s) 269.96 Current children cumulated vsize (Kb) 62776 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20708 0 0 0 27945 51 0 0 25 0 1 0 22103398 64282624 13240 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15694 13240 364 364 0 15330 0 [pid=10808] vsize: 62776 Current children cumulated CPU time (s) 279.96 Current children cumulated vsize (Kb) 62776 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20718 0 0 0 28945 51 0 0 25 0 1 0 22103398 64282624 13250 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15694 13250 364 364 0 15330 0 [pid=10808] vsize: 62776 Current children cumulated CPU time (s) 289.96 Current children cumulated vsize (Kb) 62776 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20727 0 0 0 29945 51 0 0 25 0 1 0 22103398 64282624 13259 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15694 13259 364 364 0 15330 0 [pid=10808] vsize: 62776 Current children cumulated CPU time (s) 299.96 Current children cumulated vsize (Kb) 62776 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20736 0 0 0 30945 51 0 0 25 0 1 0 22103398 64282624 13268 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15694 13268 364 364 0 15330 0 [pid=10808] vsize: 62776 Current children cumulated CPU time (s) 309.96 Current children cumulated vsize (Kb) 62776 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20745 0 0 0 31945 51 0 0 25 0 1 0 22103398 64282624 13277 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15694 13277 364 364 0 15330 0 [pid=10808] vsize: 62776 Current children cumulated CPU time (s) 319.96 Current children cumulated vsize (Kb) 62776 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20753 0 0 0 32945 52 0 0 25 0 1 0 22103398 64282624 13285 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15694 13285 364 364 0 15330 0 [pid=10808] vsize: 62776 Current children cumulated CPU time (s) 329.97 Current children cumulated vsize (Kb) 62776 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20761 0 0 0 33945 52 0 0 25 0 1 0 22103398 64282624 13293 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15694 13293 364 364 0 15330 0 [pid=10808] vsize: 62776 Current children cumulated CPU time (s) 339.97 Current children cumulated vsize (Kb) 62776 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 20769 0 0 0 34945 52 0 0 25 0 1 0 22103398 64282624 13301 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 15694 13301 364 364 0 15330 0 [pid=10808] vsize: 62776 Current children cumulated CPU time (s) 349.97 Current children cumulated vsize (Kb) 62776 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 52998 0 0 0 35871 123 0 0 25 0 1 0 22103398 176013312 35894 4294967295 134512640 135987407 3221224560 3201953572 134855043 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 42972 35894 364 364 0 42608 0 [pid=10808] vsize: 171888 Current children cumulated CPU time (s) 359.94 Current children cumulated vsize (Kb) 171888 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 91008 0 0 0 36785 206 0 0 25 0 1 0 22103398 300851200 57829 4294967295 134512640 135987407 3221224560 3196685596 135482121 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 73450 57829 364 364 0 73086 0 [pid=10808] vsize: 293800 Current children cumulated CPU time (s) 369.91 Current children cumulated vsize (Kb) 293800 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 120945 0 0 0 37714 274 0 0 25 0 1 0 22103398 407040000 75271 4294967295 134512640 135987407 3221224560 3204788144 134878036 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 99375 75271 364 364 0 99011 0 [pid=10808] vsize: 397500 Current children cumulated CPU time (s) 379.88 Current children cumulated vsize (Kb) 397500 [startup+390.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 143821 0 0 0 38657 328 0 0 25 0 1 0 22103398 443670528 97898 4294967295 134512640 135987407 3221224560 3200213524 135478476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 108318 97898 364 364 0 107954 0 [pid=10808] vsize: 433272 Current children cumulated CPU time (s) 389.85 Current children cumulated vsize (Kb) 433272 [startup+400.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 186757 0 0 0 39562 419 0 0 25 0 1 0 22103398 578912256 121219 4294967295 134512640 135987407 3221224560 3198862540 135482121 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 141336 121219 364 364 0 140972 0 [pid=10808] vsize: 565344 Current children cumulated CPU time (s) 399.81 Current children cumulated vsize (Kb) 565344 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 226678 0 0 0 40468 511 0 0 25 0 1 0 22103398 733270016 136375 4294967295 134512640 135987407 3221224560 3194275616 134877726 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 179021 136375 364 364 0 178657 0 [pid=10808] vsize: 716084 Current children cumulated CPU time (s) 409.79 Current children cumulated vsize (Kb) 716084 [startup+420.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 244923 0 0 0 41423 555 0 0 25 0 1 0 22103398 755978240 154409 4294967295 134512640 135987407 3221224560 3205932400 134892445 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 184565 154409 364 364 0 184201 0 [pid=10808] vsize: 738260 Current children cumulated CPU time (s) 419.78 Current children cumulated vsize (Kb) 738260 [startup+430.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 264348 0 0 0 42378 597 0 0 25 0 1 0 22103398 781660160 173599 4294967295 134512640 135987407 3221224560 3202557808 135477375 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 190835 173599 364 364 0 190471 0 [pid=10808] vsize: 763340 Current children cumulated CPU time (s) 429.75 Current children cumulated vsize (Kb) 763340 [startup+440.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 281037 0 0 0 43337 636 0 0 25 0 1 0 22103398 856727552 190098 4294967295 134512640 135987407 3221224560 3198192704 134854992 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 209162 190098 364 364 0 208798 0 [pid=10808] vsize: 836648 Current children cumulated CPU time (s) 439.73 Current children cumulated vsize (Kb) 836648 [startup+450.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 10808 Raw data (/proc/10808/stat): 10808 (pb2sat) R 10807 10808 4059 0 -1 0 288771 0 0 0 44319 653 0 0 25 0 1 0 22103398 870211584 197750 4294967295 134512640 135987407 3221224560 3220251556 135478476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10808/statm): 212454 197750 364 364 0 212090 0 [pid=10808] vsize: 849816 Current children cumulated CPU time (s) 449.72 Current children cumulated vsize (Kb) 849816 One traced child (pid=10808) exited with status: 1 All traced children have exited ! Game is over. Child status: 1 Real time (s): 454.979 CPU time (s): 454.684 CPU user time (s): 447.747 CPU system time (s): 6.93694 CPU usage (%): 99.9351 Max. virtual memory (cumulated for all children) (Kb): 849816
ERROR: no interpretation found !