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/miplib/normalized-mps-v2-20-10-vpm1.opb
MD5SUM	9d68724ddc6098af63bcc619f21688cc
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	459.704
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 42445

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 07:35:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25652 boxname=wulflinc1 idbench=952 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9d68724ddc6098af63bcc619f21688cc  /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: 25652
/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:        694592 kB
Buffers:         33484 kB
Cached:         282408 kB
SwapCached:       1192 kB
Active:          44096 kB
Inactive:       274116 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        694340 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16120 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:55:21 (client local time) WITH STATUS 0 IN 1202.24 SECONDS
stats: 25652 7 1202.24 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: 216.415/86400
c Decision: 235071/1061298	Time: 239.305/86400
c Decision: 235071/1061298	Time: 264.452/86400
c Decision: 235071/1061298	Time: 293.035/86400
c Decision: 235071/1061298	Time: 317.795/86400
c Decision: 235077/1061298	Time: 353.301/86400
c Decision: 235077/1061298	Time: 377.845/86400
c Decision: 235077/1061298	Time: 403.101/86400
c Decision: 235077/1061298	Time: 425.313/86400
c Decision: 235077/1061298	Time: 445.746/86400
c Decision: 235077/1061298	Time: 470.395/86400
c Decision: 235077/1061298	Time: 490.511/86400
c Decision: 235077/1061298	Time: 508.568/86400
c Decision: 235077/1061298	Time: 530.606/86400
c Decision: 235077/1061298	Time: 584.399/86400
c Decision: 235077/1061298	Time: 627.066/86400
c Decision: 235077/1061298	Time: 664.566/86400
c Decision: 235077/1061298	Time: 698.525/86400
c Decision: 235077/1061298	Time: 724.985/86400
c Decision: 235077/1061298	Time: 746.056/86400
c Decision: 235077/1061298	Time: 783.857/86400
c Decision: 235077/1061298	Time: 816.884/86400
c Decision: 235077/1061298	Time: 841.225/86400
c Decision: 235077/1061298	Time: 867.039/86400
c Decision: 235077/1061298	Time: 899.181/86400
c Decision: 235077/1061298	Time: 931.779/86400
c Decision: 235077/1061298	Time: 961.711/86400
c Decision: 235077/1061298	Time: 982.627/86400
c Decision: 235077/1061298	Time: 1017.87/86400
c Decision: 235077/1061298	Time: 1045.75/86400
c Decision: 235077/1061298	Time: 1073.09/86400
c Decision: 235077/1061298	Time: 1093.29/86400
c Decision: 235077/1061298	Time: 1114.86/86400
c Decision: 235077/1061298	Time: 1136.79/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.79 0.92 0.89 2/55 15819
Raw data (stat): 15819 (runsolver) R 15818 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912148494 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.82 0.93 0.90 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 26339 0 0 0 941 57 0 0 25 0 1 0 912148494 77053952 15390 4294967295 134512640 135730672 3221224576 3221199552 135284212 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18812 15391 301 301 0 18511 0
vsize: 75248
[startup+20 s]
Raw data (loadavg): 0.85 0.93 0.90 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 52622 0 0 0 1882 115 0 0 25 0 1 0 912148494 152096768 30698 4294967295 134512640 135730672 3221224576 3221209780 135282202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37133 30698 301 301 0 36832 0
vsize: 148532
[startup+30.0006 s]
Raw data (loadavg): 0.87 0.93 0.90 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 90301 0 0 0 2803 194 0 0 25 0 1 0 912148494 264843264 46690 4294967295 134512640 135730672 3221224576 3221199520 134546371 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64659 46690 301 301 0 64358 0
vsize: 258636
[startup+40.0004 s]
Raw data (loadavg): 0.89 0.93 0.90 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 104446 0 0 0 3769 229 0 0 25 0 1 0 912148494 301506560 60583 4294967295 134512640 135730672 3221224576 3221209352 135284064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73610 60584 301 301 0 73309 0
vsize: 294440
[startup+50.0012 s]
Raw data (loadavg): 0.90 0.93 0.90 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 144064 0 0 0 4691 306 0 0 25 0 1 0 912148494 427147264 81619 4294967295 134512640 135730672 3221224576 3221196820 135281221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104284 81619 301 301 0 103983 0
vsize: 417136
[startup+60.0012 s]
Raw data (loadavg): 0.92 0.93 0.90 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 147565 0 0 0 5683 314 0 0 25 0 1 0 912148494 430444544 83035 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105089 83035 301 301 0 104788 0
vsize: 420356
[startup+70.0019 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 148258 0 0 0 6681 316 0 0 25 0 1 0 912148494 433684480 83728 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105880 83728 301 301 0 105579 0
vsize: 423520
[startup+80.0026 s]
Raw data (loadavg): 0.94 0.94 0.90 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 148806 0 0 0 7680 318 0 0 25 0 1 0 912148494 436371456 84276 4294967295 134512640 135730672 3221224576 3221223200 134748249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106536 84276 301 301 0 106235 0
vsize: 426144
[startup+90.0024 s]
Raw data (loadavg): 0.95 0.94 0.90 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 149122 0 0 0 8680 318 0 0 25 0 1 0 912148494 437985280 84592 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106930 84592 301 301 0 106629 0
vsize: 427720
[startup+100.003 s]
Raw data (loadavg): 0.96 0.94 0.90 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 149279 0 0 0 9679 319 0 0 25 0 1 0 912148494 438845440 84749 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107140 84749 301 301 0 106839 0
vsize: 428560
[startup+110.004 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 149288 0 0 0 10679 320 0 0 25 0 1 0 912148494 438845440 84758 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107140 84758 301 301 0 106839 0
vsize: 428560
[startup+120.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 149465 0 0 0 11678 320 0 0 25 0 1 0 912148494 439705600 84935 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107350 84935 301 301 0 107049 0
vsize: 429400
[startup+130.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 149518 0 0 0 12678 320 0 0 25 0 1 0 912148494 439975936 84988 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107416 84988 301 301 0 107115 0
vsize: 429664
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 149532 0 0 0 13678 321 0 0 25 0 1 0 912148494 439975936 85002 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107416 85002 301 301 0 107115 0
vsize: 429664
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 149590 0 0 0 14678 321 0 0 25 0 1 0 912148494 440246272 85060 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107482 85060 301 301 0 107181 0
vsize: 429928
[startup+160.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 149792 0 0 0 15677 322 0 0 25 0 1 0 912148494 441462784 85262 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107779 85262 301 301 0 107478 0
vsize: 431116
[startup+170.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 149861 0 0 0 16677 323 0 0 25 0 1 0 912148494 441864192 85331 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107877 85331 301 301 0 107576 0
vsize: 431508
[startup+180.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 149866 0 0 0 17676 323 0 0 25 0 1 0 912148494 441864192 85336 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107877 85336 301 301 0 107576 0
vsize: 431508
[startup+190.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 150053 0 0 0 18675 324 0 0 25 0 1 0 912148494 442806272 85490 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108107 85490 301 301 0 107806 0
vsize: 432428
[startup+200.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 150092 0 0 0 19675 325 0 0 25 0 1 0 912148494 442941440 85529 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108140 85529 301 301 0 107839 0
vsize: 432560
[startup+210.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 150166 0 0 0 20675 326 0 0 25 0 1 0 912148494 443346944 85603 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108239 85603 301 301 0 107938 0
vsize: 432956
[startup+220.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 150171 0 0 0 21674 327 0 0 25 0 1 0 912148494 443346944 85608 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108239 85608 301 301 0 107938 0
vsize: 432956
[startup+230.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 150326 0 0 0 22673 327 0 0 25 0 1 0 912148494 444018688 85730 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108403 85730 301 301 0 108102 0
vsize: 433612
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 150521 0 0 0 23672 328 0 0 25 0 1 0 912148494 444964864 85925 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108634 85925 301 301 0 108333 0
vsize: 434536
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 150566 0 0 0 24672 329 0 0 25 0 1 0 912148494 445100032 85970 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108667 85970 301 301 0 108366 0
vsize: 434668
[startup+260.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 150571 0 0 0 25672 329 0 0 25 0 1 0 912148494 445100032 85975 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108667 85975 301 301 0 108366 0
vsize: 434668
[startup+270.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 152661 0 0 0 26667 334 0 0 25 0 1 0 912148494 445100032 85992 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108667 85992 301 301 0 108366 0
vsize: 434668
[startup+280.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 152664 0 0 0 27666 335 0 0 25 0 1 0 912148494 445100032 85995 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108667 85995 301 301 0 108366 0
vsize: 434668
[startup+290.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 154740 0 0 0 28660 340 0 0 25 0 1 0 912148494 453591040 88071 4294967295 134512640 135730672 3221224576 3221222760 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110740 88071 301 301 0 110439 0
vsize: 442960
[startup+300.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 154892 0 0 0 29659 341 0 0 25 0 1 0 912148494 445804544 86150 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108839 86150 301 301 0 108538 0
vsize: 435356
[startup+310.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 155048 0 0 0 30658 341 0 0 25 0 1 0 912148494 446353408 86273 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108973 86273 301 301 0 108672 0
vsize: 435892
[startup+320.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 157202 0 0 0 31653 347 0 0 25 0 1 0 912148494 446685184 86354 4294967295 134512640 135730672 3221224576 3221223200 134748208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109054 86354 301 301 0 108753 0
vsize: 436216
[startup+330.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 157383 0 0 0 32653 347 0 0 25 0 1 0 912148494 447660032 86535 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109292 86535 301 301 0 108991 0
vsize: 437168
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 157461 0 0 0 33652 348 0 0 25 0 1 0 912148494 448053248 86613 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109388 86613 301 301 0 109087 0
vsize: 437552
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 159699 0 0 0 34647 354 0 0 25 0 1 0 912148494 448790528 86778 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109568 86778 301 301 0 109267 0
vsize: 438272
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 159811 0 0 0 35646 354 0 0 25 0 1 0 912148494 449187840 86857 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109665 86857 301 301 0 109364 0
vsize: 438660
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 161887 0 0 0 36641 359 0 0 25 0 1 0 912148494 449187840 86860 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109665 86860 301 301 0 109364 0
vsize: 438660
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 162001 0 0 0 37640 361 0 0 25 0 1 0 912148494 449728512 86974 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109797 86974 301 301 0 109496 0
vsize: 439188
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 162112 0 0 0 38639 361 0 0 25 0 1 0 912148494 450125824 87019 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109894 87019 301 301 0 109593 0
vsize: 439576
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 164269 0 0 0 39634 367 0 0 25 0 1 0 912148494 458883072 89143 4294967295 134512640 135730672 3221224576 3221222736 134769202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112032 89143 301 301 0 111731 0
vsize: 448128
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 164279 0 0 0 40633 367 0 0 25 0 1 0 912148494 450392064 87080 4294967295 134512640 135730672 3221224576 3221223072 134747930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109959 87080 301 301 0 109658 0
vsize: 439836
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 164345 0 0 0 41633 368 0 0 25 0 1 0 912148494 450662400 87146 4294967295 134512640 135730672 3221224576 3221223072 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110025 87146 301 301 0 109724 0
vsize: 440100
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 166446 0 0 0 42628 374 0 0 25 0 1 0 912148494 450797568 87174 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110058 87174 301 301 0 109757 0
vsize: 440232
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 166448 0 0 0 43627 374 0 0 25 0 1 0 912148494 450797568 87176 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110058 87176 301 301 0 109757 0
vsize: 440232
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 166450 0 0 0 44627 375 0 0 25 0 1 0 912148494 450797568 87178 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110058 87178 301 301 0 109757 0
vsize: 440232
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 168526 0 0 0 45622 380 0 0 25 0 1 0 912148494 450797568 87181 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110058 87181 301 301 0 109757 0
vsize: 440232
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 168573 0 0 0 46622 380 0 0 25 0 1 0 912148494 450928640 87195 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110090 87195 301 301 0 109789 0
vsize: 440360
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 170654 0 0 0 47616 386 0 0 25 0 1 0 912148494 450928640 87203 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110090 87203 301 301 0 109789 0
vsize: 440360
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 170738 0 0 0 48616 387 0 0 25 0 1 0 912148494 451469312 87287 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110222 87287 301 301 0 109921 0
vsize: 440888
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 172815 0 0 0 49610 393 0 0 25 0 1 0 912148494 451469312 87291 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110222 87291 301 301 0 109921 0
vsize: 440888
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 172819 0 0 0 50610 393 0 0 25 0 1 0 912148494 451469312 87295 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110222 87295 301 301 0 109921 0
vsize: 440888
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 174895 0 0 0 51604 398 0 0 25 0 1 0 912148494 451469312 87298 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110222 87298 301 301 0 109921 0
vsize: 440888
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 174897 0 0 0 52604 399 0 0 25 0 1 0 912148494 451469312 87300 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110222 87300 301 301 0 109921 0
vsize: 440888
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 176974 0 0 0 53599 404 0 0 25 0 1 0 912148494 459960320 89377 4294967295 134512640 135730672 3221224576 3221222752 134772765 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112295 89377 301 301 0 111994 0
vsize: 449180
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 176980 0 0 0 54599 405 0 0 25 0 1 0 912148494 451469312 87310 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110222 87310 301 301 0 109921 0
vsize: 440888
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 179063 0 0 0 55593 410 0 0 25 0 1 0 912148494 451469312 87320 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110222 87320 301 301 0 109921 0
vsize: 440888
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 179073 0 0 0 56593 410 0 0 25 0 1 0 912148494 451469312 87330 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110222 87330 301 301 0 109921 0
vsize: 440888
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 181152 0 0 0 57588 415 0 0 25 0 1 0 912148494 459960320 89409 4294967295 134512640 135730672 3221224576 3221222752 134769174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112295 89409 301 301 0 111994 0
vsize: 449180
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 181225 0 0 0 58588 416 0 0 25 0 1 0 912148494 451903488 87409 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110328 87409 301 301 0 110027 0
vsize: 441312
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 181391 0 0 0 59587 417 0 0 25 0 1 0 912148494 452808704 87575 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110549 87575 301 301 0 110248 0
vsize: 442196
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 181803 0 0 0 60585 419 0 0 25 0 1 0 912148494 454803456 87987 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111036 87987 301 301 0 110735 0
vsize: 444144
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 181935 0 0 0 61584 420 0 0 25 0 1 0 912148494 455405568 88119 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111183 88119 301 301 0 110882 0
vsize: 444732
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 182414 0 0 0 62583 421 0 0 25 0 1 0 912148494 457261056 88368 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111636 88368 301 301 0 111335 0
vsize: 446544
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 184600 0 0 0 63577 428 0 0 25 0 1 0 912148494 457523200 88415 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111700 88415 301 301 0 111399 0
vsize: 446800
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 184634 0 0 0 64576 429 0 0 25 0 1 0 912148494 457658368 88449 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111733 88449 301 301 0 111432 0
vsize: 446932
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 184705 0 0 0 65576 429 0 0 25 0 1 0 912148494 457928704 88520 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111799 88520 301 301 0 111498 0
vsize: 447196
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 184856 0 0 0 66575 430 0 0 25 0 1 0 912148494 458194944 88638 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111864 88638 301 301 0 111563 0
vsize: 447456
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 186935 0 0 0 67570 435 0 0 25 0 1 0 912148494 458194944 88644 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111864 88644 301 301 0 111563 0
vsize: 447456
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 187090 0 0 0 68569 436 0 0 25 0 1 0 912148494 458989568 88733 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112058 88733 301 301 0 111757 0
vsize: 448232
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 187097 0 0 0 69569 437 0 0 25 0 1 0 912148494 458989568 88740 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112058 88740 301 301 0 111757 0
vsize: 448232
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 187146 0 0 0 70568 438 0 0 25 0 1 0 912148494 459259904 88789 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112124 88789 301 301 0 111823 0
vsize: 448496
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 189245 0 0 0 71563 443 0 0 25 0 1 0 912148494 459395072 88815 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112157 88815 301 301 0 111856 0
vsize: 448628
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 189247 0 0 0 72563 444 0 0 25 0 1 0 912148494 459395072 88817 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112157 88817 301 301 0 111856 0
vsize: 448628
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 189248 0 0 0 73563 444 0 0 25 0 1 0 912148494 459395072 88818 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112157 88818 301 301 0 111856 0
vsize: 448628
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 191323 0 0 0 74557 449 0 0 25 0 1 0 912148494 459395072 88820 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112157 88820 301 301 0 111856 0
vsize: 448628
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 191327 0 0 0 75557 450 0 0 25 0 1 0 912148494 459395072 88824 4294967295 134512640 135730672 3221224576 3221223200 134748191 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112157 88824 301 301 0 111856 0
vsize: 448628
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 191331 0 0 0 76557 450 0 0 25 0 1 0 912148494 459395072 88828 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112157 88828 301 301 0 111856 0
vsize: 448628
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 193406 0 0 0 77552 455 0 0 25 0 1 0 912148494 459395072 88830 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112157 88830 301 301 0 111856 0
vsize: 448628
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 193411 0 0 0 78551 456 0 0 25 0 1 0 912148494 459395072 88835 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112157 88835 301 301 0 111856 0
vsize: 448628
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 195487 0 0 0 79546 461 0 0 25 0 1 0 912148494 459395072 88838 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112157 88838 301 301 0 111856 0
vsize: 448628
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 195489 0 0 0 80546 462 0 0 25 0 1 0 912148494 459395072 88840 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112157 88840 301 301 0 111856 0
vsize: 448628
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 195542 0 0 0 81545 463 0 0 25 0 1 0 912148494 459665408 88893 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112223 88893 301 301 0 111922 0
vsize: 448892
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 197619 0 0 0 82540 468 0 0 25 0 1 0 912148494 468156416 90970 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114296 90970 301 301 0 113995 0
vsize: 457184
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 197638 0 0 0 83539 468 0 0 25 0 1 0 912148494 459800576 88916 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112256 88916 301 301 0 111955 0
vsize: 449024
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 197639 0 0 0 84538 469 0 0 25 0 1 0 912148494 459800576 88917 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112256 88917 301 301 0 111955 0
vsize: 449024
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 197664 0 0 0 85538 470 0 0 25 0 1 0 912148494 459935744 88942 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112289 88942 301 301 0 111988 0
vsize: 449156
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 199738 0 0 0 86532 475 0 0 25 0 1 0 912148494 459935744 88943 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112289 88943 301 301 0 111988 0
vsize: 449156
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 199742 0 0 0 87532 476 0 0 25 0 1 0 912148494 459935744 88947 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112289 88947 301 301 0 111988 0
vsize: 449156
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 201817 0 0 0 88528 480 0 0 25 0 1 0 912148494 468426752 91022 4294967295 134512640 135730672 3221224576 3221222740 134769153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114362 91022 301 301 0 114061 0
vsize: 457448
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 201821 0 0 0 89527 481 0 0 25 0 1 0 912148494 459935744 88953 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112289 88953 301 301 0 111988 0
vsize: 449156
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 201828 0 0 0 90526 482 0 0 25 0 1 0 912148494 459935744 88960 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112289 88960 301 301 0 111988 0
vsize: 449156
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 203937 0 0 0 91521 487 0 0 25 0 1 0 912148494 460201984 88996 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112354 88996 301 301 0 112053 0
vsize: 449416
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 203973 0 0 0 92520 488 0 0 25 0 1 0 912148494 460468224 89032 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89032 301 301 0 112118 0
vsize: 449676
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 203976 0 0 0 93520 489 0 0 25 0 1 0 912148494 460468224 89035 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89035 301 301 0 112118 0
vsize: 449676
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 206052 0 0 0 94515 494 0 0 25 0 1 0 912148494 460468224 89038 4294967295 134512640 135730672 3221224576 3221222992 134741733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89038 301 301 0 112118 0
vsize: 449676
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 206054 0 0 0 95515 494 0 0 25 0 1 0 912148494 460468224 89040 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89040 301 301 0 112118 0
vsize: 449676
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 206058 0 0 0 96515 495 0 0 25 0 1 0 912148494 460468224 89044 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89044 301 301 0 112118 0
vsize: 449676
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 208133 0 0 0 97509 501 0 0 25 0 1 0 912148494 460468224 89046 4294967295 134512640 135730672 3221224576 3221223196 134783186 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89046 301 301 0 112118 0
vsize: 449676
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 208134 0 0 0 98509 501 0 0 25 0 1 0 912148494 460468224 89047 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89047 301 301 0 112118 0
vsize: 449676
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 208135 0 0 0 99508 501 0 0 25 0 1 0 912148494 460468224 89048 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89048 301 301 0 112118 0
vsize: 449676
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 208137 0 0 0 100508 502 0 0 25 0 1 0 912148494 460468224 89050 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89050 301 301 0 112118 0
vsize: 449676
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 210211 0 0 0 101503 507 0 0 25 0 1 0 912148494 460468224 89051 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89051 301 301 0 112118 0
vsize: 449676
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 210214 0 0 0 102503 508 0 0 25 0 1 0 912148494 460468224 89054 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89054 301 301 0 112118 0
vsize: 449676
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 212288 0 0 0 103497 514 0 0 25 0 1 0 912148494 460468224 89055 4294967295 134512640 135730672 3221224576 3221223184 134748234 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89055 301 301 0 112118 0
vsize: 449676
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 212291 0 0 0 104496 515 0 0 25 0 1 0 912148494 460468224 89058 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89058 301 301 0 112118 0
vsize: 449676
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 212294 0 0 0 105495 515 0 0 25 0 1 0 912148494 460468224 89061 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89061 301 301 0 112118 0
vsize: 449676
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 214369 0 0 0 106490 520 0 0 25 0 1 0 912148494 460468224 89063 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89063 301 301 0 112118 0
vsize: 449676
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 214373 0 0 0 107490 521 0 0 25 0 1 0 912148494 460468224 89067 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89067 301 301 0 112118 0
vsize: 449676
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 214377 0 0 0 108489 521 0 0 25 0 1 0 912148494 460468224 89071 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89071 301 301 0 112118 0
vsize: 449676
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 216451 0 0 0 109484 527 0 0 25 0 1 0 912148494 460468224 89072 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89072 301 301 0 112118 0
vsize: 449676
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 216454 0 0 0 110483 528 0 0 25 0 1 0 912148494 460468224 89075 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89075 301 301 0 112118 0
vsize: 449676
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 218532 0 0 0 111479 532 0 0 25 0 1 0 912148494 468959232 91153 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114492 91153 301 301 0 114191 0
vsize: 457968
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 218534 0 0 0 112478 534 0 0 25 0 1 0 912148494 460468224 89082 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89082 301 301 0 112118 0
vsize: 449676
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 218537 0 0 0 113477 534 0 0 25 0 1 0 912148494 460468224 89085 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89085 301 301 0 112118 0
vsize: 449676
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 220614 0 0 0 114472 540 0 0 25 0 1 0 912148494 460468224 89089 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89089 301 301 0 112118 0
vsize: 449676
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 220618 0 0 0 115471 541 0 0 25 0 1 0 912148494 460468224 89093 4294967295 134512640 135730672 3221224576 3221223200 134748101 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89093 301 301 0 112118 0
vsize: 449676
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 222694 0 0 0 116466 546 0 0 25 0 1 0 912148494 460468224 89096 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89096 301 301 0 112118 0
vsize: 449676
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 222699 0 0 0 117466 546 0 0 25 0 1 0 912148494 460468224 89101 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89101 301 301 0 112118 0
vsize: 449676
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 224776 0 0 0 118461 552 0 0 25 0 1 0 912148494 460468224 89105 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89105 301 301 0 112118 0
vsize: 449676
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 224780 0 0 0 119460 553 0 0 25 0 1 0 912148494 460468224 89109 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89109 301 301 0 112118 0
vsize: 449676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 15819
Raw data (stat): 15819 (pb2sat-v2) R 15818 8378 8377 0 -1 0 224780 0 0 0 119460 553 0 0 25 0 1 0 912148494 460468224 89109 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112419 89109 301 301 0 112118 0
vsize: 0

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