PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb
MD5SUM	eb50800dc2fc522dd2f29a347fbab1da
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
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	454.966
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	82
Trace number 42559

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 10:35:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25773 boxname=wulflinc1 idbench=1073 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  eb50800dc2fc522dd2f29a347fbab1da  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-vpm1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-vpm1.opb
IDLAUNCH: 25773
/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:        620268 kB
Buffers:         31840 kB
Cached:         358316 kB
SwapCached:       1184 kB
Active:          30488 kB
Inactive:       361924 kB
HighTotal:      131008 kB
HighFree:         9072 kB
LowTotal:       903652 kB
LowFree:        611196 kB
SwapTotal:     2097136 kB
SwapFree:      2094888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16128 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 10:55:35 (client local time) WITH STATUS 0 IN 1202.25 SECONDS
stats: 25773 7 1202.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 235071/1061298	Time: 214.271/86400
c Decision: 235071/1061298	Time: 237.401/86400
c Decision: 235071/1061298	Time: 262.349/86400
c Decision: 235071/1061298	Time: 290.625/86400
c Decision: 235071/1061298	Time: 315.107/86400
c Decision: 235077/1061298	Time: 350.226/86400
c Decision: 235077/1061298	Time: 374.508/86400
c Decision: 235077/1061298	Time: 399.569/86400
c Decision: 235077/1061298	Time: 421.534/86400
c Decision: 235077/1061298	Time: 441.731/86400
c Decision: 235077/1061298	Time: 466.099/86400
c Decision: 235077/1061298	Time: 485.987/86400
c Decision: 235077/1061298	Time: 503.838/86400
c Decision: 235077/1061298	Time: 525.627/86400
c Decision: 235077/1061298	Time: 578.84/86400
c Decision: 235077/1061298	Time: 621.044/86400
c Decision: 235077/1061298	Time: 658.138/86400
c Decision: 235077/1061298	Time: 691.734/86400
c Decision: 235077/1061298	Time: 717.909/86400
c Decision: 235077/1061298	Time: 738.749/86400
c Decision: 235077/1061298	Time: 776.149/86400
c Decision: 235077/1061298	Time: 808.821/86400
c Decision: 235077/1061298	Time: 832.899/86400
c Decision: 235077/1061298	Time: 858.439/86400
c Decision: 235077/1061298	Time: 890.235/86400
c Decision: 235077/1061298	Time: 922.488/86400
c Decision: 235077/1061298	Time: 952.098/86400
c Decision: 235077/1061298	Time: 972.797/86400
c Decision: 235077/1061298	Time: 1007.75/86400
c Decision: 235077/1061298	Time: 1035.34/86400
c Decision: 235077/1061298	Time: 1062.38/86400
c Decision: 235077/1061298	Time: 1082.37/86400
c Decision: 235077/1061298	Time: 1103.7/86400
c Decision: 235077/1061298	Time: 1125.39/86400
c Decision: 235077/1061298	Time: 1148.71/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.89 0.93 0.90 1/55 17569
Raw data (stat): 17569 (runsolver) R 17568 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913230026 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.91 0.94 0.90 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 26115 0 0 0 942 56 0 0 25 0 1 0 913230026 76783616 15169 4294967295 134512640 135730672 3221224576 3221199508 134546571 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18746 15169 301 301 0 18445 0
vsize: 74984
[startup+20.0016 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 52195 0 0 0 1887 111 0 0 25 0 1 0 913230026 151556096 30276 4294967295 134512640 135730672 3221224576 3221199120 134610881 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37001 30276 301 301 0 36700 0
vsize: 148004
[startup+30.0024 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 89894 0 0 0 2811 187 0 0 25 0 1 0 913230026 264843264 46290 4294967295 134512640 135730672 3221224576 3221201408 134611307 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64659 46290 301 301 0 64358 0
vsize: 258636
[startup+40.0021 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 103947 0 0 0 3778 220 0 0 25 0 1 0 913230026 300830720 60091 4294967295 134512640 135730672 3221224576 3221198680 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73445 60092 301 301 0 73144 0
vsize: 293780
[startup+50.0019 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 144064 0 0 0 4695 303 0 0 25 0 1 0 913230026 427147264 81619 4294967295 134512640 135730672 3221224576 3221196820 135281170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104284 81619 301 301 0 103983 0
vsize: 417136
[startup+60.0017 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 147534 0 0 0 5686 311 0 0 25 0 1 0 913230026 430309376 83004 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105056 83004 301 301 0 104755 0
vsize: 420224
[startup+70.0025 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 148258 0 0 0 6685 313 0 0 25 0 1 0 913230026 433684480 83728 4294967295 134512640 135730672 3221224576 3221223232 134734824 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105880 83728 301 301 0 105579 0
vsize: 423520
[startup+80.0023 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 148807 0 0 0 7684 314 0 0 25 0 1 0 913230026 436371456 84277 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106536 84277 301 301 0 106235 0
vsize: 426144
[startup+90.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 149123 0 0 0 8682 315 0 0 25 0 1 0 913230026 437985280 84593 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106930 84593 301 301 0 106629 0
vsize: 427720
[startup+100.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 149280 0 0 0 9681 317 0 0 25 0 1 0 913230026 438845440 84750 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107140 84750 301 301 0 106839 0
vsize: 428560
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 149288 0 0 0 10681 317 0 0 25 0 1 0 913230026 438845440 84758 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107140 84758 301 301 0 106839 0
vsize: 428560
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 149466 0 0 0 11681 317 0 0 25 0 1 0 913230026 439705600 84936 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107350 84936 301 301 0 107049 0
vsize: 429400
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 149518 0 0 0 12681 317 0 0 25 0 1 0 913230026 439975936 84988 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107416 84988 301 301 0 107115 0
vsize: 429664
[startup+140.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 149533 0 0 0 13681 318 0 0 25 0 1 0 913230026 439975936 85003 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107416 85003 301 301 0 107115 0
vsize: 429664
[startup+150.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 149630 0 0 0 14681 318 0 0 25 0 1 0 913230026 440516608 85100 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107548 85100 301 301 0 107247 0
vsize: 430192
[startup+160.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 149792 0 0 0 15680 319 0 0 25 0 1 0 913230026 441462784 85262 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107779 85262 301 301 0 107478 0
vsize: 431116
[startup+170.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 149861 0 0 0 16680 319 0 0 25 0 1 0 913230026 441864192 85331 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107877 85331 301 301 0 107576 0
vsize: 431508
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 149895 0 0 0 17680 320 0 0 25 0 1 0 913230026 441999360 85365 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107910 85365 301 301 0 107609 0
vsize: 431640
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 150054 0 0 0 18679 320 0 0 25 0 1 0 913230026 442806272 85491 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108107 85491 301 301 0 107806 0
vsize: 432428
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 150092 0 0 0 19679 321 0 0 25 0 1 0 913230026 442941440 85529 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108140 85529 301 301 0 107839 0
vsize: 432560
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 150167 0 0 0 20678 322 0 0 25 0 1 0 913230026 443346944 85604 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108239 85604 301 301 0 107938 0
vsize: 432956
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 150172 0 0 0 21678 322 0 0 25 0 1 0 913230026 443346944 85609 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108239 85609 301 301 0 107938 0
vsize: 432956
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 150361 0 0 0 22677 323 0 0 25 0 1 0 913230026 444153856 85765 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108436 85765 301 301 0 108135 0
vsize: 433744
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 150563 0 0 0 23676 324 0 0 25 0 1 0 913230026 445100032 85967 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108667 85967 301 301 0 108366 0
vsize: 434668
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 150568 0 0 0 24676 325 0 0 25 0 1 0 913230026 445100032 85972 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108667 85972 301 301 0 108366 0
vsize: 434668
[startup+260.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 152644 0 0 0 25671 329 0 0 25 0 1 0 913230026 453591040 88048 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110740 88048 301 301 0 110439 0
vsize: 442960
[startup+270.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 152661 0 0 0 26671 330 0 0 25 0 1 0 913230026 445100032 85992 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108667 85992 301 301 0 108366 0
vsize: 434668
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 152665 0 0 0 27669 331 0 0 25 0 1 0 913230026 445100032 85996 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108667 85996 301 301 0 108366 0
vsize: 434668
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 154741 0 0 0 28663 337 0 0 25 0 1 0 913230026 445100032 85999 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108667 85999 301 301 0 108366 0
vsize: 434668
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 154892 0 0 0 29662 338 0 0 25 0 1 0 913230026 445804544 86150 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108839 86150 301 301 0 108538 0
vsize: 435356
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 155051 0 0 0 30661 339 0 0 25 0 1 0 913230026 446353408 86276 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108973 86276 301 301 0 108672 0
vsize: 435892
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 157230 0 0 0 31656 344 0 0 25 0 1 0 913230026 446881792 86382 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109102 86382 301 301 0 108801 0
vsize: 436408
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 157391 0 0 0 32656 344 0 0 25 0 1 0 913230026 447660032 86543 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109292 86543 301 301 0 108991 0
vsize: 437168
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 159534 0 0 0 33651 350 0 0 25 0 1 0 913230026 456544256 88686 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111461 88686 301 301 0 111160 0
vsize: 445844
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 159700 0 0 0 34650 351 0 0 25 0 1 0 913230026 448790528 86779 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109568 86779 301 301 0 109267 0
vsize: 438272
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 159812 0 0 0 35649 351 0 0 25 0 1 0 913230026 449187840 86858 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109665 86858 301 301 0 109364 0
vsize: 438660
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 161908 0 0 0 36644 357 0 0 25 0 1 0 913230026 449323008 86881 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109698 86881 301 301 0 109397 0
vsize: 438792
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 162040 0 0 0 37643 358 0 0 25 0 1 0 913230026 449859584 86980 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109829 86980 301 301 0 109528 0
vsize: 439316
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 162194 0 0 0 38643 358 0 0 25 0 1 0 913230026 450392064 87068 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109959 87068 301 301 0 109658 0
vsize: 439836
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 164269 0 0 0 39638 364 0 0 25 0 1 0 913230026 450392064 87070 4294967295 134512640 135730672 3221224576 3221223200 134783294 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109959 87070 301 301 0 109658 0
vsize: 439836
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 164308 0 0 0 40638 364 0 0 25 0 1 0 913230026 450527232 87109 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109992 87109 301 301 0 109691 0
vsize: 439968
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 164346 0 0 0 41637 365 0 0 25 0 1 0 913230026 450662400 87147 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110025 87147 301 301 0 109724 0
vsize: 440100
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 166447 0 0 0 42631 370 0 0 25 0 1 0 913230026 450797568 87175 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110058 87175 301 301 0 109757 0
vsize: 440232
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 166448 0 0 0 43630 371 0 0 25 0 1 0 913230026 450797568 87176 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110058 87176 301 301 0 109757 0
vsize: 440232
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 168524 0 0 0 44625 376 0 0 25 0 1 0 913230026 459288576 89252 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112131 89252 301 301 0 111830 0
vsize: 448524
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 168529 0 0 0 45624 377 0 0 25 0 1 0 913230026 450797568 87184 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110058 87184 301 301 0 109757 0
vsize: 440232
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 168578 0 0 0 46624 378 0 0 25 0 1 0 913230026 450928640 87200 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110090 87200 301 301 0 109789 0
vsize: 440360
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 170729 0 0 0 47618 384 0 0 25 0 1 0 913230026 451469312 87278 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110222 87278 301 301 0 109921 0
vsize: 440888
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 170740 0 0 0 48618 384 0 0 25 0 1 0 913230026 451469312 87289 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110222 87289 301 301 0 109921 0
vsize: 440888
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 172816 0 0 0 49613 389 0 0 25 0 1 0 913230026 451469312 87292 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110222 87292 301 301 0 109921 0
vsize: 440888
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 172822 0 0 0 50612 390 0 0 25 0 1 0 913230026 451469312 87298 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110222 87298 301 301 0 109921 0
vsize: 440888
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 174896 0 0 0 51607 396 0 0 25 0 1 0 913230026 451469312 87299 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110222 87299 301 301 0 109921 0
vsize: 440888
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 174899 0 0 0 52606 396 0 0 25 0 1 0 913230026 451469312 87302 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110222 87302 301 301 0 109921 0
vsize: 440888
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 176976 0 0 0 53601 402 0 0 25 0 1 0 913230026 451469312 87306 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110222 87306 301 301 0 109921 0
vsize: 440888
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 176987 0 0 0 54601 402 0 0 25 0 1 0 913230026 451469312 87317 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110222 87317 301 301 0 109921 0
vsize: 440888
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 179065 0 0 0 55596 407 0 0 25 0 1 0 913230026 451469312 87322 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110222 87322 301 301 0 109921 0
vsize: 440888
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 179076 0 0 0 56596 408 0 0 25 0 1 0 913230026 451469312 87333 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110222 87333 301 301 0 109921 0
vsize: 440888
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 181197 0 0 0 57590 413 0 0 25 0 1 0 913230026 451739648 87381 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110288 87381 301 301 0 109987 0
vsize: 441152
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 181305 0 0 0 58590 414 0 0 25 0 1 0 913230026 452214784 87489 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110404 87489 301 301 0 110103 0
vsize: 441616
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 181600 0 0 0 59589 415 0 0 25 0 1 0 913230026 453746688 87784 4294967295 134512640 135730672 3221224576 3221223184 134744447 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110778 87784 301 301 0 110477 0
vsize: 443112
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 181892 0 0 0 60588 416 0 0 25 0 1 0 913230026 455270400 88076 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111150 88076 301 301 0 110849 0
vsize: 444600
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 181954 0 0 0 61587 417 0 0 25 0 1 0 913230026 455540736 88138 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111216 88138 301 301 0 110915 0
vsize: 444864
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 184599 0 0 0 62581 423 0 0 25 0 1 0 913230026 457523200 88414 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111700 88414 301 301 0 111399 0
vsize: 446800
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 184628 0 0 0 63581 424 0 0 25 0 1 0 913230026 457658368 88443 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111733 88443 301 301 0 111432 0
vsize: 446932
[startup+650.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 184676 0 0 0 64580 424 0 0 25 0 1 0 913230026 457928704 88491 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111799 88491 301 301 0 111498 0
vsize: 447196
[startup+660.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 184796 0 0 0 65580 425 0 0 25 0 1 0 913230026 458063872 88611 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111832 88611 301 301 0 111531 0
vsize: 447328
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 186929 0 0 0 66575 430 0 0 25 0 1 0 913230026 458194944 88638 4294967295 134512640 135730672 3221224576 3221223188 134783180 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111864 88638 301 301 0 111563 0
vsize: 447456
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 187085 0 0 0 67575 430 0 0 25 0 1 0 913230026 458989568 88728 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112058 88728 301 301 0 111757 0
vsize: 448232
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 187095 0 0 0 68575 431 0 0 25 0 1 0 913230026 458989568 88738 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112058 88738 301 301 0 111757 0
vsize: 448232
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 187140 0 0 0 69574 432 0 0 25 0 1 0 913230026 459259904 88783 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112124 88783 301 301 0 111823 0
vsize: 448496
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 189245 0 0 0 70569 437 0 0 25 0 1 0 913230026 459395072 88815 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112157 88815 301 301 0 111856 0
vsize: 448628
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 189246 0 0 0 71569 437 0 0 25 0 1 0 913230026 459395072 88816 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112157 88816 301 301 0 111856 0
vsize: 448628
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 189248 0 0 0 72568 438 0 0 25 0 1 0 913230026 459395072 88818 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112157 88818 301 301 0 111856 0
vsize: 448628
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 189250 0 0 0 73568 438 0 0 25 0 1 0 913230026 459395072 88820 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112157 88820 301 301 0 111856 0
vsize: 448628
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 191325 0 0 0 74563 444 0 0 25 0 1 0 913230026 459395072 88822 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112157 88822 301 301 0 111856 0
vsize: 448628
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 191329 0 0 0 75563 444 0 0 25 0 1 0 913230026 459395072 88826 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112157 88826 301 301 0 111856 0
vsize: 448628
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 193404 0 0 0 76557 450 0 0 25 0 1 0 913230026 459395072 88828 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112157 88828 301 301 0 111856 0
vsize: 448628
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 193408 0 0 0 77556 451 0 0 25 0 1 0 913230026 459395072 88832 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112157 88832 301 301 0 111856 0
vsize: 448628
[startup+790.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 195486 0 0 0 78552 455 0 0 25 0 1 0 913230026 459395072 88837 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112157 88837 301 301 0 111856 0
vsize: 448628
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 195489 0 0 0 79551 456 0 0 25 0 1 0 913230026 459395072 88840 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112157 88840 301 301 0 111856 0
vsize: 448628
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 195539 0 0 0 80551 457 0 0 25 0 1 0 913230026 459665408 88890 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112223 88890 301 301 0 111922 0
vsize: 448892
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 195546 0 0 0 81551 457 0 0 25 0 1 0 913230026 459665408 88897 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112223 88897 301 301 0 111922 0
vsize: 448892
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 197620 0 0 0 82546 462 0 0 25 0 1 0 913230026 459665408 88898 4294967295 134512640 135730672 3221224576 3221222908 134739216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112223 88898 301 301 0 111922 0
vsize: 448892
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 197639 0 0 0 83545 463 0 0 25 0 1 0 913230026 459800576 88917 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112256 88917 301 301 0 111955 0
vsize: 449024
[startup+850.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 197663 0 0 0 84545 463 0 0 25 0 1 0 913230026 459935744 88941 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112289 88941 301 301 0 111988 0
vsize: 449156
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 199737 0 0 0 85540 468 0 0 25 0 1 0 913230026 459935744 88942 4294967295 134512640 135730672 3221224576 3221222900 134732444 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112289 88942 301 301 0 111988 0
vsize: 449156
[startup+870.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 199741 0 0 0 86539 469 0 0 25 0 1 0 913230026 459935744 88946 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112289 88946 301 301 0 111988 0
vsize: 449156
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 199744 0 0 0 87539 470 0 0 25 0 1 0 913230026 459935744 88949 4294967295 134512640 135730672 3221224576 3221223088 134745792 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112289 88949 301 301 0 111988 0
vsize: 449156
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 201821 0 0 0 88534 475 0 0 25 0 1 0 913230026 459935744 88953 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112289 88953 301 301 0 111988 0
vsize: 449156
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 201828 0 0 0 89533 476 0 0 25 0 1 0 913230026 459935744 88960 4294967295 134512640 135730672 3221224576 3221223216 134748259 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112289 88960 301 301 0 111988 0
vsize: 449156
[startup+910.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 203904 0 0 0 90527 482 0 0 25 0 1 0 913230026 459935744 88963 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112289 88963 301 301 0 111988 0
vsize: 449156
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 203973 0 0 0 91527 482 0 0 25 0 1 0 913230026 460468224 89032 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89032 301 301 0 112118 0
vsize: 449676
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 203975 0 0 0 92526 483 0 0 25 0 1 0 913230026 460468224 89034 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89034 301 301 0 112118 0
vsize: 449676
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 206052 0 0 0 93521 488 0 0 25 0 1 0 913230026 468959232 91111 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114492 91111 301 301 0 114191 0
vsize: 457968
[startup+950.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 206054 0 0 0 94521 489 0 0 25 0 1 0 913230026 460468224 89040 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89040 301 301 0 112118 0
vsize: 449676
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 206057 0 0 0 95521 489 0 0 25 0 1 0 913230026 460468224 89043 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89043 301 301 0 112118 0
vsize: 449676
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 208133 0 0 0 96516 494 0 0 25 0 1 0 913230026 468959232 91119 4294967295 134512640 135730672 3221224576 3221222760 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114492 91119 301 301 0 114191 0
vsize: 457968
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 208134 0 0 0 97515 495 0 0 25 0 1 0 913230026 460468224 89047 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89047 301 301 0 112118 0
vsize: 449676
[startup+990.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 208135 0 0 0 98514 496 0 0 25 0 1 0 913230026 460468224 89048 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89048 301 301 0 112118 0
vsize: 449676
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 208137 0 0 0 99514 496 0 0 25 0 1 0 913230026 460468224 89050 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89050 301 301 0 112118 0
vsize: 449676
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 210211 0 0 0 100508 502 0 0 25 0 1 0 913230026 460468224 89051 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89051 301 301 0 112118 0
vsize: 449676
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 210214 0 0 0 101507 503 0 0 25 0 1 0 913230026 460468224 89054 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89054 301 301 0 112118 0
vsize: 449676
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 212288 0 0 0 102502 508 0 0 25 0 1 0 913230026 460468224 89055 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89055 301 301 0 112118 0
vsize: 449676
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 212291 0 0 0 103501 509 0 0 25 0 1 0 913230026 460468224 89058 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89058 301 301 0 112118 0
vsize: 449676
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 212294 0 0 0 104501 510 0 0 25 0 1 0 913230026 460468224 89061 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89061 301 301 0 112118 0
vsize: 449676
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 214369 0 0 0 105495 516 0 0 25 0 1 0 913230026 460468224 89063 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89063 301 301 0 112118 0
vsize: 449676
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 214373 0 0 0 106495 516 0 0 25 0 1 0 913230026 460468224 89067 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89067 301 301 0 112118 0
vsize: 449676
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 214377 0 0 0 107494 517 0 0 25 0 1 0 913230026 460468224 89071 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89071 301 301 0 112118 0
vsize: 449676
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 216452 0 0 0 108489 523 0 0 25 0 1 0 913230026 460468224 89073 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89073 301 301 0 112118 0
vsize: 449676
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 216454 0 0 0 109488 524 0 0 25 0 1 0 913230026 460468224 89075 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89075 301 301 0 112118 0
vsize: 449676
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 218532 0 0 0 110483 529 0 0 25 0 1 0 913230026 460468224 89080 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89080 301 301 0 112118 0
vsize: 449676
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 218534 0 0 0 111483 529 0 0 25 0 1 0 913230026 460468224 89082 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89082 301 301 0 112118 0
vsize: 449676
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 218537 0 0 0 112482 530 0 0 25 0 1 0 913230026 460468224 89085 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89085 301 301 0 112118 0
vsize: 449676
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 220614 0 0 0 113477 535 0 0 25 0 1 0 913230026 460468224 89089 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89089 301 301 0 112118 0
vsize: 449676
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 220619 0 0 0 114477 535 0 0 25 0 1 0 913230026 460468224 89094 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89094 301 301 0 112118 0
vsize: 449676
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 222695 0 0 0 115472 541 0 0 25 0 1 0 913230026 460468224 89097 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89097 301 301 0 112118 0
vsize: 449676
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 222700 0 0 0 116472 541 0 0 25 0 1 0 913230026 460468224 89102 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89102 301 301 0 112118 0
vsize: 449676
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 224776 0 0 0 117466 547 0 0 25 0 1 0 913230026 460468224 89105 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89105 301 301 0 112118 0
vsize: 449676
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 224781 0 0 0 118465 548 0 0 25 0 1 0 913230026 460468224 89110 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89110 301 301 0 112118 0
vsize: 449676
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 226857 0 0 0 119460 554 0 0 25 0 1 0 913230026 460468224 89113 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89113 301 301 0 112118 0
vsize: 449676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.12 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 17569
Raw data (stat): 17569 (pb2sat-v2) R 17568 8378 8377 0 -1 0 226857 0 0 0 119460 554 0 0 25 0 1 0 913230026 460468224 89113 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112419 89113 301 301 0 112118 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.12
CPU time (s): 1202.25
CPU user time (s): 1196.53
CPU system time (s): 5.72013
CPU usage (%): 100.011
Max. virtual memory (Kb): 457968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####