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-fiber.opb
MD5SUM	d1d488615de0d5a5bcf2a298507e66b1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	72966962
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	90.9232
Number of variables	2134
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	51
Trace number 42840

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        745788 kB
Buffers:         13984 kB
Cached:         253168 kB
SwapCached:        904 kB
Active:          26984 kB
Inactive:       242160 kB
HighTotal:      131008 kB
HighFree:         5376 kB
LowTotal:       903652 kB
LowFree:        740412 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14056 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 16:29:35 (client local time) WITH STATUS 0 IN 1200.92 SECONDS
stats: 26049 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: 5209/301506	Time: 193.792/86400
c Decision: 5209/301506	Time: 204.932/86400
c Decision: 5214/301506	Time: 226.044/86400
c Decision: 5214/301506	Time: 238.592/86400
c Decision: 5214/301506	Time: 244.03/86400
c Decision: 5214/301506	Time: 254.626/86400
c Decision: 5214/301506	Time: 262.423/86400
c Decision: 5215/301506	Time: 273.768/86400
c Decision: 5224/301506	Time: 292.239/86400
c Decision: 5226/301506	Time: 305.163/86400
c Decision: 5232/301506	Time: 318.749/86400
c Decision: 5234/301506	Time: 331.613/86400
c Decision: 5234/301506	Time: 337.536/86400
c Decision: 5237/301506	Time: 350.616/86400
c Decision: 5237/301506	Time: 358.892/86400
c Decision: 5237/301506	Time: 369.078/86400
c Decision: 5237/301506	Time: 379.188/86400
c Decision: 5237/301506	Time: 388.612/86400
c Decision: 5237/301506	Time: 398.295/86400
c Decision: 5243/301506	Time: 411.201/86400
c Decision: 5243/301506	Time: 421.899/86400
c Decision: 5243/301506	Time: 427.47/86400
c Decision: 5246/301506	Time: 441.388/86400
c Decision: 5249/301506	Time: 460.314/86400
c Decision: 5249/301506	Time: 474.511/86400
c Decision: 5253/301506	Time: 489.996/86400
c Decision: 5253/301506	Time: 502.085/86400
c Decision: 5253/301506	Time: 512.3/86400
c Decision: 5253/301506	Time: 526.305/86400
c Decision: 5253/301506	Time: 534.51/86400
c Decision: 5253/301506	Time: 542.925/86400
c Decision: 5255/301506	Time: 562.717/86400
c Decision: 5269/301506	Time: 575.656/86400
c Decision: 5271/301506	Time: 589.237/86400
c Decision: 5274/301506	Time: 606.13/86400
c Decision: 5277/301506	Time: 622.689/86400
c Decision: 5279/301506	Time: 634.61/86400
c Decision: 5279/301506	Time: 647.074/86400
c Decision: 5279/301506	Time: 661.387/86400
c Decision: 5283/301506	Time: 671.873/86400
c Decision: 5283/301506	Time: 679.579/86400
c Decision: 5283/301506	Time: 693.419/86400
c Decision: 5285/301506	Time: 707.562/86400
c Decision: 5285/301506	Time: 716.267/86400
c Decision: 5285/301506	Time: 728.364/86400
c Decision: 5285/301506	Time: 740.202/86400
c Decision: 5285/301506	Time: 750.975/86400
c Decision: 5287/301506	Time: 765.958/86400
c Decision: 5287/301506	Time: 775.768/86400
c Decision: 5287/301506	Time: 785.598/86400
c Decision: 5287/301506	Time: 792.051/86400
c Decision: 5287/301506	Time: 803.437/86400
c Decision: 5287/301506	Time: 807.892/86400
c Decision: 5290/301506	Time: 823.305/86400
c Decision: 5290/301506	Time: 832.37/86400
c Decision: 5290/301506	Time: 845.476/86400
c Decision: 5290/301506	Time: 856.227/86400
c Decision: 5290/301506	Time: 868.845/86400
c Decision: 5290/301506	Time: 879.781/86400
c Decision: 5290/301506	Time: 893.648/86400
c Decision: 5290/301506	Time: 906.083/86400
c Decision: 5290/301506	Time: 913.002/86400
c Decision: 5290/301506	Time: 927.142/86400
c Decision: 5290/301506	Time: 939.237/86400
c Decision: 5290/301506	Time: 950.15/86400
c Decision: 5290/301506	Time: 962.598/86400
c Decision: 5290/301506	Time: 972.408/86400
c Decision: 5290/301506	Time: 983.054/86400
c Decision: 5290/301506	Time: 995.495/86400
c Decision: 5290/301506	Time: 1006.84/86400
c Decision: 5290/301506	Time: 1015.28/86400
c Decision: 5290/301506	Time: 1030.1/86400
c Decision: 5290/301506	Time: 1040.74/86400
c Decision: 5290/301506	Time: 1052.79/86400
c Decision: 5290/301506	Time: 1064/86400
c Decision: 5290/301506	Time: 1074.4/86400
c Decision: 5290/301506	Time: 1085.86/86400
c Decision: 5291/301506	Time: 1100.42/86400
c Decision: 5291/301506	Time: 1109.16/86400
c Decision: 5291/301506	Time: 1118.09/86400
c Decision: 5291/301506	Time: 1130.81/86400
c Decision: 5291/301506	Time: 1140.18/86400
c Decision: 5291/301506	Time: 1149.69/86400
c Decision: 5291/301506	Time: 1161.5/86400
c Decision: 5291/301506	Time: 1169.55/86400
c Decision: 5291/301506	Time: 1178.4/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 1/54 29775
Raw data (stat): 29775 (runsolver) R 29774 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972081282 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.93 0.96 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 27362 0 0 0 938 60 0 0 25 0 1 0 972081282 77479936 16436 4294967295 134512640 135730672 3221224576 3221207372 135109339 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18916 16437 301 301 0 18615 0
vsize: 75664
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 45269 0 0 0 1896 101 0 0 25 0 1 0 972081282 133718016 22939 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32646 22939 301 301 0 32345 0
vsize: 130584
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 45581 0 0 0 2894 104 0 0 25 0 1 0 972081282 135036928 23251 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32968 23251 301 301 0 32667 0
vsize: 131872
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 45768 0 0 0 3892 105 0 0 25 0 1 0 972081282 135938048 23438 4294967295 134512640 135730672 3221224576 3221222896 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33188 23438 301 301 0 32887 0
vsize: 132752
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 45946 0 0 0 4891 107 0 0 25 0 1 0 972081282 136757248 23616 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33388 23616 301 301 0 33087 0
vsize: 133552
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 46223 0 0 0 5890 108 0 0 25 0 1 0 972081282 138059776 23893 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33706 23893 301 301 0 33405 0
vsize: 134824
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 46367 0 0 0 6890 109 0 0 25 0 1 0 972081282 138534912 24037 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33822 24037 301 301 0 33521 0
vsize: 135288
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 46449 0 0 0 7889 109 0 0 25 0 1 0 972081282 138862592 24119 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33902 24119 301 301 0 33601 0
vsize: 135608
[startup+90.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 46541 0 0 0 8889 110 0 0 25 0 1 0 972081282 139173888 24211 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33978 24211 301 301 0 33677 0
vsize: 135912
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 46681 0 0 0 9888 111 0 0 25 0 1 0 972081282 139829248 24351 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34138 24351 301 301 0 33837 0
vsize: 136552
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 46721 0 0 0 10887 112 0 0 25 0 1 0 972081282 139993088 24391 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34178 24391 301 301 0 33877 0
vsize: 136712
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 46751 0 0 0 11886 113 0 0 25 0 1 0 972081282 140156928 24421 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34218 24421 301 301 0 33917 0
vsize: 136872
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 46805 0 0 0 12885 114 0 0 25 0 1 0 972081282 140468224 24475 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34294 24475 301 301 0 33993 0
vsize: 137176
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 46860 0 0 0 13884 115 0 0 25 0 1 0 972081282 140615680 24530 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34330 24530 301 301 0 34029 0
vsize: 137320
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 46912 0 0 0 14884 116 0 0 25 0 1 0 972081282 140910592 24582 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34402 24582 301 301 0 34101 0
vsize: 137608
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 46949 0 0 0 15883 117 0 0 25 0 1 0 972081282 140910592 24619 4294967295 134512640 135730672 3221224576 3221223072 134747942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34402 24619 301 301 0 34101 0
vsize: 137608
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 46959 0 0 0 16883 118 0 0 25 0 1 0 972081282 140910592 24629 4294967295 134512640 135730672 3221224576 3221222960 135109367 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34402 24629 301 301 0 34101 0
vsize: 137608
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 47102 0 0 0 17882 119 0 0 25 0 1 0 972081282 141598720 24772 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34570 24772 301 301 0 34269 0
vsize: 138280
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 47138 0 0 0 18881 120 0 0 25 0 1 0 972081282 141795328 24808 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34618 24808 301 301 0 34317 0
vsize: 138472
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 47204 0 0 0 19880 121 0 0 25 0 1 0 972081282 141991936 24874 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34666 24874 301 301 0 34365 0
vsize: 138664
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 47821 0 0 0 20878 123 0 0 25 0 1 0 972081282 141991936 24902 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34666 24902 301 301 0 34365 0
vsize: 138664
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 48543 0 0 0 21875 126 0 0 25 0 1 0 972081282 142778368 25035 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34858 25035 301 301 0 34557 0
vsize: 139432
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 48553 0 0 0 22873 127 0 0 25 0 1 0 972081282 142778368 25045 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34858 25045 301 301 0 34557 0
vsize: 139432
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 49179 0 0 0 23871 129 0 0 25 0 1 0 972081282 142778368 25082 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34858 25082 301 301 0 34557 0
vsize: 139432
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 49299 0 0 0 24870 130 0 0 25 0 1 0 972081282 143368192 25202 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35002 25202 301 301 0 34701 0
vsize: 140008
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 50513 0 0 0 25866 134 0 0 25 0 1 0 972081282 143368192 25238 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35002 25238 301 301 0 34701 0
vsize: 140008
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 51164 0 0 0 26864 136 0 0 25 0 1 0 972081282 143564800 25300 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35050 25300 301 301 0 34749 0
vsize: 140200
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 51772 0 0 0 27862 138 0 0 25 0 1 0 972081282 143761408 25319 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35098 25319 301 301 0 34797 0
vsize: 140392
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 52451 0 0 0 28859 141 0 0 25 0 1 0 972081282 144093184 25409 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35179 25409 301 301 0 34878 0
vsize: 140716
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 52522 0 0 0 29857 143 0 0 25 0 1 0 972081282 144486400 25480 4294967295 134512640 135730672 3221224576 3221223232 134748670 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35275 25480 301 301 0 34974 0
vsize: 141100
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 53197 0 0 0 30855 145 0 0 25 0 1 0 972081282 144756736 25566 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35341 25566 301 301 0 35040 0
vsize: 141364
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 53806 0 0 0 31853 148 0 0 25 0 1 0 972081282 144756736 25586 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35341 25586 301 301 0 35040 0
vsize: 141364
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 53860 0 0 0 32852 149 0 0 25 0 1 0 972081282 144953344 25640 4294967295 134512640 135730672 3221224576 3221223088 135283013 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35389 25640 301 301 0 35088 0
vsize: 141556
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 54480 0 0 0 33849 151 0 0 25 0 1 0 972081282 145149952 25671 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35437 25671 301 301 0 35136 0
vsize: 141748
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 55089 0 0 0 34846 154 0 0 25 0 1 0 972081282 161927168 25691 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39533 25691 301 301 0 39232 0
vsize: 158132
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 55721 0 0 0 35844 156 0 0 25 0 1 0 972081282 162123776 25734 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39581 25734 301 301 0 39280 0
vsize: 158324
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 56344 0 0 0 36842 159 0 0 25 0 1 0 972081282 162123776 25768 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39581 25768 301 301 0 39280 0
vsize: 158324
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 56963 0 0 0 37840 161 0 0 25 0 1 0 972081282 162123776 25798 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39581 25798 301 301 0 39280 0
vsize: 158324
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 57585 0 0 0 38838 163 0 0 25 0 1 0 972081282 162258944 25831 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39614 25831 301 301 0 39313 0
vsize: 158456
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 58190 0 0 0 39836 165 0 0 25 0 1 0 972081282 162258944 25847 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39614 25847 301 301 0 39313 0
vsize: 158456
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 58845 0 0 0 40833 168 0 0 25 0 1 0 972081282 162652160 25913 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39710 25913 301 301 0 39409 0
vsize: 158840
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 59487 0 0 0 41831 171 0 0 25 0 1 0 972081282 162652160 25966 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39710 25966 301 301 0 39409 0
vsize: 158840
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 60104 0 0 0 42829 174 0 0 25 0 1 0 972081282 162652160 25994 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39710 25994 301 301 0 39409 0
vsize: 158840
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 60764 0 0 0 43826 176 0 0 25 0 1 0 972081282 162983936 26065 4294967295 134512640 135730672 3221224576 3221223088 134746488 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39791 26065 301 301 0 39490 0
vsize: 159164
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 61401 0 0 0 44824 179 0 0 25 0 1 0 972081282 163180544 26113 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39839 26113 301 301 0 39538 0
vsize: 159356
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 62006 0 0 0 45821 182 0 0 25 0 1 0 972081282 163180544 26129 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39839 26129 301 301 0 39538 0
vsize: 159356
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 62132 0 0 0 46820 183 0 0 25 0 1 0 972081282 163762176 26255 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39981 26255 301 301 0 39680 0
vsize: 159924
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 62732 0 0 0 47817 186 0 0 25 0 1 0 972081282 163762176 26266 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39981 26266 301 301 0 39680 0
vsize: 159924
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 63346 0 0 0 48816 188 0 0 25 0 1 0 972081282 163926016 26291 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40021 26291 301 301 0 39720 0
vsize: 160084
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 63359 0 0 0 49814 189 0 0 25 0 1 0 972081282 163926016 26304 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40021 26304 301 301 0 39720 0
vsize: 160084
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 63968 0 0 0 50812 191 0 0 25 0 1 0 972081282 163926016 26324 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40021 26324 301 301 0 39720 0
vsize: 160084
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 64568 0 0 0 51811 193 0 0 25 0 1 0 972081282 163926016 26335 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40021 26335 301 301 0 39720 0
vsize: 160084
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 65210 0 0 0 52809 195 0 0 25 0 1 0 972081282 164253696 26388 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40101 26388 301 301 0 39800 0
vsize: 160404
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 65230 0 0 0 53808 196 0 0 25 0 1 0 972081282 164253696 26408 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40101 26408 301 301 0 39800 0
vsize: 160404
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 65273 0 0 0 54807 197 0 0 25 0 1 0 972081282 164417536 26451 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40141 26451 301 301 0 39840 0
vsize: 160564
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 65874 0 0 0 55805 199 0 0 25 0 1 0 972081282 164417536 26463 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40141 26463 301 301 0 39840 0
vsize: 160564
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 65907 0 0 0 56805 200 0 0 25 0 1 0 972081282 164564992 26496 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40177 26496 301 301 0 39876 0
vsize: 160708
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 66521 0 0 0 57803 202 0 0 25 0 1 0 972081282 164564992 26521 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40177 26521 301 301 0 39876 0
vsize: 160708
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 67143 0 0 0 58801 204 0 0 25 0 1 0 972081282 164745216 26554 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40221 26554 301 301 0 39920 0
vsize: 160884
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 67197 0 0 0 59800 205 0 0 25 0 1 0 972081282 164941824 26608 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40269 26608 301 301 0 39968 0
vsize: 161076
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 67795 0 0 0 60797 208 0 0 25 0 1 0 972081282 164941824 26617 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40269 26617 301 301 0 39968 0
vsize: 161076
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 68465 0 0 0 61795 210 0 0 25 0 1 0 972081282 165138432 26698 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40317 26698 301 301 0 40016 0
vsize: 161268
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 68549 0 0 0 62794 211 0 0 25 0 1 0 972081282 165531648 26782 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40413 26782 301 301 0 40112 0
vsize: 161652
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 69155 0 0 0 63792 214 0 0 25 0 1 0 972081282 165531648 26799 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40413 26799 301 301 0 40112 0
vsize: 161652
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 69754 0 0 0 64790 216 0 0 25 0 1 0 972081282 165531648 26809 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40413 26809 301 301 0 40112 0
vsize: 161652
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 70356 0 0 0 65788 218 0 0 25 0 1 0 972081282 167944192 27411 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41002 27411 301 301 0 40701 0
vsize: 164008
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 70366 0 0 0 66786 220 0 0 25 0 1 0 972081282 165531648 26832 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40413 26832 301 301 0 40112 0
vsize: 161652
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 70965 0 0 0 67785 222 0 0 25 0 1 0 972081282 165531648 26842 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40413 26842 301 301 0 40112 0
vsize: 161652
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 71608 0 0 0 68783 224 0 0 25 0 1 0 972081282 165531648 26896 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40413 26896 301 301 0 40112 0
vsize: 161652
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 72206 0 0 0 69781 226 0 0 25 0 1 0 972081282 165531648 26905 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40413 26905 301 301 0 40112 0
vsize: 161652
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 72813 0 0 0 70779 228 0 0 25 0 1 0 972081282 165728256 26923 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40461 26923 301 301 0 40160 0
vsize: 161844
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 72843 0 0 0 71777 230 0 0 25 0 1 0 972081282 165728256 26953 4294967295 134512640 135730672 3221224576 3221223088 134746532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40461 26953 301 301 0 40160 0
vsize: 161844
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 74033 0 0 0 72774 233 0 0 25 0 1 0 972081282 165728256 26965 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40461 26965 301 301 0 40160 0
vsize: 161844
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 74045 0 0 0 73773 234 0 0 25 0 1 0 972081282 165728256 26977 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40461 26977 301 301 0 40160 0
vsize: 161844
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 74697 0 0 0 74771 237 0 0 25 0 1 0 972081282 166121472 27040 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40557 27040 301 301 0 40256 0
vsize: 162228
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 75293 0 0 0 75768 239 0 0 25 0 1 0 972081282 166121472 27047 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40557 27047 301 301 0 40256 0
vsize: 162228
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 75907 0 0 0 76765 242 0 0 25 0 1 0 972081282 166121472 27072 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40557 27072 301 301 0 40256 0
vsize: 162228
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 76507 0 0 0 77763 245 0 0 25 0 1 0 972081282 166121472 27083 4294967295 134512640 135730672 3221224576 3221222940 135291075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40557 27083 301 301 0 40256 0
vsize: 162228
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 77118 0 0 0 78760 248 0 0 25 0 1 0 972081282 166318080 27105 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27105 301 301 0 40304 0
vsize: 162420
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 77718 0 0 0 79758 250 0 0 25 0 1 0 972081282 166318080 27116 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27116 301 301 0 40304 0
vsize: 162420
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 78322 0 0 0 80756 252 0 0 25 0 1 0 972081282 166318080 27131 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27131 301 301 0 40304 0
vsize: 162420
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 78917 0 0 0 81754 254 0 0 25 0 1 0 972081282 166318080 27137 4294967295 134512640 135730672 3221224576 3221223212 134748066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27137 301 301 0 40304 0
vsize: 162420
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 79518 0 0 0 82752 257 0 0 25 0 1 0 972081282 166318080 27149 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27149 301 301 0 40304 0
vsize: 162420
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 80124 0 0 0 83750 259 0 0 25 0 1 0 972081282 166318080 27166 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27166 301 301 0 40304 0
vsize: 162420
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 80729 0 0 0 84747 262 0 0 25 0 1 0 972081282 166318080 27182 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27182 301 301 0 40304 0
vsize: 162420
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 81343 0 0 0 85745 265 0 0 25 0 1 0 972081282 166318080 27207 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27207 301 301 0 40304 0
vsize: 162420
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 81938 0 0 0 86742 267 0 0 25 0 1 0 972081282 166318080 27213 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27213 301 301 0 40304 0
vsize: 162420
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 81948 0 0 0 87741 268 0 0 25 0 1 0 972081282 166318080 27223 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27223 301 301 0 40304 0
vsize: 162420
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 82553 0 0 0 88739 270 0 0 25 0 1 0 972081282 166318080 27239 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27239 301 301 0 40304 0
vsize: 162420
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 83153 0 0 0 89737 273 0 0 25 0 1 0 972081282 166318080 27250 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27250 301 301 0 40304 0
vsize: 162420
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 83761 0 0 0 90734 275 0 0 25 0 1 0 972081282 166318080 27269 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 27269 301 301 0 40304 0
vsize: 162420
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 84419 0 0 0 91732 278 0 0 25 0 1 0 972081282 166723584 27338 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40704 27338 301 301 0 40403 0
vsize: 162816
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 85023 0 0 0 92730 280 0 0 25 0 1 0 972081282 166723584 27353 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40704 27353 301 301 0 40403 0
vsize: 162816
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 85622 0 0 0 93727 283 0 0 25 0 1 0 972081282 169136128 27952 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41293 27952 301 301 0 40992 0
vsize: 165172
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 85632 0 0 0 94726 284 0 0 25 0 1 0 972081282 166723584 27373 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40704 27373 301 301 0 40403 0
vsize: 162816
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 86232 0 0 0 95723 287 0 0 25 0 1 0 972081282 166723584 27384 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40704 27384 301 301 0 40403 0
vsize: 162816
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 86830 0 0 0 96721 290 0 0 25 0 1 0 972081282 166723584 27393 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40704 27393 301 301 0 40403 0
vsize: 162816
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 87426 0 0 0 97719 292 0 0 25 0 1 0 972081282 166723584 27400 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40704 27400 301 301 0 40403 0
vsize: 162816
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 88030 0 0 0 98717 295 0 0 25 0 1 0 972081282 166920192 27415 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40752 27415 301 301 0 40451 0
vsize: 163008
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 88628 0 0 0 99714 297 0 0 25 0 1 0 972081282 166920192 27424 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40752 27424 301 301 0 40451 0
vsize: 163008
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 89239 0 0 0 100712 300 0 0 25 0 1 0 972081282 166920192 27446 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40752 27446 301 301 0 40451 0
vsize: 163008
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 89839 0 0 0 101710 302 0 0 25 0 1 0 972081282 169332736 28046 4294967295 134512640 135730672 3221224576 3221222736 134768930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41341 28046 301 301 0 41040 0
vsize: 165364
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 90448 0 0 0 102708 304 0 0 25 0 1 0 972081282 166920192 27477 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40752 27477 301 301 0 40451 0
vsize: 163008
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 90452 0 0 0 103706 306 0 0 25 0 1 0 972081282 166920192 27481 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40752 27481 301 301 0 40451 0
vsize: 163008
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 91058 0 0 0 104704 308 0 0 25 0 1 0 972081282 166920192 27498 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40752 27498 301 301 0 40451 0
vsize: 163008
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 91660 0 0 0 105702 311 0 0 25 0 1 0 972081282 166920192 27511 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40752 27511 301 301 0 40451 0
vsize: 163008
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 92260 0 0 0 106700 313 0 0 25 0 1 0 972081282 166920192 27522 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40752 27522 301 301 0 40451 0
vsize: 163008
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 92863 0 0 0 107698 315 0 0 25 0 1 0 972081282 166920192 27536 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40752 27536 301 301 0 40451 0
vsize: 163008
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 93466 0 0 0 108696 317 0 0 25 0 1 0 972081282 166920192 27550 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40752 27550 301 301 0 40451 0
vsize: 163008
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 94059 0 0 0 109694 320 0 0 25 0 1 0 972081282 166920192 27554 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40752 27554 301 301 0 40451 0
vsize: 163008
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 94102 0 0 0 110693 321 0 0 25 0 1 0 972081282 167116800 27597 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40800 27597 301 301 0 40499 0
vsize: 163200
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 94706 0 0 0 111690 323 0 0 25 0 1 0 972081282 167116800 27612 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40800 27612 301 301 0 40499 0
vsize: 163200
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 95309 0 0 0 112688 326 0 0 25 0 1 0 972081282 167116800 27626 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40800 27626 301 301 0 40499 0
vsize: 163200
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 95919 0 0 0 113685 329 0 0 25 0 1 0 972081282 167313408 27647 4294967295 134512640 135730672 3221224576 3221223072 134747788 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40848 27647 301 301 0 40547 0
vsize: 163392
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 96514 0 0 0 114683 331 0 0 25 0 1 0 972081282 167313408 27653 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40848 27653 301 301 0 40547 0
vsize: 163392
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 97125 0 0 0 115680 334 0 0 25 0 1 0 972081282 167313408 27675 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40848 27675 301 301 0 40547 0
vsize: 163392
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 97725 0 0 0 116678 336 0 0 25 0 1 0 972081282 167313408 27686 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40848 27686 301 301 0 40547 0
vsize: 163392
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 98326 0 0 0 117676 338 0 0 25 0 1 0 972081282 167313408 27698 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40848 27698 301 301 0 40547 0
vsize: 163392
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 98938 0 0 0 118675 340 0 0 25 0 1 0 972081282 167313408 27721 4294967295 134512640 135730672 3221224576 3221223088 134745856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40848 27721 301 301 0 40547 0
vsize: 163392
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29775
Raw data (stat): 29775 (pb2sat-v2) R 29774 21152 21151 0 -1 0 99534 0 0 0 119673 342 0 0 25 0 1 0 972081282 167313408 27728 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40848 27728 301 301 0 40547 0
vsize: 163392
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.8 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29775
Raw data (stat): 29775 (pb2sat-v2) Z 29774 21152 21151 0 -1 12 99536 0 0 0 119743 347 0 0 25 0 1 0 972081282 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.8
CPU time (s): 1200.92
CPU user time (s): 1197.44
CPU system time (s): 3.47847
CPU usage (%): 100.01
Max. virtual memory (Kb): 165364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####