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-dg012142.opb
MD5SUM	d2a2dc4ff7a501b7efb12f8e274e186d
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	16640
Biggest coefficient in the objective function	5242880000
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1683190350400
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5242880000
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1683190350400
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1269.98
Number of variables	29440
Total number of constraints	6310
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	6270
Minimum length of a constraint	1
Maximum length of a constraint	251
Trace number 43044

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 21:27:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26247 boxname=wulflinc3 idbench=1547 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  d2a2dc4ff7a501b7efb12f8e274e186d  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dg012142.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dg012142.opb
IDLAUNCH: 26247
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        707776 kB
Buffers:         27196 kB
Cached:         277012 kB
SwapCached:        772 kB
Active:          39164 kB
Inactive:       267152 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        707524 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            14728 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 21:47:45 (client local time) WITH STATUS 0 IN 1202.32 SECONDS
stats: 26247 7 1202.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 50512/1712630	Time: 180.421/86400
c Decision: 50512/1712630	Time: 206.668/86400
c Decision: 50512/1712630	Time: 242.364/86400
c Decision: 50584/1712630	Time: 287.351/86400
c Decision: 50631/1712630	Time: 364.834/86400
c Decision: 50665/1712630	Time: 486.726/86400
c Decision: 50685/1712630	Time: 576.836/86400
c Decision: 50693/1712630	Time: 648.744/86400
c Decision: 50710/1712630	Time: 706.61/86400
c Decision: 50718/1712630	Time: 789.119/86400
c Decision: 50730/1712630	Time: 868.851/86400
c Decision: 50743/1712630	Time: 946.836/86400
c Decision: 50743/1712630	Time: 980.245/86400
c Decision: 50750/1712630	Time: 1058.64/86400
c Decision: 50753/1712630	Time: 1099.27/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.92 0.95 0.90 2/54 29709
Raw data (stat): 29709 (runsolver) R 29708 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973991528 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.0013 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 12961 0 0 0 972 27 0 0 25 0 1 0 973991528 41426944 7379 4294967295 134512640 135730672 3221224576 3221162864 134770581 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10114 7379 301 301 0 9813 0
vsize: 40456
[startup+20.0026 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 44467 0 0 0 1907 92 0 0 25 0 1 0 973991528 136200192 22567 4294967295 134512640 135730672 3221224576 3221162980 134549565 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33252 22567 301 301 0 32951 0
vsize: 133008
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 65841 0 0 0 2858 140 0 0 25 0 1 0 973991528 242262016 43447 4294967295 134512640 135730672 3221224576 3221154608 134775425 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59146 43450 301 301 0 58845 0
vsize: 236584
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 94903 0 0 0 3795 203 0 0 25 0 1 0 973991528 301441024 51093 4294967295 134512640 135730672 3221224576 3221189728 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73594 51093 301 301 0 73293 0
vsize: 294376
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 111956 0 0 0 4754 244 0 0 25 0 1 0 973991528 310362112 67867 4294967295 134512640 135730672 3221224576 3221212680 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75772 67868 301 301 0 75471 0
vsize: 303088
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 159046 0 0 0 5662 336 0 0 25 0 1 0 973991528 632467456 96389 4294967295 134512640 135730672 3221224576 3221206576 134788521 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154411 96393 301 301 0 154110 0
vsize: 617644
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 184668 0 0 0 6602 396 0 0 25 0 1 0 973991528 565354496 97229 4294967295 134512640 135730672 3221224576 3221215856 134551042 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138026 97229 301 301 0 137725 0
vsize: 552104
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 189739 0 0 0 7588 411 0 0 25 0 1 0 973991528 565354496 102201 4294967295 134512640 135730672 3221224576 3221212464 134786302 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138026 102201 301 301 0 137725 0
vsize: 552104
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 205048 0 0 0 8551 448 0 0 25 0 1 0 973991528 579067904 117248 4294967295 134512640 135730672 3221224576 3221223084 134767453 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141374 117248 301 301 0 141073 0
vsize: 565496
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 213899 0 0 0 9529 469 0 0 25 0 1 0 973991528 591835136 122754 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144491 122754 301 301 0 144190 0
vsize: 577964
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 215135 0 0 0 10524 475 0 0 25 0 1 0 973991528 596885504 123990 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145724 123990 301 301 0 145423 0
vsize: 582896
[startup+120.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 215813 0 0 0 11521 478 0 0 25 0 1 0 973991528 599916544 124668 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146464 124668 301 301 0 146163 0
vsize: 585856
[startup+130.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 216307 0 0 0 12518 481 0 0 25 0 1 0 973991528 602005504 125162 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146974 125162 301 301 0 146673 0
vsize: 587896
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 216782 0 0 0 13517 483 0 0 25 0 1 0 973991528 604250112 125637 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147522 125637 301 301 0 147221 0
vsize: 590088
[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 217223 0 0 0 14516 484 0 0 25 0 1 0 973991528 606298112 126078 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148022 126078 301 301 0 147721 0
vsize: 592088
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 217541 0 0 0 15515 485 0 0 25 0 1 0 973991528 608153600 126396 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148475 126396 301 301 0 148174 0
vsize: 593900
[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 217671 0 0 0 16514 486 0 0 25 0 1 0 973991528 608743424 126526 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148619 126526 301 301 0 148318 0
vsize: 594476
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 217791 0 0 0 17514 487 0 0 25 0 1 0 973991528 609206272 126646 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148732 126646 301 301 0 148431 0
vsize: 594928
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 217808 0 0 0 18514 487 0 0 25 0 1 0 973991528 609206272 126663 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148732 126663 301 301 0 148431 0
vsize: 594928
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 217893 0 0 0 19513 488 0 0 25 0 1 0 973991528 609599488 126748 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148828 126748 301 301 0 148527 0
vsize: 595312
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 218035 0 0 0 20512 489 0 0 25 0 1 0 973991528 610263040 126890 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148990 126890 301 301 0 148689 0
vsize: 595960
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 218133 0 0 0 21512 490 0 0 25 0 1 0 973991528 610926592 126988 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149152 126988 301 301 0 148851 0
vsize: 596608
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 218416 0 0 0 22510 491 0 0 25 0 1 0 973991528 612302848 127271 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149488 127271 301 301 0 149187 0
vsize: 597952
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 218477 0 0 0 23510 492 0 0 25 0 1 0 973991528 612634624 127332 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149569 127332 301 301 0 149268 0
vsize: 598276
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 218751 0 0 0 24509 493 0 0 25 0 1 0 973991528 613949440 127606 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149890 127606 301 301 0 149589 0
vsize: 599560
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 218853 0 0 0 25508 494 0 0 25 0 1 0 973991528 614342656 127708 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149986 127708 301 301 0 149685 0
vsize: 599944
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 222214 0 0 0 26501 502 0 0 25 0 1 0 973991528 614342656 127724 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149986 127724 301 301 0 149685 0
vsize: 599944
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 222257 0 0 0 27500 502 0 0 25 0 1 0 973991528 614477824 127767 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150019 127767 301 301 0 149718 0
vsize: 600076
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 222425 0 0 0 28499 503 0 0 25 0 1 0 973991528 615215104 127935 4294967295 134512640 135730672 3221224576 3221223088 134745785 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150199 127935 301 301 0 149898 0
vsize: 600796
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 225774 0 0 0 29490 513 0 0 25 0 1 0 973991528 615215104 127939 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150199 127939 301 301 0 149898 0
vsize: 600796
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 225996 0 0 0 30488 514 0 0 25 0 1 0 973991528 616022016 128128 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150396 128128 301 301 0 150095 0
vsize: 601584
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 226138 0 0 0 31487 515 0 0 25 0 1 0 973991528 616751104 128270 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150574 128270 301 301 0 150273 0
vsize: 602296
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 229519 0 0 0 32479 524 0 0 25 0 1 0 973991528 630648832 131651 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153967 131651 301 301 0 153666 0
vsize: 615868
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 229562 0 0 0 33477 525 0 0 25 0 1 0 973991528 616947712 128349 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150622 128349 301 301 0 150321 0
vsize: 602488
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 229602 0 0 0 34477 526 0 0 25 0 1 0 973991528 617082880 128389 4294967295 134512640 135730672 3221224576 3221223168 134747724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150655 128389 301 301 0 150354 0
vsize: 602620
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 229678 0 0 0 35476 527 0 0 25 0 1 0 973991528 617414656 128465 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150736 128465 301 301 0 150435 0
vsize: 602944
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 229721 0 0 0 36475 528 0 0 25 0 1 0 973991528 617746432 128508 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150817 128508 301 301 0 150516 0
vsize: 603268
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 233073 0 0 0 37467 536 0 0 25 0 1 0 973991528 617746432 128515 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150817 128515 301 301 0 150516 0
vsize: 603268
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 233100 0 0 0 38466 537 0 0 25 0 1 0 973991528 617746432 128542 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150817 128542 301 301 0 150516 0
vsize: 603268
[startup+400.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 233258 0 0 0 39465 538 0 0 25 0 1 0 973991528 618483712 128700 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150997 128700 301 301 0 150696 0
vsize: 603988
[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 233348 0 0 0 40465 539 0 0 25 0 1 0 973991528 618889216 128790 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151096 128790 301 301 0 150795 0
vsize: 604384
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 233445 0 0 0 41464 539 0 0 25 0 1 0 973991528 619429888 128887 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151228 128887 301 301 0 150927 0
vsize: 604912
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 233618 0 0 0 42463 541 0 0 25 0 1 0 973991528 620101632 129027 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151392 129027 301 301 0 151091 0
vsize: 605568
[startup+440.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 233671 0 0 0 43463 541 0 0 25 0 1 0 973991528 620236800 129080 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151425 129080 301 301 0 151124 0
vsize: 605700
[startup+450.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 233731 0 0 0 44462 542 0 0 25 0 1 0 973991528 620507136 129140 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151491 129140 301 301 0 151190 0
vsize: 605964
[startup+460.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 237095 0 0 0 45454 550 0 0 25 0 1 0 973991528 620507136 129159 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151491 129159 301 301 0 151190 0
vsize: 605964
[startup+470.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 237195 0 0 0 46452 552 0 0 25 0 1 0 973991528 620965888 129259 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151603 129259 301 301 0 151302 0
vsize: 606412
[startup+480.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 237404 0 0 0 47451 554 0 0 25 0 1 0 973991528 621826048 129468 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151813 129468 301 301 0 151512 0
vsize: 607252
[startup+490.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 237434 0 0 0 48449 555 0 0 25 0 1 0 973991528 621961216 129498 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151846 129498 301 301 0 151545 0
vsize: 607384
[startup+500.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 237588 0 0 0 49448 556 0 0 25 0 1 0 973991528 622571520 129619 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151995 129619 301 301 0 151694 0
vsize: 607980
[startup+510.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 237631 0 0 0 50447 558 0 0 25 0 1 0 973991528 622706688 129662 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152028 129662 301 301 0 151727 0
vsize: 608112
[startup+520.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 237654 0 0 0 51446 559 0 0 25 0 1 0 973991528 622706688 129685 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152028 129685 301 301 0 151727 0
vsize: 608112
[startup+530.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 237761 0 0 0 52444 561 0 0 25 0 1 0 973991528 623382528 129792 4294967295 134512640 135730672 3221224576 3221223168 134747724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152193 129792 301 301 0 151892 0
vsize: 608772
[startup+540.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 237798 0 0 0 53443 562 0 0 25 0 1 0 973991528 623517696 129829 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152226 129829 301 301 0 151925 0
vsize: 608904
[startup+550.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 237829 0 0 0 54443 562 0 0 25 0 1 0 973991528 623652864 129860 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152259 129860 301 301 0 151958 0
vsize: 609036
[startup+560.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 237893 0 0 0 55442 563 0 0 25 0 1 0 973991528 623923200 129924 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152325 129924 301 301 0 152024 0
vsize: 609300
[startup+570.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 241276 0 0 0 56434 572 0 0 25 0 1 0 973991528 637894656 133307 4294967295 134512640 135730672 3221224576 3221222736 134769172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155736 133307 301 301 0 155435 0
vsize: 622944
[startup+580.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 241277 0 0 0 57432 573 0 0 25 0 1 0 973991528 624193536 129963 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152391 129963 301 301 0 152090 0
vsize: 609564
[startup+590.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 241323 0 0 0 58432 574 0 0 25 0 1 0 973991528 624463872 130009 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152457 130009 301 301 0 152156 0
vsize: 609828
[startup+600.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 241403 0 0 0 59431 575 0 0 25 0 1 0 973991528 624930816 130089 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152571 130089 301 301 0 152270 0
vsize: 610284
[startup+610.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 241428 0 0 0 60430 576 0 0 25 0 1 0 973991528 625065984 130114 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152604 130114 301 301 0 152303 0
vsize: 610416
[startup+620.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 241452 0 0 0 61429 577 0 0 25 0 1 0 973991528 625201152 130138 4294967295 134512640 135730672 3221224576 3221223232 134734860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152637 130138 301 301 0 152336 0
vsize: 610548
[startup+630.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 241589 0 0 0 62428 578 0 0 25 0 1 0 973991528 625598464 130209 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152734 130209 301 301 0 152433 0
vsize: 610936
[startup+640.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 241650 0 0 0 63427 579 0 0 25 0 1 0 973991528 625868800 130270 4294967295 134512640 135730672 3221224576 3221223164 134763658 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152800 130270 301 301 0 152499 0
vsize: 611200
[startup+650.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 241666 0 0 0 64427 580 0 0 25 0 1 0 973991528 625868800 130286 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152800 130286 301 301 0 152499 0
vsize: 611200
[startup+660.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 241721 0 0 0 65426 581 0 0 25 0 1 0 973991528 626003968 130341 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152833 130341 301 301 0 152532 0
vsize: 611332
[startup+670.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 245094 0 0 0 66417 590 0 0 25 0 1 0 973991528 626139136 130369 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152866 130369 301 301 0 152565 0
vsize: 611464
[startup+680.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 245114 0 0 0 67416 590 0 0 25 0 1 0 973991528 626139136 130389 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152866 130389 301 301 0 152565 0
vsize: 611464
[startup+690.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 245206 0 0 0 68416 591 0 0 25 0 1 0 973991528 626696192 130481 4294967295 134512640 135730672 3221224576 3221223232 134734786 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153002 130481 301 301 0 152701 0
vsize: 612008
[startup+700.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 245278 0 0 0 69414 593 0 0 25 0 1 0 973991528 626995200 130553 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153075 130553 301 301 0 152774 0
vsize: 612300
[startup+710.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 245451 0 0 0 70413 594 0 0 25 0 1 0 973991528 627662848 130660 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153238 130660 301 301 0 152937 0
vsize: 612952
[startup+720.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 245462 0 0 0 71413 595 0 0 25 0 1 0 973991528 627662848 130671 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153238 130671 301 301 0 152937 0
vsize: 612952
[startup+730.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 245481 0 0 0 72412 596 0 0 25 0 1 0 973991528 627662848 130690 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153238 130690 301 301 0 152937 0
vsize: 612952
[startup+740.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 248830 0 0 0 73404 604 0 0 25 0 1 0 973991528 627662848 130694 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153238 130694 301 301 0 152937 0
vsize: 612952
[startup+750.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 248838 0 0 0 74403 604 0 0 25 0 1 0 973991528 627662848 130702 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153238 130702 301 301 0 152937 0
vsize: 612952
[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 248876 0 0 0 75403 605 0 0 25 0 1 0 973991528 627798016 130740 4294967295 134512640 135730672 3221224576 3221223168 134763582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153271 130740 301 301 0 152970 0
vsize: 613084
[startup+770.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 249151 0 0 0 76401 607 0 0 25 0 1 0 973991528 628862976 130916 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153531 130916 301 301 0 153230 0
vsize: 614124
[startup+780.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 249322 0 0 0 77400 608 0 0 25 0 1 0 973991528 629669888 131054 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153728 131054 301 301 0 153427 0
vsize: 614912
[startup+790.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 249339 0 0 0 78400 608 0 0 25 0 1 0 973991528 629669888 131071 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153728 131071 301 301 0 153427 0
vsize: 614912
[startup+800.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 252690 0 0 0 79392 617 0 0 25 0 1 0 973991528 629669888 131077 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153728 131077 301 301 0 153427 0
vsize: 614912
[startup+810.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 252696 0 0 0 80391 617 0 0 25 0 1 0 973991528 629669888 131083 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153728 131083 301 301 0 153427 0
vsize: 614912
[startup+820.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 252707 0 0 0 81391 618 0 0 25 0 1 0 973991528 629669888 131094 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153728 131094 301 301 0 153427 0
vsize: 614912
[startup+830.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 252761 0 0 0 82390 618 0 0 25 0 1 0 973991528 629940224 131148 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153794 131148 301 301 0 153493 0
vsize: 615176
[startup+840.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 252789 0 0 0 83390 619 0 0 25 0 1 0 973991528 630075392 131176 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153827 131176 301 301 0 153526 0
vsize: 615308
[startup+850.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 252843 0 0 0 84389 620 0 0 25 0 1 0 973991528 630206464 131197 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153859 131197 301 301 0 153558 0
vsize: 615436
[startup+860.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 252878 0 0 0 85389 621 0 0 25 0 1 0 973991528 630341632 131232 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153892 131232 301 301 0 153591 0
vsize: 615568
[startup+870.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 252939 0 0 0 86388 622 0 0 25 0 1 0 973991528 630611968 131293 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153958 131293 301 301 0 153657 0
vsize: 615832
[startup+880.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 256330 0 0 0 87380 630 0 0 25 0 1 0 973991528 630882304 131339 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154024 131339 301 301 0 153723 0
vsize: 616096
[startup+890.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 256340 0 0 0 88379 631 0 0 25 0 1 0 973991528 630882304 131349 4294967295 134512640 135730672 3221224576 3221223120 134740286 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154024 131349 301 301 0 153723 0
vsize: 616096
[startup+900.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 256362 0 0 0 89379 632 0 0 25 0 1 0 973991528 630882304 131371 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154024 131371 301 301 0 153723 0
vsize: 616096
[startup+910.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 256417 0 0 0 90378 632 0 0 25 0 1 0 973991528 631017472 131426 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154057 131426 301 301 0 153756 0
vsize: 616228
[startup+920.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 256447 0 0 0 91378 633 0 0 25 0 1 0 973991528 631152640 131456 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154090 131456 301 301 0 153789 0
vsize: 616360
[startup+930.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 256502 0 0 0 92377 634 0 0 25 0 1 0 973991528 631422976 131511 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154156 131511 301 301 0 153855 0
vsize: 616624
[startup+940.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 256543 0 0 0 93377 634 0 0 25 0 1 0 973991528 631558144 131552 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154189 131552 301 301 0 153888 0
vsize: 616756
[startup+950.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 259894 0 0 0 94370 642 0 0 25 0 1 0 973991528 645259264 134903 4294967295 134512640 135730672 3221224576 3221222736 134768818 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157534 134903 301 301 0 157233 0
vsize: 630136
[startup+960.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 259895 0 0 0 95369 642 0 0 25 0 1 0 973991528 631558144 131559 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154189 131559 301 301 0 153888 0
vsize: 616756
[startup+970.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 259925 0 0 0 96369 643 0 0 25 0 1 0 973991528 631693312 131589 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154222 131589 301 301 0 153921 0
vsize: 616888
[startup+980.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 259971 0 0 0 97369 643 0 0 25 0 1 0 973991528 631828480 131635 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154255 131635 301 301 0 153954 0
vsize: 617020
[startup+990.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 260032 0 0 0 98368 644 0 0 25 0 1 0 973991528 631959552 131663 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154287 131663 301 301 0 153986 0
vsize: 617148
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 260093 0 0 0 99368 644 0 0 25 0 1 0 973991528 632229888 131724 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154353 131724 301 301 0 154052 0
vsize: 617412
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 260101 0 0 0 100368 645 0 0 25 0 1 0 973991528 632229888 131732 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154353 131732 301 301 0 154052 0
vsize: 617412
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 260103 0 0 0 101368 645 0 0 25 0 1 0 973991528 632229888 131734 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154353 131734 301 301 0 154052 0
vsize: 617412
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 260106 0 0 0 102368 645 0 0 25 0 1 0 973991528 632229888 131737 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154353 131737 301 301 0 154052 0
vsize: 617412
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 263454 0 0 0 103360 653 0 0 25 0 1 0 973991528 632229888 131740 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154353 131740 301 301 0 154052 0
vsize: 617412
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 263483 0 0 0 104360 654 0 0 25 0 1 0 973991528 632365056 131769 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154386 131769 301 301 0 154085 0
vsize: 617544
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 263508 0 0 0 105359 654 0 0 25 0 1 0 973991528 632365056 131794 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154386 131794 301 301 0 154085 0
vsize: 617544
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 266859 0 0 0 106351 663 0 0 25 0 1 0 973991528 632365056 131800 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154386 131800 301 301 0 154085 0
vsize: 617544
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 266878 0 0 0 107350 663 0 0 25 0 1 0 973991528 632365056 131819 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154386 131819 301 301 0 154085 0
vsize: 617544
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 266991 0 0 0 108350 664 0 0 25 0 1 0 973991528 633040896 131932 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154551 131932 301 301 0 154250 0
vsize: 618204
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 267083 0 0 0 109349 665 0 0 25 0 1 0 973991528 633442304 131991 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154649 131991 301 301 0 154348 0
vsize: 618596
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 267105 0 0 0 110349 665 0 0 25 0 1 0 973991528 633442304 132013 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154649 132013 301 301 0 154348 0
vsize: 618596
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 267121 0 0 0 111348 666 0 0 25 0 1 0 973991528 633442304 132029 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154649 132029 301 301 0 154348 0
vsize: 618596
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 267199 0 0 0 112347 667 0 0 25 0 1 0 973991528 633708544 132074 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154714 132074 301 301 0 154413 0
vsize: 618856
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 267221 0 0 0 113347 668 0 0 25 0 1 0 973991528 633843712 132096 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154747 132096 301 301 0 154446 0
vsize: 618988
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 270570 0 0 0 114339 676 0 0 25 0 1 0 973991528 633843712 132100 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154747 132100 301 301 0 154446 0
vsize: 618988
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 270649 0 0 0 115339 676 0 0 25 0 1 0 973991528 633978880 132179 4294967295 134512640 135730672 3221224576 3221223232 134748670 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154780 132179 301 301 0 154479 0
vsize: 619120
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 270802 0 0 0 116339 677 0 0 25 0 1 0 973991528 634511360 132266 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154910 132266 301 301 0 154609 0
vsize: 619640
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 270867 0 0 0 117338 678 0 0 25 0 1 0 973991528 634642432 132298 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154942 132298 301 301 0 154641 0
vsize: 619768
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 274222 0 0 0 118330 687 0 0 25 0 1 0 973991528 634642432 132308 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154942 132308 301 301 0 154641 0
vsize: 619768
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 274248 0 0 0 119329 687 0 0 25 0 1 0 973991528 634642432 132334 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154942 132334 301 301 0 154641 0
vsize: 619768
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 29709
Raw data (stat): 29709 (pb2sat-v2) R 29708 20224 20223 0 -1 0 274248 0 0 0 119329 687 0 0 25 0 1 0 973991528 634642432 132334 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154942 132334 301 301 0 154641 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.21
CPU time (s): 1202.32
CPU user time (s): 1195.18
CPU system time (s): 7.13891
CPU usage (%): 100.009
Max. virtual memory (Kb): 630136
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####