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/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
MD5SUM	6049145b9f1adfd7114adf044503d587
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2642
Optimality of the best value was proved	NO
Number of terms in the objective function	748
Biggest coefficient in the objective function	240
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	33855
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	240
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	33855
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02984
Number of variables	907
Total number of constraints	1309
Number of constraints which are clauses	126
Number of constraints which are cardinality constraints (but not clauses)	1183
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	134
Trace number 24927

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-14 23:42:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3214 boxname=wulflinc31 idbench=358 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6049145b9f1adfd7114adf044503d587  /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-5.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ws97-5.opb
IDLAUNCH: 3214
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        821500 kB
Buffers:         40160 kB
Cached:         151368 kB
SwapCached:       1932 kB
Active:         155396 kB
Inactive:        39360 kB
HighTotal:      131008 kB
HighFree:          700 kB
LowTotal:       903652 kB
LowFree:        820800 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:            1380 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12704 kB
Committed_AS:    63848 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 00:01:45 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 3214 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 907 variables and 663 constraints.
c After prepocess the problem consists of 899 variables and 669 constraints.
c preprocess terminated 0.781 s
c Initial Lower Bound: 133
c Lower Bound Elapsed time: 0.212
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### 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
Raw data (loadavg): 1.14 1.03 1.01 2/55 29404
Raw data (stat): 29404 (runsolver) R 29403 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 747852705 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 1.12 1.03 1.01 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 4079 0 0 0 984 11 0 0 25 0 1 0 747852705 7073792 1024 4294967295 134512640 134714508 3221221792 3221220192 1074153040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 1024 1111 63 0 1664 0
vsize: 6908
[startup+20.001 s]
Raw data (loadavg): 1.10 1.03 1.01 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 7722 0 0 0 1972 23 0 0 25 0 1 0 747852705 7073792 1026 4294967295 134512640 134714508 3221221792 3221220192 1074153673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 1026 1111 63 0 1664 0
vsize: 6908
[startup+30.002 s]
Raw data (loadavg): 1.08 1.03 1.01 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 13829 0 0 0 2957 38 0 0 25 0 1 0 747852705 7745536 1110 4294967295 134512640 134714508 3221221792 3221217968 1074791933 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1891 1110 1111 63 0 1828 0
vsize: 7564
[startup+40.0023 s]
Raw data (loadavg): 1.07 1.03 1.01 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 20638 0 0 0 3940 55 0 0 25 0 1 0 747852705 7073792 1027 4294967295 134512640 134714508 3221221792 3221220108 1077402400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 1027 1111 63 0 1664 0
vsize: 6908
[startup+50.0032 s]
Raw data (loadavg): 1.06 1.03 1.01 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 28562 0 0 0 4921 75 0 0 25 0 1 0 747852705 7106560 1036 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1735 1036 1111 63 0 1672 0
vsize: 6940
[startup+60.0037 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 36402 0 0 0 5901 95 0 0 25 0 1 0 747852705 7151616 1037 4294967295 134512640 134714508 3221221792 3221220272 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1746 1037 1111 63 0 1683 0
vsize: 6984
[startup+70.0041 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 44243 0 0 0 6881 114 0 0 25 0 1 0 747852705 7118848 1039 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1738 1039 1111 63 0 1675 0
vsize: 6952
[startup+80.0046 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 52067 0 0 0 7860 136 0 0 25 0 1 0 747852705 7266304 1041 4294967295 134512640 134714508 3221221792 3221219824 1075088360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1774 1041 1111 63 0 1711 0
vsize: 7096
[startup+90.0045 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 59971 0 0 0 8839 158 0 0 25 0 1 0 747852705 7118848 1040 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1738 1040 1111 63 0 1675 0
vsize: 6952
[startup+100.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 68067 0 0 0 9817 179 0 0 25 0 1 0 747852705 7168000 1052 4294967295 134512640 134714508 3221221792 3221219368 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1750 1052 1111 63 0 1687 0
vsize: 7000
[startup+110.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 76137 0 0 0 10796 201 0 0 25 0 1 0 747852705 7118848 1040 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1738 1040 1111 63 0 1675 0
vsize: 6952
[startup+120.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 84370 0 0 0 11775 222 0 0 25 0 1 0 747852705 7118848 1040 4294967295 134512640 134714508 3221221792 3221220176 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1738 1040 1111 63 0 1675 0
vsize: 6952
[startup+130.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 92423 0 0 0 12753 243 0 0 25 0 1 0 747852705 7143424 1044 4294967295 134512640 134714508 3221221792 3221219536 1075646948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1744 1044 1111 63 0 1681 0
vsize: 6976
[startup+140.007 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 100587 0 0 0 13731 266 0 0 25 0 1 0 747852705 7118848 1040 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1738 1040 1111 63 0 1675 0
vsize: 6952
[startup+150.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 108827 0 0 0 14710 287 0 0 25 0 1 0 747852705 7118848 1040 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1738 1040 1111 63 0 1675 0
vsize: 6952
[startup+160.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 116846 0 0 0 15688 309 0 0 25 0 1 0 747852705 7118848 1040 4294967295 134512640 134714508 3221221792 3221220104 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1738 1040 1111 63 0 1675 0
vsize: 6952
[startup+170.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 125020 0 0 0 16666 332 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221220176 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+180.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 133161 0 0 0 17644 354 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+190.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 141252 0 0 0 18621 377 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221219744 1074051586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+200.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 149298 0 0 0 19599 399 0 0 25 0 1 0 747852705 7176192 1044 4294967295 134512640 134714508 3221221792 3221219736 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1752 1044 1111 63 0 1689 0
vsize: 7008
[startup+210.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 157577 0 0 0 20575 422 0 0 25 0 1 0 747852705 7835648 1075 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1913 1075 1111 63 0 1850 0
vsize: 7652
[startup+220.015 s]
Raw data (loadavg): 1.00 1.01 1.00 3/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 165935 0 0 0 21554 444 0 0 25 0 1 0 747852705 7147520 1046 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1745 1046 1111 63 0 1682 0
vsize: 6980
[startup+230.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 174457 0 0 0 22533 466 0 0 25 0 1 0 747852705 7852032 1132 4294967295 134512640 134714508 3221221792 3221217756 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 1132 1111 63 0 1854 0
vsize: 7668
[startup+240.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 183054 0 0 0 23509 490 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+250.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 191216 0 0 0 24487 512 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+260.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 199437 0 0 0 25467 532 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221220176 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 207802 0 0 0 26444 555 0 0 25 0 1 0 747852705 7651328 1058 4294967295 134512640 134714508 3221221792 3221218448 1075966713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1868 1058 1111 63 0 1805 0
vsize: 7472
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 216118 0 0 0 27424 575 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 224511 0 0 0 28403 596 0 0 25 0 1 0 747852705 7176192 1044 4294967295 134512640 134714508 3221221792 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1752 1044 1111 63 0 1689 0
vsize: 7008
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 233165 0 0 0 29381 619 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221220176 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 241532 0 0 0 30359 640 0 0 25 0 1 0 747852705 7852032 1129 4294967295 134512640 134714508 3221221792 3221217952 1075091442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 1129 1111 63 0 1854 0
vsize: 7668
[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 249946 0 0 0 31338 662 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221220192 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 258460 0 0 0 32317 683 0 0 25 0 1 0 747852705 7147520 1046 4294967295 134512640 134714508 3221221792 3221220420 134649171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1745 1046 1111 63 0 1682 0
vsize: 6980
[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 266932 0 0 0 33294 706 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221220176 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 275397 0 0 0 34275 726 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221219960 1077377470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 284062 0 0 0 35252 749 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221220176 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+370.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 292624 0 0 0 36230 771 0 0 25 0 1 0 747852705 7847936 1136 4294967295 134512640 134714508 3221221792 3221218032 1075088581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1916 1136 1111 63 0 1853 0
vsize: 7664
[startup+380.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 301266 0 0 0 37209 792 0 0 25 0 1 0 747852705 7331840 1061 4294967295 134512640 134714508 3221221792 3221218984 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 1068 1111 63 0 1854 0
vsize: 7160
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 310107 0 0 0 38187 814 0 0 25 0 1 0 747852705 7131136 1043 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1741 1043 1111 63 0 1678 0
vsize: 6964
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 318270 0 0 0 39167 834 0 0 25 0 1 0 747852705 7168000 1052 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1750 1052 1111 63 0 1687 0
vsize: 7000
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 325736 0 0 0 40148 854 0 0 25 0 1 0 747852705 7168000 1052 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1750 1052 1111 63 0 1687 0
vsize: 7000
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 333304 0 0 0 41129 873 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220360 1077377159 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 340812 0 0 0 42109 893 0 0 25 0 1 0 747852705 7315456 1053 4294967295 134512640 134714508 3221221792 3221219712 1075799727 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1786 1053 1111 63 0 1723 0
vsize: 7144
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 348534 0 0 0 43090 912 0 0 25 0 1 0 747852705 7696384 1123 4294967295 134512640 134714508 3221221792 3221220120 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1768 1069 1111 63 0 1705 0
vsize: 7516
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 356265 0 0 0 44070 932 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221219024 1075552862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 364109 0 0 0 45050 952 0 0 25 0 1 0 747852705 7864320 1139 4294967295 134512640 134714508 3221221792 3221218032 1075115760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1920 1139 1111 63 0 1857 0
vsize: 7680
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 371963 0 0 0 46030 972 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220192 1074118797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 379894 0 0 0 47011 992 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 387845 0 0 0 47989 1014 0 0 25 0 1 0 747852705 7168000 1052 4294967295 134512640 134714508 3221221792 3221220192 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1750 1052 1111 63 0 1687 0
vsize: 7000
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 395892 0 0 0 48969 1034 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221219072 1074140032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 404064 0 0 0 49948 1055 0 0 25 0 1 0 747852705 7868416 1132 4294967295 134512640 134714508 3221221792 3221218128 1075114265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1921 1132 1111 63 0 1858 0
vsize: 7684
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 411422 0 0 0 50930 1074 0 0 25 0 1 0 747852705 7204864 1053 4294967295 134512640 134714508 3221221792 3221220276 1074942611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1759 1053 1111 63 0 1696 0
vsize: 7036
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 418391 0 0 0 51911 1092 0 0 25 0 1 0 747852705 7168000 1052 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1750 1052 1111 63 0 1687 0
vsize: 7000
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 425332 0 0 0 52896 1108 0 0 25 0 1 0 747852705 7663616 1091 4294967295 134512640 134714508 3221221792 3221217732 1074786397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1871 1091 1111 63 0 1808 0
vsize: 7484
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 432475 0 0 0 53878 1127 0 0 25 0 1 0 747852705 7168000 1052 4294967295 134512640 134714508 3221221792 3221219776 1074051692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1750 1052 1111 63 0 1687 0
vsize: 7000
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 439478 0 0 0 54861 1144 0 0 25 0 1 0 747852705 7168000 1052 4294967295 134512640 134714508 3221221792 3221219756 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1750 1052 1111 63 0 1687 0
vsize: 7000
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 1.00 3/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 446680 0 0 0 55841 1163 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220432 134649075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 453838 0 0 0 56823 1181 0 0 25 0 1 0 747852705 7168000 1052 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1750 1052 1111 63 0 1687 0
vsize: 7000
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 461111 0 0 0 57803 1202 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 468572 0 0 0 58785 1220 0 0 25 0 1 0 747852705 7168000 1052 4294967295 134512640 134714508 3221221792 3221220192 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1750 1052 1111 63 0 1687 0
vsize: 7000
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 475580 0 0 0 59767 1238 0 0 25 0 1 0 747852705 7168000 1052 4294967295 134512640 134714508 3221221792 3221220156 1074146096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1750 1052 1111 63 0 1687 0
vsize: 7000
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 482629 0 0 0 60747 1259 0 0 25 0 1 0 747852705 7831552 1126 4294967295 134512640 134714508 3221221792 3221218208 1075119416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1912 1126 1111 63 0 1849 0
vsize: 7648
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 489665 0 0 0 61729 1277 0 0 25 0 1 0 747852705 7663616 1092 4294967295 134512640 134714508 3221221792 3221218176 1074972137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1871 1092 1111 63 0 1808 0
vsize: 7484
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 496780 0 0 0 62712 1294 0 0 25 0 1 0 747852705 7688192 1094 4294967295 134512640 134714508 3221221792 3221217952 1075093367 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1877 1094 1111 63 0 1814 0
vsize: 7508
[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 503840 0 0 0 63696 1310 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220052 1077374556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 1.00 3/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 511121 0 0 0 64677 1329 0 0 25 0 1 0 747852705 7827456 1129 4294967295 134512640 134714508 3221221792 3221217856 1074788835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1911 1129 1111 63 0 1848 0
vsize: 7644
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 517831 0 0 0 65659 1347 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221219704 1077378730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+680.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 524583 0 0 0 66642 1364 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 531461 0 0 0 67624 1383 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 538509 0 0 0 68603 1403 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221219368 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 545366 0 0 0 69586 1421 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221219976 1077377395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 552418 0 0 0 70568 1438 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221218760 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 559505 0 0 0 71552 1455 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 566579 0 0 0 72535 1472 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 573968 0 0 0 73517 1490 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 581108 0 0 0 74499 1509 0 0 25 0 1 0 747852705 7852032 1135 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 1135 1111 63 0 1854 0
vsize: 7668
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 588459 0 0 0 75479 1529 0 0 25 0 1 0 747852705 7196672 1059 4294967295 134512640 134714508 3221221792 3221218912 1074866146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1757 1059 1111 63 0 1694 0
vsize: 7028
[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 595809 0 0 0 76460 1548 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220176 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 603242 0 0 0 77443 1565 0 0 25 0 1 0 747852705 7847936 1124 4294967295 134512640 134714508 3221221792 3221217936 1074969682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1916 1126 1111 63 0 1853 0
vsize: 7664
[startup+800.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 610642 0 0 0 78421 1587 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220176 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 618111 0 0 0 79402 1607 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 625371 0 0 0 80384 1624 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220064 1074207177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 632763 0 0 0 81366 1643 0 0 25 0 1 0 747852705 7196672 1059 4294967295 134512640 134714508 3221221792 3221220408 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1757 1059 1111 63 0 1694 0
vsize: 7028
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 640167 0 0 0 82346 1663 0 0 25 0 1 0 747852705 7196672 1059 4294967295 134512640 134714508 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1757 1059 1111 63 0 1694 0
vsize: 7028
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 647764 0 0 0 83326 1683 0 0 25 0 1 0 747852705 7847936 1127 4294967295 134512640 134714508 3221221792 3221218184 1075112453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1916 1127 1111 63 0 1853 0
vsize: 7664
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 655316 0 0 0 84308 1701 0 0 25 0 1 0 747852705 7852032 1119 4294967295 134512640 134714508 3221221792 3221217952 1075091442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 1119 1111 63 0 1854 0
vsize: 7668
[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 662821 0 0 0 85288 1721 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221219120 134650068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 670503 0 0 0 86269 1741 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221219872 1075963440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 678035 0 0 0 87249 1761 0 0 25 0 1 0 747852705 7335936 1065 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1918 1070 1111 63 0 1855 0
vsize: 7164
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 685774 0 0 0 88226 1784 0 0 25 0 1 0 747852705 7196672 1059 4294967295 134512640 134714508 3221221792 3221220208 1074117068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1757 1059 1111 63 0 1694 0
vsize: 7028
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 693066 0 0 0 89206 1805 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220108 1077402400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 700330 0 0 0 90186 1824 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 707667 0 0 0 91164 1846 0 0 25 0 1 0 747852705 7852032 1078 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 1080 1111 63 0 1854 0
vsize: 7668
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 715131 0 0 0 92146 1864 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221218912 1074866184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1787 1058 1111 63 0 1724 0
vsize: 7016
[startup+950.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 722457 0 0 0 93127 1884 0 0 25 0 1 0 747852705 7331840 1057 4294967295 134512640 134714508 3221221792 3221219724 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1790 1057 1111 63 0 1727 0
vsize: 7160
[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 729823 0 0 0 94109 1903 0 0 25 0 1 0 747852705 7196672 1059 4294967295 134512640 134714508 3221221792 3221219536 1075646210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1757 1059 1111 63 0 1694 0
vsize: 7028
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 737354 0 0 0 95089 1922 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 744898 0 0 0 96070 1942 0 0 25 0 1 0 747852705 7217152 1064 4294967295 134512640 134714508 3221221792 3221219520 1075635444 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1064 1111 63 0 1699 0
vsize: 7048
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 752530 0 0 0 97051 1961 0 0 25 0 1 0 747852705 7196672 1059 4294967295 134512640 134714508 3221221792 3221219536 1075636540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1757 1059 1111 63 0 1694 0
vsize: 7028
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 760116 0 0 0 98031 1981 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 767401 0 0 0 99013 1999 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220400 134650198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 774930 0 0 0 99994 2018 0 0 25 0 1 0 747852705 7860224 1139 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1919 1139 1111 63 0 1856 0
vsize: 7676
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 782395 0 0 0 100975 2038 0 0 25 0 1 0 747852705 7852032 1078 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 1080 1111 63 0 1854 0
vsize: 7668
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 789916 0 0 0 101956 2056 0 0 25 0 1 0 747852705 7196672 1059 4294967295 134512640 134714508 3221221792 3221218856 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1757 1059 1111 63 0 1694 0
vsize: 7028
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 797646 0 0 0 102937 2076 0 0 25 0 1 0 747852705 7872512 1140 4294967295 134512640 134714508 3221221792 3221217792 1075965232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1922 1140 1111 63 0 1859 0
vsize: 7688
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 805747 0 0 0 103916 2097 0 0 25 0 1 0 747852705 7241728 1059 4294967295 134512640 134714508 3221221792 3221218904 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1768 1064 1111 63 0 1705 0
vsize: 7072
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 29404
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 814021 0 0 0 104894 2119 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221218976 134650068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+1080.28 s]
Raw data (loadavg): 1.08 1.02 1.01 3/57 29430
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 822765 0 0 0 105896 2142 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+1090.52 s]
Raw data (loadavg): 1.29 1.06 1.02 3/57 29451
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 831244 0 0 0 106898 2164 0 0 25 0 1 0 747852705 7184384 1056 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1754 1056 1111 63 0 1691 0
vsize: 7016
[startup+1100.52 s]
Raw data (loadavg): 1.32 1.08 1.02 2/55 29457
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 839616 0 0 0 107878 2184 0 0 25 0 1 0 747852705 7892992 1140 4294967295 134512640 134714508 3221221792 3221217756 1074860583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1927 1140 1111 63 0 1864 0
vsize: 7708
[startup+1110.52 s]
Raw data (loadavg): 1.27 1.08 1.02 2/55 29457
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 847829 0 0 0 108858 2205 0 0 25 0 1 0 747852705 7770112 1125 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1897 1125 1111 63 0 1834 0
vsize: 7588
[startup+1120.52 s]
Raw data (loadavg): 1.30 1.09 1.03 2/55 29457
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 855399 0 0 0 109837 2225 0 0 25 0 1 0 747852705 7237632 1060 4294967295 134512640 134714508 3221221792 3221219792 1074918201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1767 1060 1111 63 0 1704 0
vsize: 7068
[startup+1130.52 s]
Raw data (loadavg): 1.26 1.09 1.03 2/55 29457
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 862906 0 0 0 110818 2245 0 0 25 0 1 0 747852705 7233536 1068 4294967295 134512640 134714508 3221221792 3221218896 1074138720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1806 1069 1111 63 0 1743 0
vsize: 7064
[startup+1140.52 s]
Raw data (loadavg): 1.22 1.08 1.03 2/55 29457
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 869842 0 0 0 111801 2262 0 0 25 0 1 0 747852705 7897088 1146 4294967295 134512640 134714508 3221221792 3221218128 1075114236 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1928 1146 1111 63 0 1865 0
vsize: 7712
[startup+1150.52 s]
Raw data (loadavg): 1.18 1.08 1.03 2/55 29457
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 877034 0 0 0 112783 2281 0 0 25 0 1 0 747852705 7897088 1148 4294967295 134512640 134714508 3221221792 3221217824 1075965307 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1928 1148 1111 63 0 1865 0
vsize: 7712
[startup+1160.52 s]
Raw data (loadavg): 1.15 1.08 1.02 2/55 29459
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 884145 0 0 0 113764 2300 0 0 25 0 1 0 747852705 7221248 1065 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1763 1065 1111 63 0 1700 0
vsize: 7052
[startup+1170.52 s]
Raw data (loadavg): 1.13 1.07 1.02 2/55 29459
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 891443 0 0 0 114746 2317 0 0 25 0 1 0 747852705 7233536 1068 4294967295 134512640 134714508 3221221792 3221220256 1074121015 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 1068 1111 63 0 1703 0
vsize: 7064
[startup+1174.93 s]
Raw data (loadavg): 1.12 1.07 1.02 1/54 29459
Raw data (stat): 29404 (bsolo_lpr) R 29403 7876 7672 0 -1 0 891443 0 0 0 114746 2317 0 0 25 0 1 0 747852705 7233536 1068 4294967295 134512640 134714508 3221221792 3221220256 1074121015 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 1068 1111 63 0 1703 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.05
CPU user time (s): 1151.79
CPU system time (s): 23.2615
CPU usage (%): 100.01
Max. virtual memory (Kb): 7712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####