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-chnl30_31_pb.cnf.cr.opb
MD5SUM	79bafd08ddd684356ab9abc8fabf88a7
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	32
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.05399
Number of variables	1860
Total number of constraints	122
Number of constraints which are clauses	62
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	31
Trace number 39387

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 07:31:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27453 boxname=wulflinc3 idbench=11 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  79bafd08ddd684356ab9abc8fabf88a7  /oldhome/oroussel/tmp/wulflinc3/normalized-chnl30_31_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-chnl30_31_pb.cnf.cr.opb
IDLAUNCH: 27453
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        280016 kB
Buffers:         33924 kB
Cached:         697176 kB
SwapCached:        240 kB
Active:          46716 kB
Inactive:       686856 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        279764 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15424 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 07:51:15 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27453 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 1860 variables and 122 constraints.
c After prepocess the problem consists of 1860 variables and 122 constraints.
c preprocess terminated 0.57 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.91 0.95 0.68 1/54 8331
Raw data (stat): 8331 (runsolver) R 8330 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891204893 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.93 0.95 0.68 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 1274 0 0 0 992 5 0 0 25 0 1 0 891204893 8359936 1192 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2041 1192 1111 63 0 1978 0
vsize: 8164
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.95 0.69 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 1328 0 0 0 1990 8 0 0 25 0 1 0 891204893 8613888 1246 4294967295 134512640 134716908 3221224576 3221223216 134698481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2103 1246 1111 63 0 2040 0
vsize: 8412
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.95 0.69 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 1340 0 0 0 2988 10 0 0 25 0 1 0 891204893 8613888 1258 4294967295 134512640 134716908 3221224576 3221223332 134592339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2103 1258 1111 63 0 2040 0
vsize: 8412
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.95 0.69 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 1346 0 0 0 3986 12 0 0 25 0 1 0 891204893 8613888 1264 4294967295 134512640 134716908 3221224576 3221223332 134587950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2103 1264 1111 63 0 2040 0
vsize: 8412
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.96 0.70 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 1363 0 0 0 4983 14 0 0 25 0 1 0 891204893 8749056 1281 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2136 1281 1111 63 0 2073 0
vsize: 8544
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.96 0.70 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 1442 0 0 0 5982 16 0 0 25 0 1 0 891204893 9019392 1360 4294967295 134512640 134716908 3221224576 3221223216 134542340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2202 1360 1111 63 0 2139 0
vsize: 8808
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.70 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 1530 0 0 0 6980 18 0 0 25 0 1 0 891204893 9424896 1448 4294967295 134512640 134716908 3221224576 3221223324 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2301 1448 1111 63 0 2238 0
vsize: 9204
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.96 0.71 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 1731 0 0 0 7977 21 0 0 25 0 1 0 891204893 10223616 1649 4294967295 134512640 134716908 3221224576 3221223204 1077374210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2496 1649 1111 63 0 2433 0
vsize: 9984
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.96 0.71 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 1890 0 0 0 8975 24 0 0 25 0 1 0 891204893 10899456 1808 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2661 1808 1111 63 0 2598 0
vsize: 10644
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.71 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2040 0 0 0 9973 26 0 0 25 0 1 0 891204893 11563008 1958 4294967295 134512640 134716908 3221224576 3221223264 134542845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2823 1958 1111 63 0 2760 0
vsize: 11292
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.71 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2115 0 0 0 10970 28 0 0 25 0 1 0 891204893 11816960 2033 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2885 2033 1111 63 0 2822 0
vsize: 11540
[startup+120.007 s]
Raw data (loadavg): 0.99 0.96 0.72 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2154 0 0 0 11968 31 0 0 25 0 1 0 891204893 11935744 2072 4294967295 134512640 134716908 3221224576 3221223348 134529151 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2914 2072 1111 63 0 2851 0
vsize: 11656
[startup+130.007 s]
Raw data (loadavg): 0.99 0.96 0.72 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2197 0 0 0 12967 32 0 0 25 0 1 0 891204893 12206080 2115 4294967295 134512640 134716908 3221224576 3221223064 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2980 2115 1111 63 0 2917 0
vsize: 11920
[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.72 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2246 0 0 0 13965 34 0 0 25 0 1 0 891204893 12333056 2164 4294967295 134512640 134716908 3221224576 3221222980 134699561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2164 1111 63 0 2948 0
vsize: 12044
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2361 0 0 0 14963 37 0 0 25 0 1 0 891204893 12865536 2279 4294967295 134512640 134716908 3221224576 3221223072 134535397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 2279 1111 63 0 3078 0
vsize: 12564
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2367 0 0 0 15961 38 0 0 25 0 1 0 891204893 12865536 2285 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 2285 1111 63 0 3078 0
vsize: 12564
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2456 0 0 0 16960 40 0 0 25 0 1 0 891204893 13135872 2374 4294967295 134512640 134716908 3221224576 3221223244 134536852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3207 2374 1111 63 0 3144 0
vsize: 12828
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2530 0 0 0 17958 42 0 0 25 0 1 0 891204893 13541376 2448 4294967295 134512640 134716908 3221224576 3221223196 134542656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3306 2448 1111 63 0 3243 0
vsize: 13224
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2569 0 0 0 18956 44 0 0 25 0 1 0 891204893 13676544 2487 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3339 2487 1111 63 0 3276 0
vsize: 13356
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2598 0 0 0 19955 45 0 0 25 0 1 0 891204893 13803520 2516 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3370 2516 1111 63 0 3307 0
vsize: 13480
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2621 0 0 0 20954 46 0 0 25 0 1 0 891204893 13938688 2539 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3403 2539 1111 63 0 3340 0
vsize: 13612
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2654 0 0 0 21952 48 0 0 25 0 1 0 891204893 14065664 2572 4294967295 134512640 134716908 3221224576 3221223168 134549600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3434 2572 1111 63 0 3371 0
vsize: 13736
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2681 0 0 0 22952 49 0 0 25 0 1 0 891204893 14061568 2599 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3433 2599 1111 63 0 3370 0
vsize: 13732
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2703 0 0 0 23951 49 0 0 25 0 1 0 891204893 14192640 2621 4294967295 134512640 134716908 3221224576 3221223344 134529115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3465 2621 1111 63 0 3402 0
vsize: 13860
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2787 0 0 0 24950 51 0 0 25 0 1 0 891204893 14598144 2705 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3564 2705 1111 63 0 3501 0
vsize: 14256
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2879 0 0 0 25948 53 0 0 25 0 1 0 891204893 14995456 2797 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3661 2797 1111 63 0 3598 0
vsize: 14644
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2881 0 0 0 26947 54 0 0 25 0 1 0 891204893 14983168 2799 4294967295 134512640 134716908 3221224576 3221223288 134524591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3658 2799 1111 63 0 3595 0
vsize: 14632
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 2932 0 0 0 27947 55 0 0 25 0 1 0 891204893 15118336 2850 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3691 2850 1111 63 0 3628 0
vsize: 14764
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3057 0 0 0 28945 56 0 0 25 0 1 0 891204893 15659008 2975 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3823 2975 1111 63 0 3760 0
vsize: 15292
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3119 0 0 0 29944 57 0 0 25 0 1 0 891204893 15929344 3037 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3889 3037 1111 63 0 3826 0
vsize: 15556
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3165 0 0 0 30943 59 0 0 25 0 1 0 891204893 16064512 3083 4294967295 134512640 134716908 3221224576 3221223112 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3922 3083 1111 63 0 3859 0
vsize: 15688
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3184 0 0 0 31942 60 0 0 25 0 1 0 891204893 16187392 3102 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3952 3102 1111 63 0 3889 0
vsize: 15808
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3205 0 0 0 32941 61 0 0 25 0 1 0 891204893 16322560 3123 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3985 3123 1111 63 0 3922 0
vsize: 15940
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3218 0 0 0 33940 63 0 0 25 0 1 0 891204893 16322560 3136 4294967295 134512640 134716908 3221224576 3221223340 134552548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3985 3136 1111 63 0 3922 0
vsize: 15940
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3226 0 0 0 34939 63 0 0 25 0 1 0 891204893 16322560 3144 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3985 3144 1111 63 0 3922 0
vsize: 15940
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3243 0 0 0 35939 64 0 0 25 0 1 0 891204893 16437248 3161 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4013 3161 1111 63 0 3950 0
vsize: 16052
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3248 0 0 0 36938 65 0 0 25 0 1 0 891204893 16437248 3166 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4013 3166 1111 63 0 3950 0
vsize: 16052
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3257 0 0 0 37936 67 0 0 25 0 1 0 891204893 16437248 3175 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4013 3175 1111 63 0 3950 0
vsize: 16052
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3280 0 0 0 38936 68 0 0 25 0 1 0 891204893 16572416 3198 4294967295 134512640 134716908 3221224576 3221223264 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4046 3198 1111 63 0 3983 0
vsize: 16184
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3357 0 0 0 39935 69 0 0 25 0 1 0 891204893 16842752 3275 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4112 3275 1111 63 0 4049 0
vsize: 16448
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3357 0 0 0 40935 69 0 0 25 0 1 0 891204893 16842752 3275 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4112 3275 1111 63 0 4049 0
vsize: 16448
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3371 0 0 0 41934 70 0 0 25 0 1 0 891204893 16977920 3289 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 3289 1111 63 0 4082 0
vsize: 16580
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3395 0 0 0 42933 71 0 0 25 0 1 0 891204893 17113088 3313 4294967295 134512640 134716908 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4178 3313 1111 63 0 4115 0
vsize: 16712
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3436 0 0 0 43932 72 0 0 25 0 1 0 891204893 17244160 3354 4294967295 134512640 134716908 3221224576 3221223240 134551617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4210 3354 1111 63 0 4147 0
vsize: 16840
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3475 0 0 0 44931 73 0 0 25 0 1 0 891204893 17338368 3393 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4233 3393 1111 63 0 4170 0
vsize: 16932
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3495 0 0 0 45931 74 0 0 25 0 1 0 891204893 17461248 3413 4294967295 134512640 134716908 3221224576 3221223168 134549821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4263 3413 1111 63 0 4200 0
vsize: 17052
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3530 0 0 0 46929 76 0 0 25 0 1 0 891204893 17596416 3448 4294967295 134512640 134716908 3221224576 3221223060 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4296 3448 1111 63 0 4233 0
vsize: 17184
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3548 0 0 0 47929 77 0 0 25 0 1 0 891204893 17731584 3466 4294967295 134512640 134716908 3221224576 3221223264 134551926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4329 3466 1111 63 0 4266 0
vsize: 17316
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3575 0 0 0 48927 78 0 0 25 0 1 0 891204893 17731584 3493 4294967295 134512640 134716908 3221224576 3221223344 134592128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4329 3493 1111 63 0 4266 0
vsize: 17316
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3603 0 0 0 49926 79 0 0 25 0 1 0 891204893 17866752 3521 4294967295 134512640 134716908 3221224576 3221223424 134595364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4362 3521 1111 63 0 4299 0
vsize: 17448
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3622 0 0 0 50925 81 0 0 25 0 1 0 891204893 18001920 3540 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 3540 1111 63 0 4332 0
vsize: 17580
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3638 0 0 0 51925 81 0 0 25 0 1 0 891204893 18001920 3556 4294967295 134512640 134716908 3221224576 3221223116 134613768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4395 3556 1111 63 0 4332 0
vsize: 17580
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3651 0 0 0 52924 82 0 0 25 0 1 0 891204893 18137088 3569 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4428 3569 1111 63 0 4365 0
vsize: 17712
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3655 0 0 0 53923 83 0 0 25 0 1 0 891204893 18137088 3573 4294967295 134512640 134716908 3221224576 3221223224 134698758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4428 3573 1111 63 0 4365 0
vsize: 17712
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3666 0 0 0 54922 85 0 0 25 0 1 0 891204893 18137088 3584 4294967295 134512640 134716908 3221224576 3221223200 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4428 3584 1111 63 0 4365 0
vsize: 17712
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3679 0 0 0 55921 85 0 0 25 0 1 0 891204893 18272256 3597 4294967295 134512640 134716908 3221224576 3221223344 134592140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4461 3597 1111 63 0 4398 0
vsize: 17844
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3690 0 0 0 56921 86 0 0 25 0 1 0 891204893 18247680 3608 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4455 3608 1111 63 0 4392 0
vsize: 17820
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3718 0 0 0 57920 87 0 0 25 0 1 0 891204893 18382848 3636 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3636 1111 63 0 4425 0
vsize: 17952
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3718 0 0 0 58919 88 0 0 25 0 1 0 891204893 18382848 3636 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3636 1111 63 0 4425 0
vsize: 17952
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3727 0 0 0 59918 90 0 0 25 0 1 0 891204893 18382848 3645 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3645 1111 63 0 4425 0
vsize: 17952
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3737 0 0 0 60917 90 0 0 25 0 1 0 891204893 18382848 3655 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3655 1111 63 0 4425 0
vsize: 17952
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3739 0 0 0 61917 91 0 0 25 0 1 0 891204893 18518016 3657 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4521 3657 1111 63 0 4458 0
vsize: 18084
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3750 0 0 0 62916 92 0 0 25 0 1 0 891204893 18518016 3668 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4521 3668 1111 63 0 4458 0
vsize: 18084
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3781 0 0 0 63914 94 0 0 25 0 1 0 891204893 18653184 3699 4294967295 134512640 134716908 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4554 3699 1111 63 0 4491 0
vsize: 18216
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3821 0 0 0 64914 95 0 0 25 0 1 0 891204893 18788352 3739 4294967295 134512640 134716908 3221224576 3221223296 134613744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4587 3739 1111 63 0 4524 0
vsize: 18348
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3834 0 0 0 65913 96 0 0 25 0 1 0 891204893 18788352 3752 4294967295 134512640 134716908 3221224576 3221223292 1076647546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4587 3752 1111 63 0 4524 0
vsize: 18348
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3867 0 0 0 66912 97 0 0 25 0 1 0 891204893 18923520 3785 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3785 1111 63 0 4557 0
vsize: 18480
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3903 0 0 0 67911 98 0 0 25 0 1 0 891204893 19193856 3821 4294967295 134512640 134716908 3221224576 3221223144 134613769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3821 1111 63 0 4623 0
vsize: 18744
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3903 0 0 0 68910 99 0 0 25 0 1 0 891204893 19193856 3821 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3821 1111 63 0 4623 0
vsize: 18744
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3911 0 0 0 69908 101 0 0 25 0 1 0 891204893 19185664 3829 4294967295 134512640 134716908 3221224576 3221223152 134549852 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4684 3829 1111 63 0 4621 0
vsize: 18736
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3956 0 0 0 70906 103 0 0 25 0 1 0 891204893 19320832 3874 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4717 3874 1111 63 0 4654 0
vsize: 18868
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3974 0 0 0 71905 104 0 0 25 0 1 0 891204893 19456000 3892 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 3892 1111 63 0 4687 0
vsize: 19000
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3985 0 0 0 72905 105 0 0 25 0 1 0 891204893 19456000 3903 4294967295 134512640 134716908 3221224576 3221223232 134543684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 3903 1111 63 0 4687 0
vsize: 19000
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 3997 0 0 0 73904 105 0 0 25 0 1 0 891204893 19456000 3915 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 3915 1111 63 0 4687 0
vsize: 19000
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4041 0 0 0 74903 107 0 0 25 0 1 0 891204893 19726336 3959 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4816 3959 1111 63 0 4753 0
vsize: 19264
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4060 0 0 0 75902 108 0 0 25 0 1 0 891204893 19726336 3978 4294967295 134512640 134716908 3221224576 3221223340 134552560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4816 3978 1111 63 0 4753 0
vsize: 19264
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4101 0 0 0 76902 108 0 0 25 0 1 0 891204893 19992576 4019 4294967295 134512640 134716908 3221224576 3221223288 134551881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4881 4019 1111 63 0 4818 0
vsize: 19524
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4110 0 0 0 77901 109 0 0 25 0 1 0 891204893 19992576 4028 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4881 4028 1111 63 0 4818 0
vsize: 19524
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4124 0 0 0 78901 110 0 0 25 0 1 0 891204893 19992576 4042 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4881 4042 1111 63 0 4818 0
vsize: 19524
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4134 0 0 0 79900 111 0 0 25 0 1 0 891204893 20127744 4052 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4914 4052 1111 63 0 4851 0
vsize: 19656
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4138 0 0 0 80899 112 0 0 25 0 1 0 891204893 20127744 4056 4294967295 134512640 134716908 3221224576 3221223216 134613438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4914 4056 1111 63 0 4851 0
vsize: 19656
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4144 0 0 0 81899 113 0 0 25 0 1 0 891204893 20127744 4062 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4914 4062 1111 63 0 4851 0
vsize: 19656
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4160 0 0 0 82898 114 0 0 25 0 1 0 891204893 20127744 4078 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4914 4078 1111 63 0 4851 0
vsize: 19656
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4170 0 0 0 83897 115 0 0 25 0 1 0 891204893 20262912 4088 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4947 4088 1111 63 0 4884 0
vsize: 19788
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4185 0 0 0 84897 116 0 0 25 0 1 0 891204893 20262912 4103 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4947 4103 1111 63 0 4884 0
vsize: 19788
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4195 0 0 0 85896 117 0 0 25 0 1 0 891204893 20262912 4113 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4947 4113 1111 63 0 4884 0
vsize: 19788
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4214 0 0 0 86894 118 0 0 25 0 1 0 891204893 20398080 4132 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4132 1111 63 0 4917 0
vsize: 19920
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4219 0 0 0 87894 119 0 0 25 0 1 0 891204893 20398080 4137 4294967295 134512640 134716908 3221224576 3221223160 134698684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4980 4137 1111 63 0 4917 0
vsize: 19920
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4240 0 0 0 88892 121 0 0 25 0 1 0 891204893 20529152 4158 4294967295 134512640 134716908 3221224576 3221223132 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 4158 1111 63 0 4949 0
vsize: 20048
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4244 0 0 0 89892 121 0 0 25 0 1 0 891204893 20529152 4162 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 4162 1111 63 0 4949 0
vsize: 20048
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4246 0 0 0 90891 122 0 0 25 0 1 0 891204893 20529152 4164 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 4164 1111 63 0 4949 0
vsize: 20048
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4246 0 0 0 91890 124 0 0 25 0 1 0 891204893 20529152 4164 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 4164 1111 63 0 4949 0
vsize: 20048
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4246 0 0 0 92889 125 0 0 25 0 1 0 891204893 20529152 4164 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 4164 1111 63 0 4949 0
vsize: 20048
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4259 0 0 0 93888 126 0 0 25 0 1 0 891204893 20529152 4177 4294967295 134512640 134716908 3221224576 3221223132 134535637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5012 4177 1111 63 0 4949 0
vsize: 20048
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4267 0 0 0 94887 127 0 0 25 0 1 0 891204893 20664320 4185 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5045 4185 1111 63 0 4982 0
vsize: 20180
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4267 0 0 0 95887 128 0 0 25 0 1 0 891204893 20664320 4185 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5045 4185 1111 63 0 4982 0
vsize: 20180
[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4281 0 0 0 96886 130 0 0 25 0 1 0 891204893 20664320 4199 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5045 4199 1111 63 0 4982 0
vsize: 20180
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4281 0 0 0 97885 130 0 0 25 0 1 0 891204893 20664320 4199 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5045 4199 1111 63 0 4982 0
vsize: 20180
[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4284 0 0 0 98884 132 0 0 25 0 1 0 891204893 20664320 4202 4294967295 134512640 134716908 3221224576 3221223344 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5045 4202 1111 63 0 4982 0
vsize: 20180
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4299 0 0 0 99883 133 0 0 25 0 1 0 891204893 20799488 4217 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5078 4217 1111 63 0 5015 0
vsize: 20312
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4309 0 0 0 100883 133 0 0 25 0 1 0 891204893 20799488 4227 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5078 4227 1111 63 0 5015 0
vsize: 20312
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4321 0 0 0 101882 134 0 0 25 0 1 0 891204893 20799488 4239 4294967295 134512640 134716908 3221224576 3221223228 134536839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5078 4239 1111 63 0 5015 0
vsize: 20312
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4321 0 0 0 102881 135 0 0 25 0 1 0 891204893 20799488 4239 4294967295 134512640 134716908 3221224576 3221223196 134549859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5078 4239 1111 63 0 5015 0
vsize: 20312
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4321 0 0 0 103881 136 0 0 25 0 1 0 891204893 20799488 4239 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5078 4239 1111 63 0 5015 0
vsize: 20312
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4337 0 0 0 104880 137 0 0 25 0 1 0 891204893 20934656 4255 4294967295 134512640 134716908 3221224576 3221223140 134551988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5111 4255 1111 63 0 5048 0
vsize: 20444
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4347 0 0 0 105878 139 0 0 25 0 1 0 891204893 20934656 4265 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5111 4265 1111 63 0 5048 0
vsize: 20444
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4361 0 0 0 106877 140 0 0 25 0 1 0 891204893 21069824 4279 4294967295 134512640 134716908 3221224576 3221222752 134699623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5144 4279 1111 63 0 5081 0
vsize: 20576
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4375 0 0 0 107876 141 0 0 25 0 1 0 891204893 21069824 4293 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5144 4293 1111 63 0 5081 0
vsize: 20576
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4390 0 0 0 108875 143 0 0 25 0 1 0 891204893 21069824 4308 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5144 4308 1111 63 0 5081 0
vsize: 20576
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4413 0 0 0 109874 144 0 0 25 0 1 0 891204893 21172224 4331 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5169 4331 1111 63 0 5106 0
vsize: 20676
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4413 0 0 0 110874 145 0 0 25 0 1 0 891204893 21172224 4331 4294967295 134512640 134716908 3221224576 3221223184 134543719 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5169 4331 1111 63 0 5106 0
vsize: 20676
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4422 0 0 0 111872 146 0 0 25 0 1 0 891204893 21307392 4340 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5202 4340 1111 63 0 5139 0
vsize: 20808
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4436 0 0 0 112872 147 0 0 25 0 1 0 891204893 21307392 4354 4294967295 134512640 134716908 3221224576 3221223228 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5202 4354 1111 63 0 5139 0
vsize: 20808
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4444 0 0 0 113871 148 0 0 25 0 1 0 891204893 21307392 4362 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5202 4362 1111 63 0 5139 0
vsize: 20808
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4460 0 0 0 114870 149 0 0 25 0 1 0 891204893 21442560 4378 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5235 4378 1111 63 0 5172 0
vsize: 20940
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4476 0 0 0 115869 150 0 0 25 0 1 0 891204893 21442560 4394 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5235 4394 1111 63 0 5172 0
vsize: 20940
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4499 0 0 0 116868 152 0 0 25 0 1 0 891204893 21569536 4417 4294967295 134512640 134716908 3221224576 3221223216 134698484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5266 4417 1111 63 0 5203 0
vsize: 21064
[startup+1174.87 s]
Raw data (loadavg): 0.99 0.97 0.87 1/53 8331
Raw data (stat): 8331 (bsolo_lpr-v2) R 8330 20224 20223 0 -1 0 4499 0 0 0 116868 152 0 0 25 0 1 0 891204893 21569536 4417 4294967295 134512640 134716908 3221224576 3221223216 134698484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5266 4417 1111 63 0 5203 0
vsize: 0

Child status: 0
Real time (s): 1174.87
CPU time (s): 1175.02
CPU user time (s): 1173.49
CPU system time (s): 1.53277
CPU usage (%): 100.013
Max. virtual memory (Kb): 21064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####