Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_3.opb
MD5SUM21464e866eda151b04d2fc7e4d1dba6a
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 134217728000
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 569083166190
Number of bits of the biggest sum of numbers40
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables404796
Total number of constraints3778
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)72
Number of constraints which are nor clauses,nor cardinality constraints3706
Minimum length of a constraint1
Maximum length of a constraint15900

Trace number 4318

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-19 06:41:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=711 boxname=wulflinc30 idbench=711 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  21464e866eda151b04d2fc7e4d1dba6a  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-dano3_3.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-dano3_3.opb
IDLAUNCH: 711
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        845312 kB
Buffers:         37112 kB
Cached:         121840 kB
SwapCached:        780 kB
Active:          88440 kB
Inactive:        73180 kB
HighTotal:      131008 kB
HighFree:        13580 kB
LowTotal:       903652 kB
LowFree:        831732 kB
SwapTotal:     2097892 kB
SwapFree:      2096636 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            22040 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 06:45:04 (client local time) WITH STATUS 0 IN 227.201 SECONDS
stats: 711 7 227.201 0

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Caught signal: 15
s UNKNOWN
c Exit Code: 0

Watcher Data

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/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1847801066 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20552/statm): 107 3 90 68 0 39 0
[pid=20552] 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/wulflinc30/normalized-mps-v2-20-10-dano3_3.opb

[startup+10.0037 s]
Raw data (loadavg): 0.95 0.99 0.99 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 29968 0 0 0 916 68 0 0 25 0 1 0 1847801066 125440000 29702 4294967295 134512640 134736556 3221224560 3221223088 134573621 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 30625 29702 1116 68 0 30557 0
[pid=20552] vsize: 122500
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 122500

[startup+20.0045 s]
Raw data (loadavg): 0.96 0.99 0.99 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 48766 0 0 0 1865 111 0 0 25 0 1 0 1847801066 200458240 47902 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 48940 47902 1116 68 0 48872 0
[pid=20552] vsize: 195760
Current children cumulated CPU time (s) 19.76
Current children cumulated vsize (Kb) 195760

[startup+30.0043 s]
Raw data (loadavg): 0.97 0.99 0.99 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 63565 0 0 0 2826 142 0 0 25 0 1 0 1847801066 260677632 62701 4294967295 134512640 134736556 3221224560 3221221324 1077091216 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 63642 62701 1116 68 0 63574 0
[pid=20552] vsize: 254568
Current children cumulated CPU time (s) 29.68
Current children cumulated vsize (Kb) 254568

