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-fpga12_10_sat_pb.cnf.cr.opb
MD5SUM	943ed21b69a083554f0cd43700c9a371
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	13
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.05899
Number of variables	180
Total number of constraints	152
Number of constraints which are clauses	130
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 39404

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 08:16:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27470 boxname=wulflinc6 idbench=28 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  943ed21b69a083554f0cd43700c9a371  /oldhome/oroussel/tmp/wulflinc6/normalized-fpga12_10_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-fpga12_10_sat_pb.cnf.cr.opb
IDLAUNCH: 27470
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        255268 kB
Buffers:         33876 kB
Cached:         723176 kB
SwapCached:        536 kB
Active:          58856 kB
Inactive:       700212 kB
HighTotal:      131008 kB
HighFree:        14056 kB
LowTotal:       903652 kB
LowFree:        241212 kB
SwapTotal:     2097136 kB
SwapFree:      2095656 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5204 kB
Slab:            14628 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:36:00 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 27470 7 1175.11 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 180 variables and 152 constraints.
c After prepocess the problem consists of 180 variables and 152 constraints.
c preprocess terminated 0.086 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.84 0.94 0.90 2/54 11921
Raw data (stat): 11921 (runsolver) R 11920 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891481054 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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+9.99946 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 2402 0 0 0 987 9 0 0 25 0 1 0 891481054 12918784 2320 4294967295 134512640 134716908 3221224560 3221223188 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3154 2320 1111 63 0 3091 0
vsize: 12616
[startup+19.9998 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 4147 0 0 0 1982 14 0 0 25 0 1 0 891481054 20086784 4064 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4904 4064 1111 63 0 4841 0
vsize: 19616
[startup+30 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 4963 0 0 0 2980 17 0 0 25 0 1 0 891481054 23490560 4880 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5735 4880 1111 63 0 5672 0
vsize: 22940
[startup+39.9998 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 5613 0 0 0 3978 19 0 0 25 0 1 0 891481054 26226688 5530 4294967295 134512640 134716908 3221224560 3221222912 134699568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6403 5530 1111 63 0 6340 0
vsize: 25612
[startup+50.0003 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 6414 0 0 0 4976 22 0 0 25 0 1 0 891481054 29478912 6331 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7197 6331 1111 63 0 7134 0
vsize: 28788
[startup+60.0005 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 7405 0 0 0 5971 26 0 0 25 0 1 0 891481054 33681408 7322 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8223 7322 1111 63 0 8160 0
vsize: 32892
[startup+70.0002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 8228 0 0 0 6968 30 0 0 25 0 1 0 891481054 36925440 8145 4294967295 134512640 134716908 3221224560 3221223184 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9015 8145 1111 63 0 8952 0
vsize: 36060
[startup+80.0007 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 8970 0 0 0 7965 34 0 0 25 0 1 0 891481054 40042496 8886 4294967295 134512640 134716908 3221224560 3221223200 134536655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9776 8886 1111 63 0 9713 0
vsize: 39104
[startup+90.0009 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 9472 0 0 0 8963 36 0 0 25 0 1 0 891481054 42070016 9388 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10271 9388 1111 63 0 10208 0
vsize: 41084
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 10235 0 0 0 9961 38 0 0 25 0 1 0 891481054 45178880 10151 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11030 10151 1111 63 0 10967 0
vsize: 44120
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 10958 0 0 0 10958 41 0 0 25 0 1 0 891481054 48160768 10874 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11758 10874 1111 63 0 11695 0
vsize: 47032
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 11624 0 0 0 11955 44 0 0 25 0 1 0 891481054 50872320 11536 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11536 1111 63 0 12357 0
vsize: 49680
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 12246 0 0 0 12953 47 0 0 25 0 1 0 891481054 53452800 12158 4294967295 134512640 134716908 3221224560 3221223148 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13050 12158 1111 63 0 12987 0
vsize: 52200
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 12712 0 0 0 13951 49 0 0 25 0 1 0 891481054 55488512 12624 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13547 12624 1111 63 0 13484 0
vsize: 54188
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 13059 0 0 0 14950 50 0 0 25 0 1 0 891481054 56840192 12971 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13877 12971 1111 63 0 13814 0
vsize: 55508
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 13560 0 0 0 15948 52 0 0 25 0 1 0 891481054 58916864 13468 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14384 13468 1111 63 0 14321 0
vsize: 57536
[startup+170 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 14092 0 0 0 16945 55 0 0 25 0 1 0 891481054 61079552 14000 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14912 14000 1111 63 0 14849 0
vsize: 59648
[startup+180 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 14797 0 0 0 17944 57 0 0 25 0 1 0 891481054 64069632 14705 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15642 14705 1111 63 0 15579 0
vsize: 62568
[startup+190 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 15437 0 0 0 18942 59 0 0 25 0 1 0 891481054 66686976 15343 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16281 15343 1111 63 0 16218 0
vsize: 65124
[startup+200 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 15863 0 0 0 19941 60 0 0 25 0 1 0 891481054 68558848 15765 4294967295 134512640 134716908 3221224560 3221223216 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16738 15765 1111 63 0 16675 0
vsize: 66952
[startup+210 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 16304 0 0 0 20940 62 0 0 25 0 1 0 891481054 70320128 16206 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17168 16206 1111 63 0 17105 0
vsize: 68672
[startup+220.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 16593 0 0 0 21939 63 0 0 25 0 1 0 891481054 71561216 16495 4294967295 134512640 134716908 3221224560 3221223328 134529138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17471 16495 1111 63 0 17408 0
vsize: 69884
[startup+230 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 17188 0 0 0 22937 65 0 0 25 0 1 0 891481054 74051584 17087 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18079 17087 1111 63 0 18016 0
vsize: 72316
[startup+240 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 17689 0 0 0 23935 67 0 0 25 0 1 0 891481054 76111872 17584 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18582 17584 1111 63 0 18519 0
vsize: 74328
[startup+250 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 18111 0 0 0 24934 69 0 0 25 0 1 0 891481054 77869056 18001 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19011 18001 1111 63 0 18948 0
vsize: 76044
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 18427 0 0 0 25933 71 0 0 25 0 1 0 891481054 79257600 18317 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19350 18317 1111 63 0 19287 0
vsize: 77400
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 18704 0 0 0 26931 72 0 0 25 0 1 0 891481054 80363520 18593 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19620 18593 1111 63 0 19557 0
vsize: 78480
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 19044 0 0 0 27929 75 0 0 25 0 1 0 891481054 81723392 18932 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19952 18932 1111 63 0 19889 0
vsize: 79808
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 19329 0 0 0 28929 76 0 0 25 0 1 0 891481054 82804736 19217 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19217 1111 63 0 20153 0
vsize: 80864
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 19812 0 0 0 29927 78 0 0 25 0 1 0 891481054 84897792 19695 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20727 19695 1111 63 0 20664 0
vsize: 82908
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 20046 0 0 0 30926 79 0 0 25 0 1 0 891481054 86044672 19927 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21007 19927 1111 63 0 20944 0
vsize: 84028
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 20657 0 0 0 31924 81 0 0 25 0 1 0 891481054 88612864 20538 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21634 20538 1111 63 0 21571 0
vsize: 86536
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 21533 0 0 0 32922 84 0 0 25 0 1 0 891481054 92160000 21411 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22500 21411 1111 63 0 22437 0
vsize: 90000
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 22434 0 0 0 33918 88 0 0 25 0 1 0 891481054 95838208 22312 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23398 22312 1111 63 0 23335 0
vsize: 93592
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 23371 0 0 0 34915 91 0 0 25 0 1 0 891481054 99758080 23247 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24355 23247 1111 63 0 24292 0
vsize: 97420
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 23989 0 0 0 35913 94 0 0 25 0 1 0 891481054 102330368 23865 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24983 23865 1111 63 0 24920 0
vsize: 99932
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 24354 0 0 0 36912 95 0 0 25 0 1 0 891481054 103837696 24230 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25351 24230 1111 63 0 25288 0
vsize: 101404
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 24596 0 0 0 37911 96 0 0 25 0 1 0 891481054 104796160 24472 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25585 24472 1111 63 0 25522 0
vsize: 102340
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 24815 0 0 0 38909 97 0 0 25 0 1 0 891481054 105607168 24691 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25783 24691 1111 63 0 25720 0
vsize: 103132
[startup+399.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 25128 0 0 0 39908 98 0 0 25 0 1 0 891481054 106958848 25003 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26113 25003 1111 63 0 26050 0
vsize: 104452
[startup+409.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 25362 0 0 0 40908 100 0 0 25 0 1 0 891481054 107905024 25237 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26344 25237 1111 63 0 26281 0
vsize: 105376
[startup+419.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 26381 0 0 0 41905 102 0 0 25 0 1 0 891481054 111972352 26255 4294967295 134512640 134716908 3221224560 3221223296 134535750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27337 26255 1111 63 0 27274 0
vsize: 109348
[startup+429.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 26971 0 0 0 42903 105 0 0 25 0 1 0 891481054 114405376 26845 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27931 26845 1111 63 0 27868 0
vsize: 111724
[startup+439.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 27802 0 0 0 43901 108 0 0 25 0 1 0 891481054 117788672 27676 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28757 27676 1111 63 0 28694 0
vsize: 115028
[startup+449.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 28687 0 0 0 44897 112 0 0 25 0 1 0 891481054 121438208 28561 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29648 28561 1111 63 0 29585 0
vsize: 118592
[startup+459.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 29569 0 0 0 45894 114 0 0 25 0 1 0 891481054 125091840 29443 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30540 29443 1111 63 0 30477 0
vsize: 122160
[startup+469.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 30517 0 0 0 46891 118 0 0 25 0 1 0 891481054 128884736 30390 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31466 30390 1111 63 0 31403 0
vsize: 125864
[startup+479.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 31043 0 0 0 47889 120 0 0 25 0 1 0 891481054 131055616 30916 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31996 30916 1111 63 0 31933 0
vsize: 127984
[startup+489.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 31861 0 0 0 48887 123 0 0 25 0 1 0 891481054 134483968 31732 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32833 31732 1111 63 0 32770 0
vsize: 131332
[startup+499.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 32203 0 0 0 49886 124 0 0 25 0 1 0 891481054 135843840 32074 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33165 32074 1111 63 0 33102 0
vsize: 132660
[startup+510 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 32962 0 0 0 50884 126 0 0 25 0 1 0 891481054 139063296 32829 4294967295 134512640 134716908 3221224560 3221223212 134536769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33951 32829 1111 63 0 33888 0
vsize: 135804
[startup+519.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 33606 0 0 0 51882 129 0 0 25 0 1 0 891481054 141766656 33473 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34611 33473 1111 63 0 34548 0
vsize: 138444
[startup+529.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 34281 0 0 0 52878 133 0 0 25 0 1 0 891481054 144470016 34148 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35271 34148 1111 63 0 35208 0
vsize: 141084
[startup+539.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 35073 0 0 0 53875 136 0 0 25 0 1 0 891481054 147714048 34940 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36063 34940 1111 63 0 36000 0
vsize: 144252
[startup+549.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 35774 0 0 0 54873 139 0 0 25 0 1 0 891481054 150552576 35641 4294967295 134512640 134716908 3221224560 3221223184 134536678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36756 35641 1111 63 0 36693 0
vsize: 147024
[startup+559.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 36231 0 0 0 55870 142 0 0 25 0 1 0 891481054 152444928 36098 4294967295 134512640 134716908 3221224560 3221223168 134536753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37218 36098 1111 63 0 37155 0
vsize: 148872
[startup+569.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 37137 0 0 0 56867 145 0 0 25 0 1 0 891481054 156094464 37004 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38109 37004 1111 63 0 38046 0
vsize: 152436
[startup+579.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 37816 0 0 0 57865 148 0 0 25 0 1 0 891481054 158941184 37683 4294967295 134512640 134716908 3221224560 3221223056 134535474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38804 37683 1111 63 0 38741 0
vsize: 155216
[startup+589.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 38074 0 0 0 58865 148 0 0 25 0 1 0 891481054 159891456 37940 4294967295 134512640 134716908 3221224560 3221223124 134549722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39036 37940 1111 63 0 38973 0
vsize: 156144
[startup+599.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 38476 0 0 0 59863 150 0 0 25 0 1 0 891481054 161697792 38340 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39477 38340 1111 63 0 39414 0
vsize: 157908
[startup+609.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 38853 0 0 0 60862 152 0 0 25 0 1 0 891481054 163184640 38716 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39840 38716 1111 63 0 39777 0
vsize: 159360
[startup+619.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 39266 0 0 0 61860 153 0 0 25 0 1 0 891481054 164966400 39127 4294967295 134512640 134716908 3221224560 3221223152 134549600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40275 39127 1111 63 0 40212 0
vsize: 161100
[startup+629.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 39695 0 0 0 62859 155 0 0 25 0 1 0 891481054 166764544 39554 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40714 39554 1111 63 0 40651 0
vsize: 162856
[startup+639.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 40020 0 0 0 63858 156 0 0 25 0 1 0 891481054 168181760 39870 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41060 39870 1111 63 0 40997 0
vsize: 164240
[startup+649.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 40316 0 0 0 64857 158 0 0 25 0 1 0 891481054 169414656 40166 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41361 40166 1111 63 0 41298 0
vsize: 165444
[startup+659.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 40617 0 0 0 65856 159 0 0 25 0 1 0 891481054 170635264 40464 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41659 40464 1111 63 0 41596 0
vsize: 166636
[startup+669.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 41038 0 0 0 66855 161 0 0 25 0 1 0 891481054 172392448 40884 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42088 40884 1111 63 0 42025 0
vsize: 168352
[startup+679.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 41328 0 0 0 67854 162 0 0 25 0 1 0 891481054 173674496 41165 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42401 41165 1111 63 0 42338 0
vsize: 169604
[startup+689.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 41564 0 0 0 68853 163 0 0 25 0 1 0 891481054 174821376 41394 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42681 41394 1111 63 0 42618 0
vsize: 170724
[startup+699.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 41750 0 0 0 69852 164 0 0 25 0 1 0 891481054 175497216 41580 4294967295 134512640 134716908 3221224560 3221223196 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42846 41580 1111 63 0 42783 0
vsize: 171384
[startup+709.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 41958 0 0 0 70851 166 0 0 25 0 1 0 891481054 176308224 41788 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43044 41788 1111 63 0 42981 0
vsize: 172176
[startup+719.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 42163 0 0 0 71850 167 0 0 25 0 1 0 891481054 177172480 41992 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43255 41992 1111 63 0 43192 0
vsize: 173020
[startup+729.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 42413 0 0 0 72850 168 0 0 25 0 1 0 891481054 178118656 42242 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43486 42242 1111 63 0 43423 0
vsize: 173944
[startup+739.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 42591 0 0 0 73849 169 0 0 25 0 1 0 891481054 178794496 42420 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43651 42420 1111 63 0 43588 0
vsize: 174604
[startup+749.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 42842 0 0 0 74848 170 0 0 25 0 1 0 891481054 179978240 42671 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43940 42671 1111 63 0 43877 0
vsize: 175760
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 43084 0 0 0 75848 171 0 0 25 0 1 0 891481054 180989952 42912 4294967295 134512640 134716908 3221224560 3221223276 134551880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44187 42912 1111 63 0 44124 0
vsize: 176748
[startup+770.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 43277 0 0 0 76848 172 0 0 25 0 1 0 891481054 181915648 43101 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44413 43101 1111 63 0 44350 0
vsize: 177652
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 43479 0 0 0 77847 173 0 0 25 0 1 0 891481054 182747136 43303 4294967295 134512640 134716908 3221224560 3221223196 134698764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44616 43303 1111 63 0 44553 0
vsize: 178464
[startup+790.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 43711 0 0 0 78846 174 0 0 25 0 1 0 891481054 183709696 43535 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44851 43535 1111 63 0 44788 0
vsize: 179404
[startup+800.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 43897 0 0 0 79846 175 0 0 25 0 1 0 891481054 184385536 43721 4294967295 134512640 134716908 3221224560 3221223200 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45016 43721 1111 63 0 44953 0
vsize: 180064
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 44002 0 0 0 80845 176 0 0 25 0 1 0 891481054 184811520 43825 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45120 43825 1111 63 0 45057 0
vsize: 180480
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 44274 0 0 0 81844 177 0 0 25 0 1 0 891481054 186028032 44097 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45417 44097 1111 63 0 45354 0
vsize: 181668
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 44569 0 0 0 82843 179 0 0 25 0 1 0 891481054 187248640 44392 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45715 44392 1111 63 0 45652 0
vsize: 182860
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 44819 0 0 0 83842 180 0 0 25 0 1 0 891481054 188227584 44642 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45954 44642 1111 63 0 45891 0
vsize: 183816
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 44976 0 0 0 84842 181 0 0 25 0 1 0 891481054 188940288 44794 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46128 44794 1111 63 0 46065 0
vsize: 184512
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 45169 0 0 0 85841 182 0 0 25 0 1 0 891481054 189751296 44987 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46326 44987 1111 63 0 46263 0
vsize: 185304
[startup+870.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 45463 0 0 0 86840 183 0 0 25 0 1 0 891481054 190836736 45281 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46591 45281 1111 63 0 46528 0
vsize: 186364
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 45739 0 0 0 87839 184 0 0 25 0 1 0 891481054 192135168 45551 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46908 45551 1111 63 0 46845 0
vsize: 187632
[startup+890.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 45981 0 0 0 88839 185 0 0 25 0 1 0 891481054 193220608 45791 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47173 45791 1111 63 0 47110 0
vsize: 188692
[startup+900.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 46121 0 0 0 89839 186 0 0 25 0 1 0 891481054 193769472 45929 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47307 45929 1111 63 0 47244 0
vsize: 189228
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 46279 0 0 0 90838 187 0 0 25 0 1 0 891481054 194469888 46086 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47478 46086 1111 63 0 47415 0
vsize: 189912
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 46403 0 0 0 91838 187 0 0 25 0 1 0 891481054 195010560 46210 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47610 46210 1111 63 0 47547 0
vsize: 190440
[startup+930.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 46501 0 0 0 92838 188 0 0 25 0 1 0 891481054 195317760 46308 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47685 46308 1111 63 0 47622 0
vsize: 190740
[startup+940.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 46622 0 0 0 93838 188 0 0 25 0 1 0 891481054 196059136 46429 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47866 46429 1111 63 0 47803 0
vsize: 191464
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 46728 0 0 0 94838 189 0 0 25 0 1 0 891481054 196472832 46535 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47967 46535 1111 63 0 47904 0
vsize: 191868
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 46897 0 0 0 95838 189 0 0 25 0 1 0 891481054 197148672 46704 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48132 46704 1111 63 0 48069 0
vsize: 192528
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 47081 0 0 0 96837 190 0 0 25 0 1 0 891481054 198090752 46887 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48362 46887 1111 63 0 48299 0
vsize: 193448
[startup+980.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 47219 0 0 0 97837 190 0 0 25 0 1 0 891481054 198668288 47023 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48503 47023 1111 63 0 48440 0
vsize: 194012
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 47376 0 0 0 98837 191 0 0 25 0 1 0 891481054 199340032 47177 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48667 47177 1111 63 0 48604 0
vsize: 194668
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 47531 0 0 0 99837 191 0 0 25 0 1 0 891481054 200216576 47332 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48881 47332 1111 63 0 48818 0
vsize: 195524
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 47953 0 0 0 100835 194 0 0 25 0 1 0 891481054 201838592 47754 4294967295 134512640 134716908 3221224560 3221223136 134549852 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49277 47754 1111 63 0 49214 0
vsize: 197108
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 48345 0 0 0 101834 195 0 0 25 0 1 0 891481054 203460608 48146 4294967295 134512640 134716908 3221224560 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49673 48146 1111 63 0 49610 0
vsize: 198692
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 48663 0 0 0 102833 196 0 0 25 0 1 0 891481054 204812288 48464 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50003 48464 1111 63 0 49940 0
vsize: 200012
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 48944 0 0 0 103833 197 0 0 25 0 1 0 891481054 205893632 48745 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50267 48745 1111 63 0 50204 0
vsize: 201068
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 49237 0 0 0 104832 197 0 0 25 0 1 0 891481054 207110144 49038 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50564 49038 1111 63 0 50501 0
vsize: 202256
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 49527 0 0 0 105831 199 0 0 25 0 1 0 891481054 208326656 49328 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50861 49328 1111 63 0 50798 0
vsize: 203444
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 49830 0 0 0 106830 201 0 0 25 0 1 0 891481054 209543168 49631 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51158 49631 1111 63 0 51095 0
vsize: 204632
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 50103 0 0 0 107829 202 0 0 25 0 1 0 891481054 210624512 49904 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51422 49904 1111 63 0 51359 0
vsize: 205688
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 50307 0 0 0 108828 203 0 0 25 0 1 0 891481054 211509248 50105 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51638 50105 1111 63 0 51575 0
vsize: 206552
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 50512 0 0 0 109828 204 0 0 25 0 1 0 891481054 212320256 50310 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51836 50310 1111 63 0 51773 0
vsize: 207344
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 50686 0 0 0 110827 205 0 0 25 0 1 0 891481054 213131264 50484 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52034 50484 1111 63 0 51971 0
vsize: 208136
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 50851 0 0 0 111827 205 0 0 25 0 1 0 891481054 213807104 50649 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52199 50649 1111 63 0 52136 0
vsize: 208796
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 51060 0 0 0 112827 206 0 0 25 0 1 0 891481054 214618112 50858 4294967295 134512640 134716908 3221224560 3221223324 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52397 50858 1111 63 0 52334 0
vsize: 209588
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 51304 0 0 0 113827 207 0 0 25 0 1 0 891481054 215564288 51102 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52628 51102 1111 63 0 52565 0
vsize: 210512
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 51548 0 0 0 114826 208 0 0 25 0 1 0 891481054 216645632 51346 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52892 51346 1111 63 0 52829 0
vsize: 211568
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 51753 0 0 0 115825 209 0 0 25 0 1 0 891481054 217456640 51551 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53090 51551 1111 63 0 53027 0
vsize: 212360
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 51978 0 0 0 116825 209 0 0 25 0 1 0 891481054 218267648 51776 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53288 51776 1111 63 0 53225 0
vsize: 213152
[startup+1174.78 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11921
Raw data (stat): 11921 (bsolo_lpr-v2) R 11920 25568 25567 0 -1 0 51978 0 0 0 116825 209 0 0 25 0 1 0 891481054 218267648 51776 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53288 51776 1111 63 0 53225 0
vsize: 0

Child status: 0
Real time (s): 1174.78
CPU time (s): 1175.11
CPU user time (s): 1172.91
CPU system time (s): 2.19767
CPU usage (%): 100.028
Max. virtual memory (Kb): 213152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####