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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-czprob.opb
MD5SUM	cfa1bf2f1dd2df0f424e37a2971f8ba1
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	65500
Biggest coefficient in the objective function	16110321664000
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	32674140101032650
Number of bits of the sum of numbers in the objective function	55
Biggest number in a constraint	16110321664000
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	32674140101032650
Number of bits of the biggest sum of numbers	55
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.588909
Number of variables	65880
Total number of constraints	927
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	927
Minimum length of a constraint	20
Maximum length of a constraint	7460
Trace number 40187

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 03:54:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28248 boxname=wulflinc4 idbench=1204 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  cfa1bf2f1dd2df0f424e37a2971f8ba1  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-czprob.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-czprob.opb
IDLAUNCH: 28248
/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:        864396 kB
Buffers:          7040 kB
Cached:         140996 kB
SwapCached:        884 kB
Active:          28816 kB
Inactive:       121316 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        864144 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4916 kB
Slab:            14312 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 04:14:43 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 28248 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.61 0.83 0.86 2/54 26834
Raw data (stat): 26834 (runsolver) R 26833 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898542925 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.67 0.84 0.86 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 1146 0 0 0 994 3 0 0 25 0 1 0 898542925 15777792 1066 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3852 1066 1111 63 0 3789 0
vsize: 15408
[startup+20.0006 s]
Raw data (loadavg): 0.72 0.84 0.87 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 1314 0 0 0 1994 3 0 0 25 0 1 0 898542925 16490496 1234 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4026 1234 1111 63 0 3963 0
vsize: 16104
[startup+30.0005 s]
Raw data (loadavg): 0.76 0.85 0.87 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 1465 0 0 0 2994 4 0 0 25 0 1 0 898542925 17190912 1385 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4197 1385 1111 63 0 4134 0
vsize: 16788
[startup+40.0007 s]
Raw data (loadavg): 0.80 0.85 0.87 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 1605 0 0 0 3994 4 0 0 25 0 1 0 898542925 17764352 1525 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4337 1525 1111 63 0 4274 0
vsize: 17348
[startup+50.0013 s]
Raw data (loadavg): 0.83 0.86 0.87 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 1773 0 0 0 4994 4 0 0 25 0 1 0 898542925 18337792 1693 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4477 1693 1111 63 0 4414 0
vsize: 17908
[startup+60.0011 s]
Raw data (loadavg): 0.85 0.86 0.87 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 1939 0 0 0 5993 5 0 0 25 0 1 0 898542925 19050496 1859 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4651 1859 1111 63 0 4588 0
vsize: 18604
[startup+70.0023 s]
Raw data (loadavg): 0.88 0.86 0.87 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 2092 0 0 0 6993 5 0 0 25 0 1 0 898542925 19755008 2012 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4823 2012 1111 63 0 4760 0
vsize: 19292
[startup+80.0028 s]
Raw data (loadavg): 0.89 0.87 0.87 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 2271 0 0 0 7994 5 0 0 25 0 1 0 898542925 20463616 2191 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 2191 1111 63 0 4933 0
vsize: 19984
[startup+90.0027 s]
Raw data (loadavg): 0.91 0.87 0.87 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 2428 0 0 0 8994 5 0 0 25 0 1 0 898542925 21028864 2348 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5134 2348 1111 63 0 5071 0
vsize: 20536
[startup+100.003 s]
Raw data (loadavg): 0.92 0.88 0.87 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 2580 0 0 0 9993 6 0 0 25 0 1 0 898542925 21737472 2500 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5307 2500 1111 63 0 5244 0
vsize: 21228
[startup+110.003 s]
Raw data (loadavg): 0.93 0.88 0.87 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 2732 0 0 0 10993 6 0 0 25 0 1 0 898542925 22306816 2652 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5446 2652 1111 63 0 5383 0
vsize: 21784
[startup+120.004 s]
Raw data (loadavg): 0.94 0.88 0.87 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 2898 0 0 0 11993 6 0 0 25 0 1 0 898542925 23007232 2818 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 2818 1111 63 0 5554 0
vsize: 22468
[startup+130.004 s]
Raw data (loadavg): 0.95 0.89 0.88 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 3051 0 0 0 12993 6 0 0 25 0 1 0 898542925 23576576 2971 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5756 2971 1111 63 0 5693 0
vsize: 23024
[startup+140.004 s]
Raw data (loadavg): 0.96 0.89 0.88 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 3210 0 0 0 13993 7 0 0 25 0 1 0 898542925 24285184 3130 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5929 3130 1111 63 0 5866 0
vsize: 23716
[startup+150.005 s]
Raw data (loadavg): 0.97 0.89 0.88 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 3370 0 0 0 14993 7 0 0 25 0 1 0 898542925 24993792 3290 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6102 3290 1111 63 0 6039 0
vsize: 24408
[startup+160.005 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 3521 0 0 0 15993 7 0 0 25 0 1 0 898542925 25554944 3441 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6239 3441 1111 63 0 6176 0
vsize: 24956
[startup+170.006 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 3680 0 0 0 16993 8 0 0 25 0 1 0 898542925 26267648 3600 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6413 3600 1111 63 0 6350 0
vsize: 25652
[startup+180.006 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 3853 0 0 0 17993 8 0 0 25 0 1 0 898542925 26992640 3773 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6590 3773 1111 63 0 6527 0
vsize: 26360
[startup+190.005 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 4040 0 0 0 18993 8 0 0 25 0 1 0 898542925 27701248 3960 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6763 3960 1111 63 0 6700 0
vsize: 27052
[startup+200.005 s]
Raw data (loadavg): 0.98 0.91 0.88 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 4193 0 0 0 19992 9 0 0 25 0 1 0 898542925 28266496 4113 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6901 4113 1111 63 0 6838 0
vsize: 27604
[startup+210.005 s]
Raw data (loadavg): 0.98 0.91 0.88 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 4358 0 0 0 20992 9 0 0 25 0 1 0 898542925 28979200 4278 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7075 4278 1111 63 0 7012 0
vsize: 28300
[startup+220.006 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 4540 0 0 0 21992 9 0 0 25 0 1 0 898542925 29687808 4460 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7248 4460 1111 63 0 7185 0
vsize: 28992
[startup+230.006 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 4719 0 0 0 22992 9 0 0 25 0 1 0 898542925 30531584 4639 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7454 4639 1111 63 0 7391 0
vsize: 29816
[startup+240.006 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 4892 0 0 0 23992 10 0 0 25 0 1 0 898542925 31244288 4812 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7628 4812 1111 63 0 7565 0
vsize: 30512
[startup+250.006 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 5080 0 0 0 24991 10 0 0 25 0 1 0 898542925 31952896 5000 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7801 5000 1111 63 0 7738 0
vsize: 31204
[startup+260.006 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 5253 0 0 0 25991 10 0 0 25 0 1 0 898542925 32657408 5173 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7973 5173 1111 63 0 7910 0
vsize: 31892
[startup+270.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 5413 0 0 0 26991 10 0 0 25 0 1 0 898542925 33366016 5333 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8146 5333 1111 63 0 8083 0
vsize: 32584
[startup+280.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 5592 0 0 0 27991 11 0 0 25 0 1 0 898542925 34074624 5512 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8319 5512 1111 63 0 8256 0
vsize: 33276
[startup+290.007 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 5787 0 0 0 28991 11 0 0 25 0 1 0 898542925 34783232 5707 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8492 5707 1111 63 0 8429 0
vsize: 33968
[startup+300.007 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 5968 0 0 0 29991 11 0 0 25 0 1 0 898542925 35635200 5888 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8700 5888 1111 63 0 8637 0
vsize: 34800
[startup+310.007 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 6160 0 0 0 30990 12 0 0 25 0 1 0 898542925 36339712 6080 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8872 6080 1111 63 0 8809 0
vsize: 35488
[startup+320.007 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 26834
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 6347 0 0 0 31990 13 0 0 25 0 1 0 898542925 37191680 6267 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9080 6267 1111 63 0 9017 0
vsize: 36320
[startup+330.008 s]
Raw data (loadavg): 1.07 0.95 0.90 2/54 26887
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 6546 0 0 0 32980 22 0 0 25 0 1 0 898542925 38051840 6466 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9290 6466 1111 63 0 9227 0
vsize: 37160
[startup+340.008 s]
Raw data (loadavg): 1.06 0.95 0.90 2/54 26887
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 6739 0 0 0 33979 23 0 0 25 0 1 0 898542925 38760448 6659 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9463 6659 1111 63 0 9400 0
vsize: 37852
[startup+350.008 s]
Raw data (loadavg): 1.05 0.95 0.90 2/54 26887
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 6919 0 0 0 34979 24 0 0 25 0 1 0 898542925 39469056 6839 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9636 6839 1111 63 0 9573 0
vsize: 38544
[startup+360.008 s]
Raw data (loadavg): 1.04 0.95 0.90 2/54 26887
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 7111 0 0 0 35978 24 0 0 25 0 1 0 898542925 40312832 7031 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9842 7031 1111 63 0 9779 0
vsize: 39368
[startup+370.009 s]
Raw data (loadavg): 1.03 0.95 0.90 2/54 26887
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 7294 0 0 0 36978 25 0 0 25 0 1 0 898542925 41025536 7214 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10016 7214 1111 63 0 9953 0
vsize: 40064
[startup+380.009 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 26887
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 7481 0 0 0 37978 25 0 0 25 0 1 0 898542925 41877504 7401 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10224 7401 1111 63 0 10161 0
vsize: 40896
[startup+390.009 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 7667 0 0 0 38977 26 0 0 25 0 1 0 898542925 42577920 7587 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10395 7587 1111 63 0 10332 0
vsize: 41580
[startup+400.009 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 7847 0 0 0 39977 27 0 0 25 0 1 0 898542925 43290624 7767 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10569 7767 1111 63 0 10506 0
vsize: 42276
[startup+410.009 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 8014 0 0 0 40977 27 0 0 25 0 1 0 898542925 43995136 7934 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10741 7934 1111 63 0 10678 0
vsize: 42964
[startup+420.011 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 8222 0 0 0 41976 28 0 0 25 0 1 0 898542925 44847104 8142 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10949 8142 1111 63 0 10886 0
vsize: 43796
[startup+430.011 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 8430 0 0 0 42975 29 0 0 25 0 1 0 898542925 45694976 8350 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11156 8350 1111 63 0 11093 0
vsize: 44624
[startup+440.011 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 8638 0 0 0 43975 30 0 0 25 0 1 0 898542925 46542848 8558 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11363 8558 1111 63 0 11300 0
vsize: 45452
[startup+450.011 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 8838 0 0 0 44974 30 0 0 25 0 1 0 898542925 47386624 8758 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11569 8758 1111 63 0 11506 0
vsize: 46276
[startup+460.01 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 9011 0 0 0 45973 31 0 0 25 0 1 0 898542925 48095232 8931 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11742 8931 1111 63 0 11679 0
vsize: 46968
[startup+470.011 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 9196 0 0 0 46973 32 0 0 25 0 1 0 898542925 48799744 9116 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11914 9116 1111 63 0 11851 0
vsize: 47656
[startup+480.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 9398 0 0 0 47972 33 0 0 25 0 1 0 898542925 49647616 9318 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12121 9318 1111 63 0 12058 0
vsize: 48484
[startup+490.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 9599 0 0 0 48972 33 0 0 25 0 1 0 898542925 50495488 9519 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12328 9519 1111 63 0 12265 0
vsize: 49312
[startup+500.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 9813 0 0 0 49971 34 0 0 25 0 1 0 898542925 51343360 9733 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12535 9733 1111 63 0 12472 0
vsize: 50140
[startup+510.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 10020 0 0 0 50971 35 0 0 25 0 1 0 898542925 52187136 9940 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12741 9940 1111 63 0 12678 0
vsize: 50964
[startup+520.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 10201 0 0 0 51970 36 0 0 25 0 1 0 898542925 52899840 10121 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12915 10121 1111 63 0 12852 0
vsize: 51660
[startup+530.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 10401 0 0 0 52970 36 0 0 25 0 1 0 898542925 53747712 10321 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13122 10321 1111 63 0 13059 0
vsize: 52488
[startup+540.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 10614 0 0 0 53970 36 0 0 25 0 1 0 898542925 54591488 10534 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13328 10534 1111 63 0 13265 0
vsize: 53312
[startup+550.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 10823 0 0 0 54969 37 0 0 25 0 1 0 898542925 55439360 10743 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13535 10743 1111 63 0 13472 0
vsize: 54140
[startup+560.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 11017 0 0 0 55969 37 0 0 25 0 1 0 898542925 56287232 10937 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13742 10937 1111 63 0 13679 0
vsize: 54968
[startup+570.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 11222 0 0 0 56969 38 0 0 25 0 1 0 898542925 57131008 11142 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13948 11142 1111 63 0 13885 0
vsize: 55792
[startup+580.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 11430 0 0 0 57968 39 0 0 25 0 1 0 898542925 57978880 11350 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14155 11350 1111 63 0 14092 0
vsize: 56620
[startup+590.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 11623 0 0 0 58967 40 0 0 25 0 1 0 898542925 58687488 11543 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14328 11543 1111 63 0 14265 0
vsize: 57312
[startup+600.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 11815 0 0 0 59966 41 0 0 25 0 1 0 898542925 59531264 11735 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14534 11735 1111 63 0 14471 0
vsize: 58136
[startup+610.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 12022 0 0 0 60966 42 0 0 25 0 1 0 898542925 60379136 11942 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14741 11942 1111 63 0 14678 0
vsize: 58964
[startup+620.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 12263 0 0 0 61965 42 0 0 25 0 1 0 898542925 61448192 12183 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15002 12183 1111 63 0 14939 0
vsize: 60008
[startup+630.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 12484 0 0 0 62965 43 0 0 25 0 1 0 898542925 62439424 12404 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15244 12404 1111 63 0 15181 0
vsize: 60976
[startup+640.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 12710 0 0 0 63965 43 0 0 25 0 1 0 898542925 63279104 12630 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15449 12630 1111 63 0 15386 0
vsize: 61796
[startup+650.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 12934 0 0 0 64965 44 0 0 25 0 1 0 898542925 64270336 12854 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15691 12854 1111 63 0 15628 0
vsize: 62764
[startup+660.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26889
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 13162 0 0 0 65964 45 0 0 25 0 1 0 898542925 65122304 13082 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15899 13082 1111 63 0 15836 0
vsize: 63596
[startup+670.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 13383 0 0 0 66963 46 0 0 25 0 1 0 898542925 66109440 13303 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16140 13303 1111 63 0 16077 0
vsize: 64560
[startup+680.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 13604 0 0 0 67963 46 0 0 25 0 1 0 898542925 66953216 13524 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16346 13524 1111 63 0 16283 0
vsize: 65384
[startup+690.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 13832 0 0 0 68962 47 0 0 25 0 1 0 898542925 67940352 13752 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16587 13752 1111 63 0 16524 0
vsize: 66348
[startup+700.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 14060 0 0 0 69962 48 0 0 25 0 1 0 898542925 68792320 13980 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16795 13980 1111 63 0 16732 0
vsize: 67180
[startup+710.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 14296 0 0 0 70961 49 0 0 25 0 1 0 898542925 69779456 14216 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17036 14216 1111 63 0 16973 0
vsize: 68144
[startup+720.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 14523 0 0 0 71960 50 0 0 25 0 1 0 898542925 70762496 14443 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17276 14443 1111 63 0 17213 0
vsize: 69104
[startup+730.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 14744 0 0 0 72960 50 0 0 25 0 1 0 898542925 71614464 14664 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17484 14664 1111 63 0 17421 0
vsize: 69936
[startup+740.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 14980 0 0 0 73960 51 0 0 25 0 1 0 898542925 72601600 14900 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17725 14900 1111 63 0 17662 0
vsize: 70900
[startup+750.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 15208 0 0 0 74959 51 0 0 25 0 1 0 898542925 73449472 15128 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17932 15128 1111 63 0 17869 0
vsize: 71728
[startup+760.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 15443 0 0 0 75959 52 0 0 25 0 1 0 898542925 74440704 15363 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18174 15363 1111 63 0 18111 0
vsize: 72696
[startup+770.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 15685 0 0 0 76958 53 0 0 25 0 1 0 898542925 75423744 15605 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18414 15605 1111 63 0 18351 0
vsize: 73656
[startup+780.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 15927 0 0 0 77957 54 0 0 25 0 1 0 898542925 76414976 15847 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18656 15847 1111 63 0 18593 0
vsize: 74624
[startup+790.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 16161 0 0 0 78957 55 0 0 25 0 1 0 898542925 77402112 16081 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18897 16081 1111 63 0 18834 0
vsize: 75588
[startup+800.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 16405 0 0 0 79956 55 0 0 25 0 1 0 898542925 78393344 16325 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19139 16325 1111 63 0 19076 0
vsize: 76556
[startup+810.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 16619 0 0 0 80956 56 0 0 25 0 1 0 898542925 79241216 16539 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19346 16539 1111 63 0 19283 0
vsize: 77384
[startup+820.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 16839 0 0 0 81956 56 0 0 25 0 1 0 898542925 80224256 16759 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19586 16759 1111 63 0 19523 0
vsize: 78344
[startup+830.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 17069 0 0 0 82955 57 0 0 25 0 1 0 898542925 81072128 16989 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19793 16989 1111 63 0 19730 0
vsize: 79172
[startup+840.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 17310 0 0 0 83955 57 0 0 25 0 1 0 898542925 82063360 17230 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20035 17230 1111 63 0 19972 0
vsize: 80140
[startup+850.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 17572 0 0 0 84955 58 0 0 25 0 1 0 898542925 83193856 17492 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 17492 1111 63 0 20248 0
vsize: 81244
[startup+860.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 17816 0 0 0 85955 59 0 0 25 0 1 0 898542925 84180992 17736 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 17736 1111 63 0 20489 0
vsize: 82208
[startup+870.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 18029 0 0 0 86954 60 0 0 25 0 1 0 898542925 85024768 17949 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20758 17949 1111 63 0 20695 0
vsize: 83032
[startup+880.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 18263 0 0 0 87953 60 0 0 25 0 1 0 898542925 86016000 18183 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21000 18183 1111 63 0 20937 0
vsize: 84000
[startup+890.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 18500 0 0 0 88953 61 0 0 25 0 1 0 898542925 87003136 18420 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21241 18420 1111 63 0 21178 0
vsize: 84964
[startup+900.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 18735 0 0 0 89953 61 0 0 25 0 1 0 898542925 87855104 18655 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21449 18655 1111 63 0 21386 0
vsize: 85796
[startup+910.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 18970 0 0 0 90952 62 0 0 25 0 1 0 898542925 88838144 18890 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21689 18890 1111 63 0 21626 0
vsize: 86756
[startup+920.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 19218 0 0 0 91952 63 0 0 25 0 1 0 898542925 89825280 19138 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21930 19138 1111 63 0 21867 0
vsize: 87720
[startup+930.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 19467 0 0 0 92951 64 0 0 25 0 1 0 898542925 90955776 19387 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22206 19387 1111 63 0 22143 0
vsize: 88824
[startup+940.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 19703 0 0 0 93950 65 0 0 25 0 1 0 898542925 91803648 19623 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22413 19623 1111 63 0 22350 0
vsize: 89652
[startup+950.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 19952 0 0 0 94950 65 0 0 25 0 1 0 898542925 92934144 19872 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22689 19872 1111 63 0 22626 0
vsize: 90756
[startup+960.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 20200 0 0 0 95949 66 0 0 25 0 1 0 898542925 93925376 20120 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22931 20120 1111 63 0 22868 0
vsize: 91724
[startup+970.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 20450 0 0 0 96948 67 0 0 25 0 1 0 898542925 94916608 20370 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23173 20370 1111 63 0 23110 0
vsize: 92692
[startup+980.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 20698 0 0 0 97948 68 0 0 25 0 1 0 898542925 95899648 20618 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23413 20618 1111 63 0 23350 0
vsize: 93652
[startup+990.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 20960 0 0 0 98947 69 0 0 25 0 1 0 898542925 97030144 20880 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23689 20880 1111 63 0 23626 0
vsize: 94756
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 21209 0 0 0 99947 69 0 0 25 0 1 0 898542925 98017280 21129 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23930 21129 1111 63 0 23867 0
vsize: 95720
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 21464 0 0 0 100946 70 0 0 25 0 1 0 898542925 99008512 21384 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24172 21384 1111 63 0 24109 0
vsize: 96688
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 21733 0 0 0 101946 71 0 0 25 0 1 0 898542925 100139008 21653 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24448 21653 1111 63 0 24385 0
vsize: 97792
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 21998 0 0 0 102945 71 0 0 25 0 1 0 898542925 101269504 21918 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24724 21918 1111 63 0 24661 0
vsize: 98896
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 22260 0 0 0 103945 72 0 0 25 0 1 0 898542925 102256640 22180 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24965 22180 1111 63 0 24902 0
vsize: 99860
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 22529 0 0 0 104943 73 0 0 25 0 1 0 898542925 103387136 22449 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25241 22449 1111 63 0 25178 0
vsize: 100964
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 22791 0 0 0 105943 74 0 0 25 0 1 0 898542925 104509440 22711 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25515 22711 1111 63 0 25452 0
vsize: 102060
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 23059 0 0 0 106942 75 0 0 25 0 1 0 898542925 105639936 22979 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25791 22979 1111 63 0 25728 0
vsize: 103164
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 23381 0 0 0 107942 76 0 0 25 0 1 0 898542925 107130880 23301 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26155 23301 1111 63 0 26092 0
vsize: 104620
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 23665 0 0 0 108941 77 0 0 25 0 1 0 898542925 108261376 23585 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26431 23585 1111 63 0 26368 0
vsize: 105724
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 23950 0 0 0 109940 78 0 0 25 0 1 0 898542925 109531136 23870 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26741 23870 1111 63 0 26678 0
vsize: 106964
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 24232 0 0 0 110940 78 0 0 25 0 1 0 898542925 110661632 24152 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27017 24152 1111 63 0 26954 0
vsize: 108068
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 24530 0 0 0 111939 79 0 0 25 0 1 0 898542925 111792128 24450 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27293 24450 1111 63 0 27230 0
vsize: 109172
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 24821 0 0 0 112938 80 0 0 25 0 1 0 898542925 113061888 24741 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27603 24741 1111 63 0 27540 0
vsize: 110412
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 25117 0 0 0 113938 80 0 0 25 0 1 0 898542925 114192384 25037 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27879 25037 1111 63 0 27816 0
vsize: 111516
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 25422 0 0 0 114937 81 0 0 25 0 1 0 898542925 115462144 25342 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28189 25342 1111 63 0 28126 0
vsize: 112756
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 25733 0 0 0 115937 82 0 0 25 0 1 0 898542925 116731904 25653 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28499 25653 1111 63 0 28436 0
vsize: 113996
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 26052 0 0 0 116935 84 0 0 25 0 1 0 898542925 118001664 25972 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28809 25972 1111 63 0 28746 0
vsize: 115236
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 26363 0 0 0 117934 85 0 0 25 0 1 0 898542925 119275520 26283 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29120 26283 1111 63 0 29057 0
vsize: 116480
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 26675 0 0 0 118933 86 0 0 25 0 1 0 898542925 120545280 26595 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29430 26595 1111 63 0 29367 0
vsize: 117720
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) R 26833 21152 21151 0 -1 0 26992 0 0 0 119933 87 0 0 25 0 1 0 898542925 121962496 26912 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29776 26912 1111 63 0 29713 0
vsize: 119104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 26891
Raw data (stat): 26834 (bsolo_lpr-v2) Z 26833 21152 21151 0 -1 1036 26992 0 0 0 119933 92 0 0 25 0 1 0 898542925 0 0 4294967295 0 0 0 0 0 0 0 7 0 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 ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.26
CPU user time (s): 1199.33
CPU system time (s): 0.923859
CPU usage (%): 100.013
Max. virtual memory (Kb): 119104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####