[startup+40.0051 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 78286 0 0 0 3791 172 0 0 25 0 1 0 1847801066 317747200 76229 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 77575 76229 1116 68 0 77507 0
[pid=20552] vsize: 310300
Current children cumulated CPU time (s) 39.63
Current children cumulated vsize (Kb) 310300

[startup+50.0059 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 90639 0 0 0 4757 200 0 0 25 0 1 0 1847801066 367947776 88582 4294967295 134512640 134736556 3221224560 3221223068 1077399575 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 89831 88582 1116 68 0 89763 0
[pid=20552] vsize: 359324
Current children cumulated CPU time (s) 49.57
Current children cumulated vsize (Kb) 359324

[startup+60.0067 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 102294 0 0 0 5729 224 0 0 25 0 1 0 1847801066 415346688 100237 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 101403 100237 1116 68 0 101335 0
[pid=20552] vsize: 405612
Current children cumulated CPU time (s) 59.53
Current children cumulated vsize (Kb) 405612

[startup+70.0065 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 112472 0 0 0 6704 244 0 0 25 0 1 0 1847801066 456769536 110415 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 111516 110415 1116 68 0 111448 0
[pid=20552] vsize: 446064
Current children cumulated CPU time (s) 69.48
Current children cumulated vsize (Kb) 446064

[startup+80.0063 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 122261 0 0 0 7678 265 0 0 25 0 1 0 1847801066 496619520 120204 4294967295 134512640 134736556 3221224560 3221222768 1077358916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 121245 120204 1116 68 0 121177 0
[pid=20552] vsize: 484980
Current children cumulated CPU time (s) 79.43
Current children cumulated vsize (Kb) 484980

[startup+90.0071 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 132334 0 0 0 8651 287 0 0 25 0 1 0 1847801066 537542656 130277 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 131236 130281 1116 68 0 131168 0
[pid=20552] vsize: 524944
Current children cumulated CPU time (s) 89.38
Current children cumulated vsize (Kb) 524944

[startup+100.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 144610 0 0 0 9621 314 0 0 25 0 1 0 1847801066 581873664 141173 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 142059 141173 1116 68 0 141991 0
[pid=20552] vsize: 568236
Current children cumulated CPU time (s) 99.35
Current children cumulated vsize (Kb) 568236

[startup+110.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 154838 0 0 0 10595 335 0 0 25 0 1 0 1847801066 623439872 150398 4294967295 134512640 134736556 3221224560 3221223088 134572982 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 152207 150402 1116 68 0 152139 0
[pid=20552] vsize: 608828
Current children cumulated CPU time (s) 109.3
Current children cumulated vsize (Kb) 608828

[startup+120.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 163770 0 0 0 11573 353 0 0 25 0 1 0 1847801066 659820544 159330 4294967295 134512640 134736556 3221224560 3221223136 134539919 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 161089 159330 1116 68 0 161021 0
[pid=20552] vsize: 644356
Current children cumulated CPU time (s) 119.26
Current children cumulated vsize (Kb) 644356

[startup+130.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 172759 0 0 0 12549 372 0 0 25 0 1 0 1847801066 696401920 168319 4294967295 134512640 134736556 3221224560 3221221324 1077091057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 170020 168320 1116 68 0 169952 0
[pid=20552] vsize: 680080
Current children cumulated CPU time (s) 129.21
Current children cumulated vsize (Kb) 680080

[startup+140.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 181150 0 0 0 13528 391 0 0 25 0 1 0 1847801066 730431488 176710 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 178328 176710 1116 68 0 178260 0
[pid=20552] vsize: 713312
Current children cumulated CPU time (s) 139.19
Current children cumulated vsize (Kb) 713312

[startup+150.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 189396 0 0 0 14507 408 0 0 25 0 1 0 1847801066 763953152 184956 4294967295 134512640 134736556 3221224560 3221221260 1077197840 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 186512 184956 1116 68 0 186444 0
[pid=20552] vsize: 746048
Current children cumulated CPU time (s) 149.15
Current children cumulated vsize (Kb) 746048

[startup+160.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 197445 0 0 0 15488 424 0 0 25 0 1 0 1847801066 796758016 193005 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 194521 193005 1116 68 0 194453 0
[pid=20552] vsize: 778084
Current children cumulated CPU time (s) 159.12
Current children cumulated vsize (Kb) 778084

[startup+170.011 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) T 20551 20552 5245 0 -1 0 205593 0 0 0 16468 439 0 0 25 0 1 0 1847801066 829796352 201153 4294967295 134512640 134736556 3221224560 3221222780 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/20552/statm): 202587 201153 1116 68 0 202519 0
[pid=20552] vsize: 810348
Current children cumulated CPU time (s) 169.07
Current children cumulated vsize (Kb) 810348

[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 213426 0 0 0 17448 456 0 0 25 0 1 0 1847801066 861667328 208986 4294967295 134512640 134736556 3221224560 3221223276 1077334095 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 210368 208986 1116 68 0 210300 0
[pid=20552] vsize: 841472
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (Kb) 841472

[startup+190.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 224464 0 24 0 18401 485 0 0 25 0 1 0 1847801066 906248192 218176 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 221252 218178 1116 68 0 221184 0
[pid=20552] vsize: 885008
Current children cumulated CPU time (s) 188.86
Current children cumulated vsize (Kb) 885008

[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 230328 0 66 0 19336 507 0 0 25 0 1 0 1847801066 929353728 222115 4294967295 134512640 134736556 3221224560 3221223072 134572994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 226893 222115 1116 68 0 226825 0
[pid=20552] vsize: 907572
Current children cumulated CPU time (s) 198.43
Current children cumulated vsize (Kb) 907572

[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 231568 0 66 0 20329 513 0 0 25 0 1 0 1847801066 934490112 222815 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 228147 222815 1116 68 0 228079 0
[pid=20552] vsize: 912588
Current children cumulated CPU time (s) 208.42
Current children cumulated vsize (Kb) 912588

[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) R 20551 20552 5245 0 -1 0 233011 0 98 0 21277 518 0 0 25 0 1 0 1847801066 939356160 223696 4294967295 134512640 134736556 3221224560 3221223068 1077399562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/20552/statm): 229335 223696 1116 68 0 229267 0
[pid=20552] vsize: 917340
Current children cumulated CPU time (s) 217.95
Current children cumulated vsize (Kb) 917340



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+229.241 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 20552
Raw data (/proc/20552/stat): 20552 (bsolo) T 20551 20552 5245 0 -1 0 234435 0 136 0 22153 523 0 0 25 0 1 0 1847801066 943816704 224211 4294967295 134512640 134736556 3221224560 3221222828 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/20552/statm): 230424 224211 1116 68 0 230356 0
[pid=20552] vsize: 921696
Current children cumulated CPU time (s) 226.76
Current children cumulated vsize (Kb) 921696

Sending SIGTERM to -20552
Sleeping 2 seconds

[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 20553
Raw data (/proc/20552/stat): 20552 (bsolo) S 20551 20552 5245 0 -1 0 234438 0 136 0 22153 523 0 0 25 0 1 0 1847801066 943816704 224214 4294967295 134512640 134736556 3221224560 3221221800 1077867073 0 16384 5 16384 0 0 0 17 1 0 0
Raw data (/proc/20552/statm): 230424 224214 1116 68 0 230356 0
[pid=20552] vsize: 921696
Current children cumulated CPU time (s) 226.76
Current children cumulated vsize (Kb) 921696
Sending SIGKILL to -20552
One traced child (pid=20552) 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): 231.675
CPU time (s): 227.201
CPU user time (s): 221.533
CPU system time (s): 5.66814
CPU usage (%): 98.069
Max. virtual memory (cumulated for all children) (Kb): 921696

Verifier Data

ERROR: no interpretation found !