PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab2.opb
MD5SUM	e4125be387acbcc645dccab0e301ae8f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	3027
Biggest coefficient in the objective function	450560000000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	60439117299975427
Number of bits of the sum of numbers in the objective function	56
Biggest number in a constraint	450560000000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	60439117299975427
Number of bits of the biggest sum of numbers	56
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.049991
Number of variables	5220
Total number of constraints	952
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	113
Number of constraints which are nor clauses,nor cardinality constraints	839
Minimum length of a constraint	1
Maximum length of a constraint	114
Trace number 42878

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 17:20:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26092 boxname=wulflinc5 idbench=1392 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e4125be387acbcc645dccab0e301ae8f  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-timtab2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-timtab2.opb
IDLAUNCH: 26092
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        702728 kB
Buffers:         25784 kB
Cached:         283364 kB
SwapCached:        660 kB
Active:          26148 kB
Inactive:       285048 kB
HighTotal:      131008 kB
HighFree:         1708 kB
LowTotal:       903652 kB
LowFree:        701020 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15168 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:40:52 (client local time) WITH STATUS 0 IN 1200.7 SECONDS
stats: 26092 7 1200.7 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 2516/198951	Time: 18.5612/86400
c Decision: 2533/198951	Time: 30.9713/86400
c Decision: 2539/198951	Time: 47.6408/86400
c Decision: 2539/198951	Time: 57.5033/86400
c Decision: 2539/198951	Time: 67.7477/86400
c Decision: 2539/198951	Time: 78.4231/86400
c Decision: 2539/198951	Time: 88.4676/86400
c Decision: 2539/198951	Time: 99.2929/86400
c Decision: 2539/198951	Time: 107.883/86400
c Decision: 2539/198951	Time: 116.841/86400
c Decision: 2549/198951	Time: 130.167/86400
c Decision: 2549/198951	Time: 141.062/86400
c Decision: 2549/198951	Time: 152.214/86400
c Decision: 2549/198951	Time: 161.45/86400
c Decision: 2549/198951	Time: 171.604/86400
c Decision: 2556/198951	Time: 183.128/86400
c Decision: 2575/198951	Time: 194.267/86400
c Decision: 2598/198951	Time: 213.289/86400
c Decision: 2611/198951	Time: 239.355/86400
c Decision: 2611/198951	Time: 248.323/86400
c Decision: 2611/198951	Time: 259.785/86400
c Decision: 2614/198951	Time: 281.294/86400
c Decision: 2614/198951	Time: 292.962/86400
c Decision: 2614/198951	Time: 303.582/86400
c Decision: 2614/198951	Time: 312.157/86400
c Decision: 2614/198951	Time: 322.777/86400
c Decision: 2615/198951	Time: 335.743/86400
c Decision: 2615/198951	Time: 346.642/86400
c Decision: 2615/198951	Time: 359.374/86400
c Decision: 2616/198951	Time: 375.432/86400
c Decision: 2620/198951	Time: 396.294/86400
c Decision: 2629/198951	Time: 422.043/86400
c Decision: 2642/198951	Time: 450.212/86400
c Decision: 2642/198951	Time: 461.198/86400
c Decision: 2665/198951	Time: 487.303/86400
c Decision: 2665/198951	Time: 500.495/86400
c Decision: 2666/198951	Time: 514.004/86400
c Decision: 2666/198951	Time: 525.026/86400
c Decision: 2685/198951	Time: 555.555/86400
c Decision: 2701/198951	Time: 580.608/86400
c Decision: 2701/198951	Time: 594.309/86400
c Decision: 2705/198951	Time: 607.433/86400
c Decision: 2705/198951	Time: 618.823/86400
c Decision: 2709/198951	Time: 632.888/86400
c Decision: 2709/198951	Time: 643.72/86400
c Decision: 2713/198951	Time: 666.115/86400
c Decision: 2713/198951	Time: 679.068/86400
c Decision: 2713/198951	Time: 689.604/86400
c Decision: 2713/198951	Time: 702.687/86400
c Decision: 2722/198951	Time: 724.018/86400
c Decision: 2723/198951	Time: 742.023/86400
c Decision: 2727/198951	Time: 758.443/86400
c Decision: 2727/198951	Time: 764.01/86400
c Decision: 2727/198951	Time: 774.368/86400
c Decision: 2727/198951	Time: 785.741/86400
c Decision: 2727/198951	Time: 798.394/86400
c Decision: 2727/198951	Time: 810.533/86400
c Decision: 2727/198951	Time: 822.631/86400
c Decision: 2727/198951	Time: 834.956/86400
c Decision: 2727/198951	Time: 845.951/86400
c Decision: 2727/198951	Time: 860.396/86400
c Decision: 2727/198951	Time: 873.24/86400
c Decision: 2728/198951	Time: 890.072/86400
c Decision: 2730/198951	Time: 908.982/86400
c Decision: 2730/198951	Time: 920.976/86400
c Decision: 2730/198951	Time: 934.641/86400
c Decision: 2730/198951	Time: 946.845/86400
c Decision: 2732/198951	Time: 971.966/86400
c Decision: 2732/198951	Time: 984.63/86400
c Decision: 2732/198951	Time: 995.498/86400
c Decision: 2732/198951	Time: 1010.1/86400
c Decision: 2732/198951	Time: 1020.81/86400
c Decision: 2739/198951	Time: 1035.95/86400
c Decision: 2739/198951	Time: 1051.8/86400
c Decision: 2742/198951	Time: 1070.89/86400
c Decision: 2742/198951	Time: 1087.26/86400
c Decision: 2742/198951	Time: 1102.61/86400
c Decision: 2756/198951	Time: 1137.47/86400
c Decision: 2758/198951	Time: 1156.98/86400
c Decision: 2758/198951	Time: 1169.1/86400
c Decision: 2758/198951	Time: 1183.38/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.97 0.99 0.92 2/54 17709
Raw data (stat): 17709 (runsolver) R 17708 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972519278 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.0008 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 25504 0 0 0 944 55 0 0 25 0 1 0 972519278 78389248 14228 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19138 14228 301 301 0 18837 0
vsize: 76552
[startup+20.0015 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 26217 0 0 0 1940 57 0 0 25 0 1 0 972519278 81698816 14941 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19946 14941 301 301 0 19645 0
vsize: 79784
[startup+30.0028 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 26869 0 0 0 2938 59 0 0 25 0 1 0 972519278 83009536 15204 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20266 15204 301 301 0 19965 0
vsize: 81064
[startup+40.003 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 27344 0 0 0 3936 61 0 0 25 0 1 0 972519278 83337216 15290 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20346 15290 301 301 0 20045 0
vsize: 81384
[startup+50.0027 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 27497 0 0 0 4934 63 0 0 25 0 1 0 972519278 84123648 15443 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20538 15443 301 301 0 20237 0
vsize: 82152
[startup+60.003 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 27962 0 0 0 5932 65 0 0 25 0 1 0 972519278 84287488 15519 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20578 15519 301 301 0 20277 0
vsize: 82312
[startup+70.0033 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 28393 0 0 0 6930 67 0 0 25 0 1 0 972519278 84451328 15561 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20618 15561 301 301 0 20317 0
vsize: 82472
[startup+80.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 28838 0 0 0 7928 69 0 0 25 0 1 0 972519278 84647936 15617 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20666 15617 301 301 0 20365 0
vsize: 82664
[startup+90.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 29326 0 0 0 8926 71 0 0 25 0 1 0 972519278 85237760 15716 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20810 15716 301 301 0 20509 0
vsize: 83240
[startup+100.003 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 29753 0 0 0 9924 74 0 0 25 0 1 0 972519278 85237760 15754 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20810 15754 301 301 0 20509 0
vsize: 83240
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 30248 0 0 0 10921 77 0 0 25 0 1 0 972519278 85643264 15860 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20909 15860 301 301 0 20608 0
vsize: 83636
[startup+120.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 30724 0 0 0 11919 79 0 0 25 0 1 0 972519278 86036480 15947 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21005 15947 301 301 0 20704 0
vsize: 84020
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 31240 0 0 0 12918 80 0 0 25 0 1 0 972519278 86564864 16074 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21134 16074 301 301 0 20833 0
vsize: 84536
[startup+140.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 31676 0 0 0 13916 82 0 0 25 0 1 0 972519278 86761472 16121 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21182 16121 301 301 0 20881 0
vsize: 84728
[startup+150.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 32152 0 0 0 14914 84 0 0 25 0 1 0 972519278 87154688 16208 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21278 16208 301 301 0 20977 0
vsize: 85112
[startup+160.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 32185 0 0 0 15913 86 0 0 25 0 1 0 972519278 87289856 16241 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21311 16241 301 301 0 21010 0
vsize: 85244
[startup+170.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 33028 0 0 0 16910 89 0 0 25 0 1 0 972519278 87621632 16306 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21392 16306 301 301 0 21091 0
vsize: 85568
[startup+180.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 33091 0 0 0 17909 90 0 0 25 0 1 0 972519278 87818240 16369 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21440 16369 301 301 0 21139 0
vsize: 85760
[startup+190.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 33164 0 0 0 18907 91 0 0 25 0 1 0 972519278 88211456 16442 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21536 16442 301 301 0 21235 0
vsize: 86144
[startup+200.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 33580 0 0 0 19905 93 0 0 25 0 1 0 972519278 88211456 16469 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21536 16469 301 301 0 21235 0
vsize: 86144
[startup+210.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 33990 0 0 0 20903 96 0 0 25 0 1 0 972519278 88211456 16490 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21536 16490 301 301 0 21235 0
vsize: 86144
[startup+220.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 34048 0 0 0 21902 97 0 0 25 0 1 0 972519278 88481792 16548 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21602 16548 301 301 0 21301 0
vsize: 86408
[startup+230.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 34458 0 0 0 22900 99 0 0 25 0 1 0 972519278 88481792 16569 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21602 16569 301 301 0 21301 0
vsize: 86408
[startup+240.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 34601 0 0 0 23898 102 0 0 25 0 1 0 972519278 89157632 16712 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21767 16712 301 301 0 21466 0
vsize: 87068
[startup+250.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 35127 0 0 0 24895 104 0 0 25 0 1 0 972519278 89833472 16849 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21932 16849 301 301 0 21631 0
vsize: 87728
[startup+260.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 35544 0 0 0 25893 107 0 0 25 0 1 0 972519278 90030080 16877 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21980 16877 301 301 0 21679 0
vsize: 87920
[startup+270.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 35980 0 0 0 26892 108 0 0 25 0 1 0 972519278 90030080 16924 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21980 16924 301 301 0 21679 0
vsize: 87920
[startup+280.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 35999 0 0 0 27891 109 0 0 25 0 1 0 972519278 90030080 16943 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21980 16943 301 301 0 21679 0
vsize: 87920
[startup+290.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 36421 0 0 0 28889 111 0 0 25 0 1 0 972519278 90165248 16976 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22013 16976 301 301 0 21712 0
vsize: 88052
[startup+300.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 36436 0 0 0 29888 113 0 0 25 0 1 0 972519278 90165248 16991 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22013 16991 301 301 0 21712 0
vsize: 88052
[startup+310.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 36860 0 0 0 30886 115 0 0 25 0 1 0 972519278 90300416 17026 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22046 17026 301 301 0 21745 0
vsize: 88184
[startup+320.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 37291 0 0 0 31883 118 0 0 25 0 1 0 972519278 90435584 17068 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22079 17068 301 301 0 21778 0
vsize: 88316
[startup+330.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 37697 0 0 0 32882 120 0 0 25 0 1 0 972519278 90435584 17085 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22079 17085 301 301 0 21778 0
vsize: 88316
[startup+340.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 38107 0 0 0 33880 121 0 0 25 0 1 0 972519278 90570752 17106 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22112 17106 301 301 0 21811 0
vsize: 88448
[startup+350.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 38506 0 0 0 34878 123 0 0 25 0 1 0 972519278 90570752 17116 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22112 17116 301 301 0 21811 0
vsize: 88448
[startup+360.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 38906 0 0 0 35876 126 0 0 25 0 1 0 972519278 90570752 17127 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22112 17127 301 301 0 21811 0
vsize: 88448
[startup+370.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 39338 0 0 0 36874 128 0 0 25 0 1 0 972519278 90705920 17170 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22145 17170 301 301 0 21844 0
vsize: 88580
[startup+380.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 39412 0 0 0 37873 129 0 0 25 0 1 0 972519278 91037696 17244 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22226 17244 301 301 0 21925 0
vsize: 88904
[startup+390.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 39827 0 0 0 38872 130 0 0 25 0 1 0 972519278 91234304 17270 4294967295 134512640 135730672 3221224576 3221223200 134748114 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22274 17270 301 301 0 21973 0
vsize: 89096
[startup+400.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 39866 0 0 0 39870 132 0 0 25 0 1 0 972519278 91234304 17309 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22274 17309 301 301 0 21973 0
vsize: 89096
[startup+410.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 40277 0 0 0 40869 134 0 0 25 0 1 0 972519278 91430912 17331 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22322 17331 301 301 0 22021 0
vsize: 89288
[startup+420.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 40306 0 0 0 41868 135 0 0 25 0 1 0 972519278 91430912 17360 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22322 17360 301 301 0 22021 0
vsize: 89288
[startup+430.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 40328 0 0 0 42867 137 0 0 25 0 1 0 972519278 91430912 17382 4294967295 134512640 135730672 3221224576 3221223088 134745979 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22322 17382 301 301 0 22021 0
vsize: 89288
[startup+440.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 40761 0 0 0 43865 139 0 0 25 0 1 0 972519278 91566080 17426 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22355 17426 301 301 0 22054 0
vsize: 89420
[startup+450.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 40803 0 0 0 44864 140 0 0 25 0 1 0 972519278 91701248 17468 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22388 17468 301 301 0 22087 0
vsize: 89552
[startup+460.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 41211 0 0 0 45862 142 0 0 25 0 1 0 972519278 91701248 17487 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22388 17487 301 301 0 22087 0
vsize: 89552
[startup+470.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 41616 0 0 0 46861 143 0 0 25 0 1 0 972519278 91701248 17503 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22388 17503 301 301 0 22087 0
vsize: 89552
[startup+480.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 41638 0 0 0 47859 145 0 0 25 0 1 0 972519278 91865088 17525 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22428 17525 301 301 0 22127 0
vsize: 89712
[startup+490.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 41753 0 0 0 48858 146 0 0 25 0 1 0 972519278 92323840 17640 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22540 17640 301 301 0 22239 0
vsize: 90160
[startup+500.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 42184 0 0 0 49856 149 0 0 25 0 1 0 972519278 92323840 17682 4294967295 134512640 135730672 3221224576 3221223168 134763568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22540 17682 301 301 0 22239 0
vsize: 90160
[startup+510.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 42589 0 0 0 50854 150 0 0 25 0 1 0 972519278 92323840 17698 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22540 17698 301 301 0 22239 0
vsize: 90160
[startup+520.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 42626 0 0 0 51853 152 0 0 25 0 1 0 972519278 92508160 17735 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22585 17735 301 301 0 22284 0
vsize: 90340
[startup+530.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 43021 0 0 0 52851 154 0 0 25 0 1 0 972519278 92508160 17741 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22585 17741 301 301 0 22284 0
vsize: 90340
[startup+540.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 43421 0 0 0 53849 156 0 0 25 0 1 0 972519278 92508160 17752 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22585 17752 301 301 0 22284 0
vsize: 90340
[startup+550.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 43446 0 0 0 54849 157 0 0 25 0 1 0 972519278 92672000 17777 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22625 17777 301 301 0 22324 0
vsize: 90500
[startup+560.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 43473 0 0 0 55848 158 0 0 25 0 1 0 972519278 92672000 17804 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22625 17804 301 301 0 22324 0
vsize: 90500
[startup+570.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 43881 0 0 0 56846 160 0 0 25 0 1 0 972519278 92672000 17823 4294967295 134512640 135730672 3221224576 3221223072 134747927 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22625 17823 301 301 0 22324 0
vsize: 90500
[startup+580.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 43897 0 0 0 57845 162 0 0 25 0 1 0 972519278 92672000 17839 4294967295 134512640 135730672 3221224576 3221223200 134748141 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22625 17839 301 301 0 22324 0
vsize: 90500
[startup+590.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 44304 0 0 0 58842 164 0 0 25 0 1 0 972519278 92672000 17857 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22625 17857 301 301 0 22324 0
vsize: 90500
[startup+600.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 44340 0 0 0 59842 165 0 0 25 0 1 0 972519278 92807168 17893 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22658 17893 301 301 0 22357 0
vsize: 90632
[startup+610.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 44746 0 0 0 60840 167 0 0 25 0 1 0 972519278 93003776 17910 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22706 17910 301 301 0 22405 0
vsize: 90824
[startup+620.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 45155 0 0 0 61838 169 0 0 25 0 1 0 972519278 93003776 17930 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22706 17930 301 301 0 22405 0
vsize: 90824
[startup+630.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 45574 0 0 0 62836 171 0 0 25 0 1 0 972519278 93003776 17960 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22706 17960 301 301 0 22405 0
vsize: 90824
[startup+640.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 45643 0 0 0 63835 172 0 0 25 0 1 0 972519278 93409280 18029 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22805 18029 301 301 0 22504 0
vsize: 91220
[startup+650.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 46048 0 0 0 64833 174 0 0 25 0 1 0 972519278 93409280 18045 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22805 18045 301 301 0 22504 0
vsize: 91220
[startup+660.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 46451 0 0 0 65832 176 0 0 25 0 1 0 972519278 93409280 18059 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22805 18059 301 301 0 22504 0
vsize: 91220
[startup+670.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 46464 0 0 0 66831 177 0 0 25 0 1 0 972519278 93409280 18072 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22805 18072 301 301 0 22504 0
vsize: 91220
[startup+680.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 46863 0 0 0 67829 179 0 0 25 0 1 0 972519278 93409280 18082 4294967295 134512640 135730672 3221224576 3221222824 135285438 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22805 18082 301 301 0 22504 0
vsize: 91220
[startup+690.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 47257 0 0 0 68827 182 0 0 25 0 1 0 972519278 93409280 18087 4294967295 134512640 135730672 3221224576 3221223072 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22805 18087 301 301 0 22504 0
vsize: 91220
[startup+700.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 47659 0 0 0 69825 183 0 0 25 0 1 0 972519278 93409280 18100 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22805 18100 301 301 0 22504 0
vsize: 91220
[startup+710.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 47690 0 0 0 70824 185 0 0 25 0 1 0 972519278 93581312 18131 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22847 18131 301 301 0 22546 0
vsize: 91388
[startup+720.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 48102 0 0 0 71822 186 0 0 25 0 1 0 972519278 93581312 18154 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22847 18154 301 301 0 22546 0
vsize: 91388
[startup+730.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 48150 0 0 0 72821 188 0 0 25 0 1 0 972519278 93716480 18202 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22880 18202 301 301 0 22579 0
vsize: 91520
[startup+740.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 48553 0 0 0 73820 189 0 0 25 0 1 0 972519278 93716480 18216 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22880 18216 301 301 0 22579 0
vsize: 91520
[startup+750.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 48960 0 0 0 74818 191 0 0 25 0 1 0 972519278 93716480 18234 4294967295 134512640 135730672 3221224576 3221223200 134783315 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22880 18234 301 301 0 22579 0
vsize: 91520
[startup+760.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 49031 0 0 0 75817 193 0 0 25 0 1 0 972519278 94121984 18305 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22979 18305 301 301 0 22678 0
vsize: 91916
[startup+770.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 49453 0 0 0 76816 194 0 0 25 0 1 0 972519278 94257152 18338 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23012 18338 301 301 0 22711 0
vsize: 92048
[startup+780.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 49861 0 0 0 77813 196 0 0 25 0 1 0 972519278 94257152 18357 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23012 18357 301 301 0 22711 0
vsize: 92048
[startup+790.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 50260 0 0 0 78812 198 0 0 25 0 1 0 972519278 94257152 18367 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23012 18367 301 301 0 22711 0
vsize: 92048
[startup+800.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 50663 0 0 0 79810 200 0 0 25 0 1 0 972519278 94257152 18381 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23012 18381 301 301 0 22711 0
vsize: 92048
[startup+810.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 51062 0 0 0 80808 202 0 0 25 0 1 0 972519278 94257152 18391 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23012 18391 301 301 0 22711 0
vsize: 92048
[startup+820.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 51474 0 0 0 81806 204 0 0 25 0 1 0 972519278 94392320 18414 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23045 18414 301 301 0 22744 0
vsize: 92180
[startup+830.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 51482 0 0 0 82805 205 0 0 25 0 1 0 972519278 94392320 18422 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23045 18422 301 301 0 22744 0
vsize: 92180
[startup+840.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 51889 0 0 0 83803 208 0 0 25 0 1 0 972519278 94392320 18440 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23045 18440 301 301 0 22744 0
vsize: 92180
[startup+850.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 52294 0 0 0 84802 210 0 0 25 0 1 0 972519278 94392320 18456 4294967295 134512640 135730672 3221224576 3221223184 134744856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23045 18456 301 301 0 22744 0
vsize: 92180
[startup+860.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 52694 0 0 0 85800 211 0 0 25 0 1 0 972519278 94392320 18467 4294967295 134512640 135730672 3221224576 3221223056 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23045 18467 301 301 0 22744 0
vsize: 92180
[startup+870.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 53108 0 0 0 86799 213 0 0 25 0 1 0 972519278 94568448 18492 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23088 18492 301 301 0 22787 0
vsize: 92352
[startup+880.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 53120 0 0 0 87798 213 0 0 25 0 1 0 972519278 94568448 18504 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23088 18504 301 301 0 22787 0
vsize: 92352
[startup+890.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 53532 0 0 0 88797 215 0 0 25 0 1 0 972519278 94568448 18527 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23088 18527 301 301 0 22787 0
vsize: 92352
[startup+900.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 53945 0 0 0 89795 217 0 0 25 0 1 0 972519278 94568448 18551 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23088 18551 301 301 0 22787 0
vsize: 92352
[startup+910.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 53966 0 0 0 90794 218 0 0 25 0 1 0 972519278 94568448 18572 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23088 18572 301 301 0 22787 0
vsize: 92352
[startup+920.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 54374 0 0 0 91793 220 0 0 25 0 1 0 972519278 94568448 18591 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23088 18591 301 301 0 22787 0
vsize: 92352
[startup+930.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 54779 0 0 0 92790 222 0 0 25 0 1 0 972519278 94568448 18607 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23088 18607 301 301 0 22787 0
vsize: 92352
[startup+940.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 54818 0 0 0 93790 224 0 0 25 0 1 0 972519278 94703616 18646 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23121 18646 301 301 0 22820 0
vsize: 92484
[startup+950.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 55211 0 0 0 94788 226 0 0 25 0 1 0 972519278 94703616 18650 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23121 18650 301 301 0 22820 0
vsize: 92484
[startup+960.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 55612 0 0 0 95786 227 0 0 25 0 1 0 972519278 94703616 18662 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23121 18662 301 301 0 22820 0
vsize: 92484
[startup+970.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 55629 0 0 0 96785 228 0 0 25 0 1 0 972519278 94834688 18679 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23153 18679 301 301 0 22852 0
vsize: 92612
[startup+980.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 56032 0 0 0 97784 230 0 0 25 0 1 0 972519278 96428032 19082 4294967295 134512640 135730672 3221224576 3221222752 134768813 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23542 19082 301 301 0 23241 0
vsize: 94168
[startup+990.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 56043 0 0 0 98783 231 0 0 25 0 1 0 972519278 94834688 18704 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23153 18704 301 301 0 22852 0
vsize: 92612
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 56457 0 0 0 99782 233 0 0 25 0 1 0 972519278 94834688 18729 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23153 18729 301 301 0 22852 0
vsize: 92612
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 56866 0 0 0 100780 234 0 0 25 0 1 0 972519278 94834688 18749 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23153 18749 301 301 0 22852 0
vsize: 92612
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 57267 0 0 0 101778 236 0 0 25 0 1 0 972519278 94969856 18761 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23186 18761 301 301 0 22885 0
vsize: 92744
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 57684 0 0 0 102776 238 0 0 25 0 1 0 972519278 95105024 18789 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23219 18789 301 301 0 22918 0
vsize: 92876
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 57688 0 0 0 103776 239 0 0 25 0 1 0 972519278 95105024 18793 4294967295 134512640 135730672 3221224576 3221223088 135282429 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23219 18793 301 301 0 22918 0
vsize: 92876
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 58083 0 0 0 104775 240 0 0 25 0 1 0 972519278 95105024 18799 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23219 18799 301 301 0 22918 0
vsize: 92876
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 58483 0 0 0 105773 242 0 0 25 0 1 0 972519278 96698368 19199 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23608 19199 301 301 0 23307 0
vsize: 94432
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 58523 0 0 0 106772 243 0 0 25 0 1 0 972519278 95240192 18850 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23252 18850 301 301 0 22951 0
vsize: 93008
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 58993 0 0 0 107770 245 0 0 25 0 1 0 972519278 95645696 18931 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23351 18931 301 301 0 23050 0
vsize: 93404
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 59003 0 0 0 108769 246 0 0 25 0 1 0 972519278 95645696 18941 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23351 18941 301 301 0 23050 0
vsize: 93404
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 59397 0 0 0 109768 248 0 0 25 0 1 0 972519278 95645696 18946 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23351 18946 301 301 0 23050 0
vsize: 93404
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 59420 0 0 0 110767 249 0 0 25 0 1 0 972519278 95780864 18969 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23384 18969 301 301 0 23083 0
vsize: 93536
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 59812 0 0 0 111766 250 0 0 25 0 1 0 972519278 95780864 18972 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23384 18972 301 301 0 23083 0
vsize: 93536
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 59821 0 0 0 112765 252 0 0 25 0 1 0 972519278 95780864 18981 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23384 18981 301 301 0 23083 0
vsize: 93536
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 59831 0 0 0 113764 253 0 0 25 0 1 0 972519278 95780864 18991 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23384 18991 301 301 0 23083 0
vsize: 93536
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 60233 0 0 0 114762 255 0 0 25 0 1 0 972519278 95780864 19004 4294967295 134512640 135730672 3221224576 3221223264 134748455 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23384 19004 301 301 0 23083 0
vsize: 93536
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 60242 0 0 0 115761 256 0 0 25 0 1 0 972519278 95780864 19013 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23384 19013 301 301 0 23083 0
vsize: 93536
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 60653 0 0 0 116760 257 0 0 25 0 1 0 972519278 95780864 19035 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23384 19035 301 301 0 23083 0
vsize: 93536
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 61053 0 0 0 117758 259 0 0 25 0 1 0 972519278 95780864 19046 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23384 19046 301 301 0 23083 0
vsize: 93536
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 61066 0 0 0 118757 260 0 0 25 0 1 0 972519278 95780864 19059 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23384 19059 301 301 0 23083 0
vsize: 93536
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 17709
Raw data (stat): 17709 (pb2sat-v2) R 17708 7266 7265 0 -1 0 61461 0 0 0 119756 262 0 0 25 0 1 0 972519278 95780864 19065 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23384 19065 301 301 0 23083 0
vsize: 93536
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.55 s]
Raw data (loadavg): 0.99 0.99 0.92 1/54 17709
Raw data (stat): 17709 (pb2sat-v2) Z 17708 7266 7265 0 -1 12 61463 0 0 0 119803 266 0 0 25 0 1 0 972519278 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.55
CPU time (s): 1200.7
CPU user time (s): 1198.04
CPU system time (s): 2.66459
CPU usage (%): 100.013
Max. virtual memory (Kb): 94432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####