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

Namesubmitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
MD5SUMba9cd165dfff9daff67f98334a7b589e
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.011997
Number of variables300
Total number of constraints50
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15

Trace number 9456

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-23 13:59:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8206 boxname=wulflinc18 idbench=2 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ba9cd165dfff9daff67f98334a7b589e  /oldhome/oroussel/tmp/wulflinc18/normalized-chnl10_15_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-chnl10_15_pb.cnf.cr.opb
IDLAUNCH: 8206
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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:        940708 kB
Buffers:         13896 kB
Cached:          60700 kB
SwapCached:          0 kB
Active:          44280 kB
Inactive:        33172 kB
HighTotal:      131008 kB
HighFree:        66024 kB
LowTotal:       903652 kB
LowFree:        874684 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10892 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:08:10 (client local time) WITH STATUS 20 IN 535.763 SECONDS
stats: 8206 7 535.763 20

Solver Data

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

c Decision: 280/860	Time: 11.1953/86400
c Decision: 280/860	Time: 11.7842/86400
c Decision: 280/860	Time: 12.3771/86400
c Decision: 280/860	Time: 13/86400
c Decision: 280/860	Time: 13.7949/86400
c Decision: 280/860	Time: 14.6348/86400
c Decision: 280/860	Time: 15.4986/86400
c Decision: 280/860	Time: 16.3145/86400
c Decision: 280/860	Time: 17.3004/86400
c Decision: 280/860	Time: 18.4302/86400
c Decision: 280/860	Time: 19.542/86400
c Decision: 280/860	Time: 20.7738/86400
c Decision: 280/860	Time: 21.9987/86400
c Decision: 280/860	Time: 23.2285/86400
c Decision: 280/860	Time: 24.5283/86400
c Decision: 280/860	Time: 25.9241/86400
c Decision: 280/860	Time: 27.3798/86400
c Decision: 280/860	Time: 28.7836/86400
c Decision: 280/860	Time: 30.3794/86400
c Decision: 280/860	Time: 32.0131/86400
c Decision: 280/860	Time: 33.7779/86400
c Decision: 280/860	Time: 35.5516/86400
c Decision: 280/860	Time: 37.2703/86400
c Decision: 280/860	Time: 39.185/86400
c Decision: 280/860	Time: 41.1157/86400
c Decision: 280/860	Time: 43.3924/86400
c Decision: 280/860	Time: 45.5141/86400
c Decision: 280/860	Time: 47.7957/86400
c Decision: 280/860	Time: 49.9664/86400
c Decision: 280/860	Time: 52.328/86400
c Decision: 280/860	Time: 54.9177/86400
c Decision: 280/860	Time: 57.2903/86400
c Decision: 280/860	Time: 59.6069/86400
c Decision: 280/860	Time: 61.9606/86400
c Decision: 280/860	Time: 64.8181/86400
c Decision: 280/860	Time: 67.0898/86400
c Decision: 280/860	Time: 69.8334/86400
c Decision: 280/860	Time: 72.234/86400
c Decision: 280/860	Time: 74.8136/86400
c Decision: 280/860	Time: 76.9513/86400
c Decision: 280/860	Time: 79.6009/86400
c Decision: 280/860	Time: 81.9425/86400
c Decision: 280/860	Time: 84.4102/86400
c Decision: 280/860	Time: 86.7108/86400
c Decision: 280/860	Time: 88.9715/86400
c Decision: 280/860	Time: 91.4151/86400
c Decision: 280/860	Time: 93.5448/86400
c Decision: 280/860	Time: 96.2104/86400
c Decision: 280/860	Time: 98.988/86400
c Decision: 280/860	Time: 101.366/86400
c Decision: 280/860	Time: 103.934/86400
c Decision: 280/860	Time: 106.401/86400
c Decision: 280/860	Time: 108.795/86400
c Decision: 280/860	Time: 111.427/86400
c Decision: 280/860	Time: 113.926/86400
c Decision: 280/860	Time: 116.889/86400
c Decision: 280/860	Time: 120.27/86400
c Decision: 280/860	Time: 122.793/86400
c Decision: 280/860	Time: 125.066/86400
c Decision: 280/860	Time: 127.872/86400
c Decision: 280/860	Time: 130.447/86400
c Decision: 280/860	Time: 133.07/86400
c Decision: 280/860	Time: 135.358/86400
c Decision: 280/860	Time: 138.28/86400
c Decision: 280/860	Time: 140.812/86400
c Decision: 280/860	Time: 143.575/86400
c Decision: 280/860	Time: 146.057/86400
c Decision: 280/860	Time: 148.633/86400
c Decision: 280/860	Time: 151.678/86400
c Decision: 280/860	Time: 154.24/86400
c Decision: 280/860	Time: 157.108/86400
c Decision: 280/860	Time: 159.836/86400
c Decision: 280/860	Time: 163.124/86400
c Decision: 280/860	Time: 166.321/86400
c Decision: 280/860	Time: 169.534/86400
c Decision: 280/860	Time: 172.91/86400
c Decision: 280/860	Time: 176.536/86400
c Decision: 280/860	Time: 179.346/86400
c Decision: 280/860	Time: 182.568/86400
c Decision: 280/860	Time: 185.97/86400
c Decision: 280/860	Time: 189.983/86400
c Decision: 280/860	Time: 192.994/86400
c Decision: 280/860	Time: 196.918/86400
c Decision: 280/860	Time: 200.923/86400
c Decision: 280/860	Time: 204.89/86400
c Decision: 280/860	Time: 208.678/86400
c Decision: 280/860	Time: 212.463/86400
c Decision: 280/860	Time: 216.353/86400
c Decision: 280/860	Time: 220.191/86400
c Decision: 280/860	Time: 224.009/86400
c Decision: 280/860	Time: 228.206/86400
c Decision: 280/860	Time: 232.181/86400
c Decision: 280/860	Time: 235.398/86400
c Decision: 280/860	Time: 239.305/86400
c Decision: 280/860	Time: 243.658/86400
c Decision: 280/860	Time: 246.839/86400
c Decision: 280/860	Time: 250.822/86400
c Decision: 280/860	Time: 255.508/86400
c Decision: 280/860	Time: 259.942/86400
c Decision: 280/860	Time: 263.639/86400
c Decision: 280/860	Time: 268.755/86400
c Decision: 280/860	Time: 273.122/86400
c Decision: 280/860	Time: 277.714/86400
c Decision: 280/860	Time: 282.955/86400
c Decision: 280/860	Time: 287.28/86400
c Decision: 280/860	Time: 292.357/86400
c Decision: 280/860	Time: 298.141/86400
c Decision: 280/860	Time: 303.447/86400
c Decision: 280/860	Time: 307.985/86400
c Decision: 280/860	Time: 314.807/86400
c Decision: 280/860	Time: 320.791/86400
c Decision: 280/860	Time: 326.743/86400
c Decision: 281/860	Time: 338.595/86400
c Decision: 281/860	Time: 343.714/86400
c Decision: 281/860	Time: 348.12/86400
c Decision: 283/860	Time: 359.736/86400
c Decision: 283/860	Time: 364.376/86400
c Decision: 283/860	Time: 369.955/86400
c Decision: 283/860	Time: 374.247/86400
c Decision: 283/860	Time: 380.186/86400
c Decision: 283/860	Time: 387.338/86400
c Decision: 286/860	Time: 404.286/86400
c Decision: 287/860	Time: 417.287/86400
c Decision: 287/860	Time: 423.042/86400
c Decision: 292/860	Time: 448.526/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/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 17 0 1 0 0 0 0 0 21 0 1 0 20734199 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5707/statm): 373 2 364 364 0 9 0
[pid=5707] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-chnl10_15_pb.cnf.cr.opb

