PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb
MD5SUM	64260230da97c9a2a0e651814175b8e8
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	2355200
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	2939977599
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	136.088
Number of variables	6641
Total number of constraints	7355
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6951
Number of constraints which are nor clauses,nor cardinality constraints	404
Minimum length of a constraint	1
Maximum length of a constraint	6641
Trace number 43047

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 21:30:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26252 boxname=wulflinc6 idbench=1552 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  64260230da97c9a2a0e651814175b8e8  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-nsrand_ipx.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-nsrand_ipx.opb
IDLAUNCH: 26252
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        704456 kB
Buffers:         19180 kB
Cached:         287540 kB
SwapCached:        980 kB
Active:          32472 kB
Inactive:       276396 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        704204 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15616 kB
Committed_AS:    63832 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 21:50:29 (client local time) WITH STATUS 0 IN 1202.46 SECONDS
stats: 26252 7 1202.46 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.94 0.90 2/54 27277
Raw data (stat): 27277 (runsolver) R 27276 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 974016180 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.0004 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 25232 0 0 0 940 59 0 0 25 0 1 0 974016180 78225408 14146 4294967295 134512640 135730672 3221224576 3220071160 134606867 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19098 14146 301 301 0 18797 0
vsize: 76392
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 52508 0 0 0 1882 117 0 0 25 0 1 0 974016180 171356160 30218 4294967295 134512640 135730672 3221224576 3218856716 134608014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41835 30218 301 301 0 41534 0
vsize: 167340
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 74073 0 0 0 2837 163 0 0 25 0 1 0 974016180 257396736 51117 4294967295 134512640 135730672 3221224576 3220923024 135284078 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62841 51117 301 301 0 62540 0
vsize: 251364
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 96163 0 0 0 3778 222 0 0 25 0 1 0 974016180 307724288 51526 4294967295 134512640 135730672 3221224576 3221220976 135284078 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75128 51526 301 301 0 74827 0
vsize: 300512
[startup+50.001 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 107889 0 0 0 4747 253 0 0 25 0 1 0 974016180 307724288 63032 4294967295 134512640 135730672 3221224576 3220832624 134788136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75128 63032 301 301 0 74827 0
vsize: 300512
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 145152 0 0 0 5669 331 0 0 25 0 1 0 974016180 430526464 81744 4294967295 134512640 135730672 3221224576 3220967140 135281209 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105109 81744 301 301 0 104808 0
vsize: 420436
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 179349 0 0 0 6589 411 0 0 25 0 1 0 974016180 535384064 90176 4294967295 134512640 135730672 3221224576 3221103592 134550952 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130709 90176 301 301 0 130408 0
vsize: 522836
[startup+80.0024 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 188029 0 0 0 7564 436 0 0 25 0 1 0 974016180 568938496 98691 4294967295 134512640 135730672 3221224576 3221145812 134549565 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138901 98691 301 301 0 138600 0
vsize: 555604
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 197933 0 0 0 8540 461 0 0 25 0 1 0 974016180 585973760 105026 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143060 105026 301 301 0 142759 0
vsize: 572240
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 198550 0 0 0 9539 463 0 0 25 0 1 0 974016180 587841536 105449 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143516 105449 301 301 0 143215 0
vsize: 574064
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 198636 0 0 0 10539 463 0 0 25 0 1 0 974016180 588111872 105535 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143582 105535 301 301 0 143281 0
vsize: 574328
[startup+120.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 198659 0 0 0 11539 463 0 0 25 0 1 0 974016180 588247040 105558 4294967295 134512640 135730672 3221224576 3221223072 134747772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143615 105558 301 301 0 143314 0
vsize: 574460
[startup+130.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 198676 0 0 0 12538 464 0 0 25 0 1 0 974016180 588247040 105575 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143615 105575 301 301 0 143314 0
vsize: 574460
[startup+140.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 201283 0 0 0 13533 470 0 0 25 0 1 0 974016180 595066880 106883 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145280 106883 301 301 0 144979 0
vsize: 581120
[startup+150.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 202340 0 0 0 14531 472 0 0 25 0 1 0 974016180 597860352 107484 4294967295 134512640 135730672 3221224576 3221223200 134748143 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145962 107484 301 301 0 145661 0
vsize: 583848
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 203781 0 0 0 15529 474 0 0 25 0 1 0 974016180 601432064 108241 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146834 108241 301 301 0 146533 0
vsize: 587336
[startup+170.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 204674 0 0 0 16527 476 0 0 25 0 1 0 974016180 603897856 108616 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147436 108616 301 301 0 147135 0
vsize: 589744
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 206263 0 0 0 17524 479 0 0 25 0 1 0 974016180 607768576 109339 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148381 109339 301 301 0 148080 0
vsize: 593524
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 206329 0 0 0 18524 480 0 0 25 0 1 0 974016180 608038912 109405 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148447 109405 301 301 0 148146 0
vsize: 593788
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 208898 0 0 0 19519 485 0 0 25 0 1 0 974016180 615137280 110365 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150180 110365 301 301 0 149879 0
vsize: 600720
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 212013 0 0 0 20513 491 0 0 25 0 1 0 974016180 623968256 111732 4294967295 134512640 135730672 3221224576 3221223088 135282342 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152336 111732 301 301 0 152035 0
vsize: 609344
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 214318 0 0 0 21510 495 0 0 25 0 1 0 974016180 629895168 112806 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153783 112806 301 301 0 153482 0
vsize: 615132
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 214682 0 0 0 22509 496 0 0 25 0 1 0 974016180 630943744 112913 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154039 112913 301 301 0 153738 0
vsize: 616156
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 214783 0 0 0 23508 496 0 0 25 0 1 0 974016180 630943744 113014 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154039 113014 301 301 0 153738 0
vsize: 616156
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 214784 0 0 0 24508 497 0 0 25 0 1 0 974016180 630943744 113015 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154039 113015 301 301 0 153738 0
vsize: 616156
[startup+260.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 214846 0 0 0 25508 497 0 0 25 0 1 0 974016180 630943744 113077 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154039 113077 301 301 0 153738 0
vsize: 616156
[startup+270.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 215533 0 0 0 26505 500 0 0 25 0 1 0 974016180 632516608 113378 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154423 113378 301 301 0 154122 0
vsize: 617692
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 215568 0 0 0 27505 501 0 0 25 0 1 0 974016180 632516608 113413 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154423 113413 301 301 0 154122 0
vsize: 617692
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 215574 0 0 0 28504 502 0 0 25 0 1 0 974016180 632516608 113419 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154423 113419 301 301 0 154122 0
vsize: 617692
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 215579 0 0 0 29504 502 0 0 25 0 1 0 974016180 632516608 113424 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154423 113424 301 301 0 154122 0
vsize: 617692
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 215586 0 0 0 30504 502 0 0 25 0 1 0 974016180 632516608 113431 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154423 113431 301 301 0 154122 0
vsize: 617692
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 215592 0 0 0 31504 503 0 0 25 0 1 0 974016180 632516608 113437 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154423 113437 301 301 0 154122 0
vsize: 617692
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 216609 0 0 0 32501 506 0 0 25 0 1 0 974016180 635244544 113942 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155089 113942 301 301 0 154788 0
vsize: 620356
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219392 0 0 0 33495 512 0 0 25 0 1 0 974016180 642764800 115194 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156925 115194 301 301 0 156624 0
vsize: 627700
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219393 0 0 0 34495 513 0 0 25 0 1 0 974016180 642764800 115195 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156925 115195 301 301 0 156624 0
vsize: 627700
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219393 0 0 0 35495 513 0 0 25 0 1 0 974016180 642764800 115195 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156925 115195 301 301 0 156624 0
vsize: 627700
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219394 0 0 0 36495 513 0 0 25 0 1 0 974016180 642764800 115196 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156925 115196 301 301 0 156624 0
vsize: 627700
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219396 0 0 0 37495 514 0 0 25 0 1 0 974016180 642764800 115198 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156925 115198 301 301 0 156624 0
vsize: 627700
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219397 0 0 0 38495 514 0 0 25 0 1 0 974016180 642764800 115199 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156925 115199 301 301 0 156624 0
vsize: 627700
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219397 0 0 0 39495 514 0 0 25 0 1 0 974016180 642764800 115199 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156925 115199 301 301 0 156624 0
vsize: 627700
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219398 0 0 0 40495 514 0 0 25 0 1 0 974016180 642764800 115200 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156925 115200 301 301 0 156624 0
vsize: 627700
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219399 0 0 0 41494 515 0 0 25 0 1 0 974016180 642764800 115201 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156925 115201 301 301 0 156624 0
vsize: 627700
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219402 0 0 0 42494 515 0 0 25 0 1 0 974016180 642899968 115204 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156958 115204 301 301 0 156657 0
vsize: 627832
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219403 0 0 0 43494 516 0 0 25 0 1 0 974016180 642899968 115205 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156958 115205 301 301 0 156657 0
vsize: 627832
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219404 0 0 0 44494 516 0 0 25 0 1 0 974016180 642899968 115206 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156958 115206 301 301 0 156657 0
vsize: 627832
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219406 0 0 0 45494 516 0 0 25 0 1 0 974016180 642899968 115208 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156958 115208 301 301 0 156657 0
vsize: 627832
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 219409 0 0 0 46495 516 0 0 25 0 1 0 974016180 642899968 115211 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156958 115211 301 301 0 156657 0
vsize: 627832
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 221896 0 0 0 47491 520 0 0 25 0 1 0 974016180 648433664 116472 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158309 116472 301 301 0 158008 0
vsize: 633236
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 224383 0 0 0 48487 524 0 0 25 0 1 0 974016180 654462976 117480 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159781 117480 301 301 0 159480 0
vsize: 639124
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 226790 0 0 0 49482 529 0 0 25 0 1 0 974016180 661213184 118405 4294967295 134512640 135730672 3221224576 3221223072 134747662 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161429 118405 301 301 0 161128 0
vsize: 645716
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 229474 0 0 0 50478 534 0 0 25 0 1 0 974016180 668868608 119320 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163298 119320 301 301 0 162997 0
vsize: 653192
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 231328 0 0 0 51474 538 0 0 25 0 1 0 974016180 673636352 120315 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164462 120315 301 301 0 164161 0
vsize: 657848
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 233230 0 0 0 52471 541 0 0 25 0 1 0 974016180 678498304 121167 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165649 121167 301 301 0 165348 0
vsize: 662596
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 234663 0 0 0 53470 543 0 0 25 0 1 0 974016180 682397696 121792 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166601 121792 301 301 0 166300 0
vsize: 666404
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 235223 0 0 0 54469 544 0 0 25 0 1 0 974016180 684363776 122222 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167081 122222 301 301 0 166780 0
vsize: 668324
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 235250 0 0 0 55469 544 0 0 25 0 1 0 974016180 684363776 122249 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167081 122249 301 301 0 166780 0
vsize: 668324
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 236189 0 0 0 56468 546 0 0 25 0 1 0 974016180 686329856 122702 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167561 122702 301 301 0 167260 0
vsize: 670244
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 237510 0 0 0 57466 548 0 0 25 0 1 0 974016180 690012160 123312 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168460 123312 301 301 0 168159 0
vsize: 673840
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 239042 0 0 0 58464 550 0 0 25 0 1 0 974016180 694210560 123847 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169485 123847 301 301 0 169184 0
vsize: 677940
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 240735 0 0 0 59460 554 0 0 25 0 1 0 974016180 699072512 124592 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170672 124592 301 301 0 170371 0
vsize: 682688
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 241948 0 0 0 60459 556 0 0 25 0 1 0 974016180 702312448 125188 4294967295 134512640 135730672 3221224576 3221223248 134748594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171463 125188 301 301 0 171162 0
vsize: 685852
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 245266 0 0 0 61451 563 0 0 25 0 1 0 974016180 710717440 126571 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173515 126571 301 301 0 173214 0
vsize: 694060
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 249641 0 0 0 62444 571 0 0 25 0 1 0 974016180 721915904 128646 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176249 128646 301 301 0 175948 0
vsize: 704996
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 252170 0 0 0 63440 575 0 0 25 0 1 0 974016180 729006080 129534 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177980 129534 301 301 0 177679 0
vsize: 711920
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 254780 0 0 0 64435 580 0 0 25 0 1 0 974016180 736092160 130469 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179710 130469 301 301 0 179409 0
vsize: 718840
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 258234 0 0 0 65428 587 0 0 25 0 1 0 974016180 745553920 132001 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182020 132001 301 301 0 181719 0
vsize: 728080
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 261462 0 0 0 66422 594 0 0 25 0 1 0 974016180 754360320 133434 4294967295 134512640 135730672 3221224576 3221223072 134747555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184170 133434 301 301 0 183869 0
vsize: 736680
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 261562 0 0 0 67422 594 0 0 25 0 1 0 974016180 754360320 133534 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184170 133534 301 301 0 183869 0
vsize: 736680
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 261563 0 0 0 68422 594 0 0 25 0 1 0 974016180 754360320 133535 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184170 133535 301 301 0 183869 0
vsize: 736680
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 261564 0 0 0 69422 595 0 0 25 0 1 0 974016180 754360320 133536 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184170 133536 301 301 0 183869 0
vsize: 736680
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 261564 0 0 0 70422 595 0 0 25 0 1 0 974016180 754360320 133536 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184170 133536 301 301 0 183869 0
vsize: 736680
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 261565 0 0 0 71422 595 0 0 25 0 1 0 974016180 754360320 133537 4294967295 134512640 135730672 3221224576 3221223072 134747483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184170 133537 301 301 0 183869 0
vsize: 736680
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 263148 0 0 0 72418 599 0 0 25 0 1 0 974016180 758292480 134156 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185130 134156 301 301 0 184829 0
vsize: 740520
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 263974 0 0 0 73417 600 0 0 25 0 1 0 974016180 760389632 134467 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185642 134467 301 301 0 185341 0
vsize: 742568
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 265244 0 0 0 74415 602 0 0 25 0 1 0 974016180 763011072 135095 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186282 135095 301 301 0 185981 0
vsize: 745128
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 268137 0 0 0 75410 608 0 0 25 0 1 0 974016180 770850816 136325 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188196 136325 301 301 0 187895 0
vsize: 752784
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 270055 0 0 0 76407 611 0 0 25 0 1 0 974016180 775569408 137082 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189348 137082 301 301 0 189047 0
vsize: 757392
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 270358 0 0 0 77407 612 0 0 25 0 1 0 974016180 776093696 137256 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189476 137256 301 301 0 189175 0
vsize: 757904
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 270583 0 0 0 78406 613 0 0 25 0 1 0 974016180 776617984 137352 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189604 137352 301 301 0 189303 0
vsize: 758416
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 271439 0 0 0 79405 614 0 0 25 0 1 0 974016180 778854400 137724 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190150 137724 301 301 0 189849 0
vsize: 760600
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 274092 0 0 0 80400 620 0 0 25 0 1 0 974016180 785559552 138891 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191787 138891 301 301 0 191486 0
vsize: 767148
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 276758 0 0 0 81395 625 0 0 25 0 1 0 974016180 792416256 140191 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193461 140191 301 301 0 193160 0
vsize: 773844
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 279636 0 0 0 82391 629 0 0 25 0 1 0 974016180 799903744 141361 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195289 141361 301 301 0 194988 0
vsize: 781156
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 280039 0 0 0 83390 630 0 0 25 0 1 0 974016180 800952320 141507 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195545 141507 301 301 0 195244 0
vsize: 782180
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 280909 0 0 0 84389 632 0 0 25 0 1 0 974016180 803315712 141828 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196122 141828 301 301 0 195821 0
vsize: 784488
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 282623 0 0 0 85386 635 0 0 25 0 1 0 974016180 807780352 142510 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197212 142510 301 301 0 196911 0
vsize: 788848
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 283625 0 0 0 86385 637 0 0 25 0 1 0 974016180 810274816 142963 4294967295 134512640 135730672 3221224576 3221223264 134748577 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197821 142963 301 301 0 197520 0
vsize: 791284
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 284557 0 0 0 87383 639 0 0 25 0 1 0 974016180 812634112 143314 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198397 143314 301 301 0 198096 0
vsize: 793588
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 284558 0 0 0 88384 639 0 0 25 0 1 0 974016180 812634112 143315 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198397 143315 301 301 0 198096 0
vsize: 793588
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 285587 0 0 0 89382 641 0 0 25 0 1 0 974016180 815263744 143795 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199039 143795 301 301 0 198738 0
vsize: 796156
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 286988 0 0 0 90380 643 0 0 25 0 1 0 974016180 819204096 144359 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200001 144359 301 301 0 199700 0
vsize: 800004
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 286992 0 0 0 91380 643 0 0 25 0 1 0 974016180 819204096 144363 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200001 144363 301 301 0 199700 0
vsize: 800004
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 287431 0 0 0 92379 644 0 0 25 0 1 0 974016180 820256768 144608 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200258 144608 301 301 0 199957 0
vsize: 801032
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 287442 0 0 0 93380 644 0 0 25 0 1 0 974016180 820256768 144619 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200258 144619 301 301 0 199957 0
vsize: 801032
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 287531 0 0 0 94380 645 0 0 25 0 1 0 974016180 820256768 144708 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200258 144708 301 301 0 199957 0
vsize: 801032
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 287531 0 0 0 95380 645 0 0 25 0 1 0 974016180 820256768 144708 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200258 144708 301 301 0 199957 0
vsize: 801032
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 287532 0 0 0 96380 645 0 0 25 0 1 0 974016180 820256768 144709 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200258 144709 301 301 0 199957 0
vsize: 801032
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 288977 0 0 0 97377 648 0 0 25 0 1 0 974016180 824193024 145252 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201219 145252 301 301 0 200918 0
vsize: 804876
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 289794 0 0 0 98376 650 0 0 25 0 1 0 974016180 826290176 145554 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201731 145554 301 301 0 201430 0
vsize: 806924
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 290141 0 0 0 99375 651 0 0 25 0 1 0 974016180 827338752 145644 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201987 145644 301 301 0 201686 0
vsize: 807948
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 291891 0 0 0 100372 655 0 0 25 0 1 0 974016180 832327680 146297 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 203205 146297 301 301 0 202904 0
vsize: 812820
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 294093 0 0 0 101369 659 0 0 25 0 1 0 974016180 838373376 147275 4294967295 134512640 135730672 3221224576 3221223200 134748073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 204681 147275 301 301 0 204380 0
vsize: 818724
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 294288 0 0 0 102368 659 0 0 25 0 1 0 974016180 838766592 147372 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 204777 147372 301 301 0 204476 0
vsize: 819108
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 294818 0 0 0 103368 660 0 0 25 0 1 0 974016180 839815168 147645 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 205033 147645 301 301 0 204732 0
vsize: 820132
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 295795 0 0 0 104367 662 0 0 25 0 1 0 974016180 841916416 148171 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 205546 148171 301 301 0 205245 0
vsize: 822184
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 298513 0 0 0 105362 667 0 0 25 0 1 0 974016180 849551360 149499 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 207410 149499 301 301 0 207109 0
vsize: 829640
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 299206 0 0 0 106361 668 0 0 25 0 1 0 974016180 851386368 149741 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 207858 149741 301 301 0 207557 0
vsize: 831432
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 301220 0 0 0 107358 672 0 0 25 0 1 0 974016180 856903680 150498 4294967295 134512640 135730672 3221224576 3221222948 135291188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 209205 150498 301 301 0 208904 0
vsize: 836820
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 304250 0 0 0 108352 677 0 0 25 0 1 0 974016180 864944128 151909 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 211168 151910 301 301 0 210867 0
vsize: 844672
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 305000 0 0 0 109351 679 0 0 25 0 1 0 974016180 866799616 152364 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 211621 152364 301 301 0 211320 0
vsize: 846484
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 305856 0 0 0 110350 680 0 0 25 0 1 0 974016180 868896768 152707 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 212133 152707 301 301 0 211832 0
vsize: 848532
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 307734 0 0 0 111347 684 0 0 25 0 1 0 974016180 874139648 153302 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213413 153302 301 301 0 213112 0
vsize: 853652
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 307738 0 0 0 112347 684 0 0 25 0 1 0 974016180 874139648 153306 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213413 153306 301 301 0 213112 0
vsize: 853652
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 307979 0 0 0 113347 685 0 0 25 0 1 0 974016180 874139648 153547 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213413 153547 301 301 0 213112 0
vsize: 853652
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 307980 0 0 0 114347 685 0 0 25 0 1 0 974016180 874139648 153548 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213413 153548 301 301 0 213112 0
vsize: 853652
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 308736 0 0 0 115347 686 0 0 25 0 1 0 974016180 876236800 153791 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213925 153791 301 301 0 213624 0
vsize: 855700
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 308818 0 0 0 116347 686 0 0 25 0 1 0 974016180 876236800 153873 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213925 153873 301 301 0 213624 0
vsize: 855700
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 308843 0 0 0 117347 686 0 0 25 0 1 0 974016180 876236800 153898 4294967295 134512640 135730672 3221224576 3221223168 134764022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 213925 153898 301 301 0 213624 0
vsize: 855700
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 311539 0 0 0 118342 692 0 0 25 0 1 0 974016180 884006912 155027 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 215822 155027 301 301 0 215521 0
vsize: 863288
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 311703 0 0 0 119342 692 0 0 25 0 1 0 974016180 884531200 155062 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 215950 155062 301 301 0 215649 0
vsize: 863800
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 27277
Raw data (stat): 27277 (pb2sat-v2) R 27276 25568 25567 0 -1 0 311703 0 0 0 119342 692 0 0 25 0 1 0 974016180 884531200 155062 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 215950 155062 301 301 0 215649 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.14
CPU time (s): 1202.46
CPU user time (s): 1195.23
CPU system time (s): 7.2289
CPU usage (%): 100.027
Max. virtual memory (Kb): 863800
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####