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/sorensson/garden/normalized-g15x15.opb
MD5SUM	6a083b86cc55025d2acb3bcf68562064
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	54
Optimality of the best value was proved	NO
Number of terms in the objective function	225
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	225
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	225
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	225
Total number of constraints	225
Number of constraints which are clauses	225
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	5
Trace number 42274

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 04:43:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25480 boxname=wulflinc2 idbench=382 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6a083b86cc55025d2acb3bcf68562064  /oldhome/oroussel/tmp/wulflinc2/normalized-g15x15.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-g15x15.opb
IDLAUNCH: 25480
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        837544 kB
Buffers:         34384 kB
Cached:         137492 kB
SwapCached:       4448 kB
Active:          61112 kB
Inactive:       115840 kB
HighTotal:      131008 kB
HighFree:         5544 kB
LowTotal:       903652 kB
LowFree:        832000 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14544 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 05:03:59 (client local time) WITH STATUS 10 IN 1200.41 SECONDS
stats: 25480 0 1200.41 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 225
c small objective detected

c Decision: 8739/25887	Time: 1.3438/86400
c Decision: 8739/25887	Time: 2.14367/86400
c Decision: 9150/25887	Time: 3.38349/86400
c Decision: 9150/25887	Time: 4.08438/86400
c got solution with objective value: 96
c [startup+5.66039 s]  setting bit 7 to 1

c Decision: 20726/25887	Time: 3.60545/86400
c Decision: 20726/25887	Time: 5.21221/86400
c Decision: 21118/25887	Time: 7.07492/86400
c Decision: 21118/25887	Time: 7.99378/86400
c Decision: 21118/25887	Time: 9.61354/86400
c Decision: 21118/25887	Time: 10.6494/86400
c Decision: 21118/25887	Time: 12.5471/86400
c Decision: 21897/25887	Time: 15.1807/86400
c Decision: 21897/25887	Time: 17.1454/86400
c Decision: 21897/25887	Time: 19.0741/86400
c Decision: 21897/25887	Time: 20.9058/86400
c Decision: 21897/25887	Time: 22.9645/86400
c Decision: 21897/25887	Time: 25.0742/86400
c Decision: 21897/25887	Time: 27.3228/86400
c Decision: 21897/25887	Time: 29.6375/86400
c Decision: 21897/25887	Time: 31.9042/86400
c Decision: 21897/25887	Time: 34.0088/86400
c Decision: 22009/25887	Time: 37.8302/86400
c Decision: 22137/25887	Time: 41.4757/86400
c Decision: 22137/25887	Time: 43.7194/86400
c Decision: 22151/25887	Time: 46.8409/86400
c Decision: 22151/25887	Time: 49.3685/86400
c Decision: 22151/25887	Time: 51.9091/86400
c Decision: 22151/25887	Time: 54.6707/86400
c Decision: 22151/25887	Time: 57.6292/86400
c Decision: 22151/25887	Time: 60.7418/86400
c Decision: 22151/25887	Time: 63.6503/86400
c Decision: 22151/25887	Time: 66.5399/86400
c Decision: 22151/25887	Time: 69.5564/86400
c Decision: 22151/25887	Time: 72.7969/86400
c Decision: 22156/25887	Time: 76.6453/86400
c Decision: 22157/25887	Time: 80.8847/86400
c Decision: 22157/25887	Time: 84.3872/86400
c Decision: 22157/25887	Time: 87.9386/86400
c Decision: 22157/25887	Time: 91.7061/86400
c Decision: 22160/25887	Time: 97.4452/86400
c Decision: 22160/25887	Time: 100.634/86400
c Decision: 22160/25887	Time: 104.074/86400
c Decision: 22160/25887	Time: 107.535/86400
c Decision: 22160/25887	Time: 111.9/86400
c Decision: 22160/25887	Time: 116.166/86400
c Decision: 22160/25887	Time: 120.09/86400
c Decision: 22160/25887	Time: 124.596/86400
c Decision: 22160/25887	Time: 128.375/86400
c Decision: 22160/25887	Time: 132.076/86400
c Decision: 22160/25887	Time: 136.647/86400
c Decision: 22160/25887	Time: 140.897/86400
c Decision: 22160/25887	Time: 145.884/86400
c Decision: 22160/25887	Time: 150.396/86400
c Decision: 22160/25887	Time: 154.717/86400
c Decision: 22214/25887	Time: 164.239/86400
c Decision: 22214/25887	Time: 169.424/86400
c Decision: 22214/25887	Time: 173.699/86400
c Decision: 22215/25887	Time: 182.787/86400
c Decision: 22215/25887	Time: 187.846/86400
c Decision: 22215/25887	Time: 192.846/86400
c Decision: 22219/25887	Time: 201.282/86400
c Decision: 22219/25887	Time: 205.507/86400
c Decision: 22220/25887	Time: 211.873/86400
c Decision: 22220/25887	Time: 216.375/86400
c [startup+231.104 s]  setting bit 6 to 0

