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-chnl35_36_pb.cnf.cr.opb
MD5SUM	c779424bd1795a1e1adf6f4e7f38e307
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	37
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.075987
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	72
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	36
Trace number 39390

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 07:34:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27456 boxname=wulflinc5 idbench=14 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  c779424bd1795a1e1adf6f4e7f38e307  /oldhome/oroussel/tmp/wulflinc5/normalized-chnl35_36_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-chnl35_36_pb.cnf.cr.opb
IDLAUNCH: 27456
/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:        348944 kB
Buffers:         34252 kB
Cached:         627228 kB
SwapCached:        568 kB
Active:          57144 kB
Inactive:       606340 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        348692 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            16556 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 07:54:27 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 27456 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 2520 variables and 142 constraints.
c After prepocess the problem consists of 2520 variables and 142 constraints.
c preprocess terminated 0.87 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.93 0.97 0.75 2/54 2705
Raw data (stat): 2705 (runsolver) R 2704 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891232558 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.0006 s]
Raw data (loadavg): 0.94 0.97 0.75 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 1444 0 0 0 991 6 0 0 25 0 1 0 891232558 9060352 1362 4294967295 134512640 134716908 3221224576 3221222968 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2212 1362 1111 63 0 2149 0
vsize: 8848
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.97 0.76 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 1581 0 0 0 1989 8 0 0 25 0 1 0 891232558 9592832 1499 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2342 1499 1111 63 0 2279 0
vsize: 9368
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.97 0.76 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 1648 0 0 0 2987 10 0 0 25 0 1 0 891232558 9977856 1566 4294967295 134512640 134716908 3221224576 3221223148 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2436 1566 1111 63 0 2373 0
vsize: 9744
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.97 0.76 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 1724 0 0 0 3985 12 0 0 25 0 1 0 891232558 10248192 1642 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1642 1111 63 0 2439 0
vsize: 10008
[startup+50.0016 s]
Raw data (loadavg): 0.97 0.97 0.76 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 1878 0 0 0 4982 15 0 0 25 0 1 0 891232558 10788864 1796 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2634 1796 1111 63 0 2571 0
vsize: 10536
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.76 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2072 0 0 0 5981 17 0 0 25 0 1 0 891232558 11599872 1990 4294967295 134512640 134716908 3221224576 3221223360 134584919 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2832 1990 1111 63 0 2769 0
vsize: 11328
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.97 0.77 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2143 0 0 0 6980 19 0 0 25 0 1 0 891232558 11984896 2061 4294967295 134512640 134716908 3221224576 3221223216 134698644 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2926 2061 1111 63 0 2863 0
vsize: 11704
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.97 0.77 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2179 0 0 0 7978 20 0 0 25 0 1 0 891232558 12087296 2097 4294967295 134512640 134716908 3221224576 3221223324 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2951 2097 1111 63 0 2888 0
vsize: 11804
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.97 0.77 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2210 0 0 0 8978 21 0 0 25 0 1 0 891232558 12222464 2128 4294967295 134512640 134716908 3221224576 3221223228 134536831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2984 2128 1111 63 0 2921 0
vsize: 11936
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.77 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2337 0 0 0 9976 23 0 0 25 0 1 0 891232558 12763136 2255 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3116 2255 1111 63 0 3053 0
vsize: 12464
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2433 0 0 0 10975 24 0 0 25 0 1 0 891232558 13168640 2351 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2351 1111 63 0 3152 0
vsize: 12860
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2548 0 0 0 11974 26 0 0 25 0 1 0 891232558 13570048 2466 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3313 2466 1111 63 0 3250 0
vsize: 13252
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2604 0 0 0 12972 27 0 0 25 0 1 0 891232558 13840384 2522 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3379 2522 1111 63 0 3316 0
vsize: 13516
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2623 0 0 0 13971 28 0 0 25 0 1 0 891232558 13840384 2541 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3379 2541 1111 63 0 3316 0
vsize: 13516
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2650 0 0 0 14970 30 0 0 25 0 1 0 891232558 13975552 2568 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3412 2568 1111 63 0 3349 0
vsize: 13648
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2737 0 0 0 15968 32 0 0 25 0 1 0 891232558 14372864 2655 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3509 2655 1111 63 0 3446 0
vsize: 14036
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2833 0 0 0 16967 33 0 0 25 0 1 0 891232558 14778368 2751 4294967295 134512640 134716908 3221224576 3221223360 134528943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3608 2751 1111 63 0 3545 0
vsize: 14432
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2913 0 0 0 17966 35 0 0 25 0 1 0 891232558 15040512 2831 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3672 2831 1111 63 0 3609 0
vsize: 14688
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 2970 0 0 0 18965 36 0 0 25 0 1 0 891232558 15310848 2888 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3738 2888 1111 63 0 3675 0
vsize: 14952
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3023 0 0 0 19964 37 0 0 25 0 1 0 891232558 15581184 2941 4294967295 134512640 134716908 3221224576 3221223212 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3804 2941 1111 63 0 3741 0
vsize: 15216
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3058 0 0 0 20962 39 0 0 25 0 1 0 891232558 15716352 2976 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2976 1111 63 0 3774 0
vsize: 15348
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3073 0 0 0 21961 40 0 0 25 0 1 0 891232558 15716352 2991 4294967295 134512640 134716908 3221224576 3221223320 134535691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2991 1111 63 0 3774 0
vsize: 15348
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3098 0 0 0 22959 42 0 0 25 0 1 0 891232558 15847424 3016 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 3016 1111 63 0 3806 0
vsize: 15476
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3110 0 0 0 23958 43 0 0 25 0 1 0 891232558 15847424 3028 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 3028 1111 63 0 3806 0
vsize: 15476
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3140 0 0 0 24957 44 0 0 25 0 1 0 891232558 15982592 3058 4294967295 134512640 134716908 3221224576 3221223168 134549764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3902 3058 1111 63 0 3839 0
vsize: 15608
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3151 0 0 0 25956 46 0 0 25 0 1 0 891232558 16117760 3069 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3935 3069 1111 63 0 3872 0
vsize: 15740
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3225 0 0 0 26955 47 0 0 25 0 1 0 891232558 16388096 3143 4294967295 134512640 134716908 3221224576 3221222972 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 3143 1111 63 0 3938 0
vsize: 16004
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3323 0 0 0 27954 49 0 0 25 0 1 0 891232558 16793600 3241 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4100 3241 1111 63 0 4037 0
vsize: 16400
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3350 0 0 0 28953 50 0 0 25 0 1 0 891232558 16928768 3268 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4133 3268 1111 63 0 4070 0
vsize: 16532
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3366 0 0 0 29952 51 0 0 25 0 1 0 891232558 16928768 3284 4294967295 134512640 134716908 3221224576 3221223068 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4133 3284 1111 63 0 4070 0
vsize: 16532
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3386 0 0 0 30950 52 0 0 25 0 1 0 891232558 17063936 3304 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4166 3304 1111 63 0 4103 0
vsize: 16664
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3413 0 0 0 31949 54 0 0 25 0 1 0 891232558 17199104 3331 4294967295 134512640 134716908 3221224576 3221223312 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4199 3331 1111 63 0 4136 0
vsize: 16796
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3447 0 0 0 32948 55 0 0 25 0 1 0 891232558 17334272 3365 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4232 3365 1111 63 0 4169 0
vsize: 16928
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3471 0 0 0 33947 56 0 0 25 0 1 0 891232558 17334272 3389 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4232 3389 1111 63 0 4169 0
vsize: 16928
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3511 0 0 0 34947 57 0 0 25 0 1 0 891232558 17604608 3429 4294967295 134512640 134716908 3221224576 3221223192 134549509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4298 3429 1111 63 0 4235 0
vsize: 17192
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3538 0 0 0 35945 59 0 0 25 0 1 0 891232558 17604608 3456 4294967295 134512640 134716908 3221224576 3221223228 134536779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4298 3456 1111 63 0 4235 0
vsize: 17192
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3563 0 0 0 36944 60 0 0 25 0 1 0 891232558 17739776 3481 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3481 1111 63 0 4268 0
vsize: 17324
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3614 0 0 0 37943 61 0 0 25 0 1 0 891232558 18010112 3532 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4397 3532 1111 63 0 4334 0
vsize: 17588
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3628 0 0 0 38943 63 0 0 25 0 1 0 891232558 18010112 3546 4294967295 134512640 134716908 3221224576 3221223252 1077374441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4397 3546 1111 63 0 4334 0
vsize: 17588
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3629 0 0 0 39942 64 0 0 25 0 1 0 891232558 18010112 3547 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4397 3547 1111 63 0 4334 0
vsize: 17588
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3677 0 0 0 40941 65 0 0 25 0 1 0 891232558 18276352 3595 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4462 3595 1111 63 0 4399 0
vsize: 17848
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3699 0 0 0 41940 66 0 0 25 0 1 0 891232558 18259968 3617 4294967295 134512640 134716908 3221224576 3221223200 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 3617 1111 63 0 4395 0
vsize: 17832
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3737 0 0 0 42939 67 0 0 25 0 1 0 891232558 18518016 3655 4294967295 134512640 134716908 3221224576 3221223328 134592441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4521 3655 1111 63 0 4458 0
vsize: 18084
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3807 0 0 0 43938 69 0 0 25 0 1 0 891232558 18784256 3725 4294967295 134512640 134716908 3221224576 3221223216 134698453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4586 3725 1111 63 0 4523 0
vsize: 18344
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3844 0 0 0 44937 70 0 0 25 0 1 0 891232558 18919424 3762 4294967295 134512640 134716908 3221224576 3221223172 134549856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3762 1111 63 0 4556 0
vsize: 18476
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3856 0 0 0 45936 71 0 0 25 0 1 0 891232558 18919424 3774 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3774 1111 63 0 4556 0
vsize: 18476
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3869 0 0 0 46935 72 0 0 25 0 1 0 891232558 19046400 3787 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 3787 1111 63 0 4587 0
vsize: 18600
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3924 0 0 0 47934 74 0 0 25 0 1 0 891232558 19181568 3842 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4683 3842 1111 63 0 4620 0
vsize: 18732
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3942 0 0 0 48932 75 0 0 25 0 1 0 891232558 19316736 3860 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4716 3860 1111 63 0 4653 0
vsize: 18864
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 3957 0 0 0 49932 76 0 0 25 0 1 0 891232558 19316736 3875 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4716 3875 1111 63 0 4653 0
vsize: 18864
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4063 0 0 0 50931 77 0 0 25 0 1 0 891232558 19849216 3981 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4846 3981 1111 63 0 4783 0
vsize: 19384
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4115 0 0 0 51930 78 0 0 25 0 1 0 891232558 19984384 4033 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4879 4033 1111 63 0 4816 0
vsize: 19516
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4153 0 0 0 52929 79 0 0 25 0 1 0 891232558 20119552 4071 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4912 4071 1111 63 0 4849 0
vsize: 19648
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4184 0 0 0 53928 80 0 0 25 0 1 0 891232558 20250624 4102 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4102 1111 63 0 4881 0
vsize: 19776
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4208 0 0 0 54927 81 0 0 25 0 1 0 891232558 20385792 4126 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4977 4126 1111 63 0 4914 0
vsize: 19908
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4230 0 0 0 55926 82 0 0 25 0 1 0 891232558 20512768 4148 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5008 4148 1111 63 0 4945 0
vsize: 20032
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4261 0 0 0 56925 84 0 0 25 0 1 0 891232558 20647936 4179 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5041 4179 1111 63 0 4978 0
vsize: 20164
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4320 0 0 0 57925 84 0 0 25 0 1 0 891232558 20905984 4238 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5104 4238 1111 63 0 5041 0
vsize: 20416
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4345 0 0 0 58923 87 0 0 25 0 1 0 891232558 20905984 4263 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5104 4263 1111 63 0 5041 0
vsize: 20416
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4382 0 0 0 59922 88 0 0 25 0 1 0 891232558 21139456 4300 4294967295 134512640 134716908 3221224576 3221223296 134584802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5161 4300 1111 63 0 5098 0
vsize: 20644
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4415 0 0 0 60920 89 0 0 25 0 1 0 891232558 21274624 4333 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 4333 1111 63 0 5131 0
vsize: 20776
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4441 0 0 0 61919 91 0 0 25 0 1 0 891232558 21405696 4359 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5226 4359 1111 63 0 5163 0
vsize: 20904
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4476 0 0 0 62918 92 0 0 25 0 1 0 891232558 21520384 4394 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5254 4394 1111 63 0 5191 0
vsize: 21016
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4500 0 0 0 63917 93 0 0 25 0 1 0 891232558 21655552 4418 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4418 1111 63 0 5224 0
vsize: 21148
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4517 0 0 0 64917 94 0 0 25 0 1 0 891232558 21655552 4435 4294967295 134512640 134716908 3221224576 3221223320 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4435 1111 63 0 5224 0
vsize: 21148
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4556 0 0 0 65916 95 0 0 25 0 1 0 891232558 21786624 4474 4294967295 134512640 134716908 3221224576 3221223132 134535676 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5319 4474 1111 63 0 5256 0
vsize: 21276
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4580 0 0 0 66915 96 0 0 25 0 1 0 891232558 21921792 4498 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5352 4498 1111 63 0 5289 0
vsize: 21408
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4602 0 0 0 67913 98 0 0 25 0 1 0 891232558 22056960 4520 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5385 4520 1111 63 0 5322 0
vsize: 21540
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4626 0 0 0 68912 100 0 0 25 0 1 0 891232558 22056960 4544 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5385 4544 1111 63 0 5322 0
vsize: 21540
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4687 0 0 0 69911 100 0 0 25 0 1 0 891232558 22319104 4605 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5449 4605 1111 63 0 5386 0
vsize: 21796
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4711 0 0 0 70910 101 0 0 25 0 1 0 891232558 22454272 4629 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5482 4629 1111 63 0 5419 0
vsize: 21928
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4711 0 0 0 71909 103 0 0 25 0 1 0 891232558 22454272 4629 4294967295 134512640 134716908 3221224576 3221223136 134698912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5482 4629 1111 63 0 5419 0
vsize: 21928
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4719 0 0 0 72909 104 0 0 25 0 1 0 891232558 22454272 4637 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5482 4637 1111 63 0 5419 0
vsize: 21928
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4731 0 0 0 73908 104 0 0 25 0 1 0 891232558 22589440 4649 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5515 4649 1111 63 0 5452 0
vsize: 22060
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4743 0 0 0 74907 106 0 0 25 0 1 0 891232558 22589440 4661 4294967295 134512640 134716908 3221224576 3221223320 134675309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5515 4661 1111 63 0 5452 0
vsize: 22060
[startup+760.055 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4760 0 0 0 75909 106 0 0 25 0 1 0 891232558 22704128 4678 4294967295 134512640 134716908 3221224576 3221223264 134594338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 4678 1111 63 0 5480 0
vsize: 22172
[startup+770.055 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4779 0 0 0 76908 107 0 0 25 0 1 0 891232558 22704128 4697 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 4697 1111 63 0 5480 0
vsize: 22172
[startup+780.055 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4794 0 0 0 77906 109 0 0 25 0 1 0 891232558 22839296 4712 4294967295 134512640 134716908 3221224576 3221223064 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5576 4712 1111 63 0 5513 0
vsize: 22304
[startup+790.055 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4817 0 0 0 78905 110 0 0 25 0 1 0 891232558 22839296 4735 4294967295 134512640 134716908 3221224576 3221223216 134698484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5576 4735 1111 63 0 5513 0
vsize: 22304
[startup+800.054 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4840 0 0 0 79904 112 0 0 25 0 1 0 891232558 22974464 4758 4294967295 134512640 134716908 3221224576 3221223312 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5609 4758 1111 63 0 5546 0
vsize: 22436
[startup+810.055 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4840 0 0 0 80903 113 0 0 25 0 1 0 891232558 22974464 4758 4294967295 134512640 134716908 3221224576 3221223360 134528780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5609 4758 1111 63 0 5546 0
vsize: 22436
[startup+820.055 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4863 0 0 0 81902 113 0 0 25 0 1 0 891232558 23109632 4781 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5642 4781 1111 63 0 5579 0
vsize: 22568
[startup+830.054 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4886 0 0 0 82902 114 0 0 25 0 1 0 891232558 23109632 4804 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5642 4804 1111 63 0 5579 0
vsize: 22568
[startup+840.054 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4903 0 0 0 83901 116 0 0 25 0 1 0 891232558 23240704 4821 4294967295 134512640 134716908 3221224576 3221222888 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4821 1111 63 0 5611 0
vsize: 22696
[startup+850.054 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4925 0 0 0 84899 117 0 0 25 0 1 0 891232558 23367680 4843 4294967295 134512640 134716908 3221224576 3221223280 134528738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 4843 1111 63 0 5642 0
vsize: 22820
[startup+860.055 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4971 0 0 0 85899 118 0 0 25 0 1 0 891232558 23502848 4889 4294967295 134512640 134716908 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5738 4889 1111 63 0 5675 0
vsize: 22952
[startup+870.054 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4983 0 0 0 86898 119 0 0 25 0 1 0 891232558 23638016 4901 4294967295 134512640 134716908 3221224576 3221223248 134594380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5771 4901 1111 63 0 5708 0
vsize: 23084
[startup+880.055 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4990 0 0 0 87897 119 0 0 25 0 1 0 891232558 23638016 4908 4294967295 134512640 134716908 3221224576 3221223280 134528436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5771 4908 1111 63 0 5708 0
vsize: 23084
[startup+890.055 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 4999 0 0 0 88896 121 0 0 25 0 1 0 891232558 23638016 4917 4294967295 134512640 134716908 3221224576 3221223120 134699068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5771 4917 1111 63 0 5708 0
vsize: 23084
[startup+900.055 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5019 0 0 0 89896 122 0 0 25 0 1 0 891232558 23773184 4937 4294967295 134512640 134716908 3221224576 3221223200 134698391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5804 4937 1111 63 0 5741 0
vsize: 23216
[startup+910.056 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5025 0 0 0 90894 123 0 0 25 0 1 0 891232558 23773184 4943 4294967295 134512640 134716908 3221224576 3221223312 134558507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5804 4943 1111 63 0 5741 0
vsize: 23216
[startup+920.056 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5025 0 0 0 91893 124 0 0 25 0 1 0 891232558 23773184 4943 4294967295 134512640 134716908 3221224576 3221223136 134698917 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5804 4943 1111 63 0 5741 0
vsize: 23216
[startup+930.056 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5028 0 0 0 92892 125 0 0 25 0 1 0 891232558 23773184 4946 4294967295 134512640 134716908 3221224576 3221223216 134698462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5804 4946 1111 63 0 5741 0
vsize: 23216
[startup+940.056 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5040 0 0 0 93892 126 0 0 25 0 1 0 891232558 23773184 4958 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5804 4958 1111 63 0 5741 0
vsize: 23216
[startup+950.056 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5061 0 0 0 94891 127 0 0 25 0 1 0 891232558 23904256 4979 4294967295 134512640 134716908 3221224576 3221223260 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5836 4979 1111 63 0 5773 0
vsize: 23344
[startup+960.057 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5061 0 0 0 95890 128 0 0 25 0 1 0 891232558 23904256 4979 4294967295 134512640 134716908 3221224576 3221223232 134536730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5836 4979 1111 63 0 5773 0
vsize: 23344
[startup+970.057 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5061 0 0 0 96888 130 0 0 25 0 1 0 891232558 23904256 4979 4294967295 134512640 134716908 3221224576 3221223140 134535880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5836 4979 1111 63 0 5773 0
vsize: 23344
[startup+980.057 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5161 0 0 0 97887 131 0 0 25 0 1 0 891232558 24293376 5079 4294967295 134512640 134716908 3221224576 3221223216 134536700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5931 5079 1111 63 0 5868 0
vsize: 23724
[startup+990.057 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5281 0 0 0 98886 133 0 0 25 0 1 0 891232558 24821760 5199 4294967295 134512640 134716908 3221224576 3221223312 134558529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6060 5199 1111 63 0 5997 0
vsize: 24240
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5379 0 0 0 99885 134 0 0 25 0 1 0 891232558 25223168 5297 4294967295 134512640 134716908 3221224576 3221223132 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6158 5297 1111 63 0 6095 0
vsize: 24632
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5427 0 0 0 100884 135 0 0 25 0 1 0 891232558 25358336 5345 4294967295 134512640 134716908 3221224576 3221223216 134613480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6191 5345 1111 63 0 6128 0
vsize: 24764
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5452 0 0 0 101883 136 0 0 25 0 1 0 891232558 25493504 5370 4294967295 134512640 134716908 3221224576 3221223252 1077374455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6224 5370 1111 63 0 6161 0
vsize: 24896
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5469 0 0 0 102881 138 0 0 25 0 1 0 891232558 25628672 5387 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6257 5387 1111 63 0 6194 0
vsize: 25028
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5484 0 0 0 103880 140 0 0 25 0 1 0 891232558 25628672 5402 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6257 5402 1111 63 0 6194 0
vsize: 25028
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5484 0 0 0 104879 141 0 0 25 0 1 0 891232558 25628672 5402 4294967295 134512640 134716908 3221224576 3221223340 134534136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6257 5402 1111 63 0 6194 0
vsize: 25028
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5484 0 0 0 105879 142 0 0 25 0 1 0 891232558 25628672 5402 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6257 5402 1111 63 0 6194 0
vsize: 25028
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5507 0 0 0 106878 143 0 0 25 0 1 0 891232558 25763840 5425 4294967295 134512640 134716908 3221224576 3221222660 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5425 1111 63 0 6227 0
vsize: 25160
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5512 0 0 0 107877 144 0 0 25 0 1 0 891232558 25763840 5430 4294967295 134512640 134716908 3221224576 3221223184 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5430 1111 63 0 6227 0
vsize: 25160
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5535 0 0 0 108876 145 0 0 25 0 1 0 891232558 25899008 5453 4294967295 134512640 134716908 3221224576 3221223340 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6323 5453 1111 63 0 6260 0
vsize: 25292
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5537 0 0 0 109875 146 0 0 25 0 1 0 891232558 25866240 5455 4294967295 134512640 134716908 3221224576 3221223344 134592140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 5455 1111 63 0 6252 0
vsize: 25260
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5548 0 0 0 110874 147 0 0 25 0 1 0 891232558 25866240 5466 4294967295 134512640 134716908 3221224576 3221223408 134551450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 5466 1111 63 0 6252 0
vsize: 25260
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5575 0 0 0 111874 148 0 0 25 0 1 0 891232558 26001408 5493 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6348 5493 1111 63 0 6285 0
vsize: 25392
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5629 0 0 0 112872 150 0 0 25 0 1 0 891232558 26251264 5547 4294967295 134512640 134716908 3221224576 3221223216 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 5547 1111 63 0 6346 0
vsize: 25636
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5749 0 0 0 113870 151 0 0 25 0 1 0 891232558 26656768 5667 4294967295 134512640 134716908 3221224576 3221223136 134698905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6508 5667 1111 63 0 6445 0
vsize: 26032
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5790 0 0 0 114869 153 0 0 25 0 1 0 891232558 26927104 5708 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6574 5708 1111 63 0 6511 0
vsize: 26296
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5842 0 0 0 115868 154 0 0 25 0 1 0 891232558 27062272 5760 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6607 5760 1111 63 0 6544 0
vsize: 26428
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5851 0 0 0 116867 156 0 0 25 0 1 0 891232558 27062272 5769 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6607 5769 1111 63 0 6544 0
vsize: 26428
[startup+1174.86 s]
Raw data (loadavg): 0.99 0.97 0.90 1/53 2705
Raw data (stat): 2705 (bsolo_lpr-v2) R 2704 7266 7265 0 -1 0 5851 0 0 0 116867 156 0 0 25 0 1 0 891232558 27062272 5769 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6607 5769 1111 63 0 6544 0
vsize: 0

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