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/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
MD5SUM	7100a312d793a62875e04da08d79c5f4
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	641
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2174
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.350946
Number of variables	2221
Total number of constraints	3050
Number of constraints which are clauses	2330
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	720
Minimum length of a constraint	1
Maximum length of a constraint	19
Trace number 39654

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 15:32:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27706 boxname=wulflinc2 idbench=264 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  7100a312d793a62875e04da08d79c5f4  /oldhome/oroussel/tmp/wulflinc2/normalized-blast-tlan2.ucl.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-blast-tlan2.ucl.opb
IDLAUNCH: 27706
/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:        257792 kB
Buffers:         34720 kB
Cached:         718372 kB
SwapCached:       1164 kB
Active:          63748 kB
Inactive:       691836 kB
HighTotal:      131008 kB
HighFree:         4676 kB
LowTotal:       903652 kB
LowFree:        253116 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15688 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:52:07 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 27706 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2221 variables and 3050 constraints.
c After prepocess the problem consists of 1732 variables and 2164 constraints.
c preprocess terminated 123.336 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 26883
Raw data (stat): 26883 (runsolver) R 26882 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894102576 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99958 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 3767 0 0 0 987 10 0 0 25 0 1 0 894102576 18653184 3685 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4554 3685 1111 63 0 4491 0
vsize: 18216
[startup+20.0003 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 3789 0 0 0 1987 10 0 0 25 0 1 0 894102576 18653184 3707 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4554 3707 1111 63 0 4491 0
vsize: 18216
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 3867 0 0 0 2986 11 0 0 25 0 1 0 894102576 19005440 3785 4294967295 134512640 134716908 3221224576 3221223284 134618255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4640 3785 1111 63 0 4577 0
vsize: 18560
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 3867 0 0 0 3986 11 0 0 25 0 1 0 894102576 19005440 3785 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4640 3785 1111 63 0 4577 0
vsize: 18560
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4023 0 0 0 4986 11 0 0 25 0 1 0 894102576 19603456 3941 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3941 1111 63 0 4723 0
vsize: 19144
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4023 0 0 0 5986 11 0 0 25 0 1 0 894102576 19603456 3941 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3941 1111 63 0 4723 0
vsize: 19144
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4023 0 0 0 6986 11 0 0 25 0 1 0 894102576 19603456 3941 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3941 1111 63 0 4723 0
vsize: 19144
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4023 0 0 0 7987 11 0 0 25 0 1 0 894102576 19603456 3941 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3941 1111 63 0 4723 0
vsize: 19144
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4023 0 0 0 8987 11 0 0 25 0 1 0 894102576 19603456 3941 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3941 1111 63 0 4723 0
vsize: 19144
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4023 0 0 0 9987 11 0 0 25 0 1 0 894102576 19603456 3941 4294967295 134512640 134716908 3221224576 3221223284 134618255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3941 1111 63 0 4723 0
vsize: 19144
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4025 0 0 0 10987 11 0 0 25 0 1 0 894102576 19603456 3943 4294967295 134512640 134716908 3221224576 3221223104 1077378571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3943 1111 63 0 4723 0
vsize: 19144
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4033 0 0 0 11987 12 0 0 25 0 1 0 894102576 19701760 3951 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4810 3951 1111 63 0 4747 0
vsize: 19240
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 4915 0 0 0 12984 14 0 0 25 0 1 0 894102576 23216128 4833 4294967295 134512640 134716908 3221224576 3221223256 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5668 4833 1111 63 0 5605 0
vsize: 22672
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 6032 0 0 0 13979 19 0 0 25 0 1 0 894102576 27815936 5950 4294967295 134512640 134716908 3221224576 3221223232 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6791 5951 1111 63 0 6728 0
vsize: 27164
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 6894 0 0 0 14976 22 0 0 25 0 1 0 894102576 31330304 6812 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7649 6812 1111 63 0 7586 0
vsize: 30596
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 7750 0 0 0 15972 26 0 0 25 0 1 0 894102576 34848768 7668 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8508 7668 1111 63 0 8445 0
vsize: 34032
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 8755 0 0 0 16969 29 0 0 25 0 1 0 894102576 39043072 8673 4294967295 134512640 134716908 3221224576 3221223192 134549509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9532 8673 1111 63 0 9469 0
vsize: 38128
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 9821 0 0 0 17965 33 0 0 25 0 1 0 894102576 43368448 9739 4294967295 134512640 134716908 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10588 9739 1111 63 0 10525 0
vsize: 42352
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 10885 0 0 0 18962 37 0 0 25 0 1 0 894102576 47865856 10802 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11686 10802 1111 63 0 11623 0
vsize: 46744
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 11733 0 0 0 19959 39 0 0 25 0 1 0 894102576 51245056 11650 4294967295 134512640 134716908 3221224576 3221223116 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12511 11650 1111 63 0 12448 0
vsize: 50044
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 12868 0 0 0 20956 43 0 0 25 0 1 0 894102576 55975936 12784 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13666 12784 1111 63 0 13603 0
vsize: 54664
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 13824 0 0 0 21952 47 0 0 25 0 1 0 894102576 59895808 13740 4294967295 134512640 134716908 3221224576 3221223240 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14623 13740 1111 63 0 14560 0
vsize: 58492
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 14747 0 0 0 22950 49 0 0 25 0 1 0 894102576 63680512 14663 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15547 14663 1111 63 0 15484 0
vsize: 62188
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 15848 0 0 0 23947 53 0 0 25 0 1 0 894102576 68304896 15762 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16676 15762 1111 63 0 16613 0
vsize: 66704
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 16482 0 0 0 24945 55 0 0 25 0 1 0 894102576 70909952 16396 4294967295 134512640 134716908 3221224576 3221223200 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17312 16397 1111 63 0 17249 0
vsize: 69248
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 16930 0 0 0 25944 56 0 0 25 0 1 0 894102576 72699904 16842 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17749 16842 1111 63 0 17686 0
vsize: 70996
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 17269 0 0 0 26943 57 0 0 25 0 1 0 894102576 74252288 17177 4294967295 134512640 134716908 3221224576 3221223360 134529269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18128 17177 1111 63 0 18065 0
vsize: 72512
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 17633 0 0 0 27942 59 0 0 25 0 1 0 894102576 75780096 17539 4294967295 134512640 134716908 3221224576 3221223340 134552560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18501 17539 1111 63 0 18438 0
vsize: 74004
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 17956 0 0 0 28940 60 0 0 25 0 1 0 894102576 77144064 17860 4294967295 134512640 134716908 3221224576 3221223204 134698598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18834 17860 1111 63 0 18771 0
vsize: 75336
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 18354 0 0 0 29939 61 0 0 25 0 1 0 894102576 78778368 18256 4294967295 134512640 134716908 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19233 18256 1111 63 0 19170 0
vsize: 76932
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 18699 0 0 0 30938 62 0 0 25 0 1 0 894102576 80265216 18601 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19596 18601 1111 63 0 19533 0
vsize: 78384
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 18885 0 0 0 31937 64 0 0 25 0 1 0 894102576 80941056 18787 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19761 18787 1111 63 0 19698 0
vsize: 79044
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19014 0 0 0 32937 64 0 0 25 0 1 0 894102576 81481728 18916 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19893 18916 1111 63 0 19830 0
vsize: 79572
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19105 0 0 0 33936 65 0 0 25 0 1 0 894102576 81887232 19007 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19992 19007 1111 63 0 19929 0
vsize: 79968
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19288 0 0 0 34935 66 0 0 25 0 1 0 894102576 82563072 19190 4294967295 134512640 134716908 3221224576 3221223216 134698481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20157 19190 1111 63 0 20094 0
vsize: 80628
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19390 0 0 0 35935 67 0 0 25 0 1 0 894102576 82968576 19292 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20256 19292 1111 63 0 20193 0
vsize: 81024
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19479 0 0 0 36935 67 0 0 25 0 1 0 894102576 83374080 19381 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20355 19381 1111 63 0 20292 0
vsize: 81420
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19671 0 0 0 37934 68 0 0 25 0 1 0 894102576 84189184 19573 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20554 19573 1111 63 0 20491 0
vsize: 82216
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19780 0 0 0 38933 69 0 0 25 0 1 0 894102576 84594688 19682 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20653 19682 1111 63 0 20590 0
vsize: 82612
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 19914 0 0 0 39933 70 0 0 25 0 1 0 894102576 85135360 19816 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20785 19816 1111 63 0 20722 0
vsize: 83140
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 20024 0 0 0 40932 70 0 0 25 0 1 0 894102576 85676032 19926 4294967295 134512640 134716908 3221224576 3221223184 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20917 19926 1111 63 0 20854 0
vsize: 83668
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 20160 0 0 0 41932 71 0 0 25 0 1 0 894102576 86216704 20062 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21049 20062 1111 63 0 20986 0
vsize: 84196
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 20289 0 0 0 42931 72 0 0 25 0 1 0 894102576 86757376 20191 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21181 20191 1111 63 0 21118 0
vsize: 84724
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 20458 0 0 0 43931 73 0 0 25 0 1 0 894102576 87433216 20360 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21346 20360 1111 63 0 21283 0
vsize: 85384
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 20679 0 0 0 44930 73 0 0 25 0 1 0 894102576 88244224 20581 4294967295 134512640 134716908 3221224576 3221223264 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21544 20581 1111 63 0 21481 0
vsize: 86176
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21034 0 0 0 45929 75 0 0 25 0 1 0 894102576 89731072 20936 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21907 20936 1111 63 0 21844 0
vsize: 87628
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21186 0 0 0 46927 77 0 0 25 0 1 0 894102576 90406912 21088 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22072 21088 1111 63 0 22009 0
vsize: 88288
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21285 0 0 0 47928 77 0 0 25 0 1 0 894102576 90812416 21187 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22171 21187 1111 63 0 22108 0
vsize: 88684
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21418 0 0 0 48927 77 0 0 25 0 1 0 894102576 91353088 21320 4294967295 134512640 134716908 3221224576 3221223136 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22303 21320 1111 63 0 22240 0
vsize: 89212
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21545 0 0 0 49927 78 0 0 25 0 1 0 894102576 91758592 21447 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22402 21447 1111 63 0 22339 0
vsize: 89608
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21665 0 0 0 50926 79 0 0 25 0 1 0 894102576 92299264 21567 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22534 21567 1111 63 0 22471 0
vsize: 90136
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21799 0 0 0 51926 79 0 0 25 0 1 0 894102576 92839936 21701 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22666 21701 1111 63 0 22603 0
vsize: 90664
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 21904 0 0 0 52926 80 0 0 25 0 1 0 894102576 93245440 21806 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22765 21806 1111 63 0 22702 0
vsize: 91060
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 22041 0 0 0 53925 80 0 0 25 0 1 0 894102576 93921280 21943 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22930 21943 1111 63 0 22867 0
vsize: 91720
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 22174 0 0 0 54925 81 0 0 25 0 1 0 894102576 94461952 22076 4294967295 134512640 134716908 3221224576 3221223280 134528647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23062 22076 1111 63 0 22999 0
vsize: 92248
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 22302 0 0 0 55924 82 0 0 25 0 1 0 894102576 95019008 22204 4294967295 134512640 134716908 3221224576 3221223292 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23198 22204 1111 63 0 23135 0
vsize: 92792
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 22389 0 0 0 56924 82 0 0 25 0 1 0 894102576 95289344 22291 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23264 22291 1111 63 0 23201 0
vsize: 93056
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 22483 0 0 0 57924 83 0 0 25 0 1 0 894102576 95694848 22385 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23363 22385 1111 63 0 23300 0
vsize: 93452
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 22688 0 0 0 58923 84 0 0 25 0 1 0 894102576 96505856 22590 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23561 22590 1111 63 0 23498 0
vsize: 94244
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23120 0 0 0 59920 86 0 0 25 0 1 0 894102576 98263040 23022 4294967295 134512640 134716908 3221224576 3221223312 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23990 23022 1111 63 0 23927 0
vsize: 95960
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23227 0 0 0 60920 87 0 0 25 0 1 0 894102576 98803712 23129 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24122 23129 1111 63 0 24059 0
vsize: 96488
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23344 0 0 0 61920 87 0 0 25 0 1 0 894102576 99209216 23246 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24221 23246 1111 63 0 24158 0
vsize: 96884
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23449 0 0 0 62919 88 0 0 25 0 1 0 894102576 99614720 23351 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24320 23351 1111 63 0 24257 0
vsize: 97280
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23567 0 0 0 63919 88 0 0 25 0 1 0 894102576 100155392 23469 4294967295 134512640 134716908 3221224576 3221223216 134536700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24452 23469 1111 63 0 24389 0
vsize: 97808
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23686 0 0 0 64919 89 0 0 25 0 1 0 894102576 100696064 23588 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24584 23588 1111 63 0 24521 0
vsize: 98336
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23801 0 0 0 65919 89 0 0 25 0 1 0 894102576 101101568 23703 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24683 23703 1111 63 0 24620 0
vsize: 98732
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 23912 0 0 0 66919 90 0 0 25 0 1 0 894102576 101507072 23814 4294967295 134512640 134716908 3221224576 3221223296 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24782 23814 1111 63 0 24719 0
vsize: 99128
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 24345 0 0 0 67918 91 0 0 25 0 1 0 894102576 103399424 24247 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25244 24247 1111 63 0 25181 0
vsize: 100976
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 24632 0 0 0 68917 92 0 0 25 0 1 0 894102576 104480768 24532 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25508 24532 1111 63 0 25445 0
vsize: 102032
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 24855 0 0 0 69916 93 0 0 25 0 1 0 894102576 105459712 24755 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25747 24755 1111 63 0 25684 0
vsize: 102988
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 25027 0 0 0 70916 93 0 0 25 0 1 0 894102576 106135552 24927 4294967295 134512640 134716908 3221224576 3221223312 134535829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25912 24927 1111 63 0 25849 0
vsize: 103648
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 25220 0 0 0 71915 94 0 0 25 0 1 0 894102576 106946560 25120 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26110 25120 1111 63 0 26047 0
vsize: 104440
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 25421 0 0 0 72914 95 0 0 25 0 1 0 894102576 107757568 25321 4294967295 134512640 134716908 3221224576 3221223280 134528735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26308 25321 1111 63 0 26245 0
vsize: 105232
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 25653 0 0 0 73913 97 0 0 25 0 1 0 894102576 108703744 25553 4294967295 134512640 134716908 3221224576 3221223312 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26539 25553 1111 63 0 26476 0
vsize: 106156
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 25884 0 0 0 74912 98 0 0 25 0 1 0 894102576 109649920 25784 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26770 25784 1111 63 0 26707 0
vsize: 107080
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 26101 0 0 0 75914 99 0 0 25 0 1 0 894102576 110596096 26001 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27001 26001 1111 63 0 26938 0
vsize: 108004
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 26335 0 0 0 76913 99 0 0 25 0 1 0 894102576 111542272 26235 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27232 26235 1111 63 0 27169 0
vsize: 108928
[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 26527 0 0 0 77913 100 0 0 25 0 1 0 894102576 112353280 26425 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27430 26425 1111 63 0 27367 0
vsize: 109720
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 26722 0 0 0 78912 101 0 0 25 0 1 0 894102576 113164288 26620 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27628 26620 1111 63 0 27565 0
vsize: 110512
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 26900 0 0 0 79911 102 0 0 25 0 1 0 894102576 113840128 26798 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27793 26798 1111 63 0 27730 0
vsize: 111172
[startup+810.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 27060 0 0 0 80910 103 0 0 25 0 1 0 894102576 114515968 26958 4294967295 134512640 134716908 3221224576 3221223360 134529401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27958 26958 1111 63 0 27895 0
vsize: 111832
[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 27223 0 0 0 81910 103 0 0 25 0 1 0 894102576 115191808 27121 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28123 27121 1111 63 0 28060 0
vsize: 112492
[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 27409 0 0 0 82910 104 0 0 25 0 1 0 894102576 116002816 27307 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28321 27307 1111 63 0 28258 0
vsize: 113284
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 27613 0 0 0 83909 105 0 0 25 0 1 0 894102576 116813824 27511 4294967295 134512640 134716908 3221224576 3221223200 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28519 27511 1111 63 0 28456 0
vsize: 114076
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 27793 0 0 0 84908 106 0 0 25 0 1 0 894102576 117493760 27691 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28685 27691 1111 63 0 28622 0
vsize: 114740
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 28028 0 0 0 85907 107 0 0 25 0 1 0 894102576 118546432 27917 4294967295 134512640 134716908 3221224576 3221223216 134698481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28942 27917 1111 63 0 28879 0
vsize: 115768
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 28373 0 0 0 86906 108 0 0 25 0 1 0 894102576 119898112 28262 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29272 28262 1111 63 0 29209 0
vsize: 117088
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 28703 0 0 0 87905 109 0 0 25 0 1 0 894102576 121249792 28592 4294967295 134512640 134716908 3221224576 3221223228 134536825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29602 28592 1111 63 0 29539 0
vsize: 118408
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 29103 0 0 0 88903 112 0 0 25 0 1 0 894102576 122904576 28988 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30006 28988 1111 63 0 29943 0
vsize: 120024
[startup+900.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 29538 0 0 0 89902 113 0 0 25 0 1 0 894102576 124735488 29421 4294967295 134512640 134716908 3221224576 3221223280 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30453 29421 1111 63 0 30390 0
vsize: 121812
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 29997 0 0 0 90901 115 0 0 25 0 1 0 894102576 126828544 29876 4294967295 134512640 134716908 3221224576 3221223232 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30964 29876 1111 63 0 30901 0
vsize: 123856
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 30190 0 0 0 91900 116 0 0 25 0 1 0 894102576 127639552 30069 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31162 30069 1111 63 0 31099 0
vsize: 124648
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 30385 0 0 0 92899 117 0 0 25 0 1 0 894102576 128393216 30260 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31346 30260 1111 63 0 31283 0
vsize: 125384
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 30590 0 0 0 93898 118 0 0 25 0 1 0 894102576 129204224 30465 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31544 30465 1111 63 0 31481 0
vsize: 126176
[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 30781 0 0 0 94897 119 0 0 25 0 1 0 894102576 130015232 30656 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31742 30656 1111 63 0 31679 0
vsize: 126968
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 30954 0 0 0 95896 120 0 0 25 0 1 0 894102576 130691072 30829 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31907 30829 1111 63 0 31844 0
vsize: 127628
[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 31200 0 0 0 96896 121 0 0 25 0 1 0 894102576 131772416 31075 4294967295 134512640 134716908 3221224576 3221223316 134523855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32171 31075 1111 63 0 32108 0
vsize: 128684
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 31399 0 0 0 97895 121 0 0 25 0 1 0 894102576 132583424 31274 4294967295 134512640 134716908 3221224576 3221223336 134552570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32369 31274 1111 63 0 32306 0
vsize: 129476
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 31587 0 0 0 98895 122 0 0 25 0 1 0 894102576 133353472 31449 4294967295 134512640 134716908 3221224576 3221223264 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32557 31449 1111 63 0 32494 0
vsize: 130228
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 31741 0 0 0 99895 122 0 0 25 0 1 0 894102576 134029312 31603 4294967295 134512640 134716908 3221224576 3221223216 134698487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32722 31604 1111 63 0 32659 0
vsize: 130888
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 31897 0 0 0 100895 123 0 0 25 0 1 0 894102576 134578176 31758 4294967295 134512640 134716908 3221224576 3221223244 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32856 31758 1111 63 0 32793 0
vsize: 131424
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32056 0 0 0 101894 124 0 0 25 0 1 0 894102576 135254016 31917 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33021 31917 1111 63 0 32958 0
vsize: 132084
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32200 0 0 0 102893 125 0 0 25 0 1 0 894102576 135929856 32059 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33186 32059 1111 63 0 33123 0
vsize: 132744
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32320 0 0 0 103893 125 0 0 25 0 1 0 894102576 136335360 32179 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33285 32179 1111 63 0 33222 0
vsize: 133140
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32493 0 0 0 104893 126 0 0 25 0 1 0 894102576 137011200 32352 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33450 32352 1111 63 0 33387 0
vsize: 133800
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32687 0 0 0 105891 128 0 0 25 0 1 0 894102576 137822208 32546 4294967295 134512640 134716908 3221224576 3221223360 134528816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33648 32546 1111 63 0 33585 0
vsize: 134592
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32827 0 0 0 106891 129 0 0 25 0 1 0 894102576 138498048 32686 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33813 32686 1111 63 0 33750 0
vsize: 135252
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 32982 0 0 0 107890 129 0 0 25 0 1 0 894102576 139038720 32841 4294967295 134512640 134716908 3221224576 3221223292 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33945 32841 1111 63 0 33882 0
vsize: 135780
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 33173 0 0 0 108889 130 0 0 25 0 1 0 894102576 139849728 33032 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34143 33032 1111 63 0 34080 0
vsize: 136572
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 33314 0 0 0 109888 131 0 0 25 0 1 0 894102576 140390400 33173 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34275 33173 1111 63 0 34212 0
vsize: 137100
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 33675 0 0 0 110887 133 0 0 25 0 1 0 894102576 141926400 33533 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34650 33533 1111 63 0 34587 0
vsize: 138600
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 33836 0 0 0 111887 133 0 0 25 0 1 0 894102576 142602240 33694 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34815 33694 1111 63 0 34752 0
vsize: 139260
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 33946 0 0 0 112887 134 0 0 25 0 1 0 894102576 143007744 33804 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34914 33804 1111 63 0 34851 0
vsize: 139656
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 34050 0 0 0 113886 134 0 0 25 0 1 0 894102576 143413248 33908 4294967295 134512640 134716908 3221224576 3221223188 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35013 33908 1111 63 0 34950 0
vsize: 140052
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 34152 0 0 0 114886 135 0 0 25 0 1 0 894102576 143818752 34010 4294967295 134512640 134716908 3221224576 3221223292 134542828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35112 34010 1111 63 0 35049 0
vsize: 140448
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 34278 0 0 0 115885 136 0 0 25 0 1 0 894102576 144359424 34136 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35244 34136 1111 63 0 35181 0
vsize: 140976
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 34430 0 0 0 116885 136 0 0 25 0 1 0 894102576 145035264 34288 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35409 34288 1111 63 0 35346 0
vsize: 141636
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 26883
Raw data (stat): 26883 (bsolo_lpr-v2) R 26882 31399 31398 0 -1 0 34430 0 0 0 116885 136 0 0 25 0 1 0 894102576 145035264 34288 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35409 34288 1111 63 0 35346 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.1
CPU user time (s): 1173.66
CPU system time (s): 1.43478
CPU usage (%): 100.014
Max. virtual memory (Kb): 141636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####