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/submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
MD5SUM	c84a64f67029a09ef823a1b3017b5713
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.562914
Number of variables	900
Total number of constraints	673
Number of constraints which are clauses	624
Number of constraints which are cardinality constraints (but not clauses)	49
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 39420

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 09:12:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27486 boxname=wulflinc2 idbench=44 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  c84a64f67029a09ef823a1b3017b5713  /oldhome/oroussel/tmp/wulflinc2/normalized-fpga25_24_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fpga25_24_sat_pb.cnf.cr.opb
IDLAUNCH: 27486
/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:        270964 kB
Buffers:         34088 kB
Cached:         705812 kB
SwapCached:       1164 kB
Active:          43368 kB
Inactive:       699056 kB
HighTotal:      131008 kB
HighFree:        17248 kB
LowTotal:       903652 kB
LowFree:        253716 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15628 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:31:53 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 27486 7 1175.03 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 900 variables and 673 constraints.
c After prepocess the problem consists of 900 variables and 673 constraints.
c preprocess terminated 0.962 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.92 0.98 0.91 2/54 22173
Raw data (stat): 22173 (runsolver) R 22172 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891820864 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 1903 0 0 0 991 6 0 0 25 0 1 0 891820864 10887168 1821 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1821 1111 63 0 2595 0
vsize: 10632
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 2235 0 0 0 1989 8 0 0 25 0 1 0 891820864 12214272 2153 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2982 2153 1111 63 0 2919 0
vsize: 11928
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 2398 0 0 0 2987 10 0 0 25 0 1 0 891820864 12873728 2316 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 2316 1111 63 0 3080 0
vsize: 12572
[startup+40.002 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 2679 0 0 0 3986 12 0 0 25 0 1 0 891820864 14090240 2597 4294967295 134512640 134716908 3221224560 3221223200 134698453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3440 2597 1111 63 0 3377 0
vsize: 13760
[startup+50.002 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 2974 0 0 0 4984 14 0 0 25 0 1 0 891820864 15282176 2892 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3731 2892 1111 63 0 3668 0
vsize: 14924
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3153 0 0 0 5983 16 0 0 25 0 1 0 891820864 15958016 3071 4294967295 134512640 134716908 3221224560 3221223344 134529027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3896 3071 1111 63 0 3833 0
vsize: 15584
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3239 0 0 0 6982 17 0 0 25 0 1 0 891820864 16359424 3157 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3994 3157 1111 63 0 3931 0
vsize: 15976
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3299 0 0 0 7980 18 0 0 25 0 1 0 891820864 16625664 3217 4294967295 134512640 134716908 3221224560 3221223200 134536700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 3217 1111 63 0 3996 0
vsize: 16236
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3370 0 0 0 8980 19 0 0 25 0 1 0 891820864 16896000 3288 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4125 3288 1111 63 0 4062 0
vsize: 16500
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3404 0 0 0 9979 20 0 0 25 0 1 0 891820864 17018880 3322 4294967295 134512640 134716908 3221224560 3221223056 134535394 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4155 3322 1111 63 0 4092 0
vsize: 16620
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3472 0 0 0 10978 21 0 0 25 0 1 0 891820864 17276928 3390 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4218 3390 1111 63 0 4155 0
vsize: 16872
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3552 0 0 0 11977 22 0 0 25 0 1 0 891820864 17678336 3470 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4316 3470 1111 63 0 4253 0
vsize: 17264
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3625 0 0 0 12976 24 0 0 25 0 1 0 891820864 17940480 3543 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4380 3543 1111 63 0 4317 0
vsize: 17520
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3675 0 0 0 13974 25 0 0 25 0 1 0 891820864 18210816 3593 4294967295 134512640 134716908 3221224560 3221223272 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4446 3593 1111 63 0 4383 0
vsize: 17784
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3729 0 0 0 14973 27 0 0 25 0 1 0 891820864 18452480 3647 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4505 3647 1111 63 0 4442 0
vsize: 18020
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3777 0 0 0 15972 28 0 0 25 0 1 0 891820864 18587648 3695 4294967295 134512640 134716908 3221224560 3221223200 134698481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4538 3695 1111 63 0 4475 0
vsize: 18152
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3825 0 0 0 16971 29 0 0 25 0 1 0 891820864 18722816 3743 4294967295 134512640 134716908 3221224560 3221223304 134551636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3743 1111 63 0 4508 0
vsize: 18284
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3853 0 0 0 17970 31 0 0 25 0 1 0 891820864 18857984 3771 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4604 3771 1111 63 0 4541 0
vsize: 18416
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3875 0 0 0 18969 32 0 0 25 0 1 0 891820864 18989056 3793 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3793 1111 63 0 4573 0
vsize: 18544
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3899 0 0 0 19969 32 0 0 25 0 1 0 891820864 19111936 3817 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4666 3817 1111 63 0 4603 0
vsize: 18664
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3906 0 0 0 20969 33 0 0 25 0 1 0 891820864 19111936 3824 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4666 3824 1111 63 0 4603 0
vsize: 18664
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3936 0 0 0 21967 34 0 0 25 0 1 0 891820864 19238912 3854 4294967295 134512640 134716908 3221224560 3221223172 1077377189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3854 1111 63 0 4634 0
vsize: 18788
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3953 0 0 0 22966 35 0 0 25 0 1 0 891820864 19238912 3871 4294967295 134512640 134716908 3221224560 3221223160 134549515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3871 1111 63 0 4634 0
vsize: 18788
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3962 0 0 0 23965 37 0 0 25 0 1 0 891820864 19369984 3880 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4729 3880 1111 63 0 4666 0
vsize: 18916
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 3996 0 0 0 24964 38 0 0 25 0 1 0 891820864 19505152 3914 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3914 1111 63 0 4699 0
vsize: 19048
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4181 0 0 0 25963 39 0 0 25 0 1 0 891820864 20180992 4099 4294967295 134512640 134716908 3221224560 3221223248 134523350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4927 4099 1111 63 0 4864 0
vsize: 19708
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4217 0 0 0 26963 40 0 0 25 0 1 0 891820864 20316160 4135 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4960 4135 1111 63 0 4897 0
vsize: 19840
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4228 0 0 0 27962 41 0 0 25 0 1 0 891820864 20447232 4146 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4992 4146 1111 63 0 4929 0
vsize: 19968
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4232 0 0 0 28961 42 0 0 25 0 1 0 891820864 20447232 4150 4294967295 134512640 134716908 3221224560 3221223120 134542359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4992 4150 1111 63 0 4929 0
vsize: 19968
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4267 0 0 0 29961 42 0 0 25 0 1 0 891820864 20582400 4185 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5025 4185 1111 63 0 4962 0
vsize: 20100
[startup+310.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4327 0 0 0 30960 43 0 0 25 0 1 0 891820864 20852736 4245 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5091 4245 1111 63 0 5028 0
vsize: 20364
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4368 0 0 0 31959 44 0 0 25 0 1 0 891820864 20987904 4286 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5124 4286 1111 63 0 5061 0
vsize: 20496
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4376 0 0 0 32959 45 0 0 25 0 1 0 891820864 20987904 4294 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5124 4294 1111 63 0 5061 0
vsize: 20496
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4376 0 0 0 33958 46 0 0 25 0 1 0 891820864 20987904 4294 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5124 4294 1111 63 0 5061 0
vsize: 20496
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4413 0 0 0 34957 47 0 0 25 0 1 0 891820864 21123072 4331 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5157 4331 1111 63 0 5094 0
vsize: 20628
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4441 0 0 0 35956 48 0 0 25 0 1 0 891820864 21258240 4359 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5190 4359 1111 63 0 5127 0
vsize: 20760
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4451 0 0 0 36955 49 0 0 25 0 1 0 891820864 21393408 4369 4294967295 134512640 134716908 3221224560 3221223312 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5223 4369 1111 63 0 5160 0
vsize: 20892
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4458 0 0 0 37954 50 0 0 25 0 1 0 891820864 21393408 4376 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4376 1111 63 0 5160 0
vsize: 20892
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4475 0 0 0 38953 51 0 0 25 0 1 0 891820864 21393408 4393 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4393 1111 63 0 5160 0
vsize: 20892
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4513 0 0 0 39953 51 0 0 25 0 1 0 891820864 21528576 4431 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4431 1111 63 0 5193 0
vsize: 21024
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4522 0 0 0 40952 52 0 0 25 0 1 0 891820864 21663744 4440 4294967295 134512640 134716908 3221224560 3221223200 134698428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5289 4440 1111 63 0 5226 0
vsize: 21156
[startup+420.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4615 0 0 0 41951 53 0 0 25 0 1 0 891820864 22069248 4533 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4533 1111 63 0 5325 0
vsize: 21552
[startup+430.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4676 0 0 0 42950 55 0 0 25 0 1 0 891820864 22204416 4594 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5421 4594 1111 63 0 5358 0
vsize: 21684
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4685 0 0 0 43949 56 0 0 25 0 1 0 891820864 22339584 4603 4294967295 134512640 134716908 3221224560 3221223152 134549670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5454 4603 1111 63 0 5391 0
vsize: 21816
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4702 0 0 0 44948 57 0 0 25 0 1 0 891820864 22339584 4620 4294967295 134512640 134716908 3221224560 3221223216 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5454 4620 1111 63 0 5391 0
vsize: 21816
[startup+460.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4724 0 0 0 45948 58 0 0 25 0 1 0 891820864 22474752 4642 4294967295 134512640 134716908 3221224560 3221223152 134549764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5487 4642 1111 63 0 5424 0
vsize: 21948
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4729 0 0 0 46947 59 0 0 25 0 1 0 891820864 22474752 4647 4294967295 134512640 134716908 3221224560 3221223200 134698453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5487 4647 1111 63 0 5424 0
vsize: 21948
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4758 0 0 0 47946 59 0 0 25 0 1 0 891820864 22568960 4676 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5510 4676 1111 63 0 5447 0
vsize: 22040
[startup+490.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4770 0 0 0 48946 60 0 0 25 0 1 0 891820864 22581248 4688 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5513 4688 1111 63 0 5450 0
vsize: 22052
[startup+500.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4770 0 0 0 49945 61 0 0 25 0 1 0 891820864 22581248 4688 4294967295 134512640 134716908 3221224560 3221223248 134536635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5513 4688 1111 63 0 5450 0
vsize: 22052
[startup+510.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4770 0 0 0 50944 61 0 0 25 0 1 0 891820864 22581248 4688 4294967295 134512640 134716908 3221224560 3221223100 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5513 4688 1111 63 0 5450 0
vsize: 22052
[startup+520.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4770 0 0 0 51944 62 0 0 25 0 1 0 891820864 22581248 4688 4294967295 134512640 134716908 3221224560 3221223352 134558587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5513 4688 1111 63 0 5450 0
vsize: 22052
[startup+530.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4770 0 0 0 52943 63 0 0 25 0 1 0 891820864 22581248 4688 4294967295 134512640 134716908 3221224560 3221223184 134698602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5513 4688 1111 63 0 5450 0
vsize: 22052
[startup+540.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4822 0 0 0 53943 63 0 0 25 0 1 0 891820864 22818816 4740 4294967295 134512640 134716908 3221224560 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5571 4740 1111 63 0 5508 0
vsize: 22284
[startup+550.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4859 0 0 0 54942 64 0 0 25 0 1 0 891820864 22953984 4777 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5604 4777 1111 63 0 5541 0
vsize: 22416
[startup+560.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4935 0 0 0 55941 65 0 0 25 0 1 0 891820864 23359488 4853 4294967295 134512640 134716908 3221224560 3221223100 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5703 4853 1111 63 0 5640 0
vsize: 22812
[startup+570.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 4965 0 0 0 56941 66 0 0 25 0 1 0 891820864 23494656 4883 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5736 4883 1111 63 0 5673 0
vsize: 22944
[startup+580.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 5156 0 0 0 57939 67 0 0 25 0 1 0 891820864 24170496 5074 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5901 5074 1111 63 0 5838 0
vsize: 23604
[startup+590.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 5318 0 0 0 58938 68 0 0 25 0 1 0 891820864 24838144 5236 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6064 5236 1111 63 0 6001 0
vsize: 24256
[startup+600.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 5347 0 0 0 59938 69 0 0 25 0 1 0 891820864 24973312 5265 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6097 5265 1111 63 0 6034 0
vsize: 24388
[startup+610.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 5366 0 0 0 60937 70 0 0 25 0 1 0 891820864 25108480 5284 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6130 5284 1111 63 0 6067 0
vsize: 24520
[startup+620.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 5445 0 0 0 61935 72 0 0 25 0 1 0 891820864 25378816 5363 4294967295 134512640 134716908 3221224560 3221223152 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 5363 1111 63 0 6133 0
vsize: 24784
[startup+630.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 5524 0 0 0 62934 74 0 0 25 0 1 0 891820864 25784320 5442 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6295 5442 1111 63 0 6232 0
vsize: 25180
[startup+640.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 5608 0 0 0 63933 75 0 0 25 0 1 0 891820864 26054656 5526 4294967295 134512640 134716908 3221224560 3221223184 134698393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6361 5526 1111 63 0 6298 0
vsize: 25444
[startup+650.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 5662 0 0 0 64932 76 0 0 25 0 1 0 891820864 26324992 5580 4294967295 134512640 134716908 3221224560 3221223216 134536743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6427 5580 1111 63 0 6364 0
vsize: 25708
[startup+660.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 5747 0 0 0 65931 77 0 0 25 0 1 0 891820864 26595328 5665 4294967295 134512640 134716908 3221224560 3221223264 134528434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6493 5665 1111 63 0 6430 0
vsize: 25972
[startup+670.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 5853 0 0 0 66930 78 0 0 25 0 1 0 891820864 27103232 5771 4294967295 134512640 134716908 3221224560 3221223328 134584892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6617 5771 1111 63 0 6554 0
vsize: 26468
[startup+680.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 5904 0 0 0 67930 78 0 0 25 0 1 0 891820864 27238400 5822 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6650 5822 1111 63 0 6587 0
vsize: 26600
[startup+690.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 5953 0 0 0 68930 79 0 0 25 0 1 0 891820864 27508736 5871 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6716 5871 1111 63 0 6653 0
vsize: 26864
[startup+700.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6037 0 0 0 69929 80 0 0 25 0 1 0 891820864 27779072 5955 4294967295 134512640 134716908 3221224560 3221223344 134529033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5955 1111 63 0 6719 0
vsize: 27128
[startup+710.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6060 0 0 0 70928 81 0 0 25 0 1 0 891820864 27914240 5978 4294967295 134512640 134716908 3221224560 3221223152 134542668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6815 5978 1111 63 0 6752 0
vsize: 27260
[startup+720.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6077 0 0 0 71927 82 0 0 25 0 1 0 891820864 28016640 5995 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6840 5995 1111 63 0 6777 0
vsize: 27360
[startup+730.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6133 0 0 0 72927 82 0 0 25 0 1 0 891820864 28286976 6051 4294967295 134512640 134716908 3221224560 3221223276 134523156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6906 6051 1111 63 0 6843 0
vsize: 27624
[startup+740.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6157 0 0 0 73926 83 0 0 25 0 1 0 891820864 28286976 6075 4294967295 134512640 134716908 3221224560 3221223152 134698487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6906 6075 1111 63 0 6843 0
vsize: 27624
[startup+750.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6178 0 0 0 74925 85 0 0 25 0 1 0 891820864 28422144 6096 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6939 6096 1111 63 0 6876 0
vsize: 27756
[startup+760.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6198 0 0 0 75924 85 0 0 25 0 1 0 891820864 28549120 6116 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6970 6116 1111 63 0 6907 0
vsize: 27880
[startup+770.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6248 0 0 0 76924 86 0 0 25 0 1 0 891820864 28684288 6166 4294967295 134512640 134716908 3221224560 3221223264 134528592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7003 6166 1111 63 0 6940 0
vsize: 28012
[startup+780.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6265 0 0 0 77923 87 0 0 25 0 1 0 891820864 28778496 6183 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7026 6183 1111 63 0 6963 0
vsize: 28104
[startup+790.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6293 0 0 0 78922 88 0 0 25 0 1 0 891820864 28913664 6211 4294967295 134512640 134716908 3221224560 3221223328 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7059 6211 1111 63 0 6996 0
vsize: 28236
[startup+800.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6293 0 0 0 79922 89 0 0 25 0 1 0 891820864 28913664 6211 4294967295 134512640 134716908 3221224560 3221223132 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7059 6211 1111 63 0 6996 0
vsize: 28236
[startup+810.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6300 0 0 0 80921 89 0 0 25 0 1 0 891820864 28913664 6218 4294967295 134512640 134716908 3221224560 3221223036 134613780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7059 6218 1111 63 0 6996 0
vsize: 28236
[startup+820.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6302 0 0 0 81921 90 0 0 25 0 1 0 891820864 28913664 6220 4294967295 134512640 134716908 3221224560 3221223216 134536603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7059 6220 1111 63 0 6996 0
vsize: 28236
[startup+830.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6330 0 0 0 82920 91 0 0 25 0 1 0 891820864 29024256 6248 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7086 6248 1111 63 0 7023 0
vsize: 28344
[startup+840.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6330 0 0 0 83920 91 0 0 25 0 1 0 891820864 29024256 6248 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7086 6248 1111 63 0 7023 0
vsize: 28344
[startup+850.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6352 0 0 0 84919 92 0 0 25 0 1 0 891820864 29151232 6270 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7117 6270 1111 63 0 7054 0
vsize: 28468
[startup+860.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6371 0 0 0 85919 93 0 0 25 0 1 0 891820864 29151232 6289 4294967295 134512640 134716908 3221224560 3221223288 134532449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7117 6289 1111 63 0 7054 0
vsize: 28468
[startup+870.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6394 0 0 0 86919 93 0 0 25 0 1 0 891820864 29286400 6312 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7150 6312 1111 63 0 7087 0
vsize: 28600
[startup+880.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6406 0 0 0 87918 94 0 0 25 0 1 0 891820864 29286400 6324 4294967295 134512640 134716908 3221224560 3221223228 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7150 6324 1111 63 0 7087 0
vsize: 28600
[startup+890.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6406 0 0 0 88917 95 0 0 25 0 1 0 891820864 29286400 6324 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7150 6324 1111 63 0 7087 0
vsize: 28600
[startup+900.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6442 0 0 0 89916 96 0 0 25 0 1 0 891820864 29519872 6360 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7207 6360 1111 63 0 7144 0
vsize: 28828
[startup+910.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6506 0 0 0 90916 97 0 0 25 0 1 0 891820864 29790208 6424 4294967295 134512640 134716908 3221224560 3221223152 134549588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6424 1111 63 0 7210 0
vsize: 29092
[startup+920.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6506 0 0 0 91915 98 0 0 25 0 1 0 891820864 29790208 6424 4294967295 134512640 134716908 3221224560 3221223180 134549859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6424 1111 63 0 7210 0
vsize: 29092
[startup+930.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6506 0 0 0 92915 98 0 0 25 0 1 0 891820864 29790208 6424 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6424 1111 63 0 7210 0
vsize: 29092
[startup+940.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6506 0 0 0 93914 99 0 0 25 0 1 0 891820864 29790208 6424 4294967295 134512640 134716908 3221224560 3221223200 134698450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6424 1111 63 0 7210 0
vsize: 29092
[startup+950.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6525 0 0 0 94913 100 0 0 25 0 1 0 891820864 29790208 6443 4294967295 134512640 134716908 3221224560 3221223032 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7273 6443 1111 63 0 7210 0
vsize: 29092
[startup+960.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6543 0 0 0 95913 101 0 0 25 0 1 0 891820864 29925376 6461 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 6461 1111 63 0 7243 0
vsize: 29224
[startup+970.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6551 0 0 0 96912 101 0 0 25 0 1 0 891820864 29925376 6469 4294967295 134512640 134716908 3221224560 3221223120 134542334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 6469 1111 63 0 7243 0
vsize: 29224
[startup+980.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6557 0 0 0 97912 102 0 0 25 0 1 0 891820864 29925376 6475 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 6475 1111 63 0 7243 0
vsize: 29224
[startup+990.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6583 0 0 0 98911 103 0 0 25 0 1 0 891820864 30060544 6501 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6501 1111 63 0 7276 0
vsize: 29356
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6583 0 0 0 99911 103 0 0 25 0 1 0 891820864 30060544 6501 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6501 1111 63 0 7276 0
vsize: 29356
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6599 0 0 0 100910 104 0 0 25 0 1 0 891820864 30195712 6517 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7372 6517 1111 63 0 7309 0
vsize: 29488
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6625 0 0 0 101910 105 0 0 25 0 1 0 891820864 30195712 6543 4294967295 134512640 134716908 3221224560 3221223232 134655196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7372 6543 1111 63 0 7309 0
vsize: 29488
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6640 0 0 0 102909 106 0 0 25 0 1 0 891820864 30330880 6558 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6558 1111 63 0 7342 0
vsize: 29620
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6640 0 0 0 103909 106 0 0 25 0 1 0 891820864 30330880 6558 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6558 1111 63 0 7342 0
vsize: 29620
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6640 0 0 0 104908 107 0 0 25 0 1 0 891820864 30330880 6558 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6558 1111 63 0 7342 0
vsize: 29620
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6641 0 0 0 105907 108 0 0 25 0 1 0 891820864 30330880 6559 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6559 1111 63 0 7342 0
vsize: 29620
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6641 0 0 0 106907 108 0 0 25 0 1 0 891820864 30330880 6559 4294967295 134512640 134716908 3221224560 3221223232 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6559 1111 63 0 7342 0
vsize: 29620
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6641 0 0 0 107906 109 0 0 25 0 1 0 891820864 30330880 6559 4294967295 134512640 134716908 3221224560 3221223124 1077378710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6559 1111 63 0 7342 0
vsize: 29620
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6651 0 0 0 108906 110 0 0 25 0 1 0 891820864 30330880 6569 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6569 1111 63 0 7342 0
vsize: 29620
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6656 0 0 0 109904 111 0 0 25 0 1 0 891820864 30330880 6574 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6574 1111 63 0 7342 0
vsize: 29620
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6658 0 0 0 110904 112 0 0 25 0 1 0 891820864 30330880 6576 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6576 1111 63 0 7342 0
vsize: 29620
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6658 0 0 0 111904 112 0 0 25 0 1 0 891820864 30330880 6576 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7405 6576 1111 63 0 7342 0
vsize: 29620
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6663 0 0 0 112903 113 0 0 25 0 1 0 891820864 30466048 6581 4294967295 134512640 134716908 3221224560 3221223232 134524434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6581 1111 63 0 7375 0
vsize: 29752
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6670 0 0 0 113903 113 0 0 25 0 1 0 891820864 30461952 6588 4294967295 134512640 134716908 3221224560 3221223044 134699711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6588 1111 63 0 7374 0
vsize: 29748
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6689 0 0 0 114903 114 0 0 25 0 1 0 891820864 30461952 6607 4294967295 134512640 134716908 3221224560 3221223264 134528674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6607 1111 63 0 7374 0
vsize: 29748
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6693 0 0 0 115902 114 0 0 25 0 1 0 891820864 30461952 6611 4294967295 134512640 134716908 3221224560 3221223228 134536748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6611 1111 63 0 7374 0
vsize: 29748
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6693 0 0 0 116902 116 0 0 25 0 1 0 891820864 30461952 6611 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6611 1111 63 0 7374 0
vsize: 29748
[startup+1174.86 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 22173
Raw data (stat): 22173 (bsolo_lpr-v2) R 22172 31399 31398 0 -1 0 6693 0 0 0 116902 116 0 0 25 0 1 0 891820864 30461952 6611 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6611 1111 63 0 7374 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.03
CPU user time (s): 1173.85
CPU system time (s): 1.17782
CPU usage (%): 100.015
Max. virtual memory (Kb): 29752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####