c Decision: 15175/25887	Time: 2.18467/86400
c Decision: 15175/25887	Time: 4.20836/86400
c Decision: 15201/25887	Time: 5.70713/86400
c Decision: 15264/25887	Time: 8.87165/86400
c Decision: 15264/25887	Time: 9.75552/86400
c Decision: 15264/25887	Time: 11.4603/86400
c Decision: 15264/25887	Time: 13.127/86400
c Decision: 15264/25887	Time: 14.7868/86400
c Decision: 15264/25887	Time: 15.9356/86400
c Decision: 15410/25887	Time: 17.7803/86400
c Decision: 15410/25887	Time: 19.1031/86400
c Decision: 15410/25887	Time: 19.85/86400
c Decision: 15410/25887	Time: 21.7907/86400
c Decision: 15410/25887	Time: 23.6774/86400
c Decision: 15410/25887	Time: 24.8862/86400
c Decision: 15410/25887	Time: 27.0079/86400
c Decision: 15410/25887	Time: 27.9158/86400
c Decision: 15410/25887	Time: 29.8395/86400
c Decision: 15410/25887	Time: 31.2522/86400
c Decision: 15410/25887	Time: 32.644/86400
c Decision: 15410/25887	Time: 34.6257/86400
c Decision: 15410/25887	Time: 35.7876/86400
c Decision: 15410/25887	Time: 37.7623/86400
c Decision: 15410/25887	Time: 39.0781/86400
c Decision: 15410/25887	Time: 41.0078/86400
c Decision: 15410/25887	Time: 42.6395/86400
c Decision: 15410/25887	Time: 44.2273/86400
c Decision: 15410/25887	Time: 45.826/86400
c Decision: 15410/25887	Time: 46.7919/86400
c Decision: 15410/25887	Time: 48.7256/86400
c Decision: 15410/25887	Time: 50.2364/86400
c Decision: 15410/25887	Time: 52.2541/86400
c Decision: 15410/25887	Time: 53.7168/86400
c Decision: 15410/25887	Time: 55.7375/86400
c Decision: 15410/25887	Time: 57.5363/86400
c Decision: 15410/25887	Time: 58.907/86400
c Decision: 15410/25887	Time: 61.2787/86400
c Decision: 15410/25887	Time: 62.8274/86400
c Decision: 15410/25887	Time: 65.1771/86400
c Decision: 15410/25887	Time: 66.4309/86400
c Decision: 15410/25887	Time: 69.0715/86400
c Decision: 15410/25887	Time: 70.3373/86400
c Decision: 15410/25887	Time: 72.569/86400
c Decision: 15410/25887	Time: 74.1327/86400
c Decision: 15410/25887	Time: 76.2164/86400
c Decision: 15410/25887	Time: 77.6402/86400
c Decision: 15410/25887	Time: 79.4219/86400
c Decision: 15410/25887	Time: 80.6707/86400
c Decision: 15410/25887	Time: 82.2995/86400
c Decision: 15410/25887	Time: 83.7733/86400
c Decision: 15410/25887	Time: 86.0859/86400
c Decision: 15410/25887	Time: 87.5197/86400
c Decision: 15410/25887	Time: 89.4174/86400
c Decision: 15410/25887	Time: 90.7992/86400
c Decision: 15410/25887	Time: 93.0319/86400
c Decision: 15410/25887	Time: 94.9446/86400
c Decision: 15410/25887	Time: 96.7923/86400
c Decision: 15410/25887	Time: 98.846/86400
c Decision: 15410/25887	Time: 101.068/86400
c Decision: 15410/25887	Time: 102.405/86400
c Decision: 15410/25887	Time: 105.156/86400
c Decision: 15410/25887	Time: 106.745/86400
c Decision: 15410/25887	Time: 109.104/86400
c Decision: 15410/25887	Time: 110.368/86400
c Decision: 15410/25887	Time: 112.109/86400
c Decision: 15410/25887	Time: 114.658/86400
c Decision: 15410/25887	Time: 116.916/86400
c Decision: 15410/25887	Time: 119.184/86400
c Decision: 15410/25887	Time: 121.147/86400
c Decision: 15410/25887	Time: 123.219/86400
c Decision: 15410/25887	Time: 124.984/86400
c Decision: 15410/25887	Time: 127.079/86400
c Decision: 15410/25887	Time: 129.431/86400
c Decision: 15410/25887	Time: 131.759/86400
c got solution with objective value: 64
c [startup+364.89 s]  setting bit 5 to 1

