PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet3.opb
MD5SUM	349f4f626fe64dc0e2f8461de6820c95
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	563784272
Optimality of the best value was proved	NO
Number of terms in the objective function	13946
Biggest coefficient in the objective function	53687091200
Number of bits for the biggest coefficient in the objective function	36
Sum of the numbers in the objective function	23716479945956
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	53687091200
Number of bits of the biggest number in a constraint	36
Biggest sum of numbers in a constraint	23716479945956
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1239.99
Number of variables	14036
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1523
Trace number 42396

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 06:22:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25610 boxname=wulflinc2 idbench=910 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  349f4f626fe64dc0e2f8461de6820c95  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fixnet3.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fixnet3.opb
IDLAUNCH: 25610
/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:        706164 kB
Buffers:         34872 kB
Cached:         267836 kB
SwapCached:       4448 kB
Active:          62728 kB
Inactive:       245100 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        705912 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            15028 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 06:42:55 (client local time) WITH STATUS 0 IN 1202.3 SECONDS
stats: 25610 7 1202.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 604210/1600889	Time: 94.8436/86400
c Decision: 604212/1600889	Time: 207.217/86400
c Decision: 604234/1600889	Time: 403.742/86400
c Decision: 604234/1600889	Time: 467.593/86400
c Decision: 604234/1600889	Time: 522.745/86400
c Decision: 604234/1600889	Time: 575.373/86400
c Decision: 604234/1600889	Time: 606.799/86400
c Decision: 604237/1600889	Time: 634.026/86400
c Decision: 604240/1600889	Time: 674.076/86400
c Decision: 604240/1600889	Time: 695.556/86400
c Decision: 604240/1600889	Time: 721.139/86400
c Decision: 604240/1600889	Time: 742.762/86400
c Decision: 604244/1600889	Time: 766.497/86400
c Decision: 604244/1600889	Time: 790.345/86400
c Decision: 604244/1600889	Time: 813.501/86400
c Decision: 604249/1600889	Time: 844.141/86400
c Decision: 604249/1600889	Time: 867.856/86400
c Decision: 604249/1600889	Time: 888.676/86400
c Decision: 604253/1600889	Time: 920.894/86400
c Decision: 604253/1600889	Time: 942.737/86400
c Decision: 604253/1600889	Time: 965.974/86400
c Decision: 604253/1600889	Time: 986.515/86400
c Decision: 604253/1600889	Time: 1009.32/86400
c Decision: 604253/1600889	Time: 1031.17/86400
c Decision: 604253/1600889	Time: 1053.37/86400
c Decision: 604253/1600889	Time: 1081.06/86400
c Decision: 604253/1600889	Time: 1105.13/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): 1.19 1.00 0.93 2/54 6530
Raw data (stat): 6530 (runsolver) R 6529 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968574972 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.0003 s]
Raw data (loadavg): 1.16 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 19418 0 0 0 956 42 0 0 25 0 1 0 968574972 58109952 11591 4294967295 134512640 135730672 3221224576 3220713768 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14187 11591 301 301 0 13886 0
vsize: 56748
[startup+20.0003 s]
Raw data (loadavg): 1.14 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 49380 0 0 0 1888 110 0 0 25 0 1 0 968574972 156827648 27515 4294967295 134512640 135730672 3221224576 3220927904 135284059 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38288 27515 301 301 0 37987 0
vsize: 153152
[startup+30.0005 s]
Raw data (loadavg): 1.12 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 88184 0 0 0 2805 193 0 0 25 0 1 0 968574972 269979648 44621 4294967295 134512640 135730672 3221224576 3221048384 134551726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65913 44621 301 301 0 65612 0
vsize: 263652
[startup+40.0007 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 102347 0 0 0 3772 226 0 0 25 0 1 0 968574972 303628288 58529 4294967295 134512640 135730672 3221224576 3220646064 134549616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74128 58529 301 301 0 73827 0
vsize: 296512
[startup+50.0011 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 131270 0 0 0 4706 291 0 0 25 0 1 0 968574972 479354880 86767 4294967295 134512640 135730672 3221224576 3220953664 134775344 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117030 86769 301 301 0 116729 0
vsize: 468120
[startup+60.0005 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 180896 0 0 0 5601 395 0 0 25 0 1 0 968574972 535879680 93694 4294967295 134512640 135730672 3221224576 3221098696 134770094 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130830 93694 301 301 0 130529 0
vsize: 523320
[startup+70.0015 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 193438 0 0 0 6574 423 0 0 25 0 1 0 968574972 569434112 106010 4294967295 134512640 135730672 3221224576 3220736864 134786302 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139022 106011 301 301 0 138721 0
vsize: 556088
[startup+80.0025 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 208553 0 0 0 7538 458 0 0 25 0 1 0 968574972 595050496 120960 4294967295 134512640 135730672 3221224576 3221222872 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145276 120960 301 301 0 144975 0
vsize: 581104
[startup+90.0017 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 211059 0 0 0 8533 464 0 0 25 0 1 0 968574972 595070976 120339 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145281 120339 301 301 0 144980 0
vsize: 581124
[startup+100.002 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 212975 0 0 0 9528 468 0 0 25 0 1 0 968574972 604180480 122189 4294967295 134512640 135730672 3221224576 3221223072 134747913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147505 122189 301 301 0 147204 0
vsize: 590020
[startup+110.003 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 214565 0 0 0 10525 472 0 0 25 0 1 0 968574972 611434496 123657 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149276 123657 301 301 0 148975 0
vsize: 597104
[startup+120.003 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 215720 0 0 0 11522 475 0 0 25 0 1 0 968574972 617234432 124746 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150692 124746 301 301 0 150391 0
vsize: 602768
[startup+130.003 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 216912 0 0 0 12519 478 0 0 25 0 1 0 968574972 623230976 125905 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152156 125905 301 301 0 151855 0
vsize: 608624
[startup+140.003 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 217423 0 0 0 13518 479 0 0 25 0 1 0 968574972 625635328 126383 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152743 126383 301 301 0 152442 0
vsize: 610972
[startup+150.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 217736 0 0 0 14518 480 0 0 25 0 1 0 968574972 626839552 126597 4294967295 134512640 135730672 3221224576 3221223216 134748259 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153037 126597 301 301 0 152736 0
vsize: 612148
[startup+160.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 218223 0 0 0 15516 481 0 0 25 0 1 0 968574972 628989952 126985 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153562 126985 301 301 0 153261 0
vsize: 614248
[startup+170.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 221377 0 0 0 16509 489 0 0 25 0 1 0 968574972 629125120 127012 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153595 127012 301 301 0 153294 0
vsize: 614380
[startup+180.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 222726 0 0 0 17506 492 0 0 25 0 1 0 968574972 635023360 128098 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155035 128098 301 301 0 154734 0
vsize: 620140
[startup+190.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 224096 0 0 0 18503 495 0 0 25 0 1 0 968574972 641228800 129270 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156550 129270 301 301 0 156249 0
vsize: 626200
[startup+200.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 224841 0 0 0 19501 497 0 0 25 0 1 0 968574972 644452352 129900 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157337 129900 301 301 0 157036 0
vsize: 629348
[startup+210.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 225777 0 0 0 20499 499 0 0 25 0 1 0 968574972 649162752 130836 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158487 130836 301 301 0 158186 0
vsize: 633948
[startup+220.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 226386 0 0 0 21497 502 0 0 25 0 1 0 968574972 652623872 131412 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159332 131412 301 301 0 159031 0
vsize: 637328
[startup+230.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 227081 0 0 0 22495 503 0 0 25 0 1 0 968574972 655904768 132008 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160133 132008 301 301 0 159832 0
vsize: 640532
[startup+240.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 227689 0 0 0 23494 505 0 0 25 0 1 0 968574972 658726912 132485 4294967295 134512640 135730672 3221224576 3221223072 134747932 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160822 132485 301 301 0 160521 0
vsize: 643288
[startup+250.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 228301 0 0 0 24492 507 0 0 25 0 1 0 968574972 660918272 132834 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161357 132834 301 301 0 161056 0
vsize: 645428
[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 228981 0 0 0 25490 509 0 0 25 0 1 0 968574972 664174592 133415 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162152 133415 301 301 0 161851 0
vsize: 648608
[startup+270.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 229662 0 0 0 26488 511 0 0 25 0 1 0 968574972 667258880 133898 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162905 133898 301 301 0 162604 0
vsize: 651620
[startup+280.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 229781 0 0 0 27488 511 0 0 25 0 1 0 968574972 667799552 134017 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163037 134017 301 301 0 162736 0
vsize: 652148
[startup+290.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 233270 0 0 0 28479 520 0 0 25 0 1 0 968574972 669138944 134280 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163364 134281 301 301 0 163063 0
vsize: 653456
[startup+300.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 233827 0 0 0 29477 522 0 0 25 0 1 0 968574972 671555584 134705 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163954 134705 301 301 0 163653 0
vsize: 655816
[startup+310.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 234477 0 0 0 30475 525 0 0 25 0 1 0 968574972 674701312 135256 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164722 135256 301 301 0 164421 0
vsize: 658888
[startup+320.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 234678 0 0 0 31474 525 0 0 25 0 1 0 968574972 675782656 135457 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164986 135457 301 301 0 164685 0
vsize: 659944
[startup+330.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 234977 0 0 0 32473 526 0 0 25 0 1 0 968574972 676859904 135723 4294967295 134512640 135730672 3221224576 3221223200 134748143 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165249 135723 301 301 0 164948 0
vsize: 660996
[startup+340.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 235637 0 0 0 33472 528 0 0 25 0 1 0 968574972 679129088 136152 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165803 136152 301 301 0 165502 0
vsize: 663212
[startup+350.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 235881 0 0 0 34471 529 0 0 25 0 1 0 968574972 680206336 136363 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166066 136363 301 301 0 165765 0
vsize: 664264
[startup+360.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 236048 0 0 0 35470 530 0 0 25 0 1 0 968574972 680738816 136464 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166196 136464 301 301 0 165895 0
vsize: 664784
[startup+370.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 236163 0 0 0 36469 531 0 0 25 0 1 0 968574972 681414656 136579 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166361 136579 301 301 0 166060 0
vsize: 665444
[startup+380.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 236317 0 0 0 37469 532 0 0 25 0 1 0 968574972 682086400 136700 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166525 136700 301 301 0 166224 0
vsize: 666100
[startup+390.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 236516 0 0 0 38469 532 0 0 25 0 1 0 968574972 683024384 136833 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166754 136833 301 301 0 166453 0
vsize: 667016
[startup+400.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 236738 0 0 0 39468 533 0 0 25 0 1 0 968574972 683958272 136989 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166982 136989 301 301 0 166681 0
vsize: 667928
[startup+410.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 236808 0 0 0 40467 534 0 0 25 0 1 0 968574972 684224512 137026 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167047 137026 301 301 0 166746 0
vsize: 668188
[startup+420.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 237027 0 0 0 41466 535 0 0 25 0 1 0 968574972 685158400 137179 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167275 137179 301 301 0 166974 0
vsize: 669100
[startup+430.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 237218 0 0 0 42466 536 0 0 25 0 1 0 968574972 686100480 137337 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167505 137337 301 301 0 167204 0
vsize: 670020
[startup+440.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 237351 0 0 0 43465 536 0 0 25 0 1 0 968574972 686497792 137404 4294967295 134512640 135730672 3221224576 3221222912 134739215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167602 137404 301 301 0 167301 0
vsize: 670408
[startup+450.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 237529 0 0 0 44465 537 0 0 25 0 1 0 968574972 687165440 137516 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167765 137516 301 301 0 167464 0
vsize: 671060
[startup+460.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 237673 0 0 0 45464 538 0 0 25 0 1 0 968574972 687837184 137627 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167929 137627 301 301 0 167628 0
vsize: 671716
[startup+470.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 237830 0 0 0 46464 539 0 0 25 0 1 0 968574972 687972352 137784 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167962 137784 301 301 0 167661 0
vsize: 671848
[startup+480.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 240983 0 0 0 47457 546 0 0 25 0 1 0 968574972 700780544 140937 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171089 140937 301 301 0 170788 0
vsize: 684356
[startup+490.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 241256 0 0 0 48453 549 0 0 25 0 1 0 968574972 689045504 138017 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168224 138017 301 301 0 167923 0
vsize: 672896
[startup+500.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 241470 0 0 0 49452 550 0 0 25 0 1 0 968574972 689987584 138198 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168454 138198 301 301 0 168153 0
vsize: 673816
[startup+510.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 242169 0 0 0 50450 552 0 0 25 0 1 0 968574972 692985856 138732 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169186 138732 301 301 0 168885 0
vsize: 676744
[startup+520.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 242588 0 0 0 51448 554 0 0 25 0 1 0 968574972 695128064 139118 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169709 139118 301 301 0 169408 0
vsize: 678836
[startup+530.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 242952 0 0 0 52448 555 0 0 25 0 1 0 968574972 696877056 139416 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170136 139416 301 301 0 169835 0
vsize: 680544
[startup+540.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 243166 0 0 0 53447 556 0 0 25 0 1 0 968574972 697540608 139531 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170298 139531 301 301 0 169997 0
vsize: 681192
[startup+550.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 246337 0 0 0 54438 565 0 0 25 0 1 0 968574972 697810944 139575 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170364 139575 301 301 0 170063 0
vsize: 681456
[startup+560.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 246520 0 0 0 55436 566 0 0 25 0 1 0 968574972 698888192 139758 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170627 139758 301 301 0 170326 0
vsize: 682508
[startup+570.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 246941 0 0 0 56435 568 0 0 25 0 1 0 968574972 700215296 139981 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170951 139981 301 301 0 170650 0
vsize: 683804
[startup+580.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 247179 0 0 0 57434 569 0 0 25 0 1 0 968574972 701149184 140120 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171179 140120 301 301 0 170878 0
vsize: 684716
[startup+590.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 247220 0 0 0 58433 570 0 0 25 0 1 0 968574972 701284352 140161 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171212 140161 301 301 0 170911 0
vsize: 684848
[startup+600.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 250414 0 0 0 59425 579 0 0 25 0 1 0 968574972 701689856 140228 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171311 140228 301 301 0 171010 0
vsize: 685244
[startup+610.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 250585 0 0 0 60424 580 0 0 25 0 1 0 968574972 702488576 140366 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171506 140366 301 301 0 171205 0
vsize: 686024
[startup+620.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 250599 0 0 0 61423 581 0 0 25 0 1 0 968574972 702488576 140380 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171506 140380 301 301 0 171205 0
vsize: 686024
[startup+630.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 250637 0 0 0 62423 582 0 0 25 0 1 0 968574972 702754816 140418 4294967295 134512640 135730672 3221224576 3221222940 135291214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171571 140418 301 301 0 171270 0
vsize: 686284
[startup+640.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 250776 0 0 0 63422 582 0 0 25 0 1 0 968574972 703422464 140524 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171734 140524 301 301 0 171433 0
vsize: 686936
[startup+650.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 253903 0 0 0 64415 590 0 0 25 0 1 0 968574972 703422464 140524 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171734 140524 301 301 0 171433 0
vsize: 686936
[startup+660.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 253905 0 0 0 65414 591 0 0 25 0 1 0 968574972 703422464 140526 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171734 140526 301 301 0 171433 0
vsize: 686936
[startup+670.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 253933 0 0 0 66413 592 0 0 25 0 1 0 968574972 703557632 140554 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171767 140554 301 301 0 171466 0
vsize: 687068
[startup+680.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 256488 0 0 0 67407 598 0 0 25 0 1 0 968574972 716898304 143043 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175024 143051 301 301 0 174723 0
vsize: 700096
[startup+690.008 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 257214 0 0 0 68404 601 0 0 25 0 1 0 968574972 704090112 140642 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171897 140642 301 301 0 171596 0
vsize: 687588
[startup+700.009 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 257240 0 0 0 69404 602 0 0 25 0 1 0 968574972 704225280 140668 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171930 140668 301 301 0 171629 0
vsize: 687720
[startup+710.01 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 260385 0 0 0 70396 609 0 0 25 0 1 0 968574972 717168640 143813 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175090 143813 301 301 0 174789 0
vsize: 700360
[startup+720.009 s]
Raw data (loadavg): 1.13 1.03 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 260387 0 0 0 71395 611 0 0 25 0 1 0 968574972 704360448 140688 4294967295 134512640 135730672 3221224576 3221223216 134748259 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171963 140688 301 301 0 171662 0
vsize: 687852
[startup+730.009 s]
Raw data (loadavg): 1.18 1.04 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 260389 0 0 0 72394 612 0 0 25 0 1 0 968574972 704360448 140690 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171963 140690 301 301 0 171662 0
vsize: 687852
[startup+740.009 s]
Raw data (loadavg): 1.15 1.04 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 260396 0 0 0 73393 613 0 0 25 0 1 0 968574972 704360448 140697 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171963 140697 301 301 0 171662 0
vsize: 687852
[startup+750.01 s]
Raw data (loadavg): 1.13 1.04 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 263527 0 0 0 74385 621 0 0 25 0 1 0 968574972 717168640 143828 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175090 143828 301 301 0 174789 0
vsize: 700360
[startup+760.01 s]
Raw data (loadavg): 1.11 1.03 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 263537 0 0 0 75384 622 0 0 25 0 1 0 968574972 704360448 140711 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171963 140711 301 301 0 171662 0
vsize: 687852
[startup+770.01 s]
Raw data (loadavg): 1.09 1.03 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 266686 0 0 0 76377 630 0 0 25 0 1 0 968574972 717303808 143860 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175123 143860 301 301 0 174822 0
vsize: 700492
[startup+780.01 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 266693 0 0 0 77376 631 0 0 25 0 1 0 968574972 704495616 140740 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171996 140740 301 301 0 171695 0
vsize: 687984
[startup+790.01 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 269829 0 0 0 78368 639 0 0 25 0 1 0 968574972 717303808 143876 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175123 143876 301 301 0 174822 0
vsize: 700492
[startup+800.011 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 269829 0 0 0 79368 639 0 0 25 0 1 0 968574972 704495616 140749 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171996 140749 301 301 0 171695 0
vsize: 687984
[startup+810.011 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 269832 0 0 0 80368 640 0 0 25 0 1 0 968574972 704495616 140752 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171996 140752 301 301 0 171695 0
vsize: 687984
[startup+820.01 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 272960 0 0 0 81360 648 0 0 25 0 1 0 968574972 704495616 140753 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171996 140753 301 301 0 171695 0
vsize: 687984
[startup+830.01 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 272963 0 0 0 82360 648 0 0 25 0 1 0 968574972 704495616 140756 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171996 140756 301 301 0 171695 0
vsize: 687984
[startup+840.01 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 276092 0 0 0 83353 655 0 0 25 0 1 0 968574972 717303808 143885 4294967295 134512640 135730672 3221224576 3221222740 134769153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175123 143885 301 301 0 174822 0
vsize: 700492
[startup+850.01 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 276114 0 0 0 84352 657 0 0 25 0 1 0 968574972 704630784 140780 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172029 140780 301 301 0 171728 0
vsize: 688116
[startup+860.011 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 276117 0 0 0 85351 657 0 0 25 0 1 0 968574972 704630784 140783 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172029 140783 301 301 0 171728 0
vsize: 688116
[startup+870.01 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 279246 0 0 0 86343 666 0 0 25 0 1 0 968574972 704630784 140785 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172029 140785 301 301 0 171728 0
vsize: 688116
[startup+880.011 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 279255 0 0 0 87343 666 0 0 25 0 1 0 968574972 704630784 140794 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172029 140794 301 301 0 171728 0
vsize: 688116
[startup+890.011 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 282386 0 0 0 88336 673 0 0 25 0 1 0 968574972 717438976 143925 4294967295 134512640 135730672 3221224576 3221222768 134773957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175156 143925 301 301 0 174855 0
vsize: 700624
[startup+900.011 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 282412 0 0 0 89334 675 0 0 25 0 1 0 968574972 704765952 140824 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140824 301 301 0 171761 0
vsize: 688248
[startup+910.011 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 282421 0 0 0 90334 676 0 0 25 0 1 0 968574972 704765952 140833 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140833 301 301 0 171761 0
vsize: 688248
[startup+920.012 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 285548 0 0 0 91326 684 0 0 25 0 1 0 968574972 704765952 140833 4294967295 134512640 135730672 3221224576 3221223200 134783268 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140833 301 301 0 171761 0
vsize: 688248
[startup+930.012 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 285550 0 0 0 92325 685 0 0 25 0 1 0 968574972 704765952 140835 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140835 301 301 0 171761 0
vsize: 688248
[startup+940.012 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 285552 0 0 0 93325 685 0 0 25 0 1 0 968574972 704765952 140837 4294967295 134512640 135730672 3221224576 3221223088 134745876 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140837 301 301 0 171761 0
vsize: 688248
[startup+950.013 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 288683 0 0 0 94317 693 0 0 25 0 1 0 968574972 704765952 140841 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140841 301 301 0 171761 0
vsize: 688248
[startup+960.013 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 288693 0 0 0 95317 694 0 0 25 0 1 0 968574972 704765952 140851 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140851 301 301 0 171761 0
vsize: 688248
[startup+970.013 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 291824 0 0 0 96309 702 0 0 25 0 1 0 968574972 704765952 140855 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140855 301 301 0 171761 0
vsize: 688248
[startup+980.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 291832 0 0 0 97309 702 0 0 25 0 1 0 968574972 704765952 140863 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140863 301 301 0 171761 0
vsize: 688248
[startup+990.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 291840 0 0 0 98308 703 0 0 25 0 1 0 968574972 704765952 140871 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140871 301 301 0 171761 0
vsize: 688248
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 294970 0 0 0 99301 711 0 0 25 0 1 0 968574972 704765952 140874 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140874 301 301 0 171761 0
vsize: 688248
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 294978 0 0 0 100300 711 0 0 25 0 1 0 968574972 704765952 140882 4294967295 134512640 135730672 3221224576 3221222824 135284590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140882 301 301 0 171761 0
vsize: 688248
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 298107 0 0 0 101292 719 0 0 25 0 1 0 968574972 704765952 140884 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140884 301 301 0 171761 0
vsize: 688248
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 298122 0 0 0 102292 720 0 0 25 0 1 0 968574972 704765952 140899 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140899 301 301 0 171761 0
vsize: 688248
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 301251 0 0 0 103284 728 0 0 25 0 1 0 968574972 704765952 140901 4294967295 134512640 135730672 3221224576 3221223200 134783263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140901 301 301 0 171761 0
vsize: 688248
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 301253 0 0 0 104284 728 0 0 25 0 1 0 968574972 704765952 140903 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140903 301 301 0 171761 0
vsize: 688248
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 304382 0 0 0 105277 735 0 0 25 0 1 0 968574972 717574144 144032 4294967295 134512640 135730672 3221224576 3221222736 134768818 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175189 144032 301 301 0 174888 0
vsize: 700756
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 304385 0 0 0 106276 736 0 0 25 0 1 0 968574972 704765952 140908 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140908 301 301 0 171761 0
vsize: 688248
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 304395 0 0 0 107276 737 0 0 25 0 1 0 968574972 704765952 140918 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140918 301 301 0 171761 0
vsize: 688248
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 307530 0 0 0 108268 745 0 0 25 0 1 0 968574972 704765952 140926 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140926 301 301 0 171761 0
vsize: 688248
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 307538 0 0 0 109267 746 0 0 25 0 1 0 968574972 704765952 140934 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140934 301 301 0 171761 0
vsize: 688248
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 310670 0 0 0 110260 754 0 0 25 0 1 0 968574972 704765952 140939 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140939 301 301 0 171761 0
vsize: 688248
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 310677 0 0 0 111259 754 0 0 25 0 1 0 968574972 704765952 140946 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140946 301 301 0 171761 0
vsize: 688248
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 313807 0 0 0 112252 762 0 0 25 0 1 0 968574972 704765952 140949 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140949 301 301 0 171761 0
vsize: 688248
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 313814 0 0 0 113251 763 0 0 25 0 1 0 968574972 704765952 140956 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140956 301 301 0 171761 0
vsize: 688248
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 316947 0 0 0 114244 770 0 0 25 0 1 0 968574972 717574144 144089 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175189 144089 301 301 0 174888 0
vsize: 700756
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 316948 0 0 0 115243 771 0 0 25 0 1 0 968574972 704765952 140963 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140963 301 301 0 171761 0
vsize: 688248
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 316960 0 0 0 116243 772 0 0 25 0 1 0 968574972 704765952 140975 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140975 301 301 0 171761 0
vsize: 688248
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 320089 0 0 0 117235 779 0 0 25 0 1 0 968574972 717574144 144104 4294967295 134512640 135730672 3221224576 3221222752 134772765 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175189 144104 301 301 0 174888 0
vsize: 700756
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 320096 0 0 0 118234 781 0 0 25 0 1 0 968574972 704765952 140984 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140984 301 301 0 171761 0
vsize: 688248
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 320101 0 0 0 119233 782 0 0 25 0 1 0 968574972 704765952 140989 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140989 301 301 0 171761 0
vsize: 688248
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.16 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 6530
Raw data (stat): 6530 (pb2sat-v2) R 6529 31399 31398 0 -1 0 320101 0 0 0 119233 782 0 0 25 0 1 0 968574972 704765952 140989 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172062 140989 301 301 0 171761 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.16
CPU time (s): 1202.3
CPU user time (s): 1194.18
CPU system time (s): 8.11477
CPU usage (%): 100.012
Max. virtual memory (Kb): 700756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####