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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rd-rplusc-21.opb
MD5SUM62166f7982a2b3c488537a2a2dbe4149
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 35
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 3735451
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 383602153706972160
Number of bits of the biggest number in a constraint 59
Biggest sum of numbers in a constraint 772928706545624815
Number of bits of the biggest sum of numbers60
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark290.495
Number of variables2644
Total number of constraints126450
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)699
Number of constraints which are nor clauses,nor cardinality constraints125751
Minimum length of a constraint1
Maximum length of a constraint130

Trace number 5193

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-19 23:26:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=979 boxname=wulflinc30 idbench=979 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  62166f7982a2b3c488537a2a2dbe4149  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-rd-rplusc-21.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-rd-rplusc-21.opb
IDLAUNCH: 979
/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:        743040 kB
Buffers:         19340 kB
Cached:         242728 kB
SwapCached:        752 kB
Active:         190084 kB
Inactive:        74596 kB
HighTotal:      131008 kB
HighFree:         3724 kB
LowTotal:       903652 kB
LowFree:        739316 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            21248 kB
Committed_AS:    64304 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 23:32:09 (client local time) WITH STATUS 20 IN 343.301 SECONDS
stats: 979 7 343.301 20

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 2644 variables and 125844 constraints.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 342.975 s

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/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1853832983 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 107 3 90 68 0 39 0
[pid=26868] 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-13-7-rd-rplusc-21.opb

[startup+10.0045 s]
Raw data (loadavg): 0.97 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 6803 0 0 0 963 24 0 0 25 0 1 0 1853832983 31457280 6710 4294967295 134512640 134736556 3221224560 3221223360 134568339 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 7680 6710 1116 68 0 7612 0
[pid=26868] vsize: 30720
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 30720

[startup+20.0053 s]
Raw data (loadavg): 0.98 1.00 0.99 1/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) T 26867 26868 5245 0 -1 0 11748 0 0 0 1937 43 0 0 25 0 1 0 1853832983 51912704 11587 4294967295 134512640 134736556 3221224560 3221223048 1077757598 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/26868/statm): 12674 11587 1116 68 0 12606 0
[pid=26868] vsize: 50696
Current children cumulated CPU time (s) 19.8
Current children cumulated vsize (Kb) 50696

[startup+30.0051 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 17058 0 0 0 2910 64 0 0 25 0 1 0 1853832983 74817536 16781 4294967295 134512640 134736556 3221224560 3221221256 1077359216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26868/statm): 18266 16781 1116 68 0 18198 0
[pid=26868] vsize: 73064
Current children cumulated CPU time (s) 29.74
Current children cumulated vsize (Kb) 73064

[startup+40.0059 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 21669 0 0 0 3886 80 0 0 25 0 1 0 1853832983 93216768 21389 4294967295 134512640 134736556 3221224560 3221222804 1077360362 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26868/statm): 22758 21389 1116 68 0 22690 0
[pid=26868] vsize: 91032
Current children cumulated CPU time (s) 39.66
Current children cumulated vsize (Kb) 91032

