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/miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	c1b4c3ad409db732d2b559e570b6f24c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	138
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	84
Trace number 35305

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-28 12:30:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24539 boxname=wulflinc2 idbench=1011 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c1b4c3ad409db732d2b559e570b6f24c  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 24539
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        720348 kB
Buffers:         37212 kB
Cached:         254572 kB
SwapCached:        820 kB
Active:          23624 kB
Inactive:       270340 kB
HighTotal:      131008 kB
HighFree:        28196 kB
LowTotal:       903652 kB
LowFree:        692152 kB
SwapTotal:     2097136 kB
SwapFree:      2095480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5340 kB
Slab:            14732 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:50:19 (client local time) WITH STATUS 0 IN 1202.29 SECONDS
stats: 24539 7 1202.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 248737/1124060	Time: 90.8912/86400
Decision: 248781/1124060	Time: 167.379/86400
Decision: 248802/1124060	Time: 215.644/86400
Decision: 248802/1124060	Time: 256.518/86400
Decision: 248802/1124060	Time: 304.403/86400
Decision: 248802/1124060	Time: 342.312/86400
Decision: 248811/1124060	Time: 409.061/86400
Decision: 248811/1124060	Time: 450.025/86400
Decision: 248815/1124060	Time: 488.535/86400
Decision: 248815/1124060	Time: 535.311/86400
Decision: 248815/1124060	Time: 587.84/86400
Decision: 248815/1124060	Time: 636.9/86400
Decision: 248838/1124060	Time: 706.233/86400
Decision: 248838/1124060	Time: 740.853/86400
Decision: 248838/1124060	Time: 786.366/86400
Decision: 248838/1124060	Time: 826.154/86400
Decision: 248838/1124060	Time: 858.806/86400
Decision: 248869/1124060	Time: 904.597/86400
Decision: 248869/1124060	Time: 935.7/86400
Decision: 248900/1124060	Time: 964.072/86400
Decision: 248900/1124060	Time: 990.53/86400
Decision: 248900/1124060	Time: 1018.99/86400
Decision: 248900/1124060	Time: 1060.81/86400
Decision: 248900/1124060	Time: 1080.91/86400
Decision: 248900/1124060	Time: 1116.92/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.91 0.95 0.90 2/54 10607
Raw data (stat): 10607 (runsolver) R 10606 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806596946 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 27706 0 0 0 938 61 0 0 25 0 1 0 806596946 78307328 16647 4294967295 134512640 135726644 3221224592 3221201024 134767123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19118 16647 300 300 0 18818 0
vsize: 76472
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 55023 0 0 0 1880 118 0 0 25 0 1 0 806596946 154161152 32973 4294967295 134512640 135726644 3221224592 3221198640 134782666 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37637 32973 300 300 0 37337 0
vsize: 150548
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 91991 0 0 0 2806 192 0 0 25 0 1 0 806596946 299380736 48262 4294967295 134512640 135726644 3221224592 3221200792 135280714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73091 48262 300 300 0 72791 0
vsize: 292364
[startup+40.002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 109014 0 0 0 3764 235 0 0 25 0 1 0 806596946 305733632 64993 4294967295 134512640 135726644 3221224592 3221206560 135284777 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74642 64993 300 300 0 74342 0
vsize: 298568
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 148074 0 0 0 4690 309 0 0 25 0 1 0 806596946 427859968 85466 4294967295 134512640 135726644 3221224592 3221203992 134605113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104458 85466 300 300 0 104158 0
vsize: 417832
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 151658 0 0 0 5682 317 0 0 25 0 1 0 806596946 432631808 86717 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105623 86717 300 300 0 105323 0
vsize: 422492
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 152983 0 0 0 6678 321 0 0 25 0 1 0 806596946 438898688 87976 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107153 87976 300 300 0 106853 0
vsize: 428612
[startup+80.0041 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 154046 0 0 0 7676 323 0 0 25 0 1 0 806596946 443846656 88990 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108361 88990 300 300 0 108061 0
vsize: 433444
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 155139 0 0 0 8674 325 0 0 25 0 1 0 806596946 447348736 89592 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109216 89592 300 300 0 108916 0
vsize: 436864
[startup+100.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 155579 0 0 0 9673 326 0 0 25 0 1 0 806596946 448667648 89771 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109538 89771 300 300 0 109238 0
vsize: 438152
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 155923 0 0 0 10672 327 0 0 25 0 1 0 806596946 450138112 89984 4294967295 134512640 135726644 3221224592 3221223184 134760426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109897 89984 300 300 0 109597 0
vsize: 439588
[startup+120.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 156220 0 0 0 11671 328 0 0 25 0 1 0 806596946 451076096 90216 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110126 90216 300 300 0 109826 0
vsize: 440504
[startup+130.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 156341 0 0 0 12671 329 0 0 25 0 1 0 806596946 451338240 90272 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110190 90272 300 300 0 109890 0
vsize: 440760
[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 158693 0 0 0 13665 335 0 0 25 0 1 0 806596946 451936256 90395 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110336 90395 300 300 0 110036 0
vsize: 441344
[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 159090 0 0 0 14663 337 0 0 25 0 1 0 806596946 454029312 90792 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110847 90792 300 300 0 110547 0
vsize: 443388
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 159591 0 0 0 15661 339 0 0 25 0 1 0 806596946 456040448 91161 4294967295 134512640 135726644 3221224592 3221222840 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111338 91161 300 300 0 111038 0
vsize: 445352
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 160118 0 0 0 16660 340 0 0 25 0 1 0 806596946 458240000 91524 4294967295 134512640 135726644 3221224592 3221223072 134729229 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111875 91524 300 300 0 111575 0
vsize: 447500
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 160324 0 0 0 17660 340 0 0 25 0 1 0 806596946 459042816 91664 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112071 91664 300 300 0 111771 0
vsize: 448284
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 160604 0 0 0 18659 342 0 0 25 0 1 0 806596946 460308480 91878 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112380 91878 300 300 0 112080 0
vsize: 449520
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 161187 0 0 0 19657 343 0 0 25 0 1 0 806596946 462290944 92164 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112864 92164 300 300 0 112564 0
vsize: 451456
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 161567 0 0 0 20656 345 0 0 25 0 1 0 806596946 463347712 92346 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113122 92346 300 300 0 112822 0
vsize: 452488
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 163853 0 0 0 21650 351 0 0 25 0 1 0 806596946 463753216 92436 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113221 92436 300 300 0 112921 0
vsize: 452884
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 163964 0 0 0 22649 351 0 0 25 0 1 0 806596946 464293888 92547 4294967295 134512640 135726644 3221224592 3221222840 135281194 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113353 92547 300 300 0 113053 0
vsize: 453412
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 164120 0 0 0 23649 352 0 0 25 0 1 0 806596946 464691200 92637 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113450 92637 300 300 0 113150 0
vsize: 453800
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 164167 0 0 0 24648 353 0 0 25 0 1 0 806596946 464826368 92684 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113483 92684 300 300 0 113183 0
vsize: 453932
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 164471 0 0 0 25647 354 0 0 25 0 1 0 806596946 465756160 92856 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113710 92856 300 300 0 113410 0
vsize: 454840
[startup+270.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 166687 0 0 0 26642 360 0 0 25 0 1 0 806596946 465891328 92876 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113743 92876 300 300 0 113443 0
vsize: 454972
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 166797 0 0 0 27641 361 0 0 25 0 1 0 806596946 466288640 92953 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113840 92953 300 300 0 113540 0
vsize: 455360
[startup+290.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 166890 0 0 0 28641 361 0 0 25 0 1 0 806596946 466685952 93013 4294967295 134512640 135726644 3221224592 3221223200 134741272 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113937 93013 300 300 0 113637 0
vsize: 455748
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 167145 0 0 0 29640 363 0 0 25 0 1 0 806596946 467476480 93136 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114130 93136 300 300 0 113830 0
vsize: 456520
[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 169449 0 0 0 30635 368 0 0 25 0 1 0 806596946 467873792 93211 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114227 93211 300 300 0 113927 0
vsize: 456908
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 169769 0 0 0 31634 369 0 0 25 0 1 0 806596946 468930560 93400 4294967295 134512640 135726644 3221224592 3221222840 135280913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114485 93400 300 300 0 114185 0
vsize: 457940
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 169977 0 0 0 32633 370 0 0 25 0 1 0 806596946 469590016 93509 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114646 93509 300 300 0 114346 0
vsize: 458584
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 170490 0 0 0 33632 371 0 0 25 0 1 0 806596946 471044096 93792 4294967295 134512640 135726644 3221224592 3221223088 134743886 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115001 93792 300 300 0 114701 0
vsize: 460004
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 170958 0 0 0 34631 373 0 0 25 0 1 0 806596946 472969216 94146 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115471 94146 300 300 0 115171 0
vsize: 461884
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 173291 0 0 0 35625 378 0 0 25 0 1 0 806596946 473362432 94184 4294967295 134512640 135726644 3221224592 3221222956 135287582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115567 94184 300 300 0 115267 0
vsize: 462268
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 173435 0 0 0 36625 379 0 0 25 0 1 0 806596946 473755648 94229 4294967295 134512640 135726644 3221224592 3221223188 134744137 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115663 94229 300 300 0 115363 0
vsize: 462652
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 173796 0 0 0 37624 380 0 0 25 0 1 0 806596946 474939392 94360 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115952 94360 300 300 0 115652 0
vsize: 463808
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 176150 0 0 0 38618 386 0 0 25 0 1 0 806596946 475332608 94419 4294967295 134512640 135726644 3221224592 3221223136 135298011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116048 94419 300 300 0 115748 0
vsize: 464192
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 176374 0 0 0 39617 387 0 0 25 0 1 0 806596946 476127232 94513 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116242 94513 300 300 0 115942 0
vsize: 464968
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 176427 0 0 0 40617 388 0 0 25 0 1 0 806596946 476393472 94566 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116307 94566 300 300 0 116007 0
vsize: 465228
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 176433 0 0 0 41616 388 0 0 25 0 1 0 806596946 476393472 94572 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116307 94572 300 300 0 116007 0
vsize: 465228
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 176450 0 0 0 42616 389 0 0 25 0 1 0 806596946 476393472 94589 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116307 94589 300 300 0 116007 0
vsize: 465228
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 176492 0 0 0 43616 389 0 0 25 0 1 0 806596946 476524544 94598 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116339 94598 300 300 0 116039 0
vsize: 465356
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 176494 0 0 0 44615 390 0 0 25 0 1 0 806596946 476524544 94600 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116339 94600 300 300 0 116039 0
vsize: 465356
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 178691 0 0 0 45610 395 0 0 25 0 1 0 806596946 476524544 94601 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116339 94601 300 300 0 116039 0
vsize: 465356
[startup+470.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 178994 0 0 0 46609 397 0 0 25 0 1 0 806596946 477310976 94708 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116531 94708 300 300 0 116231 0
vsize: 466124
[startup+480.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 179041 0 0 0 47609 398 0 0 25 0 1 0 806596946 477442048 94722 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116563 94722 300 300 0 116263 0
vsize: 466252
[startup+490.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 179049 0 0 0 48608 398 0 0 25 0 1 0 806596946 477442048 94730 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116563 94730 300 300 0 116263 0
vsize: 466252
[startup+500.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 181267 0 0 0 49604 403 0 0 25 0 1 0 806596946 477442048 94752 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116563 94752 300 300 0 116263 0
vsize: 466252
[startup+510.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 181362 0 0 0 50604 403 0 0 25 0 1 0 806596946 477704192 94782 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116627 94782 300 300 0 116327 0
vsize: 466508
[startup+520.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 181444 0 0 0 51604 403 0 0 25 0 1 0 806596946 477835264 94831 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116659 94831 300 300 0 116359 0
vsize: 466636
[startup+530.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 181461 0 0 0 52604 403 0 0 25 0 1 0 806596946 477835264 94848 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116659 94848 300 300 0 116359 0
vsize: 466636
[startup+540.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 183669 0 0 0 53599 409 0 0 25 0 1 0 806596946 477835264 94860 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116659 94860 300 300 0 116359 0
vsize: 466636
[startup+550.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 183833 0 0 0 54598 409 0 0 25 0 1 0 806596946 478232576 94927 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116756 94927 300 300 0 116456 0
vsize: 467024
[startup+560.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 183929 0 0 0 55598 409 0 0 25 0 1 0 806596946 478494720 94958 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116820 94958 300 300 0 116520 0
vsize: 467280
[startup+570.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 183942 0 0 0 56598 410 0 0 25 0 1 0 806596946 478494720 94971 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116820 94971 300 300 0 116520 0
vsize: 467280
[startup+580.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 183950 0 0 0 57598 410 0 0 25 0 1 0 806596946 478494720 94979 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116820 94979 300 300 0 116520 0
vsize: 467280
[startup+590.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 186148 0 0 0 58592 416 0 0 25 0 1 0 806596946 478494720 94981 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116820 94981 300 300 0 116520 0
vsize: 467280
[startup+600.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 186151 0 0 0 59591 417 0 0 25 0 1 0 806596946 478494720 94984 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116820 94984 300 300 0 116520 0
vsize: 467280
[startup+610.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 186154 0 0 0 60590 417 0 0 25 0 1 0 806596946 478494720 94987 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116820 94987 300 300 0 116520 0
vsize: 467280
[startup+620.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 186212 0 0 0 61590 417 0 0 25 0 1 0 806596946 478625792 95012 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116852 95012 300 300 0 116552 0
vsize: 467408
[startup+630.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 186347 0 0 0 62589 418 0 0 25 0 1 0 806596946 479293440 95114 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117015 95114 300 300 0 116715 0
vsize: 468060
[startup+640.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 188571 0 0 0 63584 424 0 0 25 0 1 0 806596946 479293440 95142 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117015 95142 300 300 0 116715 0
vsize: 468060
[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 188762 0 0 0 64584 424 0 0 25 0 1 0 806596946 479555584 95268 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117079 95268 300 300 0 116779 0
vsize: 468316
[startup+660.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 188773 0 0 0 65583 425 0 0 25 0 1 0 806596946 479555584 95279 4294967295 134512640 135726644 3221224592 3221223088 134744346 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117079 95279 300 300 0 116779 0
vsize: 468316
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 188867 0 0 0 66583 425 0 0 25 0 1 0 806596946 480088064 95373 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117209 95373 300 300 0 116909 0
vsize: 468836
[startup+680.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 188868 0 0 0 67583 426 0 0 25 0 1 0 806596946 480088064 95374 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117209 95374 300 300 0 116909 0
vsize: 468836
[startup+690.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 191065 0 0 0 68578 431 0 0 25 0 1 0 806596946 480088064 95375 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117209 95375 300 300 0 116909 0
vsize: 468836
[startup+700.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 191066 0 0 0 69578 431 0 0 25 0 1 0 806596946 480088064 95376 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117209 95376 300 300 0 116909 0
vsize: 468836
[startup+710.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 191227 0 0 0 70578 431 0 0 25 0 1 0 806596946 480616448 95472 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117338 95472 300 300 0 117038 0
vsize: 469352
[startup+720.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 191273 0 0 0 71578 431 0 0 25 0 1 0 806596946 480616448 95518 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117338 95518 300 300 0 117038 0
vsize: 469352
[startup+730.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 191276 0 0 0 72578 432 0 0 25 0 1 0 806596946 480616448 95521 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117338 95521 300 300 0 117038 0
vsize: 469352
[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 191279 0 0 0 73577 432 0 0 25 0 1 0 806596946 480616448 95524 4294967295 134512640 135726644 3221224592 3221223088 134743907 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117338 95524 300 300 0 117038 0
vsize: 469352
[startup+750.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 191282 0 0 0 74577 433 0 0 25 0 1 0 806596946 480616448 95527 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117338 95527 300 300 0 117038 0
vsize: 469352
[startup+760.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 193480 0 0 0 75572 438 0 0 25 0 1 0 806596946 480616448 95529 4294967295 134512640 135726644 3221224592 3221223236 134744672 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117338 95529 300 300 0 117038 0
vsize: 469352
[startup+770.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 193566 0 0 0 76572 438 0 0 25 0 1 0 806596946 480878592 95550 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117402 95550 300 300 0 117102 0
vsize: 469608
[startup+780.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 194042 0 0 0 77571 439 0 0 25 0 1 0 806596946 482316288 95603 4294967295 134512640 135726644 3221224592 3221222840 135282491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117753 95603 300 300 0 117453 0
vsize: 471012
[startup+790.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 196241 0 0 0 78567 444 0 0 25 0 1 0 806596946 491311104 97802 4294967295 134512640 135726644 3221224592 3221222728 134761841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119949 97802 300 300 0 119649 0
vsize: 479796
[startup+800.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 196278 0 0 0 79566 444 0 0 25 0 1 0 806596946 482316288 95643 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117753 95643 300 300 0 117453 0
vsize: 471012
[startup+810.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 196372 0 0 0 80566 445 0 0 25 0 1 0 806596946 482447360 95704 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117785 95704 300 300 0 117485 0
vsize: 471140
[startup+820.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 196626 0 0 0 81566 446 0 0 25 0 1 0 806596946 482971648 95827 4294967295 134512640 135726644 3221224592 3221222840 135281194 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117913 95827 300 300 0 117613 0
vsize: 471652
[startup+830.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 196705 0 0 0 82565 446 0 0 25 0 1 0 806596946 483233792 95841 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117977 95841 300 300 0 117677 0
vsize: 471908
[startup+840.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 198906 0 0 0 83560 452 0 0 25 0 1 0 806596946 483233792 95846 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117977 95846 300 300 0 117677 0
vsize: 471908
[startup+850.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 198910 0 0 0 84560 452 0 0 25 0 1 0 806596946 483233792 95850 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117977 95850 300 300 0 117677 0
vsize: 471908
[startup+860.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 198969 0 0 0 85559 453 0 0 25 0 1 0 806596946 483364864 95876 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95876 300 300 0 117709 0
vsize: 472036
[startup+870.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 198999 0 0 0 86559 453 0 0 25 0 1 0 806596946 483364864 95906 4294967295 134512640 135726644 3221224592 3221223104 134742395 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95906 300 300 0 117709 0
vsize: 472036
[startup+880.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 201195 0 0 0 87554 459 0 0 25 0 1 0 806596946 483364864 95906 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95906 300 300 0 117709 0
vsize: 472036
[startup+890.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 201197 0 0 0 88554 459 0 0 25 0 1 0 806596946 483364864 95908 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95908 300 300 0 117709 0
vsize: 472036
[startup+900.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 201199 0 0 0 89553 459 0 0 25 0 1 0 806596946 483364864 95910 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95910 300 300 0 117709 0
vsize: 472036
[startup+910.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 203396 0 0 0 90548 465 0 0 25 0 1 0 806596946 483364864 95911 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95911 300 300 0 117709 0
vsize: 472036
[startup+920.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 203397 0 0 0 91548 465 0 0 25 0 1 0 806596946 483364864 95912 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95912 300 300 0 117709 0
vsize: 472036
[startup+930.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 203399 0 0 0 92548 465 0 0 25 0 1 0 806596946 483364864 95914 4294967295 134512640 135726644 3221224592 3221222840 135282491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95914 300 300 0 117709 0
vsize: 472036
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 203402 0 0 0 93548 466 0 0 25 0 1 0 806596946 483364864 95917 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95917 300 300 0 117709 0
vsize: 472036
[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 203406 0 0 0 94548 466 0 0 25 0 1 0 806596946 483364864 95921 4294967295 134512640 135726644 3221224592 3221222840 135282491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95921 300 300 0 117709 0
vsize: 472036
[startup+960.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 205605 0 0 0 95542 472 0 0 25 0 1 0 806596946 483364864 95924 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95924 300 300 0 117709 0
vsize: 472036
[startup+970.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 205612 0 0 0 96542 472 0 0 25 0 1 0 806596946 483364864 95931 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95931 300 300 0 117709 0
vsize: 472036
[startup+980.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 205617 0 0 0 97542 472 0 0 25 0 1 0 806596946 483364864 95936 4294967295 134512640 135726644 3221224592 3221223248 134731258 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95936 300 300 0 117709 0
vsize: 472036
[startup+990.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 207819 0 0 0 98536 479 0 0 25 0 1 0 806596946 483364864 95942 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95942 300 300 0 117709 0
vsize: 472036
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 207825 0 0 0 99535 479 0 0 25 0 1 0 806596946 483364864 95948 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95948 300 300 0 117709 0
vsize: 472036
[startup+1010.05 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 207835 0 0 0 100535 479 0 0 25 0 1 0 806596946 483364864 95958 4294967295 134512640 135726644 3221224592 3221223104 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95958 300 300 0 117709 0
vsize: 472036
[startup+1020.05 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 210034 0 0 0 101530 485 0 0 25 0 1 0 806596946 483364864 95961 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95961 300 300 0 117709 0
vsize: 472036
[startup+1030.05 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 210042 0 0 0 102530 485 0 0 25 0 1 0 806596946 483364864 95969 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95969 300 300 0 117709 0
vsize: 472036
[startup+1040.05 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 212239 0 0 0 103524 491 0 0 25 0 1 0 806596946 483364864 95970 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95970 300 300 0 117709 0
vsize: 472036
[startup+1050.05 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 212255 0 0 0 104524 491 0 0 25 0 1 0 806596946 483364864 95986 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95986 300 300 0 117709 0
vsize: 472036
[startup+1060.05 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 212260 0 0 0 105524 491 0 0 25 0 1 0 806596946 483364864 95991 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118009 95991 300 300 0 117709 0
vsize: 472036
[startup+1070.05 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 239040 0 0 0 106467 549 0 0 25 0 1 0 806596946 584028160 95998 4294967295 134512640 135726644 3221224592 3221222956 135287443 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142585 95998 300 300 0 142285 0
vsize: 570340
[startup+1080.05 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 239162 0 0 0 107466 549 0 0 25 0 1 0 806596946 584290304 96055 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142649 96055 300 300 0 142349 0
vsize: 570596
[startup+1090.05 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 239297 0 0 0 108466 549 0 0 25 0 1 0 806596946 584552448 96125 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142713 96125 300 300 0 142413 0
vsize: 570852
[startup+1100.05 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 239300 0 0 0 109466 550 0 0 25 0 1 0 806596946 584552448 96128 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142713 96128 300 300 0 142413 0
vsize: 570852
[startup+1110.05 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 241498 0 0 0 110460 556 0 0 25 0 1 0 806596946 593547264 98326 4294967295 134512640 135726644 3221224592 3221222728 134761841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144909 98326 300 300 0 144609 0
vsize: 579636
[startup+1120.05 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 241508 0 0 0 111459 557 0 0 25 0 1 0 806596946 584552448 96140 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142713 96140 300 300 0 142413 0
vsize: 570852
[startup+1130.05 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 243711 0 0 0 112454 563 0 0 25 0 1 0 806596946 593547264 98343 4294967295 134512640 135726644 3221224592 3221222744 134765180 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144909 98343 300 300 0 144609 0
vsize: 579636
[startup+1140.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 243714 0 0 0 113453 563 0 0 25 0 1 0 806596946 584552448 96150 4294967295 134512640 135726644 3221224592 3221222840 135282491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142713 96150 300 300 0 142413 0
vsize: 570852
[startup+1150.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 243720 0 0 0 114453 564 0 0 25 0 1 0 806596946 584552448 96156 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142713 96156 300 300 0 142413 0
vsize: 570852
[startup+1160.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 243729 0 0 0 115453 564 0 0 25 0 1 0 806596946 584552448 96165 4294967295 134512640 135726644 3221224592 3221222840 135281194 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142713 96165 300 300 0 142413 0
vsize: 570852
[startup+1170.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 245928 0 0 0 116447 570 0 0 25 0 1 0 806596946 584552448 96168 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142713 96168 300 300 0 142413 0
vsize: 570852
[startup+1180.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 245932 0 0 0 117447 570 0 0 25 0 1 0 806596946 584552448 96172 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142713 96172 300 300 0 142413 0
vsize: 570852
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 245936 0 0 0 118447 571 0 0 25 0 1 0 806596946 584552448 96176 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142713 96176 300 300 0 142413 0
vsize: 570852
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 245960 0 0 0 119447 571 0 0 25 0 1 0 806596946 584552448 96200 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142713 96200 300 300 0 142413 0
vsize: 570852
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.16 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 10607
Raw data (stat): 10607 (pb2sat) R 10606 31399 31398 0 -1 0 245960 0 0 0 119447 571 0 0 25 0 1 0 806596946 584552448 96200 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142713 96200 300 300 0 142413 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.16
CPU time (s): 1202.29
CPU user time (s): 1196.38
CPU system time (s): 5.9081
CPU usage (%): 100.011
Max. virtual memory (Kb): 579636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####