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/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rgn.opb
MD5SUM	1400a638b0a1a6fa8602672cb986ba1d
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	67200
Optimality of the best value was proved	NO
Number of terms in the objective function	920
Biggest coefficient in the objective function	24576
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	1986400
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	3200000000
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	29101875011
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1227.77
Number of variables	1020
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	100
Minimum length of a constraint	1
Maximum length of a constraint	103
Trace number 35655

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-28 13:23:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24854 boxname=wulflinc28 idbench=1326 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1400a638b0a1a6fa8602672cb986ba1d  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-rgn.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-rgn.opb
IDLAUNCH: 24854
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        693464 kB
Buffers:         40516 kB
Cached:         259196 kB
SwapCached:        780 kB
Active:          27344 kB
Inactive:       292472 kB
HighTotal:      131008 kB
HighFree:          868 kB
LowTotal:       903652 kB
LowFree:        692596 kB
SwapTotal:     2097640 kB
SwapFree:      2096164 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5460 kB
Slab:            15540 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:44:00 (client local time) WITH STATUS 0 IN 1201.51 SECONDS
stats: 24854 7 1201.51 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 5726/529643	Time: 120.33/86400
Decision: 5726/529643	Time: 130.93/86400
Decision: 5733/529643	Time: 157.792/86400
Decision: 5733/529643	Time: 169.925/86400
Decision: 5736/529643	Time: 186.002/86400
Decision: 5736/529643	Time: 202.326/86400
Decision: 5736/529643	Time: 215.269/86400
Decision: 5736/529643	Time: 225.567/86400
Decision: 5736/529643	Time: 237.228/86400
Decision: 5736/529643	Time: 250.249/86400
Decision: 5736/529643	Time: 264.295/86400
Decision: 5736/529643	Time: 275.106/86400
Decision: 5753/529643	Time: 311.45/86400
Decision: 6033/529643	Time: 367.928/86400
Decision: 6033/529643	Time: 380.739/86400
Decision: 6033/529643	Time: 396.589/86400
Decision: 6033/529643	Time: 408.321/86400
Decision: 6041/529643	Time: 430.799/86400
Decision: 6041/529643	Time: 442.369/86400
Decision: 6041/529643	Time: 455.268/86400
Decision: 6055/529643	Time: 484.14/86400
Decision: 6055/529643	Time: 499.831/86400
Decision: 6055/529643	Time: 515.928/86400
Decision: 6061/529643	Time: 541.706/86400
Decision: 6061/529643	Time: 556.179/86400
Decision: 6077/529643	Time: 602.744/86400
Decision: 6077/529643	Time: 617.734/86400
Decision: 6157/529643	Time: 639.136/86400
Decision: 6164/529643	Time: 666.754/86400
Decision: 6164/529643	Time: 680.947/86400
Decision: 6164/529643	Time: 701.882/86400
Decision: 6170/529643	Time: 726.757/86400
Decision: 6264/529643	Time: 770.795/86400
Decision: 6353/529643	Time: 790.191/86400
Decision: 6478/529643	Time: 823.302/86400
Decision: 6478/529643	Time: 843.157/86400
Decision: 6481/529643	Time: 880.919/86400
Decision: 6481/529643	Time: 899.456/86400
Decision: 6481/529643	Time: 916.194/86400
Decision: 6481/529643	Time: 933.055/86400
Decision: 6481/529643	Time: 953.895/86400
Decision: 6543/529643	Time: 1008.74/86400
Decision: 6543/529643	Time: 1027.45/86400
Decision: 6543/529643	Time: 1045.56/86400
Decision: 6602/529643	Time: 1120.48/86400
Decision: 6602/529643	Time: 1138.96/86400
Decision: 6671/529643	Time: 1176.57/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.83 0.92 0.90 2/54 7593
Raw data (stat): 7593 (runsolver) R 7592 24821 24820 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865143551 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0014 s]
Raw data (loadavg): 0.86 0.92 0.90 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 30533 0 0 0 936 63 0 0 25 0 1 0 865143551 88526848 19382 4294967295 134512640 135726644 3221224592 3221202164 135297952 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21613 19382 300 300 0 21313 0
vsize: 86452
[startup+20.0017 s]
Raw data (loadavg): 0.88 0.92 0.90 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 56413 0 0 0 1879 119 0 0 25 0 1 0 865143551 155594752 34261 4294967295 134512640 135726644 3221224592 3221209952 134607675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37987 34261 300 300 0 37687 0
vsize: 151948
[startup+30.0028 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 76645 0 0 0 2839 160 0 0 25 0 1 0 865143551 225501184 44202 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55054 44202 300 300 0 54754 0
vsize: 220216
[startup+40.0035 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 76646 0 0 0 3838 161 0 0 25 0 1 0 865143551 225501184 44203 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55054 44203 300 300 0 54754 0
vsize: 220216
[startup+50.0037 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 76649 0 0 0 4837 163 0 0 25 0 1 0 865143551 225501184 44206 4294967295 134512640 135726644 3221224592 3221223088 134744357 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55054 44206 300 300 0 54754 0
vsize: 220216
[startup+60.0038 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 76663 0 0 0 5836 163 0 0 25 0 1 0 865143551 225501184 44220 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55054 44220 300 300 0 54754 0
vsize: 220216
[startup+70.0045 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 76797 0 0 0 6836 164 0 0 25 0 1 0 865143551 226111488 44354 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55203 44354 300 300 0 54903 0
vsize: 220812
[startup+80.0058 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 76841 0 0 0 7835 165 0 0 25 0 1 0 865143551 226308096 44398 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55251 44398 300 300 0 54951 0
vsize: 221004
[startup+90.0064 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 77000 0 0 0 8834 166 0 0 25 0 1 0 865143551 227061760 44557 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55435 44557 300 300 0 55135 0
vsize: 221740
[startup+100.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 77067 0 0 0 9834 166 0 0 25 0 1 0 865143551 227454976 44624 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55531 44624 300 300 0 55231 0
vsize: 222124
[startup+110.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 77120 0 0 0 10832 168 0 0 25 0 1 0 865143551 227651584 44677 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55579 44677 300 300 0 55279 0
vsize: 222316
[startup+120.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 77167 0 0 0 11831 169 0 0 25 0 1 0 865143551 227848192 44724 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55627 44724 300 300 0 55327 0
vsize: 222508
[startup+130.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 77194 0 0 0 12831 170 0 0 25 0 1 0 865143551 227848192 44751 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55627 44751 300 300 0 55327 0
vsize: 222508
[startup+140.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 77212 0 0 0 13830 170 0 0 25 0 1 0 865143551 227848192 44769 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55627 44769 300 300 0 55327 0
vsize: 222508
[startup+150.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 78268 0 0 0 14827 173 0 0 25 0 1 0 865143551 227848192 44790 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55627 44790 300 300 0 55327 0
vsize: 222508
[startup+160.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 79430 0 0 0 15824 177 0 0 25 0 1 0 865143551 228372480 44917 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55755 44917 300 300 0 55455 0
vsize: 223020
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 79561 0 0 0 16823 178 0 0 25 0 1 0 865143551 229036032 45048 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55917 45048 300 300 0 55617 0
vsize: 223668
[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 79596 0 0 0 17823 178 0 0 25 0 1 0 865143551 229171200 45083 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55950 45083 300 300 0 55650 0
vsize: 223800
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 80644 0 0 0 18820 181 0 0 25 0 1 0 865143551 229171200 45096 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55950 45096 300 300 0 55650 0
vsize: 223800
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 81693 0 0 0 19817 184 0 0 25 0 1 0 865143551 229171200 45110 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55950 45110 300 300 0 55650 0
vsize: 223800
[startup+210.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 82745 0 0 0 20814 187 0 0 25 0 1 0 865143551 229171200 45127 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55950 45127 300 300 0 55650 0
vsize: 223800
[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 82760 0 0 0 21814 187 0 0 25 0 1 0 865143551 229171200 45142 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55950 45142 300 300 0 55650 0
vsize: 223800
[startup+230.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 83913 0 0 0 22812 190 0 0 25 0 1 0 865143551 229847040 45260 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56115 45260 300 300 0 55815 0
vsize: 224460
[startup+240.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 85043 0 0 0 23810 193 0 0 25 0 1 0 865143551 230252544 45355 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56214 45355 300 300 0 55914 0
vsize: 224856
[startup+250.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 86108 0 0 0 24804 196 0 0 25 0 1 0 865143551 230387712 45385 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56247 45385 300 300 0 55947 0
vsize: 224988
[startup+260.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 87232 0 0 0 25801 199 0 0 25 0 1 0 865143551 235032576 46509 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57381 46509 300 300 0 57081 0
vsize: 229524
[startup+270.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 87247 0 0 0 26800 200 0 0 25 0 1 0 865143551 230793216 45489 4294967295 134512640 135726644 3221224592 3221223200 135280414 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56346 45489 300 300 0 56046 0
vsize: 225384
[startup+280.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 88316 0 0 0 27798 203 0 0 25 0 1 0 865143551 230928384 45523 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56379 45523 300 300 0 56079 0
vsize: 225516
[startup+290.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 89357 0 0 0 28795 206 0 0 25 0 1 0 865143551 230928384 45529 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56379 45529 300 300 0 56079 0
vsize: 225516
[startup+300.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 90415 0 0 0 29792 209 0 0 25 0 1 0 865143551 230928384 45552 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56379 45552 300 300 0 56079 0
vsize: 225516
[startup+310.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 90431 0 0 0 30792 209 0 0 25 0 1 0 865143551 230928384 45568 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56379 45568 300 300 0 56079 0
vsize: 225516
[startup+320.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 90470 0 0 0 31792 210 0 0 25 0 1 0 865143551 231063552 45607 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56412 45607 300 300 0 56112 0
vsize: 225648
[startup+330.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 90490 0 0 0 32792 210 0 0 25 0 1 0 865143551 231063552 45627 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56412 45627 300 300 0 56112 0
vsize: 225648
[startup+340.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 91557 0 0 0 33790 213 0 0 25 0 1 0 865143551 231198720 45659 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56445 45659 300 300 0 56145 0
vsize: 225780
[startup+350.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 91571 0 0 0 34789 213 0 0 25 0 1 0 865143551 231198720 45673 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56445 45673 300 300 0 56145 0
vsize: 225780
[startup+360.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 91586 0 0 0 35789 214 0 0 25 0 1 0 865143551 231198720 45688 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56445 45688 300 300 0 56145 0
vsize: 225780
[startup+370.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 91624 0 0 0 36789 215 0 0 25 0 1 0 865143551 231333888 45726 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56478 45726 300 300 0 56178 0
vsize: 225912
[startup+380.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 91660 0 0 0 37789 215 0 0 25 0 1 0 865143551 231469056 45762 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56511 45762 300 300 0 56211 0
vsize: 226044
[startup+390.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 91703 0 0 0 38789 215 0 0 25 0 1 0 865143551 231604224 45805 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56544 45805 300 300 0 56244 0
vsize: 226176
[startup+400.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 92757 0 0 0 39786 218 0 0 25 0 1 0 865143551 231604224 45824 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56544 45824 300 300 0 56244 0
vsize: 226176
[startup+410.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 93809 0 0 0 40783 221 0 0 25 0 1 0 865143551 231604224 45841 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56544 45841 300 300 0 56244 0
vsize: 226176
[startup+420.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 94853 0 0 0 41781 224 0 0 25 0 1 0 865143551 231604224 45850 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56544 45850 300 300 0 56244 0
vsize: 226176
[startup+430.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 94857 0 0 0 42780 225 0 0 25 0 1 0 865143551 231604224 45854 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56544 45854 300 300 0 56244 0
vsize: 226176
[startup+440.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 95895 0 0 0 43777 228 0 0 25 0 1 0 865143551 231604224 45857 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56544 45857 300 300 0 56244 0
vsize: 226176
[startup+450.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 95941 0 0 0 44777 228 0 0 25 0 1 0 865143551 231874560 45903 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56610 45903 300 300 0 56310 0
vsize: 226440
[startup+460.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 96989 0 0 0 45774 231 0 0 25 0 1 0 865143551 231874560 45916 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56610 45916 300 300 0 56310 0
vsize: 226440
[startup+470.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 98039 0 0 0 46771 235 0 0 25 0 1 0 865143551 231874560 45931 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56610 45931 300 300 0 56310 0
vsize: 226440
[startup+480.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 99090 0 0 0 47770 237 0 0 25 0 1 0 865143551 231874560 45947 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56610 45947 300 300 0 56310 0
vsize: 226440
[startup+490.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 99102 0 0 0 48770 238 0 0 25 0 1 0 865143551 231874560 45959 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56610 45959 300 300 0 56310 0
vsize: 226440
[startup+500.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 99165 0 0 0 49769 238 0 0 25 0 1 0 865143551 232144896 46022 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56676 46022 300 300 0 56376 0
vsize: 226704
[startup+510.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 100292 0 0 0 50766 241 0 0 25 0 1 0 865143551 232550400 46114 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56775 46114 300 300 0 56475 0
vsize: 227100
[startup+520.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 100391 0 0 0 51766 242 0 0 25 0 1 0 865143551 233091072 46213 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56907 46213 300 300 0 56607 0
vsize: 227628
[startup+530.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 101438 0 0 0 52764 245 0 0 25 0 1 0 865143551 233091072 46225 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56907 46225 300 300 0 56607 0
vsize: 227628
[startup+540.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 102642 0 0 0 53761 247 0 0 25 0 1 0 865143551 234172416 46394 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57171 46394 300 300 0 56871 0
vsize: 228684
[startup+550.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 102660 0 0 0 54760 248 0 0 25 0 1 0 865143551 234172416 46412 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57171 46412 300 300 0 56871 0
vsize: 228684
[startup+560.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 102671 0 0 0 55760 249 0 0 25 0 1 0 865143551 234172416 46423 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57171 46423 300 300 0 56871 0
vsize: 228684
[startup+570.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 103714 0 0 0 56757 251 0 0 25 0 1 0 865143551 234172416 46431 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57171 46431 300 300 0 56871 0
vsize: 228684
[startup+580.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 104760 0 0 0 57755 254 0 0 25 0 1 0 865143551 234172416 46442 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57171 46442 300 300 0 56871 0
vsize: 228684
[startup+590.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 104784 0 0 0 58754 255 0 0 25 0 1 0 865143551 234172416 46466 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57171 46466 300 300 0 56871 0
vsize: 228684
[startup+600.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 104814 0 0 0 59754 256 0 0 25 0 1 0 865143551 234369024 46496 4294967295 134512640 135726644 3221224592 3221223188 134743856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57219 46496 300 300 0 56919 0
vsize: 228876
[startup+610.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 104961 0 0 0 60753 257 0 0 25 0 1 0 865143551 235089920 46643 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57395 46643 300 300 0 57095 0
vsize: 229580
[startup+620.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 104970 0 0 0 61752 257 0 0 25 0 1 0 865143551 235089920 46652 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57395 46652 300 300 0 57095 0
vsize: 229580
[startup+630.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 106027 0 0 0 62750 260 0 0 25 0 1 0 865143551 235225088 46674 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57428 46674 300 300 0 57128 0
vsize: 229712
[startup+640.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 107066 0 0 0 63748 262 0 0 25 0 1 0 865143551 239464448 47713 4294967295 134512640 135726644 3221224592 3221222784 134769157 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58463 47713 300 300 0 58163 0
vsize: 233852
[startup+650.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 107076 0 0 0 64747 263 0 0 25 0 1 0 865143551 235225088 46688 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57428 46688 300 300 0 57128 0
vsize: 229712
[startup+660.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 107086 0 0 0 65747 263 0 0 25 0 1 0 865143551 235225088 46698 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57428 46698 300 300 0 57128 0
vsize: 229712
[startup+670.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 108131 0 0 0 66744 266 0 0 25 0 1 0 865143551 235225088 46708 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57428 46708 300 300 0 57128 0
vsize: 229712
[startup+680.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 108143 0 0 0 67744 266 0 0 25 0 1 0 865143551 235225088 46720 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57428 46720 300 300 0 57128 0
vsize: 229712
[startup+690.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 109208 0 0 0 68741 269 0 0 25 0 1 0 865143551 239599616 47785 4294967295 134512640 135726644 3221224592 3221222736 134765518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58496 47785 300 300 0 58196 0
vsize: 233984
[startup+700.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 109228 0 0 0 69740 270 0 0 25 0 1 0 865143551 235360256 46770 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57461 46770 300 300 0 57161 0
vsize: 229844
[startup+710.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 110274 0 0 0 70737 273 0 0 25 0 1 0 865143551 235360256 46781 4294967295 134512640 135726644 3221224592 3221223232 134744671 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57461 46781 300 300 0 57161 0
vsize: 229844
[startup+720.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 110282 0 0 0 71737 273 0 0 25 0 1 0 865143551 235360256 46789 4294967295 134512640 135726644 3221224592 3221222840 135282525 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57461 46789 300 300 0 57161 0
vsize: 229844
[startup+730.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 111487 0 0 0 72734 277 0 0 25 0 1 0 865143551 236232704 46959 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57674 46959 300 300 0 57374 0
vsize: 230696
[startup+740.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 111489 0 0 0 73734 277 0 0 25 0 1 0 865143551 236232704 46961 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57674 46961 300 300 0 57374 0
vsize: 230696
[startup+750.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 112526 0 0 0 74731 280 0 0 25 0 1 0 865143551 240472064 47998 4294967295 134512640 135726644 3221224592 3221222760 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58709 47998 300 300 0 58409 0
vsize: 234836
[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 112528 0 0 0 75730 281 0 0 25 0 1 0 865143551 236232704 46965 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57674 46965 300 300 0 57374 0
vsize: 230696
[startup+770.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 112540 0 0 0 76729 282 0 0 25 0 1 0 865143551 236232704 46977 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57674 46977 300 300 0 57374 0
vsize: 230696
[startup+780.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 112559 0 0 0 77729 282 0 0 25 0 1 0 865143551 236367872 46996 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57707 46996 300 300 0 57407 0
vsize: 230828
[startup+790.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 112566 0 0 0 78729 283 0 0 25 0 1 0 865143551 236367872 47003 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57707 47003 300 300 0 57407 0
vsize: 230828
[startup+800.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 113604 0 0 0 79726 286 0 0 25 0 1 0 865143551 236367872 47006 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57707 47006 300 300 0 57407 0
vsize: 230828
[startup+810.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 113617 0 0 0 80726 286 0 0 25 0 1 0 865143551 236367872 47019 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57707 47019 300 300 0 57407 0
vsize: 230828
[startup+820.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 114659 0 0 0 81723 289 0 0 25 0 1 0 865143551 236367872 47026 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57707 47026 300 300 0 57407 0
vsize: 230828
[startup+830.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 114668 0 0 0 82723 289 0 0 25 0 1 0 865143551 236367872 47035 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57707 47035 300 300 0 57407 0
vsize: 230828
[startup+840.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 114680 0 0 0 83723 290 0 0 25 0 1 0 865143551 236367872 47047 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57707 47047 300 300 0 57407 0
vsize: 230828
[startup+850.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 115724 0 0 0 84719 293 0 0 25 0 1 0 865143551 236367872 47056 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57707 47056 300 300 0 57407 0
vsize: 230828
[startup+860.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 115734 0 0 0 85719 294 0 0 25 0 1 0 865143551 236367872 47066 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57707 47066 300 300 0 57407 0
vsize: 230828
[startup+870.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 116773 0 0 0 86716 297 0 0 25 0 1 0 865143551 236367872 47070 4294967295 134512640 135726644 3221224592 3221223180 134744135 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57707 47070 300 300 0 57407 0
vsize: 230828
[startup+880.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 116775 0 0 0 87716 298 0 0 25 0 1 0 865143551 236367872 47072 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57707 47072 300 300 0 57407 0
vsize: 230828
[startup+890.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 116777 0 0 0 88715 298 0 0 25 0 1 0 865143551 236367872 47074 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57707 47074 300 300 0 57407 0
vsize: 230828
[startup+900.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 116838 0 0 0 89715 299 0 0 25 0 1 0 865143551 236638208 47135 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57773 47135 300 300 0 57473 0
vsize: 231092
[startup+910.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 117919 0 0 0 90712 302 0 0 25 0 1 0 865143551 236769280 47148 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57805 47148 300 300 0 57505 0
vsize: 231220
[startup+920.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 117921 0 0 0 91712 302 0 0 25 0 1 0 865143551 236769280 47150 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57805 47150 300 300 0 57505 0
vsize: 231220
[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 118977 0 0 0 92710 305 0 0 25 0 1 0 865143551 236904448 47171 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47171 300 300 0 57538 0
vsize: 231352
[startup+940.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 120016 0 0 0 93707 308 0 0 25 0 1 0 865143551 236904448 47175 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47175 300 300 0 57538 0
vsize: 231352
[startup+950.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 120019 0 0 0 94706 308 0 0 25 0 1 0 865143551 236904448 47178 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47178 300 300 0 57538 0
vsize: 231352
[startup+960.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 121056 0 0 0 95704 311 0 0 25 0 1 0 865143551 236904448 47180 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47180 300 300 0 57538 0
vsize: 231352
[startup+970.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 121058 0 0 0 96703 312 0 0 25 0 1 0 865143551 236904448 47182 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47182 300 300 0 57538 0
vsize: 231352
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 122097 0 0 0 97700 315 0 0 25 0 1 0 865143551 236904448 47186 4294967295 134512640 135726644 3221224592 3221223088 134743928 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47186 300 300 0 57538 0
vsize: 231352
[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 122102 0 0 0 98699 316 0 0 25 0 1 0 865143551 236904448 47191 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47191 300 300 0 57538 0
vsize: 231352
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 122114 0 0 0 99699 317 0 0 25 0 1 0 865143551 236904448 47203 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47203 300 300 0 57538 0
vsize: 231352
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 122125 0 0 0 100698 317 0 0 25 0 1 0 865143551 236904448 47214 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47214 300 300 0 57538 0
vsize: 231352
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 122132 0 0 0 101698 318 0 0 25 0 1 0 865143551 236904448 47221 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47221 300 300 0 57538 0
vsize: 231352
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 122142 0 0 0 102697 319 0 0 25 0 1 0 865143551 236904448 47231 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47231 300 300 0 57538 0
vsize: 231352
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 123187 0 0 0 103694 322 0 0 25 0 1 0 865143551 236904448 47241 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47241 300 300 0 57538 0
vsize: 231352
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 124232 0 0 0 104692 325 0 0 25 0 1 0 865143551 241143808 48286 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58873 48286 300 300 0 58573 0
vsize: 235492
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 124239 0 0 0 105691 325 0 0 25 0 1 0 865143551 236904448 47258 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47258 300 300 0 57538 0
vsize: 231352
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 125284 0 0 0 106689 328 0 0 25 0 1 0 865143551 236904448 47268 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47268 300 300 0 57538 0
vsize: 231352
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 125294 0 0 0 107688 329 0 0 25 0 1 0 865143551 236904448 47278 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47278 300 300 0 57538 0
vsize: 231352
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 137593 0 0 0 108661 356 0 0 25 0 1 0 865143551 287236096 47288 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70126 47288 300 300 0 69826 0
vsize: 280504
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 137603 0 0 0 109661 357 0 0 25 0 1 0 865143551 287236096 47298 4294967295 134512640 135726644 3221224592 3221223248 134731192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70126 47298 300 300 0 69826 0
vsize: 280504
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 137614 0 0 0 110661 357 0 0 25 0 1 0 865143551 287236096 47309 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70126 47309 300 300 0 69826 0
vsize: 280504
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 137625 0 0 0 111660 358 0 0 25 0 1 0 865143551 287236096 47320 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70126 47320 300 300 0 69826 0
vsize: 280504
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 137632 0 0 0 112660 358 0 0 25 0 1 0 865143551 287236096 47327 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70126 47327 300 300 0 69826 0
vsize: 280504
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 137662 0 0 0 113660 358 0 0 25 0 1 0 865143551 287371264 47357 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70159 47357 300 300 0 69859 0
vsize: 280636
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 138711 0 0 0 114657 361 0 0 25 0 1 0 865143551 287371264 47371 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70159 47371 300 300 0 69859 0
vsize: 280636
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 139753 0 0 0 115654 364 0 0 25 0 1 0 865143551 291610624 48413 4294967295 134512640 135726644 3221224592 3221222784 134765403 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71194 48413 300 300 0 70894 0
vsize: 284776
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 139755 0 0 0 116654 365 0 0 25 0 1 0 865143551 287371264 47380 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70159 47380 300 300 0 69859 0
vsize: 280636
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 139757 0 0 0 117653 366 0 0 25 0 1 0 865143551 287371264 47382 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70159 47382 300 300 0 69859 0
vsize: 280636
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 139760 0 0 0 118652 366 0 0 25 0 1 0 865143551 287371264 47385 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70159 47385 300 300 0 69859 0
vsize: 280636
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7593
Raw data (stat): 7593 (pb2sat) R 7592 24821 24820 0 -1 0 140802 0 0 0 119650 369 0 0 25 0 1 0 865143551 287371264 47392 4294967295 134512640 135726644 3221224592 3221223088 134743864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70159 47392 300 300 0 69859 0
vsize: 280636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.37 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 7593
Raw data (stat): 7593 (pb2sat) Z 7592 24821 24820 0 -1 12 140803 0 0 0 119771 379 0 0 25 0 1 0 865143551 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.37
CPU time (s): 1201.51
CPU user time (s): 1197.72
CPU system time (s): 3.79642
CPU usage (%): 100.012
Max. virtual memory (Kb): 284776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####