[startup+10.0429 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 5707
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 1064 0 8 0 948 15 0 0 25 0 1 0 20734199 7294976 1004 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 1781 1004 364 364 0 1417 0
[pid=5707] vsize: 7124
Current children cumulated CPU time (s) 9.63
Current children cumulated vsize (Kb) 7124

[startup+20.0439 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 5707
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 1778 0 8 0 1909 32 0 0 25 0 1 0 20734199 8155136 1718 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5707/statm): 1991 1718 364 364 0 1627 0
[pid=5707] vsize: 7964
Current children cumulated CPU time (s) 19.41
Current children cumulated vsize (Kb) 7964

[startup+30.0448 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 5707
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 2313 0 8 0 2880 44 0 0 25 0 1 0 20734199 13430784 2156 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5707/statm): 3279 2156 364 364 0 2915 0
[pid=5707] vsize: 13116
Current children cumulated CPU time (s) 29.24
Current children cumulated vsize (Kb) 13116

[startup+40.0447 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 5707
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 2700 0 8 0 3853 54 0 0 25 0 1 0 20734199 14184448 2543 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5707/statm): 3463 2543 364 364 0 3099 0
[pid=5707] vsize: 13852
Current children cumulated CPU time (s) 39.07
Current children cumulated vsize (Kb) 13852

[startup+50.0457 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 5707
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 3058 0 8 0 4833 61 0 0 25 0 1 0 20734199 14741504 2901 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5707/statm): 3599 2901 364 364 0 3235 0
[pid=5707] vsize: 14396
Current children cumulated CPU time (s) 48.94
Current children cumulated vsize (Kb) 14396

[startup+60.0456 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 5762
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 3294 0 8 0 5807 74 0 0 25 0 1 0 20734199 15134720 3137 4294967295 134512640 135987407 3221224560 3221223136 134892990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 3695 3137 364 364 0 3331 0
[pid=5707] vsize: 14780
Current children cumulated CPU time (s) 58.81
Current children cumulated vsize (Kb) 14780

[startup+70.0465 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 5762
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 3730 0 8 0 6790 80 0 0 25 0 1 0 20734199 16117760 3380 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 3935 3380 364 364 0 3571 0
[pid=5707] vsize: 15740
Current children cumulated CPU time (s) 68.7
Current children cumulated vsize (Kb) 15740

[startup+80.0474 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 5762
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 3815 0 8 0 7770 88 0 0 25 0 1 0 20734199 16314368 3465 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 3983 3465 364 364 0 3619 0
[pid=5707] vsize: 15932
Current children cumulated CPU time (s) 78.58
Current children cumulated vsize (Kb) 15932

[startup+90.0473 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 5762
Raw data (/proc/5707/stat): 5707 (pb2sat) T 5706 5707 4060 0 -1 0 3927 0 8 0 8752 96 0 0 25 0 1 0 20734199 16707584 3577 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/5707/statm): 4079 3577 364 364 0 3715 0
[pid=5707] vsize: 16316
Current children cumulated CPU time (s) 88.48
Current children cumulated vsize (Kb) 16316

[startup+100.047 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 5762
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 4048 0 8 0 9736 102 0 0 25 0 1 0 20734199 25292800 3698 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5707/statm): 6175 3698 364 364 0 5811 0
[pid=5707] vsize: 24700
Current children cumulated CPU time (s) 98.38
Current children cumulated vsize (Kb) 24700

[startup+110.048 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 5762
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 4277 0 8 0 10718 109 0 0 25 0 1 0 20734199 25653248 3927 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5707/statm): 6263 3927 364 364 0 5899 0
[pid=5707] vsize: 25052
Current children cumulated CPU time (s) 108.27
Current children cumulated vsize (Kb) 25052

[startup+120.049 s]
Raw data (loadavg): 1.09 1.02 1.00 2/55 5764
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 4472 0 8 0 11703 114 0 0 25 0 1 0 20734199 25849856 4122 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5707/statm): 6311 4122 364 364 0 5947 0
[pid=5707] vsize: 25244
Current children cumulated CPU time (s) 118.17
Current children cumulated vsize (Kb) 25244

[startup+130.05 s]
Raw data (loadavg): 1.08 1.02 1.00 2/55 5766
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 4595 0 8 0 12688 119 0 0 25 0 1 0 20734199 25985024 4245 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5707/statm): 6344 4245 364 364 0 5980 0
[pid=5707] vsize: 25376
Current children cumulated CPU time (s) 128.07
Current children cumulated vsize (Kb) 25376

[startup+140.05 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 4711 0 8 0 13670 127 0 0 25 0 1 0 20734199 26120192 4361 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/5707/statm): 6377 4361 364 364 0 6013 0
[pid=5707] vsize: 25508
Current children cumulated CPU time (s) 137.97
Current children cumulated vsize (Kb) 25508

[startup+150.051 s]
Raw data (loadavg): 1.13 1.03 1.01 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 4815 0 8 0 14654 133 0 0 24 0 1 0 20734199 26660864 4465 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 6509 4465 364 364 0 6145 0
[pid=5707] vsize: 26036
Current children cumulated CPU time (s) 147.87
Current children cumulated vsize (Kb) 26036

[startup+160.051 s]
Raw data (loadavg): 1.11 1.03 1.01 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 5053 0 8 0 15637 139 0 0 25 0 1 0 20734199 27607040 4703 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 6740 4703 364 364 0 6376 0
[pid=5707] vsize: 26960
Current children cumulated CPU time (s) 157.76
Current children cumulated vsize (Kb) 26960

[startup+170.052 s]
Raw data (loadavg): 1.09 1.03 1.01 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 5199 0 8 0 16623 144 0 0 25 0 1 0 20734199 28282880 4849 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 6905 4849 364 364 0 6541 0
[pid=5707] vsize: 27620
Current children cumulated CPU time (s) 167.67
Current children cumulated vsize (Kb) 27620

[startup+180.052 s]
Raw data (loadavg): 1.08 1.03 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 5374 0 8 0 17610 150 0 0 25 0 1 0 20734199 28688384 5024 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7004 5024 364 364 0 6640 0
[pid=5707] vsize: 28016
Current children cumulated CPU time (s) 177.6
Current children cumulated vsize (Kb) 28016

[startup+190.052 s]
Raw data (loadavg): 1.07 1.03 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 5608 0 8 0 18594 156 0 0 25 0 1 0 20734199 29093888 5258 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7103 5258 364 364 0 6739 0
[pid=5707] vsize: 28412
Current children cumulated CPU time (s) 187.5
Current children cumulated vsize (Kb) 28412

[startup+200.051 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) T 5706 5707 4060 0 -1 0 6108 0 8 0 19581 162 0 0 25 0 1 0 20734199 30937088 5373 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7553 5373 364 364 0 7189 0
[pid=5707] vsize: 30212
Current children cumulated CPU time (s) 197.43
Current children cumulated vsize (Kb) 30212

[startup+210.051 s]
Raw data (loadavg): 1.05 1.02 1.00 1/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) T 5706 5707 4060 0 -1 0 6328 0 8 0 20569 166 0 0 25 0 1 0 20734199 31072256 5593 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7586 5593 364 364 0 7222 0
[pid=5707] vsize: 30344
Current children cumulated CPU time (s) 207.35
Current children cumulated vsize (Kb) 30344

[startup+220.052 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 6403 0 8 0 21558 170 0 0 25 0 1 0 20734199 31072256 5668 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7586 5668 364 364 0 7222 0
[pid=5707] vsize: 30344
Current children cumulated CPU time (s) 217.28
Current children cumulated vsize (Kb) 30344

[startup+230.052 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 6624 0 8 0 22546 174 0 0 25 0 1 0 20734199 31342592 5889 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7652 5889 364 364 0 7288 0
[pid=5707] vsize: 30608
Current children cumulated CPU time (s) 227.2
Current children cumulated vsize (Kb) 30608

[startup+240.052 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 6676 0 8 0 23535 178 0 0 25 0 1 0 20734199 31477760 5941 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7685 5941 364 364 0 7321 0
[pid=5707] vsize: 30740
Current children cumulated CPU time (s) 237.13
Current children cumulated vsize (Kb) 30740

[startup+250.053 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 6723 0 8 0 24525 181 0 0 25 0 1 0 20734199 31612928 5988 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7718 5988 364 364 0 7354 0
[pid=5707] vsize: 30872
Current children cumulated CPU time (s) 247.06
Current children cumulated vsize (Kb) 30872

[startup+260.053 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 6747 0 8 0 25514 186 0 0 25 0 1 0 20734199 31612928 6012 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7718 6012 364 364 0 7354 0
[pid=5707] vsize: 30872
Current children cumulated CPU time (s) 257
Current children cumulated vsize (Kb) 30872

[startup+270.054 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 6825 0 8 0 26503 192 0 0 25 0 1 0 20734199 31612928 6090 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7718 6090 364 364 0 7354 0
[pid=5707] vsize: 30872
Current children cumulated CPU time (s) 266.95
Current children cumulated vsize (Kb) 30872

[startup+280.054 s]
Raw data (loadavg): 1.01 1.02 1.00 1/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) T 5706 5707 4060 0 -1 0 6859 0 8 0 27494 195 0 0 25 0 1 0 20734199 31612928 6124 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7718 6124 364 364 0 7354 0
[pid=5707] vsize: 30872
Current children cumulated CPU time (s) 276.89
Current children cumulated vsize (Kb) 30872

[startup+290.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7002 0 8 0 28483 199 0 0 25 0 1 0 20734199 32018432 6267 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7817 6267 364 364 0 7453 0
[pid=5707] vsize: 31268
Current children cumulated CPU time (s) 286.82
Current children cumulated vsize (Kb) 31268

[startup+300.054 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7130 0 8 0 29473 203 0 0 25 0 1 0 20734199 32153600 6395 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7850 6395 364 364 0 7486 0
[pid=5707] vsize: 31400
Current children cumulated CPU time (s) 296.76
Current children cumulated vsize (Kb) 31400

[startup+310.054 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7279 0 8 0 30461 208 0 0 25 0 1 0 20734199 32153600 6544 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7850 6544 364 364 0 7486 0
[pid=5707] vsize: 31400
Current children cumulated CPU time (s) 306.69
Current children cumulated vsize (Kb) 31400

[startup+320.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7432 0 8 0 31454 211 0 0 25 0 1 0 20734199 32288768 6697 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7883 6697 364 364 0 7519 0
[pid=5707] vsize: 31532
Current children cumulated CPU time (s) 316.65
Current children cumulated vsize (Kb) 31532

[startup+330.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7511 0 8 0 32446 214 0 0 25 0 1 0 20734199 32423936 6776 4294967295 134512640 135987407 3221224560 3221223280 134813836 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7916 6776 364 364 0 7552 0
[pid=5707] vsize: 31664
Current children cumulated CPU time (s) 326.6
Current children cumulated vsize (Kb) 31664

[startup+340.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7572 0 8 0 33439 217 0 0 25 0 1 0 20734199 32694272 6837 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7982 6837 364 364 0 7618 0
[pid=5707] vsize: 31928
Current children cumulated CPU time (s) 336.56
Current children cumulated vsize (Kb) 31928

[startup+350.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7714 0 8 0 34429 221 0 0 25 0 1 0 20734199 32694272 6979 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 7982 6979 364 364 0 7618 0
[pid=5707] vsize: 31928
Current children cumulated CPU time (s) 346.5
Current children cumulated vsize (Kb) 31928

[startup+360.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7854 0 8 0 35420 223 0 0 25 0 1 0 20734199 32829440 7119 4294967295 134512640 135987407 3221224560 3221223020 135481615 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 8015 7119 364 364 0 7651 0
[pid=5707] vsize: 32060
Current children cumulated CPU time (s) 356.43
Current children cumulated vsize (Kb) 32060

[startup+370.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7910 0 8 0 36411 226 0 0 25 0 1 0 20734199 32829440 7175 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 8015 7175 364 364 0 7651 0
[pid=5707] vsize: 32060
Current children cumulated CPU time (s) 366.37
Current children cumulated vsize (Kb) 32060

[startup+380.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7925 0 8 0 37404 228 0 0 25 0 1 0 20734199 32829440 7190 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 8015 7190 364 364 0 7651 0
[pid=5707] vsize: 32060
Current children cumulated CPU time (s) 376.32
Current children cumulated vsize (Kb) 32060

[startup+390.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 7976 0 8 0 38396 232 0 0 25 0 1 0 20734199 33099776 7241 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 8081 7241 364 364 0 7717 0
[pid=5707] vsize: 32324
Current children cumulated CPU time (s) 386.28
Current children cumulated vsize (Kb) 32324

[startup+400.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8030 0 8 0 39390 234 0 0 25 0 1 0 20734199 33370112 7295 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 8147 7295 364 364 0 7783 0
[pid=5707] vsize: 32588
Current children cumulated CPU time (s) 396.24
Current children cumulated vsize (Kb) 32588

[startup+410.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5768
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8095 0 8 0 40381 238 0 0 25 0 1 0 20734199 33640448 7360 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 8213 7360 364 364 0 7849 0
[pid=5707] vsize: 32852
Current children cumulated CPU time (s) 406.19
Current children cumulated vsize (Kb) 32852

[startup+420.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8215 0 8 0 41373 242 0 0 25 0 1 0 20734199 50417664 7480 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 12309 7480 364 364 0 11945 0
[pid=5707] vsize: 49236
Current children cumulated CPU time (s) 416.15
Current children cumulated vsize (Kb) 49236

[startup+430.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8341 0 8 0 42366 245 0 0 25 0 1 0 20734199 50417664 7606 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 12309 7606 364 364 0 11945 0
[pid=5707] vsize: 49236
Current children cumulated CPU time (s) 426.11
Current children cumulated vsize (Kb) 49236

[startup+440.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8435 0 8 0 43362 248 0 0 25 0 1 0 20734199 50417664 7700 4294967295 134512640 135987407 3221224560 3221223248 134811850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 12309 7700 364 364 0 11945 0
[pid=5707] vsize: 49236
Current children cumulated CPU time (s) 436.1
Current children cumulated vsize (Kb) 49236

[startup+450.057 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) T 5706 5707 4060 0 -1 0 8559 0 8 0 44353 251 0 0 25 0 1 0 20734199 50417664 7824 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/5707/statm): 12309 7824 364 364 0 11945 0
[pid=5707] vsize: 49236
Current children cumulated CPU time (s) 446.04
Current children cumulated vsize (Kb) 49236

[startup+460.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8663 0 8 0 45348 254 0 0 25 0 1 0 20734199 50417664 7928 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 12309 7928 364 364 0 11945 0
[pid=5707] vsize: 49236
Current children cumulated CPU time (s) 456.02
Current children cumulated vsize (Kb) 49236

[startup+470.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8789 0 8 0 46341 257 0 0 25 0 1 0 20734199 50552832 8054 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 12342 8054 364 364 0 11978 0
[pid=5707] vsize: 49368
Current children cumulated CPU time (s) 465.98
Current children cumulated vsize (Kb) 49368

[startup+480.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 8924 0 8 0 47334 260 0 0 25 0 1 0 20734199 50688000 8189 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 12375 8189 364 364 0 12011 0
[pid=5707] vsize: 49500
Current children cumulated CPU time (s) 475.94
Current children cumulated vsize (Kb) 49500

[startup+490.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 9037 0 8 0 48327 263 0 0 25 0 1 0 20734199 50688000 8302 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 12375 8302 364 364 0 12011 0
[pid=5707] vsize: 49500
Current children cumulated CPU time (s) 485.9
Current children cumulated vsize (Kb) 49500

[startup+500.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 9161 0 8 0 49319 267 0 0 25 0 1 0 20734199 50688000 8426 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 12375 8426 364 364 0 12011 0
[pid=5707] vsize: 49500
Current children cumulated CPU time (s) 495.86
Current children cumulated vsize (Kb) 49500

[startup+510.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 9287 0 8 0 50309 270 0 0 25 0 1 0 20734199 50688000 8552 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 12375 8552 364 364 0 12011 0
[pid=5707] vsize: 49500
Current children cumulated CPU time (s) 505.79
Current children cumulated vsize (Kb) 49500

[startup+520.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 9389 0 8 0 51304 272 0 0 25 0 1 0 20734199 50688000 8654 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 12375 8654 364 364 0 12011 0
[pid=5707] vsize: 49500
Current children cumulated CPU time (s) 515.76
Current children cumulated vsize (Kb) 49500

[startup+530.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 9496 0 8 0 52299 275 0 0 25 0 1 0 20734199 50823168 8761 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/5707/statm): 12408 8761 364 364 0 12044 0
[pid=5707] vsize: 49632
Current children cumulated CPU time (s) 525.74
Current children cumulated vsize (Kb) 49632

[startup+540.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5770
Raw data (/proc/5707/stat): 5707 (pb2sat) R 5706 5707 4060 0 -1 0 9594 0 8 0 53294 278 0 0 25 0 1 0 20734199 17399808 3581 4294967295 134512640 135987407 3221224560 3221223400 135544177 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/5707/statm): 4248 3581 364 364 0 3884 0
[pid=5707] vsize: 16992
Current children cumulated CPU time (s) 535.72
Current children cumulated vsize (Kb) 16992
One traced child (pid=5707) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 540.102
CPU time (s): 535.763
CPU user time (s): 532.969
CPU system time (s): 2.79357
CPU usage (%): 99.1966
Max. virtual memory (cumulated for all children) (Kb): 49632

Verifier Data

ERROR: no interpretation found !