PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb
MD5SUM	098fe473d82d5f7d4121673eb775be76
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	22199
Optimality of the best value was proved	NO
Number of terms in the objective function	572
Biggest coefficient in the objective function	5000
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	547769
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	5000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	547769
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	30.8603
Number of variables	572
Total number of constraints	716
Number of constraints which are clauses	3
Number of constraints which are cardinality constraints (but not clauses)	644
Number of constraints which are nor clauses,nor cardinality constraints	69
Minimum length of a constraint	1
Maximum length of a constraint	518
Trace number 42777

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 14:30:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25989 boxname=wulflinc1 idbench=1289 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  098fe473d82d5f7d4121673eb775be76  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-cracpb1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-cracpb1.opb
IDLAUNCH: 25989
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        720184 kB
Buffers:         19540 kB
Cached:         270820 kB
SwapCached:       1156 kB
Active:          25792 kB
Inactive:       266768 kB
HighTotal:      131008 kB
HighFree:         4340 kB
LowTotal:       903652 kB
LowFree:        715844 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16068 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 14:50:14 (client local time) WITH STATUS 0 IN 1202.1 SECONDS
stats: 25989 7 1202.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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.94 0.90 2/55 21613
Raw data (stat): 21613 (runsolver) R 21612 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 914637945 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.0012 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 28393 0 0 0 940 59 0 0 25 0 1 0 914637945 86491136 17303 4294967295 134512640 135730672 3221224576 3221188716 135301642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21116 17303 301 301 0 20815 0
vsize: 84464
[startup+20.0019 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 54494 0 0 0 1883 116 0 0 25 0 1 0 914637945 161366016 32188 4294967295 134512640 135730672 3221224576 3221127572 134607988 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39396 32188 301 301 0 39095 0
vsize: 157584
[startup+30.0027 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 95017 0 0 0 2800 199 0 0 25 0 1 0 914637945 283095040 50519 4294967295 134512640 135730672 3221224576 3221131144 135282780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69115 50519 301 301 0 68814 0
vsize: 276460
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 107848 0 0 0 3776 224 0 0 25 0 1 0 914637945 316649472 63120 4294967295 134512640 135730672 3221224576 3221195924 134549850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77307 63120 301 301 0 77006 0
vsize: 309228
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 116088 0 0 0 4758 241 0 0 25 0 1 0 914637945 335306752 68656 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81862 68656 301 301 0 81561 0
vsize: 327448
[startup+60.0031 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 118832 0 0 0 5754 246 0 0 25 0 1 0 914637945 344932352 70507 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84212 70507 301 301 0 83911 0
vsize: 336848
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 121880 0 0 0 6749 251 0 0 25 0 1 0 914637945 355311616 72283 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86746 72283 301 301 0 86445 0
vsize: 346984
[startup+80.0036 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 123409 0 0 0 7746 254 0 0 25 0 1 0 914637945 361222144 73450 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88189 73450 301 301 0 87888 0
vsize: 352756
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 124351 0 0 0 8745 256 0 0 25 0 1 0 914637945 364945408 74097 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89098 74097 301 301 0 88797 0
vsize: 356392
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 125269 0 0 0 9743 257 0 0 25 0 1 0 914637945 367726592 74623 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89777 74623 301 301 0 89476 0
vsize: 359108
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 125644 0 0 0 10742 258 0 0 25 0 1 0 914637945 368918528 74867 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90068 74867 301 301 0 89767 0
vsize: 360272
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 126117 0 0 0 11741 260 0 0 25 0 1 0 914637945 370237440 75144 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90390 75144 301 301 0 90089 0
vsize: 361560
[startup+130.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 126338 0 0 0 12741 260 0 0 25 0 1 0 914637945 370900992 75332 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90552 75332 301 301 0 90251 0
vsize: 362208
[startup+140.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 126454 0 0 0 13740 261 0 0 25 0 1 0 914637945 371163136 75383 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90616 75383 301 301 0 90315 0
vsize: 362464
[startup+150.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 126693 0 0 0 14739 262 0 0 25 0 1 0 914637945 371822592 75523 4294967295 134512640 135730672 3221224576 3221223072 134747845 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90777 75523 301 301 0 90476 0
vsize: 363108
[startup+160.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 127177 0 0 0 15738 263 0 0 25 0 1 0 914637945 373133312 75683 4294967295 134512640 135730672 3221224576 3221223212 134748066 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91097 75683 301 301 0 90796 0
vsize: 364388
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 127654 0 0 0 16738 264 0 0 25 0 1 0 914637945 374181888 75900 4294967295 134512640 135730672 3221224576 3221223168 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91353 75900 301 301 0 91052 0
vsize: 365412
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 129158 0 0 0 17735 267 0 0 25 0 1 0 914637945 378122240 76559 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92315 76559 301 301 0 92014 0
vsize: 369260
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 129609 0 0 0 18735 267 0 0 25 0 1 0 914637945 379301888 76719 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92603 76719 301 301 0 92302 0
vsize: 370412
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 129862 0 0 0 19734 268 0 0 25 0 1 0 914637945 379826176 76843 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92731 76843 301 301 0 92430 0
vsize: 370924
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 130250 0 0 0 20733 269 0 0 25 0 1 0 914637945 380874752 76973 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92987 76973 301 301 0 92686 0
vsize: 371948
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 131146 0 0 0 21732 270 0 0 25 0 1 0 914637945 383365120 77254 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93595 77254 301 301 0 93294 0
vsize: 374380
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 131407 0 0 0 22732 271 0 0 25 0 1 0 914637945 384151552 77320 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93787 77320 301 301 0 93486 0
vsize: 375148
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 131426 0 0 0 23732 271 0 0 25 0 1 0 914637945 384151552 77339 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93787 77339 301 301 0 93486 0
vsize: 375148
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 131916 0 0 0 24731 272 0 0 25 0 1 0 914637945 385462272 77506 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94107 77506 301 301 0 93806 0
vsize: 376428
[startup+260.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 132383 0 0 0 25730 273 0 0 25 0 1 0 914637945 387182592 77810 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94527 77810 301 301 0 94226 0
vsize: 378108
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 133332 0 0 0 26729 275 0 0 25 0 1 0 914637945 389812224 78237 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95169 78237 301 301 0 94868 0
vsize: 380676
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 133803 0 0 0 27728 276 0 0 25 0 1 0 914637945 391397376 78511 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95556 78511 301 301 0 95255 0
vsize: 382224
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 134488 0 0 0 28727 277 0 0 25 0 1 0 914637945 393777152 78935 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96137 78935 301 301 0 95836 0
vsize: 384548
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 135526 0 0 0 29725 279 0 0 25 0 1 0 914637945 396140544 79419 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96714 79419 301 301 0 96413 0
vsize: 386856
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 135848 0 0 0 30724 280 0 0 25 0 1 0 914637945 397332480 79579 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97005 79579 301 301 0 96704 0
vsize: 388020
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 135870 0 0 0 31724 280 0 0 25 0 1 0 914637945 397332480 79601 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97005 79601 301 301 0 96704 0
vsize: 388020
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 135943 0 0 0 32724 281 0 0 25 0 1 0 914637945 397594624 79609 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97069 79609 301 301 0 96768 0
vsize: 388276
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 136428 0 0 0 33723 282 0 0 25 0 1 0 914637945 398905344 79770 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97389 79770 301 301 0 97088 0
vsize: 389556
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 137093 0 0 0 34722 283 0 0 25 0 1 0 914637945 400883712 80142 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97872 80142 301 301 0 97571 0
vsize: 391488
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 137172 0 0 0 35722 283 0 0 25 0 1 0 914637945 401412096 80221 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98001 80221 301 301 0 97700 0
vsize: 392004
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 137383 0 0 0 36722 283 0 0 25 0 1 0 914637945 401801216 80269 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98096 80269 301 301 0 97795 0
vsize: 392384
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 137664 0 0 0 37721 285 0 0 25 0 1 0 914637945 402587648 80356 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98288 80356 301 301 0 97987 0
vsize: 393152
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 137666 0 0 0 38721 285 0 0 25 0 1 0 914637945 402587648 80358 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98288 80358 301 301 0 97987 0
vsize: 393152
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 137673 0 0 0 39721 285 0 0 25 0 1 0 914637945 402587648 80365 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98288 80365 301 301 0 97987 0
vsize: 393152
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 137835 0 0 0 40721 286 0 0 25 0 1 0 914637945 402849792 80462 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98352 80462 301 301 0 98051 0
vsize: 393408
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 138104 0 0 0 41720 286 0 0 25 0 1 0 914637945 403374080 80602 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98480 80602 301 301 0 98179 0
vsize: 393920
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 138310 0 0 0 42720 287 0 0 25 0 1 0 914637945 403898368 80679 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98608 80679 301 301 0 98307 0
vsize: 394432
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 138749 0 0 0 43719 288 0 0 25 0 1 0 914637945 404946944 80860 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98864 80860 301 301 0 98563 0
vsize: 395456
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 139778 0 0 0 44717 290 0 0 25 0 1 0 914637945 407306240 81308 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99440 81308 301 301 0 99139 0
vsize: 397760
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 139884 0 0 0 45717 290 0 0 25 0 1 0 914637945 407568384 81349 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99504 81349 301 301 0 99203 0
vsize: 398016
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 140115 0 0 0 46716 291 0 0 25 0 1 0 914637945 408092672 81451 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99632 81451 301 301 0 99331 0
vsize: 398528
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 140144 0 0 0 47716 291 0 0 25 0 1 0 914637945 408092672 81480 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99632 81480 301 301 0 99331 0
vsize: 398528
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 140461 0 0 0 48716 292 0 0 25 0 1 0 914637945 408879104 81602 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99824 81602 301 301 0 99523 0
vsize: 399296
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 141812 0 0 0 49714 294 0 0 25 0 1 0 914637945 412286976 82114 4294967295 134512640 135730672 3221224576 3221223072 134747908 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100656 82114 301 301 0 100355 0
vsize: 402624
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 142002 0 0 0 50714 294 0 0 25 0 1 0 914637945 413343744 82304 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100914 82304 301 301 0 100613 0
vsize: 403656
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 142132 0 0 0 51713 295 0 0 25 0 1 0 914637945 413605888 82369 4294967295 134512640 135730672 3221224576 3221223072 134747590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100978 82369 301 301 0 100677 0
vsize: 403912
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 142146 0 0 0 52713 295 0 0 25 0 1 0 914637945 413605888 82383 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100978 82383 301 301 0 100677 0
vsize: 403912
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 142345 0 0 0 53713 296 0 0 25 0 1 0 914637945 414396416 82517 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101171 82517 301 301 0 100870 0
vsize: 404684
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 142534 0 0 0 54712 296 0 0 25 0 1 0 914637945 414920704 82576 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101299 82576 301 301 0 100998 0
vsize: 405196
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 142538 0 0 0 55712 297 0 0 25 0 1 0 914637945 414920704 82580 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101299 82580 301 301 0 100998 0
vsize: 405196
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 142541 0 0 0 56712 297 0 0 25 0 1 0 914637945 414920704 82583 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101299 82583 301 301 0 100998 0
vsize: 405196
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 142552 0 0 0 57712 297 0 0 25 0 1 0 914637945 414920704 82594 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101299 82594 301 301 0 100998 0
vsize: 405196
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 143795 0 0 0 58710 299 0 0 25 0 1 0 914637945 417804288 83126 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102003 83126 301 301 0 101702 0
vsize: 408012
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 143826 0 0 0 59710 299 0 0 25 0 1 0 914637945 417804288 83157 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102003 83157 301 301 0 101702 0
vsize: 408012
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 143957 0 0 0 60710 300 0 0 25 0 1 0 914637945 418066432 83223 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102067 83223 301 301 0 101766 0
vsize: 408268
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 144574 0 0 0 61709 301 0 0 25 0 1 0 914637945 419639296 83452 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102451 83452 301 301 0 102150 0
vsize: 409804
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 144575 0 0 0 62709 301 0 0 25 0 1 0 914637945 419639296 83453 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102451 83453 301 301 0 102150 0
vsize: 409804
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 144694 0 0 0 63709 302 0 0 25 0 1 0 914637945 419639296 83572 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102451 83572 301 301 0 102150 0
vsize: 409804
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 144694 0 0 0 64709 302 0 0 25 0 1 0 914637945 419639296 83572 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102451 83572 301 301 0 102150 0
vsize: 409804
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 144799 0 0 0 65709 302 0 0 25 0 1 0 914637945 419901440 83612 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102515 83612 301 301 0 102214 0
vsize: 410060
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 145509 0 0 0 66707 304 0 0 25 0 1 0 914637945 421736448 83870 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102963 83870 301 301 0 102662 0
vsize: 411852
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 145725 0 0 0 67707 304 0 0 25 0 1 0 914637945 422260736 83957 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103091 83957 301 301 0 102790 0
vsize: 412364
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 145766 0 0 0 68707 304 0 0 25 0 1 0 914637945 422260736 83998 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103091 83998 301 301 0 102790 0
vsize: 412364
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 146031 0 0 0 69707 305 0 0 25 0 1 0 914637945 422785024 84134 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103219 84134 301 301 0 102918 0
vsize: 412876
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 146032 0 0 0 70707 305 0 0 25 0 1 0 914637945 422785024 84135 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103219 84135 301 301 0 102918 0
vsize: 412876
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 146040 0 0 0 71707 305 0 0 25 0 1 0 914637945 422785024 84143 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103219 84143 301 301 0 102918 0
vsize: 412876
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 146356 0 0 0 72707 306 0 0 25 0 1 0 914637945 423309312 84330 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103347 84331 301 301 0 103046 0
vsize: 413388
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 146633 0 0 0 73706 307 0 0 25 0 1 0 914637945 423833600 84478 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103475 84478 301 301 0 103174 0
vsize: 413900
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 147089 0 0 0 74705 308 0 0 25 0 1 0 914637945 424882176 84676 4294967295 134512640 135730672 3221224576 3221223200 134748249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103731 84676 301 301 0 103430 0
vsize: 414924
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 147270 0 0 0 75705 308 0 0 25 0 1 0 914637945 425140224 84791 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103794 84791 301 301 0 103493 0
vsize: 415176
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 147922 0 0 0 76704 309 0 0 25 0 1 0 914637945 426713088 85055 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104178 85055 301 301 0 103877 0
vsize: 416712
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 147924 0 0 0 77704 309 0 0 25 0 1 0 914637945 426713088 85057 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104178 85057 301 301 0 103877 0
vsize: 416712
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 147926 0 0 0 78704 310 0 0 25 0 1 0 914637945 426713088 85059 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104178 85059 301 301 0 103877 0
vsize: 416712
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 147927 0 0 0 79704 310 0 0 25 0 1 0 914637945 426713088 85060 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104178 85060 301 301 0 103877 0
vsize: 416712
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 148146 0 0 0 80704 310 0 0 25 0 1 0 914637945 427237376 85150 4294967295 134512640 135730672 3221224576 3221223088 135283013 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104306 85150 301 301 0 104005 0
vsize: 417224
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 148873 0 0 0 81703 311 0 0 25 0 1 0 914637945 430174208 85679 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105023 85679 301 301 0 104722 0
vsize: 420092
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 149142 0 0 0 82703 312 0 0 25 0 1 0 914637945 431230976 85883 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105281 85883 301 301 0 104980 0
vsize: 421124
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 149330 0 0 0 83702 312 0 0 25 0 1 0 914637945 431755264 85941 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85941 301 301 0 105108 0
vsize: 421636
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 149332 0 0 0 84702 312 0 0 25 0 1 0 914637945 431755264 85943 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85943 301 301 0 105108 0
vsize: 421636
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 149333 0 0 0 85702 312 0 0 25 0 1 0 914637945 431755264 85944 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85944 301 301 0 105108 0
vsize: 421636
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 149334 0 0 0 86702 313 0 0 25 0 1 0 914637945 431755264 85945 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85945 301 301 0 105108 0
vsize: 421636
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 149370 0 0 0 87703 313 0 0 25 0 1 0 914637945 431755264 85981 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105409 85981 301 301 0 105108 0
vsize: 421636
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 149371 0 0 0 88702 313 0 0 25 0 1 0 914637945 431755264 85982 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85982 301 301 0 105108 0
vsize: 421636
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 149372 0 0 0 89702 313 0 0 25 0 1 0 914637945 431755264 85983 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 85983 301 301 0 105108 0
vsize: 421636
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 149456 0 0 0 90702 313 0 0 25 0 1 0 914637945 431755264 86067 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 86067 301 301 0 105108 0
vsize: 421636
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 149479 0 0 0 91702 314 0 0 25 0 1 0 914637945 431755264 86090 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105409 86090 301 301 0 105108 0
vsize: 421636
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 149927 0 0 0 92701 315 0 0 25 0 1 0 914637945 433065984 86215 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105729 86215 301 301 0 105428 0
vsize: 422916
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 150016 0 0 0 93701 315 0 0 25 0 1 0 914637945 433328128 86239 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105793 86239 301 301 0 105492 0
vsize: 423172
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 150017 0 0 0 94701 315 0 0 25 0 1 0 914637945 433328128 86240 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105793 86240 301 301 0 105492 0
vsize: 423172
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 150018 0 0 0 95701 315 0 0 25 0 1 0 914637945 433328128 86241 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105793 86241 301 301 0 105492 0
vsize: 423172
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 150020 0 0 0 96701 315 0 0 25 0 1 0 914637945 433328128 86243 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105793 86243 301 301 0 105492 0
vsize: 423172
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 150106 0 0 0 97701 315 0 0 25 0 1 0 914637945 433328128 86329 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105793 86329 301 301 0 105492 0
vsize: 423172
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 150871 0 0 0 98700 316 0 0 25 0 1 0 914637945 435425280 86579 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106305 86579 301 301 0 106004 0
vsize: 425220
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 150872 0 0 0 99701 316 0 0 25 0 1 0 914637945 435425280 86580 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106305 86580 301 301 0 106004 0
vsize: 425220
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 150939 0 0 0 100700 317 0 0 25 0 1 0 914637945 435425280 86647 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106305 86647 301 301 0 106004 0
vsize: 425220
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 151088 0 0 0 101700 317 0 0 25 0 1 0 914637945 435949568 86667 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106433 86667 301 301 0 106132 0
vsize: 425732
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 151089 0 0 0 102700 317 0 0 25 0 1 0 914637945 435949568 86668 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106433 86668 301 301 0 106132 0
vsize: 425732
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 151090 0 0 0 103700 318 0 0 25 0 1 0 914637945 435949568 86669 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106433 86669 301 301 0 106132 0
vsize: 425732
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 151246 0 0 0 104700 318 0 0 25 0 1 0 914637945 436473856 86696 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106561 86696 301 301 0 106260 0
vsize: 426244
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 151475 0 0 0 105700 318 0 0 25 0 1 0 914637945 436998144 86794 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106689 86794 301 301 0 106388 0
vsize: 426756
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 151960 0 0 0 106699 319 0 0 25 0 1 0 914637945 438308864 86955 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107009 86955 301 301 0 106708 0
vsize: 428036
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 152176 0 0 0 107699 320 0 0 25 0 1 0 914637945 438833152 87042 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107137 87042 301 301 0 106836 0
vsize: 428548
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 152791 0 0 0 108698 321 0 0 25 0 1 0 914637945 440946688 87463 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107653 87463 301 301 0 107352 0
vsize: 430612
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 152995 0 0 0 109697 322 0 0 25 0 1 0 914637945 441470976 87538 4294967295 134512640 135730672 3221224576 3221223176 134747441 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107781 87538 301 301 0 107480 0
vsize: 431124
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 152997 0 0 0 110697 322 0 0 25 0 1 0 914637945 441470976 87540 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107781 87540 301 301 0 107480 0
vsize: 431124
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 152998 0 0 0 111697 322 0 0 25 0 1 0 914637945 441470976 87541 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107781 87541 301 301 0 107480 0
vsize: 431124
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 153001 0 0 0 112697 322 0 0 25 0 1 0 914637945 441470976 87544 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107781 87544 301 301 0 107480 0
vsize: 431124
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 153173 0 0 0 113697 323 0 0 25 0 1 0 914637945 441995264 87587 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107909 87587 301 301 0 107608 0
vsize: 431636
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 153175 0 0 0 114697 323 0 0 25 0 1 0 914637945 441995264 87589 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107909 87589 301 301 0 107608 0
vsize: 431636
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 153228 0 0 0 115697 323 0 0 25 0 1 0 914637945 442126336 87609 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107941 87609 301 301 0 107640 0
vsize: 431764
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 153621 0 0 0 116696 324 0 0 25 0 1 0 914637945 443441152 87744 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108262 87744 301 301 0 107961 0
vsize: 433048
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 153621 0 0 0 117696 324 0 0 25 0 1 0 914637945 443441152 87744 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108262 87744 301 301 0 107961 0
vsize: 433048
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 153622 0 0 0 118696 324 0 0 25 0 1 0 914637945 443441152 87745 4294967295 134512640 135730672 3221224576 3221223200 134748244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108262 87745 301 301 0 107961 0
vsize: 433048
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21613
Raw data (stat): 21613 (pb2sat-v2) R 21612 8378 8377 0 -1 0 153857 0 0 0 119696 325 0 0 25 0 1 0 914637945 443965440 87851 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108390 87851 301 301 0 108089 0
vsize: 433560
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.92 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 21613
Raw data (stat): 21613 (pb2sat-v2) Z 21612 8378 8377 0 -1 12 153859 0 0 0 119866 343 0 0 25 0 1 0 914637945 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.91
CPU time (s): 1202.1
CPU user time (s): 1198.67
CPU system time (s): 3.43148
CPU usage (%): 100.016
Max. virtual memory (Kb): 433560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####