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/miplib2003/normalized-mps-v2-20-10-timtab2.opb
MD5SUM	388cec2ad329df6f021dfbdc92f512ad
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	3774
Biggest coefficient in the objective function	3604480000000000
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	483609165299803395
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	3604480000000000
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	483609165299803395
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.05999
Number of variables	6363
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	141
Trace number 42494

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 09:03:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25708 boxname=wulflinc6 idbench=1008 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  388cec2ad329df6f021dfbdc92f512ad  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-timtab2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-timtab2.opb
IDLAUNCH: 25708
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        700780 kB
Buffers:         33560 kB
Cached:         277600 kB
SwapCached:       1028 kB
Active:          42680 kB
Inactive:       270708 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        700500 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14764 kB
Committed_AS:    63812 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:23:13 (client local time) WITH STATUS 0 IN 1200.92 SECONDS
stats: 25708 7 1200.92 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 2487/240306	Time: 19.874/86400
c Decision: 2495/240306	Time: 41.8726/86400
c Decision: 2506/240306	Time: 83.9932/86400
c Decision: 2510/240306	Time: 103.799/86400
c Decision: 2531/240306	Time: 137.355/86400
c Decision: 2531/240306	Time: 151.932/86400
c Decision: 2532/240306	Time: 168.469/86400
c Decision: 2554/240306	Time: 186.332/86400
c Decision: 2555/240306	Time: 210.326/86400
c Decision: 2560/240306	Time: 224.851/86400
c Decision: 2560/240306	Time: 240.755/86400
c Decision: 2560/240306	Time: 254.226/86400
c Decision: 2560/240306	Time: 268.095/86400
c Decision: 2560/240306	Time: 279.445/86400
c Decision: 2560/240306	Time: 290.453/86400
c Decision: 2560/240306	Time: 300.86/86400
c Decision: 2560/240306	Time: 313.11/86400
c Decision: 2560/240306	Time: 324.301/86400
c Decision: 2560/240306	Time: 337.674/86400
c Decision: 2560/240306	Time: 349.422/86400
c Decision: 2560/240306	Time: 361.484/86400
c Decision: 2560/240306	Time: 374.647/86400
c Decision: 2560/240306	Time: 387.939/86400
c Decision: 2560/240306	Time: 400.282/86400
c Decision: 2560/240306	Time: 411.132/86400
c Decision: 2560/240306	Time: 424.758/86400
c Decision: 2560/240306	Time: 436.535/86400
c Decision: 2560/240306	Time: 449.835/86400
c Decision: 2560/240306	Time: 462.809/86400
c Decision: 2560/240306	Time: 469.357/86400
c Decision: 2560/240306	Time: 480.83/86400
c Decision: 2560/240306	Time: 493.218/86400
c Decision: 2560/240306	Time: 506.143/86400
c Decision: 2560/240306	Time: 519.668/86400
c Decision: 2560/240306	Time: 532.576/86400
c Decision: 2565/240306	Time: 549.512/86400
c Decision: 2565/240306	Time: 562.436/86400
c Decision: 2565/240306	Time: 575.039/86400
c Decision: 2565/240306	Time: 585/86400
c Decision: 2565/240306	Time: 596.114/86400
c Decision: 2565/240306	Time: 611.697/86400
c Decision: 2565/240306	Time: 623.099/86400
c Decision: 2565/240306	Time: 634.502/86400
c Decision: 2565/240306	Time: 640.37/86400
c Decision: 2565/240306	Time: 651.899/86400
c Decision: 2565/240306	Time: 665.779/86400
c Decision: 2565/240306	Time: 675.158/86400
c Decision: 2565/240306	Time: 685.066/86400
c Decision: 2565/240306	Time: 699.173/86400
c Decision: 2565/240306	Time: 711.779/86400
c Decision: 2565/240306	Time: 726.746/86400
c Decision: 2565/240306	Time: 738.206/86400
c Decision: 2566/240306	Time: 750.48/86400
c Decision: 2566/240306	Time: 764.119/86400
c Decision: 2566/240306	Time: 775.568/86400
c Decision: 2566/240306	Time: 783.835/86400
c Decision: 2566/240306	Time: 796.526/86400
c Decision: 2566/240306	Time: 808.149/86400
c Decision: 2566/240306	Time: 821.899/86400
c Decision: 2572/240306	Time: 849.074/86400
c Decision: 2572/240306	Time: 862.125/86400
c Decision: 2572/240306	Time: 874.787/86400
c Decision: 2572/240306	Time: 885.759/86400
c Decision: 2572/240306	Time: 897.708/86400
c Decision: 2573/240306	Time: 922.276/86400
c Decision: 2573/240306	Time: 936.673/86400
c Decision: 2573/240306	Time: 949.085/86400
c Decision: 2589/240306	Time: 961.75/86400
c Decision: 2595/240306	Time: 983.42/86400
c Decision: 2596/240306	Time: 1005.98/86400
c Decision: 2596/240306	Time: 1021.75/86400
c Decision: 2597/240306	Time: 1034.08/86400
c Decision: 2597/240306	Time: 1048.26/86400
c Decision: 2597/240306	Time: 1064.43/86400
c Decision: 2621/240306	Time: 1094.29/86400
c Decision: 2637/240306	Time: 1121.86/86400
c Decision: 2637/240306	Time: 1137.21/86400
c Decision: 2637/240306	Time: 1149.47/86400
c Decision: 2637/240306	Time: 1166.21/86400
c Decision: 2637/240306	Time: 1182.96/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.86 0.94 0.90 2/54 17211
Raw data (stat): 17211 (runsolver) R 17210 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969531888 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0018 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 17211
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 27022 0 0 0 937 62 0 0 25 0 1 0 969531888 77676544 15997 4294967295 134512640 135730672 3221224576 3221221600 134633718 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18964 15997 301 301 0 18663 0
vsize: 75856
[startup+20.0028 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 17211
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 29276 0 0 0 1930 69 0 0 25 0 1 0 969531888 84664320 17778 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20670 17778 301 301 0 20369 0
vsize: 82680
[startup+30.0035 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 17211
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 30201 0 0 0 2927 73 0 0 25 0 1 0 969531888 86847488 18233 4294967295 134512640 135730672 3221224576 3221223184 134748234 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21203 18233 301 301 0 20902 0
vsize: 84812
[startup+40.0041 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 17211
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 30513 0 0 0 3925 74 0 0 25 0 1 0 969531888 88440832 18545 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21592 18545 301 301 0 21291 0
vsize: 86368
[startup+50.0053 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 17211
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 30718 0 0 0 4923 77 0 0 25 0 1 0 969531888 89427968 18750 4294967295 134512640 135730672 3221224576 3221223088 135282246 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21833 18750 301 301 0 21532 0
vsize: 87332
[startup+60.006 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17211
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 31293 0 0 0 5920 80 0 0 25 0 1 0 969531888 89821184 18855 4294967295 134512640 135730672 3221224576 3221223200 134748200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21929 18855 301 301 0 21628 0
vsize: 87716
[startup+70.0075 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17211
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 31411 0 0 0 6919 81 0 0 25 0 1 0 969531888 90312704 18973 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22049 18973 301 301 0 21748 0
vsize: 88196
[startup+80.0087 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17211
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 31615 0 0 0 7918 83 0 0 25 0 1 0 969531888 91230208 19177 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22273 19177 301 301 0 21972 0
vsize: 89092
[startup+90.0094 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17211
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 31738 0 0 0 8916 85 0 0 25 0 1 0 969531888 91758592 19300 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22402 19300 301 301 0 22101 0
vsize: 89608
[startup+100.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17211
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 32235 0 0 0 9914 87 0 0 25 0 1 0 969531888 91758592 19327 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22402 19327 301 301 0 22101 0
vsize: 89608
[startup+110.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17211
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 32340 0 0 0 10913 89 0 0 25 0 1 0 969531888 92286976 19432 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22531 19432 301 301 0 22230 0
vsize: 90124
[startup+120.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17211
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 32885 0 0 0 11910 92 0 0 25 0 1 0 969531888 92680192 19507 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22627 19507 301 301 0 22326 0
vsize: 90508
[startup+130.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 32936 0 0 0 12908 93 0 0 25 0 1 0 969531888 92876800 19558 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22675 19558 301 301 0 22374 0
vsize: 90700
[startup+140.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 33023 0 0 0 13907 95 0 0 25 0 1 0 969531888 93073408 19645 4294967295 134512640 135730672 3221224576 3221223264 134748681 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22723 19645 301 301 0 22422 0
vsize: 90892
[startup+150.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 33545 0 0 0 14904 97 0 0 25 0 1 0 969531888 93343744 19697 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22789 19697 301 301 0 22488 0
vsize: 91156
[startup+160.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 33569 0 0 0 15903 99 0 0 25 0 1 0 969531888 93540352 19721 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22837 19721 301 301 0 22536 0
vsize: 91348
[startup+170.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 34091 0 0 0 16901 101 0 0 25 0 1 0 969531888 93736960 19773 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22885 19773 301 301 0 22584 0
vsize: 91540
[startup+180.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 34596 0 0 0 17898 104 0 0 25 0 1 0 969531888 93933568 19808 4294967295 134512640 135730672 3221224576 3221223072 134747662 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22933 19808 301 301 0 22632 0
vsize: 91732
[startup+190.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 34652 0 0 0 18898 105 0 0 25 0 1 0 969531888 94130176 19864 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22981 19864 301 301 0 22680 0
vsize: 91924
[startup+200.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 35184 0 0 0 19896 108 0 0 25 0 1 0 969531888 94265344 19926 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23014 19926 301 301 0 22713 0
vsize: 92056
[startup+210.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 35218 0 0 0 20895 109 0 0 25 0 1 0 969531888 94400512 19960 4294967295 134512640 135730672 3221224576 3221223072 134747483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23047 19960 301 301 0 22746 0
vsize: 92188
[startup+220.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 35698 0 0 0 21892 112 0 0 25 0 1 0 969531888 96325632 20440 4294967295 134512640 135730672 3221224576 3221222732 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23517 20440 301 301 0 23216 0
vsize: 94068
[startup+230.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 35711 0 0 0 22891 114 0 0 25 0 1 0 969531888 94400512 19983 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23047 19983 301 301 0 22746 0
vsize: 92188
[startup+240.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 36193 0 0 0 23888 116 0 0 25 0 1 0 969531888 94400512 19995 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23047 19995 301 301 0 22746 0
vsize: 92188
[startup+250.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 36696 0 0 0 24886 119 0 0 25 0 1 0 969531888 96460800 20498 4294967295 134512640 135730672 3221224576 3221222764 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23550 20498 301 301 0 23249 0
vsize: 94200
[startup+260.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 36707 0 0 0 25885 121 0 0 25 0 1 0 969531888 94535680 20039 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23080 20039 301 301 0 22779 0
vsize: 92320
[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 37187 0 0 0 26883 123 0 0 25 0 1 0 969531888 94535680 20049 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23080 20049 301 301 0 22779 0
vsize: 92320
[startup+280.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 37683 0 0 0 27881 125 0 0 25 0 1 0 969531888 94732288 20075 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23128 20075 301 301 0 22827 0
vsize: 92512
[startup+290.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 38176 0 0 0 28879 127 0 0 25 0 1 0 969531888 94732288 20098 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23128 20098 301 301 0 22827 0
vsize: 92512
[startup+300.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 38663 0 0 0 29877 130 0 0 25 0 1 0 969531888 96657408 20585 4294967295 134512640 135730672 3221224576 3221222752 134768862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23598 20585 301 301 0 23297 0
vsize: 94392
[startup+310.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 39152 0 0 0 30875 132 0 0 25 0 1 0 969531888 96657408 20604 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23598 20604 301 301 0 23297 0
vsize: 94392
[startup+320.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 39185 0 0 0 31873 134 0 0 25 0 1 0 969531888 94867456 20167 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23161 20167 301 301 0 22860 0
vsize: 92644
[startup+330.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 39700 0 0 0 32871 136 0 0 25 0 1 0 969531888 95064064 20212 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23209 20212 301 301 0 22908 0
vsize: 92836
[startup+340.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 40193 0 0 0 33868 139 0 0 25 0 1 0 969531888 95064064 20235 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23209 20235 301 301 0 22908 0
vsize: 92836
[startup+350.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 40678 0 0 0 34866 142 0 0 25 0 1 0 969531888 95064064 20250 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23209 20250 301 301 0 22908 0
vsize: 92836
[startup+360.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 41160 0 0 0 35864 144 0 0 25 0 1 0 969531888 95064064 20262 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23209 20262 301 301 0 22908 0
vsize: 92836
[startup+370.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 41202 0 0 0 36863 146 0 0 25 0 1 0 969531888 95260672 20304 4294967295 134512640 135730672 3221224576 3221223088 134745852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23257 20304 301 301 0 22956 0
vsize: 93028
[startup+380.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 41699 0 0 0 37861 148 0 0 25 0 1 0 969531888 95395840 20331 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23290 20331 301 301 0 22989 0
vsize: 93160
[startup+390.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 42211 0 0 0 38859 150 0 0 25 0 1 0 969531888 95592448 20373 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23338 20373 301 301 0 23037 0
vsize: 93352
[startup+400.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 42698 0 0 0 39857 152 0 0 25 0 1 0 969531888 95592448 20390 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23338 20390 301 301 0 23037 0
vsize: 93352
[startup+410.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 43192 0 0 0 40856 155 0 0 25 0 1 0 969531888 97714176 20884 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23856 20884 301 301 0 23555 0
vsize: 95424
[startup+420.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 43221 0 0 0 41854 156 0 0 25 0 1 0 969531888 95789056 20443 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23386 20443 301 301 0 23085 0
vsize: 93544
[startup+430.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 43701 0 0 0 42852 158 0 0 25 0 1 0 969531888 95789056 20453 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23386 20453 301 301 0 23085 0
vsize: 93544
[startup+440.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 44219 0 0 0 43850 161 0 0 25 0 1 0 969531888 95924224 20501 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23419 20501 301 301 0 23118 0
vsize: 93676
[startup+450.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 44724 0 0 0 44848 163 0 0 25 0 1 0 969531888 96059392 20536 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23452 20536 301 301 0 23151 0
vsize: 93808
[startup+460.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 45224 0 0 0 45845 166 0 0 25 0 1 0 969531888 96194560 20566 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23485 20566 301 301 0 23184 0
vsize: 93940
[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 45240 0 0 0 46844 168 0 0 25 0 1 0 969531888 96194560 20582 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23485 20582 301 301 0 23184 0
vsize: 93940
[startup+480.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 46211 0 0 0 47842 171 0 0 25 0 1 0 969531888 96194560 20613 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23485 20613 301 301 0 23184 0
vsize: 93940
[startup+490.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 46698 0 0 0 48840 173 0 0 25 0 1 0 969531888 98119680 21100 4294967295 134512640 135730672 3221224576 3221222784 134769504 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23955 21100 301 301 0 23654 0
vsize: 95820
[startup+500.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 46701 0 0 0 49840 174 0 0 25 0 1 0 969531888 96194560 20633 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23485 20633 301 301 0 23184 0
vsize: 93940
[startup+510.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 47180 0 0 0 50837 177 0 0 25 0 1 0 969531888 96194560 20642 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23485 20642 301 301 0 23184 0
vsize: 93940
[startup+520.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 47684 0 0 0 51835 180 0 0 25 0 1 0 969531888 96329728 20676 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23518 20676 301 301 0 23217 0
vsize: 94072
[startup+530.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 48176 0 0 0 52833 182 0 0 25 0 1 0 969531888 96526336 20698 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23566 20698 301 301 0 23265 0
vsize: 94264
[startup+540.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 48192 0 0 0 53832 184 0 0 25 0 1 0 969531888 96526336 20714 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23566 20714 301 301 0 23265 0
vsize: 94264
[startup+550.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 48677 0 0 0 54830 185 0 0 25 0 1 0 969531888 96526336 20729 4294967295 134512640 135730672 3221224576 3221223072 134747477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23566 20729 301 301 0 23265 0
vsize: 94264
[startup+560.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 49195 0 0 0 55827 188 0 0 25 0 1 0 969531888 96661504 20777 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23599 20777 301 301 0 23298 0
vsize: 94396
[startup+570.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 49207 0 0 0 56827 189 0 0 25 0 1 0 969531888 96661504 20789 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23599 20789 301 301 0 23298 0
vsize: 94396
[startup+580.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 49688 0 0 0 57824 192 0 0 25 0 1 0 969531888 96661504 20800 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23599 20800 301 301 0 23298 0
vsize: 94396
[startup+590.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 50182 0 0 0 58822 194 0 0 25 0 1 0 969531888 96661504 20824 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23599 20824 301 301 0 23298 0
vsize: 94396
[startup+600.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 50664 0 0 0 59820 197 0 0 25 0 1 0 969531888 96661504 20836 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23599 20836 301 301 0 23298 0
vsize: 94396
[startup+610.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 51148 0 0 0 60817 200 0 0 25 0 1 0 969531888 96661504 20850 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23599 20850 301 301 0 23298 0
vsize: 94396
[startup+620.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 51180 0 0 0 61816 201 0 0 25 0 1 0 969531888 96796672 20882 4294967295 134512640 135730672 3221224576 3221223088 134746523 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23632 20882 301 301 0 23331 0
vsize: 94528
[startup+630.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 51660 0 0 0 62814 204 0 0 25 0 1 0 969531888 96796672 20892 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23632 20892 301 301 0 23331 0
vsize: 94528
[startup+640.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 52134 0 0 0 63812 206 0 0 25 0 1 0 969531888 96796672 20896 4294967295 134512640 135730672 3221224576 3221222896 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23632 20896 301 301 0 23331 0
vsize: 94528
[startup+650.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 53121 0 0 0 64809 209 0 0 25 0 1 0 969531888 98856960 21413 4294967295 134512640 135730672 3221224576 3221222720 134769157 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24135 21413 301 301 0 23834 0
vsize: 96540
[startup+660.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 53134 0 0 0 65808 211 0 0 25 0 1 0 969531888 96931840 20956 4294967295 134512640 135730672 3221224576 3221223184 134748222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23665 20956 301 301 0 23364 0
vsize: 94660
[startup+670.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 53630 0 0 0 66806 213 0 0 25 0 1 0 969531888 97067008 20982 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23698 20982 301 301 0 23397 0
vsize: 94792
[startup+680.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 54110 0 0 0 67804 215 0 0 25 0 1 0 969531888 97067008 20992 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23698 20992 301 301 0 23397 0
vsize: 94792
[startup+690.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 54585 0 0 0 68802 217 0 0 25 0 1 0 969531888 97067008 20997 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23698 20997 301 301 0 23397 0
vsize: 94792
[startup+700.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 55060 0 0 0 69801 219 0 0 25 0 1 0 969531888 97067008 21002 4294967295 134512640 135730672 3221224576 3221222756 135281364 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23698 21002 301 301 0 23397 0
vsize: 94792
[startup+710.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 55539 0 0 0 70798 221 0 0 25 0 1 0 969531888 97067008 21011 4294967295 134512640 135730672 3221224576 3221223232 134748676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23698 21011 301 301 0 23397 0
vsize: 94792
[startup+720.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 55579 0 0 0 71796 224 0 0 25 0 1 0 969531888 97202176 21051 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23731 21051 301 301 0 23430 0
vsize: 94924
[startup+730.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 56059 0 0 0 72793 227 0 0 25 0 1 0 969531888 97202176 21061 4294967295 134512640 135730672 3221224576 3221223264 134748716 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23731 21061 301 301 0 23430 0
vsize: 94924
[startup+740.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 56537 0 0 0 73791 229 0 0 25 0 1 0 969531888 97202176 21069 4294967295 134512640 135730672 3221224576 3221223072 134747934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23731 21069 301 301 0 23430 0
vsize: 94924
[startup+750.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 57037 0 0 0 74789 232 0 0 25 0 1 0 969531888 97345536 21099 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23766 21099 301 301 0 23465 0
vsize: 95064
[startup+760.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 57531 0 0 0 75786 234 0 0 25 0 1 0 969531888 99270656 21593 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24236 21593 301 301 0 23935 0
vsize: 96944
[startup+770.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 57551 0 0 0 76785 235 0 0 25 0 1 0 969531888 97345536 21143 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23766 21143 301 301 0 23465 0
vsize: 95064
[startup+780.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 58039 0 0 0 77783 238 0 0 25 0 1 0 969531888 97345536 21161 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23766 21161 301 301 0 23465 0
vsize: 95064
[startup+790.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 58539 0 0 0 78781 240 0 0 25 0 1 0 969531888 97345536 21191 4294967295 134512640 135730672 3221224576 3221223232 134734860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23766 21191 301 301 0 23465 0
vsize: 95064
[startup+800.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 59030 0 0 0 79779 242 0 0 25 0 1 0 969531888 97345536 21212 4294967295 134512640 135730672 3221224576 3221223240 134748654 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23766 21212 301 301 0 23465 0
vsize: 95064
[startup+810.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 59516 0 0 0 80778 244 0 0 25 0 1 0 969531888 97492992 21228 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23802 21228 301 301 0 23501 0
vsize: 95208
[startup+820.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 59996 0 0 0 81776 246 0 0 25 0 1 0 969531888 97492992 21238 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23802 21238 301 301 0 23501 0
vsize: 95208
[startup+830.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 60011 0 0 0 82775 248 0 0 25 0 1 0 969531888 97492992 21253 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23802 21253 301 301 0 23501 0
vsize: 95208
[startup+840.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 60524 0 0 0 83773 250 0 0 25 0 1 0 969531888 97673216 21296 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23846 21296 301 301 0 23545 0
vsize: 95384
[startup+850.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 60539 0 0 0 84772 251 0 0 25 0 1 0 969531888 97673216 21311 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23846 21311 301 301 0 23545 0
vsize: 95384
[startup+860.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 61040 0 0 0 85769 254 0 0 25 0 1 0 969531888 97673216 21342 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23846 21342 301 301 0 23545 0
vsize: 95384
[startup+870.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 61056 0 0 0 86767 256 0 0 25 0 1 0 969531888 97673216 21358 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23846 21358 301 301 0 23545 0
vsize: 95384
[startup+880.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 61541 0 0 0 87765 258 0 0 25 0 1 0 969531888 97869824 21373 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23894 21373 301 301 0 23593 0
vsize: 95576
[startup+890.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 62036 0 0 0 88764 260 0 0 25 0 1 0 969531888 97869824 21398 4294967295 134512640 135730672 3221224576 3221223220 134748260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23894 21398 301 301 0 23593 0
vsize: 95576
[startup+900.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 62619 0 0 0 89762 262 0 0 25 0 1 0 969531888 98271232 21511 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23992 21511 301 301 0 23691 0
vsize: 95968
[startup+910.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 63104 0 0 0 90759 265 0 0 25 0 1 0 969531888 98271232 21526 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23992 21526 301 301 0 23691 0
vsize: 95968
[startup+920.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 63116 0 0 0 91757 267 0 0 25 0 1 0 969531888 98271232 21538 4294967295 134512640 135730672 3221224576 3221222924 135284213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23992 21538 301 301 0 23691 0
vsize: 95968
[startup+930.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 63136 0 0 0 92756 268 0 0 25 0 1 0 969531888 98467840 21558 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24040 21558 301 301 0 23739 0
vsize: 96160
[startup+940.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 63620 0 0 0 93754 271 0 0 25 0 1 0 969531888 98467840 21572 4294967295 134512640 135730672 3221224576 3221223232 134734860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24040 21572 301 301 0 23739 0
vsize: 96160
[startup+950.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 64145 0 0 0 94752 273 0 0 25 0 1 0 969531888 98603008 21627 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24073 21627 301 301 0 23772 0
vsize: 96292
[startup+960.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 64628 0 0 0 95750 276 0 0 25 0 1 0 969531888 98603008 21640 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24073 21640 301 301 0 23772 0
vsize: 96292
[startup+970.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 64648 0 0 0 96749 277 0 0 25 0 1 0 969531888 98603008 21660 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24073 21660 301 301 0 23772 0
vsize: 96292
[startup+980.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 65154 0 0 0 97747 278 0 0 25 0 1 0 969531888 98738176 21696 4294967295 134512640 135730672 3221224576 3221223072 134747662 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24106 21696 301 301 0 23805 0
vsize: 96424
[startup+990.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 65194 0 0 0 98746 280 0 0 25 0 1 0 969531888 98873344 21736 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24139 21736 301 301 0 23838 0
vsize: 96556
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 65675 0 0 0 99743 283 0 0 25 0 1 0 969531888 98873344 21747 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24139 21747 301 301 0 23838 0
vsize: 96556
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 65687 0 0 0 100742 284 0 0 25 0 1 0 969531888 98873344 21759 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24139 21759 301 301 0 23838 0
vsize: 96556
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 66169 0 0 0 101740 286 0 0 25 0 1 0 969531888 98873344 21771 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24139 21771 301 301 0 23838 0
vsize: 96556
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 66181 0 0 0 102739 287 0 0 25 0 1 0 969531888 98873344 21783 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24139 21783 301 301 0 23838 0
vsize: 96556
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 66655 0 0 0 103737 290 0 0 25 0 1 0 969531888 98873344 21787 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24139 21787 301 301 0 23838 0
vsize: 96556
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 67138 0 0 0 104735 292 0 0 25 0 1 0 969531888 98873344 21800 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24139 21800 301 301 0 23838 0
vsize: 96556
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 67636 0 0 0 105733 294 0 0 25 0 1 0 969531888 99012608 21828 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24173 21828 301 301 0 23872 0
vsize: 96692
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 67653 0 0 0 106732 295 0 0 25 0 1 0 969531888 99012608 21845 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24173 21845 301 301 0 23872 0
vsize: 96692
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 68143 0 0 0 107730 298 0 0 25 0 1 0 969531888 99012608 21865 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24173 21865 301 301 0 23872 0
vsize: 96692
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 68216 0 0 0 108729 299 0 0 25 0 1 0 969531888 99418112 21938 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24272 21938 301 301 0 23971 0
vsize: 97088
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 68366 0 0 0 109728 300 0 0 25 0 1 0 969531888 100225024 22055 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24469 22055 301 301 0 24168 0
vsize: 97876
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 68849 0 0 0 110725 303 0 0 25 0 1 0 969531888 100225024 22068 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24469 22068 301 301 0 24168 0
vsize: 97876
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 68880 0 0 0 111724 304 0 0 25 0 1 0 969531888 100360192 22099 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24502 22099 301 301 0 24201 0
vsize: 98008
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 68968 0 0 0 112723 305 0 0 25 0 1 0 969531888 100626432 22154 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24567 22154 301 301 0 24266 0
vsize: 98268
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 69442 0 0 0 113721 307 0 0 25 0 1 0 969531888 100626432 22158 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24567 22158 301 301 0 24266 0
vsize: 98268
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 69916 0 0 0 114719 309 0 0 25 0 1 0 969531888 100626432 22162 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24567 22162 301 301 0 24266 0
vsize: 98268
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 70408 0 0 0 115717 312 0 0 25 0 1 0 969531888 100761600 22184 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24600 22184 301 301 0 24299 0
vsize: 98400
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 70480 0 0 0 116715 314 0 0 25 0 1 0 969531888 100892672 22223 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24632 22223 301 301 0 24331 0
vsize: 98528
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 70961 0 0 0 117713 316 0 0 25 0 1 0 969531888 100892672 22234 4294967295 134512640 135730672 3221224576 3221223048 134730405 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24632 22234 301 301 0 24331 0
vsize: 98528
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 70975 0 0 0 118711 318 0 0 25 0 1 0 969531888 100892672 22248 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24632 22248 301 301 0 24331 0
vsize: 98528
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17213
Raw data (stat): 17211 (pb2sat-v2) R 17210 25568 25567 0 -1 0 71480 0 0 0 119709 320 0 0 25 0 1 0 969531888 101027840 22283 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24665 22283 301 301 0 24364 0
vsize: 98660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.68 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 17213
Raw data (stat): 17211 (pb2sat-v2) Z 17210 25568 25567 0 -1 12 71482 0 0 0 119766 325 0 0 25 0 1 0 969531888 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 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.68
CPU time (s): 1200.92
CPU user time (s): 1197.66
CPU system time (s): 3.2555
CPU usage (%): 100.02
Max. virtual memory (Kb): 98660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####