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/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb
MD5SUM	b2d6fc6e4e4b51f8b59d0f4ed12a9f74
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2678
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2678
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2678
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2678
Total number of constraints	6689
Number of constraints which are clauses	6689
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 39599

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 14:40:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27653 boxname=wulflinc3 idbench=211 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc3/normalized-par32-5-c.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-par32-5-c.opb
IDLAUNCH: 27653
/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:        274688 kB
Buffers:         34468 kB
Cached:         702004 kB
SwapCached:        240 kB
Active:          64516 kB
Inactive:       674456 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        274436 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15304 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:00:15 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 27653 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2678 variables and 6689 constraints.
c After prepocess the problem consists of 2613 variables and 8538 constraints.
c preprocess terminated 57.069 s
c Initial Lower Bound: 816
c Lower Bound Elapsed time: 19.207
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.1 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.95 0.90 2/54 12080
Raw data (stat): 12080 (runsolver) R 12079 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893779245 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99997 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 4691 0 0 0 984 13 0 0 25 0 1 0 893779245 18300928 3625 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4468 3625 1111 63 0 4405 0
vsize: 17872
[startup+20.008 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 4691 0 0 0 1985 13 0 0 25 0 1 0 893779245 18300928 3625 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4468 3625 1111 63 0 4405 0
vsize: 17872
[startup+30.0086 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 4698 0 0 0 2985 13 0 0 25 0 1 0 893779245 18436096 3632 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4501 3632 1111 63 0 4438 0
vsize: 18004
[startup+40.0094 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 4852 0 0 0 3985 14 0 0 25 0 1 0 893779245 18976768 3786 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4633 3786 1111 63 0 4570 0
vsize: 18532
[startup+50.011 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 4975 0 0 0 4984 14 0 0 25 0 1 0 893779245 19517440 3909 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4765 3909 1111 63 0 4702 0
vsize: 19060
[startup+60.0101 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 6143 0 0 0 5981 17 0 0 25 0 1 0 893779245 24252416 5076 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5921 5076 1111 63 0 5858 0
vsize: 23684
[startup+70.011 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 7598 0 0 0 6977 21 0 0 25 0 1 0 893779245 30867456 6214 4294967295 134512640 134716908 3221224576 3221220524 1074873504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6214 1111 63 0 7473 0
vsize: 30144
[startup+80.0111 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 7843 0 0 0 7977 22 0 0 25 0 1 0 893779245 30867456 6453 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6453 1111 63 0 7473 0
vsize: 30144
[startup+90.0116 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 7995 0 0 0 8977 22 0 0 25 0 1 0 893779245 30867456 6344 4294967295 134512640 134716908 3221224576 3221220428 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6344 1111 63 0 7473 0
vsize: 30144
[startup+100.011 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 8000 0 0 0 9977 22 0 0 25 0 1 0 893779245 30867456 6349 4294967295 134512640 134716908 3221224576 3221221024 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6349 1111 63 0 7473 0
vsize: 30144
[startup+110.012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 8002 0 0 0 10977 22 0 0 25 0 1 0 893779245 30867456 6351 4294967295 134512640 134716908 3221224576 3221220376 1074789596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6351 1111 63 0 7473 0
vsize: 30144
[startup+120.012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 8003 0 0 0 11977 22 0 0 25 0 1 0 893779245 30867456 6352 4294967295 134512640 134716908 3221224576 3221220480 1074790909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6352 1111 63 0 7473 0
vsize: 30144
[startup+130.012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 8085 0 0 0 12977 22 0 0 25 0 1 0 893779245 31203328 6434 4294967295 134512640 134716908 3221224576 3221221020 1075116722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7618 6434 1111 63 0 7555 0
vsize: 30472
[startup+140.013 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 14612 0 0 0 13960 39 0 0 25 0 1 0 893779245 24985600 5382 4294967295 134512640 134716908 3221224576 3221223360 134529410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6100 5382 1111 63 0 6037 0
vsize: 24400
[startup+150.014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 14675 0 0 0 14959 40 0 0 25 0 1 0 893779245 25255936 5445 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6166 5445 1111 63 0 6103 0
vsize: 24664
[startup+160.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 14786 0 0 0 15959 40 0 0 25 0 1 0 893779245 25796608 5556 4294967295 134512640 134716908 3221224576 3221223136 134698945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6298 5556 1111 63 0 6235 0
vsize: 25192
[startup+170.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 14892 0 0 0 16958 41 0 0 25 0 1 0 893779245 26202112 5662 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 5662 1111 63 0 6334 0
vsize: 25588
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 14994 0 0 0 17958 41 0 0 25 0 1 0 893779245 26607616 5764 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6496 5764 1111 63 0 6433 0
vsize: 25984
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 15095 0 0 0 18958 42 0 0 25 0 1 0 893779245 27009024 5865 4294967295 134512640 134716908 3221224576 3221223168 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6594 5865 1111 63 0 6531 0
vsize: 26376
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 15210 0 0 0 19958 42 0 0 25 0 1 0 893779245 27549696 5980 4294967295 134512640 134716908 3221224576 3221223136 134698914 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6726 5980 1111 63 0 6663 0
vsize: 26904
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 15307 0 0 0 20957 43 0 0 25 0 1 0 893779245 27955200 6077 4294967295 134512640 134716908 3221224576 3221223228 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6825 6077 1111 63 0 6762 0
vsize: 27300
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 15408 0 0 0 21957 43 0 0 25 0 1 0 893779245 28360704 6178 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6924 6178 1111 63 0 6861 0
vsize: 27696
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 15505 0 0 0 22957 43 0 0 25 0 1 0 893779245 28766208 6275 4294967295 134512640 134716908 3221224576 3221223184 134523171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7023 6275 1111 63 0 6960 0
vsize: 28092
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 15601 0 0 0 23957 44 0 0 25 0 1 0 893779245 29036544 6371 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7089 6371 1111 63 0 7026 0
vsize: 28356
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 15696 0 0 0 24957 44 0 0 25 0 1 0 893779245 29442048 6466 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7188 6466 1111 63 0 7125 0
vsize: 28752
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 15789 0 0 0 25957 44 0 0 25 0 1 0 893779245 29847552 6559 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7287 6559 1111 63 0 7224 0
vsize: 29148
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 15884 0 0 0 26957 44 0 0 25 0 1 0 893779245 30253056 6654 4294967295 134512640 134716908 3221224576 3221223296 134535790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6654 1111 63 0 7323 0
vsize: 29544
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 15980 0 0 0 27956 45 0 0 25 0 1 0 893779245 30658560 6750 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7485 6750 1111 63 0 7422 0
vsize: 29940
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 16076 0 0 0 28956 46 0 0 25 0 1 0 893779245 31064064 6846 4294967295 134512640 134716908 3221224576 3221223284 134528400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7584 6846 1111 63 0 7521 0
vsize: 30336
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 16167 0 0 0 29956 46 0 0 25 0 1 0 893779245 31469568 6937 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7683 6937 1111 63 0 7620 0
vsize: 30732
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 16270 0 0 0 30956 46 0 0 25 0 1 0 893779245 31875072 7040 4294967295 134512640 134716908 3221224576 3221223208 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7782 7040 1111 63 0 7719 0
vsize: 31128
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 16357 0 0 0 31956 46 0 0 25 0 1 0 893779245 32145408 7127 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7848 7127 1111 63 0 7785 0
vsize: 31392
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 16448 0 0 0 32955 47 0 0 25 0 1 0 893779245 32550912 7218 4294967295 134512640 134716908 3221224576 3221223260 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7947 7218 1111 63 0 7884 0
vsize: 31788
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 16542 0 0 0 33955 47 0 0 25 0 1 0 893779245 32952320 7312 4294967295 134512640 134716908 3221224576 3221223164 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8045 7312 1111 63 0 7982 0
vsize: 32180
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 16631 0 0 0 34955 48 0 0 25 0 1 0 893779245 33357824 7401 4294967295 134512640 134716908 3221224576 3221223216 134539419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8144 7401 1111 63 0 8081 0
vsize: 32576
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 16717 0 0 0 35955 48 0 0 25 0 1 0 893779245 33628160 7487 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8210 7487 1111 63 0 8147 0
vsize: 32840
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 16806 0 0 0 36955 49 0 0 25 0 1 0 893779245 34033664 7576 4294967295 134512640 134716908 3221224576 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8309 7576 1111 63 0 8246 0
vsize: 33236
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 16889 0 0 0 37955 49 0 0 25 0 1 0 893779245 34439168 7659 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8408 7659 1111 63 0 8345 0
vsize: 33632
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 16971 0 0 0 38955 49 0 0 25 0 1 0 893779245 34709504 7741 4294967295 134512640 134716908 3221224576 3221223216 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8474 7741 1111 63 0 8411 0
vsize: 33896
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 17054 0 0 0 39955 49 0 0 25 0 1 0 893779245 35115008 7824 4294967295 134512640 134716908 3221224576 3221223200 134542365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8573 7824 1111 63 0 8510 0
vsize: 34292
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 17140 0 0 0 40954 50 0 0 25 0 1 0 893779245 35385344 7910 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8639 7910 1111 63 0 8576 0
vsize: 34556
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 17228 0 0 0 41954 50 0 0 25 0 1 0 893779245 35790848 7998 4294967295 134512640 134716908 3221224576 3221223084 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8738 7998 1111 63 0 8675 0
vsize: 34952
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 17309 0 0 0 42954 50 0 0 25 0 1 0 893779245 36061184 8079 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8804 8079 1111 63 0 8741 0
vsize: 35216
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 17386 0 0 0 43954 50 0 0 25 0 1 0 893779245 36466688 8156 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8903 8156 1111 63 0 8840 0
vsize: 35612
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 17478 0 0 0 44954 51 0 0 25 0 1 0 893779245 36741120 8248 4294967295 134512640 134716908 3221224576 3221223216 134698453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8970 8248 1111 63 0 8907 0
vsize: 35880
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 17567 0 0 0 45954 51 0 0 25 0 1 0 893779245 37142528 8337 4294967295 134512640 134716908 3221224576 3221223280 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9068 8337 1111 63 0 9005 0
vsize: 36272
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 17651 0 0 0 46954 52 0 0 25 0 1 0 893779245 37548032 8421 4294967295 134512640 134716908 3221224576 3221223240 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9167 8421 1111 63 0 9104 0
vsize: 36668
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 17742 0 0 0 47953 52 0 0 25 0 1 0 893779245 37818368 8512 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9233 8512 1111 63 0 9170 0
vsize: 36932
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 17839 0 0 0 48953 53 0 0 25 0 1 0 893779245 38223872 8609 4294967295 134512640 134716908 3221224576 3221223132 134539273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9332 8609 1111 63 0 9269 0
vsize: 37328
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 17927 0 0 0 49953 53 0 0 25 0 1 0 893779245 38629376 8697 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9431 8697 1111 63 0 9368 0
vsize: 37724
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18018 0 0 0 50952 54 0 0 25 0 1 0 893779245 39034880 8788 4294967295 134512640 134716908 3221224576 3221223152 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9530 8788 1111 63 0 9467 0
vsize: 38120
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18105 0 0 0 51952 54 0 0 25 0 1 0 893779245 39301120 8875 4294967295 134512640 134716908 3221224576 3221223060 134699711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9595 8875 1111 63 0 9532 0
vsize: 38380
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18193 0 0 0 52952 55 0 0 25 0 1 0 893779245 39710720 8963 4294967295 134512640 134716908 3221224576 3221223280 134528668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9695 8963 1111 63 0 9632 0
vsize: 38780
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18278 0 0 0 53952 55 0 0 25 0 1 0 893779245 40112128 9048 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9793 9048 1111 63 0 9730 0
vsize: 39172
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18362 0 0 0 54952 55 0 0 25 0 1 0 893779245 40382464 9132 4294967295 134512640 134716908 3221224576 3221223248 134542974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9859 9132 1111 63 0 9796 0
vsize: 39436
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18444 0 0 0 55951 56 0 0 25 0 1 0 893779245 40787968 9214 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9958 9214 1111 63 0 9895 0
vsize: 39832
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18526 0 0 0 56951 57 0 0 25 0 1 0 893779245 41058304 9296 4294967295 134512640 134716908 3221224576 3221223328 134592443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10024 9296 1111 63 0 9961 0
vsize: 40096
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18605 0 0 0 57950 57 0 0 25 0 1 0 893779245 41463808 9375 4294967295 134512640 134716908 3221224576 3221223200 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10123 9375 1111 63 0 10060 0
vsize: 40492
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18683 0 0 0 58950 57 0 0 25 0 1 0 893779245 41734144 9453 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10189 9453 1111 63 0 10126 0
vsize: 40756
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18757 0 0 0 59950 57 0 0 25 0 1 0 893779245 42004480 9527 4294967295 134512640 134716908 3221224576 3221223320 134675274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10255 9527 1111 63 0 10192 0
vsize: 41020
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18838 0 0 0 60950 58 0 0 25 0 1 0 893779245 42409984 9608 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10354 9608 1111 63 0 10291 0
vsize: 41416
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18915 0 0 0 61950 58 0 0 25 0 1 0 893779245 42680320 9685 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10420 9685 1111 63 0 10357 0
vsize: 41680
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 18992 0 0 0 62950 58 0 0 25 0 1 0 893779245 42950656 9762 4294967295 134512640 134716908 3221224576 3221223312 134535750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10486 9762 1111 63 0 10423 0
vsize: 41944
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19067 0 0 0 63950 59 0 0 25 0 1 0 893779245 43356160 9837 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10585 9837 1111 63 0 10522 0
vsize: 42340
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19142 0 0 0 64949 59 0 0 25 0 1 0 893779245 43626496 9912 4294967295 134512640 134716908 3221224576 3221223216 134539419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10651 9912 1111 63 0 10588 0
vsize: 42604
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19217 0 0 0 65949 59 0 0 25 0 1 0 893779245 43896832 9987 4294967295 134512640 134716908 3221224576 3221223204 134698632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10717 9987 1111 63 0 10654 0
vsize: 42868
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19293 0 0 0 66949 60 0 0 25 0 1 0 893779245 44302336 10063 4294967295 134512640 134716908 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10816 10063 1111 63 0 10753 0
vsize: 43264
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19371 0 0 0 67949 60 0 0 25 0 1 0 893779245 44572672 10141 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10882 10141 1111 63 0 10819 0
vsize: 43528
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19446 0 0 0 68949 61 0 0 25 0 1 0 893779245 44843008 10216 4294967295 134512640 134716908 3221224576 3221223232 134524259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10948 10216 1111 63 0 10885 0
vsize: 43792
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19522 0 0 0 69949 61 0 0 25 0 1 0 893779245 45113344 10292 4294967295 134512640 134716908 3221224576 3221223164 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11014 10292 1111 63 0 10951 0
vsize: 44056
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19590 0 0 0 70948 61 0 0 25 0 1 0 893779245 45518848 10360 4294967295 134512640 134716908 3221224576 3221223208 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11113 10360 1111 63 0 11050 0
vsize: 44452
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19663 0 0 0 71948 62 0 0 25 0 1 0 893779245 45789184 10433 4294967295 134512640 134716908 3221224576 3221223216 134698491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11179 10433 1111 63 0 11116 0
vsize: 44716
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19736 0 0 0 72948 62 0 0 25 0 1 0 893779245 46059520 10506 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11245 10506 1111 63 0 11182 0
vsize: 44980
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19805 0 0 0 73948 63 0 0 25 0 1 0 893779245 46329856 10575 4294967295 134512640 134716908 3221224576 3221223148 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11311 10575 1111 63 0 11248 0
vsize: 45244
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19875 0 0 0 74947 63 0 0 25 0 1 0 893779245 46600192 10645 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11377 10645 1111 63 0 11314 0
vsize: 45508
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 19949 0 0 0 75947 64 0 0 25 0 1 0 893779245 46870528 10719 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11443 10719 1111 63 0 11380 0
vsize: 45772
[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 20020 0 0 0 76947 64 0 0 25 0 1 0 893779245 47276032 10790 4294967295 134512640 134716908 3221224576 3221223212 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11542 10790 1111 63 0 11479 0
vsize: 46168
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 20093 0 0 0 77947 65 0 0 25 0 1 0 893779245 47554560 10863 4294967295 134512640 134716908 3221224576 3221223248 134655199 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11610 10863 1111 63 0 11547 0
vsize: 46440
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 20177 0 0 0 78947 65 0 0 25 0 1 0 893779245 47824896 10947 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11676 10947 1111 63 0 11613 0
vsize: 46704
[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 20264 0 0 0 79947 66 0 0 25 0 1 0 893779245 48230400 11034 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11775 11034 1111 63 0 11712 0
vsize: 47100
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 20349 0 0 0 80947 66 0 0 25 0 1 0 893779245 48635904 11119 4294967295 134512640 134716908 3221224576 3221223168 134542668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11874 11119 1111 63 0 11811 0
vsize: 47496
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 20430 0 0 0 81947 66 0 0 25 0 1 0 893779245 48906240 11200 4294967295 134512640 134716908 3221224576 3221223324 134675288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11940 11200 1111 63 0 11877 0
vsize: 47760
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 20519 0 0 0 82946 67 0 0 25 0 1 0 893779245 49311744 11289 4294967295 134512640 134716908 3221224576 3221223116 134539251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12039 11289 1111 63 0 11976 0
vsize: 48156
[startup+840.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 20598 0 0 0 83948 67 0 0 25 0 1 0 893779245 49582080 11368 4294967295 134512640 134716908 3221224576 3221223228 134536754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12105 11368 1111 63 0 12042 0
vsize: 48420
[startup+850.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 20682 0 0 0 84949 67 0 0 25 0 1 0 893779245 49991680 11452 4294967295 134512640 134716908 3221224576 3221223232 134536635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12205 11452 1111 63 0 12142 0
vsize: 48820
[startup+860.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 20767 0 0 0 85948 67 0 0 25 0 1 0 893779245 50262016 11537 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12271 11537 1111 63 0 12208 0
vsize: 49084
[startup+870.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 20852 0 0 0 86948 68 0 0 25 0 1 0 893779245 50663424 11622 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12369 11622 1111 63 0 12306 0
vsize: 49476
[startup+880.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 20939 0 0 0 87948 68 0 0 25 0 1 0 893779245 50929664 11709 4294967295 134512640 134716908 3221224576 3221223128 134539209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12434 11709 1111 63 0 12371 0
vsize: 49736
[startup+890.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21010 0 0 0 88948 69 0 0 25 0 1 0 893779245 51335168 11780 4294967295 134512640 134716908 3221224576 3221223216 134698428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12533 11780 1111 63 0 12470 0
vsize: 50132
[startup+900.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21090 0 0 0 89947 69 0 0 25 0 1 0 893779245 51613696 11860 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12601 11860 1111 63 0 12538 0
vsize: 50404
[startup+910.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21164 0 0 0 90947 69 0 0 25 0 1 0 893779245 51884032 11934 4294967295 134512640 134716908 3221224576 3221223196 134539206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12667 11934 1111 63 0 12604 0
vsize: 50668
[startup+920.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21245 0 0 0 91947 70 0 0 25 0 1 0 893779245 52297728 12015 4294967295 134512640 134716908 3221224576 3221223264 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12768 12015 1111 63 0 12705 0
vsize: 51072
[startup+930.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21326 0 0 0 92947 70 0 0 25 0 1 0 893779245 52568064 12096 4294967295 134512640 134716908 3221224576 3221223312 134523891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12834 12096 1111 63 0 12771 0
vsize: 51336
[startup+940.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21420 0 0 0 93946 71 0 0 25 0 1 0 893779245 52973568 12190 4294967295 134512640 134716908 3221224576 3221223200 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12933 12190 1111 63 0 12870 0
vsize: 51732
[startup+950.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21506 0 0 0 94946 72 0 0 25 0 1 0 893779245 53379072 12276 4294967295 134512640 134716908 3221224576 3221223144 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13032 12276 1111 63 0 12969 0
vsize: 52128
[startup+960.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21576 0 0 0 95946 72 0 0 25 0 1 0 893779245 53649408 12346 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13098 12346 1111 63 0 13035 0
vsize: 52392
[startup+970.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21653 0 0 0 96946 72 0 0 25 0 1 0 893779245 53919744 12423 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13164 12423 1111 63 0 13101 0
vsize: 52656
[startup+980.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21723 0 0 0 97945 73 0 0 25 0 1 0 893779245 54190080 12493 4294967295 134512640 134716908 3221224576 3221223244 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13230 12493 1111 63 0 13167 0
vsize: 52920
[startup+990.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21799 0 0 0 98945 73 0 0 25 0 1 0 893779245 54460416 12569 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13296 12569 1111 63 0 13233 0
vsize: 53184
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21883 0 0 0 99945 74 0 0 25 0 1 0 893779245 54865920 12653 4294967295 134512640 134716908 3221224576 3221223340 134552579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13395 12653 1111 63 0 13332 0
vsize: 53580
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 21966 0 0 0 100944 74 0 0 25 0 1 0 893779245 55271424 12736 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13494 12736 1111 63 0 13431 0
vsize: 53976
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22045 0 0 0 101944 75 0 0 25 0 1 0 893779245 55541760 12815 4294967295 134512640 134716908 3221224576 3221223360 134584919 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13560 12815 1111 63 0 13497 0
vsize: 54240
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22126 0 0 0 102944 75 0 0 25 0 1 0 893779245 55812096 12896 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13626 12896 1111 63 0 13563 0
vsize: 54504
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22200 0 0 0 103944 76 0 0 25 0 1 0 893779245 56217600 12970 4294967295 134512640 134716908 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13725 12970 1111 63 0 13662 0
vsize: 54900
[startup+1050.07 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22268 0 0 0 104944 76 0 0 25 0 1 0 893779245 56487936 13038 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13791 13038 1111 63 0 13728 0
vsize: 55164
[startup+1060.07 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22342 0 0 0 105943 76 0 0 25 0 1 0 893779245 56758272 13112 4294967295 134512640 134716908 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13857 13112 1111 63 0 13794 0
vsize: 55428
[startup+1070.07 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22416 0 0 0 106943 77 0 0 25 0 1 0 893779245 57028608 13186 4294967295 134512640 134716908 3221224576 3221223360 134529222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13923 13186 1111 63 0 13860 0
vsize: 55692
[startup+1080.07 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22500 0 0 0 107943 77 0 0 25 0 1 0 893779245 57438208 13270 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14023 13270 1111 63 0 13960 0
vsize: 56092
[startup+1090.07 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22582 0 0 0 108942 78 0 0 25 0 1 0 893779245 57708544 13352 4294967295 134512640 134716908 3221224576 3221223204 134698629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14089 13352 1111 63 0 14026 0
vsize: 56356
[startup+1100.07 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22668 0 0 0 109942 78 0 0 25 0 1 0 893779245 58114048 13438 4294967295 134512640 134716908 3221224576 3221223312 134535750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14188 13438 1111 63 0 14125 0
vsize: 56752
[startup+1110.07 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22735 0 0 0 110942 78 0 0 25 0 1 0 893779245 58384384 13505 4294967295 134512640 134716908 3221224576 3221223228 134542371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14254 13505 1111 63 0 14191 0
vsize: 57016
[startup+1120.07 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22808 0 0 0 111942 79 0 0 25 0 1 0 893779245 58654720 13578 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14320 13578 1111 63 0 14257 0
vsize: 57280
[startup+1130.07 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22875 0 0 0 112942 79 0 0 25 0 1 0 893779245 58925056 13645 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14386 13645 1111 63 0 14323 0
vsize: 57544
[startup+1140.07 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 22947 0 0 0 113941 80 0 0 25 0 1 0 893779245 59195392 13717 4294967295 134512640 134716908 3221224576 3221223064 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14452 13717 1111 63 0 14389 0
vsize: 57808
[startup+1150.07 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 23019 0 0 0 114941 80 0 0 25 0 1 0 893779245 59465728 13789 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14518 13789 1111 63 0 14455 0
vsize: 58072
[startup+1160.07 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12080
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 23087 0 0 0 115940 81 0 0 25 0 1 0 893779245 59736064 13857 4294967295 134512640 134716908 3221224576 3221223192 134613769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14584 13857 1111 63 0 14521 0
vsize: 58336
[startup+1170.07 s]
Raw data (loadavg): 1.26 1.05 0.94 2/54 12133
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 23153 0 0 0 116940 82 0 0 25 0 1 0 893779245 60006400 13923 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14650 13923 1111 63 0 14587 0
vsize: 58600
[startup+1174.98 s]
Raw data (loadavg): 1.24 1.05 0.94 1/53 12133
Raw data (stat): 12080 (bsolo_lpr-v2) R 12079 20224 20223 0 -1 0 23153 0 0 0 116940 82 0 0 25 0 1 0 893779245 60006400 13923 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14650 13923 1111 63 0 14587 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.13
CPU user time (s): 1174.28
CPU system time (s): 0.85187
CPU usage (%): 100.013
Max. virtual memory (Kb): 58600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####