Name | mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb |
MD5SUM | 3ed8b1557bef6552695b255ca35679eb |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -107049521 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1055 |
Biggest coefficient in the objective function | 65536000 |
Number of bits for the biggest coefficient in the objective function | 26 |
Sum of the numbers in the objective function | 584330055 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 5681631310381056 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 98271137637301167 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1260.57 |
Number of variables | 3671 |
Total number of constraints | 159 |
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 | 159 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 420 |
LAUNCH ON wulflinc27 THE 2005-09-18 10:43:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=452 boxname=wulflinc27 idbench=452 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 3ed8b1557bef6552695b255ca35679eb /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-recipe.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-recipe.opb IDLAUNCH: 452 /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: 939540 kB Buffers: 34708 kB Cached: 27768 kB SwapCached: 764 kB Active: 53816 kB Inactive: 11276 kB HighTotal: 131008 kB HighFree: 100296 kB LowTotal: 903652 kB LowFree: 839244 kB SwapTotal: 2097892 kB SwapFree: 2096616 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5724 kB Slab: 24208 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 10:50:20 (client local time) WITH STATUS 0 IN 367.877 SECONDS stats: 452 7 367.877 0
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 3671 variables and 219 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 1.742 c After prepocess the problem consists of 3082 variables and 163 constraints. c Initial Lower Bound: -557741203 c Restart #1 #Var: 3082 #Dec: 7575 LB: -557741203 @ 2.45 c Restart #2 #Var: 3082 #Dec: 20563 LB: -557741203 @ 3.731 c Restart #3 #Var: 3082 #Dec: 39863 LB: -557741203 @ 5.704 c Restart #4 #Var: 3082 #Dec: 59768 LB: -557741203 @ 8.251 c Restart #5 #Var: 3082 #Dec: 75602 LB: -557741203 @ 10.435 c Restart #6 #Var: 3082 #Dec: 83926 LB: -557741203 @ 12.479 c Restart #7 #Var: 3082 #Dec: 97008 LB: -557741203 @ 16.707 c Restart #8 #Var: 3082 #Dec: 103468 LB: -557741203 @ 18.493 c Restart #9 #Var: 3082 #Dec: 113599 LB: -557741203 @ 20.682 c Restart #10 #Var: 3082 #Dec: 118563 LB: -557741203 @ 24.563 c Restart #11 #Var: 3082 #Dec: 133992 LB: -557741203 @ 27.935 c Restart #12 #Var: 3082 #Dec: 136472 LB: -557741203 @ 30.146 c Restart #13 #Var: 3082 #Dec: 139477 LB: -557741203 @ 34.675 c Restart #14 #Var: 3082 #Dec: 142764 LB: -557741203 @ 37.255 c Restart #15 #Var: 3082 #Dec: 145844 LB: -557741203 @ 39.644 c Restart #16 #Var: 3082 #Dec: 149123 LB: -557741203 @ 42.416 c Restart #17 #Var: 3082 #Dec: 152620 LB: -557741203 @ 45.292 c Restart #18 #Var: 3082 #Dec: 156299 LB: -557741203 @ 48.151 c Restart #19 #Var: 3082 #Dec: 160182 LB: -557741203 @ 51.303 c Restart #20 #Var: 3082 #Dec: 164485 LB: -557741203 @ 55.015 c Restart #21 #Var: 3082 #Dec: 168764 LB: -557741203 @ 58.613 c Restart #22 #Var: 3082 #Dec: 173241 LB: -557741203 @ 62.269 c Restart #23 #Var: 3082 #Dec: 178074 LB: -557741203 @ 70.763 c Restart #24 #Var: 3082 #Dec: 182951 LB: -557741203 @ 74.666 c Restart #25 #Var: 3082 #Dec: 188034 LB: -557741203 @ 78.714 c Restart #26 #Var: 3082 #Dec: 194902 LB: -557741203 @ 90.625 c Restart #27 #Var: 3082 #Dec: 200537 LB: -557741203 @ 95.482 c Restart #28 #Var: 3082 #Dec: 206213 LB: -557741203 @ 100.12 c Restart #29 #Var: 3082 #Dec: 212484 LB: -557741203 @ 124.15 c Restart #30 #Var: 3082 #Dec: 218565 LB: -557741203 @ 128.89 c Restart #31 #Var: 3082 #Dec: 224844 LB: -557741203 @ 133.82 c Restart #32 #Var: 3082 #Dec: 231310 LB: -557741203 @ 138.88 c Restart #33 #Var: 3082 #Dec: 237976 LB: -557741203 @ 144.76 c Restart #34 #Var: 3082 #Dec: 244842 LB: -557741203 @ 150.7 c Restart #35 #Var: 3082 #Dec: 251907 LB: -557741203 @ 156.78 c Restart #36 #Var: 3082 #Dec: 259173 LB: -557741203 @ 163.99 c Restart #37 #Var: 3082 #Dec: 266641 LB: -557741203 @ 171 c Restart #38 #Var: 3082 #Dec: 274305 LB: -557741203 @ 178.48 c Restart #39 #Var: 3082 #Dec: 282170 LB: -557741203 @ 185.1 c Restart #40 #Var: 3082 #Dec: 290233 LB: -557741203 @ 193.1 c Restart #41 #Var: 3082 #Dec: 298501 LB: -557741203 @ 200.03 c Restart #42 #Var: 3082 #Dec: 306969 LB: -557741203 @ 208.9 c Restart #43 #Var: 3082 #Dec: 315634 LB: -557741203 @ 216.96 c Restart #44 #Var: 3082 #Dec: 324500 LB: -557741203 @ 225.83 c Restart #45 #Var: 3082 #Dec: 333566 LB: -557741203 @ 234.45 c Restart #46 #Var: 3082 #Dec: 342832 LB: -557741203 @ 243.7 c Restart #47 #Var: 3082 #Dec: 352292 LB: -557741203 @ 252.94 c Restart #48 #Var: 3082 #Dec: 361955 LB: -557741203 @ 262.52 c Restart #49 #Var: 3082 #Dec: 371821 LB: -557741203 @ 272.87 c Restart #50 #Var: 3082 #Dec: 381885 LB: -557741203 @ 282.39 c Restart #51 #Var: 3082 #Dec: 392149 LB: -557741203 @ 293.62 c Restart #52 #Var: 3082 #Dec: 402613 LB: -557741203 @ 304.85 c Restart #53 #Var: 3082 #Dec: 413277 LB: -557741203 @ 316.03 c Restart #54 #Var: 3082 #Dec: 424142 LB: -557741203 @ 327.37 c Restart #55 #Var: 3082 #Dec: 435204 LB: -557741203 @ 339.86 c Restart #56 #Var: 3082 #Dec: 446467 LB: -557741203 @ 351.86 c Restart #57 #Var: 3082 #Dec: 457933 LB: -557741203 @ 364.98 c Caught signal: 15 s UNKNOWN c Exit Code: 0
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/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1840613376 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 107 3 90 68 0 39 0 [pid=30753] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-recipe.opb [startup+10.0037 s] Raw data (loadavg): 0.89 0.93 0.90 1/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) T 30752 30753 28974 0 -1 0 3594 0 0 0 742 88 0 0 21 0 1 0 1840613376 17879040 3505 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30753/statm): 4365 3505 1116 68 0 4297 0 [pid=30753] vsize: 17460 Current children cumulated CPU time (s) 8.3 Current children cumulated vsize (Kb) 17460 [startup+20.0046 s] Raw data (loadavg): 0.91 0.93 0.90 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 3615 0 0 0 1579 143 0 0 22 0 1 0 1840613376 17940480 3526 4294967295 134512640 134736556 3221224560 3221223288 134605909 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 4380 3526 1116 68 0 4312 0 [pid=30753] vsize: 17520 Current children cumulated CPU time (s) 17.22 Current children cumulated vsize (Kb) 17520 [startup+30.0054 s] Raw data (loadavg): 0.92 0.93 0.90 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 3649 0 0 0 2453 186 0 0 22 0 1 0 1840613376 18104320 3560 4294967295 134512640 134736556 3221224560 3221223104 134550865 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 4420 3560 1116 68 0 4352 0 [pid=30753] vsize: 17680 Current children cumulated CPU time (s) 26.39 Current children cumulated vsize (Kb) 17680 [startup+40.0052 s] Raw data (loadavg): 0.93 0.94 0.90 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 4941 0 0 0 3404 205 0 0 25 0 1 0 1840613376 23379968 4852 4294967295 134512640 134736556 3221224560 3221223136 134550721 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 5708 4852 1116 68 0 5640 0 [pid=30753] vsize: 22832 Current children cumulated CPU time (s) 36.09 Current children cumulated vsize (Kb) 22832 [startup+50.0071 s] Raw data (loadavg): 0.94 0.94 0.90 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 4953 0 0 0 4351 226 0 0 25 0 1 0 1840613376 23379968 4864 4294967295 134512640 134736556 3221224560 3221223232 134536513 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 5708 4864 1116 68 0 5640 0 [pid=30753] vsize: 22832 Current children cumulated CPU time (s) 45.77 Current children cumulated vsize (Kb) 22832 [startup+60.0069 s] Raw data (loadavg): 0.95 0.94 0.90 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 5040 0 0 0 5296 246 0 0 25 0 1 0 1840613376 23781376 4951 4294967295 134512640 134736556 3221224560 3221223160 134716454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 5806 4951 1116 68 0 5738 0 [pid=30753] vsize: 23224 Current children cumulated CPU time (s) 55.42 Current children cumulated vsize (Kb) 23224 [startup+70.0067 s] Raw data (loadavg): 0.96 0.94 0.90 1/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) T 30752 30753 28974 0 -1 0 5845 0 0 0 6247 264 0 0 25 0 1 0 1840613376 27160576 5756 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/30753/statm): 6631 5756 1116 68 0 6563 0 [pid=30753] vsize: 26524 Current children cumulated CPU time (s) 65.11 Current children cumulated vsize (Kb) 26524 [startup+80.0076 s] Raw data (loadavg): 0.96 0.94 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 7493 0 0 0 7197 286 0 0 25 0 1 0 1840613376 33796096 7404 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 8251 7404 1116 68 0 8183 0 [pid=30753] vsize: 33004 Current children cumulated CPU time (s) 74.83 Current children cumulated vsize (Kb) 33004 [startup+90.0074 s] Raw data (loadavg): 0.97 0.94 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 8535 0 0 0 8151 305 0 0 25 0 1 0 1840613376 38121472 8446 4294967295 134512640 134736556 3221224560 3221223072 134543153 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 9307 8446 1116 68 0 9239 0 [pid=30753] vsize: 37228 Current children cumulated CPU time (s) 84.56 Current children cumulated vsize (Kb) 37228 [startup+100.008 s] Raw data (loadavg): 0.97 0.94 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 9449 0 0 0 9112 321 0 0 25 0 1 0 1840613376 41906176 9360 4294967295 134512640 134736556 3221224560 3221223164 134523852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 10231 9360 1116 68 0 10163 0 [pid=30753] vsize: 40924 Current children cumulated CPU time (s) 94.33 Current children cumulated vsize (Kb) 40924 [startup+110.009 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 9629 0 0 0 10075 334 0 0 25 0 1 0 1840613376 42582016 9540 4294967295 134512640 134736556 3221224560 3221223084 134540103 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 10396 9540 1116 68 0 10328 0 [pid=30753] vsize: 41584 Current children cumulated CPU time (s) 104.09 Current children cumulated vsize (Kb) 41584 [startup+120.009 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 10287 0 0 0 11061 340 0 0 25 0 1 0 1840613376 45285376 10198 4294967295 134512640 134736556 3221224560 3221223072 134543187 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 11056 10198 1116 68 0 10988 0 [pid=30753] vsize: 44224 Current children cumulated CPU time (s) 114.01 Current children cumulated vsize (Kb) 44224 [startup+130.01 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 12272 0 0 0 12041 351 0 0 25 0 1 0 1840613376 53395456 12183 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 13036 12183 1116 68 0 12968 0 [pid=30753] vsize: 52144 Current children cumulated CPU time (s) 123.92 Current children cumulated vsize (Kb) 52144 [startup+140.011 s] Raw data (loadavg): 0.98 0.95 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 12354 0 0 0 12986 368 0 0 25 0 1 0 1840613376 53800960 12265 4294967295 134512640 134736556 3221224560 3221223296 134605558 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 13135 12265 1116 68 0 13067 0 [pid=30753] vsize: 52540 Current children cumulated CPU time (s) 133.54 Current children cumulated vsize (Kb) 52540 [startup+150.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 22763 0 0 0 13905 410 0 0 25 0 1 0 1840613376 96419840 22672 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 23540 22672 1116 68 0 23472 0 [pid=30753] vsize: 94160 Current children cumulated CPU time (s) 143.15 Current children cumulated vsize (Kb) 94160 [startup+160.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 32886 0 0 0 14820 454 0 0 25 0 1 0 1840613376 138059776 32786 4294967295 134512640 134736556 3221224560 3221223296 134605561 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 33706 32786 1116 68 0 33638 0 [pid=30753] vsize: 134824 Current children cumulated CPU time (s) 152.74 Current children cumulated vsize (Kb) 134824 [startup+170.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 42546 0 0 0 15743 495 0 0 25 0 1 0 1840613376 177713152 42430 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 43387 42431 1116 68 0 43319 0 [pid=30753] vsize: 173548 Current children cumulated CPU time (s) 162.38 Current children cumulated vsize (Kb) 173548 [startup+180.014 s] Raw data (loadavg): 0.99 0.95 0.91 1/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) T 30752 30753 28974 0 -1 0 51822 0 0 0 16673 532 0 0 25 0 1 0 1840613376 215957504 51680 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/30753/statm): 52724 51680 1116 68 0 52656 0 [pid=30753] vsize: 210896 Current children cumulated CPU time (s) 172.05 Current children cumulated vsize (Kb) 210896 [startup+190.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 61478 0 0 0 17597 572 0 0 25 0 1 0 1840613376 255467520 61331 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 62370 61331 1116 68 0 62302 0 [pid=30753] vsize: 249480 Current children cumulated CPU time (s) 181.69 Current children cumulated vsize (Kb) 249480 [startup+200.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 70984 0 0 0 18522 612 0 0 25 0 1 0 1840613376 294420480 70828 4294967295 134512640 134736556 3221224560 3221223080 134716926 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 71880 70828 1116 68 0 71812 0 [pid=30753] vsize: 287520 Current children cumulated CPU time (s) 191.34 Current children cumulated vsize (Kb) 287520 [startup+210.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 80835 0 0 0 19447 651 0 0 25 0 1 0 1840613376 334835712 80671 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 81747 80671 1116 68 0 81679 0 [pid=30753] vsize: 326988 Current children cumulated CPU time (s) 200.98 Current children cumulated vsize (Kb) 326988 [startup+220.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 89929 0 0 0 20374 688 0 0 25 0 1 0 1840613376 372281344 89655 4294967295 134512640 134736556 3221224560 3221223312 134556521 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 90889 89655 1116 68 0 90821 0 [pid=30753] vsize: 363556 Current children cumulated CPU time (s) 210.62 Current children cumulated vsize (Kb) 363556 [startup+230.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 99322 0 0 0 21302 727 0 0 25 0 1 0 1840613376 410750976 99043 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 100281 99043 1116 68 0 100213 0 [pid=30753] vsize: 401124 Current children cumulated CPU time (s) 220.29 Current children cumulated vsize (Kb) 401124 [startup+240.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 108174 0 0 0 22233 763 0 0 25 0 1 0 1840613376 446976000 107895 4294967295 134512640 134736556 3221224560 3221223084 134536659 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 109125 107895 1116 68 0 109057 0 [pid=30753] vsize: 436500 Current children cumulated CPU time (s) 229.96 Current children cumulated vsize (Kb) 436500 [startup+250.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 117696 0 0 0 23155 805 0 0 25 0 1 0 1840613376 485769216 117417 4294967295 134512640 134736556 3221224560 3221223296 134605591 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 118596 117418 1116 68 0 118528 0 [pid=30753] vsize: 474384 Current children cumulated CPU time (s) 239.6 Current children cumulated vsize (Kb) 474384 [startup+260.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 126639 0 0 0 24085 841 0 0 25 0 1 0 1840613376 522420224 126314 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 127544 126314 1116 68 0 127476 0 [pid=30753] vsize: 510176 Current children cumulated CPU time (s) 249.26 Current children cumulated vsize (Kb) 510176 [startup+270.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 135710 0 0 0 25016 878 0 0 25 0 1 0 1840613376 559587328 135373 4294967295 134512640 134736556 3221224560 3221223136 134550707 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 136618 135373 1116 68 0 136550 0 [pid=30753] vsize: 546472 Current children cumulated CPU time (s) 258.94 Current children cumulated vsize (Kb) 546472 [startup+280.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 144437 0 0 0 25945 915 0 0 25 0 1 0 1840613376 595193856 144016 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 145311 144016 1116 68 0 145243 0 [pid=30753] vsize: 581244 Current children cumulated CPU time (s) 268.6 Current children cumulated vsize (Kb) 581244 [startup+290.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 153626 0 0 0 26867 956 0 0 25 0 1 0 1840613376 632696832 153199 4294967295 134512640 134736556 3221224560 3221223164 134537480 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/30753/statm): 154467 153200 1116 68 0 154399 0 [pid=30753] vsize: 617868 Current children cumulated CPU time (s) 278.23 Current children cumulated vsize (Kb) 617868 [startup+300.02 s] Raw data (loadavg): 0.99 0.96 0.91 1/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) T 30752 30753 28974 0 -1 0 162252 0 0 0 27800 989 0 0 25 0 1 0 1840613376 668192768 161641 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30753/statm): 163133 161641 1116 68 0 163065 0 [pid=30753] vsize: 652532 Current children cumulated CPU time (s) 287.89 Current children cumulated vsize (Kb) 652532 [startup+310.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 170411 0 0 0 28736 1022 0 0 25 0 1 0 1840613376 701210624 169556 4294967295 134512640 134736556 3221224560 3221223180 134550916 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 171194 169556 1116 68 0 171126 0 [pid=30753] vsize: 684776 Current children cumulated CPU time (s) 297.58 Current children cumulated vsize (Kb) 684776 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 178834 0 0 0 29672 1054 0 0 25 0 1 0 1840613376 735543296 177979 4294967295 134512640 134736556 3221224560 3221223036 134536623 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 179576 177979 1116 68 0 179508 0 [pid=30753] vsize: 718304 Current children cumulated CPU time (s) 307.26 Current children cumulated vsize (Kb) 718304 [startup+330.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 187314 0 0 0 30606 1088 0 0 25 0 1 0 1840613376 769990656 186295 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 187986 186295 1116 68 0 187918 0 [pid=30753] vsize: 751944 Current children cumulated CPU time (s) 316.94 Current children cumulated vsize (Kb) 751944 [startup+340.022 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) T 30752 30753 28974 0 -1 0 196930 0 0 0 31532 1126 0 0 25 0 1 0 1840613376 809250816 195829 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/30753/statm): 197571 195829 1116 68 0 197503 0 [pid=30753] vsize: 790284 Current children cumulated CPU time (s) 326.58 Current children cumulated vsize (Kb) 790284 [startup+350.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 204619 0 0 0 32470 1157 0 0 25 0 1 0 1840613376 840609792 203518 4294967295 134512640 134736556 3221224560 3221223120 134551105 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 205227 203518 1116 68 0 205159 0 [pid=30753] vsize: 820908 Current children cumulated CPU time (s) 336.27 Current children cumulated vsize (Kb) 820908 [startup+360.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 212524 0 0 0 33405 1191 0 0 25 0 1 0 1840613376 872914944 211423 4294967295 134512640 134736556 3221224560 3221223212 134554100 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 213114 211423 1116 68 0 213046 0 [pid=30753] vsize: 852456 Current children cumulated CPU time (s) 345.96 Current children cumulated vsize (Kb) 852456 [startup+370.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 220590 0 0 0 34341 1225 0 0 25 0 1 0 1840613376 905760768 219488 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 221133 219488 1116 68 0 221065 0 [pid=30753] vsize: 884532 Current children cumulated CPU time (s) 355.66 Current children cumulated vsize (Kb) 884532 [startup+380.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) R 30752 30753 28974 0 -1 0 228348 0 0 0 35283 1254 0 0 25 0 1 0 1840613376 937533440 227233 4294967295 134512640 134736556 3221224560 3221223152 134551110 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/30753/statm): 228890 227233 1116 68 0 228822 0 [pid=30753] vsize: 915560 Current children cumulated CPU time (s) 365.37 Current children cumulated vsize (Kb) 915560 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+382.187 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 30753 Raw data (/proc/30753/stat): 30753 (bsolo) T 30752 30753 28974 0 -1 0 229867 0 0 0 35485 1260 0 0 25 0 1 0 1840613376 943812608 228748 4294967295 134512640 134736556 3221224560 3221223020 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/30753/statm): 230423 228748 1116 68 0 230355 0 [pid=30753] vsize: 921692 Current children cumulated CPU time (s) 367.45 Current children cumulated vsize (Kb) 921692 Sending SIGTERM to -30753 Sleeping 2 seconds Sending SIGKILL to -30753 One traced child (pid=30753) 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): 384.605 CPU time (s): 367.877 CPU user time (s): 354.856 CPU system time (s): 13.021 CPU usage (%): 95.6505 Max. virtual memory (cumulated for all children) (Kb): 921692
ERROR: no interpretation found !