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-ii16b1.opb
MD5SUM	dd9b4ae34921e1731f1a12dcd9d29b23
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1528
Optimality of the best value was proved	NO
Number of terms in the objective function	3456
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	3456
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	3456
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	3456
Total number of constraints	26520
Number of constraints which are clauses	26520
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	16
Trace number 39514

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 11:19:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27580 boxname=wulflinc2 idbench=138 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  dd9b4ae34921e1731f1a12dcd9d29b23  /oldhome/oroussel/tmp/wulflinc2/normalized-ii16b1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ii16b1.opb
IDLAUNCH: 27580
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        264968 kB
Buffers:         34416 kB
Cached:         711332 kB
SwapCached:       1164 kB
Active:          55084 kB
Inactive:       693172 kB
HighTotal:      131008 kB
HighFree:        11732 kB
LowTotal:       903652 kB
LowFree:        253236 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15884 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 11:39:43 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 27580 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3456 variables and 26520 constraints.
c After prepocess the problem consists of 3456 variables and 26584 constraints.
c preprocess terminated 118.489 s
c Initial Lower Bound: 625
c Lower Bound Elapsed time: 53.7908
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1728 @ 341.661
c NEW SOLUTION FOUND: 1727 @ 341.669
c NEW SOLUTION FOUND: 1726 @ 341.72
c NEW SOLUTION FOUND: 1725 @ 341.761
c NEW SOLUTION FOUND: 1724 @ 341.8
c NEW SOLUTION FOUND: 1723 @ 341.842
c NEW SOLUTION FOUND: 1722 @ 341.882
c NEW SOLUTION FOUND: 1721 @ 341.923
c NEW SOLUTION FOUND: 1720 @ 341.964
c NEW SOLUTION FOUND: 1719 @ 342.006
c NEW SOLUTION FOUND: 1718 @ 342.05
c NEW SOLUTION FOUND: 1717 @ 342.094
c NEW SOLUTION FOUND: 1716 @ 342.139
c NEW SOLUTION FOUND: 1715 @ 342.183
c NEW SOLUTION FOUND: 1714 @ 342.231
c NEW SOLUTION FOUND: 1713 @ 342.279
c NEW SOLUTION FOUND: 1712 @ 342.328
c NEW SOLUTION FOUND: 1711 @ 342.378
c NEW SOLUTION FOUND: 1710 @ 342.427
c NEW SOLUTION FOUND: 1709 @ 342.478
c NEW SOLUTION FOUND: 1708 @ 342.527
c NEW SOLUTION FOUND: 1707 @ 342.58
c NEW SOLUTION FOUND: 1706 @ 342.683
c NEW SOLUTION FOUND: 1705 @ 342.735
c NEW SOLUTION FOUND: 1704 @ 342.789
c NEW SOLUTION FOUND: 1703 @ 342.844
c NEW SOLUTION FOUND: 1702 @ 342.9
c NEW SOLUTION FOUND: 1701 @ 342.957
c NEW SOLUTION FOUND: 1700 @ 343.016
c NEW SOLUTION FOUND: 1699 @ 343.073
c NEW SOLUTION FOUND: 1698 @ 343.135
c NEW SOLUTION FOUND: 1697 @ 343.196
c NEW SOLUTION FOUND: 1696 @ 343.26
c NEW SOLUTION FOUND: 1695 @ 343.33
c NEW SOLUTION FOUND: 1694 @ 343.398
c NEW SOLUTION FOUND: 1693 @ 343.468
c NEW SOLUTION FOUND: 1692 @ 343.539
c NEW SOLUTION FOUND: 1691 @ 343.611
c NEW SOLUTION FOUND: 1690 @ 343.683
c NEW SOLUTION FOUND: 1689 @ 343.76
c NEW SOLUTION FOUND: 1688 @ 343.835
c NEW SOLUTION FOUND: 1687 @ 343.992
c NEW SOLUTION FOUND: 1686 @ 344.079
c NEW SOLUTION FOUND: 1685 @ 344.163
c NEW SOLUTION FOUND: 1684 @ 344.342
c NEW SOLUTION FOUND: 1683 @ 344.438
c NEW SOLUTION FOUND: 1682 @ 344.534
c NEW SOLUTION FOUND: 1681 @ 344.727
c NEW SOLUTION FOUND: 1680 @ 344.825
c NEW SOLUTION FOUND: 1679 @ 344.927
c NEW SOLUTION FOUND: 1678 @ 345.021
c NEW SOLUTION FOUND: 1677 @ 345.124
c NEW SOLUTION FOUND: 1675 @ 345.448
c NEW SOLUTION FOUND: 1674 @ 345.582
c NEW SOLUTION FOUND: 1673 @ 345.719
c NEW SOLUTION FOUND: 1672 @ 345.864
c NEW SOLUTION FOUND: 1671 @ 346.007
c NEW SOLUTION FOUND: 1670 @ 346.148
c NEW SOLUTION FOUND: 1669 @ 346.289
c NEW SOLUTION FOUND: 1668 @ 346.434
c NEW SOLUTION FOUND: 1667 @ 346.581
c NEW SOLUTION FOUND: 1666 @ 346.727
c NEW SOLUTION FOUND: 1660 @ 347.605
#### 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.86 0.97 0.91 2/54 24611
Raw data (stat): 24611 (runsolver) R 24610 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892585314 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+10.001 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 5658 0 0 0 982 15 0 0 25 0 1 0 892585314 26341376 5569 4294967295 134512640 134716908 3221224592 3221223344 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 5569 1111 63 0 6368 0
vsize: 25724
[startup+20.0022 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 5908 0 0 0 1981 16 0 0 25 0 1 0 892585314 27422720 5819 4294967295 134512640 134716908 3221224592 3221223072 134536635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6695 5819 1111 63 0 6632 0
vsize: 26780
[startup+30.0033 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 5914 0 0 0 2981 16 0 0 25 0 1 0 892585314 27422720 5825 4294967295 134512640 134716908 3221224592 3221222976 134542359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6695 5825 1111 63 0 6632 0
vsize: 26780
[startup+40.003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 5920 0 0 0 3981 16 0 0 25 0 1 0 892585314 27422720 5831 4294967295 134512640 134716908 3221224592 3221223080 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6695 5831 1111 63 0 6632 0
vsize: 26780
[startup+50.0034 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 5925 0 0 0 4981 16 0 0 25 0 1 0 892585314 27422720 5836 4294967295 134512640 134716908 3221224592 3221223156 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6695 5836 1111 63 0 6632 0
vsize: 26780
[startup+60.0034 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 19706 0 0 0 5947 51 0 0 25 0 1 0 892585314 78741504 18376 4294967295 134512640 134716908 3221224592 3221223256 134627152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19224 18376 1111 63 0 19161 0
vsize: 76896
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 19706 0 0 0 6947 51 0 0 25 0 1 0 892585314 78741504 18376 4294967295 134512640 134716908 3221224592 3221223256 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19224 18376 1111 63 0 19161 0
vsize: 76896
[startup+80.0041 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 19706 0 0 0 7947 51 0 0 25 0 1 0 892585314 78741504 18376 4294967295 134512640 134716908 3221224592 3221223252 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19224 18376 1111 63 0 19161 0
vsize: 76896
[startup+90.0045 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 19706 0 0 0 8947 51 0 0 25 0 1 0 892585314 78741504 18376 4294967295 134512640 134716908 3221224592 3221223264 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19224 18376 1111 63 0 19161 0
vsize: 76896
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 19706 0 0 0 9947 51 0 0 25 0 1 0 892585314 78741504 18376 4294967295 134512640 134716908 3221224592 3221223264 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19224 18376 1111 63 0 19161 0
vsize: 76896
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 19706 0 0 0 10948 51 0 0 25 0 1 0 892585314 78741504 18376 4294967295 134512640 134716908 3221224592 3221223264 134627260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19224 18376 1111 63 0 19161 0
vsize: 76896
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 20048 0 0 0 11948 51 0 0 25 0 1 0 892585314 80318464 18718 4294967295 134512640 134716908 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19609 18718 1111 63 0 19546 0
vsize: 78436
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 20322 0 0 0 12945 53 0 0 25 0 1 0 892585314 81244160 18970 4294967295 134512640 134716908 3221224592 3221222808 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19835 18970 1111 63 0 19772 0
vsize: 79340
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 20420 0 0 0 13942 56 0 0 25 0 1 0 892585314 81625088 19068 4294967295 134512640 134716908 3221224592 3221222544 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19928 19068 1111 63 0 19865 0
vsize: 79712
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 20502 0 0 0 14941 57 0 0 25 0 1 0 892585314 81948672 19150 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20007 19150 1111 63 0 19944 0
vsize: 80028
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 20566 0 0 0 15939 59 0 0 25 0 1 0 892585314 82198528 19214 4294967295 134512640 134716908 3221224592 3221222544 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20068 19214 1111 63 0 20005 0
vsize: 80272
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 20594 0 0 0 16938 60 0 0 25 0 1 0 892585314 82305024 19242 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20094 19242 1111 63 0 20031 0
vsize: 80376
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24045 0 0 0 17930 68 0 0 25 0 1 0 892585314 100515840 21773 4294967295 134512640 134716908 3221224592 3221220716 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21773 1111 63 0 24477 0
vsize: 98160
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24147 0 0 0 18930 68 0 0 25 0 1 0 892585314 100515840 21851 4294967295 134512640 134716908 3221224592 3221220768 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21851 1111 63 0 24477 0
vsize: 98160
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24175 0 0 0 19930 69 0 0 25 0 1 0 892585314 100515840 21859 4294967295 134512640 134716908 3221224592 3221221560 1075066454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21859 1111 63 0 24477 0
vsize: 98160
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24196 0 0 0 20931 69 0 0 25 0 1 0 892585314 100515840 21864 4294967295 134512640 134716908 3221224592 3221220716 1075116757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21864 1111 63 0 24477 0
vsize: 98160
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24237 0 0 0 21931 69 0 0 25 0 1 0 892585314 100515840 21887 4294967295 134512640 134716908 3221224592 3221220716 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21887 1111 63 0 24477 0
vsize: 98160
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24283 0 0 0 22931 69 0 0 25 0 1 0 892585314 100515840 21909 4294967295 134512640 134716908 3221224592 3221220716 1075116474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21909 1111 63 0 24477 0
vsize: 98160
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24311 0 0 0 23931 69 0 0 25 0 1 0 892585314 100515840 21911 4294967295 134512640 134716908 3221224592 3221220768 1074960847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21911 1111 63 0 24477 0
vsize: 98160
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24341 0 0 0 24931 69 0 0 25 0 1 0 892585314 100515840 21913 4294967295 134512640 134716908 3221224592 3221220716 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21913 1111 63 0 24477 0
vsize: 98160
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24370 0 0 0 25931 70 0 0 25 0 1 0 892585314 100515840 21916 4294967295 134512640 134716908 3221224592 3221221560 1075007305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21916 1111 63 0 24477 0
vsize: 98160
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24397 0 0 0 26931 70 0 0 25 0 1 0 892585314 100515840 21917 4294967295 134512640 134716908 3221224592 3221221424 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21917 1111 63 0 24477 0
vsize: 98160
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24423 0 0 0 27931 70 0 0 25 0 1 0 892585314 100728832 21919 4294967295 134512640 134716908 3221224592 3221221424 1075960384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24592 21919 1111 63 0 24529 0
vsize: 98368
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24447 0 0 0 28931 70 0 0 25 0 1 0 892585314 100515840 21917 4294967295 134512640 134716908 3221224592 3221220768 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21917 1111 63 0 24477 0
vsize: 98160
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24475 0 0 0 29931 70 0 0 25 0 1 0 892585314 100515840 21917 4294967295 134512640 134716908 3221224592 3221220716 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21917 1111 63 0 24477 0
vsize: 98160
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24501 0 0 0 30931 70 0 0 25 0 1 0 892585314 100515840 21917 4294967295 134512640 134716908 3221224592 3221221056 1076044883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24540 21917 1111 63 0 24477 0
vsize: 98160
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 24597 0 0 0 31931 71 0 0 25 0 1 0 892585314 101208064 21985 4294967295 134512640 134716908 3221224592 3221220716 1075116480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24709 21985 1111 63 0 24646 0
vsize: 98836
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 29525 0 0 0 32920 81 0 0 25 0 1 0 892585314 100474880 20847 4294967295 134512640 134716908 3221224592 3221221568 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24530 20847 1111 63 0 24467 0
vsize: 98120
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 44347 0 0 0 33886 115 0 0 25 0 1 0 892585314 82931712 19474 4294967295 134512640 134716908 3221224592 3221223152 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20247 19474 1111 63 0 20184 0
vsize: 80988
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 52781 0 0 0 34863 138 0 0 25 0 1 0 892585314 81104896 19077 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19801 19077 1111 63 0 19738 0
vsize: 79204
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 52909 0 0 0 35861 140 0 0 25 0 1 0 892585314 81625088 19204 4294967295 134512640 134716908 3221224592 3221222992 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19928 19204 1111 63 0 19865 0
vsize: 79712
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 54752 0 0 0 36855 146 0 0 25 0 1 0 892585314 95928320 20522 4294967295 134512640 134716908 3221224592 3221220812 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23420 20522 1111 63 0 23357 0
vsize: 93680
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 54775 0 0 0 37855 146 0 0 25 0 1 0 892585314 95928320 20545 4294967295 134512640 134716908 3221224592 3221220800 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23420 20545 1111 63 0 23357 0
vsize: 93680
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 54788 0 0 0 38855 146 0 0 25 0 1 0 892585314 95928320 20558 4294967295 134512640 134716908 3221224592 3221221664 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23420 20558 1111 63 0 23357 0
vsize: 93680
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 54801 0 0 0 39856 146 0 0 25 0 1 0 892585314 95928320 20571 4294967295 134512640 134716908 3221224592 3221220812 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23420 20571 1111 63 0 23357 0
vsize: 93680
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 54803 0 0 0 40856 146 0 0 25 0 1 0 892585314 95928320 20573 4294967295 134512640 134716908 3221224592 3221220812 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23420 20573 1111 63 0 23357 0
vsize: 93680
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 54834 0 0 0 41856 147 0 0 25 0 1 0 892585314 96313344 20604 4294967295 134512640 134716908 3221224592 3221220812 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23514 20604 1111 63 0 23451 0
vsize: 94056
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 56396 0 0 0 42851 151 0 0 25 0 1 0 892585314 81809408 19217 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19973 19217 1111 63 0 19910 0
vsize: 79892
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 58084 0 0 0 43847 155 0 0 25 0 1 0 892585314 95760384 20474 4294967295 134512640 134716908 3221224592 3221220812 1075116586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23379 20474 1111 63 0 23316 0
vsize: 93516
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 58111 0 0 0 44848 155 0 0 25 0 1 0 892585314 95760384 20501 4294967295 134512640 134716908 3221224592 3221221136 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23379 20501 1111 63 0 23316 0
vsize: 93516
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 58114 0 0 0 45848 155 0 0 25 0 1 0 892585314 95760384 20504 4294967295 134512640 134716908 3221224592 3221220812 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23379 20504 1111 63 0 23316 0
vsize: 93516
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 59388 0 0 0 46845 159 0 0 25 0 1 0 892585314 81219584 19105 4294967295 134512640 134716908 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19829 19105 1111 63 0 19766 0
vsize: 79316
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 59529 0 0 0 47843 161 0 0 25 0 1 0 892585314 81731584 19230 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19954 19230 1111 63 0 19891 0
vsize: 79816
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 61247 0 0 0 48839 164 0 0 25 0 1 0 892585314 95698944 20460 4294967295 134512640 134716908 3221224592 3221221664 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23364 20460 1111 63 0 23301 0
vsize: 93456
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 61255 0 0 0 49839 165 0 0 25 0 1 0 892585314 95698944 20468 4294967295 134512640 134716908 3221224592 3221220812 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23364 20468 1111 63 0 23301 0
vsize: 93456
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 61266 0 0 0 50839 165 0 0 25 0 1 0 892585314 95698944 20479 4294967295 134512640 134716908 3221224592 3221220812 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23364 20479 1111 63 0 23301 0
vsize: 93456
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 61268 0 0 0 51839 165 0 0 25 0 1 0 892585314 95698944 20481 4294967295 134512640 134716908 3221224592 3221220812 1075116492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23364 20481 1111 63 0 23301 0
vsize: 93456
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 61276 0 0 0 52839 165 0 0 25 0 1 0 892585314 95698944 20489 4294967295 134512640 134716908 3221224592 3221220812 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23364 20489 1111 63 0 23301 0
vsize: 93456
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 61276 0 0 0 53839 165 0 0 25 0 1 0 892585314 95698944 20489 4294967295 134512640 134716908 3221224592 3221220812 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23364 20489 1111 63 0 23301 0
vsize: 93456
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 61276 0 0 0 54839 165 0 0 25 0 1 0 892585314 95698944 20489 4294967295 134512640 134716908 3221224592 3221220812 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23364 20489 1111 63 0 23301 0
vsize: 93456
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 61303 0 0 0 55840 166 0 0 25 0 1 0 892585314 96067584 20516 4294967295 134512640 134716908 3221224592 3221220812 1075116757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23454 20516 1111 63 0 23391 0
vsize: 93816
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 62734 0 0 0 56836 170 0 0 25 0 1 0 892585314 81477632 19155 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19892 19155 1111 63 0 19829 0
vsize: 79568
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 64504 0 0 0 57832 174 0 0 25 0 1 0 892585314 95723520 20455 4294967295 134512640 134716908 3221224592 3221220812 1075116725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23370 20455 1111 63 0 23307 0
vsize: 93480
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 64515 0 0 0 58832 174 0 0 25 0 1 0 892585314 95723520 20466 4294967295 134512640 134716908 3221224592 3221220812 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23370 20466 1111 63 0 23307 0
vsize: 93480
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 64526 0 0 0 59832 174 0 0 25 0 1 0 892585314 95723520 20477 4294967295 134512640 134716908 3221224592 3221220460 1074787933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23370 20477 1111 63 0 23307 0
vsize: 93480
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 64537 0 0 0 60832 174 0 0 25 0 1 0 892585314 95723520 20488 4294967295 134512640 134716908 3221224592 3221221592 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23370 20488 1111 63 0 23307 0
vsize: 93480
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 64539 0 0 0 61832 174 0 0 25 0 1 0 892585314 95723520 20490 4294967295 134512640 134716908 3221224592 3221221136 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23370 20490 1111 63 0 23307 0
vsize: 93480
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 64565 0 0 0 62832 174 0 0 25 0 1 0 892585314 96092160 20516 4294967295 134512640 134716908 3221224592 3221220928 1075113393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23460 20516 1111 63 0 23397 0
vsize: 93840
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 65917 0 0 0 63829 177 0 0 25 0 1 0 892585314 81625088 19173 4294967295 134512640 134716908 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19928 19173 1111 63 0 19865 0
vsize: 79712
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 67622 0 0 0 64825 181 0 0 25 0 1 0 892585314 95424512 20392 4294967295 134512640 134716908 3221224592 3221220812 1075116564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23297 20392 1111 63 0 23234 0
vsize: 93188
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 67650 0 0 0 65826 181 0 0 25 0 1 0 892585314 95424512 20420 4294967295 134512640 134716908 3221224592 3221220812 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23297 20420 1111 63 0 23234 0
vsize: 93188
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 67661 0 0 0 66826 182 0 0 25 0 1 0 892585314 95424512 20431 4294967295 134512640 134716908 3221224592 3221220812 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23297 20431 1111 63 0 23234 0
vsize: 93188
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 67693 0 0 0 67826 182 0 0 25 0 1 0 892585314 95772672 20463 4294967295 134512640 134716908 3221224592 3221220656 1075084528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23382 20463 1111 63 0 23319 0
vsize: 93528
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 68916 0 0 0 68823 185 0 0 25 0 1 0 892585314 81092608 19074 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19798 19074 1111 63 0 19735 0
vsize: 79192
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 69608 0 0 0 69822 186 0 0 25 0 1 0 892585314 84045824 19488 4294967295 134512640 134716908 3221224592 3221221936 1074839017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20519 19488 1111 63 0 20456 0
vsize: 82076
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 70584 0 0 0 70820 189 0 0 25 0 1 0 892585314 95277056 20389 4294967295 134512640 134716908 3221224592 3221221248 1075968404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23261 20389 1111 63 0 23198 0
vsize: 93044
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 70595 0 0 0 71820 189 0 0 25 0 1 0 892585314 95277056 20400 4294967295 134512640 134716908 3221224592 3221220812 1075116556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23261 20400 1111 63 0 23198 0
vsize: 93044
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 70609 0 0 0 72820 189 0 0 25 0 1 0 892585314 95277056 20414 4294967295 134512640 134716908 3221224592 3221220864 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23261 20414 1111 63 0 23198 0
vsize: 93044
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 71756 0 0 0 73818 191 0 0 25 0 1 0 892585314 81166336 19092 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19816 19092 1111 63 0 19753 0
vsize: 79264
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 73354 0 0 0 74813 196 0 0 25 0 1 0 892585314 95219712 20340 4294967295 134512640 134716908 3221224592 3221220812 1075116791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23247 20340 1111 63 0 23184 0
vsize: 92988
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 73409 0 0 0 75813 196 0 0 25 0 1 0 892585314 95219712 20395 4294967295 134512640 134716908 3221224592 3221220812 1075116498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23247 20395 1111 63 0 23184 0
vsize: 92988
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 73412 0 0 0 76814 196 0 0 25 0 1 0 892585314 95219712 20398 4294967295 134512640 134716908 3221224592 3221220588 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23247 20398 1111 63 0 23184 0
vsize: 92988
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 74543 0 0 0 77811 199 0 0 25 0 1 0 892585314 80896000 19026 4294967295 134512640 134716908 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19750 19026 1111 63 0 19687 0
vsize: 79000
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 74734 0 0 0 78810 200 0 0 25 0 1 0 892585314 81678336 19217 4294967295 134512640 134716908 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19941 19217 1111 63 0 19878 0
vsize: 79764
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 76208 0 0 0 79807 203 0 0 25 0 1 0 892585314 95150080 20351 4294967295 134512640 134716908 3221224592 3221220860 1074807042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23230 20351 1111 63 0 23167 0
vsize: 92920
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 76211 0 0 0 80807 203 0 0 25 0 1 0 892585314 95150080 20354 4294967295 134512640 134716908 3221224592 3221220812 1075116872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23230 20354 1111 63 0 23167 0
vsize: 92920
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 76224 0 0 0 81807 203 0 0 25 0 1 0 892585314 95150080 20367 4294967295 134512640 134716908 3221224592 3221220864 1074960800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23230 20367 1111 63 0 23167 0
vsize: 92920
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 76233 0 0 0 82807 203 0 0 25 0 1 0 892585314 95150080 20376 4294967295 134512640 134716908 3221224592 3221220648 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23230 20376 1111 63 0 23167 0
vsize: 92920
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 77411 0 0 0 83804 207 0 0 25 0 1 0 892585314 81092608 19074 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19798 19074 1111 63 0 19735 0
vsize: 79192
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 78955 0 0 0 84800 211 0 0 25 0 1 0 892585314 95047680 20283 4294967295 134512640 134716908 3221224592 3221221120 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23205 20283 1111 63 0 23142 0
vsize: 92820
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 79029 0 0 0 85800 211 0 0 25 0 1 0 892585314 95186944 20357 4294967295 134512640 134716908 3221224592 3221220812 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23239 20357 1111 63 0 23176 0
vsize: 92956
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 79048 0 0 0 86800 211 0 0 25 0 1 0 892585314 95186944 20376 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23239 20376 1111 63 0 23176 0
vsize: 92956
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 79053 0 0 0 87800 211 0 0 25 0 1 0 892585314 95186944 20381 4294967295 134512640 134716908 3221224592 3221220812 1075116556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23239 20381 1111 63 0 23176 0
vsize: 92956
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 81103 0 0 0 88794 217 0 0 25 0 1 0 892585314 81018880 19056 4294967295 134512640 134716908 3221224592 3221222888 1074138163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19780 19056 1111 63 0 19717 0
vsize: 79120
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 82527 0 0 0 89790 222 0 0 25 0 1 0 892585314 95014912 20140 4294967295 134512640 134716908 3221224592 3221220812 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23197 20140 1111 63 0 23134 0
vsize: 92788
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 82730 0 0 0 90790 222 0 0 25 0 1 0 892585314 95154176 20343 4294967295 134512640 134716908 3221224592 3221220812 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23231 20343 1111 63 0 23168 0
vsize: 92924
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 82738 0 0 0 91790 222 0 0 25 0 1 0 892585314 95154176 20351 4294967295 134512640 134716908 3221224592 3221220812 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23231 20351 1111 63 0 23168 0
vsize: 92924
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 83750 0 0 0 92788 224 0 0 25 0 1 0 892585314 91881472 20559 4294967295 134512640 134716908 3221224592 3221220560 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22432 20559 1111 63 0 22369 0
vsize: 89728
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 83756 0 0 0 93788 224 0 0 25 0 1 0 892585314 91881472 20565 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22432 20565 1111 63 0 22369 0
vsize: 89728
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 83786 0 0 0 94788 224 0 0 25 0 1 0 892585314 92213248 20595 4294967295 134512640 134716908 3221224592 3221220864 1074960916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22513 20595 1111 63 0 22450 0
vsize: 90052
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 85009 0 0 0 95784 229 0 0 25 0 1 0 892585314 81530880 19181 4294967295 134512640 134716908 3221224592 3221222992 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19905 19181 1111 63 0 19842 0
vsize: 79620
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 86855 0 0 0 96779 234 0 0 25 0 1 0 892585314 95916032 20507 4294967295 134512640 134716908 3221224592 3221221572 1075964073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23417 20507 1111 63 0 23354 0
vsize: 93668
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 86889 0 0 0 97779 234 0 0 25 0 1 0 892585314 95916032 20541 4294967295 134512640 134716908 3221224592 3221220812 1075116872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23417 20541 1111 63 0 23354 0
vsize: 93668
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 86903 0 0 0 98779 234 0 0 25 0 1 0 892585314 95916032 20555 4294967295 134512640 134716908 3221224592 3221220812 1075116564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23417 20555 1111 63 0 23354 0
vsize: 93668
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 86914 0 0 0 99779 234 0 0 25 0 1 0 892585314 95916032 20566 4294967295 134512640 134716908 3221224592 3221220864 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23417 20566 1111 63 0 23354 0
vsize: 93668
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 88397 0 0 0 100776 238 0 0 25 0 1 0 892585314 81166336 19092 4294967295 134512640 134716908 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19816 19092 1111 63 0 19753 0
vsize: 79264
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 88527 0 0 0 101774 240 0 0 25 0 1 0 892585314 81698816 19222 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19946 19222 1111 63 0 19883 0
vsize: 79784
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 90339 0 0 0 102770 244 0 0 25 0 1 0 892585314 95821824 20516 4294967295 134512640 134716908 3221224592 3221220812 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23394 20516 1111 63 0 23331 0
vsize: 93576
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 90359 0 0 0 103770 244 0 0 25 0 1 0 892585314 95821824 20536 4294967295 134512640 134716908 3221224592 3221220588 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23394 20536 1111 63 0 23331 0
vsize: 93576
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 90366 0 0 0 104770 244 0 0 25 0 1 0 892585314 95821824 20543 4294967295 134512640 134716908 3221224592 3221220812 1075116513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23394 20543 1111 63 0 23331 0
vsize: 93576
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 90402 0 0 0 105771 244 0 0 25 0 1 0 892585314 96202752 20579 4294967295 134512640 134716908 3221224592 3221220812 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23487 20579 1111 63 0 23424 0
vsize: 93948
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 91916 0 0 0 106767 248 0 0 25 0 1 0 892585314 81526784 19180 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19904 19180 1111 63 0 19841 0
vsize: 79616
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 93657 0 0 0 107762 253 0 0 25 0 1 0 892585314 95719424 20438 4294967295 134512640 134716908 3221224592 3221220812 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23369 20438 1111 63 0 23306 0
vsize: 93476
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 93700 0 0 0 108762 253 0 0 25 0 1 0 892585314 95719424 20481 4294967295 134512640 134716908 3221224592 3221221584 1075110578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23369 20481 1111 63 0 23306 0
vsize: 93476
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 93736 0 0 0 109762 254 0 0 25 0 1 0 892585314 96088064 20517 4294967295 134512640 134716908 3221224592 3221220812 1075116737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23459 20517 1111 63 0 23396 0
vsize: 93836
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 95163 0 0 0 110759 257 0 0 25 0 1 0 892585314 81408000 19151 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19875 19151 1111 63 0 19812 0
vsize: 79500
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 96871 0 0 0 111753 263 0 0 25 0 1 0 892585314 95494144 20376 4294967295 134512640 134716908 3221224592 3221221632 1075971395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23314 20376 1111 63 0 23251 0
vsize: 93256
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 96956 0 0 0 112753 263 0 0 25 0 1 0 892585314 95653888 20461 4294967295 134512640 134716908 3221224592 3221220812 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23353 20461 1111 63 0 23290 0
vsize: 93412
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 96962 0 0 0 113753 263 0 0 25 0 1 0 892585314 95653888 20467 4294967295 134512640 134716908 3221224592 3221220588 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23353 20467 1111 63 0 23290 0
vsize: 93412
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 97958 0 0 0 114751 265 0 0 25 0 1 0 892585314 92749824 20687 4294967295 134512640 134716908 3221224592 3221220832 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22644 20687 1111 63 0 22581 0
vsize: 90576
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 99401 0 0 0 115747 270 0 0 25 0 1 0 892585314 81547264 19185 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19909 19185 1111 63 0 19846 0
vsize: 79636
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 101084 0 0 0 116743 274 0 0 25 0 1 0 892585314 95346688 20382 4294967295 134512640 134716908 3221224592 3221220864 1074961246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23278 20382 1111 63 0 23215 0
vsize: 93112
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 101098 0 0 0 117743 274 0 0 25 0 1 0 892585314 95346688 20396 4294967295 134512640 134716908 3221224592 3221221360 1076083590 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23278 20396 1111 63 0 23215 0
vsize: 93112
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 101118 0 0 0 118744 274 0 0 25 0 1 0 892585314 95346688 20416 4294967295 134512640 134716908 3221224592 3221220812 1075116523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23278 20416 1111 63 0 23215 0
vsize: 93112
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) R 24610 31399 31398 0 -1 0 101121 0 0 0 119744 274 0 0 25 0 1 0 892585314 95346688 20419 4294967295 134512640 134716908 3221224592 3221221744 1075969854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23278 20419 1111 63 0 23215 0
vsize: 93112
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24611
Raw data (stat): 24611 (bsolo_lpr-v2) Z 24610 31399 31398 0 -1 1036 101121 0 0 0 119744 278 0 0 25 0 1 0 892585314 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.23
CPU user time (s): 1197.44
CPU system time (s): 2.78258
CPU usage (%): 100.014
Max. virtual memory (Kb): 98836
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####