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

Nameweb/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
MD5SUM89f41bbcf2b70665bd7071c5b58e0ec8
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
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 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark323.626
Number of variables49621
Total number of constraints138346
Number of constraints which are clauses127390
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10956
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 9793

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-23 15:22:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8544 boxname=wulflinc9 idbench=340 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  89f41bbcf2b70665bd7071c5b58e0ec8  /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
IDLAUNCH: 8544
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        911212 kB
Buffers:         12232 kB
Cached:          93576 kB
SwapCached:          0 kB
Active:          56716 kB
Inactive:        52040 kB
HighTotal:      131008 kB
HighFree:        34272 kB
LowTotal:       903652 kB
LowFree:        876940 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9128 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:30:17 (client local time) WITH STATUS 20 IN 469.081 SECONDS
stats: 8544 7 469.081 20

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 16787/255623	Time: 22.9835/86400
c Decision: 16790/255623	Time: 44.7972/86400
c Decision: 16791/255623	Time: 59.7119/86400
c Decision: 16791/255623	Time: 68.4376/86400
c Decision: 16791/255623	Time: 75.8615/86400
c Decision: 16791/255623	Time: 87.1028/86400
c Decision: 16791/255623	Time: 97.3992/86400
c Decision: 16791/255623	Time: 107.569/86400
c Decision: 16791/255623	Time: 118.971/86400
c Decision: 16791/255623	Time: 128.855/86400
c Decision: 18105/255623	Time: 145.845/86400
c Decision: 18105/255623	Time: 154.171/86400
c Decision: 18105/255623	Time: 163.774/86400
c Decision: 18105/255623	Time: 174.274/86400
c Decision: 18105/255623	Time: 184.867/86400
c Decision: 18105/255623	Time: 195.977/86400
c Decision: 20495/255623	Time: 206.642/86400
c Decision: 20498/255623	Time: 226.365/86400
c Decision: 20498/255623	Time: 240.796/86400
c Decision: 20498/255623	Time: 252.328/86400
c Decision: 20498/255623	Time: 267.514/86400
c Decision: 20501/255623	Time: 291.062/86400
c Decision: 20600/255623	Time: 308.896/86400
c Decision: 24158/255623	Time: 324.884/86400
c Decision: 24158/255623	Time: 335.568/86400
c Decision: 24158/255623	Time: 341.863/86400
c Decision: 24208/255623	Time: 358.132/86400
c Decision: 25382/255623	Time: 374.19/86400
c Decision: 27723/255623	Time: 400.027/86400
c Decision: 27742/255623	Time: 409.942/86400
c Decision: 27742/255623	Time: 416.846/86400
c Decision: 27806/255623	Time: 423.166/86400
c Decision: 27806/255623	Time: 429.003/86400
c Decision: 27806/255623	Time: 434.526/86400
c Decision: 27806/255623	Time: 440.074/86400
s UNSATISFIABLE

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/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 21235338 1527808 2 4294967295 134512640 135987407 3221224544 3221224544 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9015/statm): 373 2 364 364 0 9 0
[pid=9015] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb

[startup+10.0017 s]
Raw data (loadavg): 0.83 0.93 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 5577 0 0 0 985 13 0 0 25 0 1 0 21235338 19562496 3641 4294967295 134512640 135987407 3221224544 3221221992 134578437 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9015/statm): 4776 3641 364 364 0 4412 0
[pid=9015] vsize: 19104
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 19104

[startup+20.0025 s]
Raw data (loadavg): 0.85 0.93 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 24230 0 0 0 1938 57 0 0 25 0 1 0 21235338 74604544 13130 4294967295 134512640 135987407 3221224544 3221218224 134878095 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9015/statm): 18214 13130 364 364 0 17850 0
[pid=9015] vsize: 72856
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 72856

[startup+30.0032 s]
Raw data (loadavg): 0.88 0.93 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 30844 0 0 0 2895 85 0 0 25 0 1 0 21235338 92057600 19164 4294967295 134512640 135987407 3221224544 3221223392 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 22475 19164 364 364 0 22111 0
[pid=9015] vsize: 89900
Current children cumulated CPU time (s) 29.8
Current children cumulated vsize (Kb) 89900

[startup+40.004 s]
Raw data (loadavg): 0.89 0.93 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 31592 0 0 0 3863 96 0 0 25 0 1 0 21235338 95924224 19912 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 23419 19912 364 364 0 23055 0
[pid=9015] vsize: 93676
Current children cumulated CPU time (s) 39.59
Current children cumulated vsize (Kb) 93676

