Name | mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos9.opb |
MD5SUM | 450ad3720278f8a937b0ae6f1c4dfd6d |
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 | 145051 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4825267 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 3840 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 4825267 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 636571 |
Total number of constraints | 113008 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2186 |
Number of constraints which are nor clauses,nor cardinality constraints | 110822 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10240 |
LAUNCH ON wulflinc2 THE 2005-09-23 19:02:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9323 boxname=wulflinc2 idbench=1119 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 450ad3720278f8a937b0ae6f1c4dfd6d /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos9.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos9.opb IDLAUNCH: 9323 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.261 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.261 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: 841196 kB Buffers: 17788 kB Cached: 155476 kB SwapCached: 0 kB Active: 93868 kB Inactive: 82284 kB HighTotal: 131008 kB HighFree: 3696 kB LowTotal: 903652 kB LowFree: 837500 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 11640 kB Committed_AS: 63644 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 19:13:40 (client local time) WITH STATUS 1 IN 692.283 SECONDS stats: 9323 7 692.283 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/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22570991 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 373 2 364 364 0 9 0 [pid=11576] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos9.opb [startup+10.002 s] Raw data (loadavg): 0.94 0.96 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 1333 0 0 0 993 4 0 0 25 0 1 0 22570991 5693440 1012 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 1390 1012 364 364 0 1026 0 [pid=11576] vsize: 5560 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 5560 [startup+20.0028 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 2725 0 0 0 1989 8 0 0 25 0 1 0 22570991 10043392 2036 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 2452 2036 364 364 0 2088 0 [pid=11576] vsize: 9808 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 9808 [startup+30.0035 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 4235 0 0 0 2986 11 0 0 25 0 1 0 22570991 15360000 2799 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 3750 2799 364 364 0 3386 0 [pid=11576] vsize: 15000 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 15000 [startup+40.0032 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 4516 0 0 0 3985 12 0 0 25 0 1 0 22570991 16035840 3075 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 3915 3075 364 364 0 3551 0 [pid=11576] vsize: 15660 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 15660 [startup+50.0039 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 4795 0 0 0 4984 13 0 0 25 0 1 0 22570991 16711680 3349 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 4080 3349 364 364 0 3716 0 [pid=11576] vsize: 16320 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 16320 [startup+60.0036 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 5046 0 0 0 5983 14 0 0 25 0 1 0 22570991 17387520 3596 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 4245 3596 364 364 0 3881 0 [pid=11576] vsize: 16980 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 16980 [startup+70.0043 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 5271 0 0 0 6982 15 0 0 25 0 1 0 22570991 17928192 3818 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 4377 3818 364 364 0 4013 0 [pid=11576] vsize: 17508 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 17508 [startup+80.005 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 5477 0 0 0 7982 15 0 0 25 0 1 0 22570991 18468864 4020 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 4509 4020 364 364 0 4145 0 [pid=11576] vsize: 18036 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 18036 [startup+90.0047 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 5670 0 0 0 8981 16 0 0 25 0 1 0 22570991 19009536 4210 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 4641 4210 364 364 0 4277 0 [pid=11576] vsize: 18564 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 18564 [startup+100.005 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 5850 0 0 0 9981 16 0 0 25 0 1 0 22570991 19415040 4387 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 4740 4387 364 364 0 4376 0 [pid=11576] vsize: 18960 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 18960 [startup+110.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 6017 0 0 0 10981 17 0 0 25 0 1 0 22570991 19820544 4552 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 4839 4552 364 364 0 4475 0 [pid=11576] vsize: 19356 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 19356 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 8352 0 0 0 11976 21 0 0 25 0 1 0 22570991 28966912 5409 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7072 5409 364 364 0 6708 0 [pid=11576] vsize: 28288 Current children cumulated CPU time (s) 119.97 Current children cumulated vsize (Kb) 28288 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 8418 0 0 0 12976 21 0 0 25 0 1 0 22570991 28966912 5473 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7072 5473 364 364 0 6708 0 [pid=11576] vsize: 28288 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 28288 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 8553 0 0 0 13976 21 0 0 25 0 1 0 22570991 29237248 5605 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7138 5605 364 364 0 6774 0 [pid=11576] 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.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 8681 0 0 0 14975 22 0 0 25 0 1 0 22570991 29507584 5731 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7204 5731 364 364 0 6840 0 [pid=11576] vsize: 28816 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 28816 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 8804 0 0 0 15975 22 0 0 25 0 1 0 22570991 29913088 5852 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7303 5852 364 364 0 6939 0 [pid=11576] vsize: 29212 Current children cumulated CPU time (s) 159.97 Current children cumulated vsize (Kb) 29212 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 8926 0 0 0 16975 23 0 0 25 0 1 0 22570991 30183424 5971 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7369 5971 364 364 0 7005 0 [pid=11576] vsize: 29476 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 29476 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9044 0 0 0 17974 23 0 0 25 0 1 0 22570991 30453760 6087 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7435 6087 364 364 0 7071 0 [pid=11576] vsize: 29740 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 29740 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9172 0 0 0 18974 24 0 0 25 0 1 0 22570991 30724096 6213 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7501 6213 364 364 0 7137 0 [pid=11576] vsize: 30004 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 30004 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11576 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9299 0 0 0 19973 24 0 0 25 0 1 0 22570991 31129600 6338 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7600 6338 364 364 0 7236 0 [pid=11576] vsize: 30400 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 30400 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9421 0 0 0 20973 25 0 0 25 0 1 0 22570991 31399936 6458 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7666 6458 364 364 0 7302 0 [pid=11576] vsize: 30664 Current children cumulated CPU time (s) 209.98 Current children cumulated vsize (Kb) 30664 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9543 0 0 0 21972 25 0 0 25 0 1 0 22570991 31670272 6578 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7732 6578 364 364 0 7368 0 [pid=11576] vsize: 30928 Current children cumulated CPU time (s) 219.97 Current children cumulated vsize (Kb) 30928 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9660 0 0 0 22972 25 0 0 25 0 1 0 22570991 32075776 6693 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7831 6693 364 364 0 7467 0 [pid=11576] vsize: 31324 Current children cumulated CPU time (s) 229.97 Current children cumulated vsize (Kb) 31324 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9776 0 0 0 23972 25 0 0 25 0 1 0 22570991 32346112 6807 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7897 6807 364 364 0 7533 0 [pid=11576] vsize: 31588 Current children cumulated CPU time (s) 239.97 Current children cumulated vsize (Kb) 31588 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 9889 0 0 0 24972 26 0 0 25 0 1 0 22570991 32616448 6919 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 7963 6919 364 364 0 7599 0 [pid=11576] vsize: 31852 Current children cumulated CPU time (s) 249.98 Current children cumulated vsize (Kb) 31852 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10000 0 0 0 25972 26 0 0 25 0 1 0 22570991 32886784 7028 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8029 7028 364 364 0 7665 0 [pid=11576] vsize: 32116 Current children cumulated CPU time (s) 259.98 Current children cumulated vsize (Kb) 32116 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10109 0 0 0 26971 27 0 0 25 0 1 0 22570991 33157120 7135 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8095 7135 364 364 0 7731 0 [pid=11576] vsize: 32380 Current children cumulated CPU time (s) 269.98 Current children cumulated vsize (Kb) 32380 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10216 0 0 0 27971 27 0 0 25 0 1 0 22570991 33427456 7240 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8161 7240 364 364 0 7797 0 [pid=11576] vsize: 32644 Current children cumulated CPU time (s) 279.98 Current children cumulated vsize (Kb) 32644 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10322 0 0 0 28970 28 0 0 25 0 1 0 22570991 33697792 7345 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8227 7345 364 364 0 7863 0 [pid=11576] vsize: 32908 Current children cumulated CPU time (s) 289.98 Current children cumulated vsize (Kb) 32908 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10427 0 0 0 29970 28 0 0 25 0 1 0 22570991 33968128 7448 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8293 7448 364 364 0 7929 0 [pid=11576] vsize: 33172 Current children cumulated CPU time (s) 299.98 Current children cumulated vsize (Kb) 33172 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10529 0 0 0 30970 28 0 0 25 0 1 0 22570991 34238464 7548 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8359 7548 364 364 0 7995 0 [pid=11576] vsize: 33436 Current children cumulated CPU time (s) 309.98 Current children cumulated vsize (Kb) 33436 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10629 0 0 0 31970 28 0 0 25 0 1 0 22570991 34508800 7647 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8425 7647 364 364 0 8061 0 [pid=11576] vsize: 33700 Current children cumulated CPU time (s) 319.98 Current children cumulated vsize (Kb) 33700 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10728 0 0 0 32969 29 0 0 25 0 1 0 22570991 34779136 7744 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8491 7744 364 364 0 8127 0 [pid=11576] vsize: 33964 Current children cumulated CPU time (s) 329.98 Current children cumulated vsize (Kb) 33964 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10825 0 0 0 33969 29 0 0 25 0 1 0 22570991 35049472 7840 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8557 7840 364 364 0 8193 0 [pid=11576] vsize: 34228 Current children cumulated CPU time (s) 339.98 Current children cumulated vsize (Kb) 34228 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 10920 0 0 0 34969 29 0 0 25 0 1 0 22570991 35319808 7933 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8623 7933 364 364 0 8259 0 [pid=11576] vsize: 34492 Current children cumulated CPU time (s) 349.98 Current children cumulated vsize (Kb) 34492 [startup+360.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11016 0 0 0 35968 30 0 0 25 0 1 0 22570991 35454976 8028 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8656 8028 364 364 0 8292 0 [pid=11576] vsize: 34624 Current children cumulated CPU time (s) 359.98 Current children cumulated vsize (Kb) 34624 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11109 0 0 0 36968 30 0 0 25 0 1 0 22570991 35725312 8119 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8722 8119 364 364 0 8358 0 [pid=11576] vsize: 34888 Current children cumulated CPU time (s) 369.98 Current children cumulated vsize (Kb) 34888 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11202 0 0 0 37968 31 0 0 25 0 1 0 22570991 35995648 8211 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8788 8211 364 364 0 8424 0 [pid=11576] vsize: 35152 Current children cumulated CPU time (s) 379.99 Current children cumulated vsize (Kb) 35152 [startup+390.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11294 0 0 0 38968 31 0 0 25 0 1 0 22570991 36265984 8301 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8854 8301 364 364 0 8490 0 [pid=11576] vsize: 35416 Current children cumulated CPU time (s) 389.99 Current children cumulated vsize (Kb) 35416 [startup+400.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11384 0 0 0 39967 31 0 0 25 0 1 0 22570991 36536320 8390 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8920 8390 364 364 0 8556 0 [pid=11576] vsize: 35680 Current children cumulated CPU time (s) 399.98 Current children cumulated vsize (Kb) 35680 [startup+410.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11472 0 0 0 40967 32 0 0 25 0 1 0 22570991 36671488 8476 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 8953 8476 364 364 0 8589 0 [pid=11576] vsize: 35812 Current children cumulated CPU time (s) 409.99 Current children cumulated vsize (Kb) 35812 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11562 0 0 0 41967 32 0 0 25 0 1 0 22570991 36941824 8565 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 9019 8565 364 364 0 8655 0 [pid=11576] vsize: 36076 Current children cumulated CPU time (s) 419.99 Current children cumulated vsize (Kb) 36076 [startup+430.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11649 0 0 0 42967 32 0 0 25 0 1 0 22570991 37212160 8650 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 9085 8650 364 364 0 8721 0 [pid=11576] vsize: 36340 Current children cumulated CPU time (s) 429.99 Current children cumulated vsize (Kb) 36340 [startup+440.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11737 0 0 0 43967 32 0 0 25 0 1 0 22570991 37347328 8737 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 9118 8737 364 364 0 8754 0 [pid=11576] vsize: 36472 Current children cumulated CPU time (s) 439.99 Current children cumulated vsize (Kb) 36472 [startup+450.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11820 0 0 0 44966 32 0 0 25 0 1 0 22570991 37617664 8819 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 9184 8819 364 364 0 8820 0 [pid=11576] vsize: 36736 Current children cumulated CPU time (s) 449.98 Current children cumulated vsize (Kb) 36736 [startup+460.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11904 0 0 0 45966 33 0 0 25 0 1 0 22570991 37752832 8901 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 9217 8901 364 364 0 8853 0 [pid=11576] vsize: 36868 Current children cumulated CPU time (s) 459.99 Current children cumulated vsize (Kb) 36868 [startup+470.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 11989 0 0 0 46966 33 0 0 25 0 1 0 22570991 38023168 8985 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 9283 8985 364 364 0 8919 0 [pid=11576] vsize: 37132 Current children cumulated CPU time (s) 469.99 Current children cumulated vsize (Kb) 37132 [startup+480.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16542 0 0 0 47957 41 0 0 25 0 1 0 22570991 56045568 10590 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 13683 10590 364 364 0 13319 0 [pid=11576] vsize: 54732 Current children cumulated CPU time (s) 479.98 Current children cumulated vsize (Kb) 54732 [startup+490.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16572 0 0 0 48957 41 0 0 25 0 1 0 22570991 56045568 10618 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 13683 10618 364 364 0 13319 0 [pid=11576] vsize: 54732 Current children cumulated CPU time (s) 489.98 Current children cumulated vsize (Kb) 54732 [startup+500.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16601 0 0 0 49957 41 0 0 25 0 1 0 22570991 56045568 10646 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 13683 10646 364 364 0 13319 0 [pid=11576] vsize: 54732 Current children cumulated CPU time (s) 499.98 Current children cumulated vsize (Kb) 54732 [startup+510.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16631 0 0 0 50957 42 0 0 25 0 1 0 22570991 56045568 10675 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 13683 10675 364 364 0 13319 0 [pid=11576] vsize: 54732 Current children cumulated CPU time (s) 509.99 Current children cumulated vsize (Kb) 54732 [startup+520.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16660 0 0 0 51957 42 0 0 25 0 1 0 22570991 56045568 10703 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 13683 10703 364 364 0 13319 0 [pid=11576] vsize: 54732 Current children cumulated CPU time (s) 519.99 Current children cumulated vsize (Kb) 54732 [startup+530.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16689 0 0 0 52957 42 0 0 25 0 1 0 22570991 56045568 10730 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 13683 10730 364 364 0 13319 0 [pid=11576] vsize: 54732 Current children cumulated CPU time (s) 529.99 Current children cumulated vsize (Kb) 54732 [startup+540.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16717 0 0 0 53957 42 0 0 25 0 1 0 22570991 56045568 10757 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 13683 10757 364 364 0 13319 0 [pid=11576] vsize: 54732 Current children cumulated CPU time (s) 539.99 Current children cumulated vsize (Kb) 54732 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16780 0 0 0 54956 42 0 0 25 0 1 0 22570991 56180736 10819 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 13716 10819 364 364 0 13352 0 [pid=11576] vsize: 54864 Current children cumulated CPU time (s) 549.98 Current children cumulated vsize (Kb) 54864 [startup+560.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16847 0 0 0 55956 43 0 0 25 0 1 0 22570991 56315904 10885 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 13749 10885 364 364 0 13385 0 [pid=11576] vsize: 54996 Current children cumulated CPU time (s) 559.99 Current children cumulated vsize (Kb) 54996 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16914 0 0 0 56956 43 0 0 25 0 1 0 22570991 56451072 10950 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 13782 10950 364 364 0 13418 0 [pid=11576] vsize: 55128 Current children cumulated CPU time (s) 569.99 Current children cumulated vsize (Kb) 55128 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 16980 0 0 0 57956 43 0 0 25 0 1 0 22570991 56586240 11015 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 13815 11015 364 364 0 13451 0 [pid=11576] vsize: 55260 Current children cumulated CPU time (s) 579.99 Current children cumulated vsize (Kb) 55260 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 20422 0 0 0 58947 51 0 0 25 0 1 0 22570991 67174400 13698 4294967295 134512640 135987407 3221224560 3221222032 134607556 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 16400 13698 364 364 0 16036 0 [pid=11576] vsize: 65600 Current children cumulated CPU time (s) 589.98 Current children cumulated vsize (Kb) 65600 [startup+600.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 36991 0 0 0 59908 89 0 0 25 0 1 0 22570991 115802112 22955 4294967295 134512640 135987407 3221224560 3221221828 135479922 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 28272 22955 364 364 0 27908 0 [pid=11576] vsize: 113088 Current children cumulated CPU time (s) 599.97 Current children cumulated vsize (Kb) 113088 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) T 11575 11576 4070 0 -1 0 54359 0 0 0 60863 131 0 0 25 0 1 0 22570991 229167104 36913 4294967295 134512640 135987407 3221224560 3221221020 135635874 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11576/statm): 55949 36913 364 364 0 55585 0 [pid=11576] vsize: 223796 Current children cumulated CPU time (s) 609.94 Current children cumulated vsize (Kb) 223796 [startup+620.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 81230 0 0 0 61799 192 0 0 25 0 1 0 22570991 250241024 47852 4294967295 134512640 135987407 3221224560 3221221952 134616236 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 61094 47852 364 364 0 60730 0 [pid=11576] vsize: 244376 Current children cumulated CPU time (s) 619.91 Current children cumulated vsize (Kb) 244376 [startup+630.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 92451 0 0 0 62767 222 0 0 25 0 1 0 22570991 284184576 58859 4294967295 134512640 135987407 3221224560 3221221776 134975600 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 69381 58859 364 364 0 69017 0 [pid=11576] vsize: 277524 Current children cumulated CPU time (s) 629.89 Current children cumulated vsize (Kb) 277524 [startup+640.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 129076 0 0 0 63688 296 0 0 25 0 1 0 22570991 409153536 75871 4294967295 134512640 135987407 3221224560 3221221904 134612820 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 99891 75871 364 364 0 99527 0 [pid=11576] vsize: 399564 Current children cumulated CPU time (s) 639.84 Current children cumulated vsize (Kb) 399564 [startup+650.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 141237 0 0 0 64655 327 0 0 25 0 1 0 22570991 430305280 87799 4294967295 134512640 135987407 3221224560 3218113160 134866008 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 105055 87799 364 364 0 104691 0 [pid=11576] vsize: 420220 Current children cumulated CPU time (s) 649.82 Current children cumulated vsize (Kb) 420220 [startup+660.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 171540 0 0 0 65582 397 0 0 25 0 1 0 22570991 523231232 105607 4294967295 134512640 135987407 3221224560 3218044672 135477285 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 127742 105607 364 364 0 127378 0 [pid=11576] vsize: 510968 Current children cumulated CPU time (s) 659.79 Current children cumulated vsize (Kb) 510968 [startup+670.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 192526 0 0 0 66531 445 0 0 25 0 1 0 22570991 582864896 126374 4294967295 134512640 135987407 3221224560 3218453168 134877726 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 142301 126374 364 364 0 141937 0 [pid=11576] vsize: 569204 Current children cumulated CPU time (s) 669.76 Current children cumulated vsize (Kb) 569204 [startup+680.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 234535 0 0 0 67432 541 0 0 25 0 1 0 22570991 712318976 143622 4294967295 134512640 135987407 3221224560 3217964332 135480442 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 173906 143622 364 364 0 173542 0 [pid=11576] vsize: 695624 Current children cumulated CPU time (s) 679.73 Current children cumulated vsize (Kb) 695624 [startup+690.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 11578 Raw data (/proc/11576/stat): 11576 (pb2sat) R 11575 11576 4070 0 -1 0 250820 0 0 0 68397 573 0 0 25 0 1 0 22570991 735666176 159129 4294967295 134512640 135987407 3221224560 3221222724 135478476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11576/statm): 179606 159129 364 364 0 179242 0 [pid=11576] vsize: 718424 Current children cumulated CPU time (s) 689.7 Current children cumulated vsize (Kb) 718424 One traced child (pid=11576) exited with status: 1 All traced children have exited ! Game is over. Child status: 1 Real time (s): 692.6 CPU time (s): 692.283 CPU user time (s): 686.221 CPU system time (s): 6.06208 CPU usage (%): 99.9542 Max. virtual memory (cumulated for all children) (Kb): 718424
ERROR: no interpretation found !