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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rgn.opb
MD5SUM	4cc62e621e04c5a4e55edc3240fa3357
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	537600
Optimality of the best value was proved	NO
Number of terms in the objective function	1160
Biggest coefficient in the objective function	196608
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	15892320
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	25600000000
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	232836875088
Number of bits of the biggest sum of numbers	38
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1257.12
Number of variables	1260
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	127
Trace number 35355

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-28 12:40:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24594 boxname=wulflinc28 idbench=1066 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4cc62e621e04c5a4e55edc3240fa3357  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-rgn.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-rgn.opb
IDLAUNCH: 24594
/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:        708652 kB
Buffers:         40320 kB
Cached:         244296 kB
SwapCached:        780 kB
Active:          18444 kB
Inactive:       286316 kB
HighTotal:      131008 kB
HighFree:        12208 kB
LowTotal:       903652 kB
LowFree:        696444 kB
SwapTotal:     2097640 kB
SwapFree:      2096164 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5460 kB
Slab:            15588 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:00:51 (client local time) WITH STATUS 0 IN 1202.03 SECONDS
stats: 24594 7 1202.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 6675/705709	Time: 62.5015/86400
Decision: 6675/705709	Time: 79.9278/86400
Decision: 6675/705709	Time: 97.6871/86400
Decision: 6675/705709	Time: 114.909/86400
Decision: 6679/705709	Time: 144.585/86400
Decision: 6679/705709	Time: 166.368/86400
Decision: 6679/705709	Time: 186.768/86400
Decision: 6751/705709	Time: 240.952/86400
Decision: 6751/705709	Time: 260.616/86400
Decision: 6751/705709	Time: 280.07/86400
Decision: 6751/705709	Time: 301.086/86400
Decision: 6751/705709	Time: 321.571/86400
Decision: 6751/705709	Time: 343.342/86400
Decision: 6751/705709	Time: 359.329/86400
Decision: 6751/705709	Time: 377.386/86400
Decision: 6751/705709	Time: 400.326/86400
Decision: 6756/705709	Time: 434.404/86400
Decision: 6756/705709	Time: 455.06/86400
Decision: 6756/705709	Time: 475.119/86400
Decision: 6756/705709	Time: 493.801/86400
Decision: 6756/705709	Time: 516.63/86400
Decision: 6756/705709	Time: 538.632/86400
Decision: 6756/705709	Time: 559.187/86400
Decision: 6756/705709	Time: 578.339/86400
Decision: 6756/705709	Time: 595.943/86400
Decision: 6756/705709	Time: 616.596/86400
Decision: 6756/705709	Time: 635.061/86400
Decision: 6756/705709	Time: 652.618/86400
Decision: 6756/705709	Time: 673.567/86400
Decision: 6756/705709	Time: 691.344/86400
Decision: 6756/705709	Time: 712.443/86400
Decision: 6756/705709	Time: 733.97/86400
Decision: 6756/705709	Time: 756.677/86400
Decision: 6756/705709	Time: 775.978/86400
Decision: 6756/705709	Time: 797.455/86400
Decision: 6756/705709	Time: 818.488/86400
Decision: 6756/705709	Time: 839.168/86400
Decision: 6756/705709	Time: 861.164/86400
Decision: 6756/705709	Time: 882.566/86400
Decision: 6756/705709	Time: 903.599/86400
Decision: 6756/705709	Time: 928.075/86400
Decision: 6756/705709	Time: 944.689/86400
Decision: 6756/705709	Time: 965.015/86400
Decision: 6756/705709	Time: 988.908/86400
Decision: 6756/705709	Time: 1008.14/86400
Decision: 6756/705709	Time: 1029.87/86400
Decision: 6756/705709	Time: 1049.81/86400
Decision: 6756/705709	Time: 1069.66/86400
Decision: 6756/705709	Time: 1088.21/86400
Decision: 6756/705709	Time: 1103.96/86400
Decision: 6756/705709	Time: 1125.37/86400
Decision: 6756/705709	Time: 1146.45/86400
Decision: 6756/705709	Time: 1163.21/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.96 0.97 0.91 2/54 6421
Raw data (stat): 6421 (runsolver) R 6420 24821 24820 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864884530 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.0002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 31666 0 0 0 927 72 0 0 25 0 1 0 864884530 91758592 20510 4294967295 134512640 135726644 3221224592 3221115728 134554787 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22402 20510 300 300 0 22102 0
vsize: 89608
[startup+20.0003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 58389 0 0 0 1871 127 0 0 25 0 1 0 864884530 166531072 36252 4294967295 134512640 135726644 3221224592 3221221712 134574111 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40657 36252 300 300 0 40357 0
vsize: 162628
[startup+30 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 94132 0 0 0 2791 206 0 0 25 0 1 0 864884530 302153728 50299 4294967295 134512640 135726644 3221224592 3221175184 134728647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73768 50299 300 300 0 73468 0
vsize: 295072
[startup+40.0013 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 98572 0 0 0 3781 216 0 0 25 0 1 0 864884530 306769920 53324 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74895 53324 300 300 0 74595 0
vsize: 299580
[startup+50.0014 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 98900 0 0 0 4780 217 0 0 25 0 1 0 864884530 308174848 53652 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75238 53652 300 300 0 74938 0
vsize: 300952
[startup+60.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 99715 0 0 0 5778 219 0 0 25 0 1 0 864884530 311984128 54467 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76168 54467 300 300 0 75868 0
vsize: 304672
[startup+70.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 100052 0 0 0 6777 220 0 0 25 0 1 0 864884530 313827328 54804 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76618 54804 300 300 0 76318 0
vsize: 306472
[startup+80.0024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 100300 0 0 0 7777 221 0 0 25 0 1 0 864884530 314998784 55052 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76904 55052 300 300 0 76604 0
vsize: 307616
[startup+90.0031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 101791 0 0 0 8773 225 0 0 25 0 1 0 864884530 321323008 56543 4294967295 134512640 135726644 3221224592 3221222780 134769170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78448 56543 300 300 0 78148 0
vsize: 313792
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 101840 0 0 0 9772 226 0 0 25 0 1 0 864884530 315871232 55213 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77117 55213 300 300 0 76817 0
vsize: 308468
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 103283 0 0 0 10769 229 0 0 25 0 1 0 864884530 321851392 56656 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78577 56656 300 300 0 78277 0
vsize: 314308
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 103458 0 0 0 11768 230 0 0 25 0 1 0 864884530 316928000 55452 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77375 55452 300 300 0 77075 0
vsize: 309500
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 104911 0 0 0 12764 234 0 0 25 0 1 0 864884530 317259776 55526 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77456 55526 300 300 0 77156 0
vsize: 309824
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 104941 0 0 0 13763 235 0 0 25 0 1 0 864884530 317394944 55556 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77489 55556 300 300 0 77189 0
vsize: 309956
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 106376 0 0 0 14760 238 0 0 25 0 1 0 864884530 317558784 55612 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77529 55612 300 300 0 77229 0
vsize: 310116
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 106481 0 0 0 15760 239 0 0 25 0 1 0 864884530 318099456 55717 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77661 55717 300 300 0 77361 0
vsize: 310644
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 106697 0 0 0 16759 239 0 0 25 0 1 0 864884530 319180800 55933 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77925 55933 300 300 0 77625 0
vsize: 311700
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 108094 0 0 0 17756 243 0 0 25 0 1 0 864884530 319180800 55951 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77925 55951 300 300 0 77625 0
vsize: 311700
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 108225 0 0 0 18755 244 0 0 25 0 1 0 864884530 319856640 56082 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78090 56082 300 300 0 77790 0
vsize: 312360
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 109609 0 0 0 19752 247 0 0 25 0 1 0 864884530 319856640 56087 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78090 56087 300 300 0 77790 0
vsize: 312360
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 109714 0 0 0 20752 248 0 0 25 0 1 0 864884530 320532480 56192 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78255 56192 300 300 0 77955 0
vsize: 313020
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 111175 0 0 0 21748 251 0 0 25 0 1 0 864884530 320937984 56274 4294967295 134512640 135726644 3221224592 3221223200 134744653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78354 56274 300 300 0 78054 0
vsize: 313416
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 111319 0 0 0 22747 252 0 0 25 0 1 0 864884530 321609728 56385 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78518 56385 300 300 0 78218 0
vsize: 314072
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 111368 0 0 0 23746 254 0 0 25 0 1 0 864884530 321880064 56434 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78584 56434 300 300 0 78284 0
vsize: 314336
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 111378 0 0 0 24746 254 0 0 25 0 1 0 864884530 321880064 56444 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78584 56444 300 300 0 78284 0
vsize: 314336
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 111409 0 0 0 25746 255 0 0 25 0 1 0 864884530 321880064 56475 4294967295 134512640 135726644 3221224592 3221223088 134743928 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78584 56475 300 300 0 78284 0
vsize: 314336
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 111421 0 0 0 26745 256 0 0 25 0 1 0 864884530 321880064 56487 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78584 56487 300 300 0 78284 0
vsize: 314336
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 112825 0 0 0 27741 259 0 0 25 0 1 0 864884530 322015232 56512 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78617 56512 300 300 0 78317 0
vsize: 314468
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 112833 0 0 0 28740 260 0 0 25 0 1 0 864884530 322015232 56520 4294967295 134512640 135726644 3221224592 3221223104 134742403 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78617 56520 300 300 0 78317 0
vsize: 314468
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 114254 0 0 0 29736 265 0 0 25 0 1 0 864884530 322285568 56562 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78683 56562 300 300 0 78383 0
vsize: 314732
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 115724 0 0 0 30732 269 0 0 25 0 1 0 864884530 328474624 58032 4294967295 134512640 135726644 3221224592 3221222756 134765517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80194 58032 300 300 0 79894 0
vsize: 320776
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 115751 0 0 0 31731 270 0 0 25 0 1 0 864884530 322961408 56680 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78848 56680 300 300 0 78548 0
vsize: 315392
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 117157 0 0 0 32727 274 0 0 25 0 1 0 864884530 323096576 56707 4294967295 134512640 135726644 3221224592 3221223216 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78881 56707 300 300 0 78581 0
vsize: 315524
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 117210 0 0 0 33727 274 0 0 25 0 1 0 864884530 323227648 56727 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78913 56727 300 300 0 78613 0
vsize: 315652
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 117221 0 0 0 34727 275 0 0 25 0 1 0 864884530 323227648 56738 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78913 56738 300 300 0 78613 0
vsize: 315652
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 118610 0 0 0 35723 279 0 0 25 0 1 0 864884530 323227648 56748 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78913 56748 300 300 0 78613 0
vsize: 315652
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 118667 0 0 0 36722 280 0 0 25 0 1 0 864884530 323362816 56805 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78946 56805 300 300 0 78646 0
vsize: 315784
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 120130 0 0 0 37718 284 0 0 25 0 1 0 864884530 323629056 56856 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79011 56856 300 300 0 78711 0
vsize: 316044
[startup+390.006 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 120139 0 0 0 38718 284 0 0 25 0 1 0 864884530 323629056 56865 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79011 56865 300 300 0 78711 0
vsize: 316044
[startup+400.006 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 120147 0 0 0 39718 285 0 0 25 0 1 0 864884530 323629056 56873 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79011 56873 300 300 0 78711 0
vsize: 316044
[startup+410.005 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 121557 0 0 0 40714 288 0 0 25 0 1 0 864884530 323764224 56904 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79044 56904 300 300 0 78744 0
vsize: 316176
[startup+420.005 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 121566 0 0 0 41714 289 0 0 25 0 1 0 864884530 323764224 56913 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79044 56913 300 300 0 78744 0
vsize: 316176
[startup+430.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 122971 0 0 0 42710 293 0 0 25 0 1 0 864884530 323899392 56939 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79077 56939 300 300 0 78777 0
vsize: 316308
[startup+440.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 122973 0 0 0 43710 293 0 0 25 0 1 0 864884530 323899392 56941 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79077 56941 300 300 0 78777 0
vsize: 316308
[startup+450.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 122980 0 0 0 44710 294 0 0 25 0 1 0 864884530 323899392 56948 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79077 56948 300 300 0 78777 0
vsize: 316308
[startup+460.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 123024 0 0 0 45709 294 0 0 25 0 1 0 864884530 324169728 56992 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79143 56992 300 300 0 78843 0
vsize: 316572
[startup+470.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 124438 0 0 0 46706 298 0 0 25 0 1 0 864884530 324304896 57027 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79176 57027 300 300 0 78876 0
vsize: 316704
[startup+480.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 124447 0 0 0 47705 299 0 0 25 0 1 0 864884530 324304896 57036 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79176 57036 300 300 0 78876 0
vsize: 316704
[startup+490.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 125830 0 0 0 48702 302 0 0 25 0 1 0 864884530 324304896 57040 4294967295 134512640 135726644 3221224592 3221223088 134744229 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79176 57040 300 300 0 78876 0
vsize: 316704
[startup+500.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 125837 0 0 0 49702 303 0 0 25 0 1 0 864884530 324304896 57047 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79176 57047 300 300 0 78876 0
vsize: 316704
[startup+510.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 127220 0 0 0 50698 306 0 0 25 0 1 0 864884530 324304896 57051 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79176 57051 300 300 0 78876 0
vsize: 316704
[startup+520.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 127234 0 0 0 51697 307 0 0 25 0 1 0 864884530 324304896 57065 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79176 57065 300 300 0 78876 0
vsize: 316704
[startup+530.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 128636 0 0 0 52694 310 0 0 25 0 1 0 864884530 324440064 57088 4294967295 134512640 135726644 3221224592 3221223088 134743864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79209 57088 300 300 0 78909 0
vsize: 316836
[startup+540.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 128650 0 0 0 53694 311 0 0 25 0 1 0 864884530 324440064 57102 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79209 57102 300 300 0 78909 0
vsize: 316836
[startup+550.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 130033 0 0 0 54690 315 0 0 25 0 1 0 864884530 324440064 57106 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79209 57106 300 300 0 78909 0
vsize: 316836
[startup+560.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 130035 0 0 0 55690 316 0 0 25 0 1 0 864884530 324440064 57108 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79209 57108 300 300 0 78909 0
vsize: 316836
[startup+570.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 131421 0 0 0 56686 320 0 0 25 0 1 0 864884530 324440064 57115 4294967295 134512640 135726644 3221224592 3221223216 134744516 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79209 57115 300 300 0 78909 0
vsize: 316836
[startup+580.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 131426 0 0 0 57686 320 0 0 25 0 1 0 864884530 324440064 57120 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79209 57120 300 300 0 78909 0
vsize: 316836
[startup+590.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 132810 0 0 0 58682 324 0 0 25 0 1 0 864884530 330088448 58504 4294967295 134512640 135726644 3221224592 3221222728 134761853 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80588 58504 300 300 0 80288 0
vsize: 322352
[startup+600.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 132874 0 0 0 59682 324 0 0 25 0 1 0 864884530 324710400 57189 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79275 57189 300 300 0 78975 0
vsize: 317100
[startup+610.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 134258 0 0 0 60678 328 0 0 25 0 1 0 864884530 324710400 57194 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79275 57194 300 300 0 78975 0
vsize: 317100
[startup+620.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 134273 0 0 0 61678 328 0 0 25 0 1 0 864884530 324710400 57209 4294967295 134512640 135726644 3221224592 3221222912 134728868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79275 57209 300 300 0 78975 0
vsize: 317100
[startup+630.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 135658 0 0 0 62674 332 0 0 25 0 1 0 864884530 324710400 57215 4294967295 134512640 135726644 3221224592 3221223184 134744136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79275 57215 300 300 0 78975 0
vsize: 317100
[startup+640.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 135664 0 0 0 63674 333 0 0 25 0 1 0 864884530 324710400 57221 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79275 57221 300 300 0 78975 0
vsize: 317100
[startup+650.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 137046 0 0 0 64670 337 0 0 25 0 1 0 864884530 324710400 57224 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79275 57224 300 300 0 78975 0
vsize: 317100
[startup+660.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 137048 0 0 0 65670 337 0 0 25 0 1 0 864884530 324710400 57226 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79275 57226 300 300 0 78975 0
vsize: 317100
[startup+670.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 138456 0 0 0 66667 341 0 0 25 0 1 0 864884530 324845568 57255 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79308 57255 300 300 0 79008 0
vsize: 317232
[startup+680.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 138463 0 0 0 67666 341 0 0 25 0 1 0 864884530 324845568 57262 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79308 57262 300 300 0 79008 0
vsize: 317232
[startup+690.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 139847 0 0 0 68663 345 0 0 25 0 1 0 864884530 324845568 57267 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79308 57267 300 300 0 79008 0
vsize: 317232
[startup+700.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 139940 0 0 0 69662 346 0 0 25 0 1 0 864884530 325521408 57360 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79473 57360 300 300 0 79173 0
vsize: 317892
[startup+710.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 141323 0 0 0 70659 349 0 0 25 0 1 0 864884530 325521408 57364 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79473 57364 300 300 0 79173 0
vsize: 317892
[startup+720.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 141344 0 0 0 71659 349 0 0 25 0 1 0 864884530 325521408 57385 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79473 57385 300 300 0 79173 0
vsize: 317892
[startup+730.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 142753 0 0 0 72656 353 0 0 25 0 1 0 864884530 325656576 57415 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79506 57415 300 300 0 79206 0
vsize: 318024
[startup+740.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 144157 0 0 0 73652 357 0 0 25 0 1 0 864884530 331440128 58819 4294967295 134512640 135726644 3221224592 3221222748 134761832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80918 58819 300 300 0 80618 0
vsize: 323672
[startup+750.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 144166 0 0 0 74651 357 0 0 25 0 1 0 864884530 325791744 57449 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79539 57449 300 300 0 79239 0
vsize: 318156
[startup+760.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 144168 0 0 0 75651 358 0 0 25 0 1 0 864884530 325791744 57451 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79539 57451 300 300 0 79239 0
vsize: 318156
[startup+770.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 145552 0 0 0 76648 361 0 0 25 0 1 0 864884530 325791744 57456 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79539 57456 300 300 0 79239 0
vsize: 318156
[startup+780.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 145557 0 0 0 77647 362 0 0 25 0 1 0 864884530 325791744 57461 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79539 57461 300 300 0 79239 0
vsize: 318156
[startup+790.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 146940 0 0 0 78644 366 0 0 25 0 1 0 864884530 325791744 57465 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79539 57465 300 300 0 79239 0
vsize: 318156
[startup+800.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 146948 0 0 0 79644 366 0 0 25 0 1 0 864884530 325791744 57473 4294967295 134512640 135726644 3221224592 3221223216 134744588 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79539 57473 300 300 0 79239 0
vsize: 318156
[startup+810.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 148392 0 0 0 80641 369 0 0 25 0 1 0 864884530 326057984 57505 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79604 57505 300 300 0 79304 0
vsize: 318416
[startup+820.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 148397 0 0 0 81640 370 0 0 25 0 1 0 864884530 326057984 57510 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79604 57510 300 300 0 79304 0
vsize: 318416
[startup+830.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 149802 0 0 0 82636 374 0 0 25 0 1 0 864884530 326193152 57536 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79637 57536 300 300 0 79337 0
vsize: 318548
[startup+840.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 149809 0 0 0 83635 375 0 0 25 0 1 0 864884530 326193152 57543 4294967295 134512640 135726644 3221224592 3221223104 135279381 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79637 57543 300 300 0 79337 0
vsize: 318548
[startup+850.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 151200 0 0 0 84632 379 0 0 25 0 1 0 864884530 326193152 57555 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79637 57555 300 300 0 79337 0
vsize: 318548
[startup+860.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 151229 0 0 0 85631 380 0 0 25 0 1 0 864884530 326328320 57584 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79670 57584 300 300 0 79370 0
vsize: 318680
[startup+870.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 152612 0 0 0 86628 383 0 0 25 0 1 0 864884530 331976704 58967 4294967295 134512640 135726644 3221224592 3221222760 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81049 58967 300 300 0 80749 0
vsize: 324196
[startup+880.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 152659 0 0 0 87628 383 0 0 25 0 1 0 864884530 326598656 57635 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79736 57635 300 300 0 79436 0
vsize: 318944
[startup+890.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 152665 0 0 0 88627 384 0 0 25 0 1 0 864884530 326598656 57641 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79736 57641 300 300 0 79436 0
vsize: 318944
[startup+900.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 154051 0 0 0 89624 388 0 0 25 0 1 0 864884530 326598656 57648 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79736 57648 300 300 0 79436 0
vsize: 318944
[startup+910.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 154058 0 0 0 90624 388 0 0 25 0 1 0 864884530 326598656 57655 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79736 57655 300 300 0 79436 0
vsize: 318944
[startup+920.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 155442 0 0 0 91621 392 0 0 25 0 1 0 864884530 326598656 57660 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79736 57660 300 300 0 79436 0
vsize: 318944
[startup+930.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 155506 0 0 0 92620 393 0 0 25 0 1 0 864884530 326729728 57691 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79768 57691 300 300 0 79468 0
vsize: 319072
[startup+940.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 156939 0 0 0 93617 396 0 0 25 0 1 0 864884530 326860800 57712 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79800 57712 300 300 0 79500 0
vsize: 319200
[startup+950.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 156998 0 0 0 94617 396 0 0 25 0 1 0 864884530 327127040 57771 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79865 57771 300 300 0 79565 0
vsize: 319460
[startup+960.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 158379 0 0 0 95613 400 0 0 25 0 1 0 864884530 327127040 57773 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79865 57773 300 300 0 79565 0
vsize: 319460
[startup+970.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 158391 0 0 0 96613 401 0 0 25 0 1 0 864884530 327127040 57785 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79865 57785 300 300 0 79565 0
vsize: 319460
[startup+980.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 159779 0 0 0 97610 404 0 0 25 0 1 0 864884530 327127040 57794 4294967295 134512640 135726644 3221224592 3221223200 135280414 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79865 57794 300 300 0 79565 0
vsize: 319460
[startup+990.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 159828 0 0 0 98609 405 0 0 25 0 1 0 864884530 327258112 57810 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57810 300 300 0 79597 0
vsize: 319588
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 161212 0 0 0 99606 408 0 0 25 0 1 0 864884530 327258112 57815 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57815 300 300 0 79597 0
vsize: 319588
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 161216 0 0 0 100606 408 0 0 25 0 1 0 864884530 327258112 57819 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57819 300 300 0 79597 0
vsize: 319588
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 162599 0 0 0 101602 413 0 0 25 0 1 0 864884530 327258112 57823 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57823 300 300 0 79597 0
vsize: 319588
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 162605 0 0 0 102601 414 0 0 25 0 1 0 864884530 327258112 57829 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57829 300 300 0 79597 0
vsize: 319588
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 163989 0 0 0 103598 417 0 0 25 0 1 0 864884530 327258112 57834 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57834 300 300 0 79597 0
vsize: 319588
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 163996 0 0 0 104597 418 0 0 25 0 1 0 864884530 327258112 57841 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57841 300 300 0 79597 0
vsize: 319588
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 165378 0 0 0 105594 422 0 0 25 0 1 0 864884530 327258112 57844 4294967295 134512640 135726644 3221224592 3221223216 134779690 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57844 300 300 0 79597 0
vsize: 319588
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 165380 0 0 0 106594 422 0 0 25 0 1 0 864884530 327258112 57846 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57846 300 300 0 79597 0
vsize: 319588
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 166763 0 0 0 107591 425 0 0 25 0 1 0 864884530 332906496 59229 4294967295 134512640 135726644 3221224592 3221222752 134765536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81276 59229 300 300 0 80976 0
vsize: 325104
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 166769 0 0 0 108590 426 0 0 25 0 1 0 864884530 327258112 57856 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57856 300 300 0 79597 0
vsize: 319588
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 168154 0 0 0 109587 429 0 0 25 0 1 0 864884530 332906496 59241 4294967295 134512640 135726644 3221224592 3221222732 134761832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81276 59241 300 300 0 80976 0
vsize: 325104
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 168161 0 0 0 110586 430 0 0 25 0 1 0 864884530 327258112 57869 4294967295 134512640 135726644 3221224592 3221223088 134744036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57869 300 300 0 79597 0
vsize: 319588
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 169545 0 0 0 111582 435 0 0 25 0 1 0 864884530 327258112 57874 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57874 300 300 0 79597 0
vsize: 319588
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 169556 0 0 0 112592 435 0 0 25 0 1 0 864884530 327258112 57885 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57885 300 300 0 79597 0
vsize: 319588
[startup+1140.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 170942 0 0 0 113590 438 0 0 25 0 1 0 864884530 327258112 57892 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57892 300 300 0 79597 0
vsize: 319588
[startup+1150.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6421
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 170948 0 0 0 114590 440 0 0 25 0 1 0 864884530 327258112 57898 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57898 300 300 0 79597 0
vsize: 319588
[startup+1160.14 s]
Raw data (loadavg): 1.00 0.99 0.91 3/57 6439
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 172329 0 0 0 115573 443 0 0 25 0 1 0 864884530 327258112 57900 4294967295 134512640 135726644 3221224592 3221223088 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57900 300 300 0 79597 0
vsize: 319588
[startup+1170.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6474
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 172336 0 0 0 116573 443 0 0 25 0 1 0 864884530 327258112 57907 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57907 300 300 0 79597 0
vsize: 319588
[startup+1180.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6474
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 173729 0 0 0 117570 447 0 0 25 0 1 0 864884530 327258112 57921 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57921 300 300 0 79597 0
vsize: 319588
[startup+1190.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6474
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 173738 0 0 0 118569 448 0 0 25 0 1 0 864884530 327258112 57930 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57930 300 300 0 79597 0
vsize: 319588
[startup+1200.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6474
Raw data (stat): 6421 (pb2sat) R 6420 24821 24820 0 -1 0 175121 0 0 0 119566 451 0 0 25 0 1 0 864884530 327258112 57934 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79897 57934 300 300 0 79597 0
vsize: 319588
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.99 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 6474
Raw data (stat): 6421 (pb2sat) Z 6420 24821 24820 0 -1 12 175122 0 0 0 119739 463 0 0 25 0 1 0 864884530 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.99
CPU time (s): 1202.03
CPU user time (s): 1197.39
CPU system time (s): 4.63429
CPU usage (%): 100.003
Max. virtual memory (Kb): 325104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####