Name | mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-van.opb |
MD5SUM | d28d6112d880a2aec142bea33a4150fb |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 29268441542 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 192 |
Biggest coefficient in the objective function | 2427002644 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 319999999936 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 226795425792 |
Number of bits of the biggest number in a constraint | 38 |
Biggest sum of numbers in a constraint | 973128929893 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1284.91 |
Number of variables | 135360 |
Total number of constraints | 39811 |
Number of constraints which are clauses | 128 |
Number of constraints which are cardinality constraints (but not clauses) | 195 |
Number of constraints which are nor clauses,nor cardinality constraints | 39488 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 496 |
LAUNCH ON wulflinc27 THE 2005-09-19 21:57:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=778 boxname=wulflinc27 idbench=778 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: d28d6112d880a2aec142bea33a4150fb /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-van.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-van.opb IDLAUNCH: 778 /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: 687288 kB Buffers: 37628 kB Cached: 276188 kB SwapCached: 752 kB Active: 241624 kB Inactive: 74820 kB HighTotal: 131008 kB HighFree: 3780 kB LowTotal: 903652 kB LowFree: 683508 kB SwapTotal: 2097892 kB SwapFree: 2096628 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5728 kB Slab: 25064 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 22:06:28 (client local time) WITH STATUS 0 IN 527.465 SECONDS stats: 778 7 527.465 0
c INFO: OSL Context initialized. c BIG Int formula... 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/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853297012 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 107 3 90 68 0 39 0 [pid=19907] 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-van.opb [startup+10.0046 s] Raw data (loadavg): 1.08 1.02 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 60636 0 0 0 833 135 0 0 25 0 1 0 1853297012 251047936 60374 4294967295 134512640 134736556 3221224560 3221222824 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 61291 60374 1116 68 0 61223 0 [pid=19907] vsize: 245164 Current children cumulated CPU time (s) 9.68 Current children cumulated vsize (Kb) 245164 [startup+20.0054 s] Raw data (loadavg): 1.07 1.01 1.00 1/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) T 19906 19907 28974 0 -1 0 105848 0 0 0 1726 223 0 0 25 0 1 0 1853297012 434216960 105004 4294967295 134512640 134736556 3221224560 3221222780 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/19907/statm): 106010 105004 1116 68 0 105942 0 [pid=19907] vsize: 424040 Current children cumulated CPU time (s) 19.49 Current children cumulated vsize (Kb) 424040 [startup+30.0052 s] Raw data (loadavg): 1.06 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 145193 0 0 0 2629 305 0 0 25 0 1 0 1853297012 592257024 143689 4294967295 134512640 134736556 3221224560 3221223308 1077294272 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 144594 143689 1116 68 0 144526 0 [pid=19907] vsize: 578376 Current children cumulated CPU time (s) 29.34 Current children cumulated vsize (Kb) 578376 [startup+40.0061 s] Raw data (loadavg): 1.05 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 165978 0 0 0 3578 348 0 0 25 0 1 0 1853297012 677126144 163971 4294967295 134512640 134736556 3221224560 3221223044 1076999581 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 165314 163971 1116 68 0 165246 0 [pid=19907] vsize: 661256 Current children cumulated CPU time (s) 39.26 Current children cumulated vsize (Kb) 661256 [startup+50.0069 s] Raw data (loadavg): 1.04 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 167240 0 0 0 4569 353 0 0 25 0 1 0 1853297012 682262528 165233 4294967295 134512640 134736556 3221224560 3221222444 1077246082 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 166568 165233 1116 68 0 166500 0 [pid=19907] vsize: 666272 Current children cumulated CPU time (s) 49.22 Current children cumulated vsize (Kb) 666272 [startup+60.0077 s] Raw data (loadavg): 1.11 1.03 1.01 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 168487 0 0 0 5560 360 0 0 25 0 1 0 1853297012 687398912 166480 4294967295 134512640 134736556 3221224560 3221223208 134523621 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 167822 166480 1116 68 0 167754 0 [pid=19907] vsize: 671288 Current children cumulated CPU time (s) 59.2 Current children cumulated vsize (Kb) 671288 [startup+70.0085 s] Raw data (loadavg): 1.10 1.03 1.00 1/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) T 19906 19907 28974 0 -1 0 169700 0 0 0 6553 365 0 0 25 0 1 0 1853297012 692264960 167693 4294967295 134512640 134736556 3221224560 3221223096 1077757598 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/19907/statm): 169010 167693 1116 68 0 168942 0 [pid=19907] vsize: 676040 Current children cumulated CPU time (s) 69.18 Current children cumulated vsize (Kb) 676040 [startup+80.0093 s] Raw data (loadavg): 1.08 1.02 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 170891 0 0 0 7544 371 0 0 25 0 1 0 1853297012 697131008 168884 4294967295 134512640 134736556 3221224560 3221223184 134523635 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 170198 168884 1116 68 0 170130 0 [pid=19907] vsize: 680792 Current children cumulated CPU time (s) 79.15 Current children cumulated vsize (Kb) 680792 [startup+90.0101 s] Raw data (loadavg): 1.07 1.02 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 172078 0 0 0 8536 378 0 0 25 0 1 0 1853297012 701997056 170071 4294967295 134512640 134736556 3221224560 3221221540 1077093969 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 171386 170071 1116 68 0 171318 0 [pid=19907] vsize: 685544 Current children cumulated CPU time (s) 89.14 Current children cumulated vsize (Kb) 685544 [startup+100.011 s] Raw data (loadavg): 1.06 1.02 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 173289 0 0 0 9528 383 0 0 25 0 1 0 1853297012 706998272 171282 4294967295 134512640 134736556 3221224560 3221223024 1077313969 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 172607 171282 1116 68 0 172539 0 [pid=19907] vsize: 690428 Current children cumulated CPU time (s) 99.11 Current children cumulated vsize (Kb) 690428 [startup+110.012 s] Raw data (loadavg): 1.05 1.02 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 174515 0 0 0 10518 389 0 0 25 0 1 0 1853297012 711999488 172508 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 173828 172508 1116 68 0 173760 0 [pid=19907] vsize: 695312 Current children cumulated CPU time (s) 109.07 Current children cumulated vsize (Kb) 695312 [startup+120.013 s] Raw data (loadavg): 1.04 1.02 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 175960 0 0 0 11509 396 0 0 25 0 1 0 1853297012 717946880 173953 4294967295 134512640 134736556 3221224560 3221221260 1077198926 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 175280 173953 1116 68 0 175212 0 [pid=19907] vsize: 701120 Current children cumulated CPU time (s) 119.05 Current children cumulated vsize (Kb) 701120 [startup+130.012 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 177460 0 0 0 12499 401 0 0 25 0 1 0 1853297012 724164608 175453 4294967295 134512640 134736556 3221224560 3221222804 1077414285 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 176798 175453 1116 68 0 176730 0 [pid=19907] vsize: 707192 Current children cumulated CPU time (s) 129 Current children cumulated vsize (Kb) 707192 [startup+140.013 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 178775 0 0 0 13492 407 0 0 25 0 1 0 1853297012 729436160 176768 4294967295 134512640 134736556 3221224560 3221221404 1077253638 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 178085 176768 1116 68 0 178017 0 [pid=19907] vsize: 712340 Current children cumulated CPU time (s) 138.99 Current children cumulated vsize (Kb) 712340 [startup+150.014 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 180046 0 0 0 14483 413 0 0 25 0 1 0 1853297012 734707712 178039 4294967295 134512640 134736556 3221224560 3221221260 1077196806 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 179372 178039 1116 68 0 179304 0 [pid=19907] vsize: 717488 Current children cumulated CPU time (s) 148.96 Current children cumulated vsize (Kb) 717488 [startup+160.015 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 181366 0 0 0 15474 419 0 0 25 0 1 0 1853297012 740114432 179359 4294967295 134512640 134736556 3221224560 3221221260 1077193054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 180692 179359 1116 68 0 180624 0 [pid=19907] vsize: 722768 Current children cumulated CPU time (s) 158.93 Current children cumulated vsize (Kb) 722768 [startup+170.016 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 182619 0 0 0 16465 423 0 0 25 0 1 0 1853297012 745250816 180612 4294967295 134512640 134736556 3221224560 3221223324 1077334077 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 181946 180612 1116 68 0 181878 0 [pid=19907] vsize: 727784 Current children cumulated CPU time (s) 168.88 Current children cumulated vsize (Kb) 727784 [startup+180.017 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 183914 0 0 0 17456 429 0 0 25 0 1 0 1853297012 750522368 181907 4294967295 134512640 134736556 3221224560 3221222812 1077364355 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 183233 181907 1116 68 0 183165 0 [pid=19907] vsize: 732932 Current children cumulated CPU time (s) 178.85 Current children cumulated vsize (Kb) 732932 [startup+190.017 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 185066 0 0 0 18449 434 0 0 25 0 1 0 1853297012 755253248 183059 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 184388 183059 1116 68 0 184320 0 [pid=19907] vsize: 737552 Current children cumulated CPU time (s) 188.83 Current children cumulated vsize (Kb) 737552 [startup+200.017 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 186261 0 0 0 19441 440 0 0 25 0 1 0 1853297012 760119296 184254 4294967295 134512640 134736556 3221224560 3221223072 134572999 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 185576 184254 1116 68 0 185508 0 [pid=19907] vsize: 742304 Current children cumulated CPU time (s) 198.81 Current children cumulated vsize (Kb) 742304 [startup+210.018 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 187485 0 0 0 20433 446 0 0 25 0 1 0 1853297012 765120512 185478 4294967295 134512640 134736556 3221224560 3221222812 1077364288 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 186797 185478 1116 68 0 186729 0 [pid=19907] vsize: 747188 Current children cumulated CPU time (s) 208.79 Current children cumulated vsize (Kb) 747188 [startup+220.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 189055 0 0 0 21423 454 0 0 25 0 1 0 1853297012 771608576 187048 4294967295 134512640 134736556 3221224560 3221223216 134536005 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 188381 187048 1116 68 0 188313 0 [pid=19907] vsize: 753524 Current children cumulated CPU time (s) 218.77 Current children cumulated vsize (Kb) 753524 [startup+230.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 190729 0 0 0 22413 460 0 0 25 0 1 0 1853297012 778502144 188722 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 190064 188722 1116 68 0 189996 0 [pid=19907] vsize: 760256 Current children cumulated CPU time (s) 228.73 Current children cumulated vsize (Kb) 760256 [startup+240.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 192162 0 0 0 23404 466 0 0 25 0 1 0 1853297012 784314368 190155 4294967295 134512640 134736556 3221224560 3221223376 134568641 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 191483 190155 1116 68 0 191415 0 [pid=19907] vsize: 765932 Current children cumulated CPU time (s) 238.7 Current children cumulated vsize (Kb) 765932 [startup+250.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 193439 0 0 0 24395 472 0 0 25 0 1 0 1853297012 789585920 191432 4294967295 134512640 134736556 3221224560 3221223068 1077399564 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 192770 191432 1116 68 0 192702 0 [pid=19907] vsize: 771080 Current children cumulated CPU time (s) 248.67 Current children cumulated vsize (Kb) 771080 [startup+260.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 194685 0 0 0 25388 475 0 0 25 0 1 0 1853297012 794722304 192678 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 194024 192678 1116 68 0 193956 0 [pid=19907] vsize: 776096 Current children cumulated CPU time (s) 258.63 Current children cumulated vsize (Kb) 776096 [startup+270.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 195929 0 0 0 26379 481 0 0 25 0 1 0 1853297012 799723520 193890 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 195245 193890 1116 68 0 195177 0 [pid=19907] vsize: 780980 Current children cumulated CPU time (s) 268.6 Current children cumulated vsize (Kb) 780980 [startup+280.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 197232 0 0 0 27370 488 0 0 25 0 1 0 1853297012 805130240 195129 4294967295 134512640 134736556 3221224560 3221223204 1077374077 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 196565 195129 1116 68 0 196497 0 [pid=19907] vsize: 786260 Current children cumulated CPU time (s) 278.58 Current children cumulated vsize (Kb) 786260 [startup+290.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 198461 0 0 0 28360 494 0 0 25 0 1 0 1853297012 810131456 196294 4294967295 134512640 134736556 3221224560 3221223304 134560233 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 197786 196294 1116 68 0 197718 0 [pid=19907] vsize: 791144 Current children cumulated CPU time (s) 288.54 Current children cumulated vsize (Kb) 791144 [startup+300.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 199612 0 0 0 29331 505 0 0 25 0 1 0 1853297012 814862336 197381 4294967295 134512640 134736556 3221224560 3221221260 1077197847 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 198941 197381 1116 68 0 198873 0 [pid=19907] vsize: 795764 Current children cumulated CPU time (s) 298.36 Current children cumulated vsize (Kb) 795764 [startup+310.024 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) T 19906 19907 28974 0 -1 0 200789 0 0 0 30318 515 0 0 21 0 1 0 1853297012 819728384 198462 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/19907/statm): 200129 198462 1116 68 0 200061 0 [pid=19907] vsize: 800516 Current children cumulated CPU time (s) 308.33 Current children cumulated vsize (Kb) 800516 [startup+320.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 202034 0 0 0 31305 525 0 0 25 0 1 0 1853297012 824729600 199611 4294967295 134512640 134736556 3221224560 3221223292 1076647867 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 201350 199611 1116 68 0 201282 0 [pid=19907] vsize: 805400 Current children cumulated CPU time (s) 318.3 Current children cumulated vsize (Kb) 805400 [startup+330.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 203430 0 0 0 32294 530 0 0 25 0 1 0 1853297012 830541824 200816 4294967295 134512640 134736556 3221224560 3221223356 1077049539 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 202769 200816 1116 68 0 202701 0 [pid=19907] vsize: 811076 Current children cumulated CPU time (s) 328.24 Current children cumulated vsize (Kb) 811076 [startup+340.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 204869 0 0 0 33282 538 0 0 25 0 1 0 1853297012 836354048 202098 4294967295 134512640 134736556 3221224560 3221222444 1077246155 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 204188 202098 1116 68 0 204120 0 [pid=19907] vsize: 816752 Current children cumulated CPU time (s) 338.2 Current children cumulated vsize (Kb) 816752 [startup+350.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 206229 0 9 0 34266 547 0 0 25 0 1 0 1853297012 841895936 203345 4294967295 134512640 134736556 3221224560 3221223068 1077399567 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 205541 203345 1116 68 0 205473 0 [pid=19907] vsize: 822164 Current children cumulated CPU time (s) 348.13 Current children cumulated vsize (Kb) 822164 [startup+360.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 207367 0 15 0 35254 553 0 0 25 0 1 0 1853297012 846626816 204158 4294967295 134512640 134736556 3221224560 3221221404 1077253827 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 206696 204159 1116 68 0 206628 0 [pid=19907] vsize: 826784 Current children cumulated CPU time (s) 358.07 Current children cumulated vsize (Kb) 826784 [startup+370.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 208512 0 17 0 36241 561 0 0 24 0 1 0 1853297012 851222528 204959 4294967295 134512640 134736556 3221224560 3221223088 134572982 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 207818 204959 1116 68 0 207750 0 [pid=19907] vsize: 831272 Current children cumulated CPU time (s) 368.02 Current children cumulated vsize (Kb) 831272 [startup+380.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 209641 0 23 0 37230 567 0 0 25 0 1 0 1853297012 855683072 205913 4294967295 134512640 134736556 3221224560 3221223136 134539937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 208907 205913 1116 68 0 208839 0 [pid=19907] vsize: 835628 Current children cumulated CPU time (s) 377.97 Current children cumulated vsize (Kb) 835628 [startup+390.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 210778 0 32 0 38213 573 0 0 25 0 1 0 1853297012 860278784 206779 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 210029 206779 1116 68 0 209961 0 [pid=19907] vsize: 840116 Current children cumulated CPU time (s) 387.86 Current children cumulated vsize (Kb) 840116 [startup+400.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 211960 0 33 0 39199 582 0 0 25 0 1 0 1853297012 865144832 207738 4294967295 134512640 134736556 3221224560 3221222444 1077244359 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 211217 207738 1116 68 0 211149 0 [pid=19907] vsize: 844868 Current children cumulated CPU time (s) 397.81 Current children cumulated vsize (Kb) 844868 [startup+410.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 213129 0 33 0 40187 591 0 0 25 0 1 0 1853297012 870010880 208723 4294967295 134512640 134736556 3221224560 3221221248 1077298590 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 212405 208723 1116 68 0 212337 0 [pid=19907] vsize: 849620 Current children cumulated CPU time (s) 407.78 Current children cumulated vsize (Kb) 849620 [startup+420.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) T 19906 19907 28974 0 -1 0 214382 0 35 0 41174 597 0 0 25 0 1 0 1853297012 875012096 209786 4294967295 134512640 134736556 3221224560 3221223096 1077757598 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/19907/statm): 213626 209786 1116 68 0 213558 0 [pid=19907] vsize: 854504 Current children cumulated CPU time (s) 417.71 Current children cumulated vsize (Kb) 854504 [startup+430.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 215601 0 42 0 42152 606 0 0 25 0 1 0 1853297012 880013312 210796 4294967295 134512640 134736556 3221224560 3221222904 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 214847 210796 1116 68 0 214779 0 [pid=19907] vsize: 859388 Current children cumulated CPU time (s) 427.58 Current children cumulated vsize (Kb) 859388 [startup+440.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 217004 0 44 0 43138 615 0 0 25 0 1 0 1853297012 885825536 211932 4294967295 134512640 134736556 3221224560 3221223352 1077049526 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 216266 211932 1116 68 0 216198 0 [pid=19907] vsize: 865064 Current children cumulated CPU time (s) 437.53 Current children cumulated vsize (Kb) 865064 [startup+450.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 218099 0 45 0 44127 622 0 0 25 0 1 0 1853297012 890286080 212815 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 217355 212815 1116 68 0 217287 0 [pid=19907] vsize: 869420 Current children cumulated CPU time (s) 447.49 Current children cumulated vsize (Kb) 869420 [startup+460.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 219325 0 47 0 45115 630 0 0 25 0 1 0 1853297012 895287296 213736 4294967295 134512640 134736556 3221224560 3221223068 1077399568 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 218576 213736 1116 68 0 218508 0 [pid=19907] vsize: 874304 Current children cumulated CPU time (s) 457.45 Current children cumulated vsize (Kb) 874304 [startup+470.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 220724 0 49 0 46100 638 0 0 25 0 1 0 1853297012 900964352 214829 4294967295 134512640 134736556 3221224560 3221222444 1077253315 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 219962 214829 1116 68 0 219894 0 [pid=19907] vsize: 879848 Current children cumulated CPU time (s) 467.38 Current children cumulated vsize (Kb) 879848 [startup+480.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 222090 0 51 0 47090 644 0 0 25 0 1 0 1853297012 906506240 215895 4294967295 134512640 134736556 3221224560 3221221404 1077253775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 221315 215895 1116 68 0 221247 0 [pid=19907] vsize: 885260 Current children cumulated CPU time (s) 477.34 Current children cumulated vsize (Kb) 885260 [startup+490.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 223411 0 53 0 48072 654 0 0 25 0 1 0 1853297012 911912960 216925 4294967295 134512640 134736556 3221224560 3221223068 1077399588 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 222635 216925 1116 68 0 222567 0 [pid=19907] vsize: 890540 Current children cumulated CPU time (s) 487.26 Current children cumulated vsize (Kb) 890540 [startup+500.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 225384 0 60 0 49051 662 0 0 25 0 1 0 1853297012 919887872 218404 4294967295 134512640 134736556 3221224560 3221222444 1077244344 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 224582 218404 1116 68 0 224514 0 [pid=19907] vsize: 898328 Current children cumulated CPU time (s) 497.13 Current children cumulated vsize (Kb) 898328 [startup+510.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 226832 0 62 0 50033 672 0 0 25 0 1 0 1853297012 925835264 219490 4294967295 134512640 134736556 3221224560 3221222444 1077258893 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 226034 219490 1116 68 0 225966 0 [pid=19907] vsize: 904136 Current children cumulated CPU time (s) 507.05 Current children cumulated vsize (Kb) 904136 [startup+520.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 228945 0 79 0 51002 684 0 0 25 0 1 0 1853297012 934080512 221359 4294967295 134512640 134736556 3221224560 3221222796 1077360225 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/19907/statm): 228047 221359 1116 68 0 227979 0 [pid=19907] vsize: 912188 Current children cumulated CPU time (s) 516.86 Current children cumulated vsize (Kb) 912188 [startup+530.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) R 19906 19907 28974 0 -1 0 231248 0 99 0 51974 695 0 0 25 0 1 0 1853297012 943407104 223169 4294967295 134512640 134736556 3221224560 3221222444 1077244341 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/19907/statm): 230324 223169 1116 68 0 230256 0 [pid=19907] vsize: 921296 Current children cumulated CPU time (s) 526.69 Current children cumulated vsize (Kb) 921296 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+530.379 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 19907 Raw data (/proc/19907/stat): 19907 (bsolo) T 19906 19907 28974 0 -1 0 231354 0 99 0 52007 696 0 0 25 0 1 0 1853297012 943812608 223271 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/19907/statm): 230423 223271 1116 68 0 230355 0 [pid=19907] vsize: 921692 Current children cumulated CPU time (s) 527.03 Current children cumulated vsize (Kb) 921692 Sending SIGTERM to -19907 Sleeping 2 seconds Sending SIGKILL to -19907 One traced child (pid=19907) 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): 532.807 CPU time (s): 527.465 CPU user time (s): 520.079 CPU system time (s): 7.38588 CPU usage (%): 98.9974 Max. virtual memory (cumulated for all children) (Kb): 921692
ERROR: no interpretation found !