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-80bau3b.opb
MD5SUM	16a606cf9ab6b9dba681e237f3d29f84
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	126788
Biggest coefficient in the objective function	175552593920000
Number of bits for the biggest coefficient in the objective function	48
Sum of the numbers in the objective function	8868947507751438
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	175552593920000
Number of bits of the biggest number in a constraint	48
Biggest sum of numbers in a constraint	8868947507751438
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.45378
Number of variables	157082
Total number of constraints	5220
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	5220
Minimum length of a constraint	7
Maximum length of a constraint	2220
Trace number 40181

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 03:44:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28231 boxname=wulflinc2 idbench=1187 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  16a606cf9ab6b9dba681e237f3d29f84  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-80bau3b.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-80bau3b.opb
IDLAUNCH: 28231
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        802072 kB
Buffers:          2964 kB
Cached:         206428 kB
SwapCached:       1340 kB
Active:          35304 kB
Inactive:       176128 kB
HighTotal:      131008 kB
HighFree:        69692 kB
LowTotal:       903652 kB
LowFree:        732380 kB
SwapTotal:     2097136 kB
SwapFree:      2094732 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           4972 kB
Slab:            15472 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 04:04:20 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 28231 7 1200.27 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.67 0.84 0.87 1/54 5153
Raw data (stat): 5153 (runsolver) R 5152 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898493747 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.72 0.85 0.87 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 1415 0 0 0 993 4 0 0 25 0 1 0 898493747 15491072 1335 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3782 1335 1111 63 0 3719 0
vsize: 15128
[startup+20.0013 s]
Raw data (loadavg): 0.76 0.85 0.87 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 1518 0 0 0 1993 5 0 0 25 0 1 0 898493747 15917056 1438 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3886 1438 1111 63 0 3823 0
vsize: 15544
[startup+30.0006 s]
Raw data (loadavg): 0.80 0.85 0.87 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 1623 0 0 0 2993 5 0 0 25 0 1 0 898493747 16343040 1543 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3990 1543 1111 63 0 3927 0
vsize: 15960
[startup+40.0016 s]
Raw data (loadavg): 0.83 0.86 0.87 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 1733 0 0 0 3993 5 0 0 25 0 1 0 898493747 16904192 1653 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4127 1653 1111 63 0 4064 0
vsize: 16508
[startup+50.0023 s]
Raw data (loadavg): 0.86 0.86 0.87 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 1858 0 0 0 4993 5 0 0 25 0 1 0 898493747 17334272 1778 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4232 1778 1111 63 0 4169 0
vsize: 16928
[startup+60.0027 s]
Raw data (loadavg): 0.88 0.87 0.87 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 1981 0 0 0 5993 6 0 0 25 0 1 0 898493747 17895424 1901 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 1901 1111 63 0 4306 0
vsize: 17476
[startup+70.0028 s]
Raw data (loadavg): 0.90 0.87 0.87 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 2114 0 0 0 6993 6 0 0 25 0 1 0 898493747 18468864 2034 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4509 2034 1111 63 0 4446 0
vsize: 18036
[startup+80.0025 s]
Raw data (loadavg): 0.91 0.87 0.88 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 2246 0 0 0 7993 6 0 0 25 0 1 0 898493747 18894848 2166 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 2166 1111 63 0 4550 0
vsize: 18452
[startup+90.0032 s]
Raw data (loadavg): 0.92 0.88 0.88 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 2387 0 0 0 8993 6 0 0 25 0 1 0 898493747 19587072 2307 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4782 2307 1111 63 0 4719 0
vsize: 19128
[startup+100.003 s]
Raw data (loadavg): 0.94 0.88 0.88 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 2506 0 0 0 9992 7 0 0 25 0 1 0 898493747 20013056 2426 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4886 2426 1111 63 0 4823 0
vsize: 19544
[startup+110.004 s]
Raw data (loadavg): 0.94 0.89 0.88 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 2647 0 0 0 10993 7 0 0 25 0 1 0 898493747 20561920 2567 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5020 2567 1111 63 0 4957 0
vsize: 20080
[startup+120.004 s]
Raw data (loadavg): 0.95 0.89 0.88 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 2800 0 0 0 11993 7 0 0 25 0 1 0 898493747 21258240 2720 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5190 2720 1111 63 0 5127 0
vsize: 20760
[startup+130.004 s]
Raw data (loadavg): 0.96 0.89 0.88 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 2910 0 0 0 12992 7 0 0 25 0 1 0 898493747 21676032 2830 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5292 2830 1111 63 0 5229 0
vsize: 21168
[startup+140.005 s]
Raw data (loadavg): 0.97 0.89 0.88 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 3040 0 0 0 13993 7 0 0 25 0 1 0 898493747 22233088 2960 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5428 2960 1111 63 0 5365 0
vsize: 21712
[startup+150.004 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 3194 0 0 0 14993 8 0 0 25 0 1 0 898493747 22794240 3114 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5565 3114 1111 63 0 5502 0
vsize: 22260
[startup+160.005 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 3330 0 0 0 15993 8 0 0 25 0 1 0 898493747 23363584 3250 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5704 3250 1111 63 0 5641 0
vsize: 22816
[startup+170.006 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 3479 0 0 0 16993 8 0 0 25 0 1 0 898493747 24055808 3399 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5873 3399 1111 63 0 5810 0
vsize: 23492
[startup+180.005 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 3620 0 0 0 17993 8 0 0 25 0 1 0 898493747 24608768 3540 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6008 3540 1111 63 0 5945 0
vsize: 24032
[startup+190.005 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 3768 0 0 0 18993 8 0 0 25 0 1 0 898493747 25157632 3688 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6142 3688 1111 63 0 6079 0
vsize: 24568
[startup+200.006 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 3886 0 0 0 19993 9 0 0 25 0 1 0 898493747 25722880 3806 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6280 3806 1111 63 0 6217 0
vsize: 25120
[startup+210.007 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 4039 0 0 0 20993 9 0 0 25 0 1 0 898493747 26267648 3959 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6413 3959 1111 63 0 6350 0
vsize: 25652
[startup+220.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 4176 0 0 0 21993 9 0 0 25 0 1 0 898493747 26828800 4096 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6550 4096 1111 63 0 6487 0
vsize: 26200
[startup+230.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 4311 0 0 0 22993 9 0 0 25 0 1 0 898493747 27385856 4231 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6686 4231 1111 63 0 6623 0
vsize: 26744
[startup+240.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 4449 0 0 0 23992 10 0 0 25 0 1 0 898493747 27963392 4369 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6827 4369 1111 63 0 6764 0
vsize: 27308
[startup+250.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 4603 0 0 0 24993 10 0 0 25 0 1 0 898493747 28651520 4523 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6995 4523 1111 63 0 6932 0
vsize: 27980
[startup+260.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 4769 0 0 0 25992 10 0 0 25 0 1 0 898493747 29335552 4689 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7162 4689 1111 63 0 7099 0
vsize: 28648
[startup+270.008 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 4961 0 0 0 26992 10 0 0 25 0 1 0 898493747 30040064 4881 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7334 4881 1111 63 0 7271 0
vsize: 29336
[startup+280.007 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 5165 0 0 0 27992 11 0 0 25 0 1 0 898493747 30871552 5085 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7537 5085 1111 63 0 7474 0
vsize: 30148
[startup+290.008 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 5339 0 0 0 28992 11 0 0 25 0 1 0 898493747 31690752 5259 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7737 5259 1111 63 0 7674 0
vsize: 30948
[startup+300.008 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 5512 0 0 0 29992 12 0 0 25 0 1 0 898493747 32370688 5432 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7903 5432 1111 63 0 7840 0
vsize: 31612
[startup+310.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 5699 0 0 0 30992 12 0 0 25 0 1 0 898493747 33058816 5619 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8071 5619 1111 63 0 8008 0
vsize: 32284
[startup+320.009 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 5896 0 0 0 31992 12 0 0 25 0 1 0 898493747 33894400 5816 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8275 5816 1111 63 0 8212 0
vsize: 33100
[startup+330.009 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 6058 0 0 0 32991 12 0 0 25 0 1 0 898493747 34578432 5978 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8442 5978 1111 63 0 8379 0
vsize: 33768
[startup+340.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 6224 0 0 0 33992 13 0 0 25 0 1 0 898493747 35254272 6144 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8607 6144 1111 63 0 8544 0
vsize: 34428
[startup+350.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 6397 0 0 0 34991 13 0 0 25 0 1 0 898493747 35938304 6317 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8774 6317 1111 63 0 8711 0
vsize: 35096
[startup+360.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 6575 0 0 0 35991 14 0 0 25 0 1 0 898493747 36638720 6495 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8945 6495 1111 63 0 8882 0
vsize: 35780
[startup+370.014 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 6760 0 0 0 36991 14 0 0 25 0 1 0 898493747 37478400 6680 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9150 6680 1111 63 0 9087 0
vsize: 36600
[startup+380.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 6938 0 0 0 37991 15 0 0 25 0 1 0 898493747 38154240 6858 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9315 6858 1111 63 0 9252 0
vsize: 37260
[startup+390.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 7095 0 0 0 38991 15 0 0 25 0 1 0 898493747 38842368 7015 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9483 7015 1111 63 0 9420 0
vsize: 37932
[startup+400.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 7291 0 0 0 39991 15 0 0 25 0 1 0 898493747 39673856 7211 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9686 7211 1111 63 0 9623 0
vsize: 38744
[startup+410.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 7483 0 0 0 40991 15 0 0 25 0 1 0 898493747 40378368 7403 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9858 7403 1111 63 0 9795 0
vsize: 39432
[startup+420.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 7661 0 0 0 41991 16 0 0 25 0 1 0 898493747 41078784 7581 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10029 7581 1111 63 0 9966 0
vsize: 40116
[startup+430.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 7823 0 0 0 42990 16 0 0 25 0 1 0 898493747 41766912 7743 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10197 7743 1111 63 0 10134 0
vsize: 40788
[startup+440.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 7989 0 0 0 43990 16 0 0 25 0 1 0 898493747 42450944 7909 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10364 7909 1111 63 0 10301 0
vsize: 41456
[startup+450.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 8179 0 0 0 44990 17 0 0 25 0 1 0 898493747 43307008 8099 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10573 8099 1111 63 0 10510 0
vsize: 42292
[startup+460.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 8351 0 0 0 45990 17 0 0 25 0 1 0 898493747 43986944 8271 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10739 8271 1111 63 0 10676 0
vsize: 42956
[startup+470.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 8529 0 0 0 46990 17 0 0 25 0 1 0 898493747 44707840 8449 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10915 8449 1111 63 0 10852 0
vsize: 43660
[startup+480.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 8733 0 0 0 47990 18 0 0 25 0 1 0 898493747 45547520 8653 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11120 8653 1111 63 0 11057 0
vsize: 44480
[startup+490.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 8911 0 0 0 48990 18 0 0 25 0 1 0 898493747 46247936 8831 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11291 8831 1111 63 0 11228 0
vsize: 45164
[startup+500.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 9080 0 0 0 49990 18 0 0 25 0 1 0 898493747 46940160 9000 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11460 9000 1111 63 0 11397 0
vsize: 45840
[startup+510.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 9271 0 0 0 50989 19 0 0 25 0 1 0 898493747 47792128 9191 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11668 9191 1111 63 0 11605 0
vsize: 46672
[startup+520.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 9487 0 0 0 51989 19 0 0 25 0 1 0 898493747 48627712 9407 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 9407 1111 63 0 11809 0
vsize: 47488
[startup+530.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 9665 0 0 0 52989 19 0 0 25 0 1 0 898493747 49438720 9585 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12070 9585 1111 63 0 12007 0
vsize: 48280
[startup+540.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 9827 0 0 0 53989 20 0 0 25 0 1 0 898493747 49991680 9747 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12205 9747 1111 63 0 12142 0
vsize: 48820
[startup+550.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 10007 0 0 0 54989 20 0 0 25 0 1 0 898493747 50831360 9927 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12410 9927 1111 63 0 12347 0
vsize: 49640
[startup+560.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 10198 0 0 0 55989 20 0 0 25 0 1 0 898493747 51535872 10118 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12582 10118 1111 63 0 12519 0
vsize: 50328
[startup+570.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 10376 0 0 0 56989 21 0 0 25 0 1 0 898493747 52232192 10296 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12752 10296 1111 63 0 12689 0
vsize: 51008
[startup+580.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 10561 0 0 0 57988 21 0 0 25 0 1 0 898493747 53071872 10481 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12957 10481 1111 63 0 12894 0
vsize: 51828
[startup+590.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 10769 0 0 0 58988 22 0 0 25 0 1 0 898493747 53903360 10689 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13160 10689 1111 63 0 13097 0
vsize: 52640
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 10931 0 0 0 59988 22 0 0 25 0 1 0 898493747 54616064 10851 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13334 10851 1111 63 0 13271 0
vsize: 53336
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 11118 0 0 0 60988 23 0 0 25 0 1 0 898493747 55316480 11038 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13505 11038 1111 63 0 13442 0
vsize: 54020
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 11328 0 0 0 61987 23 0 0 25 0 1 0 898493747 56152064 11248 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13709 11248 1111 63 0 13646 0
vsize: 54836
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 11524 0 0 0 62987 24 0 0 25 0 1 0 898493747 56983552 11444 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13912 11444 1111 63 0 13849 0
vsize: 55648
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 11710 0 0 0 63987 24 0 0 25 0 1 0 898493747 57794560 11630 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14110 11630 1111 63 0 14047 0
vsize: 56440
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 11870 0 0 0 64986 25 0 0 25 0 1 0 898493747 58343424 11790 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14244 11790 1111 63 0 14181 0
vsize: 56976
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 12064 0 0 0 65986 25 0 0 25 0 1 0 898493747 59158528 11984 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14443 11984 1111 63 0 14380 0
vsize: 57772
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 12235 0 0 0 66986 25 0 0 25 0 1 0 898493747 59834368 12155 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14608 12155 1111 63 0 14545 0
vsize: 58432
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 12439 0 0 0 67985 26 0 0 25 0 1 0 898493747 60669952 12359 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14812 12359 1111 63 0 14749 0
vsize: 59248
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 12642 0 0 0 68985 27 0 0 25 0 1 0 898493747 61526016 12562 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15021 12562 1111 63 0 14958 0
vsize: 60084
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 12833 0 0 0 69985 27 0 0 25 0 1 0 898493747 62361600 12753 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15225 12753 1111 63 0 15162 0
vsize: 60900
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 13001 0 0 0 70985 27 0 0 25 0 1 0 898493747 63045632 12921 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15392 12921 1111 63 0 15329 0
vsize: 61568
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 13200 0 0 0 71985 27 0 0 25 0 1 0 898493747 63766528 13120 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15568 13120 1111 63 0 15505 0
vsize: 62272
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 13415 0 0 0 72985 28 0 0 25 0 1 0 898493747 64765952 13335 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15812 13335 1111 63 0 15749 0
vsize: 63248
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 13589 0 0 0 73985 28 0 0 25 0 1 0 898493747 65474560 13509 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15985 13509 1111 63 0 15922 0
vsize: 63940
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 13767 0 0 0 74986 28 0 0 25 0 1 0 898493747 66154496 13687 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16151 13687 1111 63 0 16088 0
vsize: 64604
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 13930 0 0 0 75986 28 0 0 25 0 1 0 898493747 66834432 13850 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16317 13850 1111 63 0 16254 0
vsize: 65268
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 14116 0 0 0 76985 29 0 0 25 0 1 0 898493747 67522560 14036 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16485 14036 1111 63 0 16422 0
vsize: 65940
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 14300 0 0 0 77985 29 0 0 25 0 1 0 898493747 68354048 14220 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16688 14220 1111 63 0 16625 0
vsize: 66752
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 14504 0 0 0 78985 30 0 0 25 0 1 0 898493747 69189632 14424 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16892 14424 1111 63 0 16829 0
vsize: 67568
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 14712 0 0 0 79984 30 0 0 25 0 1 0 898493747 70041600 14632 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17100 14632 1111 63 0 17037 0
vsize: 68400
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 14916 0 0 0 80984 31 0 0 25 0 1 0 898493747 70881280 14836 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17305 14836 1111 63 0 17242 0
vsize: 69220
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 15088 0 0 0 81984 31 0 0 25 0 1 0 898493747 71581696 15008 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17476 15008 1111 63 0 17413 0
vsize: 69904
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 15299 0 0 0 82984 31 0 0 25 0 1 0 898493747 72445952 15219 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17687 15219 1111 63 0 17624 0
vsize: 70748
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 15502 0 0 0 83984 32 0 0 25 0 1 0 898493747 73281536 15422 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17891 15422 1111 63 0 17828 0
vsize: 71564
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 15701 0 0 0 84984 32 0 0 25 0 1 0 898493747 74096640 15621 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18090 15621 1111 63 0 18027 0
vsize: 72360
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 15880 0 0 0 85983 32 0 0 25 0 1 0 898493747 74801152 15800 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18262 15800 1111 63 0 18199 0
vsize: 73048
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 16073 0 0 0 86983 33 0 0 25 0 1 0 898493747 75726848 15993 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 15993 1111 63 0 18425 0
vsize: 73952
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 16252 0 0 0 87984 33 0 0 25 0 1 0 898493747 76431360 16172 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18660 16172 1111 63 0 18597 0
vsize: 74640
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 16444 0 0 0 88983 33 0 0 25 0 1 0 898493747 77250560 16364 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18860 16364 1111 63 0 18797 0
vsize: 75440
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 16653 0 0 0 89983 34 0 0 25 0 1 0 898493747 78102528 16573 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19068 16573 1111 63 0 19005 0
vsize: 76272
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 16845 0 0 0 90983 34 0 0 25 0 1 0 898493747 78786560 16765 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19235 16765 1111 63 0 19172 0
vsize: 76940
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 17038 0 0 0 91983 34 0 0 25 0 1 0 898493747 79642624 16958 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19444 16958 1111 63 0 19381 0
vsize: 77776
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 17230 0 0 0 92982 35 0 0 25 0 1 0 898493747 80457728 17150 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19643 17150 1111 63 0 19580 0
vsize: 78572
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 17439 0 0 0 93981 36 0 0 25 0 1 0 898493747 81289216 17359 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19846 17359 1111 63 0 19783 0
vsize: 79384
[startup+950.034 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 5206
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 17638 0 0 0 94979 37 0 0 25 0 1 0 898493747 82128896 17558 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20051 17558 1111 63 0 19988 0
vsize: 80204
[startup+960.034 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 5206
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 17817 0 0 0 95979 38 0 0 25 0 1 0 898493747 82808832 17737 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20217 17737 1111 63 0 20154 0
vsize: 80868
[startup+970.035 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5206
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 18000 0 0 0 96979 38 0 0 25 0 1 0 898493747 83632128 17920 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20418 17920 1111 63 0 20355 0
vsize: 81672
[startup+980.036 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5206
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 18185 0 0 0 97979 38 0 0 25 0 1 0 898493747 84307968 18105 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20583 18105 1111 63 0 20520 0
vsize: 82332
[startup+990.037 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5206
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 18354 0 0 0 98979 39 0 0 25 0 1 0 898493747 85000192 18274 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20752 18274 1111 63 0 20689 0
vsize: 83008
[startup+1000.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5206
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 18545 0 0 0 99978 39 0 0 25 0 1 0 898493747 85835776 18465 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20956 18465 1111 63 0 20893 0
vsize: 83824
[startup+1010.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5206
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 18743 0 0 0 100978 40 0 0 25 0 1 0 898493747 86671360 18663 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21160 18663 1111 63 0 21097 0
vsize: 84640
[startup+1020.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 18959 0 0 0 101977 41 0 0 25 0 1 0 898493747 87502848 18879 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21363 18879 1111 63 0 21300 0
vsize: 85452
[startup+1030.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 19176 0 0 0 102976 42 0 0 25 0 1 0 898493747 88358912 19096 4294967295 134512640 134716908 3221224576 3221221100 1077191203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21572 19096 1111 63 0 21509 0
vsize: 86288
[startup+1040.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 19374 0 0 0 103976 42 0 0 25 0 1 0 898493747 89169920 19294 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21770 19294 1111 63 0 21707 0
vsize: 87080
[startup+1050.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 19565 0 0 0 104976 43 0 0 25 0 1 0 898493747 89985024 19485 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21969 19485 1111 63 0 21906 0
vsize: 87876
[startup+1060.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 19771 0 0 0 105976 43 0 0 25 0 1 0 898493747 90820608 19691 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22173 19691 1111 63 0 22110 0
vsize: 88692
[startup+1070.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 19945 0 0 0 106976 43 0 0 25 0 1 0 898493747 91504640 19865 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22340 19865 1111 63 0 22277 0
vsize: 89360
[startup+1080.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 20133 0 0 0 107975 44 0 0 25 0 1 0 898493747 92323840 20053 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22540 20053 1111 63 0 22477 0
vsize: 90160
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 20318 0 0 0 108975 44 0 0 25 0 1 0 898493747 92999680 20238 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22705 20238 1111 63 0 22642 0
vsize: 90820
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 20493 0 0 0 109975 45 0 0 25 0 1 0 898493747 93827072 20413 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22907 20413 1111 63 0 22844 0
vsize: 91628
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 20672 0 0 0 110975 45 0 0 25 0 1 0 898493747 94502912 20592 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23072 20592 1111 63 0 23009 0
vsize: 92288
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 20865 0 0 0 111975 45 0 0 25 0 1 0 898493747 95227904 20785 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23249 20785 1111 63 0 23186 0
vsize: 92996
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 21063 0 0 0 112974 46 0 0 25 0 1 0 898493747 96067584 20983 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23454 20983 1111 63 0 23391 0
vsize: 93816
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 21273 0 0 0 113974 47 0 0 25 0 1 0 898493747 96903168 21193 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23658 21193 1111 63 0 23595 0
vsize: 94632
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 21459 0 0 0 114973 47 0 0 25 0 1 0 898493747 97718272 21379 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23857 21379 1111 63 0 23794 0
vsize: 95428
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 21664 0 0 0 115973 48 0 0 25 0 1 0 898493747 98557952 21584 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24062 21584 1111 63 0 23999 0
vsize: 96248
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 21880 0 0 0 116973 48 0 0 25 0 1 0 898493747 99389440 21800 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24265 21800 1111 63 0 24202 0
vsize: 97060
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 22074 0 0 0 117972 49 0 0 25 0 1 0 898493747 100229120 21994 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24470 21994 1111 63 0 24407 0
vsize: 97880
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 22247 0 0 0 118972 50 0 0 25 0 1 0 898493747 100917248 22167 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24638 22167 1111 63 0 24575 0
vsize: 98552
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) R 5152 31399 31398 0 -1 0 22422 0 0 0 119971 50 0 0 25 0 1 0 898493747 101609472 22342 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24807 22342 1111 63 0 24744 0
vsize: 99228
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 5208
Raw data (stat): 5153 (bsolo_lpr-v2) Z 5152 31399 31398 0 -1 1036 22422 0 0 0 119971 54 0 0 25 0 1 0 898493747 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.09
CPU time (s): 1200.27
CPU user time (s): 1199.72
CPU system time (s): 0.548916
CPU usage (%): 100.015
Max. virtual memory (Kb): 99228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####