PB'05 competition: run trace

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:

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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
MD5SUM	ba9cd165dfff9daff67f98334a7b589e
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(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 numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.009997
Number of variables	300
Total number of constraints	50
Number of constraints which are clauses	30
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	15

Trace number 41885

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-15 19:03:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25101 boxname=wulflinc4 idbench=3 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ba9cd165dfff9daff67f98334a7b589e  /oldhome/oroussel/tmp/wulflinc4/normalized-chnl10_15_pb.cnf.cr.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl10_15_pb.cnf.cr.opb
IDLAUNCH: 25101
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        736072 kB
Buffers:         33236 kB
Cached:         243804 kB
SwapCached:        944 kB
Active:          52388 kB
Inactive:       226792 kB
HighTotal:      131008 kB
HighFree:        10780 kB
LowTotal:       903652 kB
LowFree:        725292 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13632 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 19:12:00 (client local time) WITH STATUS 20 IN 532.093 SECONDS
stats: 25101 7 532.093 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 280/860	Time: 11.0633/86400
c Decision: 280/860	Time: 11.6412/86400
c Decision: 280/860	Time: 12.2271/86400
c Decision: 280/860	Time: 12.852/86400
c Decision: 280/860	Time: 13.6449/86400
c Decision: 280/860	Time: 14.4758/86400
c Decision: 280/860	Time: 15.3387/86400
c Decision: 280/860	Time: 16.1525/86400
c Decision: 280/860	Time: 17.1384/86400
c Decision: 280/860	Time: 18.2712/86400
c Decision: 280/860	Time: 19.3761/86400
c Decision: 280/860	Time: 20.6179/86400
c Decision: 280/860	Time: 21.8517/86400
c Decision: 280/860	Time: 23.0925/86400
c Decision: 280/860	Time: 24.4033/86400
c Decision: 280/860	Time: 25.8141/86400
c Decision: 280/860	Time: 27.2729/86400
c Decision: 280/860	Time: 28.6776/86400
c Decision: 280/860	Time: 30.2954/86400
c Decision: 280/860	Time: 31.9561/86400
c Decision: 280/860	Time: 33.7309/86400
c Decision: 280/860	Time: 35.5286/86400
c Decision: 280/860	Time: 37.2683/86400
c Decision: 280/860	Time: 39.215/86400
c Decision: 280/860	Time: 41.1687/86400
c Decision: 280/860	Time: 43.4824/86400
c Decision: 280/860	Time: 45.6281/86400
c Decision: 280/860	Time: 47.9537/86400
c Decision: 280/860	Time: 50.1414/86400
c Decision: 280/860	Time: 52.525/86400
c Decision: 280/860	Time: 55.1166/86400
c Decision: 280/860	Time: 57.4033/86400
c Decision: 280/860	Time: 59.6999/86400
c Decision: 280/860	Time: 62.0306/86400
c Decision: 280/860	Time: 64.8521/86400
c Decision: 280/860	Time: 67.0918/86400
c Decision: 280/860	Time: 69.8104/86400
c Decision: 280/860	Time: 72.222/86400
c Decision: 280/860	Time: 74.8076/86400
c Decision: 280/860	Time: 76.9483/86400
c Decision: 280/860	Time: 79.5799/86400
c Decision: 280/860	Time: 81.8916/86400
c Decision: 280/860	Time: 84.3312/86400
c Decision: 280/860	Time: 86.6008/86400
c Decision: 280/860	Time: 88.8215/86400
c Decision: 280/860	Time: 91.2411/86400
c Decision: 280/860	Time: 93.3778/86400
c Decision: 280/860	Time: 96.0514/86400
c Decision: 280/860	Time: 98.833/86400
c Decision: 280/860	Time: 101.21/86400
c Decision: 280/860	Time: 103.776/86400
c Decision: 280/860	Time: 106.247/86400
c Decision: 280/860	Time: 108.636/86400
c Decision: 280/860	Time: 111.277/86400
c Decision: 280/860	Time: 113.771/86400
c Decision: 280/860	Time: 116.734/86400
c Decision: 280/860	Time: 120.123/86400
c Decision: 280/860	Time: 122.647/86400
c Decision: 280/860	Time: 124.921/86400
c Decision: 280/860	Time: 127.729/86400
c Decision: 280/860	Time: 130.294/86400
c Decision: 280/860	Time: 132.912/86400
c Decision: 280/860	Time: 135.196/86400
c Decision: 280/860	Time: 138.115/86400
c Decision: 280/860	Time: 140.65/86400
c Decision: 280/860	Time: 143.404/86400
c Decision: 280/860	Time: 145.882/86400
c Decision: 280/860	Time: 148.427/86400
c Decision: 280/860	Time: 151.443/86400
c Decision: 280/860	Time: 153.974/86400
c Decision: 280/860	Time: 156.804/86400
c Decision: 280/860	Time: 159.494/86400
c Decision: 280/860	Time: 162.744/86400
c Decision: 280/860	Time: 165.908/86400
c Decision: 280/860	Time: 169.081/86400
c Decision: 280/860	Time: 172.407/86400
c Decision: 280/860	Time: 175.998/86400
c Decision: 280/860	Time: 178.771/86400
c Decision: 280/860	Time: 181.959/86400
c Decision: 280/860	Time: 185.325/86400
c Decision: 280/860	Time: 189.253/86400
c Decision: 280/860	Time: 192.229/86400
c Decision: 280/860	Time: 196.119/86400
c Decision: 280/860	Time: 200.083/86400
c Decision: 280/860	Time: 204.002/86400
c Decision: 280/860	Time: 207.706/86400
c Decision: 280/860	Time: 211.449/86400
c Decision: 280/860	Time: 215.295/86400
c Decision: 280/860	Time: 219.106/86400
c Decision: 280/860	Time: 222.886/86400
c Decision: 280/860	Time: 227.005/86400
c Decision: 280/860	Time: 230.943/86400
c Decision: 280/860	Time: 234.115/86400
c Decision: 280/860	Time: 237.986/86400
c Decision: 280/860	Time: 242.292/86400
c Decision: 280/860	Time: 245.419/86400
c Decision: 280/860	Time: 249.356/86400
c Decision: 280/860	Time: 253.998/86400
c Decision: 280/860	Time: 258.378/86400
c Decision: 280/860	Time: 262.037/86400
c Decision: 280/860	Time: 267.064/86400
c Decision: 280/860	Time: 271.394/86400
c Decision: 280/860	Time: 275.937/86400
c Decision: 280/860	Time: 281.132/86400
c Decision: 280/860	Time: 285.417/86400
c Decision: 280/860	Time: 290.436/86400
c Decision: 280/860	Time: 296.179/86400
c Decision: 280/860	Time: 301.44/86400
c Decision: 280/860	Time: 305.943/86400
c Decision: 280/860	Time: 312.703/86400
c Decision: 280/860	Time: 318.623/86400
c Decision: 280/860	Time: 324.533/86400
c Decision: 281/860	Time: 336.308/86400
c Decision: 281/860	Time: 341.377/86400
c Decision: 281/860	Time: 345.748/86400
c Decision: 283/860	Time: 357.243/86400
c Decision: 283/860	Time: 361.846/86400
c Decision: 283/860	Time: 367.37/86400
c Decision: 283/860	Time: 371.612/86400
c Decision: 283/860	Time: 377.495/86400
c Decision: 283/860	Time: 384.558/86400
c Decision: 286/860	Time: 401.377/86400
c Decision: 287/860	Time: 414.288/86400
c Decision: 287/860	Time: 419.974/86400
c Decision: 292/860	Time: 445.306/86400
s UNSATISFIABLE
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.00 0.11 0.45 2/54 15035
Raw data (stat): 15035 (runsolver) R 15034 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 964481855 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.15 0.14 0.45 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 1020 0 9 0 929 3 0 0 25 0 1 0 964481855 7106560 967 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1735 967 301 301 0 1434 0
vsize: 6940
[startup+20.0003 s]
Raw data (loadavg): 0.28 0.17 0.46 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 1729 0 9 0 1925 6 0 0 25 0 1 0 964481855 7892992 1676 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1927 1676 301 301 0 1626 0
vsize: 7708
[startup+30.0017 s]
Raw data (loadavg): 0.39 0.19 0.46 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 2263 0 9 0 2923 8 0 0 25 0 1 0 964481855 12972032 2113 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3167 2113 301 301 0 2866 0
vsize: 12668
[startup+40.0025 s]
Raw data (loadavg): 0.49 0.22 0.47 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 2642 0 9 0 3921 9 0 0 25 0 1 0 964481855 13856768 2492 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3383 2492 301 301 0 3082 0
vsize: 13532
[startup+50.0039 s]
Raw data (loadavg): 0.56 0.25 0.47 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 3002 0 9 0 4918 12 0 0 25 0 1 0 964481855 14413824 2852 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3519 2852 301 301 0 3218 0
vsize: 14076
[startup+60.004 s]
Raw data (loadavg): 0.63 0.27 0.48 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 3233 0 9 0 5916 13 0 0 25 0 1 0 964481855 14807040 3083 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3615 3083 301 301 0 3314 0
vsize: 14460
[startup+70.0038 s]
Raw data (loadavg): 0.69 0.29 0.48 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 3655 0 9 0 6914 15 0 0 25 0 1 0 964481855 15790080 3312 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3855 3312 301 301 0 3554 0
vsize: 15420
[startup+80.0043 s]
Raw data (loadavg): 0.73 0.32 0.49 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 3759 0 9 0 7914 15 0 0 25 0 1 0 964481855 15790080 3416 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3855 3416 301 301 0 3554 0
vsize: 15420
[startup+90.0045 s]
Raw data (loadavg): 0.77 0.34 0.49 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 3855 0 9 0 8913 17 0 0 25 0 1 0 964481855 24576000 3512 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6000 3512 301 301 0 5699 0
vsize: 24000
[startup+100.005 s]
Raw data (loadavg): 0.81 0.36 0.50 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 3975 0 9 0 9912 18 0 0 25 0 1 0 964481855 24772608 3632 4294967295 134512640 135730672 3221224576 3221222816 135282223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6048 3632 301 301 0 5747 0
vsize: 24192
[startup+110.006 s]
Raw data (loadavg): 0.84 0.38 0.50 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 4154 0 9 0 10911 19 0 0 25 0 1 0 964481855 24969216 3811 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6096 3811 301 301 0 5795 0
vsize: 24384
[startup+120.006 s]
Raw data (loadavg): 0.86 0.40 0.51 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 4346 0 9 0 11910 20 0 0 25 0 1 0 964481855 25165824 4003 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6144 4003 301 301 0 5843 0
vsize: 24576
[startup+130.007 s]
Raw data (loadavg): 0.88 0.42 0.51 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 4503 0 9 0 12909 21 0 0 25 0 1 0 964481855 25165824 4160 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6144 4160 301 301 0 5843 0
vsize: 24576
[startup+140.007 s]
Raw data (loadavg): 0.90 0.44 0.52 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 4564 0 9 0 13908 22 0 0 25 0 1 0 964481855 25300992 4221 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6177 4221 301 301 0 5876 0
vsize: 24708
[startup+150.009 s]
Raw data (loadavg): 0.92 0.46 0.52 2/54 15035
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 4687 0 9 0 14908 23 0 0 25 0 1 0 964481855 26009600 4344 4294967295 134512640 135730672 3221224576 3221223152 134764100 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6350 4344 301 301 0 6049 0
vsize: 25400
[startup+160.008 s]
Raw data (loadavg): 0.93 0.47 0.53 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 4908 0 9 0 15907 24 0 0 25 0 1 0 964481855 26820608 4565 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6548 4565 301 301 0 6247 0
vsize: 26192
[startup+170.008 s]
Raw data (loadavg): 0.94 0.49 0.53 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 5092 0 9 0 16906 25 0 0 25 0 1 0 964481855 27496448 4749 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6713 4749 301 301 0 6412 0
vsize: 26852
[startup+180.008 s]
Raw data (loadavg): 0.95 0.51 0.54 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 5239 0 9 0 17906 26 0 0 25 0 1 0 964481855 27901952 4896 4294967295 134512640 135730672 3221224576 3221223072 134747788 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6812 4896 301 301 0 6511 0
vsize: 27248
[startup+190.008 s]
Raw data (loadavg): 0.95 0.52 0.54 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 5478 0 9 0 18905 26 0 0 25 0 1 0 964481855 28172288 5135 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6878 5135 301 301 0 6577 0
vsize: 27512
[startup+200.009 s]
Raw data (loadavg): 0.96 0.54 0.55 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 5980 0 9 0 19902 29 0 0 25 0 1 0 964481855 29880320 5252 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7295 5252 301 301 0 6994 0
vsize: 29180
[startup+210.009 s]
Raw data (loadavg): 0.97 0.55 0.55 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 6184 0 9 0 20902 30 0 0 25 0 1 0 964481855 30150656 5456 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7361 5456 301 301 0 7060 0
vsize: 29444
[startup+220.009 s]
Raw data (loadavg): 0.97 0.57 0.55 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 6284 0 9 0 21900 31 0 0 25 0 1 0 964481855 30150656 5556 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7361 5556 301 301 0 7060 0
vsize: 29444
[startup+230.011 s]
Raw data (loadavg): 0.98 0.58 0.56 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 6429 0 9 0 22900 33 0 0 25 0 1 0 964481855 30150656 5701 4294967295 134512640 135730672 3221224576 3221222960 134761951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7361 5701 301 301 0 7060 0
vsize: 29444
[startup+240.012 s]
Raw data (loadavg): 0.98 0.59 0.56 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 6508 0 9 0 23899 33 0 0 25 0 1 0 964481855 30556160 5780 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7460 5780 301 301 0 7159 0
vsize: 29840
[startup+250.012 s]
Raw data (loadavg): 0.98 0.61 0.57 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 6535 0 9 0 24898 34 0 0 25 0 1 0 964481855 30556160 5807 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7460 5807 301 301 0 7159 0
vsize: 29840
[startup+260.013 s]
Raw data (loadavg): 0.98 0.62 0.57 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 6557 0 9 0 25898 34 0 0 25 0 1 0 964481855 30556160 5829 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7460 5829 301 301 0 7159 0
vsize: 29840
[startup+270.013 s]
Raw data (loadavg): 0.99 0.63 0.57 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 6659 0 9 0 26898 35 0 0 25 0 1 0 964481855 30556160 5931 4294967295 134512640 135730672 3221224576 3221223168 134763815 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7460 5931 301 301 0 7159 0
vsize: 29840
[startup+280.014 s]
Raw data (loadavg): 0.99 0.64 0.58 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 6699 0 9 0 27897 36 0 0 25 0 1 0 964481855 30691328 5971 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7493 5971 301 301 0 7192 0
vsize: 29972
[startup+290.014 s]
Raw data (loadavg): 0.99 0.65 0.58 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 6909 0 9 0 28896 37 0 0 25 0 1 0 964481855 31096832 6181 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7592 6181 301 301 0 7291 0
vsize: 30368
[startup+300.016 s]
Raw data (loadavg): 0.99 0.67 0.58 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 7003 0 9 0 29896 38 0 0 25 0 1 0 964481855 31096832 6275 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7592 6275 301 301 0 7291 0
vsize: 30368
[startup+310.016 s]
Raw data (loadavg): 0.99 0.68 0.59 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 7148 0 9 0 30895 39 0 0 25 0 1 0 964481855 31096832 6420 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7592 6420 301 301 0 7291 0
vsize: 30368
[startup+320.016 s]
Raw data (loadavg): 0.99 0.69 0.59 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 7312 0 9 0 31894 40 0 0 25 0 1 0 964481855 31367168 6584 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7658 6584 301 301 0 7357 0
vsize: 30632
[startup+330.017 s]
Raw data (loadavg): 0.99 0.70 0.60 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 7342 0 9 0 32894 41 0 0 25 0 1 0 964481855 31502336 6614 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7691 6614 301 301 0 7390 0
vsize: 30764
[startup+340.017 s]
Raw data (loadavg): 0.99 0.71 0.60 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 7418 0 9 0 33893 41 0 0 25 0 1 0 964481855 31502336 6690 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7691 6690 301 301 0 7390 0
vsize: 30764
[startup+350.018 s]
Raw data (loadavg): 0.99 0.71 0.60 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 7556 0 9 0 34893 42 0 0 25 0 1 0 964481855 31502336 6828 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7691 6828 301 301 0 7390 0
vsize: 30764
[startup+360.019 s]
Raw data (loadavg): 0.99 0.72 0.61 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 7686 0 9 0 35892 43 0 0 25 0 1 0 964481855 31637504 6958 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7724 6958 301 301 0 7423 0
vsize: 30896
[startup+370.018 s]
Raw data (loadavg): 0.99 0.73 0.61 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 7699 0 9 0 36892 43 0 0 25 0 1 0 964481855 31637504 6971 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7724 6971 301 301 0 7423 0
vsize: 30896
[startup+380.019 s]
Raw data (loadavg): 0.99 0.74 0.62 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 7714 0 9 0 37891 44 0 0 25 0 1 0 964481855 31637504 6986 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7724 6986 301 301 0 7423 0
vsize: 30896
[startup+390.019 s]
Raw data (loadavg): 0.99 0.75 0.62 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 7783 0 9 0 38891 45 0 0 25 0 1 0 964481855 32043008 7055 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7823 7055 301 301 0 7522 0
vsize: 31292
[startup+400.02 s]
Raw data (loadavg): 0.99 0.76 0.62 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 7820 0 9 0 39891 45 0 0 25 0 1 0 964481855 32178176 7092 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7856 7092 301 301 0 7555 0
vsize: 31424
[startup+410.02 s]
Raw data (loadavg): 0.99 0.76 0.63 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 7929 0 9 0 40890 46 0 0 25 0 1 0 964481855 49090560 7201 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11985 7201 301 301 0 11684 0
vsize: 47940
[startup+420.02 s]
Raw data (loadavg): 0.99 0.77 0.63 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 8060 0 9 0 41890 46 0 0 25 0 1 0 964481855 49090560 7332 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11985 7332 301 301 0 11684 0
vsize: 47940
[startup+430.02 s]
Raw data (loadavg): 0.99 0.78 0.64 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 8155 0 9 0 42889 47 0 0 25 0 1 0 964481855 49090560 7427 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11985 7427 301 301 0 11684 0
vsize: 47940
[startup+440.02 s]
Raw data (loadavg): 0.99 0.79 0.64 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 8266 0 9 0 43888 48 0 0 25 0 1 0 964481855 49090560 7538 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11985 7538 301 301 0 11684 0
vsize: 47940
[startup+450.021 s]
Raw data (loadavg): 0.99 0.79 0.64 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 8388 0 9 0 44888 49 0 0 25 0 1 0 964481855 49090560 7660 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11985 7660 301 301 0 11684 0
vsize: 47940
[startup+460.022 s]
Raw data (loadavg): 0.99 0.80 0.64 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 8512 0 9 0 45887 50 0 0 25 0 1 0 964481855 49225728 7784 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 7784 301 301 0 11717 0
vsize: 48072
[startup+470.021 s]
Raw data (loadavg): 0.99 0.80 0.65 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 8631 0 9 0 46887 50 0 0 25 0 1 0 964481855 49225728 7903 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 7903 301 301 0 11717 0
vsize: 48072
[startup+480.022 s]
Raw data (loadavg): 0.99 0.81 0.65 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 8741 0 9 0 47886 51 0 0 25 0 1 0 964481855 49225728 8013 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 8013 301 301 0 11717 0
vsize: 48072
[startup+490.022 s]
Raw data (loadavg): 0.99 0.82 0.65 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 8858 0 9 0 48885 52 0 0 25 0 1 0 964481855 49225728 8130 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 8130 301 301 0 11717 0
vsize: 48072
[startup+500.023 s]
Raw data (loadavg): 0.99 0.82 0.66 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 8989 0 9 0 49885 53 0 0 25 0 1 0 964481855 49225728 8261 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 8261 301 301 0 11717 0
vsize: 48072
[startup+510.023 s]
Raw data (loadavg): 0.99 0.83 0.66 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 9085 0 9 0 50884 53 0 0 25 0 1 0 964481855 49225728 8357 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12018 8357 301 301 0 11717 0
vsize: 48072
[startup+520.023 s]
Raw data (loadavg): 0.99 0.83 0.66 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 9203 0 9 0 51884 54 0 0 25 0 1 0 964481855 49360896 8475 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12051 8475 301 301 0 11750 0
vsize: 48204
[startup+530.024 s]
Raw data (loadavg): 0.99 0.84 0.67 2/54 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 9278 0 9 0 52884 54 0 0 25 0 1 0 964481855 49360896 8550 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12051 8550 301 301 0 11750 0
vsize: 48204
[startup+532.729 s]
Raw data (loadavg): 0.99 0.84 0.67 1/53 15037
Raw data (stat): 15035 (pb2sat-v2) R 15034 21152 21151 0 -1 0 9278 0 9 0 52884 54 0 0 25 0 1 0 964481855 49360896 8550 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12051 8550 301 301 0 11750 0
vsize: 0

Child status: 20
Real time (s): 532.729
CPU time (s): 532.093
CPU user time (s): 531.529
CPU system time (s): 0.563914
CPU usage (%): 99.8806
Max. virtual memory (Kb): 48204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####