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/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM	46f4eb904b1c96b45521a6459aa5d49d
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(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	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	109757
Total number of constraints	313451
Number of constraints which are clauses	295929
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	17522
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 34941

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-28 11:12:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24205 boxname=wulflinc27 idbench=279 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  46f4eb904b1c96b45521a6459aa5d49d  /oldhome/oroussel/tmp/wulflinc27/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
IDLAUNCH: 24205
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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:        689952 kB
Buffers:         33212 kB
Cached:         280448 kB
SwapCached:        704 kB
Active:          32500 kB
Inactive:       283256 kB
HighTotal:      131008 kB
HighFree:        55524 kB
LowTotal:       903652 kB
LowFree:        634428 kB
SwapTotal:     2097892 kB
SwapFree:      2096316 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5128 kB
Slab:            23192 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:32:36 (client local time) WITH STATUS 0 IN 1201.62 SECONDS
stats: 24205 7 1201.62 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 19530/460151	Time: 19.1651/86400
Decision: 19530/460151	Time: 36.5584/86400
Decision: 19530/460151	Time: 50.8173/86400
Decision: 19531/460151	Time: 70.7752/86400
Decision: 19531/460151	Time: 87.2737/86400
Decision: 19536/460151	Time: 109.578/86400
Decision: 19555/460151	Time: 135.223/86400
Decision: 19555/460151	Time: 155.12/86400
Decision: 19808/460151	Time: 184.061/86400
Decision: 19808/460151	Time: 204.381/86400
Decision: 19811/460151	Time: 232.614/86400
Decision: 19823/460151	Time: 271.824/86400
Decision: 19829/460151	Time: 310.11/86400
Decision: 19830/460151	Time: 335.108/86400
Decision: 19836/460151	Time: 363.109/86400
Decision: 19836/460151	Time: 383.754/86400
Decision: 19836/460151	Time: 405.494/86400
Decision: 19837/460151	Time: 433.857/86400
Decision: 19840/460151	Time: 463.487/86400
Decision: 19843/460151	Time: 486.126/86400
Decision: 19843/460151	Time: 504.846/86400
Decision: 19843/460151	Time: 525.416/86400
Decision: 19843/460151	Time: 548.639/86400
Decision: 19875/460151	Time: 597.254/86400
Decision: 19875/460151	Time: 619.705/86400
Decision: 19875/460151	Time: 643.684/86400
Decision: 19878/460151	Time: 665.936/86400
Decision: 19878/460151	Time: 687.095/86400
Decision: 21052/460151	Time: 709.879/86400
Decision: 21052/460151	Time: 728.623/86400
Decision: 21052/460151	Time: 749.686/86400
Decision: 21170/460151	Time: 771.414/86400
Decision: 21170/460151	Time: 791.052/86400
Decision: 21170/460151	Time: 807.692/86400
Decision: 21170/460151	Time: 823.126/86400
Decision: 21464/460151	Time: 851.197/86400
Decision: 21464/460151	Time: 873.875/86400
Decision: 21464/460151	Time: 897.042/86400
Decision: 23036/460151	Time: 912.841/86400
Decision: 23036/460151	Time: 934.992/86400
Decision: 23039/460151	Time: 981.158/86400
Decision: 23039/460151	Time: 1001.18/86400
Decision: 23039/460151	Time: 1021.27/86400
Decision: 23039/460151	Time: 1048.51/86400
Decision: 23039/460151	Time: 1071.15/86400
Decision: 25608/460151	Time: 1123.52/86400
Decision: 25608/460151	Time: 1152.41/86400s UNKNOWN
#### 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.68 0.88 0.88 2/54 18452
Raw data (stat): 18452 (runsolver) R 18451 3394 3393 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864342824 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0011 s]
Raw data (loadavg): 0.73 0.88 0.88 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 5283 0 0 0 984 14 0 0 25 0 1 0 864342824 17457152 3352 4294967295 134512640 135726644 3221224560 3221221712 134572992 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4262 3352 300 300 0 3962 0
vsize: 17048
[startup+20.001 s]
Raw data (loadavg): 0.77 0.88 0.88 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 10394 0 0 0 1971 27 0 0 25 0 1 0 864342824 33230848 6439 4294967295 134512640 135726644 3221224560 3221221840 134556537 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8113 6439 300 300 0 7813 0
vsize: 32452
[startup+30.0019 s]
Raw data (loadavg): 0.80 0.89 0.88 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 20259 0 0 0 2950 49 0 0 25 0 1 0 864342824 63295488 12261 4294967295 134512640 135726644 3221224560 3221221504 134541148 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15453 12261 300 300 0 15153 0
vsize: 61812
[startup+40.0027 s]
Raw data (loadavg): 0.83 0.89 0.89 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 43146 0 0 0 3897 103 0 0 25 0 1 0 864342824 164216832 27028 4294967295 134512640 135726644 3221224560 3221218720 134784885 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40092 27032 300 300 0 39792 0
vsize: 160368
[startup+50.0036 s]
Raw data (loadavg): 0.86 0.89 0.89 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 56115 0 0 0 4866 134 0 0 25 0 1 0 864342824 169713664 32802 4294967295 134512640 135726644 3221224560 3221223056 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41434 32802 300 300 0 41134 0
vsize: 165736
[startup+60.0038 s]
Raw data (loadavg): 0.88 0.90 0.89 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 56952 0 0 0 5863 137 0 0 25 0 1 0 864342824 173559808 33606 4294967295 134512640 135726644 3221224560 3221223152 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42373 33606 300 300 0 42073 0
vsize: 169492
[startup+70.0033 s]
Raw data (loadavg): 0.90 0.90 0.89 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 58174 0 0 0 6859 140 0 0 25 0 1 0 864342824 175124480 33929 4294967295 134512640 135726644 3221224560 3221223056 134744334 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42755 33929 300 300 0 42455 0
vsize: 171020
[startup+80.0038 s]
Raw data (loadavg): 0.91 0.90 0.89 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 58952 0 0 0 7857 143 0 0 25 0 1 0 864342824 178929664 34707 4294967295 134512640 135726644 3221224560 3221223180 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43684 34707 300 300 0 43384 0
vsize: 174736
[startup+90.0041 s]
Raw data (loadavg): 0.93 0.91 0.89 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 60268 0 0 0 8853 147 0 0 25 0 1 0 864342824 180867072 35091 4294967295 134512640 135726644 3221224560 3221223056 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44157 35091 300 300 0 43857 0
vsize: 176628
[startup+100.005 s]
Raw data (loadavg): 0.94 0.91 0.89 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 61398 0 0 0 9850 150 0 0 25 0 1 0 864342824 181944320 35289 4294967295 134512640 135726644 3221224560 3221223056 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44420 35289 300 300 0 44120 0
vsize: 177680
[startup+110.005 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 61667 0 0 0 10848 153 0 0 25 0 1 0 864342824 183160832 35558 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44717 35558 300 300 0 44417 0
vsize: 178868
[startup+120.006 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 62728 0 0 0 11844 156 0 0 25 0 1 0 864342824 183836672 35720 4294967295 134512640 135726644 3221224560 3221222896 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44882 35720 300 300 0 44582 0
vsize: 179528
[startup+130.006 s]
Raw data (loadavg): 0.96 0.92 0.89 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 62812 0 0 0 12844 157 0 0 25 0 1 0 864342824 184270848 35804 4294967295 134512640 135726644 3221224560 3221222880 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44988 35804 300 300 0 44688 0
vsize: 179952
[startup+140.007 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 63895 0 0 0 13840 161 0 0 25 0 1 0 864342824 185413632 35988 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45267 35988 300 300 0 44967 0
vsize: 181068
[startup+150.007 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 64172 0 0 0 14838 163 0 0 25 0 1 0 864342824 186896384 36232 4294967295 134512640 135726644 3221224560 3221223056 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45629 36232 300 300 0 45329 0
vsize: 182516
[startup+160.007 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 65177 0 0 0 15825 166 0 0 25 0 1 0 864342824 187162624 36305 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45694 36305 300 300 0 45394 0
vsize: 182776
[startup+170.007 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 65455 0 0 0 16824 167 0 0 25 0 1 0 864342824 188641280 36583 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46055 36583 300 300 0 45755 0
vsize: 184220
[startup+180.008 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 65526 0 0 0 17822 169 0 0 25 0 1 0 864342824 189046784 36654 4294967295 134512640 135726644 3221224560 3221223072 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46154 36654 300 300 0 45854 0
vsize: 184616
[startup+190.008 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 66619 0 0 0 18819 172 0 0 25 0 1 0 864342824 189710336 36782 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46316 36782 300 300 0 46016 0
vsize: 185264
[startup+200.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 67034 0 0 0 19818 174 0 0 25 0 1 0 864342824 190894080 36966 4294967295 134512640 135726644 3221224560 3221223072 134742470 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46605 36966 300 300 0 46305 0
vsize: 186420
[startup+210.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 68024 0 0 0 20816 177 0 0 25 0 1 0 864342824 191164416 37057 4294967295 134512640 135726644 3221224560 3221223056 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46671 37057 300 300 0 46371 0
vsize: 186684
[startup+220.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 68298 0 0 0 21814 178 0 0 25 0 1 0 864342824 192225280 37199 4294967295 134512640 135726644 3221224560 3221223152 134760180 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46930 37199 300 300 0 46630 0
vsize: 187720
[startup+230.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 69349 0 0 0 22812 181 0 0 25 0 1 0 864342824 196571136 38217 4294967295 134512640 135726644 3221224560 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47991 38217 300 300 0 47691 0
vsize: 191964
[startup+240.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 69494 0 0 0 23811 182 0 0 25 0 1 0 864342824 193282048 37364 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47188 37364 300 300 0 46888 0
vsize: 188752
[startup+250.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 70499 0 0 0 24807 186 0 0 25 0 1 0 864342824 197554176 38369 4294967295 134512640 135726644 3221224560 3221222696 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48231 38369 300 300 0 47931 0
vsize: 192924
[startup+260.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 70644 0 0 0 25806 187 0 0 25 0 1 0 864342824 194273280 37582 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47430 37582 300 300 0 47130 0
vsize: 189720
[startup+270.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 70785 0 0 0 26805 188 0 0 25 0 1 0 864342824 194674688 37690 4294967295 134512640 135726644 3221224560 3221223152 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47528 37690 300 300 0 47228 0
vsize: 190112
[startup+280.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 71708 0 0 0 27802 192 0 0 25 0 1 0 864342824 194674688 37714 4294967295 134512640 135726644 3221224560 3221223216 134731190 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47528 37714 300 300 0 47228 0
vsize: 190112
[startup+290.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 71787 0 0 0 28801 193 0 0 25 0 1 0 864342824 195006464 37793 4294967295 134512640 135726644 3221224560 3221223216 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47609 37793 300 300 0 47309 0
vsize: 190436
[startup+300.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 71917 0 0 0 29800 194 0 0 25 0 1 0 864342824 195698688 37923 4294967295 134512640 135726644 3221224560 3221223056 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47778 37923 300 300 0 47478 0
vsize: 191112
[startup+310.014 s]
Raw data (loadavg): 1.07 0.96 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 71958 0 0 0 30798 196 0 0 25 0 1 0 864342824 195969024 37964 4294967295 134512640 135726644 3221224560 3221223056 134743889 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47844 37964 300 300 0 47544 0
vsize: 191376
[startup+320.013 s]
Raw data (loadavg): 1.06 0.96 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 72859 0 0 0 31795 200 0 0 25 0 1 0 864342824 195969024 37966 4294967295 134512640 135726644 3221224560 3221223152 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47844 37966 300 300 0 47544 0
vsize: 191376
[startup+330.014 s]
Raw data (loadavg): 1.05 0.96 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 72948 0 0 0 32794 201 0 0 25 0 1 0 864342824 196231168 37989 4294967295 134512640 135726644 3221224560 3221223056 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47908 37989 300 300 0 47608 0
vsize: 191632
[startup+340.014 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 72980 0 0 0 33792 203 0 0 25 0 1 0 864342824 196366336 38021 4294967295 134512640 135726644 3221224560 3221223216 134745082 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47941 38021 300 300 0 47641 0
vsize: 191764
[startup+350.015 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 73020 0 0 0 34792 203 0 0 25 0 1 0 864342824 196366336 38061 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47941 38061 300 300 0 47641 0
vsize: 191764
[startup+360.015 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 73945 0 0 0 35789 206 0 0 25 0 1 0 864342824 196366336 38087 4294967295 134512640 135726644 3221224560 3221223152 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47941 38087 300 300 0 47641 0
vsize: 191764
[startup+370.016 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 74063 0 0 0 36788 207 0 0 25 0 1 0 864342824 196898816 38172 4294967295 134512640 135726644 3221224560 3221223056 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48071 38172 300 300 0 47771 0
vsize: 192284
[startup+380.016 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 74076 0 0 0 37787 209 0 0 25 0 1 0 864342824 196898816 38185 4294967295 134512640 135726644 3221224560 3221222976 134737974 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48071 38185 300 300 0 47771 0
vsize: 192284
[startup+390.016 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 75016 0 0 0 38783 212 0 0 25 0 1 0 864342824 197033984 38226 4294967295 134512640 135726644 3221224560 3221223184 134744603 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48104 38226 300 300 0 47804 0
vsize: 192416
[startup+400.017 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 75026 0 0 0 39782 213 0 0 25 0 1 0 864342824 197033984 38236 4294967295 134512640 135726644 3221224560 3221223216 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48104 38236 300 300 0 47804 0
vsize: 192416
[startup+410.017 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 75932 0 0 0 40780 216 0 0 25 0 1 0 864342824 197033984 38243 4294967295 134512640 135726644 3221224560 3221223056 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48104 38243 300 300 0 47804 0
vsize: 192416
[startup+420.017 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 76049 0 0 0 41779 217 0 0 25 0 1 0 864342824 197296128 38294 4294967295 134512640 135726644 3221224560 3221223216 134731265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48168 38294 300 300 0 47868 0
vsize: 192672
[startup+430.018 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 76969 0 0 0 42777 220 0 0 25 0 1 0 864342824 197296128 38315 4294967295 134512640 135726644 3221224560 3221222880 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48168 38315 300 300 0 47868 0
vsize: 192672
[startup+440.018 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 76982 0 0 0 43775 221 0 0 25 0 1 0 864342824 197296128 38328 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48168 38328 300 300 0 47868 0
vsize: 192672
[startup+450.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 77024 0 0 0 44775 222 0 0 25 0 1 0 864342824 197562368 38370 4294967295 134512640 135726644 3221224560 3221223072 134742268 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48233 38370 300 300 0 47933 0
vsize: 192932
[startup+460.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 77925 0 0 0 45772 225 0 0 25 0 1 0 864342824 197562368 38372 4294967295 134512640 135726644 3221224560 3221223216 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48233 38372 300 300 0 47933 0
vsize: 192932
[startup+470.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 77934 0 0 0 46771 226 0 0 25 0 1 0 864342824 197562368 38381 4294967295 134512640 135726644 3221224560 3221223216 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48233 38381 300 300 0 47933 0
vsize: 192932
[startup+480.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 78982 0 0 0 47768 229 0 0 25 0 1 0 864342824 198225920 38497 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48395 38497 300 300 0 48095 0
vsize: 193580
[startup+490.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 79005 0 0 0 48767 230 0 0 25 0 1 0 864342824 198225920 38520 4294967295 134512640 135726644 3221224560 3221223216 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48395 38520 300 300 0 48095 0
vsize: 193580
[startup+500.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 79234 0 0 0 49766 232 0 0 25 0 1 0 864342824 198885376 38650 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48556 38650 300 300 0 48256 0
vsize: 194224
[startup+510.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 80229 0 0 0 50763 235 0 0 25 0 1 0 864342824 199417856 38746 4294967295 134512640 135726644 3221224560 3221223216 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48686 38746 300 300 0 48386 0
vsize: 194744
[startup+520.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 80242 0 0 0 51762 236 0 0 25 0 1 0 864342824 199417856 38759 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48686 38759 300 300 0 48386 0
vsize: 194744
[startup+530.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 80253 0 0 0 52761 238 0 0 25 0 1 0 864342824 199417856 38770 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48686 38770 300 300 0 48386 0
vsize: 194744
[startup+540.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 81164 0 0 0 53758 241 0 0 25 0 1 0 864342824 199417856 38782 4294967295 134512640 135726644 3221224560 3221223056 134743864 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48686 38782 300 300 0 48386 0
vsize: 194744
[startup+550.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 82075 0 0 0 54755 243 0 0 25 0 1 0 864342824 199417856 38794 4294967295 134512640 135726644 3221224560 3221223116 135298017 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48686 38794 300 300 0 48386 0
vsize: 194744
[startup+560.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 82078 0 0 0 55754 244 0 0 25 0 1 0 864342824 199417856 38797 4294967295 134512640 135726644 3221224560 3221223180 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48686 38797 300 300 0 48386 0
vsize: 194744
[startup+570.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 82087 0 0 0 56754 245 0 0 25 0 1 0 864342824 199417856 38806 4294967295 134512640 135726644 3221224560 3221223072 134742274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48686 38806 300 300 0 48386 0
vsize: 194744
[startup+580.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 82999 0 0 0 57751 248 0 0 25 0 1 0 864342824 199417856 38819 4294967295 134512640 135726644 3221224560 3221223216 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48686 38819 300 300 0 48386 0
vsize: 194744
[startup+590.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 83112 0 0 0 58750 249 0 0 25 0 1 0 864342824 199680000 38866 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48750 38866 300 300 0 48450 0
vsize: 195000
[startup+600.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 84017 0 0 0 59747 252 0 0 25 0 1 0 864342824 199680000 38872 4294967295 134512640 135726644 3221224560 3221223216 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48750 38872 300 300 0 48450 0
vsize: 195000
[startup+610.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 84131 0 0 0 60747 252 0 0 25 0 1 0 864342824 200077312 38953 4294967295 134512640 135726644 3221224560 3221223152 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48847 38953 300 300 0 48547 0
vsize: 195388
[startup+620.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 84234 0 0 0 61746 254 0 0 25 0 1 0 864342824 200474624 39023 4294967295 134512640 135726644 3221224560 3221223056 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48944 39023 300 300 0 48644 0
vsize: 195776
[startup+630.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 84261 0 0 0 62745 255 0 0 25 0 1 0 864342824 200474624 39050 4294967295 134512640 135726644 3221224560 3221223056 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48944 39050 300 300 0 48644 0
vsize: 195776
[startup+640.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 84276 0 0 0 63744 256 0 0 25 0 1 0 864342824 200474624 39065 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48944 39065 300 300 0 48644 0
vsize: 195776
[startup+650.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 85225 0 0 0 64741 259 0 0 25 0 1 0 864342824 200605696 39082 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48976 39082 300 300 0 48676 0
vsize: 195904
[startup+660.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 85258 0 0 0 65740 261 0 0 25 0 1 0 864342824 200740864 39115 4294967295 134512640 135726644 3221224560 3221223180 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49009 39115 300 300 0 48709 0
vsize: 196036
[startup+670.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 86172 0 0 0 66736 264 0 0 25 0 1 0 864342824 200904704 39130 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49049 39130 300 300 0 48749 0
vsize: 196196
[startup+680.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 86237 0 0 0 67735 265 0 0 25 0 1 0 864342824 201068544 39195 4294967295 134512640 135726644 3221224560 3221223056 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49089 39195 300 300 0 48789 0
vsize: 196356
[startup+690.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 87144 0 0 0 68733 268 0 0 25 0 1 0 864342824 201068544 39203 4294967295 134512640 135726644 3221224560 3221223180 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49089 39203 300 300 0 48789 0
vsize: 196356
[startup+700.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 87240 0 0 0 69731 270 0 0 25 0 1 0 864342824 201465856 39266 4294967295 134512640 135726644 3221224560 3221223216 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49186 39266 300 300 0 48886 0
vsize: 196744
[startup+710.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 87282 0 0 0 70731 270 0 0 25 0 1 0 864342824 201662464 39308 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49234 39308 300 300 0 48934 0
vsize: 196936
[startup+720.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 88208 0 0 0 71728 273 0 0 25 0 1 0 864342824 201834496 39335 4294967295 134512640 135726644 3221224560 3221222880 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49276 39335 300 300 0 48976 0
vsize: 197104
[startup+730.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 88211 0 0 0 72727 275 0 0 25 0 1 0 864342824 201834496 39338 4294967295 134512640 135726644 3221224560 3221223216 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49276 39338 300 300 0 48976 0
vsize: 197104
[startup+740.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 89132 0 0 0 73724 278 0 0 25 0 1 0 864342824 201834496 39360 4294967295 134512640 135726644 3221224560 3221223056 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49276 39360 300 300 0 48976 0
vsize: 197104
[startup+750.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 89163 0 0 0 74723 279 0 0 25 0 1 0 864342824 201969664 39391 4294967295 134512640 135726644 3221224560 3221222880 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49309 39391 300 300 0 49009 0
vsize: 197236
[startup+760.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 90116 0 0 0 75720 282 0 0 25 0 1 0 864342824 202240000 39445 4294967295 134512640 135726644 3221224560 3221223152 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49375 39445 300 300 0 49075 0
vsize: 197500
[startup+770.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 90123 0 0 0 76719 283 0 0 25 0 1 0 864342824 202371072 39452 4294967295 134512640 135726644 3221224560 3221223248 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49407 39452 300 300 0 49107 0
vsize: 197628
[startup+780.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 91034 0 0 0 77717 286 0 0 25 0 1 0 864342824 202371072 39464 4294967295 134512640 135726644 3221224560 3221223216 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49407 39464 300 300 0 49107 0
vsize: 197628
[startup+790.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 91055 0 0 0 78717 286 0 0 25 0 1 0 864342824 202371072 39485 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49407 39485 300 300 0 49107 0
vsize: 197628
[startup+800.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 91985 0 0 0 79713 290 0 0 25 0 1 0 864342824 202506240 39516 4294967295 134512640 135726644 3221224560 3221222888 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49440 39516 300 300 0 49140 0
vsize: 197760
[startup+810.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 92005 0 0 0 80713 290 0 0 25 0 1 0 864342824 202641408 39536 4294967295 134512640 135726644 3221224560 3221222880 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49473 39536 300 300 0 49173 0
vsize: 197892
[startup+820.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 92911 0 0 0 81710 294 0 0 25 0 1 0 864342824 202780672 39543 4294967295 134512640 135726644 3221224560 3221223212 134744472 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49507 39543 300 300 0 49207 0
vsize: 198028
[startup+830.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 92949 0 0 0 82709 295 0 0 25 0 1 0 864342824 202928128 39581 4294967295 134512640 135726644 3221224560 3221223180 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49543 39581 300 300 0 49243 0
vsize: 198172
[startup+840.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 93856 0 0 0 83705 299 0 0 25 0 1 0 864342824 202928128 39589 4294967295 134512640 135726644 3221224560 3221222880 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49543 39589 300 300 0 49243 0
vsize: 198172
[startup+850.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 93862 0 0 0 84704 300 0 0 25 0 1 0 864342824 202928128 39595 4294967295 134512640 135726644 3221224560 3221223180 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49543 39595 300 300 0 49243 0
vsize: 198172
[startup+860.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 94763 0 0 0 85702 302 0 0 25 0 1 0 864342824 202928128 39597 4294967295 134512640 135726644 3221224560 3221223056 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49543 39597 300 300 0 49243 0
vsize: 198172
[startup+870.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 95720 0 0 0 86700 304 0 0 25 0 1 0 864342824 203059200 39622 4294967295 134512640 135726644 3221224560 3221223056 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49575 39622 300 300 0 49275 0
vsize: 198300
[startup+880.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 95730 0 0 0 87699 305 0 0 25 0 1 0 864342824 203059200 39632 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49575 39632 300 300 0 49275 0
vsize: 198300
[startup+890.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 95763 0 0 0 88698 307 0 0 25 0 1 0 864342824 203354112 39665 4294967295 134512640 135726644 3221224560 3221223056 134744372 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49647 39665 300 300 0 49347 0
vsize: 198588
[startup+900.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 96676 0 0 0 89696 309 0 0 25 0 1 0 864342824 203354112 39679 4294967295 134512640 135726644 3221224560 3221222880 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49647 39679 300 300 0 49347 0
vsize: 198588
[startup+910.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 96731 0 0 0 90696 310 0 0 25 0 1 0 864342824 203485184 39701 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49679 39701 300 300 0 49379 0
vsize: 198716
[startup+920.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 97714 0 0 0 91693 313 0 0 25 0 1 0 864342824 203751424 39752 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49744 39752 300 300 0 49444 0
vsize: 198976
[startup+930.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 97716 0 0 0 92692 314 0 0 25 0 1 0 864342824 203751424 39754 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49744 39754 300 300 0 49444 0
vsize: 198976
[startup+940.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 97727 0 0 0 93692 314 0 0 25 0 1 0 864342824 203751424 39765 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49744 39765 300 300 0 49444 0
vsize: 198976
[startup+950.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 98635 0 0 0 94689 317 0 0 25 0 1 0 864342824 203751424 39774 4294967295 134512640 135726644 3221224560 3221223216 134731253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49744 39774 300 300 0 49444 0
vsize: 198976
[startup+960.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 99545 0 0 0 95686 321 0 0 25 0 1 0 864342824 203862016 39785 4294967295 134512640 135726644 3221224560 3221223180 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49771 39785 300 300 0 49471 0
vsize: 199084
[startup+970.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 99559 0 0 0 96685 322 0 0 25 0 1 0 864342824 203862016 39799 4294967295 134512640 135726644 3221224560 3221223180 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49771 39799 300 300 0 49471 0
vsize: 199084
[startup+980.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 100478 0 0 0 97682 325 0 0 25 0 1 0 864342824 207679488 40718 4294967295 134512640 135726644 3221224560 3221222712 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50703 40718 300 300 0 50403 0
vsize: 202812
[startup+990.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 100479 0 0 0 98681 326 0 0 25 0 1 0 864342824 203997184 39820 4294967295 134512640 135726644 3221224560 3221223056 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49804 39820 300 300 0 49504 0
vsize: 199216
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 100482 0 0 0 99680 327 0 0 25 0 1 0 864342824 203997184 39823 4294967295 134512640 135726644 3221224560 3221223056 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49804 39823 300 300 0 49504 0
vsize: 199216
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 100524 0 0 0 100679 328 0 0 25 0 1 0 864342824 204263424 39865 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49869 39865 300 300 0 49569 0
vsize: 199476
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 100569 0 0 0 101679 329 0 0 25 0 1 0 864342824 204435456 39910 4294967295 134512640 135726644 3221224560 3221223180 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49911 39910 300 300 0 49611 0
vsize: 199644
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 101517 0 0 0 102676 332 0 0 25 0 1 0 864342824 204566528 39926 4294967295 134512640 135726644 3221224560 3221223204 134744476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49943 39926 300 300 0 49643 0
vsize: 199772
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 101529 0 0 0 103675 333 0 0 25 0 1 0 864342824 204566528 39938 4294967295 134512640 135726644 3221224560 3221223056 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49943 39938 300 300 0 49643 0
vsize: 199772
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 102444 0 0 0 104673 335 0 0 25 0 1 0 864342824 204566528 39954 4294967295 134512640 135726644 3221224560 3221223056 134744369 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49943 39954 300 300 0 49643 0
vsize: 199772
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 102466 0 0 0 105672 336 0 0 25 0 1 0 864342824 204566528 39976 4294967295 134512640 135726644 3221224560 3221223056 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49943 39976 300 300 0 49643 0
vsize: 199772
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 103394 0 0 0 106669 339 0 0 25 0 1 0 864342824 204566528 40005 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49943 40005 300 300 0 49643 0
vsize: 199772
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 103413 0 0 0 107669 340 0 0 25 0 1 0 864342824 204566528 40024 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49943 40024 300 300 0 49643 0
vsize: 199772
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 103424 0 0 0 108668 341 0 0 25 0 1 0 864342824 204566528 40035 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49943 40035 300 300 0 49643 0
vsize: 199772
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 104369 0 0 0 109666 344 0 0 25 0 1 0 864342824 204763136 40081 4294967295 134512640 135726644 3221224560 3221223152 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49991 40081 300 300 0 49691 0
vsize: 199964
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 104404 0 0 0 110665 344 0 0 25 0 1 0 864342824 204763136 40116 4294967295 134512640 135726644 3221224560 3221223168 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49991 40116 300 300 0 49691 0
vsize: 199964
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 105326 0 0 0 111662 347 0 0 25 0 1 0 864342824 204959744 40139 4294967295 134512640 135726644 3221224560 3221223248 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50039 40139 300 300 0 49739 0
vsize: 200156
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 105361 0 0 0 112661 349 0 0 25 0 1 0 864342824 204959744 40174 4294967295 134512640 135726644 3221224560 3221223180 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50039 40174 300 300 0 49739 0
vsize: 200156
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 105387 0 0 0 113661 349 0 0 25 0 1 0 864342824 204959744 40200 4294967295 134512640 135726644 3221224560 3221223216 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50039 40200 300 300 0 49739 0
vsize: 200156
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 105442 0 0 0 114660 350 0 0 25 0 1 0 864342824 205090816 40222 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50071 40222 300 300 0 49771 0
vsize: 200284
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 105451 0 0 0 115660 351 0 0 25 0 1 0 864342824 205090816 40231 4294967295 134512640 135726644 3221224560 3221223180 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50071 40231 300 300 0 49771 0
vsize: 200284
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 106396 0 0 0 116657 353 0 0 25 0 1 0 864342824 205221888 40244 4294967295 134512640 135726644 3221224560 3221223216 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50103 40244 300 300 0 49803 0
vsize: 200412
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 106490 0 0 0 117657 354 0 0 25 0 1 0 864342824 205484032 40272 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50167 40272 300 300 0 49867 0
vsize: 200668
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 106528 0 0 0 118657 355 0 0 25 0 1 0 864342824 205615104 40277 4294967295 134512640 135726644 3221224560 3221223168 134741284 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50199 40277 300 300 0 49899 0
vsize: 200796
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18452
Raw data (stat): 18452 (pb2sat) R 18451 3394 3393 0 -1 0 107536 0 0 0 119654 358 0 0 25 0 1 0 864342824 206176256 40353 4294967295 134512640 135726644 3221224560 3221223056 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50336 40353 300 300 0 50036 0
vsize: 201344
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.55 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 18452
Raw data (stat): 18452 (pb2sat) Z 18451 3394 3393 0 -1 12 107537 0 0 0 119795 366 0 0 25 0 1 0 864342824 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.55
CPU time (s): 1201.62
CPU user time (s): 1197.96
CPU system time (s): 3.66344
CPU usage (%): 100.006
Max. virtual memory (Kb): 202812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####