[startup+50.0067 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 26278 0 0 0 4862 98 0 0 25 0 1 0 1853832983 111611904 25998 4294967295 134512640 134736556 3221224560 3221221260 1077196847 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 27249 25998 1116 68 0 27181 0
[pid=26868] vsize: 108996
Current children cumulated CPU time (s) 49.6
Current children cumulated vsize (Kb) 108996

[startup+60.0075 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 33367 0 0 0 5831 122 0 0 25 0 1 0 1853832983 143572992 32808 4294967295 134512640 134736556 3221224560 3221221324 1077090821 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/26868/statm): 35052 32808 1116 68 0 34984 0
[pid=26868] vsize: 140208
Current children cumulated CPU time (s) 59.53
Current children cumulated vsize (Kb) 140208

[startup+70.0073 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 40082 0 0 0 6802 144 0 0 25 0 1 0 1853832983 170926080 39523 4294967295 134512640 134736556 3221224560 3221221404 1077253342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 41730 39523 1116 68 0 41662 0
[pid=26868] vsize: 166920
Current children cumulated CPU time (s) 69.46
Current children cumulated vsize (Kb) 166920

[startup+80.0071 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 44582 0 0 0 7778 162 0 0 25 0 1 0 1853832983 188936192 44021 4294967295 134512640 134736556 3221224560 3221223296 1077334000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 46127 44021 1116 68 0 46059 0
[pid=26868] vsize: 184508
Current children cumulated CPU time (s) 79.4
Current children cumulated vsize (Kb) 184508

[startup+90.0079 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 49103 0 0 0 8754 180 0 0 25 0 1 0 1853832983 207122432 48537 4294967295 134512640 134736556 3221224560 3221223280 134525071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 50567 48537 1116 68 0 50499 0
[pid=26868] vsize: 202268
Current children cumulated CPU time (s) 89.34
Current children cumulated vsize (Kb) 202268

[startup+100.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 53568 0 0 0 9732 196 0 0 25 0 1 0 1853832983 224849920 53002 4294967295 134512640 134736556 3221224560 3221223324 1077334080 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 54895 53002 1116 68 0 54827 0
[pid=26868] vsize: 219580
Current children cumulated CPU time (s) 99.28
Current children cumulated vsize (Kb) 219580

[startup+110.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 58098 0 0 0 10709 213 0 0 25 0 1 0 1853832983 242966528 57532 4294967295 134512640 134736556 3221224560 3221223052 1077374432 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 59318 57532 1116 68 0 59250 0
[pid=26868] vsize: 237272
Current children cumulated CPU time (s) 109.22
Current children cumulated vsize (Kb) 237272

[startup+120.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 62646 0 0 0 11685 231 0 0 25 0 1 0 1853832983 261079040 62080 4294967295 134512640 134736556 3221224560 3221223144 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 63740 62080 1116 68 0 63672 0
[pid=26868] vsize: 254960
Current children cumulated CPU time (s) 119.16
Current children cumulated vsize (Kb) 254960

[startup+130.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 71062 0 0 0 12655 254 0 0 25 0 1 0 1853832983 296853504 67995 4294967295 134512640 134736556 3221224560 3221223200 134536136 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 72474 67995 1116 68 0 72406 0
[pid=26868] vsize: 289896
Current children cumulated CPU time (s) 129.09
Current children cumulated vsize (Kb) 289896

[startup+140.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 75596 0 0 0 13631 272 0 0 25 0 1 0 1853832983 314843136 72529 4294967295 134512640 134736556 3221224560 3221222832 1077314086 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 76866 72529 1116 68 0 76798 0
[pid=26868] vsize: 307464
Current children cumulated CPU time (s) 139.03
Current children cumulated vsize (Kb) 307464

[startup+150.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 80139 0 0 0 14606 291 0 0 25 0 1 0 1853832983 332820480 77072 4294967295 134512640 134736556 3221224560 3221223376 134568176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 81255 77072 1116 68 0 81187 0
[pid=26868] vsize: 325020
Current children cumulated CPU time (s) 148.97
Current children cumulated vsize (Kb) 325020

[startup+160.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 84731 0 0 0 15583 308 0 0 25 0 1 0 1853832983 351133696 81648 4294967295 134512640 134736556 3221224560 3221223324 1077334163 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 85726 81648 1116 68 0 85658 0
[pid=26868] vsize: 342904
Current children cumulated CPU time (s) 158.91
Current children cumulated vsize (Kb) 342904

[startup+170.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 89311 0 0 0 16560 326 0 0 25 0 1 0 1853832983 369389568 86228 4294967295 134512640 134736556 3221224560 3221223136 134540448 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 90183 86228 1116 68 0 90115 0
[pid=26868] vsize: 360732
Current children cumulated CPU time (s) 168.86
Current children cumulated vsize (Kb) 360732

[startup+180.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 93843 0 0 0 17538 343 0 0 25 0 1 0 1853832983 387256320 90760 4294967295 134512640 134736556 3221224560 3221223088 134573174 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 94545 90760 1116 68 0 94477 0
[pid=26868] vsize: 378180
Current children cumulated CPU time (s) 178.81
Current children cumulated vsize (Kb) 378180

[startup+190.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 98342 0 0 0 18513 361 0 0 25 0 1 0 1853832983 405102592 95259 4294967295 134512640 134736556 3221224560 3221222904 1077377470 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 98902 95259 1116 68 0 98834 0
[pid=26868] vsize: 395608
Current children cumulated CPU time (s) 188.74
Current children cumulated vsize (Kb) 395608

[startup+200.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 102861 0 0 0 19489 380 0 0 25 0 1 0 1853832983 422944768 99778 4294967295 134512640 134736556 3221224560 3221223208 134523853 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 103258 99778 1116 68 0 103190 0
[pid=26868] vsize: 413032
Current children cumulated CPU time (s) 198.69
Current children cumulated vsize (Kb) 413032

[startup+210.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 107368 0 0 0 20466 396 0 0 25 0 1 0 1853832983 440786944 104285 4294967295 134512640 134736556 3221224560 3221223064 1077049329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 107614 104285 1116 68 0 107546 0
[pid=26868] vsize: 430456
Current children cumulated CPU time (s) 208.62
Current children cumulated vsize (Kb) 430456

[startup+220.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 111902 0 0 0 21443 413 0 0 25 0 1 0 1853832983 458629120 108819 4294967295 134512640 134736556 3221224560 3221221240 1077298518 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 111970 108819 1116 68 0 111902 0
[pid=26868] vsize: 447880
Current children cumulated CPU time (s) 218.56
Current children cumulated vsize (Kb) 447880

[startup+230.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 116396 0 0 0 22417 433 0 0 25 0 1 0 1853832983 476336128 113313 4294967295 134512640 134736556 3221224560 3221223144 1077377574 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 116293 113313 1116 68 0 116225 0
[pid=26868] vsize: 465172
Current children cumulated CPU time (s) 228.5
Current children cumulated vsize (Kb) 465172

[startup+240.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 126997 0 0 0 23382 460 0 0 25 0 1 0 1853832983 517033984 119297 4294967295 134512640 134736556 3221224560 3221223068 134518384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 126229 119297 1116 68 0 126161 0
[pid=26868] vsize: 504916
Current children cumulated CPU time (s) 238.42
Current children cumulated vsize (Kb) 504916

[startup+250.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 134905 0 0 0 24353 482 0 0 25 0 1 0 1853832983 547287040 124451 4294967295 134512640 134736556 3221224560 3221222444 1077271582 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 133615 124451 1116 68 0 133547 0
[pid=26868] vsize: 534460
Current children cumulated CPU time (s) 248.35
Current children cumulated vsize (Kb) 534460

[startup+260.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 139435 0 0 0 25328 500 0 0 25 0 1 0 1853832983 565129216 128981 4294967295 134512640 134736556 3221224560 3221223200 134536099 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 137971 128981 1116 68 0 137903 0
[pid=26868] vsize: 551884
Current children cumulated CPU time (s) 258.28
Current children cumulated vsize (Kb) 551884

[startup+270.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 143977 0 0 0 26304 518 0 0 25 0 1 0 1853832983 582836224 133523 4294967295 134512640 134736556 3221224560 3221221324 1077091271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 142294 133523 1116 68 0 142226 0
[pid=26868] vsize: 569176
Current children cumulated CPU time (s) 268.22
Current children cumulated vsize (Kb) 569176

[startup+280.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 148495 0 0 0 27278 537 0 0 25 0 1 0 1853832983 600678400 138041 4294967295 134512640 134736556 3221224560 3221222804 1077414273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 146650 138041 1116 68 0 146582 0
[pid=26868] vsize: 586600
Current children cumulated CPU time (s) 278.15
Current children cumulated vsize (Kb) 586600

[startup+290.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 153037 0 0 0 28253 556 0 0 25 0 1 0 1853832983 618520576 142583 4294967295 134512640 134736556 3221224560 3221223304 134574647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 151006 142583 1116 68 0 150938 0
[pid=26868] vsize: 604024
Current children cumulated CPU time (s) 288.09
Current children cumulated vsize (Kb) 604024

[startup+300.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 157639 0 0 0 29229 575 0 0 25 0 1 0 1853832983 637063168 147140 4294967295 134512640 134736556 3221224560 3221221332 1077359168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 155533 147140 1116 68 0 155465 0
[pid=26868] vsize: 622132
Current children cumulated CPU time (s) 298.04
Current children cumulated vsize (Kb) 622132

[startup+310.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 162167 0 0 0 30203 594 0 0 25 0 1 0 1853832983 654909440 151668 4294967295 134512640 134736556 3221224560 3221221228 1077359318 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 159890 151668 1116 68 0 159822 0
[pid=26868] vsize: 639560
Current children cumulated CPU time (s) 307.97
Current children cumulated vsize (Kb) 639560

[startup+320.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 166696 0 0 0 31175 614 0 0 25 0 1 0 1853832983 672616448 156197 4294967295 134512640 134736556 3221224560 3221222812 1077364321 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 164213 156197 1116 68 0 164145 0
[pid=26868] vsize: 656852
Current children cumulated CPU time (s) 317.89
Current children cumulated vsize (Kb) 656852

[startup+330.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 171232 0 0 0 32151 632 0 0 25 0 1 0 1853832983 690458624 160733 4294967295 134512640 134736556 3221224560 3221223364 1076647575 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 168569 160733 1116 68 0 168501 0
[pid=26868] vsize: 674276
Current children cumulated CPU time (s) 327.83
Current children cumulated vsize (Kb) 674276

[startup+340.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 26868
Raw data (/proc/26868/stat): 26868 (bsolo) R 26867 26868 5245 0 -1 0 175751 0 0 0 33129 648 0 0 25 0 1 0 1853832983 708169728 165252 4294967295 134512640 134736556 3221224560 3221222808 1076999581 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/26868/statm): 172893 165252 1116 68 0 172825 0
[pid=26868] vsize: 691572
Current children cumulated CPU time (s) 337.77
Current children cumulated vsize (Kb) 691572
One traced child (pid=26868) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 345.579
CPU time (s): 343.301
CPU user time (s): 336.4
CPU system time (s): 6.90095
CPU usage (%): 99.3407
Max. virtual memory (cumulated for all children) (Kb): 691572

Verifier Data

ERROR: no interpretation found !