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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb
MD5SUM9758fd8c9a8bc907d5083400c8e6642e
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 334
Optimality of the best value was proved NO
Number of terms in the objective function 668
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 668
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 668
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.53961
Number of variables668
Total number of constraints1666
Number of constraints which are clauses1666
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3

Trace number 39573

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 13:51:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27639 boxname=wulflinc2 idbench=197 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  9758fd8c9a8bc907d5083400c8e6642e  /oldhome/oroussel/tmp/wulflinc2/normalized-par16-3-c.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-par16-3-c.opb
IDLAUNCH: 27639
/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:        263540 kB
Buffers:         34560 kB
Cached:         712752 kB
SwapCached:       1164 kB
Active:          60984 kB
Inactive:       688852 kB
HighTotal:      131008 kB
HighFree:        10248 kB
LowTotal:       903652 kB
LowFree:        253292 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15612 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 14:10:55 (client local time) WITH STATUS 0 IN 1175.21 SECONDS
stats: 27639 7 1175.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 668 variables and 1666 constraints.
c After prepocess the problem consists of 638 variables and 2086 constraints.
c preprocess terminated 2.868 s
c Initial Lower Bound: 217
c Lower Bound Elapsed time: 0.75875
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.2 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.92 0.95 0.90 2/54 25561
Raw data (stat): 25561 (runsolver) R 25560 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893495311 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.0001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 3720 0 0 0 986 10 0 0 25 0 1 0 893495311 11272192 1842 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2752 1842 1111 63 0 2689 0
vsize: 11008
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 5205 0 0 0 1980 15 0 0 25 0 1 0 893495311 10792960 1873 4294967295 134512640 134716908 3221224576 3221220508 1074788195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1873 1111 63 0 2572 0
vsize: 10540
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 7060 0 0 0 2976 20 0 0 25 0 1 0 893495311 10637312 1824 4294967295 134512640 134716908 3221224576 3221220736 1075094850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1824 1111 63 0 2534 0
vsize: 10388
[startup+40.001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 9189 0 0 0 3971 25 0 0 25 0 1 0 893495311 10633216 1796 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1772 1111 63 0 2452 0
vsize: 10384
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 11456 0 0 0 4965 31 0 0 25 0 1 0 893495311 10633216 1801 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2596 1801 1111 63 0 2533 0
vsize: 10384
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 13869 0 0 0 5959 37 0 0 25 0 1 0 893495311 10948608 1792 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2673 1792 1111 63 0 2610 0
vsize: 10692
[startup+70.0011 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 16595 0 0 0 6953 44 0 0 25 0 1 0 893495311 11137024 1830 4294967295 134512640 134716908 3221224576 3221220728 1074883113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2719 1830 1111 63 0 2656 0
vsize: 10876
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 19310 0 0 0 7946 51 0 0 25 0 1 0 893495311 10973184 1896 4294967295 134512640 134716908 3221224576 3221220784 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1896 1111 63 0 2616 0
vsize: 10716
[startup+90.0018 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 21608 0 0 0 8940 57 0 0 25 0 1 0 893495311 10989568 1777 4294967295 134512640 134716908 3221224576 3221221664 1075661523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2683 1777 1111 63 0 2620 0
vsize: 10732
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 24213 0 0 0 9933 65 0 0 25 0 1 0 893495311 9965568 1733 4294967295 134512640 134716908 3221224576 3221221680 1074138636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2433 1733 1111 63 0 2370 0
vsize: 9732
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 26890 0 0 0 10926 72 0 0 25 0 1 0 893495311 11165696 1837 4294967295 134512640 134716908 3221224576 3221221816 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2726 1837 1111 63 0 2663 0
vsize: 10904
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 29481 0 0 0 11918 79 0 0 25 0 1 0 893495311 9809920 1714 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2395 1714 1111 63 0 2332 0
vsize: 9580
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 32291 0 0 0 12911 87 0 0 25 0 1 0 893495311 10829824 1854 4294967295 134512640 134716908 3221224576 3221220732 1075090000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2644 1854 1111 63 0 2581 0
vsize: 10576
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 34983 0 0 0 13904 94 0 0 25 0 1 0 893495311 10985472 1813 4294967295 134512640 134716908 3221224576 3221221108 1075863628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2682 1813 1111 63 0 2619 0
vsize: 10728
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 37752 0 0 0 14896 102 0 0 25 0 1 0 893495311 10952704 1778 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2674 1778 1111 63 0 2611 0
vsize: 10696
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 40435 0 0 0 15889 110 0 0 25 0 1 0 893495311 11128832 1820 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2717 1820 1111 63 0 2654 0
vsize: 10868
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 43471 0 0 0 16881 118 0 0 25 0 1 0 893495311 9830400 1719 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2400 1719 1111 63 0 2337 0
vsize: 9600
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 46417 0 0 0 17872 126 0 0 25 0 1 0 893495311 11198464 1848 4294967295 134512640 134716908 3221224576 3221221344 1076084087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2734 1848 1111 63 0 2671 0
vsize: 10936
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 49469 0 0 0 18864 135 0 0 25 0 1 0 893495311 11284480 1865 4294967295 134512640 134716908 3221224576 3221220780 1075564188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2755 1865 1111 63 0 2692 0
vsize: 11020
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 51811 0 0 0 19858 141 0 0 25 0 1 0 893495311 9945088 1747 4294967295 134512640 134716908 3221224576 3221221888 1075006811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2428 1747 1111 63 0 2365 0
vsize: 9712
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 54586 0 0 0 20851 148 0 0 25 0 1 0 893495311 11300864 1956 4294967295 134512640 134716908 3221224576 3221220536 1075964764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2759 1956 1111 63 0 2696 0
vsize: 11036
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 57240 0 0 0 21844 156 0 0 25 0 1 0 893495311 11046912 1821 4294967295 134512640 134716908 3221224576 3221220804 1075114975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2697 1821 1111 63 0 2634 0
vsize: 10788
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 60078 0 0 0 22836 164 0 0 25 0 1 0 893495311 9887744 1733 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2414 1733 1111 63 0 2351 0
vsize: 9656
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 62745 0 0 0 23828 172 0 0 25 0 1 0 893495311 11022336 1787 4294967295 134512640 134716908 3221224576 3221220816 1075115696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2691 1791 1111 63 0 2628 0
vsize: 10764
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 65853 0 0 0 24819 181 0 0 25 0 1 0 893495311 10936320 1899 4294967295 134512640 134716908 3221224576 3221220484 1074786534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2670 1899 1111 63 0 2607 0
vsize: 10680
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 68677 0 0 0 25812 188 0 0 25 0 1 0 893495311 11161600 1816 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2725 1816 1111 63 0 2662 0
vsize: 10900
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 71448 0 0 0 26804 196 0 0 25 0 1 0 893495311 11169792 1831 4294967295 134512640 134716908 3221224576 3221220700 1074878595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2727 1831 1111 63 0 2664 0
vsize: 10908
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 74310 0 0 0 27797 204 0 0 25 0 1 0 893495311 11169792 1839 4294967295 134512640 134716908 3221224576 3221220472 1074789611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2727 1839 1111 63 0 2664 0
vsize: 10908
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 76790 0 0 0 28791 210 0 0 25 0 1 0 893495311 11231232 1875 4294967295 134512640 134716908 3221224576 3221220908 1076111476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2742 1875 1111 63 0 2679 0
vsize: 10968
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 79415 0 0 0 29783 218 0 0 25 0 1 0 893495311 11534336 1932 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2816 1932 1111 63 0 2753 0
vsize: 11264
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 82244 0 0 0 30775 226 0 0 25 0 1 0 893495311 10231808 1790 4294967295 134512640 134716908 3221224576 3221222660 1077378632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2498 1790 1111 63 0 2435 0
vsize: 9992
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 84922 0 0 0 31768 233 0 0 25 0 1 0 893495311 11767808 1977 4294967295 134512640 134716908 3221224576 3221221512 1075066492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2873 1977 1111 63 0 2810 0
vsize: 11492
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 88185 0 0 0 32759 243 0 0 25 0 1 0 893495311 11767808 1971 4294967295 134512640 134716908 3221224576 3221220784 1074791673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2873 1971 1111 63 0 2810 0
vsize: 11492
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 91353 0 0 0 33751 250 0 0 25 0 1 0 893495311 11722752 2086 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2862 2086 1111 63 0 2799 0
vsize: 11448
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 93755 0 0 0 34745 257 0 0 25 0 1 0 893495311 11878400 2029 4294967295 134512640 134716908 3221224576 3221220816 1075115765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2900 2029 1111 63 0 2837 0
vsize: 11600
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 96666 0 0 0 35736 266 0 0 25 0 1 0 893495311 11128832 1917 4294967295 134512640 134716908 3221224576 3221220800 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2717 1917 1111 63 0 2654 0
vsize: 10868
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 99587 0 0 0 36729 274 0 0 25 0 1 0 893495311 11677696 1973 4294967295 134512640 134716908 3221224576 3221220780 1075564165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2851 1973 1111 63 0 2788 0
vsize: 11404
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 102379 0 0 0 37721 281 0 0 25 0 1 0 893495311 11223040 1965 4294967295 134512640 134716908 3221224576 3221221696 1074837196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2740 1965 1111 63 0 2677 0
vsize: 10960
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 104862 0 0 0 38715 288 0 0 25 0 1 0 893495311 10633216 1911 4294967295 134512640 134716908 3221224576 3221222576 1074916715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2596 1911 1111 63 0 2533 0
vsize: 10384
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 107554 0 0 0 39707 296 0 0 25 0 1 0 893495311 10858496 1945 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2651 1945 1111 63 0 2588 0
vsize: 10604
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 109972 0 0 0 40700 303 0 0 25 0 1 0 893495311 11972608 2037 4294967295 134512640 134716908 3221224576 3221220960 1075133386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2923 2037 1111 63 0 2860 0
vsize: 11692
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 112747 0 0 0 41692 312 0 0 25 0 1 0 893495311 11988992 2063 4294967295 134512640 134716908 3221224576 3221220720 1074970267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 2063 1111 63 0 2864 0
vsize: 11708
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 115192 0 0 0 42685 318 0 0 25 0 1 0 893495311 12075008 2083 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2948 2083 1111 63 0 2885 0
vsize: 11792
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 117543 0 0 0 43680 324 0 0 25 0 1 0 893495311 11845632 1993 4294967295 134512640 134716908 3221224576 3221220480 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2892 1993 1111 63 0 2829 0
vsize: 11568
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 120600 0 0 0 44671 332 0 0 25 0 1 0 893495311 12025856 2056 4294967295 134512640 134716908 3221224576 3221220848 1074961120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2936 2056 1111 63 0 2873 0
vsize: 11744
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 123252 0 0 0 45665 339 0 0 25 0 1 0 893495311 10952704 1963 4294967295 134512640 134716908 3221224576 3221222304 1075828621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2674 1963 1111 63 0 2611 0
vsize: 10696
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 125760 0 0 0 46659 345 0 0 25 0 1 0 893495311 11644928 2068 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2843 2068 1111 63 0 2780 0
vsize: 11372
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 128931 0 0 0 47651 353 0 0 25 0 1 0 893495311 12414976 2135 4294967295 134512640 134716908 3221224576 3221220724 1075964441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2135 1111 63 0 2968 0
vsize: 12124
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 131169 0 0 0 48645 359 0 0 25 0 1 0 893495311 10944512 1994 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2672 1994 1111 63 0 2609 0
vsize: 10688
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 133499 0 0 0 49640 365 0 0 25 0 1 0 893495311 11784192 2073 4294967295 134512640 134716908 3221224576 3221220544 1074872712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2877 2073 1111 63 0 2814 0
vsize: 11508
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 136242 0 0 0 50633 372 0 0 25 0 1 0 893495311 11993088 2054 4294967295 134512640 134716908 3221224576 3221220804 1075115109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2928 2054 1111 63 0 2865 0
vsize: 11712
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25561
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 139008 0 0 0 51626 379 0 0 25 0 1 0 893495311 12013568 2042 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2933 2042 1111 63 0 2870 0
vsize: 11732
[startup+530.005 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 25614
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 141591 0 0 0 52618 386 0 0 25 0 1 0 893495311 12369920 2126 4294967295 134512640 134716908 3221224576 3221220444 1074787576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3020 2126 1111 63 0 2957 0
vsize: 12080
[startup+540.005 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 25614
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 144005 0 0 0 53611 394 0 0 25 0 1 0 893495311 12161024 2083 4294967295 134512640 134716908 3221224576 3221221696 1074834340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2969 2083 1111 63 0 2906 0
vsize: 11876
[startup+550.006 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 25614
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 146505 0 0 0 54604 400 0 0 25 0 1 0 893495311 12259328 2111 4294967295 134512640 134716908 3221224576 3221220736 1074883665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2993 2111 1111 63 0 2930 0
vsize: 11972
[startup+560.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25614
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 149182 0 0 0 55598 407 0 0 25 0 1 0 893495311 11083776 2021 4294967295 134512640 134716908 3221224576 3221222576 1074918353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2706 2021 1111 63 0 2643 0
vsize: 10824
[startup+570.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25614
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 151973 0 0 0 56590 415 0 0 25 0 1 0 893495311 10944512 1994 4294967295 134512640 134716908 3221224576 3221222720 1074153686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2672 1994 1111 63 0 2609 0
vsize: 10688
[startup+580.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25614
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 154948 0 0 0 57584 421 0 0 25 0 1 0 893495311 12279808 2127 4294967295 134512640 134716908 3221224576 3221220848 1074961155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2998 2127 1111 63 0 2935 0
vsize: 11992
[startup+590.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25614
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 158191 0 0 0 58576 429 0 0 25 0 1 0 893495311 10997760 2007 4294967295 134512640 134716908 3221224576 3221223040 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2685 2007 1111 63 0 2622 0
vsize: 10740
[startup+600.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25614
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 161222 0 0 0 59569 437 0 0 25 0 1 0 893495311 12619776 2233 4294967295 134512640 134716908 3221224576 3221220796 1075116848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 2233 1111 63 0 3018 0
vsize: 12324
[startup+610.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 163839 0 0 0 60560 446 0 0 25 0 1 0 893495311 11038720 2017 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2695 2017 1111 63 0 2632 0
vsize: 10780
[startup+620.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 166746 0 0 0 61553 453 0 0 25 0 1 0 893495311 11165696 2041 4294967295 134512640 134716908 3221224576 3221222576 1074918533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2726 2041 1111 63 0 2663 0
vsize: 10904
[startup+630.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 169702 0 0 0 62545 461 0 0 25 0 1 0 893495311 12349440 2129 4294967295 134512640 134716908 3221224576 3221220540 1074787823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3015 2129 1111 63 0 2952 0
vsize: 12060
[startup+640.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 173343 0 0 0 63535 472 0 0 25 0 1 0 893495311 11091968 2030 4294967295 134512640 134716908 3221224576 3221223224 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2708 2030 1111 63 0 2645 0
vsize: 10832
[startup+650.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 176782 0 0 0 64526 481 0 0 25 0 1 0 893495311 12357632 2118 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3017 2118 1111 63 0 2954 0
vsize: 12068
[startup+660.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 180089 0 0 0 65518 489 0 0 25 0 1 0 893495311 11091968 2030 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2708 2030 1111 63 0 2645 0
vsize: 10832
[startup+670.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 183477 0 0 0 66510 498 0 0 25 0 1 0 893495311 11091968 2030 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2708 2030 1111 63 0 2645 0
vsize: 10832
[startup+680.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 186481 0 0 0 67502 505 0 0 25 0 1 0 893495311 11341824 2058 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 2058 1111 63 0 2706 0
vsize: 11076
[startup+690.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 189366 0 0 0 68494 513 0 0 25 0 1 0 893495311 11190272 2054 4294967295 134512640 134716908 3221224576 3221222584 1077380184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2732 2054 1111 63 0 2669 0
vsize: 10928
[startup+700.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 192075 0 0 0 69487 521 0 0 25 0 1 0 893495311 12546048 2271 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3063 2271 1111 63 0 3000 0
vsize: 12252
[startup+710.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 194071 0 0 0 70482 526 0 0 25 0 1 0 893495311 12599296 2165 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3076 2165 1111 63 0 3013 0
vsize: 12304
[startup+720.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 196382 0 0 0 71476 532 0 0 25 0 1 0 893495311 12705792 2221 4294967295 134512640 134716908 3221224576 3221220724 1075964384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3102 2221 1111 63 0 3039 0
vsize: 12408
[startup+730.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 198792 0 0 0 72469 539 0 0 25 0 1 0 893495311 12673024 2225 4294967295 134512640 134716908 3221224576 3221220912 1075113523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3094 2225 1111 63 0 3031 0
vsize: 12376
[startup+740.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 201328 0 0 0 73463 545 0 0 25 0 1 0 893495311 12328960 2267 4294967295 134512640 134716908 3221224576 3221220860 1076111491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3010 2267 1111 63 0 2947 0
vsize: 12040
[startup+750.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 203824 0 0 0 74457 551 0 0 25 0 1 0 893495311 13168640 2337 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3215 2337 1111 63 0 3152 0
vsize: 12860
[startup+760.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 206364 0 0 0 75451 557 0 0 25 0 1 0 893495311 12460032 2242 4294967295 134512640 134716908 3221224576 3221221168 1074885370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3042 2242 1111 63 0 2979 0
vsize: 12168
[startup+770.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 208830 0 0 0 76446 563 0 0 25 0 1 0 893495311 12222464 2190 4294967295 134512640 134716908 3221224576 3221220756 1075115014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2984 2190 1111 63 0 2921 0
vsize: 11936
[startup+780.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 211213 0 0 0 77440 569 0 0 25 0 1 0 893495311 12472320 2241 4294967295 134512640 134716908 3221224576 3221220512 1075965240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3045 2241 1111 63 0 2982 0
vsize: 12180
[startup+790.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 213592 0 0 0 78434 575 0 0 25 0 1 0 893495311 12025856 2210 4294967295 134512640 134716908 3221224576 3221220412 1074788939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2936 2210 1111 63 0 2873 0
vsize: 11744
[startup+800.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 215790 0 0 0 79428 581 0 0 25 0 1 0 893495311 11595776 2153 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2831 2153 1111 63 0 2768 0
vsize: 11324
[startup+810.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 218344 0 0 0 80421 588 0 0 25 0 1 0 893495311 12644352 2202 4294967295 134512640 134716908 3221224576 3221221616 1075971398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2205 1111 63 0 3024 0
vsize: 12348
[startup+820.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 221437 0 0 0 81413 597 0 0 25 0 1 0 893495311 12951552 2285 4294967295 134512640 134716908 3221224576 3221220608 1075965311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3162 2285 1111 63 0 3099 0
vsize: 12648
[startup+830.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25616
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 223941 0 0 0 82407 603 0 0 25 0 1 0 893495311 11595776 2153 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2831 2153 1111 63 0 2768 0
vsize: 11324
[startup+840.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 226280 0 0 0 83402 608 0 0 25 0 1 0 893495311 12218368 2264 4294967295 134512640 134716908 3221224576 3221220412 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2983 2264 1111 63 0 2920 0
vsize: 11932
[startup+850.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 229217 0 0 0 84395 616 0 0 25 0 1 0 893495311 12492800 2251 4294967295 134512640 134716908 3221224576 3221220708 1075112444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3050 2251 1111 63 0 2987 0
vsize: 12200
[startup+860.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 232181 0 0 0 85387 623 0 0 25 0 1 0 893495311 12021760 2255 4294967295 134512640 134716908 3221224576 3221222576 1074916503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2935 2255 1111 63 0 2872 0
vsize: 11740
[startup+870.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 234992 0 0 0 86380 631 0 0 25 0 1 0 893495311 12836864 2354 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 2354 1111 63 0 3071 0
vsize: 12536
[startup+880.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 237768 0 0 0 87372 639 0 0 25 0 1 0 893495311 13471744 2399 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3289 2399 1111 63 0 3226 0
vsize: 13156
[startup+890.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 239988 0 0 0 88367 644 0 0 25 0 1 0 893495311 13123584 2298 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3204 2298 1111 63 0 3141 0
vsize: 12816
[startup+900.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 243511 0 0 0 89358 654 0 0 25 0 1 0 893495311 13119488 2399 4294967295 134512640 134716908 3221224576 3221220540 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3203 2399 1111 63 0 3140 0
vsize: 12812
[startup+910.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 245728 0 0 0 90352 660 0 0 25 0 1 0 893495311 12791808 2322 4294967295 134512640 134716908 3221224576 3221221068 1073947512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3123 2322 1111 63 0 3060 0
vsize: 12492
[startup+920.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 248347 0 0 0 91346 666 0 0 25 0 1 0 893495311 11890688 2225 4294967295 134512640 134716908 3221224576 3221221680 1074138810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2903 2225 1111 63 0 2840 0
vsize: 11612
[startup+930.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 251068 0 0 0 92338 674 0 0 25 0 1 0 893495311 12804096 2320 4294967295 134512640 134716908 3221224576 3221221232 1075968377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3126 2320 1111 63 0 3063 0
vsize: 12504
[startup+940.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 254110 0 0 0 93330 682 0 0 25 0 1 0 893495311 11890688 2225 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2903 2225 1111 63 0 2840 0
vsize: 11612
[startup+950.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 256529 0 0 0 94323 689 0 0 25 0 1 0 893495311 13545472 2434 4294967295 134512640 134716908 3221224576 3221220848 1074961199 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3307 2434 1111 63 0 3244 0
vsize: 13228
[startup+960.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 259823 0 0 0 95315 697 0 0 25 0 1 0 893495311 12681216 2303 4294967295 134512640 134716908 3221224576 3221220736 1074794591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3096 2303 1111 63 0 3033 0
vsize: 12384
[startup+970.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 262720 0 0 0 96308 705 0 0 25 0 1 0 893495311 13131776 2275 4294967295 134512640 134716908 3221224576 3221220784 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3206 2275 1111 63 0 3143 0
vsize: 12824
[startup+980.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 265782 0 0 0 97299 714 0 0 25 0 1 0 893495311 13570048 2427 4294967295 134512640 134716908 3221224576 3221220524 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 2427 1111 63 0 3250 0
vsize: 13252
[startup+990.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 268067 0 0 0 98292 721 0 0 25 0 1 0 893495311 11911168 2230 4294967295 134512640 134716908 3221224576 3221222336 1074052044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2908 2230 1111 63 0 2845 0
vsize: 11632
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 270895 0 0 0 99285 728 0 0 25 0 1 0 893495311 13529088 2391 4294967295 134512640 134716908 3221224576 3221220848 1074961238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 2391 1111 63 0 3240 0
vsize: 13212
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 273855 0 0 0 100277 736 0 0 25 0 1 0 893495311 11980800 2247 4294967295 134512640 134716908 3221224576 3221223212 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2925 2247 1111 63 0 2862 0
vsize: 11700
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 276871 0 0 0 101269 744 0 0 25 0 1 0 893495311 13496320 2394 4294967295 134512640 134716908 3221224576 3221220912 1075113511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3295 2394 1111 63 0 3232 0
vsize: 13180
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 279828 0 0 0 102262 752 0 0 25 0 1 0 893495311 13344768 2370 4294967295 134512640 134716908 3221224576 3221220848 1074961304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2370 1111 63 0 3195 0
vsize: 13032
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 282960 0 0 0 103253 761 0 0 25 0 1 0 893495311 12972032 2378 4294967295 134512640 134716908 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3167 2379 1111 63 0 3104 0
vsize: 12668
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 285509 0 0 0 104245 769 0 0 25 0 1 0 893495311 13770752 2491 4294967295 134512640 134716908 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3362 2493 1111 63 0 3299 0
vsize: 13448
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 287587 0 0 0 105240 774 0 0 25 0 1 0 893495311 13406208 2498 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3273 2498 1111 63 0 3210 0
vsize: 13092
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 289602 0 0 0 106236 779 0 0 25 0 1 0 893495311 12926976 2372 4294967295 134512640 134716908 3221224576 3221221408 1075115250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 2372 1111 63 0 3093 0
vsize: 12624
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 291745 0 0 0 107230 785 0 0 25 0 1 0 893495311 13119488 2415 4294967295 134512640 134716908 3221224576 3221220648 1075964720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3203 2415 1111 63 0 3140 0
vsize: 12812
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 293990 0 0 0 108224 791 0 0 25 0 1 0 893495311 13197312 2475 4294967295 134512640 134716908 3221224576 3221220968 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3222 2475 1111 63 0 3159 0
vsize: 12888
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 296265 0 0 0 109218 796 0 0 25 0 1 0 893495311 13807616 2460 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3371 2460 1111 63 0 3308 0
vsize: 13484
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 298863 0 0 0 110212 803 0 0 25 0 1 0 893495311 13553664 2516 4294967295 134512640 134716908 3221224576 3221221112 1075132865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3309 2516 1111 63 0 3246 0
vsize: 13236
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 301159 0 0 0 111205 810 0 0 25 0 1 0 893495311 12320768 2330 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3008 2330 1111 63 0 2945 0
vsize: 12032
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 303311 0 0 0 112201 815 0 0 25 0 1 0 893495311 12460032 2364 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3042 2364 1111 63 0 2979 0
vsize: 12168
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 306037 0 0 0 113193 822 0 0 25 0 1 0 893495311 12935168 2419 4294967295 134512640 134716908 3221224576 3221220760 1075563941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3158 2419 1111 63 0 3095 0
vsize: 12632
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 308828 0 0 0 114187 828 0 0 25 0 1 0 893495311 13799424 2462 4294967295 134512640 134716908 3221224576 3221221344 1076084087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3369 2462 1111 63 0 3306 0
vsize: 13476
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 310832 0 0 0 115182 834 0 0 25 0 1 0 893495311 12460032 2364 4294967295 134512640 134716908 3221224576 3221223200 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3042 2364 1111 63 0 2979 0
vsize: 12168
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 313652 0 0 0 116175 842 0 0 25 0 1 0 893495311 12771328 2381 4294967295 134512640 134716908 3221224576 3221222224 1075817664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3118 2381 1111 63 0 3055 0
vsize: 12472
[startup+1175.05 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 25618
Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 313652 0 0 0 116175 842 0 0 25 0 1 0 893495311 12771328 2381 4294967295 134512640 134716908 3221224576 3221222224 1075817664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3118 2381 1111 63 0 3055 0
vsize: 0

Child status: 0
Real time (s): 1175.05
CPU time (s): 1175.21
CPU user time (s): 1166.75
CPU system time (s): 8.46271
CPU usage (%): 100.014
Max. virtual memory (Kb): 13484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####