Name | mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb |
MD5SUM | 1d23f02bf686681d1b293e114d3bb612 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6253119597 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 105000 |
Biggest coefficient in the objective function | 4194304 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 39177236543 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 4194304 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 39177236543 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1205.49 |
Number of variables | 105000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 2000 |
LAUNCH ON wulflinc12 THE 2005-09-23 18:41:46 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9268 boxname=wulflinc12 idbench=1064 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 1d23f02bf686681d1b293e114d3bb612 /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-n3702.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-n3702.opb IDLAUNCH: 9268 /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: 923688 kB Buffers: 6848 kB Cached: 84340 kB SwapCached: 0 kB Active: 25652 kB Inactive: 68464 kB HighTotal: 131008 kB HighFree: 64596 kB LowTotal: 903652 kB LowFree: 859092 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 44 kB Writeback: 0 kB Mapped: 6980 kB Slab: 11292 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 18:48:17 (client local time) WITH STATUS 0 IN 388.598 SECONDS stats: 9268 7 388.598 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/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 22429757 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 373 2 364 364 0 9 0 [pid=11384] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-n3702.opb [startup+10.0023 s] Raw data (loadavg): 0.94 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 2535 0 0 0 991 7 0 0 25 0 1 0 22429757 9502720 1848 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 2320 1848 364 364 0 1956 0 [pid=11384] vsize: 9280 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9280 [startup+20.0032 s] Raw data (loadavg): 0.95 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 4179 0 0 0 1987 12 0 0 25 0 1 0 22429757 15224832 2745 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 3717 2745 364 364 0 3353 0 [pid=11384] vsize: 14868 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 14868 [startup+30.003 s] Raw data (loadavg): 0.95 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 4427 0 0 0 2986 12 0 0 25 0 1 0 22429757 15765504 2987 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 3849 2987 364 364 0 3485 0 [pid=11384] vsize: 15396 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15396 [startup+40.0028 s] Raw data (loadavg): 0.96 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 4703 0 0 0 3986 13 0 0 25 0 1 0 22429757 16441344 3258 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 4014 3258 364 364 0 3650 0 [pid=11384] vsize: 16056 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 16056 [startup+50.0037 s] Raw data (loadavg): 0.97 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 4952 0 0 0 4985 14 0 0 25 0 1 0 22429757 17117184 3503 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 4179 3503 364 364 0 3815 0 [pid=11384] vsize: 16716 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 16716 [startup+60.0035 s] Raw data (loadavg): 0.97 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 5178 0 0 0 5985 14 0 0 25 0 1 0 22429757 17657856 3726 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 4311 3726 364 364 0 3947 0 [pid=11384] vsize: 17244 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 17244 [startup+70.0044 s] Raw data (loadavg): 0.97 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 5387 0 0 0 6984 15 0 0 25 0 1 0 22429757 18198528 3931 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 4443 3931 364 364 0 4079 0 [pid=11384] vsize: 17772 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 17772 [startup+80.0052 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 5581 0 0 0 7984 15 0 0 25 0 1 0 22429757 18739200 4122 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 4575 4122 364 364 0 4211 0 [pid=11384] vsize: 18300 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 18300 [startup+90.0051 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 5760 0 0 0 8983 16 0 0 25 0 1 0 22429757 19144704 4298 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 4674 4298 364 364 0 4310 0 [pid=11384] vsize: 18696 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 18696 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 5931 0 0 0 9983 17 0 0 25 0 1 0 22429757 19550208 4466 4294967295 134512640 135987407 3221224560 3221221952 134616267 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 4773 4466 364 364 0 4409 0 [pid=11384] vsize: 19092 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 19092 [startup+110.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 8291 0 0 0 10976 22 0 0 25 0 1 0 22429757 28696576 5349 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7006 5349 364 364 0 6642 0 [pid=11384] vsize: 28024 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 28024 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 8350 0 0 0 11977 22 0 0 25 0 1 0 22429757 28696576 5405 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7006 5405 364 364 0 6642 0 [pid=11384] vsize: 28024 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 28024 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 8466 0 0 0 12976 23 0 0 25 0 1 0 22429757 28966912 5519 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7072 5519 364 364 0 6708 0 [pid=11384] vsize: 28288 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 28288 [startup+140.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 8593 0 0 0 13976 23 0 0 25 0 1 0 22429757 29237248 5644 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7138 5644 364 364 0 6774 0 [pid=11384] vsize: 28552 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 28552 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 8716 0 0 0 14975 24 0 0 25 0 1 0 22429757 29507584 5764 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7204 5764 364 364 0 6840 0 [pid=11384] vsize: 28816 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 28816 [startup+160.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 8834 0 0 0 15975 25 0 0 25 0 1 0 22429757 29777920 5880 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7270 5880 364 364 0 6906 0 [pid=11384] vsize: 29080 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 29080 [startup+170.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 8951 0 0 0 16974 25 0 0 25 0 1 0 22429757 30048256 5995 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7336 5995 364 364 0 6972 0 [pid=11384] vsize: 29344 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 29344 [startup+180.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 9072 0 0 0 17974 25 0 0 25 0 1 0 22429757 30453760 6114 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7435 6114 364 364 0 7071 0 [pid=11384] vsize: 29740 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 29740 [startup+190.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 9198 0 0 0 18974 26 0 0 25 0 1 0 22429757 30724096 6238 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7501 6238 364 364 0 7137 0 [pid=11384] vsize: 30004 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 30004 [startup+200.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 9321 0 0 0 19973 26 0 0 25 0 1 0 22429757 30994432 6359 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7567 6359 364 364 0 7203 0 [pid=11384] vsize: 30268 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 30268 [startup+210.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 9440 0 0 0 20973 27 0 0 25 0 1 0 22429757 31399936 6476 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7666 6476 364 364 0 7302 0 [pid=11384] vsize: 30664 Current children cumulated CPU time (s) 210 Current children cumulated vsize (Kb) 30664 [startup+220.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 9559 0 0 0 21973 27 0 0 25 0 1 0 22429757 31670272 6593 4294967295 134512640 135987407 3221224560 3221221616 134543166 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7732 6593 364 364 0 7368 0 [pid=11384] vsize: 30928 Current children cumulated CPU time (s) 220 Current children cumulated vsize (Kb) 30928 [startup+230.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 9673 0 0 0 22973 27 0 0 25 0 1 0 22429757 31940608 6705 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7798 6705 364 364 0 7434 0 [pid=11384] vsize: 31192 Current children cumulated CPU time (s) 230 Current children cumulated vsize (Kb) 31192 [startup+240.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 9787 0 0 0 23972 27 0 0 25 0 1 0 22429757 32210944 6817 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7864 6817 364 364 0 7500 0 [pid=11384] vsize: 31456 Current children cumulated CPU time (s) 239.99 Current children cumulated vsize (Kb) 31456 [startup+250.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 9898 0 0 0 24972 28 0 0 25 0 1 0 22429757 32481280 6926 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7930 6926 364 364 0 7566 0 [pid=11384] vsize: 31720 Current children cumulated CPU time (s) 250 Current children cumulated vsize (Kb) 31720 [startup+260.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 10006 0 0 0 25972 28 0 0 25 0 1 0 22429757 32751616 7033 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 7996 7033 364 364 0 7632 0 [pid=11384] vsize: 31984 Current children cumulated CPU time (s) 260 Current children cumulated vsize (Kb) 31984 [startup+270.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 10113 0 0 0 26971 29 0 0 25 0 1 0 22429757 33021952 7138 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 8062 7138 364 364 0 7698 0 [pid=11384] vsize: 32248 Current children cumulated CPU time (s) 270 Current children cumulated vsize (Kb) 32248 [startup+280.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 10217 0 0 0 27971 29 0 0 25 0 1 0 22429757 33292288 7240 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 8128 7240 364 364 0 7764 0 [pid=11384] vsize: 32512 Current children cumulated CPU time (s) 280 Current children cumulated vsize (Kb) 32512 [startup+290.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 10320 0 0 0 28970 30 0 0 25 0 1 0 22429757 33562624 7342 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 8194 7342 364 364 0 7830 0 [pid=11384] vsize: 32776 Current children cumulated CPU time (s) 290 Current children cumulated vsize (Kb) 32776 [startup+300.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 19512 0 0 0 29949 50 0 0 25 0 1 0 22429757 65138688 12572 4294967295 134512640 135987407 3221224560 3220642920 135488042 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 15903 12572 364 364 0 15539 0 [pid=11384] vsize: 63612 Current children cumulated CPU time (s) 299.99 Current children cumulated vsize (Kb) 63612 [startup+310.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 47862 0 0 0 30883 113 0 0 25 0 1 0 22429757 142979072 31224 4294967295 134512640 135987407 3221224560 3220883644 134637002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 34907 31224 364 364 0 34543 0 [pid=11384] vsize: 139628 Current children cumulated CPU time (s) 309.96 Current children cumulated vsize (Kb) 139628 [startup+320.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 82154 0 0 0 31813 181 0 0 25 0 1 0 22429757 253624320 49449 4294967295 134512640 135987407 3221224560 3220698928 134558524 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 61920 49449 364 364 0 61556 0 [pid=11384] vsize: 247680 Current children cumulated CPU time (s) 319.94 Current children cumulated vsize (Kb) 247680 [startup+330.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 107708 0 0 0 32759 235 0 0 25 0 1 0 22429757 340213760 62492 4294967295 134512640 135987407 3221224560 3220747072 134864330 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 83060 62492 364 364 0 82696 0 [pid=11384] vsize: 332240 Current children cumulated CPU time (s) 329.94 Current children cumulated vsize (Kb) 332240 [startup+340.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 125020 0 0 0 33720 274 0 0 25 0 1 0 22429757 492285952 79514 4294967295 134512640 135987407 3221224560 3220821680 134856445 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 120187 79514 364 364 0 119823 0 [pid=11384] vsize: 480748 Current children cumulated CPU time (s) 339.94 Current children cumulated vsize (Kb) 480748 [startup+350.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 187608 0 0 0 34587 402 0 0 25 0 1 0 22429757 573280256 97971 4294967295 134512640 135987407 3221224560 3220787248 134537491 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 139961 97971 364 364 0 139597 0 [pid=11384] vsize: 559844 Current children cumulated CPU time (s) 349.89 Current children cumulated vsize (Kb) 559844 [startup+360.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 201416 0 0 0 35556 433 0 0 25 0 1 0 22429757 611565568 111556 4294967295 134512640 135987407 3221224560 3221221188 135479993 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 149308 111556 364 364 0 148944 0 [pid=11384] vsize: 597232 Current children cumulated CPU time (s) 359.89 Current children cumulated vsize (Kb) 597232 [startup+370.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 216868 0 0 0 36521 467 0 0 25 0 1 0 22429757 615215104 126751 4294967295 134512640 135987407 3221224560 3220843292 134637002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 150199 126751 364 364 0 149835 0 [pid=11384] vsize: 600796 Current children cumulated CPU time (s) 369.88 Current children cumulated vsize (Kb) 600796 [startup+380.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) R 11383 11384 4060 0 -1 0 231123 0 0 0 37486 502 0 0 25 0 1 0 22429757 670142464 140775 4294967295 134512640 135987407 3221224560 3220579712 134877628 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 163609 140775 364 364 0 163245 0 [pid=11384] vsize: 654436 Current children cumulated CPU time (s) 379.88 Current children cumulated vsize (Kb) 654436 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+388.287 s] Raw data (loadavg): 0.99 0.98 0.91 1/55 11384 Raw data (/proc/11384/stat): 11384 (pb2sat) T 11383 11384 4060 0 -1 0 243184 0 0 0 38286 528 0 0 25 0 1 0 22429757 963063808 152657 4294967295 134512640 135987407 3221224560 3220645488 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11384/statm): 235123 152657 364 364 0 234759 0 [pid=11384] vsize: 940492 Current children cumulated CPU time (s) 388.14 Current children cumulated vsize (Kb) 940492 Sending SIGTERM to -11384 Sleeping 2 seconds [startup+390.022 s] Raw data (loadavg): 0.99 0.98 0.91 1/56 11385 Raw data (/proc/11384/stat): 11384 (pb2sat) S 11383 11384 4060 0 -1 0 243185 0 0 0 38300 528 0 0 25 0 1 0 22429757 963063808 152658 4294967295 134512640 135987407 3221224560 3220644040 135549753 0 16384 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11384/statm): 235123 152658 364 364 0 234759 0 [pid=11384] vsize: 940492 Current children cumulated CPU time (s) 388.28 Current children cumulated vsize (Kb) 940492 Sending SIGKILL to -11384 One traced child (pid=11384) 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): 390.603 CPU time (s): 388.598 CPU user time (s): 383.006 CPU system time (s): 5.59215 CPU usage (%): 99.4868 Max. virtual memory (cumulated for all children) (Kb): 940492
ERROR: no interpretation found !