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/miplib/normalized-mps-v2-13-7-vpm1.opb
MD5SUM	96fe6be9d2b9e3e89a4b05733b0daf45
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07084
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 35658

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-28 13:24:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24864 boxname=wulflinc30 idbench=1336 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  96fe6be9d2b9e3e89a4b05733b0daf45  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-vpm1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-vpm1.opb
IDLAUNCH: 24864
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        800056 kB
Buffers:         34532 kB
Cached:         176876 kB
SwapCached:        752 kB
Active:          47640 kB
Inactive:       165900 kB
HighTotal:      131008 kB
HighFree:        19404 kB
LowTotal:       903652 kB
LowFree:        780652 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            15456 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:44:45 (client local time) WITH STATUS 0 IN 1201.61 SECONDS
stats: 24864 7 1201.61 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 102944/466898	Time: 115.935/86400
Decision: 102944/466898	Time: 138.441/86400
Decision: 102944/466898	Time: 164.262/86400
Decision: 102944/466898	Time: 184.351/86400
Decision: 102944/466898	Time: 201.208/86400
Decision: 102944/466898	Time: 214.499/86400
Decision: 102944/466898	Time: 225.32/86400
Decision: 102944/466898	Time: 238.532/86400
Decision: 102944/466898	Time: 247.342/86400
Decision: 102944/466898	Time: 256.459/86400
Decision: 102944/466898	Time: 276.624/86400
Decision: 102944/466898	Time: 290.011/86400
Decision: 102944/466898	Time: 301.007/86400
Decision: 102944/466898	Time: 324.719/86400
Decision: 102944/466898	Time: 343.988/86400
Decision: 102944/466898	Time: 361.774/86400
Decision: 102944/466898	Time: 380.182/86400
Decision: 102944/466898	Time: 392.491/86400
Decision: 102944/466898	Time: 405.113/86400
Decision: 102944/466898	Time: 412.823/86400
Decision: 102944/466898	Time: 423.65/86400
Decision: 102944/466898	Time: 434.56/86400
Decision: 102944/466898	Time: 446.655/86400
Decision: 102944/466898	Time: 458.269/86400
Decision: 102944/466898	Time: 469.448/86400
Decision: 102944/466898	Time: 483.511/86400
Decision: 102944/466898	Time: 493.81/86400
Decision: 102944/466898	Time: 503.299/86400
Decision: 102944/466898	Time: 512.131/86400
Decision: 102949/466898	Time: 525.927/86400
Decision: 102949/466898	Time: 539.006/86400
Decision: 102949/466898	Time: 550.419/86400
Decision: 102949/466898	Time: 561.206/86400
Decision: 102949/466898	Time: 570.608/86400
Decision: 102949/466898	Time: 581.251/86400
Decision: 102949/466898	Time: 593.469/86400
Decision: 102949/466898	Time: 603.982/86400
Decision: 102949/466898	Time: 614.537/86400
Decision: 102949/466898	Time: 627.023/86400
Decision: 102949/466898	Time: 639.259/86400
Decision: 102949/466898	Time: 651.912/86400
Decision: 102949/466898	Time: 662.27/86400
Decision: 102949/466898	Time: 672.905/86400
Decision: 102949/466898	Time: 683.252/86400
Decision: 102949/466898	Time: 693.778/86400
Decision: 102949/466898	Time: 706.845/86400
Decision: 102949/466898	Time: 721.958/86400
Decision: 102949/466898	Time: 732.996/86400
Decision: 102949/466898	Time: 744.806/86400
Decision: 102949/466898	Time: 754.851/86400
Decision: 102949/466898	Time: 767.366/86400
Decision: 102949/466898	Time: 777.723/86400
Decision: 102949/466898	Time: 789.072/86400
Decision: 102949/466898	Time: 797.166/86400
Decision: 102949/466898	Time: 807.799/86400
Decision: 102949/466898	Time: 819.302/86400
Decision: 102949/466898	Time: 829.87/86400
Decision: 102949/466898	Time: 841.241/86400
Decision: 102949/466898	Time: 852.722/86400
Decision: 102949/466898	Time: 862.616/86400
Decision: 102949/466898	Time: 874.159/86400
Decision: 102949/466898	Time: 885.763/86400
Decision: 102949/466898	Time: 897.83/86400
Decision: 102949/466898	Time: 909.21/86400
Decision: 102949/466898	Time: 918.125/86400
Decision: 102949/466898	Time: 929.305/86400
Decision: 102949/466898	Time: 940.45/86400
Decision: 102949/466898	Time: 949.617/86400
Decision: 102949/466898	Time: 960.391/86400
Decision: 102949/466898	Time: 970.72/86400
Decision: 102949/466898	Time: 981.678/86400
Decision: 102949/466898	Time: 990.497/86400
Decision: 102949/466898	Time: 1001.01/86400
Decision: 102949/466898	Time: 1009.88/86400
Decision: 102949/466898	Time: 1020.91/86400
Decision: 102949/466898	Time: 1033.83/86400
Decision: 102949/466898	Time: 1045.06/86400
Decision: 102949/466898	Time: 1054.24/86400
Decision: 102949/466898	Time: 1063.38/86400
Decision: 102949/466898	Time: 1074.37/86400
Decision: 102949/466898	Time: 1084.19/86400
Decision: 102949/466898	Time: 1094.53/86400
Decision: 102949/466898	Time: 1104.49/86400
Decision: 102949/466898	Time: 1113.42/86400
Decision: 102949/466898	Time: 1120.44/86400
Decision: 102949/466898	Time: 1132.47/86400
Decision: 102949/466898	Time: 1142.28/86400
Decision: 102949/466898	Time: 1152.68/86400
Decision: 102949/466898	Time: 1163.35/86400
Decision: 102949/466898	Time: 1173.7/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.84 0.93 0.90 1/54 1343
Raw data (stat): 1343 (runsolver) R 1342 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865136460 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.0091 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 27758 0 0 0 939 60 0 0 25 0 1 0 865136460 78168064 16758 4294967295 134512640 135726644 3221224592 3221206272 134554799 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19084 16759 300 300 0 18784 0
vsize: 76336
[startup+20.0102 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 55140 0 0 0 1879 121 0 0 25 0 1 0 865136460 159870976 33172 4294967295 134512640 135726644 3221224592 3221222912 134765226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39031 33172 300 300 0 38731 0
vsize: 156124
[startup+30.0114 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 57728 0 0 0 2874 126 0 0 25 0 1 0 865136460 166293504 34281 4294967295 134512640 135726644 3221224592 3221222912 134728868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40599 34281 300 300 0 40299 0
vsize: 162396
[startup+40.0188 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 59047 0 0 0 3872 129 0 0 25 0 1 0 865136460 170672128 35027 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41668 35027 300 300 0 41368 0
vsize: 166672
[startup+50.0337 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 59870 0 0 0 4871 131 0 0 25 0 1 0 865136460 174448640 35817 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42590 35817 300 300 0 42290 0
vsize: 170360
[startup+60.0337 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 60936 0 0 0 5869 134 0 0 25 0 1 0 865136460 178909184 36653 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43679 36653 300 300 0 43379 0
vsize: 174716
[startup+70.0339 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 61581 0 0 0 6867 136 0 0 25 0 1 0 865136460 181997568 37232 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44433 37232 300 300 0 44133 0
vsize: 177732
[startup+80.035 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 63067 0 0 0 7863 139 0 0 25 0 1 0 865136460 186830848 38061 4294967295 134512640 135726644 3221224592 3221223196 134744139 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45613 38061 300 300 0 45313 0
vsize: 182452
[startup+90.0352 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 63847 0 0 0 8862 141 0 0 25 0 1 0 865136460 189612032 38611 4294967295 134512640 135726644 3221224592 3221223216 134744570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46292 38611 300 300 0 45992 0
vsize: 185168
[startup+100.036 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 63969 0 0 0 9860 143 0 0 25 0 1 0 865136460 190144512 38733 4294967295 134512640 135726644 3221224592 3221223200 134741173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46422 38733 300 300 0 46122 0
vsize: 185688
[startup+110.037 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 64212 0 0 0 10859 144 0 0 25 0 1 0 865136460 191070208 38877 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46648 38877 300 300 0 46348 0
vsize: 186592
[startup+120.038 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 64784 0 0 0 11857 146 0 0 25 0 1 0 865136460 193323008 39284 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47198 39284 300 300 0 46898 0
vsize: 188792
[startup+130.039 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 65249 0 0 0 12857 147 0 0 25 0 1 0 865136460 195047424 39650 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47619 39650 300 300 0 47319 0
vsize: 190476
[startup+140.04 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 66516 0 0 0 13843 151 0 0 25 0 1 0 865136460 196100096 39809 4294967295 134512640 135726644 3221224592 3221223216 134744580 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47876 39809 300 300 0 47576 0
vsize: 191504
[startup+150.045 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 66724 0 0 0 14842 152 0 0 25 0 1 0 865136460 196890624 39952 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48069 39952 300 300 0 47769 0
vsize: 192276
[startup+160.046 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 67955 0 0 0 15838 156 0 0 25 0 1 0 865136460 197951488 40205 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48328 40205 300 300 0 48028 0
vsize: 193312
[startup+170.047 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 68086 0 0 0 16837 157 0 0 25 0 1 0 865136460 198348800 40303 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48425 40303 300 300 0 48125 0
vsize: 193700
[startup+180.048 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 68300 0 0 0 17837 158 0 0 25 0 1 0 865136460 199143424 40451 4294967295 134512640 135726644 3221224592 3221223280 134745134 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48619 40451 300 300 0 48319 0
vsize: 194476
[startup+190.049 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 69218 0 0 0 18834 160 0 0 25 0 1 0 865136460 199143424 40457 4294967295 134512640 135726644 3221224592 3221223216 134744580 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48619 40457 300 300 0 48319 0
vsize: 194476
[startup+200.049 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 69504 0 0 0 19833 161 0 0 25 0 1 0 865136460 200065024 40580 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48844 40580 300 300 0 48544 0
vsize: 195376
[startup+210.05 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 70423 0 0 0 20830 164 0 0 25 0 1 0 865136460 200065024 40587 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48844 40587 300 300 0 48544 0
vsize: 195376
[startup+220.053 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 71343 0 0 0 21828 167 0 0 25 0 1 0 865136460 203800576 41507 4294967295 134512640 135726644 3221224592 3221222752 134765566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49756 41507 300 300 0 49456 0
vsize: 199024
[startup+230.057 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 71354 0 0 0 22828 168 0 0 25 0 1 0 865136460 200065024 40606 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48844 40606 300 300 0 48544 0
vsize: 195376
[startup+240.159 s]
Raw data (loadavg): 1.07 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 72287 0 0 0 23834 171 0 0 25 0 1 0 865136460 200200192 40627 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48877 40627 300 300 0 48577 0
vsize: 195508
[startup+250.16 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 73323 0 0 0 24830 174 0 0 25 0 1 0 865136460 200658944 40686 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48989 40686 300 300 0 48689 0
vsize: 195956
[startup+260.16 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 74244 0 0 0 25827 178 0 0 25 0 1 0 865136460 200658944 40695 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48989 40695 300 300 0 48689 0
vsize: 195956
[startup+270.161 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 75176 0 0 0 26824 181 0 0 25 0 1 0 865136460 200658944 40715 4294967295 134512640 135726644 3221224592 3221223240 134744673 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48989 40715 300 300 0 48689 0
vsize: 195956
[startup+280.161 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 76099 0 0 0 27821 184 0 0 25 0 1 0 865136460 200658944 40726 4294967295 134512640 135726644 3221224592 3221223088 134743889 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48989 40726 300 300 0 48689 0
vsize: 195956
[startup+290.168 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 76226 0 0 0 28821 185 0 0 25 0 1 0 865136460 200921088 40788 4294967295 134512640 135726644 3221224592 3221223200 134741257 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49053 40788 300 300 0 48753 0
vsize: 196212
[startup+300.168 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 77143 0 0 0 29817 188 0 0 25 0 1 0 865136460 200921088 40793 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49053 40793 300 300 0 48753 0
vsize: 196212
[startup+310.172 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 78078 0 0 0 30815 191 0 0 25 0 1 0 865136460 200921088 40816 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49053 40816 300 300 0 48753 0
vsize: 196212
[startup+320.181 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 79067 0 0 0 31813 194 0 0 25 0 1 0 865136460 201052160 40860 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49085 40860 300 300 0 48785 0
vsize: 196340
[startup+330.182 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 79135 0 0 0 32813 195 0 0 25 0 1 0 865136460 201383936 40928 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49166 40928 300 300 0 48866 0
vsize: 196664
[startup+340.196 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 79388 0 0 0 33813 196 0 0 25 0 1 0 865136460 202182656 41082 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49361 41082 300 300 0 49061 0
vsize: 197444
[startup+350.195 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 80354 0 0 0 34811 199 0 0 25 0 1 0 865136460 202313728 41103 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49393 41103 300 300 0 49093 0
vsize: 197572
[startup+360.196 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 80368 0 0 0 35810 199 0 0 25 0 1 0 865136460 202313728 41117 4294967295 134512640 135726644 3221224592 3221223088 134743895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49393 41117 300 300 0 49093 0
vsize: 197572
[startup+370.196 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 81296 0 0 0 36808 202 0 0 25 0 1 0 865136460 202313728 41133 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49393 41133 300 300 0 49093 0
vsize: 197572
[startup+380.197 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 82268 0 0 0 37805 205 0 0 25 0 1 0 865136460 202579968 41193 4294967295 134512640 135726644 3221224592 3221223216 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49458 41193 300 300 0 49158 0
vsize: 197832
[startup+390.197 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 82273 0 0 0 38805 205 0 0 25 0 1 0 865136460 202579968 41198 4294967295 134512640 135726644 3221224592 3221223088 134744120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49458 41198 300 300 0 49158 0
vsize: 197832
[startup+400.197 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 83246 0 0 0 39802 208 0 0 25 0 1 0 865136460 202711040 41226 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41226 300 300 0 49190 0
vsize: 197960
[startup+410.198 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 83254 0 0 0 40802 208 0 0 25 0 1 0 865136460 202711040 41234 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41234 300 300 0 49190 0
vsize: 197960
[startup+420.198 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 84175 0 0 0 41800 211 0 0 25 0 1 0 865136460 202711040 41243 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41243 300 300 0 49190 0
vsize: 197960
[startup+430.203 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 85105 0 0 0 42798 214 0 0 25 0 1 0 865136460 202711040 41261 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41261 300 300 0 49190 0
vsize: 197960
[startup+440.204 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 86029 0 0 0 43795 217 0 0 25 0 1 0 865136460 202711040 41273 4294967295 134512640 135726644 3221224592 3221223104 134742278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41273 300 300 0 49190 0
vsize: 197960
[startup+450.203 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 86950 0 0 0 44792 219 0 0 25 0 1 0 865136460 202711040 41282 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41282 300 300 0 49190 0
vsize: 197960
[startup+460.204 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 87865 0 0 0 45789 222 0 0 25 0 1 0 865136460 202711040 41285 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41285 300 300 0 49190 0
vsize: 197960
[startup+470.204 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 88786 0 0 0 46787 225 0 0 25 0 1 0 865136460 202711040 41294 4294967295 134512640 135726644 3221224592 3221222912 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41294 300 300 0 49190 0
vsize: 197960
[startup+480.204 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 89707 0 0 0 47784 228 0 0 25 0 1 0 865136460 202711040 41303 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41303 300 300 0 49190 0
vsize: 197960
[startup+490.205 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 90626 0 0 0 48781 231 0 0 25 0 1 0 865136460 202711040 41310 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41310 300 300 0 49190 0
vsize: 197960
[startup+500.204 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 90635 0 0 0 49780 232 0 0 25 0 1 0 865136460 202711040 41319 4294967295 134512640 135726644 3221224592 3221223008 134737977 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41319 300 300 0 49190 0
vsize: 197960
[startup+510.205 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 91550 0 0 0 50778 235 0 0 25 0 1 0 865136460 202711040 41322 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41322 300 300 0 49190 0
vsize: 197960
[startup+520.205 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 92532 0 0 0 51774 239 0 0 25 0 1 0 865136460 203116544 41392 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41392 300 300 0 49289 0
vsize: 198356
[startup+530.205 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 92546 0 0 0 52774 239 0 0 25 0 1 0 865136460 203116544 41406 4294967295 134512640 135726644 3221224592 3221223008 134737974 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41406 300 300 0 49289 0
vsize: 198356
[startup+540.206 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 93473 0 0 0 53771 243 0 0 25 0 1 0 865136460 203116544 41421 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41421 300 300 0 49289 0
vsize: 198356
[startup+550.205 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 94401 0 0 0 54768 245 0 0 25 0 1 0 865136460 203116544 41437 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41437 300 300 0 49289 0
vsize: 198356
[startup+560.206 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 95319 0 0 0 55766 248 0 0 25 0 1 0 865136460 203116544 41443 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41443 300 300 0 49289 0
vsize: 198356
[startup+570.206 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 96235 0 0 0 56763 250 0 0 25 0 1 0 865136460 203116544 41447 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41447 300 300 0 49289 0
vsize: 198356
[startup+580.207 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 97157 0 0 0 57761 253 0 0 25 0 1 0 865136460 206852096 42369 4294967295 134512640 135726644 3221224592 3221222864 134770878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50501 42369 300 300 0 50201 0
vsize: 202004
[startup+590.207 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 98081 0 0 0 58758 257 0 0 25 0 1 0 865136460 203116544 41469 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41469 300 300 0 49289 0
vsize: 198356
[startup+600.207 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 99006 0 0 0 59755 260 0 0 25 0 1 0 865136460 206852096 42394 4294967295 134512640 135726644 3221224592 3221222752 134765654 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50501 42394 300 300 0 50201 0
vsize: 202004
[startup+610.208 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 99077 0 0 0 60754 261 0 0 25 0 1 0 865136460 206987264 41553 4294967295 134512640 135726644 3221224592 3221222928 134763605 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50534 41562 300 300 0 50234 0
vsize: 202136
[startup+620.217 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 99954 0 0 0 61752 263 0 0 25 0 1 0 865136460 203251712 41518 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41518 300 300 0 49322 0
vsize: 198488
[startup+630.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 100876 0 0 0 62750 266 0 0 25 0 1 0 865136460 203251712 41528 4294967295 134512640 135726644 3221224592 3221222924 134735640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41528 300 300 0 49322 0
vsize: 198488
[startup+640.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 101798 0 0 0 63747 269 0 0 25 0 1 0 865136460 203251712 41538 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41538 300 300 0 49322 0
vsize: 198488
[startup+650.221 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 102724 0 0 0 64744 272 0 0 25 0 1 0 865136460 203251712 41552 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41552 300 300 0 49322 0
vsize: 198488
[startup+660.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 103649 0 0 0 65742 275 0 0 25 0 1 0 865136460 203251712 41565 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41565 300 300 0 49322 0
vsize: 198488
[startup+670.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 104576 0 0 0 66739 278 0 0 25 0 1 0 865136460 203251712 41580 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41580 300 300 0 49322 0
vsize: 198488
[startup+680.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 104588 0 0 0 67739 279 0 0 25 0 1 0 865136460 203378688 41592 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49653 41592 300 300 0 49353 0
vsize: 198612
[startup+690.223 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 105517 0 0 0 68736 281 0 0 25 0 1 0 865136460 203378688 41609 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49653 41609 300 300 0 49353 0
vsize: 198612
[startup+700.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 106444 0 0 0 69733 284 0 0 25 0 1 0 865136460 203378688 41624 4294967295 134512640 135726644 3221224592 3221223216 134744526 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49653 41624 300 300 0 49353 0
vsize: 198612
[startup+710.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 107392 0 0 0 70731 286 0 0 25 0 1 0 865136460 203513856 41660 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49686 41660 300 300 0 49386 0
vsize: 198744
[startup+720.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 108314 0 0 0 71728 290 0 0 25 0 1 0 865136460 203513856 41670 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49686 41670 300 300 0 49386 0
vsize: 198744
[startup+730.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 109297 0 0 0 72726 292 0 0 25 0 1 0 865136460 203919360 41741 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49785 41741 300 300 0 49485 0
vsize: 199140
[startup+740.223 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 110214 0 0 0 73723 295 0 0 25 0 1 0 865136460 207654912 42658 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50697 42658 300 300 0 50397 0
vsize: 202788
[startup+750.223 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 110245 0 0 0 74723 296 0 0 25 0 1 0 865136460 204054528 41777 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49818 41777 300 300 0 49518 0
vsize: 199272
[startup+760.223 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 111188 0 0 0 75720 299 0 0 25 0 1 0 865136460 204189696 41808 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41808 300 300 0 49551 0
vsize: 199404
[startup+770.223 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 112114 0 0 0 76717 301 0 0 25 0 1 0 865136460 204189696 41822 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41822 300 300 0 49551 0
vsize: 199404
[startup+780.224 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 113036 0 0 0 77714 305 0 0 25 0 1 0 865136460 204189696 41832 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41832 300 300 0 49551 0
vsize: 199404
[startup+790.224 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 113953 0 0 0 78712 307 0 0 25 0 1 0 865136460 204189696 41837 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41837 300 300 0 49551 0
vsize: 199404
[startup+800.225 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 114871 0 0 0 79710 310 0 0 25 0 1 0 865136460 204189696 41843 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41843 300 300 0 49551 0
vsize: 199404
[startup+810.225 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 115795 0 0 0 80707 313 0 0 25 0 1 0 865136460 204189696 41855 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41855 300 300 0 49551 0
vsize: 199404
[startup+820.225 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 116722 0 0 0 81704 316 0 0 25 0 1 0 865136460 204189696 41870 4294967295 134512640 135726644 3221224592 3221223244 134744472 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41870 300 300 0 49551 0
vsize: 199404
[startup+830.226 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 117643 0 0 0 82701 319 0 0 25 0 1 0 865136460 204189696 41879 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41879 300 300 0 49551 0
vsize: 199404
[startup+840.225 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 118563 0 0 0 83698 322 0 0 25 0 1 0 865136460 204189696 41887 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41887 300 300 0 49551 0
vsize: 199404
[startup+850.226 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 119478 0 0 0 84695 325 0 0 25 0 1 0 865136460 204189696 41890 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41890 300 300 0 49551 0
vsize: 199404
[startup+860.227 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 120411 0 0 0 85693 328 0 0 25 0 1 0 865136460 208060416 42823 4294967295 134512640 135726644 3221224592 3221222800 134765976 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50796 42823 300 300 0 50496 0
vsize: 203184
[startup+870.227 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 120419 0 0 0 86692 329 0 0 25 0 1 0 865136460 204324864 41919 4294967295 134512640 135726644 3221224592 3221223104 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49884 41919 300 300 0 49584 0
vsize: 199536
[startup+880.227 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 121341 0 0 0 87689 332 0 0 25 0 1 0 865136460 204324864 41929 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49884 41929 300 300 0 49584 0
vsize: 199536
[startup+890.227 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 122266 0 0 0 88687 334 0 0 25 0 1 0 865136460 204324864 41942 4294967295 134512640 135726644 3221224592 3221223104 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49884 41942 300 300 0 49584 0
vsize: 199536
[startup+900.226 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 123230 0 0 0 89684 337 0 0 25 0 1 0 865136460 204595200 41994 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49950 41994 300 300 0 49650 0
vsize: 199800
[startup+910.226 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 124149 0 0 0 90681 340 0 0 25 0 1 0 865136460 204595200 42001 4294967295 134512640 135726644 3221224592 3221223280 134744864 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49950 42001 300 300 0 49650 0
vsize: 199800
[startup+920.227 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 125069 0 0 0 91678 343 0 0 25 0 1 0 865136460 204595200 42009 4294967295 134512640 135726644 3221224592 3221223088 134744346 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49950 42009 300 300 0 49650 0
vsize: 199800
[startup+930.227 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 125991 0 0 0 92676 346 0 0 25 0 1 0 865136460 204595200 42019 4294967295 134512640 135726644 3221224592 3221222924 134735640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49950 42019 300 300 0 49650 0
vsize: 199800
[startup+940.228 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 126914 0 0 0 93673 349 0 0 25 0 1 0 865136460 204595200 42030 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49950 42030 300 300 0 49650 0
vsize: 199800
[startup+950.228 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 127836 0 0 0 94671 351 0 0 25 0 1 0 865136460 204595200 42040 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49950 42040 300 300 0 49650 0
vsize: 199800
[startup+960.228 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 128786 0 0 0 95668 355 0 0 25 0 1 0 865136460 204726272 42078 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49982 42078 300 300 0 49682 0
vsize: 199928
[startup+970.228 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 129714 0 0 0 96665 357 0 0 25 0 1 0 865136460 204726272 42094 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49982 42094 300 300 0 49682 0
vsize: 199928
[startup+980.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 130637 0 0 0 97662 360 0 0 25 0 1 0 865136460 204726272 42105 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49982 42105 300 300 0 49682 0
vsize: 199928
[startup+990.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 131580 0 0 0 98660 363 0 0 25 0 1 0 865136460 204992512 42136 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50047 42136 300 300 0 49747 0
vsize: 200188
[startup+1000.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 132502 0 0 0 99656 367 0 0 25 0 1 0 865136460 204992512 42146 4294967295 134512640 135726644 3221224592 3221223216 134779692 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50047 42146 300 300 0 49747 0
vsize: 200188
[startup+1010.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 133423 0 0 0 100654 370 0 0 25 0 1 0 865136460 204992512 42155 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50047 42155 300 300 0 49747 0
vsize: 200188
[startup+1020.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 134353 0 0 0 101651 372 0 0 25 0 1 0 865136460 204992512 42173 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50047 42173 300 300 0 49747 0
vsize: 200188
[startup+1030.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 135288 0 0 0 102648 375 0 0 25 0 1 0 865136460 204992512 42196 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50047 42196 300 300 0 49747 0
vsize: 200188
[startup+1040.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 136216 0 0 0 103645 379 0 0 25 0 1 0 865136460 204992512 42212 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50047 42212 300 300 0 49747 0
vsize: 200188
[startup+1050.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 136241 0 0 0 104644 380 0 0 25 0 1 0 865136460 205123584 42237 4294967295 134512640 135726644 3221224592 3221223104 134742270 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50079 42237 300 300 0 49779 0
vsize: 200316
[startup+1060.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 137161 0 0 0 105641 383 0 0 25 0 1 0 865136460 205123584 42245 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50079 42245 300 300 0 49779 0
vsize: 200316
[startup+1070.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 138088 0 0 0 106638 386 0 0 25 0 1 0 865136460 205123584 42260 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50079 42260 300 300 0 49779 0
vsize: 200316
[startup+1080.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 139016 0 0 0 107636 389 0 0 25 0 1 0 865136460 205123584 42276 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50079 42276 300 300 0 49779 0
vsize: 200316
[startup+1090.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 139947 0 0 0 108633 391 0 0 25 0 1 0 865136460 205123584 42295 4294967295 134512640 135726644 3221224592 3221223248 134731192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50079 42295 300 300 0 49779 0
vsize: 200316
[startup+1100.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 140876 0 0 0 109630 394 0 0 25 0 1 0 865136460 205254656 42312 4294967295 134512640 135726644 3221224592 3221223104 134742955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50111 42312 300 300 0 49811 0
vsize: 200444
[startup+1110.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 141799 0 0 0 110627 398 0 0 25 0 1 0 865136460 205254656 42323 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50111 42323 300 300 0 49811 0
vsize: 200444
[startup+1120.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 142745 0 0 0 111625 400 0 0 25 0 1 0 865136460 205389824 42357 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50144 42357 300 300 0 49844 0
vsize: 200576
[startup+1130.23 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 143671 0 0 0 112622 404 0 0 25 0 1 0 865136460 205389824 42371 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50144 42371 300 300 0 49844 0
vsize: 200576
[startup+1140.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 145512 0 0 0 113617 409 0 0 25 0 1 0 865136460 205389824 42388 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50144 42388 300 300 0 49844 0
vsize: 200576
[startup+1150.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 146440 0 0 0 114615 411 0 0 25 0 1 0 865136460 205389824 42404 4294967295 134512640 135726644 3221224592 3221223216 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50144 42404 300 300 0 49844 0
vsize: 200576
[startup+1160.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 146454 0 0 0 115614 412 0 0 25 0 1 0 865136460 205389824 42418 4294967295 134512640 135726644 3221224592 3221223104 134742490 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50144 42418 300 300 0 49844 0
vsize: 200576
[startup+1170.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 147387 0 0 0 116612 414 0 0 25 0 1 0 865136460 205520896 42439 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50176 42439 300 300 0 49876 0
vsize: 200704
[startup+1180.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 148316 0 0 0 117610 417 0 0 25 0 1 0 865136460 205520896 42456 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50176 42456 300 300 0 49876 0
vsize: 200704
[startup+1190.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 149242 0 0 0 118607 419 0 0 25 0 1 0 865136460 205520896 42470 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50176 42470 300 300 0 49876 0
vsize: 200704
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 1343
Raw data (stat): 1343 (pb2sat) R 1342 22056 22055 0 -1 0 150174 0 0 0 119604 422 0 0 25 0 1 0 865136460 205520896 42490 4294967295 134512640 135726644 3221224592 3221223088 134743931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50176 42490 300 300 0 49876 0
vsize: 200704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.57 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 1343
Raw data (stat): 1343 (pb2sat) Z 1342 22056 22055 0 -1 12 150175 0 0 0 119730 430 0 0 25 0 1 0 865136460 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): 1201.57
CPU time (s): 1201.61
CPU user time (s): 1197.3
CPU system time (s): 4.30635
CPU usage (%): 100.003
Max. virtual memory (Kb): 203184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####