c Decision: 17991/25887	Time: 13.034/86400
c Decision: 17991/25887	Time: 14.4938/86400
c Decision: 17991/25887	Time: 16.1415/86400
c Decision: 17991/25887	Time: 17.6673/86400
c Decision: 17991/25887	Time: 19.2601/86400
c Decision: 17991/25887	Time: 21.3278/86400
c Decision: 17991/25887	Time: 22.9545/86400
c Decision: 17991/25887	Time: 24.6383/86400
c Decision: 17991/25887	Time: 26.357/86400
c Decision: 18153/25887	Time: 28.5167/86400
c Decision: 18289/25887	Time: 32.5291/86400
c Decision: 18289/25887	Time: 34.5417/86400
c Decision: 18289/25887	Time: 36.1975/86400
c Decision: 18289/25887	Time: 38.0272/86400
c Decision: 18289/25887	Time: 39.8089/86400
c Decision: 18289/25887	Time: 41.8696/86400
c Decision: 18289/25887	Time: 43.6774/86400
c Decision: 18289/25887	Time: 45.5871/86400
c Decision: 18289/25887	Time: 47.0169/86400
c Decision: 18289/25887	Time: 48.8406/86400
c Decision: 18289/25887	Time: 50.8993/86400
c Decision: 18289/25887	Time: 52.832/86400
c Decision: 18289/25887	Time: 54.7817/86400
c Decision: 18289/25887	Time: 56.8124/86400
c Decision: 18289/25887	Time: 58.6101/86400
c Decision: 18289/25887	Time: 60.4078/86400
c Decision: 18309/25887	Time: 62.9294/86400
c Decision: 18309/25887	Time: 65.0971/86400
c Decision: 18309/25887	Time: 66.9538/86400
c Decision: 18309/25887	Time: 68.9995/86400
c Decision: 18309/25887	Time: 70.9362/86400
c Decision: 18309/25887	Time: 73.2459/86400
c Decision: 18309/25887	Time: 75.3635/86400
c Decision: 18309/25887	Time: 77.4902/86400
c Decision: 18309/25887	Time: 79.6569/86400
c Decision: 18309/25887	Time: 81.4686/86400
c Decision: 18309/25887	Time: 83.8732/86400
c Decision: 18309/25887	Time: 85.381/86400
c Decision: 18309/25887	Time: 87.7387/86400
c Decision: 18309/25887	Time: 89.5064/86400
c Decision: 18309/25887	Time: 92.215/86400
c Decision: 18309/25887	Time: 94.4086/86400
c Decision: 18309/25887	Time: 96.6983/86400
c Decision: 18309/25887	Time: 99.1579/86400
c Decision: 18309/25887	Time: 101.205/86400
c Decision: 18309/25887	Time: 103.715/86400
c Decision: 18309/25887	Time: 105.649/86400
c Decision: 18309/25887	Time: 108.048/86400
c Decision: 18309/25887	Time: 110.119/86400
c Decision: 18309/25887	Time: 112.634/86400
c Decision: 18309/25887	Time: 115.009/86400
c Decision: 18309/25887	Time: 117.237/86400
c Decision: 18309/25887	Time: 119.407/86400
c Decision: 18309/25887	Time: 121.702/86400
c Decision: 18309/25887	Time: 124.134/86400
c Decision: 18309/25887	Time: 127.197/86400
c Decision: 18309/25887	Time: 129.427/86400
c Decision: 18309/25887	Time: 130.943/86400
c Decision: 18309/25887	Time: 133.639/86400
c Decision: 18309/25887	Time: 135.706/86400
c Decision: 18309/25887	Time: 138.232/86400
c Decision: 18309/25887	Time: 141.231/86400
c Decision: 18309/25887	Time: 143.296/86400
c Decision: 18309/25887	Time: 146.192/86400
c Decision: 18309/25887	Time: 148.543/86400
c Decision: 18309/25887	Time: 151.826/86400
c Decision: 18309/25887	Time: 154.562/86400
c Decision: 18309/25887	Time: 157.381/86400
c Decision: 18309/25887	Time: 160.652/86400
c Decision: 18309/25887	Time: 163.083/86400
c Decision: 18309/25887	Time: 166.052/86400
c Decision: 18309/25887	Time: 168.485/86400
c Decision: 18309/25887	Time: 171.269/86400
c Decision: 18309/25887	Time: 174.382/86400
c Decision: 18309/25887	Time: 177.121/86400
c Decision: 18309/25887	Time: 180.415/86400
c Decision: 18309/25887	Time: 182.704/86400
c Decision: 18309/25887	Time: 185.846/86400
c Decision: 18309/25887	Time: 188.487/86400
c Decision: 18309/25887	Time: 190.929/86400
c Decision: 18309/25887	Time: 193.996/86400
c Decision: 18309/25887	Time: 196.296/86400
c Decision: 18309/25887	Time: 199.357/86400
c Decision: 18309/25887	Time: 202.174/86400
c Decision: 18309/25887	Time: 204.926/86400
c Decision: 18309/25887	Time: 207.962/86400
c Decision: 18309/25887	Time: 210.949/86400
c Decision: 18309/25887	Time: 214.136/86400
c Decision: 18309/25887	Time: 216.693/86400
c Decision: 18309/25887	Time: 219.756/86400
c Decision: 18309/25887	Time: 222.965/86400
c Decision: 18309/25887	Time: 226.301/86400
c Decision: 18309/25887	Time: 229.446/86400
c Decision: 18309/25887	Time: 232.083/86400
c Decision: 18309/25887	Time: 235.503/86400
c Decision: 18309/25887	Time: 238.252/86400
c Decision: 18309/25887	Time: 241.188/86400
c Decision: 18309/25887	Time: 243.295/86400
c Decision: 18309/25887	Time: 246.043/86400
c Decision: 18893/25887	Time: 251.645/86400
c Decision: 18893/25887	Time: 254.46/86400
c Decision: 18893/25887	Time: 257.884/86400
c Decision: 18893/25887	Time: 260.805/86400
c Decision: 18900/25887	Time: 265.339/86400
c Decision: 18900/25887	Time: 268.352/86400
c Decision: 18900/25887	Time: 271.822/86400
c Decision: 18900/25887	Time: 275.178/86400
c Decision: 18900/25887	Time: 277.774/86400
c Decision: 18900/25887	Time: 280.64/86400
c Decision: 18900/25887	Time: 283.754/86400
c Decision: 18900/25887	Time: 286.74/86400
c Decision: 18900/25887	Time: 290.367/86400
c Decision: 18900/25887	Time: 292.884/86400
c Decision: 18900/25887	Time: 296.303/86400
c Decision: 18900/25887	Time: 299.298/86400
c Decision: 18900/25887	Time: 302.752/86400
c Decision: 18900/25887	Time: 305.442/86400
c Decision: 18900/25887	Time: 309.152/86400
c Decision: 18900/25887	Time: 312.277/86400
c Decision: 18900/25887	Time: 314.842/86400
c Decision: 18900/25887	Time: 318.896/86400
c Decision: 18900/25887	Time: 322.211/86400
c Decision: 18900/25887	Time: 325.071/86400
c Decision: 18900/25887	Time: 328.464/86400
c Decision: 18900/25887	Time: 331.773/86400
c Decision: 18900/25887	Time: 334.899/86400
c Decision: 18900/25887	Time: 338.773/86400
c Decision: 18900/25887	Time: 342.47/86400
c Decision: 18900/25887	Time: 346.401/86400
c Decision: 18900/25887	Time: 350.203/86400
c Decision: 18900/25887	Time: 353.47/86400
c Decision: 18900/25887	Time: 355.988/86400
c Decision: 18900/25887	Time: 359.373/86400
c Decision: 18900/25887	Time: 362.328/86400
c Decision: 18900/25887	Time: 365.481/86400
c Decision: 18900/25887	Time: 369.987/86400
c Decision: 18900/25887	Time: 372.742/86400
c Decision: 18900/25887	Time: 375.534/86400
c Decision: 18900/25887	Time: 378.974/86400
c Decision: 18900/25887	Time: 382.544/86400
c Decision: 18900/25887	Time: 386.736/86400
c Decision: 18900/25887	Time: 389.771/86400
c Decision: 18900/25887	Time: 393.603/86400
c Decision: 18900/25887	Time: 396.411/86400
c Decision: 18900/25887	Time: 399.993/86400
c Decision: 18900/25887	Time: 403.26/86400
c Decision: 18900/25887	Time: 405.874/86400
c Decision: 18900/25887	Time: 408.948/86400
c Decision: 18900/25887	Time: 412.687/86400
c Decision: 18900/25887	Time: 415.536/86400
c Decision: 18900/25887	Time: 419.931/86400
c Decision: 18900/25887	Time: 422.9/86400
c Decision: 18900/25887	Time: 426.335/86400
c Decision: 18900/25887	Time: 430.243/86400
c Decision: 18900/25887	Time: 433.406/86400
c Decision: 18900/25887	Time: 437.658/86400
c Decision: 18900/25887	Time: 441.729/86400
c Decision: 18900/25887	Time: 446.043/86400
c Decision: 18900/25887	Time: 449.73/86400
c Decision: 18900/25887	Time: 453.07/86400
c Decision: 18900/25887	Time: 457.294/86400
c Decision: 18900/25887	Time: 461.942/86400
c Decision: 18900/25887	Time: 464.955/86400
c Decision: 18900/25887	Time: 468.874/86400
c Decision: 18900/25887	Time: 472.416/86400
c Decision: 18900/25887	Time: 475.825/86400
c Decision: 18900/25887	Time: 478.802/86400
c Decision: 18900/25887	Time: 482.597/86400
c Decision: 18900/25887	Time: 485.649/86400
c Decision: 18900/25887	Time: 488.983/86400
c Decision: 18900/25887	Time: 492.794/86400
c Decision: 18900/25887	Time: 496.007/86400
c Decision: 18900/25887	Time: 500.187/86400
c Decision: 18900/25887	Time: 504.554/86400
c Decision: 18900/25887	Time: 508.713/86400
c Decision: 18900/25887	Time: 512.975/86400
c Decision: 18900/25887	Time: 516.77/86400
c Decision: 18900/25887	Time: 520.757/86400
c Decision: 18900/25887	Time: 524.746/86400
c Decision: 18900/25887	Time: 528.176/86400
c Decision: 18900/25887	Time: 533.002/86400
c Decision: 18900/25887	Time: 535.421/86400
c Decision: 18900/25887	Time: 539.571/86400
c Decision: 18900/25887	Time: 543.419/86400
c Decision: 18900/25887	Time: 547.298/86400
c Decision: 18900/25887	Time: 551.026/86400
c Decision: 18900/25887	Time: 554.549/86400
c Decision: 18900/25887	Time: 557.332/86400
c Decision: 18900/25887	Time: 560.718/86400
c Decision: 18900/25887	Time: 563.283/86400
c Decision: 18900/25887	Time: 567.782/86400
c Decision: 18900/25887	Time: 572.275/86400
c Decision: 18900/25887	Time: 575.632/86400
c Decision: 18900/25887	Time: 580.331/86400
c Decision: 18900/25887	Time: 584.494/86400
c Decision: 18900/25887	Time: 589.43/86400
c Decision: 18900/25887	Time: 593.634/86400
c Decision: 18900/25887	Time: 597.02/86400
c Decision: 18900/25887	Time: 601.146/86400
c Decision: 18900/25887	Time: 605.674/86400
c Decision: 18900/25887	Time: 609.609/86400
c Decision: 18900/25887	Time: 612.863/86400
c Decision: 18900/25887	Time: 617.109/86400
c Decision: 18900/25887	Time: 619.804/86400
c Decision: 18900/25887	Time: 624.316/86400
c Decision: 18900/25887	Time: 628.408/86400
c Decision: 18900/25887	Time: 631.775/86400
c Decision: 18900/25887	Time: 635.376/86400
c Decision: 18900/25887	Time: 640.328/86400
c Decision: 18924/25887	Time: 646.967/86400
c Decision: 18924/25887	Time: 651.035/86400
c Decision: 18924/25887	Time: 654.594/86400
c Decision: 18924/25887	Time: 658.166/86400
c Decision: 18924/25887	Time: 662.371/86400
c Decision: 18924/25887	Time: 665.446/86400
c Decision: 18924/25887	Time: 670.198/86400
c Decision: 18924/25887	Time: 674.127/86400
c Decision: 18924/25887	Time: 678.407/86400
c Decision: 18924/25887	Time: 682.018/86400
c Decision: 18924/25887	Time: 685.925/86400
c Decision: 18942/25887	Time: 691.155/86400
c Decision: 18942/25887	Time: 696.143/86400
c Decision: 18942/25887	Time: 699.905/86400
c Decision: 18942/25887	Time: 703.687/86400
c Decision: 18942/25887	Time: 707.579/86400
c Decision: 18942/25887	Time: 713.1/86400
c Decision: 18942/25887	Time: 717.875/86400
c Decision: 18942/25887	Time: 721.373/86400
c Decision: 18942/25887	Time: 725.766/86400
c Decision: 18942/25887	Time: 731.336/86400
c Decision: 18942/25887	Time: 735.138/86400
c Decision: 18942/25887	Time: 738.979/86400
c Decision: 18942/25887	Time: 742.426/86400
c Decision: 18942/25887	Time: 746.481/86400
c Decision: 18942/25887	Time: 751.726/86400
c Decision: 18942/25887	Time: 757.672/86400
c Decision: 18942/25887	Time: 760.947/86400
c Decision: 18942/25887	Time: 765.763/86400
c Decision: 18942/25887	Time: 769.468/86400
c Decision: 18942/25887	Time: 774.793/86400
c Decision: 18942/25887	Time: 780.418/86400
c Decision: 18942/25887	Time: 784.625/86400
c Decision: 18942/25887	Time: 789.418/86400
c Decision: 18942/25887	Time: 794.189/86400
c Decision: 18942/25887	Time: 797.987/86400
c Decision: 18942/25887	Time: 802.461/86400
c Decision: 18942/25887	Time: 807.623/86400
c Decision: 18942/25887	Time: 812.047/86400
c Decision: 18942/25887	Time: 814.785/86400
c Decision: 18942/25887	Time: 818.473/86400
c Decision: 18942/25887	Time: 821.984/86400
c Decision: 18942/25887	Time: 824.627/86400
c Decision: 18942/25887	Time: 828.259/86400
c Decision: 18942/25887	Time: 831.368/86400
c Decision: 18942/25887	Time: 834.386/86400s SATISFIABLE
v x1 -x10 -x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x11 x110 -x111 -x112 -x113 x114 -x115 -x116 x117 -x118 -x119 x12 -x120 -x121 x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x13 x130 -x131 -x132 x133 -x134 x135 -x136 -x137 -x138 x139 -x14 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x15 -x150 x151 -x152 -x153 -x154 -x155 x156 -x157 x158 -x159 -x16 -x160 -x161 x162 -x163 x164 -x165 x166 -x167 x168 -x169 -x17 -x170 -x171 x172 -x173 -x174 x175 -x176 -x177 x178 -x179 x18 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 x188 -x189 x19 -x190 -x191 -x192 -x193 -x194 x195 -x196 x197 -x198 -x199 -x2 -x20 -x200 x201 -x202 -x203 -x204 -x205 x206 x207 -x208 -x209 -x21 -x210 x211 -x212 -x213 x214 -x215 x216 -x217 -x218 x219 -x22 -x220 -x221 -x222 -x223 x224 -x225 x23 x24 x25 -x26 -x27 -x28 x29 -x3 x30 -x31 -x32 x33 x34 -x35 x36 -x37 -x38 -x39 -x4 -x40 -x41 x42 -x43 -x44 -x45 x46 -x47 x48 -x49 -x5 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 x59 x6 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x7 -x70 x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x8 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 x88 -x89 -x9 x90 x91 -x92 x93 x94 -x95 x96 -x97 x98 -x99 
#### 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.84 0.94 0.91 2/54 3534
Raw data (stat): 3534 (runsolver) R 3533 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967981299 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.94 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 4536 0 0 0 988 10 0 0 25 0 1 0 967981299 14012416 2875 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3421 2875 301 301 0 3120 0
vsize: 13684
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 5045 0 0 0 1985 13 0 0 25 0 1 0 967981299 16384000 3078 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4000 3078 301 301 0 3699 0
vsize: 16000
[startup+30.0038 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 5456 0 0 0 2983 16 0 0 25 0 1 0 967981299 16658432 3234 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4067 3234 301 301 0 3766 0
vsize: 16268
[startup+40.0034 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 5875 0 0 0 3980 18 0 0 25 0 1 0 967981299 16793600 3398 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4100 3398 301 301 0 3799 0
vsize: 16400
[startup+50.0037 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 6246 0 0 0 4978 20 0 0 25 0 1 0 967981299 17063936 3616 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4166 3616 301 301 0 3865 0
vsize: 16664
[startup+60.0035 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 6533 0 0 0 5976 22 0 0 25 0 1 0 967981299 17338368 3750 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4233 3750 301 301 0 3932 0
vsize: 16932
[startup+70.0034 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 6851 0 0 0 6973 24 0 0 25 0 1 0 967981299 17481728 3864 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4268 3864 301 301 0 3967 0
vsize: 17072
[startup+80.0039 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 7176 0 0 0 7971 26 0 0 25 0 1 0 967981299 21811200 4036 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5325 4036 301 301 0 5024 0
vsize: 21300
[startup+90.0036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 7411 0 0 0 8970 28 0 0 25 0 1 0 967981299 21942272 4169 4294967295 134512640 135730672 3221224592 3221222896 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5357 4169 301 301 0 5056 0
vsize: 21428
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 8558 0 0 0 9966 32 0 0 25 0 1 0 967981299 25391104 4394 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6199 4394 301 301 0 5898 0
vsize: 24796
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 8793 0 0 0 10965 33 0 0 25 0 1 0 967981299 25391104 4476 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6199 4476 301 301 0 5898 0
vsize: 24796
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 9127 0 0 0 11963 35 0 0 25 0 1 0 967981299 25550848 4708 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6238 4708 301 301 0 5937 0
vsize: 24952
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 9370 0 0 0 12961 37 0 0 25 0 1 0 967981299 25690112 4849 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6272 4849 301 301 0 5971 0
vsize: 25088
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 9710 0 0 0 13960 38 0 0 25 0 1 0 967981299 25690112 5036 4294967295 134512640 135730672 3221224592 3221222880 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6272 5036 301 301 0 5971 0
vsize: 25088
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 9939 0 0 0 14960 39 0 0 25 0 1 0 967981299 25849856 5163 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6311 5163 301 301 0 6010 0
vsize: 25244
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 10220 0 0 0 15958 41 0 0 25 0 1 0 967981299 34373632 5342 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8392 5342 301 301 0 8091 0
vsize: 33568
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 10526 0 0 0 16957 42 0 0 25 0 1 0 967981299 34508800 5546 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8425 5546 301 301 0 8124 0
vsize: 33700
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 10773 0 0 0 17956 43 0 0 25 0 1 0 967981299 34672640 5691 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8465 5691 301 301 0 8164 0
vsize: 33860
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 11051 0 0 0 18954 45 0 0 25 0 1 0 967981299 34955264 5918 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8534 5918 301 301 0 8233 0
vsize: 34136
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 11312 0 0 0 19954 46 0 0 25 0 1 0 967981299 34955264 6077 4294967295 134512640 135730672 3221224592 3221222976 134763771 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8534 6077 301 301 0 8233 0
vsize: 34136
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 11414 0 0 0 20953 47 0 0 25 0 1 0 967981299 35090432 6128 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8567 6128 301 301 0 8266 0
vsize: 34268
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 11537 0 0 0 21952 48 0 0 25 0 1 0 967981299 35225600 6149 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8600 6149 301 301 0 8299 0
vsize: 34400
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 11610 0 0 0 22952 48 0 0 25 0 1 0 967981299 35225600 6171 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8600 6171 301 301 0 8299 0
vsize: 34400
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 11964 0 0 0 23950 51 0 0 25 0 1 0 967981299 35495936 6270 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8666 6270 301 301 0 8365 0
vsize: 34664
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 12250 0 0 0 24947 54 0 0 25 0 1 0 967981299 35782656 6352 4294967295 134512640 135730672 3221224592 3221222896 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8736 6352 301 301 0 8435 0
vsize: 34944
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 12433 0 0 0 25945 56 0 0 25 0 1 0 967981299 35917824 6433 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8769 6433 301 301 0 8468 0
vsize: 35076
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 12659 0 0 0 26943 58 0 0 25 0 1 0 967981299 36184064 6506 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8834 6506 301 301 0 8533 0
vsize: 35336
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 12800 0 0 0 27941 60 0 0 25 0 1 0 967981299 36462592 6596 4294967295 134512640 135730672 3221224592 3221223040 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8902 6596 301 301 0 8601 0
vsize: 35608
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 13074 0 0 0 28939 62 0 0 25 0 1 0 967981299 36597760 6666 4294967295 134512640 135730672 3221224592 3221223008 134783291 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8935 6666 301 301 0 8634 0
vsize: 35740
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 13407 0 0 0 29936 65 0 0 25 0 1 0 967981299 36868096 6744 4294967295 134512640 135730672 3221224592 3221223008 134783066 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9001 6744 301 301 0 8700 0
vsize: 36004
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 13625 0 0 0 30935 66 0 0 25 0 1 0 967981299 37007360 6809 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9035 6809 301 301 0 8734 0
vsize: 36140
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 13962 0 0 0 31933 68 0 0 25 0 1 0 967981299 37277696 6891 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9101 6891 301 301 0 8800 0
vsize: 36404
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 14304 0 0 0 32931 70 0 0 25 0 1 0 967981299 37552128 6978 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9168 6978 301 301 0 8867 0
vsize: 36672
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 14508 0 0 0 33929 73 0 0 25 0 1 0 967981299 37691392 7029 4294967295 134512640 135730672 3221224592 3221222896 134746507 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9202 7029 301 301 0 8901 0
vsize: 36808
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 14780 0 0 0 34928 74 0 0 25 0 1 0 967981299 37826560 7097 4294967295 134512640 135730672 3221224592 3221222896 134746523 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9235 7097 301 301 0 8934 0
vsize: 36940
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 15010 0 0 0 35927 76 0 0 25 0 1 0 967981299 38100992 7174 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9302 7174 301 301 0 9001 0
vsize: 37208
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 15223 0 0 0 36926 77 0 0 25 0 1 0 967981299 38236160 7285 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9335 7285 301 301 0 9034 0
vsize: 37340
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 15581 0 0 0 37924 79 0 0 25 0 1 0 967981299 38666240 7541 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9440 7541 301 301 0 9139 0
vsize: 37760
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 15922 0 0 0 38922 81 0 0 25 0 1 0 967981299 38936576 7627 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9506 7627 301 301 0 9205 0
vsize: 38024
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 16145 0 0 0 39919 84 0 0 25 0 1 0 967981299 39071744 7697 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9539 7697 301 301 0 9238 0
vsize: 38156
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 16336 0 0 0 40918 85 0 0 25 0 1 0 967981299 39370752 7786 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9612 7786 301 301 0 9311 0
vsize: 38448
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 16532 0 0 0 41917 87 0 0 25 0 1 0 967981299 39653376 7880 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9681 7880 301 301 0 9380 0
vsize: 38724
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 16775 0 0 0 42916 88 0 0 25 0 1 0 967981299 39788544 8021 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9714 8021 301 301 0 9413 0
vsize: 38856
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 16982 0 0 0 43915 89 0 0 25 0 1 0 967981299 39931904 8126 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9749 8126 301 301 0 9448 0
vsize: 38996
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 17134 0 0 0 44914 90 0 0 25 0 1 0 967981299 40206336 8278 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9816 8278 301 301 0 9515 0
vsize: 39264
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 17352 0 0 0 45913 92 0 0 25 0 1 0 967981299 40345600 8445 4294967295 134512640 135730672 3221224592 3221222704 134732464 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9850 8445 301 301 0 9549 0
vsize: 39400
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 17593 0 0 0 46912 93 0 0 25 0 1 0 967981299 40480768 8584 4294967295 134512640 135730672 3221224592 3221222880 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9883 8584 301 301 0 9582 0
vsize: 39532
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 17765 0 0 0 47911 94 0 0 25 0 1 0 967981299 40763392 8654 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9952 8654 301 301 0 9651 0
vsize: 39808
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 17924 0 0 0 48910 95 0 0 25 0 1 0 967981299 40902656 8711 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9986 8711 301 301 0 9685 0
vsize: 39944
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 18092 0 0 0 49908 96 0 0 25 0 1 0 967981299 41177088 8777 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10053 8777 301 301 0 9752 0
vsize: 40212
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 18318 0 0 0 50907 98 0 0 25 0 1 0 967981299 41324544 8850 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10089 8850 301 301 0 9788 0
vsize: 40356
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 20152 0 0 0 51903 102 0 0 25 0 1 0 967981299 47882240 8943 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11690 8943 301 301 0 11389 0
vsize: 46760
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 20462 0 0 0 52900 105 0 0 25 0 1 0 967981299 48021504 9100 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11724 9100 301 301 0 11423 0
vsize: 46896
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 20735 0 0 0 53898 107 0 0 25 0 1 0 967981299 48291840 9169 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11790 9169 301 301 0 11489 0
vsize: 47160
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 20937 0 0 0 54897 109 0 0 25 0 1 0 967981299 48431104 9218 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11824 9218 301 301 0 11523 0
vsize: 47296
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 21212 0 0 0 55895 110 0 0 25 0 1 0 967981299 48431104 9289 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11824 9289 301 301 0 11523 0
vsize: 47296
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 21545 0 0 0 56893 112 0 0 25 0 1 0 967981299 48721920 9418 4294967295 134512640 135730672 3221224592 3221222880 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11895 9418 301 301 0 11594 0
vsize: 47580
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 21817 0 0 0 57892 113 0 0 25 0 1 0 967981299 48721920 9537 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11895 9537 301 301 0 11594 0
vsize: 47580
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 22082 0 0 0 58891 115 0 0 25 0 1 0 967981299 48857088 9649 4294967295 134512640 135730672 3221224592 3221222880 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11928 9649 301 301 0 11627 0
vsize: 47712
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 22366 0 0 0 59889 117 0 0 25 0 1 0 967981299 48992256 9780 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11961 9780 301 301 0 11660 0
vsize: 47844
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 22669 0 0 0 60888 118 0 0 25 0 1 0 967981299 49127424 9879 4294967295 134512640 135730672 3221224592 3221222880 134747893 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11994 9879 301 301 0 11693 0
vsize: 47976
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 22990 0 0 0 61887 120 0 0 25 0 1 0 967981299 49532928 10047 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12093 10047 301 301 0 11792 0
vsize: 48372
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 23141 0 0 0 62886 121 0 0 25 0 1 0 967981299 49668096 10096 4294967295 134512640 135730672 3221224592 3221222896 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12126 10096 301 301 0 11825 0
vsize: 48504
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 23420 0 0 0 63885 122 0 0 25 0 1 0 967981299 50163712 10222 4294967295 134512640 135730672 3221224592 3221222536 134765469 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12247 10222 301 301 0 11946 0
vsize: 48988
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 23629 0 0 0 64884 123 0 0 25 0 1 0 967981299 49954816 10227 4294967295 134512640 135730672 3221224592 3221222880 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12196 10227 301 301 0 11895 0
vsize: 48784
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 23839 0 0 0 65883 125 0 0 25 0 1 0 967981299 50089984 10284 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12229 10284 301 301 0 11928 0
vsize: 48916
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 24040 0 0 0 66882 125 0 0 25 0 1 0 967981299 50225152 10332 4294967295 134512640 135730672 3221224592 3221222896 134746168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12262 10332 301 301 0 11961 0
vsize: 49048
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 24368 0 0 0 67880 128 0 0 25 0 1 0 967981299 50524160 10456 4294967295 134512640 135730672 3221224592 3221222880 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12335 10456 301 301 0 12034 0
vsize: 49340
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 24592 0 0 0 68879 129 0 0 25 0 1 0 967981299 50663424 10527 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12369 10527 301 301 0 12068 0
vsize: 49476
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 24827 0 0 0 69878 130 0 0 25 0 1 0 967981299 50806784 10609 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12404 10609 301 301 0 12103 0
vsize: 49616
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 24990 0 0 0 70877 131 0 0 25 0 1 0 967981299 51077120 10670 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12470 10670 301 301 0 12169 0
vsize: 49880
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 25236 0 0 0 71876 133 0 0 25 0 1 0 967981299 51077120 10763 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12470 10763 301 301 0 12169 0
vsize: 49880
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 25493 0 0 0 72874 134 0 0 25 0 1 0 967981299 67997696 10867 4294967295 134512640 135730672 3221224592 3221222896 134745801 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16601 10867 301 301 0 16300 0
vsize: 66404
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 25721 0 0 0 73873 136 0 0 25 0 1 0 967981299 68132864 10942 4294967295 134512640 135730672 3221224592 3221222896 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16634 10942 301 301 0 16333 0
vsize: 66536
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 25985 0 0 0 74872 137 0 0 25 0 1 0 967981299 68272128 11053 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16668 11053 301 301 0 16367 0
vsize: 66672
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 26210 0 0 0 75872 137 0 0 25 0 1 0 967981299 68407296 11125 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16701 11125 301 301 0 16400 0
vsize: 66804
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 26463 0 0 0 76871 139 0 0 25 0 1 0 967981299 68407296 11225 4294967295 134512640 135730672 3221224592 3221222880 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16701 11225 301 301 0 16400 0
vsize: 66804
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 26706 0 0 0 77870 140 0 0 25 0 1 0 967981299 68542464 11315 4294967295 134512640 135730672 3221224592 3221222896 134746520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16734 11315 301 301 0 16433 0
vsize: 66936
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 26946 0 0 0 78869 141 0 0 25 0 1 0 967981299 68812800 11402 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16800 11402 301 301 0 16499 0
vsize: 67200
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 27220 0 0 0 79867 143 0 0 25 0 1 0 967981299 68947968 11523 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16833 11523 301 301 0 16532 0
vsize: 67332
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 27392 0 0 0 80867 144 0 0 25 0 1 0 967981299 69115904 11593 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16874 11593 301 301 0 16573 0
vsize: 67496
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 27623 0 0 0 81865 145 0 0 25 0 1 0 967981299 69251072 11671 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16907 11671 301 301 0 16606 0
vsize: 67628
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 27847 0 0 0 82864 147 0 0 25 0 1 0 967981299 69394432 11742 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16942 11742 301 301 0 16641 0
vsize: 67768
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 28081 0 0 0 83862 149 0 0 25 0 1 0 967981299 69533696 11874 4294967295 134512640 135730672 3221224592 3221222896 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16976 11874 301 301 0 16675 0
vsize: 67904
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 28322 0 0 0 84861 150 0 0 25 0 1 0 967981299 69689344 11962 4294967295 134512640 135730672 3221224592 3221222704 134732500 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17014 11962 301 301 0 16713 0
vsize: 68056
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 28591 0 0 0 85860 152 0 0 25 0 1 0 967981299 69828608 12078 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17048 12078 301 301 0 16747 0
vsize: 68192
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 28802 0 0 0 86859 152 0 0 25 0 1 0 967981299 69963776 12136 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17081 12136 301 301 0 16780 0
vsize: 68324
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 28991 0 0 0 87858 154 0 0 25 0 1 0 967981299 70098944 12223 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17114 12223 301 301 0 16813 0
vsize: 68456
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 29235 0 0 0 88857 155 0 0 25 0 1 0 967981299 70234112 12314 4294967295 134512640 135730672 3221224592 3221222880 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17147 12314 301 301 0 16846 0
vsize: 68588
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 29453 0 0 0 89856 156 0 0 25 0 1 0 967981299 70369280 12430 4294967295 134512640 135730672 3221224592 3221222896 134746169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17180 12430 301 301 0 16879 0
vsize: 68720
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 29634 0 0 0 90855 157 0 0 25 0 1 0 967981299 70369280 12458 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17180 12458 301 301 0 16879 0
vsize: 68720
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 29869 0 0 0 91855 158 0 0 25 0 1 0 967981299 70557696 12540 4294967295 134512640 135730672 3221224592 3221222880 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17226 12540 301 301 0 16925 0
vsize: 68904
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 30122 0 0 0 92853 159 0 0 25 0 1 0 967981299 70557696 12640 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17226 12640 301 301 0 16925 0
vsize: 68904
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 30283 0 0 0 93852 161 0 0 25 0 1 0 967981299 70692864 12699 4294967295 134512640 135730672 3221224592 3221222896 134746532 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17259 12699 301 301 0 16958 0
vsize: 69036
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 30513 0 0 0 94851 162 0 0 25 0 1 0 967981299 70873088 12776 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17303 12776 301 301 0 17002 0
vsize: 69212
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3534
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 30680 0 0 0 95850 163 0 0 25 0 1 0 967981299 71008256 12841 4294967295 134512640 135730672 3221224592 3221222624 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17336 12841 301 301 0 17035 0
vsize: 69344
[startup+970.088 s]
Raw data (loadavg): 0.99 0.97 0.91 3/58 3538
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 30915 0 0 0 96857 164 0 0 25 0 1 0 967981299 71008256 12974 4294967295 134512640 135730672 3221224592 3221222896 134746515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17336 12974 301 301 0 17035 0
vsize: 69344
[startup+980.088 s]
Raw data (loadavg): 1.15 1.00 0.93 2/58 3577
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 31164 0 0 0 97836 173 0 0 25 0 1 0 967981299 71282688 13070 4294967295 134512640 135730672 3221224592 3221222880 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17403 13070 301 301 0 17102 0
vsize: 69612
[startup+990.148 s]
Raw data (loadavg): 1.20 1.02 0.93 2/54 3587
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 31358 0 0 0 98841 174 0 0 25 0 1 0 967981299 71426048 13111 4294967295 134512640 135730672 3221224592 3221222880 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17438 13111 301 301 0 17137 0
vsize: 69752
[startup+1000.15 s]
Raw data (loadavg): 1.17 1.02 0.93 2/54 3587
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 31486 0 0 0 99841 175 0 0 25 0 1 0 967981299 71426048 13137 4294967295 134512640 135730672 3221224592 3221222896 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17438 13137 301 301 0 17137 0
vsize: 69752
[startup+1010.15 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 3587
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 31722 0 0 0 100839 176 0 0 25 0 1 0 967981299 71565312 13271 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17472 13271 301 301 0 17171 0
vsize: 69888
[startup+1020.15 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 3587
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 31964 0 0 0 101839 177 0 0 25 0 1 0 967981299 71696384 13360 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17504 13360 301 301 0 17203 0
vsize: 70016
[startup+1030.15 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 3587
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 32108 0 0 0 102837 179 0 0 25 0 1 0 967981299 71831552 13402 4294967295 134512640 135730672 3221224592 3221222896 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17537 13402 301 301 0 17236 0
vsize: 70148
[startup+1040.15 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 3587
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 32301 0 0 0 103836 180 0 0 25 0 1 0 967981299 71987200 13442 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17575 13442 301 301 0 17274 0
vsize: 70300
[startup+1050.15 s]
Raw data (loadavg): 1.13 1.03 0.94 2/54 3587
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 32462 0 0 0 104835 181 0 0 25 0 1 0 967981299 72159232 13501 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17617 13501 301 301 0 17316 0
vsize: 70468
[startup+1060.15 s]
Raw data (loadavg): 1.11 1.03 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 32647 0 0 0 105834 182 0 0 25 0 1 0 967981299 72159232 13584 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17617 13584 301 301 0 17316 0
vsize: 70468
[startup+1070.15 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 32862 0 0 0 106833 183 0 0 25 0 1 0 967981299 72458240 13646 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17690 13646 301 301 0 17389 0
vsize: 70760
[startup+1080.15 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 33056 0 0 0 107833 184 0 0 25 0 1 0 967981299 72458240 13738 4294967295 134512640 135730672 3221224592 3221222880 134747794 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17690 13738 301 301 0 17389 0
vsize: 70760
[startup+1090.15 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 33206 0 0 0 108832 185 0 0 25 0 1 0 967981299 72761344 13786 4294967295 134512640 135730672 3221224592 3221222880 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17764 13786 301 301 0 17463 0
vsize: 71056
[startup+1100.15 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 33423 0 0 0 109831 186 0 0 25 0 1 0 967981299 72896512 13850 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17797 13850 301 301 0 17496 0
vsize: 71188
[startup+1110.15 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 33552 0 0 0 110830 188 0 0 25 0 1 0 967981299 72896512 13877 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17797 13877 301 301 0 17496 0
vsize: 71188
[startup+1120.15 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 33736 0 0 0 111829 189 0 0 25 0 1 0 967981299 73031680 13959 4294967295 134512640 135730672 3221224592 3221222880 134747760 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17830 13959 301 301 0 17529 0
vsize: 71320
[startup+1130.15 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 33885 0 0 0 112828 190 0 0 25 0 1 0 967981299 73166848 14006 4294967295 134512640 135730672 3221224592 3221222896 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17863 14006 301 301 0 17562 0
vsize: 71452
[startup+1140.15 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 34129 0 0 0 113826 192 0 0 25 0 1 0 967981299 73302016 14097 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17896 14097 301 301 0 17595 0
vsize: 71584
[startup+1150.15 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 34304 0 0 0 114825 193 0 0 25 0 1 0 967981299 73441280 14170 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17930 14170 301 301 0 17629 0
vsize: 71720
[startup+1160.15 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 34440 0 0 0 115825 194 0 0 25 0 1 0 967981299 73576448 14204 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17963 14204 301 301 0 17662 0
vsize: 71852
[startup+1170.15 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 34635 0 0 0 116824 195 0 0 25 0 1 0 967981299 73711616 14297 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17996 14297 301 301 0 17695 0
vsize: 71984
[startup+1180.15 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 34828 0 0 0 117823 196 0 0 25 0 1 0 967981299 73711616 14337 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17996 14337 301 301 0 17695 0
vsize: 71984
[startup+1190.15 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 35059 0 0 0 118822 197 0 0 25 0 1 0 967981299 73846784 14415 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18029 14415 301 301 0 17728 0
vsize: 72116
[startup+1200.15 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 3589
Raw data (stat): 3534 (pb2sat-v2) R 3533 31399 31398 0 -1 0 35250 0 0 0 119821 198 0 0 25 0 1 0 967981299 73981952 14453 4294967295 134512640 135730672 3221224592 3221222880 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18062 14453 301 301 0 17761 0
vsize: 72248
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.37 s]
Raw data (loadavg): 1.01 1.01 0.94 1/54 3589
Raw data (stat): 3534 (pb2sat-v2) Z 3533 31399 31398 0 -1 12 35252 0 0 0 119839 201 0 0 25 0 1 0 967981299 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.37
CPU time (s): 1200.41
CPU user time (s): 1198.4
CPU system time (s): 2.01669
CPU usage (%): 100.004
Max. virtual memory (Kb): 72248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	64
#### END VERIFIER DATA ####