PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb
MD5SUM	bd3b7059f5a46c39741d1666410238f7
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29610373267604
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29610373267604
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42678
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 40065

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 01:57:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28131 boxname=wulflinc2 idbench=1087 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  bd3b7059f5a46c39741d1666410238f7  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n3709.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n3709.opb
IDLAUNCH: 28131
/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:        861104 kB
Buffers:         23160 kB
Cached:         127308 kB
SwapCached:       1376 kB
Active:          32504 kB
Inactive:       120000 kB
HighTotal:      131008 kB
HighFree:         6552 kB
LowTotal:       903652 kB
LowFree:        854552 kB
SwapTotal:     2097136 kB
SwapFree:      2094692 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            15256 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 02:17:18 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 28131 7 1200.22 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.93 0.96 0.91 2/54 1593
Raw data (stat): 1593 (runsolver) R 1592 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897851516 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 1298 0 0 0 992 5 0 0 25 0 1 0 897851516 15511552 1218 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1218 1111 63 0 3724 0
vsize: 15148
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 1408 0 0 0 1992 5 0 0 25 0 1 0 897851516 15941632 1328 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1328 1111 63 0 3829 0
vsize: 15568
[startup+30.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 1517 0 0 0 2991 6 0 0 25 0 1 0 897851516 16379904 1437 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1437 1111 63 0 3936 0
vsize: 15996
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 1627 0 0 0 3991 7 0 0 25 0 1 0 897851516 16834560 1547 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1547 1111 63 0 4047 0
vsize: 16440
[startup+50.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 1739 0 0 0 4991 7 0 0 25 0 1 0 897851516 17412096 1659 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4251 1659 1111 63 0 4188 0
vsize: 17004
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 1849 0 0 0 5990 8 0 0 25 0 1 0 897851516 17862656 1769 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1769 1111 63 0 4298 0
vsize: 17444
[startup+70.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 1952 0 0 0 6990 8 0 0 25 0 1 0 897851516 18161664 1872 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1872 1111 63 0 4371 0
vsize: 17736
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 2069 0 0 0 7989 9 0 0 25 0 1 0 897851516 18763776 1989 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4581 1989 1111 63 0 4518 0
vsize: 18324
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 2178 0 0 0 8989 9 0 0 25 0 1 0 897851516 19197952 2098 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4687 2098 1111 63 0 4624 0
vsize: 18748
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 2288 0 0 0 9989 10 0 0 25 0 1 0 897851516 19656704 2208 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4799 2208 1111 63 0 4736 0
vsize: 19196
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 2397 0 0 0 10988 10 0 0 25 0 1 0 897851516 20103168 2317 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2317 1111 63 0 4845 0
vsize: 19632
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 2508 0 0 0 11988 11 0 0 25 0 1 0 897851516 20557824 2428 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 2428 1111 63 0 4956 0
vsize: 20076
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 2617 0 0 0 12987 11 0 0 25 0 1 0 897851516 21004288 2537 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5128 2537 1111 63 0 5065 0
vsize: 20512
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 2727 0 0 0 13987 12 0 0 25 0 1 0 897851516 21434368 2647 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 2647 1111 63 0 5170 0
vsize: 20932
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 2836 0 0 0 14987 12 0 0 25 0 1 0 897851516 21872640 2756 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5340 2756 1111 63 0 5277 0
vsize: 21360
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1593
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 2947 0 0 0 15986 13 0 0 25 0 1 0 897851516 22323200 2867 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 2867 1111 63 0 5387 0
vsize: 21800
[startup+170.011 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 1633
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 3056 0 0 0 16983 16 0 0 25 0 1 0 897851516 22773760 2976 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5560 2976 1111 63 0 5497 0
vsize: 22240
[startup+180.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 1646
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 3174 0 0 0 17983 16 0 0 25 0 1 0 897851516 23232512 3094 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 3094 1111 63 0 5609 0
vsize: 22688
[startup+190.011 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 1646
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 3282 0 0 0 18983 16 0 0 25 0 1 0 897851516 23662592 3202 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3202 1111 63 0 5714 0
vsize: 23108
[startup+200.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 1646
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 3392 0 0 0 19983 17 0 0 25 0 1 0 897851516 24113152 3312 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3312 1111 63 0 5824 0
vsize: 23548
[startup+210.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 1646
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 3502 0 0 0 20983 17 0 0 25 0 1 0 897851516 24559616 3422 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3422 1111 63 0 5933 0
vsize: 23984
[startup+220.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1646
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 3613 0 0 0 21983 17 0 0 25 0 1 0 897851516 25010176 3533 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3533 1111 63 0 6043 0
vsize: 24424
[startup+230.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1646
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 3723 0 0 0 22983 17 0 0 25 0 1 0 897851516 25460736 3643 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3643 1111 63 0 6153 0
vsize: 24864
[startup+240.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1646
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 3833 0 0 0 23983 17 0 0 25 0 1 0 897851516 25911296 3753 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3753 1111 63 0 6263 0
vsize: 25304
[startup+250.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 3942 0 0 0 24983 18 0 0 25 0 1 0 897851516 26357760 3862 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3862 1111 63 0 6372 0
vsize: 25740
[startup+260.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 4048 0 0 0 25983 18 0 0 25 0 1 0 897851516 26804224 3968 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3968 1111 63 0 6481 0
vsize: 26176
[startup+270.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 4164 0 0 0 26983 18 0 0 25 0 1 0 897851516 27258880 4084 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4084 1111 63 0 6592 0
vsize: 26620
[startup+280.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 4268 0 0 0 27983 19 0 0 25 0 1 0 897851516 27705344 4188 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4188 1111 63 0 6701 0
vsize: 27056
[startup+290.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 4383 0 0 0 28983 19 0 0 25 0 1 0 897851516 28160000 4303 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 4303 1111 63 0 6812 0
vsize: 27500
[startup+300.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 4489 0 0 0 29983 19 0 0 25 0 1 0 897851516 28602368 4409 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4409 1111 63 0 6920 0
vsize: 27932
[startup+310.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 4604 0 0 0 30983 19 0 0 25 0 1 0 897851516 29028352 4524 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4524 1111 63 0 7024 0
vsize: 28348
[startup+320.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 4715 0 0 0 31983 20 0 0 25 0 1 0 897851516 29474816 4635 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4635 1111 63 0 7133 0
vsize: 28784
[startup+330.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 4824 0 0 0 32983 20 0 0 25 0 1 0 897851516 29925376 4744 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4744 1111 63 0 7243 0
vsize: 29224
[startup+340.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 4934 0 0 0 33983 20 0 0 25 0 1 0 897851516 30375936 4854 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4854 1111 63 0 7353 0
vsize: 29664
[startup+350.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 5044 0 0 0 34983 20 0 0 25 0 1 0 897851516 30826496 4964 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4964 1111 63 0 7463 0
vsize: 30104
[startup+360.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 5166 0 0 0 35983 20 0 0 25 0 1 0 897851516 31461376 5086 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 5086 1111 63 0 7618 0
vsize: 30724
[startup+370.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 5275 0 0 0 36983 21 0 0 25 0 1 0 897851516 31911936 5195 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7791 5195 1111 63 0 7728 0
vsize: 31164
[startup+380.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 5387 0 0 0 37983 21 0 0 25 0 1 0 897851516 32362496 5307 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7901 5307 1111 63 0 7838 0
vsize: 31604
[startup+390.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 5496 0 0 0 38983 21 0 0 25 0 1 0 897851516 32813056 5416 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8011 5416 1111 63 0 7948 0
vsize: 32044
[startup+400.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 5613 0 0 0 39982 22 0 0 25 0 1 0 897851516 33263616 5533 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5533 1111 63 0 8058 0
vsize: 32484
[startup+410.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 5723 0 0 0 40982 22 0 0 25 0 1 0 897851516 33710080 5643 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8230 5643 1111 63 0 8167 0
vsize: 32920
[startup+420.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 5834 0 0 0 41982 22 0 0 25 0 1 0 897851516 34160640 5754 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8340 5754 1111 63 0 8277 0
vsize: 33360
[startup+430.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 5944 0 0 0 42982 22 0 0 25 0 1 0 897851516 34611200 5864 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 5864 1111 63 0 8387 0
vsize: 33800
[startup+440.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 6055 0 0 0 43982 23 0 0 25 0 1 0 897851516 35061760 5975 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 5975 1111 63 0 8497 0
vsize: 34240
[startup+450.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 6171 0 0 0 44982 23 0 0 25 0 1 0 897851516 35508224 6091 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 6091 1111 63 0 8606 0
vsize: 34676
[startup+460.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 6282 0 0 0 45982 23 0 0 25 0 1 0 897851516 35958784 6202 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6202 1111 63 0 8716 0
vsize: 35116
[startup+470.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1648
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 6392 0 0 0 46982 24 0 0 25 0 1 0 897851516 36409344 6312 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6312 1111 63 0 8826 0
vsize: 35556
[startup+480.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 6503 0 0 0 47982 24 0 0 25 0 1 0 897851516 36859904 6423 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6423 1111 63 0 8936 0
vsize: 35996
[startup+490.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 6613 0 0 0 48982 24 0 0 25 0 1 0 897851516 37306368 6533 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6533 1111 63 0 9045 0
vsize: 36432
[startup+500.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 6730 0 0 0 49982 24 0 0 25 0 1 0 897851516 37761024 6650 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6650 1111 63 0 9156 0
vsize: 36876
[startup+510.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 6840 0 0 0 50982 24 0 0 25 0 1 0 897851516 38207488 6760 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6760 1111 63 0 9265 0
vsize: 37312
[startup+520.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 6952 0 0 0 51982 24 0 0 25 0 1 0 897851516 38658048 6872 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6872 1111 63 0 9375 0
vsize: 37752
[startup+530.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 7067 0 0 0 52982 24 0 0 25 0 1 0 897851516 39256064 6987 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9584 6987 1111 63 0 9521 0
vsize: 38336
[startup+540.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 7179 0 0 0 53982 24 0 0 25 0 1 0 897851516 39710720 7099 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9695 7099 1111 63 0 9632 0
vsize: 38780
[startup+550.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 7288 0 0 0 54982 25 0 0 25 0 1 0 897851516 40153088 7208 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9803 7208 1111 63 0 9740 0
vsize: 39212
[startup+560.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 7406 0 0 0 55982 25 0 0 25 0 1 0 897851516 40607744 7326 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9914 7326 1111 63 0 9851 0
vsize: 39656
[startup+570.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 7516 0 0 0 56982 25 0 0 25 0 1 0 897851516 41054208 7436 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10023 7436 1111 63 0 9960 0
vsize: 40092
[startup+580.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 7628 0 0 0 57982 25 0 0 25 0 1 0 897851516 41508864 7548 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 7548 1111 63 0 10071 0
vsize: 40536
[startup+590.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 7744 0 0 0 58982 26 0 0 25 0 1 0 897851516 41951232 7664 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 7664 1111 63 0 10179 0
vsize: 40968
[startup+600.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 7855 0 0 0 59982 26 0 0 25 0 1 0 897851516 42405888 7775 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7775 1111 63 0 10290 0
vsize: 41412
[startup+610.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 7971 0 0 0 60983 26 0 0 25 0 1 0 897851516 42852352 7891 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7891 1111 63 0 10399 0
vsize: 41848
[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 8082 0 0 0 61983 26 0 0 25 0 1 0 897851516 43307008 8002 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10573 8002 1111 63 0 10510 0
vsize: 42292
[startup+630.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 8198 0 0 0 62983 26 0 0 25 0 1 0 897851516 43753472 8118 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8118 1111 63 0 10619 0
vsize: 42728
[startup+640.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 8309 0 0 0 63982 27 0 0 25 0 1 0 897851516 44326912 8229 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10822 8229 1111 63 0 10759 0
vsize: 43288
[startup+650.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 8420 0 0 0 64983 27 0 0 25 0 1 0 897851516 44769280 8340 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10930 8340 1111 63 0 10867 0
vsize: 43720
[startup+660.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 8537 0 0 0 65982 27 0 0 25 0 1 0 897851516 45223936 8457 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11041 8457 1111 63 0 10978 0
vsize: 44164
[startup+670.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 8652 0 0 0 66982 28 0 0 25 0 1 0 897851516 45670400 8572 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11150 8572 1111 63 0 11087 0
vsize: 44600
[startup+680.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 8764 0 0 0 67982 28 0 0 25 0 1 0 897851516 46125056 8684 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11261 8684 1111 63 0 11198 0
vsize: 45044
[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 8873 0 0 0 68982 28 0 0 25 0 1 0 897851516 46567424 8793 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8793 1111 63 0 11306 0
vsize: 45476
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 8991 0 0 0 69982 28 0 0 25 0 1 0 897851516 47022080 8911 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11480 8911 1111 63 0 11417 0
vsize: 45920
[startup+710.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 9126 0 0 0 70982 29 0 0 25 0 1 0 897851516 47718400 9046 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11650 9046 1111 63 0 11587 0
vsize: 46600
[startup+720.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 9237 0 0 0 71981 29 0 0 25 0 1 0 897851516 48144384 9157 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 9157 1111 63 0 11691 0
vsize: 47016
[startup+730.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 9353 0 0 0 72982 29 0 0 25 0 1 0 897851516 48590848 9273 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11863 9273 1111 63 0 11800 0
vsize: 47452
[startup+740.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 9465 0 0 0 73982 30 0 0 25 0 1 0 897851516 49041408 9385 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9385 1111 63 0 11910 0
vsize: 47892
[startup+750.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 9581 0 0 0 74982 30 0 0 25 0 1 0 897851516 49639424 9501 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12119 9501 1111 63 0 12056 0
vsize: 48476
[startup+760.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 9700 0 0 0 75982 30 0 0 25 0 1 0 897851516 50094080 9620 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12230 9620 1111 63 0 12167 0
vsize: 48920
[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 9811 0 0 0 76981 30 0 0 25 0 1 0 897851516 50536448 9731 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12338 9731 1111 63 0 12275 0
vsize: 49352
[startup+780.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 9927 0 0 0 77981 31 0 0 25 0 1 0 897851516 50958336 9847 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9847 1111 63 0 12378 0
vsize: 49764
[startup+790.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 10038 0 0 0 78981 31 0 0 25 0 1 0 897851516 51408896 9958 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9958 1111 63 0 12488 0
vsize: 50204
[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 10156 0 0 0 79981 31 0 0 25 0 1 0 897851516 51859456 10076 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10076 1111 63 0 12598 0
vsize: 50644
[startup+810.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 10274 0 0 0 80981 32 0 0 25 0 1 0 897851516 52461568 10194 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12808 10194 1111 63 0 12745 0
vsize: 51232
[startup+820.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 10389 0 0 0 81980 32 0 0 25 0 1 0 897851516 52908032 10309 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12917 10309 1111 63 0 12854 0
vsize: 51668
[startup+830.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 10501 0 0 0 82980 32 0 0 25 0 1 0 897851516 53362688 10421 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13028 10421 1111 63 0 12965 0
vsize: 52112
[startup+840.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 10619 0 0 0 83981 33 0 0 25 0 1 0 897851516 53809152 10539 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13137 10539 1111 63 0 13074 0
vsize: 52548
[startup+850.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 10736 0 0 0 84981 33 0 0 25 0 1 0 897851516 54259712 10656 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10656 1111 63 0 13184 0
vsize: 52988
[startup+860.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 10846 0 0 0 85980 33 0 0 25 0 1 0 897851516 54710272 10766 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10766 1111 63 0 13294 0
vsize: 53428
[startup+870.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 10964 0 0 0 86980 34 0 0 25 0 1 0 897851516 55160832 10884 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10884 1111 63 0 13404 0
vsize: 53868
[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 11081 0 0 0 87980 34 0 0 25 0 1 0 897851516 55754752 11001 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13612 11001 1111 63 0 13549 0
vsize: 54448
[startup+890.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 11200 0 0 0 88980 34 0 0 25 0 1 0 897851516 56209408 11120 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13723 11120 1111 63 0 13660 0
vsize: 54892
[startup+900.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 11316 0 0 0 89979 35 0 0 25 0 1 0 897851516 56655872 11236 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13832 11236 1111 63 0 13769 0
vsize: 55328
[startup+910.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 11433 0 0 0 90979 35 0 0 25 0 1 0 897851516 57110528 11353 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11353 1111 63 0 13880 0
vsize: 55772
[startup+920.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 11544 0 0 0 91980 35 0 0 25 0 1 0 897851516 57552896 11464 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11464 1111 63 0 13988 0
vsize: 56204
[startup+930.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 11663 0 0 0 92980 35 0 0 25 0 1 0 897851516 58007552 11583 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11583 1111 63 0 14099 0
vsize: 56648
[startup+940.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 11779 0 0 0 93979 35 0 0 25 0 1 0 897851516 58605568 11699 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14308 11699 1111 63 0 14245 0
vsize: 57232
[startup+950.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 11897 0 0 0 94979 36 0 0 25 0 1 0 897851516 59056128 11817 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14418 11817 1111 63 0 14355 0
vsize: 57672
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 12014 0 0 0 95979 36 0 0 25 0 1 0 897851516 59502592 11934 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14527 11934 1111 63 0 14464 0
vsize: 58108
[startup+970.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 12133 0 0 0 96979 36 0 0 25 0 1 0 897851516 59953152 12053 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12053 1111 63 0 14574 0
vsize: 58548
[startup+980.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 12244 0 0 0 97979 36 0 0 25 0 1 0 897851516 60403712 12164 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12164 1111 63 0 14684 0
vsize: 58988
[startup+990.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 12361 0 0 0 98979 36 0 0 25 0 1 0 897851516 60854272 12281 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12281 1111 63 0 14794 0
vsize: 59428
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 12478 0 0 0 99980 36 0 0 25 0 1 0 897851516 61456384 12398 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15004 12398 1111 63 0 14941 0
vsize: 60016
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 12595 0 0 0 100980 37 0 0 25 0 1 0 897851516 61902848 12515 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15113 12515 1111 63 0 15050 0
vsize: 60452
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 12713 0 0 0 101980 37 0 0 25 0 1 0 897851516 62353408 12633 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12633 1111 63 0 15160 0
vsize: 60892
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 12830 0 0 0 102980 37 0 0 25 0 1 0 897851516 62803968 12750 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12750 1111 63 0 15270 0
vsize: 61332
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 12948 0 0 0 103980 37 0 0 25 0 1 0 897851516 63254528 12868 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12868 1111 63 0 15380 0
vsize: 61772
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 13065 0 0 0 104980 37 0 0 25 0 1 0 897851516 63848448 12985 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15588 12985 1111 63 0 15525 0
vsize: 62352
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 13184 0 0 0 105980 37 0 0 25 0 1 0 897851516 64303104 13104 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15699 13104 1111 63 0 15636 0
vsize: 62796
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 13300 0 0 0 106980 38 0 0 25 0 1 0 897851516 64749568 13220 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13220 1111 63 0 15745 0
vsize: 63232
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 13418 0 0 0 107980 38 0 0 25 0 1 0 897851516 65204224 13338 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13338 1111 63 0 15856 0
vsize: 63676
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 13541 0 0 0 108979 38 0 0 25 0 1 0 897851516 65798144 13461 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16064 13461 1111 63 0 16001 0
vsize: 64256
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 13660 0 0 0 109980 38 0 0 25 0 1 0 897851516 66248704 13580 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16174 13580 1111 63 0 16111 0
vsize: 64696
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 13777 0 0 0 110979 38 0 0 25 0 1 0 897851516 66699264 13697 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16284 13697 1111 63 0 16221 0
vsize: 65136
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 13895 0 0 0 111979 38 0 0 25 0 1 0 897851516 67149824 13815 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13815 1111 63 0 16331 0
vsize: 65576
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 14020 0 0 0 112978 39 0 0 25 0 1 0 897851516 67751936 13940 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16541 13940 1111 63 0 16478 0
vsize: 66164
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 14138 0 0 0 113978 39 0 0 25 0 1 0 897851516 68198400 14058 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16650 14058 1111 63 0 16587 0
vsize: 66600
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 14256 0 0 0 114978 39 0 0 25 0 1 0 897851516 68653056 14176 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14176 1111 63 0 16698 0
vsize: 67044
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 14372 0 0 0 115978 39 0 0 25 0 1 0 897851516 69099520 14292 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14292 1111 63 0 16807 0
vsize: 67480
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 14491 0 0 0 116978 40 0 0 25 0 1 0 897851516 69550080 14411 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14411 1111 63 0 16917 0
vsize: 67920
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 14608 0 0 0 117978 40 0 0 25 0 1 0 897851516 70148096 14528 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17126 14528 1111 63 0 17063 0
vsize: 68504
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 14727 0 0 0 118978 40 0 0 25 0 1 0 897851516 70598656 14647 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17236 14647 1111 63 0 17173 0
vsize: 68944
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) R 1592 31399 31398 0 -1 0 14849 0 0 0 119978 40 0 0 25 0 1 0 897851516 71045120 14769 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14769 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 1650
Raw data (stat): 1593 (bsolo_lpr-v2) Z 1592 31399 31398 0 -1 1036 14849 0 0 0 119978 43 0 0 25 0 1 0 897851516 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.22
CPU user time (s): 1199.79
CPU system time (s): 0.435933
CPU usage (%): 100.013
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####