[startup+50.0048 s]
Raw data (loadavg): 0.91 0.94 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 32333 0 0 0 4844 103 0 0 25 0 1 0 21235338 97071104 20153 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 23699 20153 364 364 0 23335 0
[pid=9015] vsize: 94796
Current children cumulated CPU time (s) 49.47
Current children cumulated vsize (Kb) 94796

[startup+60.0056 s]
Raw data (loadavg): 0.92 0.94 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 32573 0 0 0 5813 113 0 0 25 0 1 0 21235338 98119680 20393 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9015/statm): 23955 20393 364 364 0 23591 0
[pid=9015] vsize: 95820
Current children cumulated CPU time (s) 59.26
Current children cumulated vsize (Kb) 95820

[startup+70.0053 s]
Raw data (loadavg): 0.93 0.94 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 33171 0 0 0 6788 124 0 0 25 0 1 0 21235338 98512896 20491 4294967295 134512640 135987407 3221224544 3221223232 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24051 20491 364 364 0 23687 0
[pid=9015] vsize: 96204
Current children cumulated CPU time (s) 69.12
Current children cumulated vsize (Kb) 96204

[startup+80.0061 s]
Raw data (loadavg): 0.94 0.94 0.96 1/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 33253 0 0 0 7760 133 0 0 25 0 1 0 21235338 98906112 20573 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24147 20573 364 364 0 23783 0
[pid=9015] vsize: 96588
Current children cumulated CPU time (s) 78.93
Current children cumulated vsize (Kb) 96588

[startup+90.0059 s]
Raw data (loadavg): 0.95 0.94 0.96 1/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 33776 0 0 0 8725 145 0 0 25 0 1 0 21235338 98906112 20596 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24147 20596 364 364 0 23783 0
[pid=9015] vsize: 96588
Current children cumulated CPU time (s) 88.7
Current children cumulated vsize (Kb) 96588

[startup+100.007 s]
Raw data (loadavg): 0.96 0.94 0.96 1/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 34472 0 0 0 9695 156 0 0 25 0 1 0 21235338 99692544 20792 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24339 20792 364 364 0 23975 0
[pid=9015] vsize: 97356
Current children cumulated CPU time (s) 98.51
Current children cumulated vsize (Kb) 97356

[startup+110.007 s]
Raw data (loadavg): 0.96 0.94 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 35094 0 0 0 10674 165 0 0 25 0 1 0 21235338 100085760 20914 4294967295 134512640 135987407 3221224544 3221223232 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24435 20914 364 364 0 24071 0
[pid=9015] vsize: 97740
Current children cumulated CPU time (s) 108.39
Current children cumulated vsize (Kb) 97740

