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-fpga45_45_sat_pb.cnf.cr.opb
MD5SUM	da4cd22fd601b0d838453ba86be8f9aa
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	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.73997
Number of variables	3038
Total number of constraints	2160
Number of constraints which are clauses	2070
Number of constraints which are cardinality constraints (but not clauses)	90
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 39438

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 09:52:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27499 boxname=wulflinc5 idbench=57 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  da4cd22fd601b0d838453ba86be8f9aa  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga45_45_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga45_45_sat_pb.cnf.cr.opb
IDLAUNCH: 27499
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        347160 kB
Buffers:         34364 kB
Cached:         628612 kB
SwapCached:        568 kB
Active:          57636 kB
Inactive:       607384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        346908 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16864 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 10:12:25 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27499 7 1175.02 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 3038 variables and 2160 constraints.
c After prepocess the problem consists of 3038 variables and 2160 constraints.
c preprocess terminated 9.031 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.95 0.90 1/54 3470
Raw data (stat): 3470 (runsolver) R 3469 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892060475 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.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 2291 0 0 0 991 6 0 0 25 0 1 0 892060475 12578816 2209 4294967295 134512640 134716908 3221224560 3221223248 134534115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3071 2209 1111 63 0 3008 0
vsize: 12284
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 2524 0 0 0 1988 9 0 0 25 0 1 0 892060475 13524992 2442 4294967295 134512640 134716908 3221224560 3221223200 134698456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3302 2442 1111 63 0 3239 0
vsize: 13208
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 2679 0 0 0 2986 11 0 0 25 0 1 0 892060475 14204928 2597 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3468 2597 1111 63 0 3405 0
vsize: 13872
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3191 0 0 0 3983 14 0 0 25 0 1 0 892060475 16228352 3109 4294967295 134512640 134716908 3221224560 3221223048 134699807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3962 3109 1111 63 0 3899 0
vsize: 15848
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3396 0 0 0 4983 15 0 0 25 0 1 0 892060475 17039360 3314 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 3314 1111 63 0 4097 0
vsize: 16640
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3523 0 0 0 5982 15 0 0 25 0 1 0 892060475 17575936 3441 4294967295 134512640 134716908 3221224560 3221223180 134613768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3441 1111 63 0 4228 0
vsize: 17164
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3523 0 0 0 6982 16 0 0 25 0 1 0 892060475 17575936 3441 4294967295 134512640 134716908 3221224560 3221223200 134613656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3441 1111 63 0 4228 0
vsize: 17164
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3523 0 0 0 7982 16 0 0 25 0 1 0 892060475 17575936 3441 4294967295 134512640 134716908 3221224560 3221223184 134698393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3441 1111 63 0 4228 0
vsize: 17164
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3523 0 0 0 8982 17 0 0 25 0 1 0 892060475 17575936 3441 4294967295 134512640 134716908 3221224560 3221223100 134613780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3441 1111 63 0 4228 0
vsize: 17164
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3523 0 0 0 9982 17 0 0 25 0 1 0 892060475 17575936 3441 4294967295 134512640 134716908 3221224560 3221222976 134699774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3441 1111 63 0 4228 0
vsize: 17164
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 10981 17 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 11981 18 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 12981 18 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 13981 19 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223048 134699810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 14981 19 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 15980 19 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223144 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 16980 20 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 17980 20 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 18980 21 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223120 134699108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 19979 21 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 20979 21 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 21979 22 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 22979 22 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 23979 22 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221222872 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 24979 22 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 25979 22 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221222648 134699805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 26979 23 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223056 134699750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 27979 23 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223244 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 28978 24 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 29976 26 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 30974 28 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223296 134558542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 31972 30 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 32970 33 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223184 134698638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 33969 34 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 34967 37 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 35965 38 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 36964 40 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134549277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 37962 42 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 38960 44 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223252 134534132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3530 0 0 0 39959 45 0 0 25 0 1 0 892060475 17575936 3448 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3566 0 0 0 40959 45 0 0 25 0 1 0 892060475 17711104 3484 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3566 0 0 0 41959 46 0 0 25 0 1 0 892060475 17711104 3484 4294967295 134512640 134716908 3221224560 3221223152 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3470
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3566 0 0 0 42959 46 0 0 25 0 1 0 892060475 17711104 3484 4294967295 134512640 134716908 3221224560 3221223320 134592149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+440.011 s]
Raw data (loadavg): 1.23 1.02 0.93 2/54 3523
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3566 0 0 0 43958 47 0 0 25 0 1 0 892060475 17711104 3484 4294967295 134512640 134716908 3221224560 3221223216 134543744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+450.011 s]
Raw data (loadavg): 1.19 1.02 0.93 2/54 3523
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3566 0 0 0 44958 47 0 0 25 0 1 0 892060475 17711104 3484 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+460.012 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 3523
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3566 0 0 0 45957 48 0 0 25 0 1 0 892060475 17711104 3484 4294967295 134512640 134716908 3221224560 3221223328 134528789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+470.013 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 3523
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3684 0 0 0 46957 49 0 0 25 0 1 0 892060475 18251776 3602 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3602 1111 63 0 4393 0
vsize: 17824
[startup+480.013 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 3523
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3684 0 0 0 47956 50 0 0 25 0 1 0 892060475 18251776 3602 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3602 1111 63 0 4393 0
vsize: 17824
[startup+490.012 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 3523
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3726 0 0 0 48955 51 0 0 25 0 1 0 892060475 18386944 3644 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4489 3644 1111 63 0 4426 0
vsize: 17956
[startup+500.013 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 3523
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3729 0 0 0 49954 52 0 0 25 0 1 0 892060475 18292736 3626 4294967295 134512640 134716908 3221224560 3221223128 1077377254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+510.013 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3729 0 0 0 50953 53 0 0 25 0 1 0 892060475 18292736 3626 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+520.013 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3729 0 0 0 51953 54 0 0 25 0 1 0 892060475 18292736 3626 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+530.014 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3729 0 0 0 52952 55 0 0 25 0 1 0 892060475 18292736 3626 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+540.014 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3729 0 0 0 53951 56 0 0 25 0 1 0 892060475 18292736 3626 4294967295 134512640 134716908 3221224560 3221223088 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+550.015 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3831 0 0 0 54951 57 0 0 25 0 1 0 892060475 18825216 3728 4294967295 134512640 134716908 3221224560 3221223188 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3728 1111 63 0 4533 0
vsize: 18384
[startup+560.014 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3831 0 0 0 55950 58 0 0 25 0 1 0 892060475 18292736 3626 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+570.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3831 0 0 0 56949 58 0 0 25 0 1 0 892060475 18292736 3626 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+580.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3831 0 0 0 57948 59 0 0 25 0 1 0 892060475 18292736 3626 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+590.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 3831 0 0 0 58948 60 0 0 25 0 1 0 892060475 18292736 3626 4294967295 134512640 134716908 3221224560 3221223284 134613716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+600.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4008 0 0 0 59946 62 0 0 25 0 1 0 892060475 18292736 3626 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+610.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4109 0 0 0 60946 63 0 0 25 0 1 0 892060475 18833408 3727 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4598 3727 1111 63 0 4535 0
vsize: 18392
[startup+620.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4231 0 0 0 61945 64 0 0 25 0 1 0 892060475 19238912 3849 4294967295 134512640 134716908 3221224560 3221223200 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3849 1111 63 0 4634 0
vsize: 18788
[startup+630.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4231 0 0 0 62944 65 0 0 25 0 1 0 892060475 19173376 3841 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3841 1111 63 0 4618 0
vsize: 18724
[startup+640.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4275 0 0 0 63943 66 0 0 25 0 1 0 892060475 19173376 3841 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3841 1111 63 0 4618 0
vsize: 18724
[startup+650.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4275 0 0 0 64943 66 0 0 25 0 1 0 892060475 19173376 3841 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3841 1111 63 0 4618 0
vsize: 18724
[startup+660.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4275 0 0 0 65943 67 0 0 25 0 1 0 892060475 19173376 3841 4294967295 134512640 134716908 3221224560 3221223168 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3841 1111 63 0 4618 0
vsize: 18724
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4275 0 0 0 66942 67 0 0 25 0 1 0 892060475 19173376 3841 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3841 1111 63 0 4618 0
vsize: 18724
[startup+680.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4275 0 0 0 67942 68 0 0 25 0 1 0 892060475 19173376 3841 4294967295 134512640 134716908 3221224560 3221223120 134542365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3841 1111 63 0 4618 0
vsize: 18724
[startup+690.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4275 0 0 0 68941 69 0 0 25 0 1 0 892060475 19107840 3825 4294967295 134512640 134716908 3221224560 3221223248 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4665 3825 1111 63 0 4602 0
vsize: 18660
[startup+700.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4275 0 0 0 69941 69 0 0 25 0 1 0 892060475 19107840 3825 4294967295 134512640 134716908 3221224560 3221223120 134698815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4665 3825 1111 63 0 4602 0
vsize: 18660
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4275 0 0 0 70941 70 0 0 25 0 1 0 892060475 19103744 3824 4294967295 134512640 134716908 3221224560 3221223104 134542992 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 3824 1111 63 0 4601 0
vsize: 18656
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4275 0 0 0 71940 71 0 0 25 0 1 0 892060475 19103744 3824 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 3824 1111 63 0 4601 0
vsize: 18656
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4275 0 0 0 72939 72 0 0 25 0 1 0 892060475 19103744 3824 4294967295 134512640 134716908 3221224560 3221223200 134698448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 3824 1111 63 0 4601 0
vsize: 18656
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4290 0 0 0 73939 72 0 0 25 0 1 0 892060475 19238912 3839 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3839 1111 63 0 4634 0
vsize: 18788
[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4363 0 0 0 74939 73 0 0 25 0 1 0 892060475 19333120 3880 4294967295 134512640 134716908 3221224560 3221223176 134613777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4363 0 0 0 75938 74 0 0 25 0 1 0 892060475 19333120 3880 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4363 0 0 0 76938 74 0 0 25 0 1 0 892060475 19333120 3880 4294967295 134512640 134716908 3221224560 3221223176 134613769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4363 0 0 0 77937 75 0 0 25 0 1 0 892060475 19333120 3880 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3525
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4363 0 0 0 78937 75 0 0 25 0 1 0 892060475 19333120 3880 4294967295 134512640 134716908 3221224560 3221223152 134543735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4363 0 0 0 79937 76 0 0 25 0 1 0 892060475 19333120 3880 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4363 0 0 0 80936 76 0 0 25 0 1 0 892060475 19333120 3880 4294967295 134512640 134716908 3221224560 3221223228 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+820.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4363 0 0 0 81936 77 0 0 25 0 1 0 892060475 19333120 3880 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4363 0 0 0 82935 78 0 0 25 0 1 0 892060475 19333120 3880 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4363 0 0 0 83935 78 0 0 25 0 1 0 892060475 19333120 3880 4294967295 134512640 134716908 3221224560 3221223232 134594375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4363 0 0 0 84934 79 0 0 25 0 1 0 892060475 19333120 3880 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+860.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4449 0 0 0 85933 80 0 0 25 0 1 0 892060475 19738624 3966 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3966 1111 63 0 4756 0
vsize: 19276
[startup+870.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4449 0 0 0 86933 81 0 0 25 0 1 0 892060475 19738624 3966 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3966 1111 63 0 4756 0
vsize: 19276
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4449 0 0 0 87933 81 0 0 25 0 1 0 892060475 19738624 3966 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3966 1111 63 0 4756 0
vsize: 19276
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4449 0 0 0 88933 82 0 0 25 0 1 0 892060475 19738624 3966 4294967295 134512640 134716908 3221224560 3221223272 134523157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3966 1111 63 0 4756 0
vsize: 19276
[startup+900.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4449 0 0 0 89932 82 0 0 25 0 1 0 892060475 19738624 3966 4294967295 134512640 134716908 3221224560 3221223200 134539448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3966 1111 63 0 4756 0
vsize: 19276
[startup+910.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4486 0 0 0 90932 83 0 0 25 0 1 0 892060475 19836928 4003 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4003 1111 63 0 4780 0
vsize: 19372
[startup+920.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4603 0 0 0 91929 86 0 0 25 0 1 0 892060475 19922944 4024 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4024 1111 63 0 4801 0
vsize: 19456
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4603 0 0 0 92929 86 0 0 25 0 1 0 892060475 19922944 4024 4294967295 134512640 134716908 3221224560 3221222880 134699598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4024 1111 63 0 4801 0
vsize: 19456
[startup+940.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4603 0 0 0 93928 88 0 0 25 0 1 0 892060475 19922944 4024 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4024 1111 63 0 4801 0
vsize: 19456
[startup+950.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 94926 89 0 0 25 0 1 0 892060475 20463616 4127 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4996 4127 1111 63 0 4933 0
vsize: 19984
[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 95926 90 0 0 25 0 1 0 892060475 20361216 4127 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4127 1111 63 0 4908 0
vsize: 19884
[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 96925 91 0 0 25 0 1 0 892060475 20361216 4127 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4127 1111 63 0 4908 0
vsize: 19884
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 97925 92 0 0 25 0 1 0 892060475 20361216 4127 4294967295 134512640 134716908 3221224560 3221223200 134698462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4127 1111 63 0 4908 0
vsize: 19884
[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 98924 93 0 0 25 0 1 0 892060475 20361216 4127 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4127 1111 63 0 4908 0
vsize: 19884
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 99923 94 0 0 25 0 1 0 892060475 20361216 4127 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4127 1111 63 0 4908 0
vsize: 19884
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 100922 95 0 0 25 0 1 0 892060475 20054016 4056 4294967295 134512640 134716908 3221224560 3221223316 134655223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 101922 95 0 0 25 0 1 0 892060475 20054016 4056 4294967295 134512640 134716908 3221224560 3221223116 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 102921 96 0 0 25 0 1 0 892060475 20054016 4056 4294967295 134512640 134716908 3221224560 3221223372 134528756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 103921 96 0 0 25 0 1 0 892060475 20054016 4056 4294967295 134512640 134716908 3221224560 3221223200 134698453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 104921 97 0 0 25 0 1 0 892060475 20054016 4056 4294967295 134512640 134716908 3221224560 3221223100 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 105920 98 0 0 25 0 1 0 892060475 20054016 4056 4294967295 134512640 134716908 3221224560 3221223252 134523378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 106920 98 0 0 25 0 1 0 892060475 20054016 4056 4294967295 134512640 134716908 3221224560 3221223180 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 107921 98 0 0 25 0 1 0 892060475 20054016 4056 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 108920 99 0 0 25 0 1 0 892060475 20054016 4056 4294967295 134512640 134716908 3221224560 3221223216 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4706 0 0 0 109919 100 0 0 25 0 1 0 892060475 20054016 4056 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 4833 0 0 0 110919 101 0 0 25 0 1 0 892060475 20557824 4179 4294967295 134512640 134716908 3221224560 3221223196 1076647540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 4179 1111 63 0 4956 0
vsize: 20076
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 5429 0 0 0 111917 103 0 0 25 0 1 0 892060475 23121920 4775 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5645 4775 1111 63 0 5582 0
vsize: 22580
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 6016 0 0 0 112915 106 0 0 25 0 1 0 892060475 25423872 5362 4294967295 134512640 134716908 3221224560 3221223160 134542822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6207 5362 1111 63 0 6144 0
vsize: 24828
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 6467 0 0 0 113913 107 0 0 25 0 1 0 892060475 27267072 5813 4294967295 134512640 134716908 3221224560 3221222956 1077379903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6657 5813 1111 63 0 6594 0
vsize: 26628
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 6853 0 0 0 114912 109 0 0 25 0 1 0 892060475 28889088 6199 4294967295 134512640 134716908 3221224560 3221223148 134539205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7053 6199 1111 63 0 6990 0
vsize: 28212
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 7178 0 0 0 115911 110 0 0 25 0 1 0 892060475 30187520 6511 4294967295 134512640 134716908 3221224560 3221223320 134552685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6511 1111 63 0 7307 0
vsize: 29480
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 7500 0 0 0 116909 112 0 0 25 0 1 0 892060475 31539200 6833 4294967295 134512640 134716908 3221224560 3221223168 134548556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7700 6833 1111 63 0 7637 0
vsize: 30800
[startup+1174.85 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 3527
Raw data (stat): 3470 (bsolo_lpr-v2) R 3469 7266 7265 0 -1 0 7500 0 0 0 116909 112 0 0 25 0 1 0 892060475 31539200 6833 4294967295 134512640 134716908 3221224560 3221223168 134548556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7700 6833 1111 63 0 7637 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.02
CPU user time (s): 1173.88
CPU system time (s): 1.14582
CPU usage (%): 100.015
Max. virtual memory (Kb): 30800
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####