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-chnl50_60_pb.cnf.cr.opb
MD5SUM	6968a43b42bba7df68b13fdfd3b616a1
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	61
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.187971
Number of variables	6000
Total number of constraints	220
Number of constraints which are clauses	120
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	60
Trace number 39400

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 08:07:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27464 boxname=wulflinc4 idbench=22 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6968a43b42bba7df68b13fdfd3b616a1  /oldhome/oroussel/tmp/wulflinc4/normalized-chnl50_60_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl50_60_pb.cnf.cr.opb
IDLAUNCH: 27464
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        404856 kB
Buffers:         34352 kB
Cached:         571912 kB
SwapCached:        568 kB
Active:          56624 kB
Inactive:       551768 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        404604 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15712 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:27:29 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27464 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 6000 variables and 220 constraints.
c After prepocess the problem consists of 6000 variables and 220 constraints.
c preprocess terminated 3.143 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.97 0.91 1/54 11908
Raw data (stat): 11908 (runsolver) R 11907 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891421395 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2091 0 0 0 990 7 0 0 25 0 1 0 891421395 11788288 2009 4294967295 134512640 134716908 3221224576 3221223168 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2878 2009 1111 63 0 2815 0
vsize: 11512
[startup+20.001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2132 0 0 0 1988 9 0 0 25 0 1 0 891421395 12058624 2050 4294967295 134512640 134716908 3221224576 3221223316 134555030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2050 1111 63 0 2881 0
vsize: 11776
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2141 0 0 0 2987 11 0 0 25 0 1 0 891421395 12058624 2059 4294967295 134512640 134716908 3221224576 3221223232 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2059 1111 63 0 2881 0
vsize: 11776
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2196 0 0 0 3985 12 0 0 25 0 1 0 891421395 12328960 2114 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3010 2114 1111 63 0 2947 0
vsize: 12040
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2219 0 0 0 4984 14 0 0 25 0 1 0 891421395 12324864 2137 4294967295 134512640 134716908 3221224576 3221223216 134698445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3009 2137 1111 63 0 2946 0
vsize: 12036
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2243 0 0 0 5983 15 0 0 25 0 1 0 891421395 12460032 2161 4294967295 134512640 134716908 3221224576 3221223204 134698593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3042 2161 1111 63 0 2979 0
vsize: 12168
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2268 0 0 0 6981 17 0 0 25 0 1 0 891421395 12578816 2186 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3071 2186 1111 63 0 3008 0
vsize: 12284
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2278 0 0 0 7980 18 0 0 25 0 1 0 891421395 12578816 2196 4294967295 134512640 134716908 3221224576 3221222972 1077379851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3071 2196 1111 63 0 3008 0
vsize: 12284
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2289 0 0 0 8979 20 0 0 25 0 1 0 891421395 12713984 2207 4294967295 134512640 134716908 3221224576 3221223200 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3104 2207 1111 63 0 3041 0
vsize: 12416
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2299 0 0 0 9978 21 0 0 25 0 1 0 891421395 12713984 2217 4294967295 134512640 134716908 3221224576 3221223172 134543706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3104 2217 1111 63 0 3041 0
vsize: 12416
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2300 0 0 0 10976 22 0 0 25 0 1 0 891421395 12713984 2218 4294967295 134512640 134716908 3221224576 3221223320 134591816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3104 2218 1111 63 0 3041 0
vsize: 12416
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2324 0 0 0 11975 24 0 0 25 0 1 0 891421395 12849152 2242 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3137 2242 1111 63 0 3074 0
vsize: 12548
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2337 0 0 0 12974 25 0 0 25 0 1 0 891421395 12832768 2255 4294967295 134512640 134716908 3221224576 3221223180 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3133 2255 1111 63 0 3070 0
vsize: 12532
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2365 0 0 0 13974 26 0 0 25 0 1 0 891421395 12967936 2283 4294967295 134512640 134716908 3221224576 3221223232 134524108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3166 2283 1111 63 0 3103 0
vsize: 12664
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2394 0 0 0 14973 27 0 0 25 0 1 0 891421395 13099008 2312 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3198 2312 1111 63 0 3135 0
vsize: 12792
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2421 0 0 0 15971 29 0 0 25 0 1 0 891421395 13234176 2339 4294967295 134512640 134716908 3221224576 3221223432 134589925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3231 2339 1111 63 0 3168 0
vsize: 12924
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2448 0 0 0 16970 30 0 0 25 0 1 0 891421395 13369344 2366 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2366 1111 63 0 3201 0
vsize: 13056
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2512 0 0 0 17969 31 0 0 25 0 1 0 891421395 13504512 2430 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 2430 1111 63 0 3234 0
vsize: 13188
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2512 0 0 0 18968 33 0 0 25 0 1 0 891421395 13504512 2430 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 2430 1111 63 0 3234 0
vsize: 13188
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2512 0 0 0 19966 34 0 0 25 0 1 0 891421395 13504512 2430 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 2430 1111 63 0 3234 0
vsize: 13188
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2522 0 0 0 20965 36 0 0 25 0 1 0 891421395 13639680 2440 4294967295 134512640 134716908 3221224576 3221223200 134543707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 2440 1111 63 0 3267 0
vsize: 13320
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2526 0 0 0 21964 37 0 0 25 0 1 0 891421395 13639680 2444 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 2444 1111 63 0 3267 0
vsize: 13320
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2558 0 0 0 22964 37 0 0 25 0 1 0 891421395 13774848 2476 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 2476 1111 63 0 3300 0
vsize: 13452
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2558 0 0 0 23963 39 0 0 25 0 1 0 891421395 13774848 2476 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 2476 1111 63 0 3300 0
vsize: 13452
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2568 0 0 0 24962 40 0 0 25 0 1 0 891421395 13774848 2486 4294967295 134512640 134716908 3221224576 3221223144 1077378337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 2486 1111 63 0 3300 0
vsize: 13452
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2583 0 0 0 25961 41 0 0 25 0 1 0 891421395 13910016 2501 4294967295 134512640 134716908 3221224576 3221223204 134698595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3396 2501 1111 63 0 3333 0
vsize: 13584
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2583 0 0 0 26960 41 0 0 25 0 1 0 891421395 13848576 2501 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3381 2501 1111 63 0 3318 0
vsize: 13524
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2588 0 0 0 27960 42 0 0 25 0 1 0 891421395 13848576 2506 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3381 2506 1111 63 0 3318 0
vsize: 13524
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2605 0 0 0 28958 44 0 0 25 0 1 0 891421395 13971456 2523 4294967295 134512640 134716908 3221224576 3221223132 134535882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3411 2523 1111 63 0 3348 0
vsize: 13644
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2638 0 0 0 29957 45 0 0 25 0 1 0 891421395 14106624 2556 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3444 2556 1111 63 0 3381 0
vsize: 13776
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2652 0 0 0 30955 47 0 0 25 0 1 0 891421395 14077952 2570 4294967295 134512640 134716908 3221224576 3221223312 134558529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3437 2570 1111 63 0 3374 0
vsize: 13748
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2670 0 0 0 31955 48 0 0 25 0 1 0 891421395 14155776 2588 4294967295 134512640 134716908 3221224576 3221223216 134698428 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3456 2588 1111 63 0 3393 0
vsize: 13824
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2672 0 0 0 32954 49 0 0 25 0 1 0 891421395 14155776 2590 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3456 2590 1111 63 0 3393 0
vsize: 13824
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2686 0 0 0 33953 50 0 0 25 0 1 0 891421395 14278656 2604 4294967295 134512640 134716908 3221224576 3221223316 134591990 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3486 2604 1111 63 0 3423 0
vsize: 13944
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2704 0 0 0 34952 51 0 0 25 0 1 0 891421395 14389248 2622 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3513 2622 1111 63 0 3450 0
vsize: 14052
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2717 0 0 0 35951 52 0 0 25 0 1 0 891421395 14389248 2635 4294967295 134512640 134716908 3221224576 3221223296 134591885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3513 2635 1111 63 0 3450 0
vsize: 14052
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2722 0 0 0 36950 53 0 0 25 0 1 0 891421395 14389248 2640 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3513 2640 1111 63 0 3450 0
vsize: 14052
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2724 0 0 0 37949 55 0 0 25 0 1 0 891421395 14389248 2642 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3513 2642 1111 63 0 3450 0
vsize: 14052
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2735 0 0 0 38948 56 0 0 25 0 1 0 891421395 14520320 2653 4294967295 134512640 134716908 3221224576 3221223208 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2653 1111 63 0 3482 0
vsize: 14180
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2735 0 0 0 39947 57 0 0 25 0 1 0 891421395 14520320 2653 4294967295 134512640 134716908 3221224576 3221223184 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2653 1111 63 0 3482 0
vsize: 14180
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2735 0 0 0 40947 58 0 0 25 0 1 0 891421395 14520320 2653 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2653 1111 63 0 3482 0
vsize: 14180
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2735 0 0 0 41946 59 0 0 25 0 1 0 891421395 14520320 2653 4294967295 134512640 134716908 3221224576 3221223144 1077377797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2653 1111 63 0 3482 0
vsize: 14180
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2735 0 0 0 42945 60 0 0 25 0 1 0 891421395 14520320 2653 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2653 1111 63 0 3482 0
vsize: 14180
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2735 0 0 0 43944 61 0 0 25 0 1 0 891421395 14520320 2653 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2653 1111 63 0 3482 0
vsize: 14180
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2755 0 0 0 44943 62 0 0 25 0 1 0 891421395 14520320 2673 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2673 1111 63 0 3482 0
vsize: 14180
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2760 0 0 0 45942 63 0 0 25 0 1 0 891421395 14520320 2678 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2678 1111 63 0 3482 0
vsize: 14180
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2768 0 0 0 46941 65 0 0 25 0 1 0 891421395 14626816 2686 4294967295 134512640 134716908 3221224576 3221223296 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2686 1111 63 0 3508 0
vsize: 14284
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2782 0 0 0 47940 66 0 0 25 0 1 0 891421395 14626816 2700 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2700 1111 63 0 3508 0
vsize: 14284
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2783 0 0 0 48939 67 0 0 25 0 1 0 891421395 14626816 2701 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2701 1111 63 0 3508 0
vsize: 14284
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2783 0 0 0 49937 69 0 0 25 0 1 0 891421395 14626816 2701 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2701 1111 63 0 3508 0
vsize: 14284
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2783 0 0 0 50936 70 0 0 25 0 1 0 891421395 14626816 2701 4294967295 134512640 134716908 3221224576 3221222816 134699717 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2701 1111 63 0 3508 0
vsize: 14284
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2784 0 0 0 51935 71 0 0 25 0 1 0 891421395 14626816 2702 4294967295 134512640 134716908 3221224576 3221223252 1077374508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2702 1111 63 0 3508 0
vsize: 14284
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2786 0 0 0 52934 73 0 0 25 0 1 0 891421395 14626816 2704 4294967295 134512640 134716908 3221224576 3221222992 134699623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2704 1111 63 0 3508 0
vsize: 14284
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2797 0 0 0 53933 74 0 0 25 0 1 0 891421395 14761984 2715 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3604 2715 1111 63 0 3541 0
vsize: 14416
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2797 0 0 0 54932 75 0 0 25 0 1 0 891421395 14761984 2715 4294967295 134512640 134716908 3221224576 3221223384 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3604 2715 1111 63 0 3541 0
vsize: 14416
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2804 0 0 0 55931 76 0 0 25 0 1 0 891421395 14761984 2722 4294967295 134512640 134716908 3221224576 3221223216 134698487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3604 2722 1111 63 0 3541 0
vsize: 14416
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2847 0 0 0 56931 77 0 0 25 0 1 0 891421395 14897152 2765 4294967295 134512640 134716908 3221224576 3221223304 134524385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2847 0 0 0 57929 78 0 0 25 0 1 0 891421395 14897152 2765 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2847 0 0 0 58928 80 0 0 25 0 1 0 891421395 14897152 2765 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2847 0 0 0 59927 81 0 0 25 0 1 0 891421395 14897152 2765 4294967295 134512640 134716908 3221224576 3221223308 1076647540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2847 0 0 0 60926 82 0 0 25 0 1 0 891421395 14897152 2765 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2847 0 0 0 61925 83 0 0 25 0 1 0 891421395 14897152 2765 4294967295 134512640 134716908 3221224576 3221223184 134549269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2847 0 0 0 62925 84 0 0 25 0 1 0 891421395 14897152 2765 4294967295 134512640 134716908 3221224576 3221223264 134524417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2847 0 0 0 63924 85 0 0 25 0 1 0 891421395 14897152 2765 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2847 0 0 0 64923 86 0 0 25 0 1 0 891421395 14897152 2765 4294967295 134512640 134716908 3221224576 3221223312 134535829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2858 0 0 0 65923 86 0 0 25 0 1 0 891421395 15028224 2776 4294967295 134512640 134716908 3221224576 3221223132 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2776 1111 63 0 3606 0
vsize: 14676
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2858 0 0 0 66922 87 0 0 25 0 1 0 891421395 15028224 2776 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2776 1111 63 0 3606 0
vsize: 14676
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2858 0 0 0 67921 88 0 0 25 0 1 0 891421395 15028224 2776 4294967295 134512640 134716908 3221224576 3221223360 134528780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2776 1111 63 0 3606 0
vsize: 14676
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2863 0 0 0 68921 89 0 0 25 0 1 0 891421395 15028224 2781 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2781 1111 63 0 3606 0
vsize: 14676
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2863 0 0 0 69920 90 0 0 25 0 1 0 891421395 15028224 2781 4294967295 134512640 134716908 3221224576 3221223320 134551632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2781 1111 63 0 3606 0
vsize: 14676
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2863 0 0 0 70920 90 0 0 25 0 1 0 891421395 15028224 2781 4294967295 134512640 134716908 3221224576 3221223232 134524211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2781 1111 63 0 3606 0
vsize: 14676
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2872 0 0 0 71918 92 0 0 25 0 1 0 891421395 15028224 2790 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2790 1111 63 0 3606 0
vsize: 14676
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2872 0 0 0 72918 93 0 0 25 0 1 0 891421395 15028224 2790 4294967295 134512640 134716908 3221224576 3221223304 134558801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2790 1111 63 0 3606 0
vsize: 14676
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2882 0 0 0 73917 94 0 0 25 0 1 0 891421395 15028224 2800 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2800 1111 63 0 3606 0
vsize: 14676
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2882 0 0 0 74916 95 0 0 25 0 1 0 891421395 15028224 2800 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2800 1111 63 0 3606 0
vsize: 14676
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2882 0 0 0 75915 96 0 0 25 0 1 0 891421395 15028224 2800 4294967295 134512640 134716908 3221224576 3221223192 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2800 1111 63 0 3606 0
vsize: 14676
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2883 0 0 0 76915 96 0 0 25 0 1 0 891421395 15028224 2801 4294967295 134512640 134716908 3221224576 3221223160 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2801 1111 63 0 3606 0
vsize: 14676
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2883 0 0 0 77915 96 0 0 25 0 1 0 891421395 15028224 2801 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2801 1111 63 0 3606 0
vsize: 14676
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2900 0 0 0 78914 98 0 0 25 0 1 0 891421395 15163392 2818 4294967295 134512640 134716908 3221224576 3221223136 134699211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2818 1111 63 0 3639 0
vsize: 14808
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2915 0 0 0 79913 99 0 0 25 0 1 0 891421395 15163392 2833 4294967295 134512640 134716908 3221224576 3221223316 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2915 0 0 0 80912 100 0 0 25 0 1 0 891421395 15163392 2833 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2915 0 0 0 81911 101 0 0 25 0 1 0 891421395 15163392 2833 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2915 0 0 0 82910 102 0 0 25 0 1 0 891421395 15163392 2833 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2915 0 0 0 83909 103 0 0 25 0 1 0 891421395 15163392 2833 4294967295 134512640 134716908 3221224576 3221223232 134524193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2915 0 0 0 84908 104 0 0 25 0 1 0 891421395 15163392 2833 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2915 0 0 0 85907 106 0 0 25 0 1 0 891421395 15163392 2833 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2915 0 0 0 86906 107 0 0 25 0 1 0 891421395 15163392 2833 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2915 0 0 0 87905 108 0 0 25 0 1 0 891421395 15163392 2833 4294967295 134512640 134716908 3221224576 3221223056 134699598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2915 0 0 0 88904 110 0 0 25 0 1 0 891421395 15163392 2833 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2931 0 0 0 89903 111 0 0 25 0 1 0 891421395 15298560 2849 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3735 2849 1111 63 0 3672 0
vsize: 14940
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2931 0 0 0 90902 111 0 0 25 0 1 0 891421395 15278080 2849 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2849 1111 63 0 3667 0
vsize: 14920
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2931 0 0 0 91901 113 0 0 25 0 1 0 891421395 15278080 2849 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2849 1111 63 0 3667 0
vsize: 14920
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2936 0 0 0 92901 114 0 0 25 0 1 0 891421395 15278080 2854 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2854 1111 63 0 3667 0
vsize: 14920
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2939 0 0 0 93900 115 0 0 25 0 1 0 891421395 15278080 2857 4294967295 134512640 134716908 3221224576 3221223152 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2857 1111 63 0 3667 0
vsize: 14920
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2947 0 0 0 94899 116 0 0 25 0 1 0 891421395 15413248 2865 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2865 1111 63 0 3700 0
vsize: 15052
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2947 0 0 0 95898 116 0 0 25 0 1 0 891421395 15413248 2865 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2865 1111 63 0 3700 0
vsize: 15052
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2947 0 0 0 96897 118 0 0 25 0 1 0 891421395 15413248 2865 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2865 1111 63 0 3700 0
vsize: 15052
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 2956 0 0 0 97896 119 0 0 25 0 1 0 891421395 15400960 2874 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3760 2874 1111 63 0 3697 0
vsize: 15040
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3014 0 0 0 98894 121 0 0 25 0 1 0 891421395 15671296 2932 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3014 0 0 0 99894 121 0 0 25 0 1 0 891421395 15671296 2932 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3014 0 0 0 100893 123 0 0 25 0 1 0 891421395 15671296 2932 4294967295 134512640 134716908 3221224576 3221223268 134534132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3014 0 0 0 101892 124 0 0 25 0 1 0 891421395 15671296 2932 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3014 0 0 0 102891 125 0 0 25 0 1 0 891421395 15671296 2932 4294967295 134512640 134716908 3221224576 3221223156 1077378638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3014 0 0 0 103890 127 0 0 25 0 1 0 891421395 15671296 2932 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3014 0 0 0 104889 127 0 0 25 0 1 0 891421395 15671296 2932 4294967295 134512640 134716908 3221224576 3221223168 134549591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3014 0 0 0 105888 129 0 0 25 0 1 0 891421395 15671296 2932 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3015 0 0 0 106887 130 0 0 25 0 1 0 891421395 15671296 2933 4294967295 134512640 134716908 3221224576 3221223140 134552069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2933 1111 63 0 3763 0
vsize: 15304
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3015 0 0 0 107886 131 0 0 25 0 1 0 891421395 15671296 2933 4294967295 134512640 134716908 3221224576 3221223312 134591997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2933 1111 63 0 3763 0
vsize: 15304
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3018 0 0 0 108886 132 0 0 25 0 1 0 891421395 15671296 2936 4294967295 134512640 134716908 3221224576 3221223184 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2936 1111 63 0 3763 0
vsize: 15304
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3025 0 0 0 109885 133 0 0 25 0 1 0 891421395 15671296 2943 4294967295 134512640 134716908 3221224576 3221223224 134698311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2943 1111 63 0 3763 0
vsize: 15304
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3044 0 0 0 110884 134 0 0 25 0 1 0 891421395 15806464 2962 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 2962 1111 63 0 3796 0
vsize: 15436
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3044 0 0 0 111882 136 0 0 25 0 1 0 891421395 15806464 2962 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 2962 1111 63 0 3796 0
vsize: 15436
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3044 0 0 0 112881 137 0 0 25 0 1 0 891421395 15806464 2962 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 2962 1111 63 0 3796 0
vsize: 15436
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3082 0 0 0 113880 138 0 0 25 0 1 0 891421395 15867904 3000 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3000 1111 63 0 3811 0
vsize: 15496
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3082 0 0 0 114879 140 0 0 25 0 1 0 891421395 15867904 3000 4294967295 134512640 134716908 3221224576 3221223204 134698598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3000 1111 63 0 3811 0
vsize: 15496
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3084 0 0 0 115878 141 0 0 25 0 1 0 891421395 15867904 3002 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3002 1111 63 0 3811 0
vsize: 15496
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3084 0 0 0 116877 142 0 0 25 0 1 0 891421395 15867904 3002 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3002 1111 63 0 3811 0
vsize: 15496
[startup+1174.88 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11908
Raw data (stat): 11908 (bsolo_lpr-v2) R 11907 21152 21151 0 -1 0 3084 0 0 0 116877 142 0 0 25 0 1 0 891421395 15867904 3002 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3002 1111 63 0 3811 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.02
CPU user time (s): 1173.59
CPU system time (s): 1.43578
CPU usage (%): 100.012
Max. virtual memory (Kb): 15496
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####