Name | mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos4.opb |
MD5SUM | e465af1c9ec9e748a7782ddbee36d3b1 |
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 | 100590 |
Biggest coefficient in the objective function | 11202704073084108800000000 |
Number of bits for the biggest coefficient in the objective function | 84 |
Sum of the numbers in the objective function | 2862789126208280618841669632 |
Number of bits of the sum of numbers in the objective function | 92 |
Biggest number in a constraint | 11202704073084108800000000 |
Number of bits of the biggest number in a constraint | 84 |
Biggest sum of numbers in a constraint | 2862789126208280618841669632 |
Number of bits of the biggest sum of numbers | 92 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 36.5274 |
Number of variables | 203044 |
Total number of constraints | 56505 |
Number of constraints which are clauses | 32142 |
Number of constraints which are cardinality constraints (but not clauses) | 17175 |
Number of constraints which are nor clauses,nor cardinality constraints | 7188 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1115 |
LAUNCH ON wulflinc4 THE 2005-09-23 17:24:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8934 boxname=wulflinc4 idbench=730 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: e465af1c9ec9e748a7782ddbee36d3b1 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos4.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos4.opb IDLAUNCH: 8934 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 914600 kB Buffers: 12596 kB Cached: 89812 kB SwapCached: 0 kB Active: 59812 kB Inactive: 45552 kB HighTotal: 131008 kB HighFree: 36820 kB LowTotal: 903652 kB LowFree: 877780 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8988 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:30:28 (client local time) WITH STATUS 0 IN 368.82 SECONDS stats: 8934 7 368.82 0
c This solver internally uses Chaff 2004.11.15 Simplified s UNKNOWN
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/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 21981244 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9694/statm): 373 2 364 364 0 9 0 [pid=9694] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos4.opb [startup+10.0017 s] Raw data (loadavg): 0.93 0.96 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 2384 0 0 0 992 6 0 0 25 0 1 0 21981244 9101312 1700 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 2222 1700 364 364 0 1858 0 [pid=9694] vsize: 8888 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 8888 [startup+20.0025 s] Raw data (loadavg): 0.94 0.96 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 2960 0 0 0 1989 9 0 0 25 0 1 0 21981244 10588160 2267 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 2585 2267 364 364 0 2221 0 [pid=9694] vsize: 10340 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 10340 [startup+30.0024 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 4362 0 0 0 2986 12 0 0 25 0 1 0 21981244 15634432 2923 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 3817 2923 364 364 0 3453 0 [pid=9694] vsize: 15268 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15268 [startup+40.0022 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 4642 0 0 0 3985 13 0 0 25 0 1 0 21981244 16310272 3198 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 3982 3198 364 364 0 3618 0 [pid=9694] vsize: 15928 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 15928 [startup+50.0031 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 4898 0 0 0 4984 14 0 0 25 0 1 0 21981244 16986112 3450 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 4147 3450 364 364 0 3783 0 [pid=9694] vsize: 16588 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16588 [startup+60.003 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 5122 0 0 0 5983 15 0 0 25 0 1 0 21981244 17526784 3671 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 4279 3671 364 364 0 3915 0 [pid=9694] vsize: 17116 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 17116 [startup+70.0038 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 5326 0 0 0 6983 16 0 0 25 0 1 0 21981244 18067456 3871 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 4411 3871 364 364 0 4047 0 [pid=9694] vsize: 17644 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 17644 [startup+80.0047 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 5514 0 0 0 7982 17 0 0 25 0 1 0 21981244 18472960 4056 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 4510 4056 364 364 0 4146 0 [pid=9694] vsize: 18040 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 18040 [startup+90.0046 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 5694 0 0 0 8981 17 0 0 25 0 1 0 21981244 19013632 4233 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 4642 4233 364 364 0 4278 0 [pid=9694] vsize: 18568 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18568 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 5864 0 0 0 9981 18 0 0 25 0 1 0 21981244 19419136 4401 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 4741 4401 364 364 0 4377 0 [pid=9694] vsize: 18964 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 18964 [startup+110.005 s] Raw data (loadavg): 0.98 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 6025 0 0 0 10980 18 0 0 25 0 1 0 21981244 19824640 4559 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 4840 4559 364 364 0 4476 0 [pid=9694] vsize: 19360 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 19360 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 8331 0 0 0 11975 23 0 0 25 0 1 0 21981244 28835840 5388 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7040 5388 364 364 0 6676 0 [pid=9694] vsize: 28160 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28160 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 8409 0 0 0 12975 24 0 0 25 0 1 0 21981244 28835840 5463 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7040 5463 364 364 0 6676 0 [pid=9694] vsize: 28160 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 28160 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 8536 0 0 0 13975 24 0 0 25 0 1 0 21981244 29106176 5588 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7106 5588 364 364 0 6742 0 [pid=9694] vsize: 28424 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 28424 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 8658 0 0 0 14975 24 0 0 25 0 1 0 21981244 29511680 5708 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7205 5708 364 364 0 6841 0 [pid=9694] vsize: 28820 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 28820 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 8778 0 0 0 15974 25 0 0 25 0 1 0 21981244 29782016 5825 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7271 5825 364 364 0 6907 0 [pid=9694] vsize: 29084 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 29084 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 8894 0 0 0 16974 25 0 0 25 0 1 0 21981244 30052352 5939 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7337 5939 364 364 0 6973 0 [pid=9694] vsize: 29348 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 29348 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 9007 0 0 0 17974 25 0 0 25 0 1 0 21981244 30322688 6050 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7403 6050 364 364 0 7039 0 [pid=9694] vsize: 29612 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 29612 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 9131 0 0 0 18974 26 0 0 25 0 1 0 21981244 30593024 6172 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7469 6172 364 364 0 7105 0 [pid=9694] vsize: 29876 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 29876 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 9255 0 0 0 19973 27 0 0 25 0 1 0 21981244 30863360 6294 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7535 6294 364 364 0 7171 0 [pid=9694] vsize: 30140 Current children cumulated CPU time (s) 200 Current children cumulated vsize (Kb) 30140 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 9375 0 0 0 20973 27 0 0 25 0 1 0 21981244 31268864 6412 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7634 6412 364 364 0 7270 0 [pid=9694] vsize: 30536 Current children cumulated CPU time (s) 210 Current children cumulated vsize (Kb) 30536 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 9491 0 0 0 21972 28 0 0 25 0 1 0 21981244 31539200 6526 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7700 6526 364 364 0 7336 0 [pid=9694] vsize: 30800 Current children cumulated CPU time (s) 220 Current children cumulated vsize (Kb) 30800 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 9605 0 0 0 22972 28 0 0 25 0 1 0 21981244 31809536 6638 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7766 6638 364 364 0 7402 0 [pid=9694] vsize: 31064 Current children cumulated CPU time (s) 230 Current children cumulated vsize (Kb) 31064 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 9716 0 0 0 23972 29 0 0 25 0 1 0 21981244 32079872 6748 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7832 6748 364 364 0 7468 0 [pid=9694] vsize: 31328 Current children cumulated CPU time (s) 240.01 Current children cumulated vsize (Kb) 31328 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 9828 0 0 0 24972 29 0 0 25 0 1 0 21981244 32350208 6858 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7898 6858 364 364 0 7534 0 [pid=9694] vsize: 31592 Current children cumulated CPU time (s) 250.01 Current children cumulated vsize (Kb) 31592 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 9936 0 0 0 25971 29 0 0 25 0 1 0 21981244 32620544 6964 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 7964 6964 364 364 0 7600 0 [pid=9694] vsize: 31856 Current children cumulated CPU time (s) 260 Current children cumulated vsize (Kb) 31856 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 10040 0 0 0 26971 30 0 0 25 0 1 0 21981244 32890880 7066 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 8030 7066 364 364 0 7666 0 [pid=9694] vsize: 32120 Current children cumulated CPU time (s) 270.01 Current children cumulated vsize (Kb) 32120 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 11153 0 0 0 27969 32 0 0 25 0 1 0 21981244 37351424 8178 4294967295 134512640 135987407 3221224560 3221221792 134555859 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 9119 8178 364 364 0 8755 0 [pid=9694] vsize: 36476 Current children cumulated CPU time (s) 280.01 Current children cumulated vsize (Kb) 36476 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 38604 0 0 0 28905 94 0 0 25 0 1 0 21981244 141733888 26672 4294967295 134512640 135987407 3221224560 3220905052 134828136 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 34603 26672 364 364 0 34239 0 [pid=9694] vsize: 138412 Current children cumulated CPU time (s) 289.99 Current children cumulated vsize (Kb) 138412 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 61227 0 0 0 29849 149 0 0 25 0 1 0 21981244 185421824 38296 4294967295 134512640 135987407 3221224560 3220950592 134887887 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 45269 38296 364 364 0 44905 0 [pid=9694] vsize: 181076 Current children cumulated CPU time (s) 299.98 Current children cumulated vsize (Kb) 181076 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 100569 0 0 0 30760 237 0 0 25 0 1 0 21981244 296345600 55410 4294967295 134512640 135987407 3221224560 3221013044 135479957 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 72350 55410 364 364 0 71986 0 [pid=9694] vsize: 289400 Current children cumulated CPU time (s) 309.97 Current children cumulated vsize (Kb) 289400 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 116597 0 0 0 31718 278 0 0 25 0 1 0 21981244 337739776 71187 4294967295 134512640 135987407 3221224560 3221021188 135480412 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 82456 71187 364 364 0 82092 0 [pid=9694] vsize: 329824 Current children cumulated CPU time (s) 319.96 Current children cumulated vsize (Kb) 329824 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 158343 0 0 0 32626 366 0 0 25 0 1 0 21981244 463790080 93298 4294967295 134512640 135987407 3221224560 3220903984 134865877 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 113230 93299 364 364 0 112866 0 [pid=9694] vsize: 452920 Current children cumulated CPU time (s) 329.92 Current children cumulated vsize (Kb) 452920 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 194756 0 0 0 33543 448 0 0 25 0 1 0 21981244 601387008 104939 4294967295 134512640 135987407 3221224560 3220925340 134639076 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 146823 104939 364 364 0 146459 0 [pid=9694] vsize: 587292 Current children cumulated CPU time (s) 339.91 Current children cumulated vsize (Kb) 587292 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 211416 0 0 0 34500 492 0 0 25 0 1 0 21981244 606117888 121324 4294967295 134512640 135987407 3221224560 3221113696 134856699 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 147978 121324 364 364 0 147614 0 [pid=9694] vsize: 591912 Current children cumulated CPU time (s) 349.92 Current children cumulated vsize (Kb) 591912 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) R 9693 9694 4060 0 -1 0 227780 0 0 0 35460 532 0 0 25 0 1 0 21981244 610578432 137417 4294967295 134512640 135987407 3221224560 3220981420 134637002 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 149067 137417 364 364 0 148703 0 [pid=9694] vsize: 596268 Current children cumulated CPU time (s) 359.92 Current children cumulated vsize (Kb) 596268 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+368.435 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 9694 Raw data (/proc/9694/stat): 9694 (pb2sat) T 9693 9694 4060 0 -1 0 239734 0 0 0 36269 564 0 0 25 0 1 0 21981244 955723776 149201 4294967295 134512640 135987407 3221224560 3221131984 135544035 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/9694/statm): 233331 149201 364 364 0 232967 0 [pid=9694] vsize: 933324 Current children cumulated CPU time (s) 368.33 Current children cumulated vsize (Kb) 933324 Sending SIGTERM to -9694 Sleeping 2 seconds [startup+370.01 s] Raw data (loadavg): 0.91 0.95 0.96 1/56 9695 Raw data (/proc/9694/stat): 9694 (pb2sat) S 9693 9694 4060 0 -1 0 239735 0 0 0 36286 564 0 0 25 0 1 0 21981244 955723776 149202 4294967295 134512640 135987407 3221224560 3221130296 135549753 0 16384 5 16384 0 0 0 17 0 0 0 Raw data (/proc/9694/statm): 233331 149202 364 364 0 232967 0 [pid=9694] vsize: 933324 Current children cumulated CPU time (s) 368.5 Current children cumulated vsize (Kb) 933324 Sending SIGKILL to -9694 One traced child (pid=9694) ended because it received signal 9 (SIGKILL) All traced children have exited ! Game is over. Child ended because it received signal 9 (SIGKILL) Real time (s): 370.747 CPU time (s): 368.82 CPU user time (s): 362.868 CPU system time (s): 5.9521 CPU usage (%): 99.4803 Max. virtual memory (cumulated for all children) (Kb): 933324
ERROR: no interpretation found !