PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb
MD5SUM	4ca22bc512e0c22cb7d573f87d47eeef
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1073741823
Optimality of the best value was proved	NO
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	13958659059
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1262.34
Number of variables	13806
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	390
Trace number 42598

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 12:09:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25809 boxname=wulflinc2 idbench=1109 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4ca22bc512e0c22cb7d573f87d47eeef  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-bienst1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-bienst1.opb
IDLAUNCH: 25809
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        760432 kB
Buffers:         19376 kB
Cached:         232288 kB
SwapCached:       1432 kB
Active:          27504 kB
Inactive:       226236 kB
HighTotal:      131008 kB
HighFree:         2604 kB
LowTotal:       903652 kB
LowFree:        757828 kB
SwapTotal:     2097136 kB
SwapFree:      2094708 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14788 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:29:42 (client local time) WITH STATUS 0 IN 1202.28 SECONDS
stats: 25809 7 1202.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 452751/1260071	Time: 272.722/86400
c Decision: 452751/1260071	Time: 311.12/86400
c Decision: 452751/1260071	Time: 343.567/86400
c Decision: 452751/1260071	Time: 388.072/86400
c Decision: 452751/1260071	Time: 456.884/86400
c Decision: 452843/1260071	Time: 517.077/86400
c Decision: 452843/1260071	Time: 563.849/86400
c Decision: 452846/1260071	Time: 627.686/86400
c Decision: 452846/1260071	Time: 673.538/86400
c Decision: 452891/1260071	Time: 728.827/86400
c Decision: 452891/1260071	Time: 783.088/86400
c Decision: 452891/1260071	Time: 821.675/86400
c Decision: 452891/1260071	Time: 871.015/86400
c Decision: 452891/1260071	Time: 917.722/86400
c Decision: 452892/1260071	Time: 950.169/86400
c Decision: 453174/1260071	Time: 1034.08/86400
c Decision: 453174/1260071	Time: 1076.26/86400
c Decision: 453174/1260071	Time: 1134.29/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.91 0.95 0.90 1/54 10031
Raw data (stat): 10031 (runsolver) R 10030 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970655984 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.0011 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 28148 0 0 0 939 60 0 0 25 0 1 0 970655984 78516224 17180 4294967295 134512640 135730672 3221224576 3221069236 134787615 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19169 17180 301 301 0 18868 0
vsize: 76676
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 56378 0 0 0 1874 125 0 0 25 0 1 0 970655984 155209728 34159 4294967295 134512640 135730672 3221224576 3221139100 134548415 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37893 34159 301 301 0 37592 0
vsize: 151572
[startup+30.0025 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 94468 0 0 0 2795 204 0 0 25 0 1 0 970655984 300429312 50553 4294967295 134512640 135730672 3221224576 3221116508 134637875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73347 50553 301 301 0 73046 0
vsize: 293388
[startup+40.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 112225 0 0 0 3753 246 0 0 25 0 1 0 970655984 308269056 68017 4294967295 134512640 135730672 3221224576 3221192696 135284307 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75261 68017 301 301 0 74960 0
vsize: 301044
[startup+50.0044 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 175217 0 0 0 4626 373 0 0 25 0 1 0 970655984 539992064 87876 4294967295 134512640 135730672 3221224576 3221207924 134612538 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131834 87876 301 301 0 131533 0
vsize: 527336
[startup+60.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 187365 0 0 0 5597 402 0 0 25 0 1 0 970655984 550076416 97418 4294967295 134512640 135730672 3221224576 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134296 97418 301 301 0 133995 0
vsize: 537184
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 187373 0 0 0 6596 403 0 0 25 0 1 0 970655984 550076416 97426 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134296 97426 301 301 0 133995 0
vsize: 537184
[startup+80.0055 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 187377 0 0 0 7595 404 0 0 25 0 1 0 970655984 550076416 97430 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134296 97430 301 301 0 133995 0
vsize: 537184
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 187387 0 0 0 8595 404 0 0 25 0 1 0 970655984 550076416 97440 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134296 97440 301 301 0 133995 0
vsize: 537184
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 187396 0 0 0 9594 405 0 0 25 0 1 0 970655984 550076416 97449 4294967295 134512640 135730672 3221224576 3221223072 134747711 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134296 97449 301 301 0 133995 0
vsize: 537184
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 187702 0 0 0 10593 407 0 0 25 0 1 0 970655984 551927808 97755 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134748 97755 301 301 0 134447 0
vsize: 538992
[startup+120.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 188114 0 0 0 11591 408 0 0 25 0 1 0 970655984 554590208 98167 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135398 98167 301 301 0 135097 0
vsize: 541592
[startup+130.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 188713 0 0 0 12590 409 0 0 25 0 1 0 970655984 558047232 98701 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136242 98701 301 301 0 135941 0
vsize: 544968
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 189499 0 0 0 13588 411 0 0 25 0 1 0 970655984 561651712 99324 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137122 99324 301 301 0 136821 0
vsize: 548488
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 190165 0 0 0 14587 412 0 0 25 0 1 0 970655984 564174848 99793 4294967295 134512640 135730672 3221224576 3221223200 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137738 99793 301 301 0 137437 0
vsize: 550952
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 190496 0 0 0 15587 413 0 0 25 0 1 0 970655984 565104640 99993 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137965 99993 301 301 0 137664 0
vsize: 551860
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 190955 0 0 0 16585 414 0 0 25 0 1 0 970655984 566702080 100321 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138355 100321 301 301 0 138054 0
vsize: 553420
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 191335 0 0 0 17584 415 0 0 25 0 1 0 970655984 568156160 100538 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138710 100538 301 301 0 138409 0
vsize: 554840
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 191545 0 0 0 18584 415 0 0 25 0 1 0 970655984 568815616 100650 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138871 100650 301 301 0 138570 0
vsize: 555484
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 191560 0 0 0 19584 415 0 0 25 0 1 0 970655984 568815616 100665 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138871 100665 301 301 0 138570 0
vsize: 555484
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 191615 0 0 0 20584 416 0 0 25 0 1 0 970655984 569081856 100720 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138936 100720 301 301 0 138635 0
vsize: 555744
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 191626 0 0 0 21584 416 0 0 25 0 1 0 970655984 569081856 100731 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138936 100731 301 301 0 138635 0
vsize: 555744
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 191828 0 0 0 22584 417 0 0 25 0 1 0 970655984 570015744 100900 4294967295 134512640 135730672 3221224576 3221223200 134748168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139164 100900 301 301 0 138863 0
vsize: 556656
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 192405 0 0 0 23582 418 0 0 25 0 1 0 970655984 572915712 101282 4294967295 134512640 135730672 3221224576 3221222896 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139872 101282 301 301 0 139571 0
vsize: 559488
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 192510 0 0 0 24582 419 0 0 25 0 1 0 970655984 573177856 101322 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139936 101322 301 301 0 139635 0
vsize: 559744
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 192749 0 0 0 25581 420 0 0 25 0 1 0 970655984 573968384 101496 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140129 101496 301 301 0 139828 0
vsize: 560516
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 192994 0 0 0 26580 421 0 0 25 0 1 0 970655984 575287296 101676 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140451 101676 301 301 0 140150 0
vsize: 561804
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 193420 0 0 0 27579 422 0 0 25 0 1 0 970655984 577142784 101972 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140904 101972 301 301 0 140603 0
vsize: 563616
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 194137 0 0 0 28578 424 0 0 25 0 1 0 970655984 579506176 102445 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141481 102445 301 301 0 141180 0
vsize: 565924
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 194838 0 0 0 29576 426 0 0 25 0 1 0 970655984 582942720 103016 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142320 103016 301 301 0 142019 0
vsize: 569280
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 195414 0 0 0 30575 427 0 0 25 0 1 0 970655984 584519680 103333 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142705 103333 301 301 0 142404 0
vsize: 570820
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 195849 0 0 0 31574 428 0 0 25 0 1 0 970655984 585846784 103639 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143029 103639 301 301 0 142728 0
vsize: 572116
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 198464 0 0 0 32567 435 0 0 25 0 1 0 970655984 586379264 103759 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143159 103759 301 301 0 142858 0
vsize: 572636
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 198921 0 0 0 33566 436 0 0 25 0 1 0 970655984 587956224 103957 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143544 103957 301 301 0 143243 0
vsize: 574176
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 199136 0 0 0 34566 436 0 0 25 0 1 0 970655984 588824576 104172 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143756 104172 301 301 0 143455 0
vsize: 575024
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 199726 0 0 0 35564 438 0 0 25 0 1 0 970655984 591319040 104598 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144365 104598 301 301 0 144064 0
vsize: 577460
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 202645 0 0 0 36557 445 0 0 25 0 1 0 970655984 593215488 104924 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144828 104924 301 301 0 144527 0
vsize: 579312
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 202763 0 0 0 37556 447 0 0 25 0 1 0 970655984 593477632 104977 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144892 104977 301 301 0 144591 0
vsize: 579568
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 203145 0 0 0 38555 448 0 0 25 0 1 0 970655984 594530304 105131 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145149 105131 301 301 0 144848 0
vsize: 580596
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 206540 0 0 0 39546 457 0 0 25 0 1 0 970655984 597159936 105545 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145791 105545 301 301 0 145490 0
vsize: 583164
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 206891 0 0 0 40546 458 0 0 25 0 1 0 970655984 598216704 105766 4294967295 134512640 135730672 3221224576 3221223072 134747534 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146049 105766 301 301 0 145748 0
vsize: 584196
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 207287 0 0 0 41544 460 0 0 25 0 1 0 970655984 599617536 105968 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146391 105968 301 301 0 146090 0
vsize: 585564
[startup+430.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 207753 0 0 0 42542 461 0 0 25 0 1 0 970655984 601063424 106271 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146744 106271 301 301 0 146443 0
vsize: 586976
[startup+440.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 208087 0 0 0 43542 462 0 0 25 0 1 0 970655984 602378240 106411 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147065 106411 301 301 0 146764 0
vsize: 588260
[startup+450.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 208447 0 0 0 44540 463 0 0 25 0 1 0 970655984 603299840 106607 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147290 106607 301 301 0 146989 0
vsize: 589160
[startup+460.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 208978 0 0 0 45537 466 0 0 25 0 1 0 970655984 605409280 106943 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147805 106943 301 301 0 147504 0
vsize: 591220
[startup+470.011 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 209294 0 0 0 46537 467 0 0 25 0 1 0 970655984 605933568 107065 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147933 107065 301 301 0 147632 0
vsize: 591732
[startup+480.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 209548 0 0 0 47536 468 0 0 25 0 1 0 970655984 607264768 107319 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148258 107319 301 301 0 147957 0
vsize: 593032
[startup+490.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 210276 0 0 0 48535 469 0 0 25 0 1 0 970655984 610299904 107949 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148999 107949 301 301 0 148698 0
vsize: 595996
[startup+500.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 210555 0 0 0 49534 470 0 0 25 0 1 0 970655984 611352576 108099 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149256 108099 301 301 0 148955 0
vsize: 597024
[startup+510.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 213045 0 0 0 50529 475 0 0 25 0 1 0 970655984 621203456 110556 4294967295 134512640 135730672 3221224576 3221222752 134772762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151661 110556 301 301 0 151360 0
vsize: 606644
[startup+520.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 213447 0 0 0 51527 477 0 0 25 0 1 0 970655984 612569088 108333 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149553 108333 301 301 0 149252 0
vsize: 598212
[startup+530.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 213878 0 0 0 52526 478 0 0 25 0 1 0 970655984 613752832 108536 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149842 108536 301 301 0 149541 0
vsize: 599368
[startup+540.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 213989 0 0 0 53526 479 0 0 25 0 1 0 970655984 614014976 108582 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149906 108582 301 301 0 149605 0
vsize: 599624
[startup+550.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 214112 0 0 0 54525 480 0 0 25 0 1 0 970655984 614277120 108640 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149970 108640 301 301 0 149669 0
vsize: 599880
[startup+560.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 214488 0 0 0 55524 481 0 0 25 0 1 0 970655984 615858176 108887 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150356 108887 301 301 0 150055 0
vsize: 601424
[startup+570.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 216951 0 0 0 56518 487 0 0 25 0 1 0 970655984 615858176 108888 4294967295 134512640 135730672 3221224576 3221223200 134783326 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150356 108888 301 301 0 150055 0
vsize: 601424
[startup+580.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 217176 0 0 0 57516 488 0 0 25 0 1 0 970655984 616382464 108984 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150484 108984 301 301 0 150183 0
vsize: 601936
[startup+590.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 217178 0 0 0 58515 490 0 0 25 0 1 0 970655984 616382464 108986 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150484 108986 301 301 0 150183 0
vsize: 601936
[startup+600.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 217715 0 0 0 59513 492 0 0 25 0 1 0 970655984 619159552 109425 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151162 109425 301 301 0 150861 0
vsize: 604648
[startup+610.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 218052 0 0 0 60512 493 0 0 25 0 1 0 970655984 620740608 109632 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151548 109632 301 301 0 151247 0
vsize: 606192
[startup+620.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 220601 0 0 0 61506 499 0 0 25 0 1 0 970655984 621268992 109719 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151677 109719 301 301 0 151376 0
vsize: 606708
[startup+630.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 221489 0 0 0 62504 502 0 0 25 0 1 0 970655984 623632384 110154 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152254 110154 301 301 0 151953 0
vsize: 609016
[startup+640.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 221558 0 0 0 63504 502 0 0 25 0 1 0 970655984 624160768 110223 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152383 110223 301 301 0 152082 0
vsize: 609532
[startup+650.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 221897 0 0 0 64502 503 0 0 25 0 1 0 970655984 625340416 110334 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152671 110334 301 301 0 152370 0
vsize: 610684
[startup+660.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 222010 0 0 0 65502 503 0 0 25 0 1 0 970655984 625602560 110382 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152735 110382 301 301 0 152434 0
vsize: 610940
[startup+670.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 222236 0 0 0 66501 505 0 0 25 0 1 0 970655984 626388992 110413 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152927 110413 301 301 0 152626 0
vsize: 611708
[startup+680.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 224699 0 0 0 67495 511 0 0 25 0 1 0 970655984 636473344 112876 4294967295 134512640 135730672 3221224576 3221222752 134769149 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155389 112876 301 301 0 155088 0
vsize: 621556
[startup+690.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 224840 0 0 0 68495 512 0 0 25 0 1 0 970655984 626655232 110555 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152992 110555 301 301 0 152691 0
vsize: 611968
[startup+700.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 224998 0 0 0 69494 512 0 0 25 0 1 0 970655984 626917376 110648 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153056 110648 301 301 0 152755 0
vsize: 612224
[startup+710.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 225004 0 0 0 70494 513 0 0 25 0 1 0 970655984 626917376 110654 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153056 110654 301 301 0 152755 0
vsize: 612224
[startup+720.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 225007 0 0 0 71494 513 0 0 25 0 1 0 970655984 626917376 110657 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153056 110657 301 301 0 152755 0
vsize: 612224
[startup+730.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 227623 0 0 0 72487 520 0 0 25 0 1 0 970655984 627707904 110746 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153249 110746 301 301 0 152948 0
vsize: 612996
[startup+740.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 227968 0 0 0 73487 520 0 0 25 0 1 0 970655984 628494336 110897 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153441 110897 301 301 0 153140 0
vsize: 613764
[startup+750.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 228027 0 0 0 74486 521 0 0 25 0 1 0 970655984 628494336 110956 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153441 110956 301 301 0 153140 0
vsize: 613764
[startup+760.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 228353 0 0 0 75485 522 0 0 25 0 1 0 970655984 629280768 111088 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153633 111088 301 301 0 153332 0
vsize: 614532
[startup+770.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 228377 0 0 0 76485 523 0 0 25 0 1 0 970655984 629280768 111112 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153633 111112 301 301 0 153332 0
vsize: 614532
[startup+780.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 228415 0 0 0 77485 523 0 0 25 0 1 0 970655984 629280768 111150 4294967295 134512640 135730672 3221224576 3221223088 134745862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153633 111150 301 301 0 153332 0
vsize: 614532
[startup+790.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 230878 0 0 0 78479 529 0 0 25 0 1 0 970655984 629280768 111151 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153633 111151 301 301 0 153332 0
vsize: 614532
[startup+800.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 230904 0 0 0 79479 529 0 0 25 0 1 0 970655984 629280768 111177 4294967295 134512640 135730672 3221224576 3221222940 135291214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153633 111177 301 301 0 153332 0
vsize: 614532
[startup+810.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 230933 0 0 0 80478 531 0 0 25 0 1 0 970655984 629280768 111206 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153633 111206 301 301 0 153332 0
vsize: 614532
[startup+820.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 231014 0 0 0 81477 531 0 0 25 0 1 0 970655984 629809152 111287 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153762 111287 301 301 0 153461 0
vsize: 615048
[startup+830.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 231018 0 0 0 82477 532 0 0 25 0 1 0 970655984 629809152 111291 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153762 111291 301 301 0 153461 0
vsize: 615048
[startup+840.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 233553 0 0 0 83471 538 0 0 25 0 1 0 970655984 630337536 111364 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153891 111364 301 301 0 153590 0
vsize: 615564
[startup+850.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 233565 0 0 0 84470 539 0 0 25 0 1 0 970655984 630337536 111376 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153891 111376 301 301 0 153590 0
vsize: 615564
[startup+860.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 233586 0 0 0 85470 539 0 0 25 0 1 0 970655984 630337536 111397 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153891 111397 301 301 0 153590 0
vsize: 615564
[startup+870.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 233587 0 0 0 86469 540 0 0 25 0 1 0 970655984 630337536 111398 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153891 111398 301 301 0 153590 0
vsize: 615564
[startup+880.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 236049 0 0 0 87463 547 0 0 25 0 1 0 970655984 630337536 111398 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153891 111398 301 301 0 153590 0
vsize: 615564
[startup+890.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 236162 0 0 0 88463 547 0 0 25 0 1 0 970655984 630865920 111511 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154020 111511 301 301 0 153719 0
vsize: 616080
[startup+900.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 236163 0 0 0 89463 547 0 0 25 0 1 0 970655984 630865920 111512 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154020 111512 301 301 0 153719 0
vsize: 616080
[startup+910.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 236172 0 0 0 90462 548 0 0 25 0 1 0 970655984 630865920 111521 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154020 111521 301 301 0 153719 0
vsize: 616080
[startup+920.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 236323 0 0 0 91462 549 0 0 25 0 1 0 970655984 631541760 111672 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154185 111672 301 301 0 153884 0
vsize: 616740
[startup+930.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 238867 0 0 0 92455 555 0 0 25 0 1 0 970655984 632070144 111754 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154314 111754 301 301 0 154013 0
vsize: 617256
[startup+940.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 238869 0 0 0 93455 556 0 0 25 0 1 0 970655984 632070144 111756 4294967295 134512640 135730672 3221224576 3221223088 135282441 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154314 111756 301 301 0 154013 0
vsize: 617256
[startup+950.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 238873 0 0 0 94455 556 0 0 25 0 1 0 970655984 632070144 111760 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154314 111760 301 301 0 154013 0
vsize: 617256
[startup+960.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 238950 0 0 0 95455 556 0 0 25 0 1 0 970655984 632332288 111772 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154378 111772 301 301 0 154077 0
vsize: 617512
[startup+970.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 241416 0 0 0 96449 563 0 0 25 0 1 0 970655984 642416640 114238 4294967295 134512640 135730672 3221224576 3221222736 134769157 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156840 114238 301 301 0 156539 0
vsize: 627360
[startup+980.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 241839 0 0 0 97448 564 0 0 25 0 1 0 970655984 633118720 112005 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154570 112005 301 301 0 154269 0
vsize: 618280
[startup+990.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 241850 0 0 0 98448 564 0 0 25 0 1 0 970655984 633118720 112016 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154570 112016 301 301 0 154269 0
vsize: 618280
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 241857 0 0 0 99447 565 0 0 25 0 1 0 970655984 633118720 112023 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154570 112023 301 301 0 154269 0
vsize: 618280
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 241967 0 0 0 100446 566 0 0 25 0 1 0 970655984 633380864 112068 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154634 112068 301 301 0 154333 0
vsize: 618536
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 242052 0 0 0 101446 566 0 0 25 0 1 0 970655984 633643008 112088 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154698 112088 301 301 0 154397 0
vsize: 618792
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 242139 0 0 0 102446 567 0 0 25 0 1 0 970655984 633905152 112110 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154762 112110 301 301 0 154461 0
vsize: 619048
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 242243 0 0 0 103446 567 0 0 25 0 1 0 970655984 633905152 112214 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154762 112214 301 301 0 154461 0
vsize: 619048
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 242389 0 0 0 104445 568 0 0 25 0 1 0 970655984 634429440 112231 4294967295 134512640 135730672 3221224576 3221223024 134730415 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154890 112231 301 301 0 154589 0
vsize: 619560
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 242440 0 0 0 105445 568 0 0 25 0 1 0 970655984 634429440 112282 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154890 112282 301 301 0 154589 0
vsize: 619560
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 242444 0 0 0 106445 568 0 0 25 0 1 0 970655984 634429440 112286 4294967295 134512640 135730672 3221224576 3221223072 134747471 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154890 112286 301 301 0 154589 0
vsize: 619560
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 242461 0 0 0 107445 569 0 0 25 0 1 0 970655984 634429440 112303 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154890 112303 301 301 0 154589 0
vsize: 619560
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 244924 0 0 0 108439 575 0 0 25 0 1 0 970655984 634429440 112304 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154890 112304 301 301 0 154589 0
vsize: 619560
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 245008 0 0 0 109439 575 0 0 25 0 1 0 970655984 634691584 112323 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154954 112323 301 301 0 154653 0
vsize: 619816
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 245033 0 0 0 110438 576 0 0 25 0 1 0 970655984 634826752 112348 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154987 112348 301 301 0 154686 0
vsize: 619948
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 245381 0 0 0 111437 578 0 0 25 0 1 0 970655984 635879424 112566 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155244 112566 301 301 0 154943 0
vsize: 620976
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 247959 0 0 0 112431 583 0 0 25 0 1 0 970655984 646230016 115144 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157771 115144 301 301 0 157470 0
vsize: 631084
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 248143 0 0 0 113430 584 0 0 25 0 1 0 970655984 636669952 112737 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155437 112737 301 301 0 155136 0
vsize: 621748
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 248146 0 0 0 114430 585 0 0 25 0 1 0 970655984 636669952 112740 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155437 112740 301 301 0 155136 0
vsize: 621748
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 248150 0 0 0 115430 585 0 0 25 0 1 0 970655984 636669952 112744 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155437 112744 301 301 0 155136 0
vsize: 621748
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 248428 0 0 0 116429 586 0 0 25 0 1 0 970655984 637730816 112957 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155696 112957 301 301 0 155395 0
vsize: 622784
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 248493 0 0 0 117429 586 0 0 25 0 1 0 970655984 637865984 113022 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155729 113022 301 301 0 155428 0
vsize: 622916
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 251119 0 0 0 118423 593 0 0 25 0 1 0 970655984 638656512 113121 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155922 113121 301 301 0 155621 0
vsize: 623688
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 251121 0 0 0 119423 594 0 0 25 0 1 0 970655984 638656512 113123 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155922 113123 301 301 0 155621 0
vsize: 623688
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.13 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 10031
Raw data (stat): 10031 (pb2sat-v2) R 10030 31399 31398 0 -1 0 251121 0 0 0 119423 594 0 0 25 0 1 0 970655984 638656512 113123 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155922 113123 301 301 0 155621 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.13
CPU time (s): 1202.28
CPU user time (s): 1196.11
CPU system time (s): 6.16706
CPU usage (%): 100.012
Max. virtual memory (Kb): 631084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####