Name | mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb |
MD5SUM | 652a81faea87c0443f84aaa4223a3702 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 125440 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 6576662400 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 4020224000000 |
Number of bits of the biggest number in a constraint | 42 |
Biggest sum of numbers in a constraint | 8483418475850 |
Number of bits of the biggest sum of numbers | 43 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.18067 |
Number of variables | 188160 |
Total number of constraints | 3136 |
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 | 3136 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 480 |
LAUNCH ON wulflinc19 THE 2005-09-23 17:46:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9031 boxname=wulflinc19 idbench=827 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 652a81faea87c0443f84aaa4223a3702 /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-maros-r7.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-maros-r7.opb IDLAUNCH: 9031 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 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: 869300 kB Buffers: 16064 kB Cached: 129252 kB SwapCached: 0 kB Active: 78328 kB Inactive: 69916 kB HighTotal: 131008 kB HighFree: 5600 kB LowTotal: 903652 kB LowFree: 863700 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 52 kB Writeback: 0 kB Mapped: 6980 kB Slab: 11520 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 17:55:47 (client local time) WITH STATUS 1 IN 545.136 SECONDS stats: 9031 7 545.136 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/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22098051 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9641/statm): 373 2 364 364 0 9 0 [pid=9641] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-maros-r7.opb [startup+10.002 s] Raw data (loadavg): 0.94 0.95 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 2452 0 0 0 994 5 0 0 25 0 1 0 22098051 9232384 1767 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9641/statm): 2254 1767 364 364 0 1890 0 [pid=9641] vsize: 9016 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9016 [startup+20.0028 s] Raw data (loadavg): 0.94 0.95 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 3012 0 0 0 1992 6 0 0 25 0 1 0 22098051 10719232 2318 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 2617 2318 364 364 0 2253 0 [pid=9641] vsize: 10468 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10468 [startup+30.0036 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 4395 0 0 0 2990 9 0 0 25 0 1 0 22098051 15630336 2956 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 3816 2956 364 364 0 3452 0 [pid=9641] vsize: 15264 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 15264 [startup+40.0044 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 4674 0 0 0 3988 10 0 0 25 0 1 0 22098051 16306176 3230 4294967295 134512640 135987407 3221224560 3221221864 134639648 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 3981 3230 364 364 0 3617 0 [pid=9641] vsize: 15924 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 15924 [startup+50.0052 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 4935 0 0 0 4988 10 0 0 25 0 1 0 22098051 16982016 3487 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 4146 3487 364 364 0 3782 0 [pid=9641] vsize: 16584 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16584 [startup+60.005 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 5168 0 0 0 5987 11 0 0 25 0 1 0 22098051 17657856 3716 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 4311 3716 364 364 0 3947 0 [pid=9641] vsize: 17244 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17244 [startup+70.0049 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 5382 0 0 0 6986 12 0 0 25 0 1 0 22098051 18198528 3926 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 4443 3926 364 364 0 4079 0 [pid=9641] vsize: 17772 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17772 [startup+80.0057 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 5577 0 0 0 7986 13 0 0 25 0 1 0 22098051 18739200 4118 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 4575 4118 364 364 0 4211 0 [pid=9641] vsize: 18300 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 18300 [startup+90.0055 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 5761 0 0 0 8985 13 0 0 25 0 1 0 22098051 19144704 4299 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 4674 4299 364 364 0 4310 0 [pid=9641] 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.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 5936 0 0 0 9985 14 0 0 25 0 1 0 22098051 19550208 4472 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 4773 4472 364 364 0 4409 0 [pid=9641] vsize: 19092 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 19092 [startup+110.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8299 0 0 0 10980 19 0 0 25 0 1 0 22098051 28696576 5357 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7006 5357 364 364 0 6642 0 [pid=9641] vsize: 28024 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 28024 [startup+120.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8357 0 0 0 11979 19 0 0 25 0 1 0 22098051 28696576 5412 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7006 5412 364 364 0 6642 0 [pid=9641] vsize: 28024 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28024 [startup+130.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8469 0 0 0 12979 20 0 0 25 0 1 0 22098051 28966912 5522 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7072 5522 364 364 0 6708 0 [pid=9641] vsize: 28288 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 28288 [startup+140.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8594 0 0 0 13979 20 0 0 25 0 1 0 22098051 29237248 5645 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7138 5645 364 364 0 6774 0 [pid=9641] vsize: 28552 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 28552 [startup+150.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8718 0 0 0 14979 20 0 0 25 0 1 0 22098051 29642752 5766 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7237 5766 364 364 0 6873 0 [pid=9641] vsize: 28948 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 28948 [startup+160.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8836 0 0 0 15978 21 0 0 25 0 1 0 22098051 29913088 5882 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7303 5882 364 364 0 6939 0 [pid=9641] vsize: 29212 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 29212 [startup+170.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 8950 0 0 0 16978 21 0 0 25 0 1 0 22098051 30183424 5994 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7369 5994 364 364 0 7005 0 [pid=9641] vsize: 29476 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 29476 [startup+180.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9072 0 0 0 17978 22 0 0 25 0 1 0 22098051 30453760 6114 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7435 6114 364 364 0 7071 0 [pid=9641] vsize: 29740 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 29740 [startup+190.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9196 0 0 0 18978 22 0 0 25 0 1 0 22098051 30724096 6236 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7501 6236 364 364 0 7137 0 [pid=9641] vsize: 30004 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 30004 [startup+200.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9320 0 0 0 19977 22 0 0 25 0 1 0 22098051 30994432 6358 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7567 6358 364 364 0 7203 0 [pid=9641] 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.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9436 0 0 0 20977 22 0 0 25 0 1 0 22098051 31399936 6472 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7666 6472 364 364 0 7302 0 [pid=9641] vsize: 30664 Current children cumulated CPU time (s) 209.99 Current children cumulated vsize (Kb) 30664 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9554 0 0 0 21977 23 0 0 25 0 1 0 22098051 31670272 6588 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7732 6588 364 364 0 7368 0 [pid=9641] vsize: 30928 Current children cumulated CPU time (s) 220 Current children cumulated vsize (Kb) 30928 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9668 0 0 0 22977 23 0 0 25 0 1 0 22098051 31940608 6700 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7798 6700 364 364 0 7434 0 [pid=9641] vsize: 31192 Current children cumulated CPU time (s) 230 Current children cumulated vsize (Kb) 31192 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9781 0 0 0 23977 23 0 0 25 0 1 0 22098051 32210944 6811 4294967295 134512640 135987407 3221224560 3221221792 134534646 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7864 6811 364 364 0 7500 0 [pid=9641] vsize: 31456 Current children cumulated CPU time (s) 240 Current children cumulated vsize (Kb) 31456 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9890 0 0 0 24976 24 0 0 25 0 1 0 22098051 32481280 6919 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7930 6919 364 364 0 7566 0 [pid=9641] vsize: 31720 Current children cumulated CPU time (s) 250 Current children cumulated vsize (Kb) 31720 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 9997 0 0 0 25976 24 0 0 25 0 1 0 22098051 32751616 7024 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 7996 7024 364 364 0 7632 0 [pid=9641] vsize: 31984 Current children cumulated CPU time (s) 260 Current children cumulated vsize (Kb) 31984 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10104 0 0 0 26976 25 0 0 25 0 1 0 22098051 33021952 7129 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8062 7129 364 364 0 7698 0 [pid=9641] vsize: 32248 Current children cumulated CPU time (s) 270.01 Current children cumulated vsize (Kb) 32248 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10206 0 0 0 27975 25 0 0 25 0 1 0 22098051 33292288 7230 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8128 7230 364 364 0 7764 0 [pid=9641] vsize: 32512 Current children cumulated CPU time (s) 280 Current children cumulated vsize (Kb) 32512 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10310 0 0 0 28975 26 0 0 25 0 1 0 22098051 33562624 7332 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8194 7332 364 364 0 7830 0 [pid=9641] vsize: 32776 Current children cumulated CPU time (s) 290.01 Current children cumulated vsize (Kb) 32776 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10409 0 0 0 29975 26 0 0 25 0 1 0 22098051 33832960 7429 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8260 7429 364 364 0 7896 0 [pid=9641] vsize: 33040 Current children cumulated CPU time (s) 300.01 Current children cumulated vsize (Kb) 33040 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10510 0 0 0 30974 27 0 0 25 0 1 0 22098051 34103296 7529 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8326 7529 364 364 0 7962 0 [pid=9641] vsize: 33304 Current children cumulated CPU time (s) 310.01 Current children cumulated vsize (Kb) 33304 [startup+320.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10606 0 0 0 31974 27 0 0 25 0 1 0 22098051 34373632 7623 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8392 7623 364 364 0 8028 0 [pid=9641] vsize: 33568 Current children cumulated CPU time (s) 320.01 Current children cumulated vsize (Kb) 33568 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10703 0 0 0 32974 27 0 0 25 0 1 0 22098051 34643968 7719 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8458 7719 364 364 0 8094 0 [pid=9641] vsize: 33832 Current children cumulated CPU time (s) 330.01 Current children cumulated vsize (Kb) 33832 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10799 0 0 0 33974 28 0 0 25 0 1 0 22098051 34914304 7813 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8524 7813 364 364 0 8160 0 [pid=9641] vsize: 34096 Current children cumulated CPU time (s) 340.02 Current children cumulated vsize (Kb) 34096 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10894 0 0 0 34974 28 0 0 25 0 1 0 22098051 35049472 7906 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8557 7906 364 364 0 8193 0 [pid=9641] vsize: 34228 Current children cumulated CPU time (s) 350.02 Current children cumulated vsize (Kb) 34228 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 10986 0 0 0 35974 28 0 0 25 0 1 0 22098051 35319808 7997 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8623 7997 364 364 0 8259 0 [pid=9641] vsize: 34492 Current children cumulated CPU time (s) 360.02 Current children cumulated vsize (Kb) 34492 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11076 0 0 0 36973 29 0 0 25 0 1 0 22098051 35590144 8086 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8689 8086 364 364 0 8325 0 [pid=9641] vsize: 34756 Current children cumulated CPU time (s) 370.02 Current children cumulated vsize (Kb) 34756 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11165 0 0 0 37973 29 0 0 25 0 1 0 22098051 35860480 8173 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8755 8173 364 364 0 8391 0 [pid=9641] vsize: 35020 Current children cumulated CPU time (s) 380.02 Current children cumulated vsize (Kb) 35020 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11256 0 0 0 38973 30 0 0 25 0 1 0 22098051 35995648 8263 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8788 8263 364 364 0 8424 0 [pid=9641] vsize: 35152 Current children cumulated CPU time (s) 390.03 Current children cumulated vsize (Kb) 35152 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11343 0 0 0 39973 30 0 0 25 0 1 0 22098051 36265984 8348 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8854 8348 364 364 0 8490 0 [pid=9641] vsize: 35416 Current children cumulated CPU time (s) 400.03 Current children cumulated vsize (Kb) 35416 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11431 0 0 0 40973 30 0 0 25 0 1 0 22098051 36536320 8435 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8920 8435 364 364 0 8556 0 [pid=9641] vsize: 35680 Current children cumulated CPU time (s) 410.03 Current children cumulated vsize (Kb) 35680 [startup+420.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11516 0 0 0 41972 30 0 0 25 0 1 0 22098051 36671488 8518 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 8953 8518 364 364 0 8589 0 [pid=9641] vsize: 35812 Current children cumulated CPU time (s) 420.02 Current children cumulated vsize (Kb) 35812 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 11602 0 0 0 42972 31 0 0 25 0 1 0 22098051 36941824 8603 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 9019 8603 364 364 0 8655 0 [pid=9641] vsize: 36076 Current children cumulated CPU time (s) 430.03 Current children cumulated vsize (Kb) 36076 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 28793 0 0 0 43931 69 0 0 25 0 1 0 22098051 92954624 20221 4294967295 134512640 135987407 3221224560 3221079164 134637002 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 22694 20222 364 364 0 22330 0 [pid=9641] vsize: 90776 Current children cumulated CPU time (s) 440 Current children cumulated vsize (Kb) 90776 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 62106 0 0 0 44862 135 0 0 25 0 1 0 22098051 192815104 39247 4294967295 134512640 135987407 3221224560 3221076448 134639022 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 47074 39247 364 364 0 46710 0 [pid=9641] vsize: 188296 Current children cumulated CPU time (s) 449.97 Current children cumulated vsize (Kb) 188296 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 91686 0 0 0 45801 193 0 0 25 0 1 0 22098051 289234944 58918 4294967295 134512640 135987407 3221224560 3221081568 134636917 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 70614 58918 364 364 0 70250 0 [pid=9641] vsize: 282456 Current children cumulated CPU time (s) 459.94 Current children cumulated vsize (Kb) 282456 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 120122 0 0 0 46739 253 0 0 25 0 1 0 22098051 397549568 74877 4294967295 134512640 135987407 3221224560 3221080060 135482121 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 97058 74877 364 364 0 96694 0 [pid=9641] vsize: 388232 Current children cumulated CPU time (s) 469.92 Current children cumulated vsize (Kb) 388232 [startup+480.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 139127 0 0 0 47701 290 0 0 25 0 1 0 22098051 426668032 93664 4294967295 134512640 135987407 3221224560 3221078828 134637011 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 104167 93664 364 364 0 103803 0 [pid=9641] vsize: 416668 Current children cumulated CPU time (s) 479.91 Current children cumulated vsize (Kb) 416668 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 180479 0 0 0 48620 368 0 0 25 0 1 0 22098051 560726016 115417 4294967295 134512640 135987407 3221224560 3221077712 134856714 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 136896 115417 364 364 0 136532 0 [pid=9641] vsize: 547584 Current children cumulated CPU time (s) 489.88 Current children cumulated vsize (Kb) 547584 [startup+500.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 220197 0 0 0 49536 451 0 0 25 0 1 0 22098051 682762240 130376 4294967295 134512640 135987407 3221224560 3221078864 134537491 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 166690 130377 364 364 0 166326 0 [pid=9641] vsize: 666760 Current children cumulated CPU time (s) 499.87 Current children cumulated vsize (Kb) 666760 [startup+510.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 235626 0 0 0 50504 481 0 0 25 0 1 0 22098051 739340288 145626 4294967295 134512640 135987407 3221224560 3221082688 134855001 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 180503 145626 364 364 0 180139 0 [pid=9641] vsize: 722012 Current children cumulated CPU time (s) 509.85 Current children cumulated vsize (Kb) 722012 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 253391 0 0 0 51470 513 0 0 25 0 1 0 22098051 764891136 163181 4294967295 134512640 135987407 3221224560 3221080928 134559124 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 186741 163182 364 364 0 186377 0 [pid=9641] vsize: 746964 Current children cumulated CPU time (s) 519.83 Current children cumulated vsize (Kb) 746964 [startup+530.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 270825 0 0 0 52434 547 0 0 25 0 1 0 22098051 789127168 180406 4294967295 134512640 135987407 3221224560 3221085296 134887887 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 192658 180406 364 364 0 192294 0 [pid=9641] vsize: 770632 Current children cumulated CPU time (s) 529.81 Current children cumulated vsize (Kb) 770632 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 9641 Raw data (/proc/9641/stat): 9641 (pb2sat) R 9640 9641 4060 0 -1 0 280339 0 0 0 53412 567 0 0 25 0 1 0 22098051 852328448 189321 4294967295 134512640 135987407 3221224560 3221223396 135288064 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9641/statm): 208088 189321 364 364 0 207724 0 [pid=9641] vsize: 832352 Current children cumulated CPU time (s) 539.79 Current children cumulated vsize (Kb) 832352 One traced child (pid=9641) exited with status: 1 All traced children have exited ! Game is over. Child status: 1 Real time (s): 545.346 CPU time (s): 545.136 CPU user time (s): 539.065 CPU system time (s): 6.07108 CPU usage (%): 99.9615 Max. virtual memory (cumulated for all children) (Kb): 832352
ERROR: no interpretation found !