PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUM	d1b87efc35bcd73acfc5183bbe3df4f0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	3288
Total number of constraints	374
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	310
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 25743

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 04:08:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17902 boxname=wulflinc31 idbench=1378 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  d1b87efc35bcd73acfc5183bbe3df4f0  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 17902
/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:        653704 kB
Buffers:         16944 kB
Cached:         343948 kB
SwapCached:        936 kB
Active:         234416 kB
Inactive:       128600 kB
HighTotal:      131008 kB
HighFree:         1428 kB
LowTotal:       903652 kB
LowFree:        652276 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:             256 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            12448 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 04:28:06 (client local time) WITH STATUS 0 IN 1175.26 SECONDS
stats: 17902 7 1175.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3288 variables and 374 constraints.
c After prepocess the problem consists of 3288 variables and 329 constraints.
c preprocess terminated 2.058 s
c Initial Lower Bound: 701518
c Lower Bound Elapsed time: 0.99075
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.23 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): 0.93 0.98 0.94 2/55 20052
Raw data (stat): 20052 (runsolver) R 20051 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 809937916 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 7716 0 0 0 977 18 0 0 25 0 1 0 809937916 21696512 4594 4294967295 134512640 134714508 3221221776 3221219776 1074916988 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5297 4594 1111 63 0 5234 0
vsize: 21188
[startup+20.0016 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 11307 0 0 0 1970 25 0 0 25 0 1 0 809937916 21204992 4484 4294967295 134512640 134714508 3221221776 3221219072 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5177 4484 1111 63 0 5114 0
vsize: 20708
[startup+30.0021 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 15325 0 0 0 2961 34 0 0 25 0 1 0 809937916 22147072 4655 4294967295 134512640 134714508 3221221776 3221217760 1074875123 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5407 4655 1111 63 0 5344 0
vsize: 21628
[startup+40.003 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 18974 0 0 0 3951 44 0 0 25 0 1 0 809937916 22130688 4651 4294967295 134512640 134714508 3221221776 3221218004 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5403 4651 1111 63 0 5340 0
vsize: 21612
[startup+50.0046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 23037 0 0 0 4942 53 0 0 25 0 1 0 809937916 22122496 4648 4294967295 134512640 134714508 3221221776 3221218048 1075171866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5401 4648 1111 63 0 5338 0
vsize: 21604
[startup+60.0048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 26593 0 0 0 5933 62 0 0 25 0 1 0 809937916 22110208 4646 4294967295 134512640 134714508 3221221776 3221217760 1074875025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5398 4646 1111 63 0 5335 0
vsize: 21592
[startup+70.0058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 30558 0 0 0 6924 72 0 0 25 0 1 0 809937916 22110208 4644 4294967295 134512640 134714508 3221221776 3221218044 1075894864 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5398 4644 1111 63 0 5335 0
vsize: 21592
[startup+80.0072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 34795 0 0 0 7914 82 0 0 25 0 1 0 809937916 21979136 4602 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5366 4602 1111 63 0 5303 0
vsize: 21464
[startup+90.0077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 38900 0 0 0 8905 91 0 0 25 0 1 0 809937916 22106112 4645 4294967295 134512640 134714508 3221221776 3221217936 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4645 1111 63 0 5334 0
vsize: 21588
[startup+100.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 43242 0 0 0 9896 100 0 0 25 0 1 0 809937916 22093824 4640 4294967295 134512640 134714508 3221221776 3221217748 1074786588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5394 4640 1111 63 0 5331 0
vsize: 21576
[startup+110.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 47446 0 0 0 10886 110 0 0 25 0 1 0 809937916 21798912 4615 4294967295 134512640 134714508 3221221776 3221219056 1074140374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5322 4615 1111 63 0 5259 0
vsize: 21288
[startup+120.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 51643 0 0 0 11876 120 0 0 25 0 1 0 809937916 21659648 4595 4294967295 134512640 134714508 3221221776 3221219680 1075460163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5288 4595 1111 63 0 5225 0
vsize: 21152
[startup+130.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 56333 0 0 0 12864 133 0 0 25 0 1 0 809937916 22077440 4636 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5390 4636 1111 63 0 5327 0
vsize: 21560
[startup+140.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 60842 0 0 0 13854 142 0 0 25 0 1 0 809937916 22061056 4633 4294967295 134512640 134714508 3221221776 3221217740 1074860630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5386 4633 1111 63 0 5323 0
vsize: 21544
[startup+150.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 65813 0 0 0 14842 155 0 0 25 0 1 0 809937916 21204992 4484 4294967295 134512640 134714508 3221221776 3221219536 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5177 4484 1111 63 0 5114 0
vsize: 20708
[startup+160.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 71192 0 0 0 15831 166 0 0 25 0 1 0 809937916 21479424 4544 4294967295 134512640 134714508 3221221776 3221219416 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5244 4544 1111 63 0 5181 0
vsize: 20976
[startup+170.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 77130 0 0 0 16816 181 0 0 25 0 1 0 809937916 21958656 4638 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5361 4638 1111 63 0 5298 0
vsize: 21444
[startup+180.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 82425 0 0 0 17804 193 0 0 25 0 1 0 809937916 21463040 4490 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5240 4490 1111 63 0 5177 0
vsize: 20960
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 86992 0 0 0 18794 204 0 0 25 0 1 0 809937916 21204992 4484 4294967295 134512640 134714508 3221221776 3221218576 1074153719 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4484 1111 63 0 5114 0
vsize: 20708
[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 91391 0 0 0 19783 215 0 0 25 0 1 0 809937916 21204992 4484 4294967295 134512640 134714508 3221221776 3221219752 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4484 1111 63 0 5114 0
vsize: 20708
[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 95882 0 0 0 20771 226 0 0 25 0 1 0 809937916 22110208 4643 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 4643 1111 63 0 5335 0
vsize: 21592
[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 100530 0 0 0 21761 237 0 0 25 0 1 0 809937916 21323776 4513 4294967295 134512640 134714508 3221221776 3221220492 134553168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5206 4513 1111 63 0 5143 0
vsize: 20824
[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 105040 0 0 0 22750 248 0 0 25 0 1 0 809937916 21204992 4484 4294967295 134512640 134714508 3221221776 3221219560 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4484 1111 63 0 5114 0
vsize: 20708
[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 109967 0 0 0 23740 259 0 0 25 0 1 0 809937916 21204992 4484 4294967295 134512640 134714508 3221221776 3221219528 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4484 1111 63 0 5114 0
vsize: 20708
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 115090 0 0 0 24728 270 0 0 25 0 1 0 809937916 21434368 4540 4294967295 134512640 134714508 3221221776 3221219776 1074918319 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5233 4540 1111 63 0 5170 0
vsize: 20932
[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 120319 0 0 0 25716 283 0 0 25 0 1 0 809937916 21204992 4485 4294967295 134512640 134714508 3221221776 3221219344 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4485 1111 63 0 5114 0
vsize: 20708
[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 125541 0 0 0 26703 296 0 0 25 0 1 0 809937916 21987328 4631 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5368 4631 1111 63 0 5305 0
vsize: 21472
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 130728 0 0 0 27691 308 0 0 25 0 1 0 809937916 21204992 4485 4294967295 134512640 134714508 3221221776 3221219168 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4485 1111 63 0 5114 0
vsize: 20708
[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 136348 0 0 0 28678 321 0 0 25 0 1 0 809937916 21975040 4628 4294967295 134512640 134714508 3221221776 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5365 4628 1111 63 0 5302 0
vsize: 21460
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 141738 0 0 0 29663 336 0 0 25 0 1 0 809937916 21204992 4485 4294967295 134512640 134714508 3221221776 3221219152 1074153806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4485 1111 63 0 5114 0
vsize: 20708
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 147286 0 0 0 30650 350 0 0 25 0 1 0 809937916 21581824 4576 4294967295 134512640 134714508 3221221776 3221219056 1074140374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5269 4576 1111 63 0 5206 0
vsize: 21076
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 152496 0 0 0 31637 363 0 0 25 0 1 0 809937916 21405696 4534 4294967295 134512640 134714508 3221221776 3221219776 1074918484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5226 4534 1111 63 0 5163 0
vsize: 20904
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 157839 0 0 0 32624 377 0 0 25 0 1 0 809937916 21929984 4617 4294967295 134512640 134714508 3221221776 3221217868 1075663518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5354 4617 1111 63 0 5291 0
vsize: 21416
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 163216 0 0 0 33609 391 0 0 25 0 1 0 809937916 21204992 4485 4294967295 134512640 134714508 3221221776 3221219344 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4485 1111 63 0 5114 0
vsize: 20708
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 169483 0 0 0 34594 407 0 0 25 0 1 0 809937916 21204992 4485 4294967295 134512640 134714508 3221221776 3221219584 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4485 1111 63 0 5114 0
vsize: 20708
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 175229 0 0 0 35580 421 0 0 25 0 1 0 809937916 21299200 4508 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5200 4508 1111 63 0 5137 0
vsize: 20800
[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 180865 0 0 0 36567 434 0 0 25 0 1 0 809937916 21921792 4597 4294967295 134512640 134714508 3221221776 3221218636 1074788592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5352 4597 1111 63 0 5289 0
vsize: 21408
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 185857 0 0 0 37553 448 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219640 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+390.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 190686 0 0 0 38540 461 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219792 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 195753 0 0 0 39529 473 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219272 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 200905 0 0 0 40515 487 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219792 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 205672 0 0 0 41503 499 0 0 25 0 1 0 809937916 21766144 4571 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5314 4571 1111 63 0 5251 0
vsize: 21256
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 210106 0 0 0 42492 510 0 0 25 0 1 0 809937916 21749760 4567 4294967295 134512640 134714508 3221221776 3221218352 1076049806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5310 4567 1111 63 0 5247 0
vsize: 21240
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 214429 0 0 0 43481 522 0 0 25 0 1 0 809937916 21667840 4502 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5290 4502 1111 63 0 5227 0
vsize: 21160
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 218953 0 0 0 44469 533 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221220416 134649075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+460.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 223685 0 0 0 45455 547 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221220176 1074119046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 227877 0 0 0 46446 557 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221220192 1074116272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 231858 0 0 0 47436 567 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219456 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 235981 0 0 0 48425 579 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219640 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+500.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 240210 0 0 0 49413 591 0 0 25 0 1 0 809937916 21803008 4534 4294967295 134512640 134714508 3221221776 3221218816 1075860561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4534 1111 63 0 5260 0
vsize: 21292
[startup+510.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 244481 0 0 0 50402 602 0 0 25 0 1 0 809937916 21803008 4551 4294967295 134512640 134714508 3221221776 3221217772 1074860977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4551 1111 63 0 5260 0
vsize: 21292
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 248815 0 0 0 51390 614 0 0 25 0 1 0 809937916 21372928 4488 4294967295 134512640 134714508 3221221776 3221219840 1075961606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5218 4488 1111 63 0 5155 0
vsize: 20872
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 253171 0 0 0 52380 624 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 257564 0 0 0 53369 636 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219776 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 261962 0 0 0 54356 648 0 0 25 0 1 0 809937916 21807104 4535 4294967295 134512640 134714508 3221221776 3221218760 1074831816 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5324 4535 1111 63 0 5261 0
vsize: 21296
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 266263 0 0 0 55345 660 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219776 1074916922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 270607 0 0 0 56334 671 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 275021 0 0 0 57322 683 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219776 1074913791 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 279539 0 0 0 58310 695 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221220424 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 284134 0 0 0 59298 707 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219056 1074140512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 289541 0 0 0 60286 720 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219504 1073986807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 295464 0 0 0 61269 737 0 0 25 0 1 0 809937916 21868544 4578 4294967295 134512640 134714508 3221221776 3221217776 1075965308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5339 4578 1111 63 0 5276 0
vsize: 21356
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 302299 0 0 0 62253 753 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219552 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 309848 0 0 0 63235 771 0 0 25 0 1 0 809937916 21352448 4522 4294967295 134512640 134714508 3221221776 3221219776 1074915915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5213 4522 1111 63 0 5150 0
vsize: 20852
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 317270 0 0 0 64216 790 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219488 1074153767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 324676 0 0 0 65199 808 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219200 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 332335 0 0 0 66180 827 0 0 25 0 1 0 809937916 21487616 4522 4294967295 134512640 134714508 3221221776 3221218896 1074865635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5246 4522 1111 63 0 5183 0
vsize: 20984
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 339593 0 0 0 67162 845 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219304 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 346813 0 0 0 68145 863 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219392 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 353730 0 0 0 69129 879 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219440 134650104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 360755 0 0 0 70111 897 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219824 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 367997 0 0 0 71095 913 0 0 25 0 1 0 809937916 21729280 4542 4294967295 134512640 134714508 3221221776 3221219600 1075823510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5305 4542 1111 63 0 5242 0
vsize: 21220
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 375509 0 0 0 72075 933 0 0 25 0 1 0 809937916 21241856 4495 4294967295 134512640 134714508 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5186 4495 1111 63 0 5123 0
vsize: 20744
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 382696 0 0 0 73057 952 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219456 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 389808 0 0 0 74038 971 0 0 25 0 1 0 809937916 21299200 4509 4294967295 134512640 134714508 3221221776 3221220056 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5200 4509 1111 63 0 5137 0
vsize: 20800
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 396973 0 0 0 75020 989 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219656 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 404652 0 0 0 76001 1008 0 0 25 0 1 0 809937916 21405696 4508 4294967295 134512640 134714508 3221221776 3221218880 1074139024 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5226 4508 1111 63 0 5163 0
vsize: 20904
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 412163 0 0 0 76982 1027 0 0 25 0 1 0 809937916 21729280 4544 4294967295 134512640 134714508 3221221776 3221219888 1074867311 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5305 4544 1111 63 0 5242 0
vsize: 21220
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 419541 0 0 0 77964 1045 0 0 25 0 1 0 809937916 21970944 4605 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5364 4605 1111 63 0 5301 0
vsize: 21456
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 427015 0 0 0 78944 1065 0 0 25 0 1 0 809937916 21204992 4486 4294967295 134512640 134714508 3221221776 3221219504 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4486 1111 63 0 5114 0
vsize: 20708
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 434270 0 0 0 79926 1083 0 0 25 0 1 0 809937916 21331968 4517 4294967295 134512640 134714508 3221221776 3221219776 1074915852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4517 1111 63 0 5145 0
vsize: 20832
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 441564 0 0 0 80907 1102 0 0 25 0 1 0 809937916 21946368 4613 4294967295 134512640 134714508 3221221776 3221218808 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4613 1111 63 0 5295 0
vsize: 21432
[startup+830.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 449000 0 0 0 81889 1120 0 0 25 0 1 0 809937916 21356544 4523 4294967295 134512640 134714508 3221221776 3221220256 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4523 1111 63 0 5151 0
vsize: 20856
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 456822 0 0 0 82872 1138 0 0 25 0 1 0 809937916 22040576 4614 4294967295 134512640 134714508 3221221776 3221217936 1074794565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5381 4617 1111 63 0 5318 0
vsize: 21524
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 466041 0 0 0 83850 1160 0 0 25 0 1 0 809937916 21819392 4565 4294967295 134512640 134714508 3221221776 3221219696 1075799685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5327 4565 1111 63 0 5264 0
vsize: 21308
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 476115 0 0 0 84826 1184 0 0 25 0 1 0 809937916 21250048 4497 4294967295 134512640 134714508 3221221776 3221219456 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5188 4497 1111 63 0 5125 0
vsize: 20752
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 486825 0 0 0 85800 1210 0 0 25 0 1 0 809937916 21286912 4506 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5197 4506 1111 63 0 5134 0
vsize: 20788
[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 494680 0 0 0 86781 1230 0 0 25 0 1 0 809937916 21581824 4578 4294967295 134512640 134714508 3221221776 3221219120 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5269 4578 1111 63 0 5206 0
vsize: 21076
[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 501299 0 0 0 87764 1247 0 0 25 0 1 0 809937916 21909504 4647 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4647 1111 63 0 5286 0
vsize: 21396
[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 507895 0 0 0 88747 1264 0 0 25 0 1 0 809937916 21917696 4660 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5351 4660 1111 63 0 5288 0
vsize: 21404
[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 515779 0 0 0 89730 1281 0 0 25 0 1 0 809937916 21766144 4623 4294967295 134512640 134714508 3221221776 3221219536 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5314 4623 1111 63 0 5251 0
vsize: 21256
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 523914 0 0 0 90711 1300 0 0 25 0 1 0 809937916 21839872 4641 4294967295 134512640 134714508 3221221776 3221219088 1075006868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4641 1111 63 0 5269 0
vsize: 21328
[startup+930.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 533237 0 0 0 91687 1324 0 0 25 0 1 0 809937916 21766144 4623 4294967295 134512640 134714508 3221221776 3221219752 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5314 4623 1111 63 0 5251 0
vsize: 21256
[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 543389 0 0 0 92662 1350 0 0 25 0 1 0 809937916 21946368 4667 4294967295 134512640 134714508 3221221776 3221220512 134556547 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4667 1111 63 0 5295 0
vsize: 21432
[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 553337 0 0 0 93636 1376 0 0 25 0 1 0 809937916 21819392 4636 4294967295 134512640 134714508 3221221776 3221219488 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5327 4636 1111 63 0 5264 0
vsize: 21308
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 562904 0 0 0 94614 1398 0 0 25 0 1 0 809937916 22908928 4849 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5593 4849 1111 63 0 5530 0
vsize: 22372
[startup+970.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 572485 0 0 0 95591 1421 0 0 25 0 1 0 809937916 22900736 4830 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5591 4830 1111 63 0 5528 0
vsize: 22364
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 580071 0 0 0 96574 1438 0 0 25 0 1 0 809937916 22491136 4800 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5491 4800 1111 63 0 5428 0
vsize: 21964
[startup+990.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 588940 0 0 0 97555 1457 0 0 25 0 1 0 809937916 23072768 4872 4294967295 134512640 134714508 3221221776 3221219888 1074867352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5633 4872 1111 63 0 5570 0
vsize: 22532
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 597259 0 0 0 98535 1478 0 0 25 0 1 0 809937916 23470080 4993 4294967295 134512640 134714508 3221221776 3221217868 1075663518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5730 4993 1111 63 0 5667 0
vsize: 22920
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 604119 0 0 0 99519 1494 0 0 25 0 1 0 809937916 23560192 4990 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5752 4990 1111 63 0 5689 0
vsize: 23008
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 611565 0 0 0 100502 1511 0 0 25 0 1 0 809937916 23031808 4926 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5623 4926 1111 63 0 5560 0
vsize: 22492
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 619719 0 0 0 101485 1528 0 0 25 0 1 0 809937916 23351296 4946 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5585 4894 1111 63 0 5522 0
vsize: 22804
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 629004 0 0 0 102466 1547 0 0 25 0 1 0 809937916 23375872 4946 4294967295 134512640 134714508 3221221776 3221219696 1075799512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5707 4946 1111 63 0 5644 0
vsize: 22828
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 638143 0 0 0 103446 1567 0 0 25 0 1 0 809937916 23076864 4913 4294967295 134512640 134714508 3221221776 3221219056 1074140026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5634 4918 1111 63 0 5571 0
vsize: 22536
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 646925 0 0 0 104428 1586 0 0 25 0 1 0 809937916 23789568 5072 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5808 5072 1111 63 0 5745 0
vsize: 23232
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 652191 0 0 0 105416 1598 0 0 25 0 1 0 809937916 23429120 5029 4294967295 134512640 134714508 3221221776 3221219488 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5720 5029 1111 63 0 5657 0
vsize: 22880
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 656542 0 0 0 106405 1609 0 0 25 0 1 0 809937916 23429120 5029 4294967295 134512640 134714508 3221221776 3221219360 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5720 5029 1111 63 0 5657 0
vsize: 22880
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 661191 0 0 0 107396 1618 0 0 25 0 1 0 809937916 24064000 5121 4294967295 134512640 134714508 3221221776 3221217952 1075561505 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5875 5121 1111 63 0 5812 0
vsize: 23500
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 665656 0 0 0 108386 1629 0 0 25 0 1 0 809937916 23646208 5082 4294967295 134512640 134714508 3221221776 3221219992 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5773 5082 1111 63 0 5710 0
vsize: 23092
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 669780 0 0 0 109376 1639 0 0 25 0 1 0 809937916 23990272 5134 4294967295 134512640 134714508 3221221776 3221218880 1074138623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5857 5134 1111 63 0 5794 0
vsize: 23428
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 674438 0 0 0 110364 1650 0 0 25 0 1 0 809937916 23678976 5090 4294967295 134512640 134714508 3221221776 3221219416 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5781 5090 1111 63 0 5718 0
vsize: 23124
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 678580 0 0 0 111355 1659 0 0 25 0 1 0 809937916 23646208 5082 4294967295 134512640 134714508 3221221776 3221219200 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5773 5082 1111 63 0 5710 0
vsize: 23092
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 683414 0 0 0 112344 1671 0 0 25 0 1 0 809937916 23834624 5128 4294967295 134512640 134714508 3221221776 3221219776 1074916681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5819 5128 1111 63 0 5756 0
vsize: 23276
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 688189 0 0 0 113335 1680 0 0 25 0 1 0 809937916 23646208 5082 4294967295 134512640 134714508 3221221776 3221219944 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5773 5082 1111 63 0 5710 0
vsize: 23092
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 693377 0 0 0 114323 1692 0 0 25 0 1 0 809937916 23646208 5082 4294967295 134512640 134714508 3221221776 3221219112 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5773 5082 1111 63 0 5710 0
vsize: 23092
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 699695 0 0 0 115309 1707 0 0 25 0 1 0 809937916 24334336 5204 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5941 5204 1111 63 0 5878 0
vsize: 23764
[startup+1175.14 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 20052
Raw data (stat): 20052 (bsolo_lpr) R 20051 7876 7672 0 -1 0 699695 0 0 0 115309 1707 0 0 25 0 1 0 809937916 24334336 5204 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5941 5204 1111 63 0 5878 0
vsize: 0

Child status: 0
Real time (s): 1175.14
CPU time (s): 1175.26
CPU user time (s): 1158.1
CPU system time (s): 17.1574
CPU usage (%): 100.01
Max. virtual memory (Kb): 23764
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####