[startup+120.007 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 35655 0 0 0 11653 173 0 0 25 0 1 0 21235338 100417536 20975 4294967295 134512640 135987407 3221224544 3221223392 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24516 20975 364 364 0 24152 0
[pid=9015] vsize: 98064
Current children cumulated CPU time (s) 118.26
Current children cumulated vsize (Kb) 98064

[startup+130.008 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 36292 0 0 0 12627 182 0 0 25 0 1 0 21235338 100958208 21112 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24648 21112 364 364 0 24284 0
[pid=9015] vsize: 98592
Current children cumulated CPU time (s) 128.09
Current children cumulated vsize (Kb) 98592

[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 36813 0 0 0 13595 194 0 0 25 0 1 0 21235338 100958208 21133 4294967295 134512640 135987407 3221224544 3221223232 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24648 21133 364 364 0 24284 0
[pid=9015] vsize: 98592
Current children cumulated CPU time (s) 137.89
Current children cumulated vsize (Kb) 98592

[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 37378 0 0 0 14566 205 0 0 25 0 1 0 21235338 101154816 21198 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24696 21198 364 364 0 24332 0
[pid=9015] vsize: 98784
Current children cumulated CPU time (s) 147.71
Current children cumulated vsize (Kb) 98784

[startup+160.01 s]
Raw data (loadavg): 0.98 0.95 0.96 1/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 37948 0 0 0 15544 214 0 0 25 0 1 0 21235338 101289984 21268 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24729 21268 364 364 0 24365 0
[pid=9015] vsize: 98916
Current children cumulated CPU time (s) 157.58
Current children cumulated vsize (Kb) 98916

[startup+170.01 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 37985 0 0 0 16510 224 0 0 25 0 1 0 21235338 101486592 21305 4294967295 134512640 135987407 3221224544 3221223232 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24777 21305 364 364 0 24413 0
[pid=9015] vsize: 99108
Current children cumulated CPU time (s) 167.34
Current children cumulated vsize (Kb) 99108

[startup+180.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 38551 0 0 0 17487 232 0 0 25 0 1 0 21235338 101756928 21371 4294967295 134512640 135987407 3221224544 3221223264 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24843 21371 364 364 0 24479 0
[pid=9015] vsize: 99372
Current children cumulated CPU time (s) 177.19
Current children cumulated vsize (Kb) 99372

[startup+190.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 39058 0 0 0 18465 241 0 0 25 0 1 0 21235338 101756928 21378 4294967295 134512640 135987407 3221224544 3221223264 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24843 21378 364 364 0 24479 0
[pid=9015] vsize: 99372
Current children cumulated CPU time (s) 187.06
Current children cumulated vsize (Kb) 99372

[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 39581 0 0 0 19437 252 0 0 25 0 1 0 21235338 101756928 21401 4294967295 134512640 135987407 3221224544 3221223296 134801347 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24843 21401 364 364 0 24479 0
[pid=9015] vsize: 99372
Current children cumulated CPU time (s) 196.89
Current children cumulated vsize (Kb) 99372

[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 40092 0 0 0 20408 262 0 0 25 0 1 0 21235338 101920768 21412 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24883 21412 364 364 0 24519 0
[pid=9015] vsize: 99532
Current children cumulated CPU time (s) 206.7
Current children cumulated vsize (Kb) 99532

[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 40632 0 0 0 21376 275 0 0 25 0 1 0 21235338 102055936 21452 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24916 21452 364 364 0 24552 0
[pid=9015] vsize: 99664
Current children cumulated CPU time (s) 216.51
Current children cumulated vsize (Kb) 99664

[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 41151 0 0 0 22354 283 0 0 25 0 1 0 21235338 102055936 21471 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24916 21471 364 364 0 24552 0
[pid=9015] vsize: 99664
Current children cumulated CPU time (s) 226.37
Current children cumulated vsize (Kb) 99664

[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 41677 0 0 0 23323 295 0 0 25 0 1 0 21235338 102055936 21497 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24916 21497 364 364 0 24552 0
[pid=9015] vsize: 99664
Current children cumulated CPU time (s) 236.18
Current children cumulated vsize (Kb) 99664

[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 41706 0 0 0 24299 303 0 0 25 0 1 0 21235338 102055936 21526 4294967295 134512640 135987407 3221224544 3221223120 134801617 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9015/statm): 24916 21526 364 364 0 24552 0
[pid=9015] vsize: 99664
Current children cumulated CPU time (s) 246.02
Current children cumulated vsize (Kb) 99664

[startup+260.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 42247 0 0 0 25268 314 0 0 25 0 1 0 21235338 102191104 21567 4294967295 134512640 135987407 3221224544 3221223232 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 24949 21567 364 364 0 24585 0
[pid=9015] vsize: 99796
Current children cumulated CPU time (s) 255.82
Current children cumulated vsize (Kb) 99796

[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 42972 0 0 0 26237 326 0 0 25 0 1 0 21235338 103542784 21792 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25279 21792 364 364 0 24915 0
[pid=9015] vsize: 101116
Current children cumulated CPU time (s) 265.63
Current children cumulated vsize (Kb) 101116

[startup+280.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 43014 0 0 0 27202 338 0 0 25 0 1 0 21235338 103677952 21834 4294967295 134512640 135987407 3221224544 3221223264 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25312 21834 364 364 0 24948 0
[pid=9015] vsize: 101248
Current children cumulated CPU time (s) 275.4
Current children cumulated vsize (Kb) 101248

[startup+290.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 43563 0 0 0 28167 349 0 0 25 0 1 0 21235338 103813120 21883 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25345 21883 364 364 0 24981 0
[pid=9015] vsize: 101380
Current children cumulated CPU time (s) 285.16
Current children cumulated vsize (Kb) 101380

[startup+300.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 44120 0 0 0 29138 359 0 0 25 0 1 0 21235338 104083456 21940 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25411 21940 364 364 0 25047 0
[pid=9015] vsize: 101644
Current children cumulated CPU time (s) 294.97
Current children cumulated vsize (Kb) 101644

[startup+310.014 s]
Raw data (loadavg): 0.99 0.96 0.96 1/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 44159 0 0 0 30104 370 0 0 25 0 1 0 21235338 104218624 21979 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25444 21979 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 304.74
Current children cumulated vsize (Kb) 101776

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 44662 0 0 0 31067 383 0 0 25 0 1 0 21235338 106266624 22482 4294967295 134512640 135987407 3221224544 3221222912 134828866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25944 22482 364 364 0 25580 0
[pid=9015] vsize: 103776
Current children cumulated CPU time (s) 314.5
Current children cumulated vsize (Kb) 103776

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 44670 0 0 0 32030 395 0 0 25 0 1 0 21235338 104218624 21990 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25444 21990 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 324.25
Current children cumulated vsize (Kb) 101776

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 45198 0 0 0 32992 406 0 0 25 0 1 0 21235338 104218624 22018 4294967295 134512640 135987407 3221224544 3221223104 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25444 22018 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 333.98
Current children cumulated vsize (Kb) 101776

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 45229 0 0 0 33959 416 0 0 25 0 1 0 21235338 104218624 22049 4294967295 134512640 135987407 3221224544 3221223232 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9015/statm): 25444 22049 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 343.75
Current children cumulated vsize (Kb) 101776

[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 45762 0 0 0 34929 427 0 0 25 0 1 0 21235338 104218624 22082 4294967295 134512640 135987407 3221224544 3221223392 134790082 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25444 22082 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 353.56
Current children cumulated vsize (Kb) 101776

[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 46298 0 0 0 35897 438 0 0 25 0 1 0 21235338 104218624 22118 4294967295 134512640 135987407 3221224544 3221223392 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25444 22118 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 363.35
Current children cumulated vsize (Kb) 101776

[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 46815 0 0 0 36867 450 0 0 25 0 1 0 21235338 104218624 22135 4294967295 134512640 135987407 3221224544 3221223232 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25444 22135 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 373.17
Current children cumulated vsize (Kb) 101776

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 47320 0 0 0 37831 462 0 0 25 0 1 0 21235338 104218624 22140 4294967295 134512640 135987407 3221224544 3221223392 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25444 22140 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 382.93
Current children cumulated vsize (Kb) 101776

[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 47344 0 0 0 38801 472 0 0 25 0 1 0 21235338 104218624 22164 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25444 22164 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 392.73
Current children cumulated vsize (Kb) 101776

[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) T 9014 9015 4060 0 -1 0 47864 0 0 0 39766 485 0 0 18 0 1 0 21235338 104218624 22184 4294967295 134512640 135987407 3221224544 3221223372 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25444 22184 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 402.51
Current children cumulated vsize (Kb) 101776

[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 47893 0 0 0 40729 496 0 0 25 0 1 0 21235338 104218624 22213 4294967295 134512640 135987407 3221224544 3221223104 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25444 22213 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 412.25
Current children cumulated vsize (Kb) 101776

[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 47922 0 0 0 41698 508 0 0 25 0 1 0 21235338 104218624 22242 4294967295 134512640 135987407 3221224544 3221223232 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25444 22242 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 422.06
Current children cumulated vsize (Kb) 101776

[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 48486 0 0 0 42671 519 0 0 25 0 1 0 21235338 104218624 22306 4294967295 134512640 135987407 3221224544 3221223232 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25444 22306 364 364 0 25080 0
[pid=9015] vsize: 101776
Current children cumulated CPU time (s) 431.9
Current children cumulated vsize (Kb) 101776

[startup+450.019 s]
Raw data (loadavg): 1.07 0.99 0.97 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 49540 0 0 0 43644 529 0 0 25 0 1 0 21235338 104345600 22360 4294967295 134512640 135987407 3221224544 3221223392 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25475 22360 364 364 0 25111 0
[pid=9015] vsize: 101900
Current children cumulated CPU time (s) 441.73
Current children cumulated vsize (Kb) 101900

[startup+460.019 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 50061 0 0 0 44616 541 0 0 25 0 1 0 21235338 104345600 22381 4294967295 134512640 135987407 3221224544 3221223120 134931901 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25475 22381 364 364 0 25111 0
[pid=9015] vsize: 101900
Current children cumulated CPU time (s) 451.57
Current children cumulated vsize (Kb) 101900

[startup+470.019 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 9015
Raw data (/proc/9015/stat): 9015 (pb2sat) R 9014 9015 4060 0 -1 0 51135 0 0 0 45590 550 0 0 25 0 1 0 21235338 104476672 22455 4294967295 134512640 135987407 3221224544 3221223232 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9015/statm): 25507 22455 364 364 0 25143 0
[pid=9015] vsize: 102028
Current children cumulated CPU time (s) 461.4
Current children cumulated vsize (Kb) 102028
One traced child (pid=9015) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 477.798
CPU time (s): 469.081
CPU user time (s): 463.466
CPU system time (s): 5.61515
CPU usage (%): 98.1755
Max. virtual memory (cumulated for all children) (Kb): 103776

Verifier Data

ERROR: no interpretation found !