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-chnl40_41_pb.cnf.cr.opb
MD5SUM	3c9e81ddaaf37dd621fe2bc839a3f27f
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	42
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.098984
Number of variables	3280
Total number of constraints	162
Number of constraints which are clauses	82
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	40
Maximum length of a constraint	41
Trace number 39393

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 07:51:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27459 boxname=wulflinc3 idbench=17 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  3c9e81ddaaf37dd621fe2bc839a3f27f  /oldhome/oroussel/tmp/wulflinc3/normalized-chnl40_41_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-chnl40_41_pb.cnf.cr.opb
IDLAUNCH: 27459
/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:        280120 kB
Buffers:         33940 kB
Cached:         697228 kB
SwapCached:        240 kB
Active:          63544 kB
Inactive:       670140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        279868 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15216 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:10:57 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27459 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 3280 variables and 162 constraints.
c After prepocess the problem consists of 3280 variables and 162 constraints.
c preprocess terminated 1.243 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.14 1.00 0.88 2/54 8424
Raw data (stat): 8424 (runsolver) R 8423 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891323157 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.0016 s]
Raw data (loadavg): 1.11 1.00 0.89 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1432 0 0 0 992 5 0 0 25 0 1 0 891323157 8986624 1350 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2194 1350 1111 63 0 2131 0
vsize: 8776
[startup+20.0018 s]
Raw data (loadavg): 1.10 1.00 0.89 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1491 0 0 0 1988 8 0 0 25 0 1 0 891323157 9236480 1409 4294967295 134512640 134716908 3221224576 3221223196 134613768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2255 1409 1111 63 0 2192 0
vsize: 9020
[startup+30.003 s]
Raw data (loadavg): 1.08 1.00 0.89 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1525 0 0 0 2986 11 0 0 25 0 1 0 891323157 9498624 1443 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2319 1443 1111 63 0 2256 0
vsize: 9276
[startup+40.0028 s]
Raw data (loadavg): 1.07 1.00 0.89 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1543 0 0 0 3985 12 0 0 25 0 1 0 891323157 9498624 1461 4294967295 134512640 134716908 3221224576 3221223312 134591870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2319 1461 1111 63 0 2256 0
vsize: 9276
[startup+50.0023 s]
Raw data (loadavg): 1.06 1.00 0.89 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1546 0 0 0 4983 14 0 0 25 0 1 0 891323157 9498624 1464 4294967295 134512640 134716908 3221224576 3221223204 134698624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2319 1464 1111 63 0 2256 0
vsize: 9276
[startup+60.0025 s]
Raw data (loadavg): 1.05 1.00 0.89 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1588 0 0 0 5982 16 0 0 25 0 1 0 891323157 9633792 1506 4294967295 134512640 134716908 3221224576 3221223300 134613716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2352 1506 1111 63 0 2289 0
vsize: 9408
[startup+70.0037 s]
Raw data (loadavg): 1.04 1.00 0.89 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1610 0 0 0 6981 17 0 0 25 0 1 0 891323157 9768960 1528 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2385 1528 1111 63 0 2322 0
vsize: 9540
[startup+80.0039 s]
Raw data (loadavg): 1.03 1.00 0.89 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1610 0 0 0 7979 19 0 0 25 0 1 0 891323157 9768960 1528 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2385 1528 1111 63 0 2322 0
vsize: 9540
[startup+90.0041 s]
Raw data (loadavg): 1.03 1.00 0.89 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1613 0 0 0 8978 21 0 0 25 0 1 0 891323157 9768960 1531 4294967295 134512640 134716908 3221224576 3221223312 134524376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2385 1531 1111 63 0 2322 0
vsize: 9540
[startup+100.004 s]
Raw data (loadavg): 1.02 1.00 0.89 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1636 0 0 0 9976 22 0 0 25 0 1 0 891323157 9895936 1554 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2416 1554 1111 63 0 2353 0
vsize: 9664
[startup+110.004 s]
Raw data (loadavg): 1.02 1.00 0.89 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1641 0 0 0 10975 24 0 0 25 0 1 0 891323157 9895936 1559 4294967295 134512640 134716908 3221224576 3221223344 134592113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2416 1559 1111 63 0 2353 0
vsize: 9664
[startup+120.005 s]
Raw data (loadavg): 1.02 1.00 0.90 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1655 0 0 0 11973 26 0 0 25 0 1 0 891323157 10022912 1573 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2447 1573 1111 63 0 2384 0
vsize: 9788
[startup+130.006 s]
Raw data (loadavg): 1.01 1.00 0.90 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1669 0 0 0 12972 28 0 0 25 0 1 0 891323157 10022912 1587 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2447 1587 1111 63 0 2384 0
vsize: 9788
[startup+140.006 s]
Raw data (loadavg): 1.01 1.00 0.90 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1690 0 0 0 13970 30 0 0 25 0 1 0 891323157 10145792 1608 4294967295 134512640 134716908 3221224576 3221223152 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2477 1608 1111 63 0 2414 0
vsize: 9908
[startup+150.006 s]
Raw data (loadavg): 1.01 1.00 0.90 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1692 0 0 0 14968 31 0 0 25 0 1 0 891323157 10145792 1610 4294967295 134512640 134716908 3221224576 3221223152 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2477 1610 1111 63 0 2414 0
vsize: 9908
[startup+160.007 s]
Raw data (loadavg): 1.01 1.00 0.90 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1707 0 0 0 15966 34 0 0 25 0 1 0 891323157 10145792 1625 4294967295 134512640 134716908 3221224576 3221223184 134549488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2477 1625 1111 63 0 2414 0
vsize: 9908
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1733 0 0 0 16965 35 0 0 25 0 1 0 891323157 10268672 1651 4294967295 134512640 134716908 3221224576 3221223344 134592140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2507 1651 1111 63 0 2444 0
vsize: 10028
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1739 0 0 0 17963 37 0 0 25 0 1 0 891323157 10268672 1657 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2507 1657 1111 63 0 2444 0
vsize: 10028
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1750 0 0 0 18962 39 0 0 25 0 1 0 891323157 10403840 1668 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2540 1668 1111 63 0 2477 0
vsize: 10160
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1750 0 0 0 19960 40 0 0 25 0 1 0 891323157 10403840 1668 4294967295 134512640 134716908 3221224576 3221223368 134558593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2540 1668 1111 63 0 2477 0
vsize: 10160
[startup+210.007 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1750 0 0 0 20959 42 0 0 25 0 1 0 891323157 10403840 1668 4294967295 134512640 134716908 3221224576 3221223312 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2540 1668 1111 63 0 2477 0
vsize: 10160
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1763 0 0 0 21957 44 0 0 25 0 1 0 891323157 10403840 1681 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2540 1681 1111 63 0 2477 0
vsize: 10160
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1763 0 0 0 22956 46 0 0 25 0 1 0 891323157 10403840 1681 4294967295 134512640 134716908 3221224576 3221223288 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2540 1681 1111 63 0 2477 0
vsize: 10160
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1763 0 0 0 23954 47 0 0 25 0 1 0 891323157 10403840 1681 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2540 1681 1111 63 0 2477 0
vsize: 10160
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1771 0 0 0 24954 48 0 0 25 0 1 0 891323157 10403840 1689 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2540 1689 1111 63 0 2477 0
vsize: 10160
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1804 0 0 0 25952 50 0 0 25 0 1 0 891323157 10526720 1722 4294967295 134512640 134716908 3221224576 3221223216 134698484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2570 1722 1111 63 0 2507 0
vsize: 10280
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1808 0 0 0 26950 52 0 0 25 0 1 0 891323157 10526720 1726 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2570 1726 1111 63 0 2507 0
vsize: 10280
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1842 0 0 0 27948 54 0 0 25 0 1 0 891323157 10797056 1760 4294967295 134512640 134716908 3221224576 3221222732 134613982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2636 1760 1111 63 0 2573 0
vsize: 10544
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1842 0 0 0 28947 55 0 0 25 0 1 0 891323157 10752000 1760 4294967295 134512640 134716908 3221224576 3221222808 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2625 1760 1111 63 0 2562 0
vsize: 10500
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1849 0 0 0 29946 57 0 0 25 0 1 0 891323157 10752000 1767 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2625 1767 1111 63 0 2562 0
vsize: 10500
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1859 0 0 0 30945 58 0 0 25 0 1 0 891323157 10752000 1777 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2625 1777 1111 63 0 2562 0
vsize: 10500
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1867 0 0 0 31944 59 0 0 25 0 1 0 891323157 10887168 1785 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2658 1785 1111 63 0 2595 0
vsize: 10632
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1874 0 0 0 32942 61 0 0 25 0 1 0 891323157 10887168 1792 4294967295 134512640 134716908 3221224576 3221223144 1077377294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2658 1792 1111 63 0 2595 0
vsize: 10632
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1874 0 0 0 33941 62 0 0 25 0 1 0 891323157 10887168 1792 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2658 1792 1111 63 0 2595 0
vsize: 10632
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1874 0 0 0 34940 63 0 0 25 0 1 0 891323157 10887168 1792 4294967295 134512640 134716908 3221224576 3221223316 134558500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2658 1792 1111 63 0 2595 0
vsize: 10632
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1891 0 0 0 35939 64 0 0 25 0 1 0 891323157 10887168 1809 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2658 1809 1111 63 0 2595 0
vsize: 10632
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1891 0 0 0 36938 66 0 0 25 0 1 0 891323157 10887168 1809 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2658 1809 1111 63 0 2595 0
vsize: 10632
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1892 0 0 0 37937 67 0 0 25 0 1 0 891323157 10887168 1810 4294967295 134512640 134716908 3221224576 3221223216 134524198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2658 1810 1111 63 0 2595 0
vsize: 10632
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1916 0 0 0 38936 68 0 0 25 0 1 0 891323157 11022336 1834 4294967295 134512640 134716908 3221224576 3221223300 134613716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2691 1834 1111 63 0 2628 0
vsize: 10764
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1947 0 0 0 39935 70 0 0 25 0 1 0 891323157 11145216 1865 4294967295 134512640 134716908 3221224576 3221223328 134592373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2721 1865 1111 63 0 2658 0
vsize: 10884
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1970 0 0 0 40934 71 0 0 25 0 1 0 891323157 11280384 1888 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2754 1888 1111 63 0 2691 0
vsize: 11016
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1999 0 0 0 41932 73 0 0 25 0 1 0 891323157 11411456 1917 4294967295 134512640 134716908 3221224576 3221223248 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2786 1917 1111 63 0 2723 0
vsize: 11144
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2013 0 0 0 42931 74 0 0 25 0 1 0 891323157 11411456 1931 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2786 1931 1111 63 0 2723 0
vsize: 11144
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2053 0 0 0 43930 75 0 0 25 0 1 0 891323157 11546624 1971 4294967295 134512640 134716908 3221224576 3221223248 134524436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2819 1971 1111 63 0 2756 0
vsize: 11276
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2076 0 0 0 44928 77 0 0 25 0 1 0 891323157 11681792 1994 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2852 1994 1111 63 0 2789 0
vsize: 11408
[startup+460.014 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2085 0 0 0 45928 78 0 0 25 0 1 0 891323157 11681792 2003 4294967295 134512640 134716908 3221224576 3221223396 134590259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2852 2003 1111 63 0 2789 0
vsize: 11408
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2092 0 0 0 46927 79 0 0 25 0 1 0 891323157 11792384 2010 4294967295 134512640 134716908 3221224576 3221223184 134543698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2879 2010 1111 63 0 2816 0
vsize: 11516
[startup+480.016 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2115 0 0 0 47926 80 0 0 25 0 1 0 891323157 11792384 2033 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2879 2033 1111 63 0 2816 0
vsize: 11516
[startup+490.016 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2115 0 0 0 48924 82 0 0 25 0 1 0 891323157 11792384 2033 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2879 2033 1111 63 0 2816 0
vsize: 11516
[startup+500.016 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2121 0 0 0 49923 83 0 0 25 0 1 0 891323157 11927552 2039 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2912 2039 1111 63 0 2849 0
vsize: 11648
[startup+510.016 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2130 0 0 0 50921 86 0 0 25 0 1 0 891323157 11919360 2048 4294967295 134512640 134716908 3221224576 3221223136 134698942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2910 2048 1111 63 0 2847 0
vsize: 11640
[startup+520.017 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 8424
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2137 0 0 0 51920 87 0 0 25 0 1 0 891323157 11919360 2055 4294967295 134512640 134716908 3221224576 3221223232 134536730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2910 2055 1111 63 0 2847 0
vsize: 11640
[startup+530.017 s]
Raw data (loadavg): 1.30 1.07 0.93 2/54 8477
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2152 0 0 0 52917 89 0 0 25 0 1 0 891323157 12054528 2070 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2943 2070 1111 63 0 2880 0
vsize: 11772
[startup+540.018 s]
Raw data (loadavg): 1.25 1.06 0.93 2/54 8477
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2168 0 0 0 53916 90 0 0 25 0 1 0 891323157 12054528 2086 4294967295 134512640 134716908 3221224576 3221223248 134655184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2943 2086 1111 63 0 2880 0
vsize: 11772
[startup+550.018 s]
Raw data (loadavg): 1.21 1.06 0.93 2/54 8477
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2183 0 0 0 54915 91 0 0 25 0 1 0 891323157 12185600 2101 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2975 2101 1111 63 0 2912 0
vsize: 11900
[startup+560.019 s]
Raw data (loadavg): 1.18 1.06 0.93 2/54 8477
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2198 0 0 0 55914 93 0 0 25 0 1 0 891323157 12165120 2116 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2970 2116 1111 63 0 2907 0
vsize: 11880
[startup+570.019 s]
Raw data (loadavg): 1.15 1.06 0.93 2/54 8477
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2203 0 0 0 56913 94 0 0 25 0 1 0 891323157 12165120 2121 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2970 2121 1111 63 0 2907 0
vsize: 11880
[startup+580.019 s]
Raw data (loadavg): 1.13 1.05 0.93 2/54 8477
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2209 0 0 0 57912 95 0 0 25 0 1 0 891323157 12283904 2127 4294967295 134512640 134716908 3221224576 3221223296 134535793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2999 2127 1111 63 0 2936 0
vsize: 11996
[startup+590.02 s]
Raw data (loadavg): 1.11 1.05 0.93 2/54 8477
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2220 0 0 0 58911 96 0 0 25 0 1 0 891323157 12283904 2138 4294967295 134512640 134716908 3221224576 3221223260 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2999 2138 1111 63 0 2936 0
vsize: 11996
[startup+600.02 s]
Raw data (loadavg): 1.09 1.05 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2233 0 0 0 59910 97 0 0 25 0 1 0 891323157 12283904 2151 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2999 2151 1111 63 0 2936 0
vsize: 11996
[startup+610.021 s]
Raw data (loadavg): 1.08 1.05 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2237 0 0 0 60909 98 0 0 25 0 1 0 891323157 12283904 2155 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2999 2155 1111 63 0 2936 0
vsize: 11996
[startup+620.022 s]
Raw data (loadavg): 1.06 1.05 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2243 0 0 0 61908 100 0 0 25 0 1 0 891323157 12414976 2161 4294967295 134512640 134716908 3221224576 3221223300 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3031 2161 1111 63 0 2968 0
vsize: 12124
[startup+630.023 s]
Raw data (loadavg): 1.05 1.04 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2251 0 0 0 62907 101 0 0 25 0 1 0 891323157 12414976 2169 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3031 2169 1111 63 0 2968 0
vsize: 12124
[startup+640.023 s]
Raw data (loadavg): 1.05 1.04 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2281 0 0 0 63905 103 0 0 25 0 1 0 891323157 12550144 2199 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3064 2199 1111 63 0 3001 0
vsize: 12256
[startup+650.022 s]
Raw data (loadavg): 1.04 1.04 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2288 0 0 0 64904 104 0 0 25 0 1 0 891323157 12550144 2206 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3064 2206 1111 63 0 3001 0
vsize: 12256
[startup+660.023 s]
Raw data (loadavg): 1.03 1.04 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2310 0 0 0 65903 105 0 0 25 0 1 0 891323157 12685312 2228 4294967295 134512640 134716908 3221224576 3221223352 134529371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3097 2228 1111 63 0 3034 0
vsize: 12388
[startup+670.023 s]
Raw data (loadavg): 1.03 1.04 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2326 0 0 0 66902 107 0 0 25 0 1 0 891323157 12685312 2244 4294967295 134512640 134716908 3221224576 3221223124 134698782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3097 2244 1111 63 0 3034 0
vsize: 12388
[startup+680.025 s]
Raw data (loadavg): 1.02 1.03 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2348 0 0 0 67901 108 0 0 25 0 1 0 891323157 12820480 2266 4294967295 134512640 134716908 3221224576 3221223104 1076999584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3130 2266 1111 63 0 3067 0
vsize: 12520
[startup+690.025 s]
Raw data (loadavg): 1.02 1.03 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2348 0 0 0 68900 110 0 0 25 0 1 0 891323157 12820480 2266 4294967295 134512640 134716908 3221224576 3221223216 134524203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3130 2266 1111 63 0 3067 0
vsize: 12520
[startup+700.025 s]
Raw data (loadavg): 1.02 1.03 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2355 0 0 0 69899 111 0 0 25 0 1 0 891323157 12820480 2273 4294967295 134512640 134716908 3221224576 3221223384 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3130 2273 1111 63 0 3067 0
vsize: 12520
[startup+710.025 s]
Raw data (loadavg): 1.01 1.03 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2365 0 0 0 70897 113 0 0 25 0 1 0 891323157 12820480 2283 4294967295 134512640 134716908 3221224576 3221223216 134698456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3130 2283 1111 63 0 3067 0
vsize: 12520
[startup+720.026 s]
Raw data (loadavg): 1.01 1.03 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2377 0 0 0 71896 114 0 0 25 0 1 0 891323157 12951552 2295 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3162 2295 1111 63 0 3099 0
vsize: 12648
[startup+730.027 s]
Raw data (loadavg): 1.01 1.03 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2377 0 0 0 72895 115 0 0 25 0 1 0 891323157 12951552 2295 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3162 2295 1111 63 0 3099 0
vsize: 12648
[startup+740.028 s]
Raw data (loadavg): 1.01 1.03 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2377 0 0 0 73894 116 0 0 25 0 1 0 891323157 12951552 2295 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3162 2295 1111 63 0 3099 0
vsize: 12648
[startup+750.028 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2400 0 0 0 74892 118 0 0 25 0 1 0 891323157 12951552 2318 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3162 2318 1111 63 0 3099 0
vsize: 12648
[startup+760.029 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2400 0 0 0 75891 120 0 0 25 0 1 0 891323157 12951552 2318 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3162 2318 1111 63 0 3099 0
vsize: 12648
[startup+770.028 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2400 0 0 0 76890 121 0 0 25 0 1 0 891323157 12951552 2318 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3162 2318 1111 63 0 3099 0
vsize: 12648
[startup+780.029 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2410 0 0 0 77888 123 0 0 25 0 1 0 891323157 13082624 2328 4294967295 134512640 134716908 3221224576 3221223304 134558785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3194 2328 1111 63 0 3131 0
vsize: 12776
[startup+790.03 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2419 0 0 0 78887 124 0 0 25 0 1 0 891323157 13082624 2337 4294967295 134512640 134716908 3221224576 3221223232 134536707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3194 2337 1111 63 0 3131 0
vsize: 12776
[startup+800.03 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2427 0 0 0 79886 125 0 0 25 0 1 0 891323157 13082624 2345 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3194 2345 1111 63 0 3131 0
vsize: 12776
[startup+810.031 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2436 0 0 0 80885 127 0 0 25 0 1 0 891323157 13217792 2354 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2354 1111 63 0 3164 0
vsize: 12908
[startup+820.032 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2436 0 0 0 81883 129 0 0 25 0 1 0 891323157 13217792 2354 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2354 1111 63 0 3164 0
vsize: 12908
[startup+830.032 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2436 0 0 0 82881 131 0 0 25 0 1 0 891323157 13217792 2354 4294967295 134512640 134716908 3221224576 3221223372 134554961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2354 1111 63 0 3164 0
vsize: 12908
[startup+840.032 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2443 0 0 0 83881 132 0 0 25 0 1 0 891323157 13217792 2361 4294967295 134512640 134716908 3221224576 3221223136 134535881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2361 1111 63 0 3164 0
vsize: 12908
[startup+850.032 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2443 0 0 0 84879 133 0 0 25 0 1 0 891323157 13217792 2361 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2361 1111 63 0 3164 0
vsize: 12908
[startup+860.033 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 8479
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2451 0 0 0 85878 135 0 0 25 0 1 0 891323157 13217792 2369 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2369 1111 63 0 3164 0
vsize: 12908
[startup+870.033 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2453 0 0 0 86876 136 0 0 25 0 1 0 891323157 13217792 2371 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2371 1111 63 0 3164 0
vsize: 12908
[startup+880.034 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2453 0 0 0 87876 137 0 0 25 0 1 0 891323157 13217792 2371 4294967295 134512640 134716908 3221224576 3221223120 134698841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2371 1111 63 0 3164 0
vsize: 12908
[startup+890.034 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2453 0 0 0 88875 138 0 0 25 0 1 0 891323157 13217792 2371 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2371 1111 63 0 3164 0
vsize: 12908
[startup+900.034 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2460 0 0 0 89874 140 0 0 25 0 1 0 891323157 13217792 2378 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2378 1111 63 0 3164 0
vsize: 12908
[startup+910.035 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2460 0 0 0 90874 140 0 0 25 0 1 0 891323157 13217792 2378 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2378 1111 63 0 3164 0
vsize: 12908
[startup+920.036 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2483 0 0 0 91873 141 0 0 25 0 1 0 891323157 13352960 2401 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3260 2401 1111 63 0 3197 0
vsize: 13040
[startup+930.037 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2483 0 0 0 92871 143 0 0 25 0 1 0 891323157 13352960 2401 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3260 2401 1111 63 0 3197 0
vsize: 13040
[startup+940.038 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2483 0 0 0 93870 144 0 0 25 0 1 0 891323157 13352960 2401 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3260 2401 1111 63 0 3197 0
vsize: 13040
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2486 0 0 0 94869 146 0 0 25 0 1 0 891323157 13352960 2404 4294967295 134512640 134716908 3221224576 3221223196 134613768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3260 2404 1111 63 0 3197 0
vsize: 13040
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2535 0 0 0 95868 147 0 0 25 0 1 0 891323157 13619200 2453 4294967295 134512640 134716908 3221224576 3221222964 1077378722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3325 2453 1111 63 0 3262 0
vsize: 13300
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2547 0 0 0 96867 148 0 0 25 0 1 0 891323157 13582336 2465 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3316 2465 1111 63 0 3253 0
vsize: 13264
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2547 0 0 0 97866 150 0 0 25 0 1 0 891323157 13582336 2465 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3316 2465 1111 63 0 3253 0
vsize: 13264
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2555 0 0 0 98865 151 0 0 25 0 1 0 891323157 13660160 2473 4294967295 134512640 134716908 3221224576 3221223200 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3335 2473 1111 63 0 3272 0
vsize: 13340
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 99864 152 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 100863 153 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223216 134698453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 101861 154 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 102860 155 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 103858 158 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 104857 159 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 105856 161 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223324 134675317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 106854 162 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 107853 164 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 108851 165 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2589 0 0 0 109851 166 0 0 25 0 1 0 891323157 13795328 2507 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2507 1111 63 0 3305 0
vsize: 13472
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2589 0 0 0 110850 168 0 0 25 0 1 0 891323157 13795328 2507 4294967295 134512640 134716908 3221224576 3221223312 134535735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2507 1111 63 0 3305 0
vsize: 13472
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2591 0 0 0 111848 170 0 0 25 0 1 0 891323157 13795328 2509 4294967295 134512640 134716908 3221224576 3221223252 134524430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2509 1111 63 0 3305 0
vsize: 13472
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2602 0 0 0 112846 171 0 0 25 0 1 0 891323157 13795328 2520 4294967295 134512640 134716908 3221224576 3221223344 134592328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3368 2520 1111 63 0 3305 0
vsize: 13472
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2609 0 0 0 113845 173 0 0 25 0 1 0 891323157 13930496 2527 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3401 2527 1111 63 0 3338 0
vsize: 13604
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2629 0 0 0 114844 174 0 0 25 0 1 0 891323157 13930496 2547 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3401 2547 1111 63 0 3338 0
vsize: 13604
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2629 0 0 0 115843 175 0 0 25 0 1 0 891323157 13930496 2547 4294967295 134512640 134716908 3221224576 3221223144 1077377501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3401 2547 1111 63 0 3338 0
vsize: 13604
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2645 0 0 0 116842 176 0 0 25 0 1 0 891323157 14065664 2563 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3434 2563 1111 63 0 3371 0
vsize: 13736
[startup+1174.87 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 8481
Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2645 0 0 0 116842 176 0 0 25 0 1 0 891323157 14065664 2563 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3434 2563 1111 63 0 3371 0
vsize: 0

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