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/ttp/normalized-data8_3.opb
MD5SUM	1f07a50778ff795858a07800272da436
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	48343
Optimality of the best value was proved	NO
Number of terms in the objective function	448
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	279536
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	279536
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	1344
Total number of constraints	16096
Number of constraints which are clauses	8208
Number of constraints which are cardinality constraints (but not clauses)	496
Number of constraints which are nor clauses,nor cardinality constraints	7392
Minimum length of a constraint	2
Maximum length of a constraint	28
Trace number 39651

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 15:28:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27705 boxname=wulflinc5 idbench=263 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  1f07a50778ff795858a07800272da436  /oldhome/oroussel/tmp/wulflinc5/normalized-data8_3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-data8_3.opb
IDLAUNCH: 27705
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        340296 kB
Buffers:         34768 kB
Cached:         634804 kB
SwapCached:        568 kB
Active:          58832 kB
Inactive:       612800 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        340044 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            17080 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:48:37 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 27705 7 1200.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1344 variables and 16376 constraints.
c After prepocess the problem consists of 1344 variables and 15618 constraints.
c preprocess terminated 52.518 s
c Initial Lower Bound: 31916
c Lower Bound Elapsed time: 72.3003
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 51524 @ 811.344
c NEW SOLUTION FOUND: 51002 @ 966.768
#### 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.89 0.95 0.91 1/54 6135
Raw data (stat): 6135 (runsolver) R 6134 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894075279 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.0015 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 6038 0 0 0 981 16 0 0 25 0 1 0 894075279 25329664 5317 4294967295 134512640 134716908 3221224576 3221223072 134538178 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6184 5317 1111 63 0 6121 0
vsize: 24736
[startup+20.0023 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 6728 0 0 0 1979 18 0 0 25 0 1 0 894075279 26238976 5570 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6406 5570 1111 63 0 6343 0
vsize: 25624
[startup+30.0026 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 7199 0 0 0 2978 19 0 0 25 0 1 0 894075279 27766784 5938 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6779 5938 1111 63 0 6716 0
vsize: 27116
[startup+40.0027 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 7431 0 0 0 3977 20 0 0 25 0 1 0 894075279 28479488 6110 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6110 1111 63 0 6890 0
vsize: 27812
[startup+50.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 7431 0 0 0 4978 20 0 0 25 0 1 0 894075279 28479488 6110 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6110 1111 63 0 6890 0
vsize: 27812
[startup+60.0039 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 7635 0 0 0 5976 21 0 0 25 0 1 0 894075279 29265920 6314 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7145 6314 1111 63 0 7082 0
vsize: 28580
[startup+70.005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 7773 0 0 0 6975 23 0 0 25 0 1 0 894075279 29499392 6389 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7202 6389 1111 63 0 7139 0
vsize: 28808
[startup+80.0057 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 7826 0 0 0 7974 25 0 0 25 0 1 0 894075279 29716480 6442 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7255 6442 1111 63 0 7192 0
vsize: 29020
[startup+90.0061 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 7898 0 0 0 8973 25 0 0 25 0 1 0 894075279 30027776 6514 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7331 6514 1111 63 0 7268 0
vsize: 29324
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 7937 0 0 0 9972 26 0 0 25 0 1 0 894075279 30187520 6553 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6553 1111 63 0 7307 0
vsize: 29480
[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 8108 0 0 0 10971 28 0 0 25 0 1 0 894075279 30810112 6709 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7522 6709 1111 63 0 7459 0
vsize: 30088
[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 8141 0 0 0 11969 30 0 0 25 0 1 0 894075279 30945280 6742 4294967295 134512640 134716908 3221224576 3221222832 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7555 6742 1111 63 0 7492 0
vsize: 30220
[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 9284 0 0 0 12968 31 0 0 25 0 1 0 894075279 36634624 7881 4294967295 134512640 134716908 3221224576 3221222592 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8944 7881 1111 63 0 8881 0
vsize: 35776
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 12544 0 0 0 13961 38 0 0 25 0 1 0 894075279 42999808 9092 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10498 9092 1111 63 0 10435 0
vsize: 41992
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 12685 0 0 0 14961 39 0 0 25 0 1 0 894075279 43429888 9233 4294967295 134512640 134716908 3221224576 3221220688 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10603 9233 1111 63 0 10540 0
vsize: 42412
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 12746 0 0 0 15961 39 0 0 25 0 1 0 894075279 43671552 9294 4294967295 134512640 134716908 3221224576 3221220524 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10662 9294 1111 63 0 10599 0
vsize: 42648
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 12819 0 0 0 16961 39 0 0 25 0 1 0 894075279 43921408 9367 4294967295 134512640 134716908 3221224576 3221220592 1075895679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10723 9367 1111 63 0 10660 0
vsize: 42892
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 12900 0 0 0 17961 39 0 0 25 0 1 0 894075279 44457984 9448 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10854 9448 1111 63 0 10791 0
vsize: 43416
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 12931 0 0 0 18961 39 0 0 25 0 1 0 894075279 44457984 9479 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10854 9479 1111 63 0 10791 0
vsize: 43416
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 12979 0 0 0 19961 40 0 0 25 0 1 0 894075279 44752896 9527 4294967295 134512640 134716908 3221224576 3221220640 1075095115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10926 9527 1111 63 0 10863 0
vsize: 43704
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13034 0 0 0 20961 40 0 0 25 0 1 0 894075279 45051904 9582 4294967295 134512640 134716908 3221224576 3221220524 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10999 9582 1111 63 0 10936 0
vsize: 43996
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13034 0 0 0 21961 40 0 0 25 0 1 0 894075279 45051904 9582 4294967295 134512640 134716908 3221224576 3221220524 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10999 9582 1111 63 0 10936 0
vsize: 43996
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13079 0 0 0 22962 40 0 0 25 0 1 0 894075279 45363200 9627 4294967295 134512640 134716908 3221224576 3221220524 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11075 9627 1111 63 0 11012 0
vsize: 44300
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13129 0 0 0 23962 40 0 0 25 0 1 0 894075279 45703168 9677 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9677 1111 63 0 11095 0
vsize: 44632
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13132 0 0 0 24962 40 0 0 25 0 1 0 894075279 45703168 9680 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9680 1111 63 0 11095 0
vsize: 44632
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13132 0 0 0 25962 40 0 0 25 0 1 0 894075279 45703168 9680 4294967295 134512640 134716908 3221224576 3221220524 1074873351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9680 1111 63 0 11095 0
vsize: 44632
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13132 0 0 0 26962 40 0 0 25 0 1 0 894075279 45703168 9680 4294967295 134512640 134716908 3221224576 3221220356 1074786528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9680 1111 63 0 11095 0
vsize: 44632
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13132 0 0 0 27962 40 0 0 25 0 1 0 894075279 45703168 9680 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9680 1111 63 0 11095 0
vsize: 44632
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13141 0 0 0 28962 40 0 0 25 0 1 0 894075279 45703168 9685 4294967295 134512640 134716908 3221224576 3221220448 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9685 1111 63 0 11095 0
vsize: 44632
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13141 0 0 0 29963 40 0 0 25 0 1 0 894075279 45703168 9685 4294967295 134512640 134716908 3221224576 3221220580 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9685 1111 63 0 11095 0
vsize: 44632
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13141 0 0 0 30963 40 0 0 25 0 1 0 894075279 45703168 9685 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9685 1111 63 0 11095 0
vsize: 44632
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13141 0 0 0 31963 40 0 0 25 0 1 0 894075279 45703168 9685 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9685 1111 63 0 11095 0
vsize: 44632
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 13141 0 0 0 32963 40 0 0 25 0 1 0 894075279 45703168 9685 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9685 1111 63 0 11095 0
vsize: 44632
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 31207 0 0 0 33925 78 0 0 25 0 1 0 894075279 35782656 8006 4294967295 134512640 134716908 3221224576 3221222480 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8736 8006 1111 63 0 8673 0
vsize: 34944
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36339 0 0 0 34914 89 0 0 25 0 1 0 894075279 31526912 6972 4294967295 134512640 134716908 3221224576 3221223296 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 6972 1111 63 0 7634 0
vsize: 30788
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36339 0 0 0 35914 90 0 0 25 0 1 0 894075279 31526912 6972 4294967295 134512640 134716908 3221224576 3221223164 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7697 6972 1111 63 0 7634 0
vsize: 30788
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36339 0 0 0 36914 90 0 0 25 0 1 0 894075279 31526912 6972 4294967295 134512640 134716908 3221224576 3221223216 134543108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7697 6972 1111 63 0 7634 0
vsize: 30788
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36370 0 0 0 37914 90 0 0 25 0 1 0 894075279 31662080 7003 4294967295 134512640 134716908 3221224576 3221223180 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7730 7003 1111 63 0 7667 0
vsize: 30920
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36409 0 0 0 38914 90 0 0 25 0 1 0 894075279 31932416 7042 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7796 7042 1111 63 0 7733 0
vsize: 31184
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36471 0 0 0 39913 91 0 0 25 0 1 0 894075279 32067584 7104 4294967295 134512640 134716908 3221224576 3221223132 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7829 7104 1111 63 0 7766 0
vsize: 31316
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36535 0 0 0 40913 91 0 0 25 0 1 0 894075279 32337920 7168 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7895 7168 1111 63 0 7832 0
vsize: 31580
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36609 0 0 0 41912 92 0 0 25 0 1 0 894075279 32735232 7242 4294967295 134512640 134716908 3221224576 3221223264 134542839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7992 7242 1111 63 0 7929 0
vsize: 31968
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36641 0 0 0 42912 92 0 0 25 0 1 0 894075279 32870400 7274 4294967295 134512640 134716908 3221224576 3221223136 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8025 7274 1111 63 0 7962 0
vsize: 32100
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36656 0 0 0 43912 92 0 0 25 0 1 0 894075279 32870400 7289 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8025 7289 1111 63 0 7962 0
vsize: 32100
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36699 0 0 0 44912 93 0 0 25 0 1 0 894075279 33001472 7332 4294967295 134512640 134716908 3221224576 3221223216 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8057 7332 1111 63 0 7994 0
vsize: 32228
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36747 0 0 0 45912 93 0 0 25 0 1 0 894075279 33271808 7380 4294967295 134512640 134716908 3221224576 3221223228 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8123 7380 1111 63 0 8060 0
vsize: 32492
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36793 0 0 0 46912 93 0 0 25 0 1 0 894075279 33406976 7426 4294967295 134512640 134716908 3221224576 3221223280 134524396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8156 7426 1111 63 0 8093 0
vsize: 32624
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36800 0 0 0 47912 93 0 0 25 0 1 0 894075279 33406976 7433 4294967295 134512640 134716908 3221224576 3221223172 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8156 7433 1111 63 0 8093 0
vsize: 32624
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36843 0 0 0 48912 94 0 0 25 0 1 0 894075279 33656832 7476 4294967295 134512640 134716908 3221224576 3221223312 134535841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8217 7476 1111 63 0 8154 0
vsize: 32868
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36872 0 0 0 49912 94 0 0 25 0 1 0 894075279 33792000 7505 4294967295 134512640 134716908 3221224576 3221223108 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8250 7505 1111 63 0 8187 0
vsize: 33000
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36894 0 0 0 50912 94 0 0 25 0 1 0 894075279 33792000 7527 4294967295 134512640 134716908 3221224576 3221223232 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8250 7527 1111 63 0 8187 0
vsize: 33000
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36927 0 0 0 51912 94 0 0 25 0 1 0 894075279 33927168 7560 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8283 7560 1111 63 0 8220 0
vsize: 33132
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36961 0 0 0 52912 94 0 0 25 0 1 0 894075279 34062336 7594 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8316 7594 1111 63 0 8253 0
vsize: 33264
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 36990 0 0 0 53912 94 0 0 25 0 1 0 894075279 34197504 7623 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8349 7623 1111 63 0 8286 0
vsize: 33396
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37001 0 0 0 54912 95 0 0 25 0 1 0 894075279 34332672 7634 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8382 7634 1111 63 0 8319 0
vsize: 33528
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37029 0 0 0 55912 95 0 0 25 0 1 0 894075279 34455552 7662 4294967295 134512640 134716908 3221224576 3221223124 134699085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8412 7662 1111 63 0 8349 0
vsize: 33648
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37095 0 0 0 56911 96 0 0 25 0 1 0 894075279 34721792 7728 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8477 7728 1111 63 0 8414 0
vsize: 33908
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37136 0 0 0 57911 96 0 0 25 0 1 0 894075279 34856960 7769 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8510 7769 1111 63 0 8447 0
vsize: 34040
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37195 0 0 0 58911 96 0 0 25 0 1 0 894075279 35127296 7828 4294967295 134512640 134716908 3221224576 3221223116 134539262 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8576 7828 1111 63 0 8513 0
vsize: 34304
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37234 0 0 0 59911 97 0 0 25 0 1 0 894075279 35262464 7867 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8609 7867 1111 63 0 8546 0
vsize: 34436
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37289 0 0 0 60910 98 0 0 25 0 1 0 894075279 35532800 7922 4294967295 134512640 134716908 3221224576 3221223248 134542968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8675 7922 1111 63 0 8612 0
vsize: 34700
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37333 0 0 0 61910 99 0 0 25 0 1 0 894075279 35667968 7966 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8708 7966 1111 63 0 8645 0
vsize: 34832
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37355 0 0 0 62910 99 0 0 25 0 1 0 894075279 35799040 7988 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8740 7988 1111 63 0 8677 0
vsize: 34960
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37394 0 0 0 63910 99 0 0 25 0 1 0 894075279 35934208 8027 4294967295 134512640 134716908 3221224576 3221223248 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8773 8027 1111 63 0 8710 0
vsize: 35092
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37445 0 0 0 64910 99 0 0 25 0 1 0 894075279 36069376 8078 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8806 8078 1111 63 0 8743 0
vsize: 35224
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37459 0 0 0 65910 99 0 0 25 0 1 0 894075279 36204544 8092 4294967295 134512640 134716908 3221224576 3221223264 134542851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8839 8092 1111 63 0 8776 0
vsize: 35356
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37508 0 0 0 66910 100 0 0 25 0 1 0 894075279 36339712 8141 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8872 8141 1111 63 0 8809 0
vsize: 35488
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37520 0 0 0 67910 100 0 0 25 0 1 0 894075279 36429824 8153 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8894 8153 1111 63 0 8831 0
vsize: 35576
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37558 0 0 0 68910 100 0 0 25 0 1 0 894075279 36564992 8191 4294967295 134512640 134716908 3221224576 3221223084 134535978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8927 8191 1111 63 0 8864 0
vsize: 35708
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37591 0 0 0 69910 100 0 0 25 0 1 0 894075279 36700160 8224 4294967295 134512640 134716908 3221224576 3221223228 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8224 1111 63 0 8897 0
vsize: 35840
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37603 0 0 0 70910 100 0 0 25 0 1 0 894075279 36700160 8236 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8236 1111 63 0 8897 0
vsize: 35840
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37631 0 0 0 71909 101 0 0 25 0 1 0 894075279 36835328 8264 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8993 8264 1111 63 0 8930 0
vsize: 35972
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37647 0 0 0 72909 101 0 0 25 0 1 0 894075279 36970496 8280 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9026 8280 1111 63 0 8963 0
vsize: 36104
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37675 0 0 0 73909 101 0 0 25 0 1 0 894075279 37105664 8308 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9059 8308 1111 63 0 8996 0
vsize: 36236
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37680 0 0 0 74910 101 0 0 25 0 1 0 894075279 37105664 8313 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9059 8313 1111 63 0 8996 0
vsize: 36236
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37697 0 0 0 75910 101 0 0 25 0 1 0 894075279 37105664 8330 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9059 8330 1111 63 0 8996 0
vsize: 36236
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37704 0 0 0 76910 101 0 0 25 0 1 0 894075279 37105664 8337 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9059 8337 1111 63 0 8996 0
vsize: 36236
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37710 0 0 0 77910 102 0 0 25 0 1 0 894075279 37240832 8343 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9092 8343 1111 63 0 9029 0
vsize: 36368
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37717 0 0 0 78910 102 0 0 25 0 1 0 894075279 37240832 8350 4294967295 134512640 134716908 3221224576 3221223124 134698782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9092 8350 1111 63 0 9029 0
vsize: 36368
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37752 0 0 0 79909 102 0 0 25 0 1 0 894075279 37376000 8385 4294967295 134512640 134716908 3221224576 3221223180 134536781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9125 8385 1111 63 0 9062 0
vsize: 36500
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 37775 0 0 0 80909 103 0 0 25 0 1 0 894075279 37511168 8408 4294967295 134512640 134716908 3221224576 3221223232 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9158 8408 1111 63 0 9095 0
vsize: 36632
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 41266 0 0 0 81900 111 0 0 25 0 1 0 894075279 36556800 8196 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8925 8196 1111 63 0 8862 0
vsize: 35700
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 43293 0 0 0 82895 116 0 0 25 0 1 0 894075279 48623616 8779 4294967295 134512640 134716908 3221224576 3221220816 1075115768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11871 8779 1111 63 0 11808 0
vsize: 47484
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 45598 0 0 0 83890 121 0 0 25 0 1 0 894075279 39616512 8810 4294967295 134512640 134716908 3221224576 3221221056 1075397136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9672 8810 1111 63 0 9609 0
vsize: 38688
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 46774 0 0 0 84888 123 0 0 25 0 1 0 894075279 49147904 8960 4294967295 134512640 134716908 3221224576 3221220444 1074787514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11999 8960 1111 63 0 11936 0
vsize: 47996
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 47959 0 0 0 85885 126 0 0 25 0 1 0 894075279 45854720 9300 4294967295 134512640 134716908 3221224576 3221221520 1074620126 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11195 9300 1111 63 0 11132 0
vsize: 44780
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 50548 0 0 0 86880 131 0 0 25 0 1 0 894075279 45621248 9246 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11138 9246 1111 63 0 11075 0
vsize: 44552
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 51188 0 0 0 87878 133 0 0 25 0 1 0 894075279 36835328 8316 4294967295 134512640 134716908 3221224576 3221222956 1074152822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8993 8316 1111 63 0 8930 0
vsize: 35972
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 53199 0 0 0 88874 138 0 0 25 0 1 0 894075279 45625344 9247 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11139 9247 1111 63 0 11076 0
vsize: 44556
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 54055 0 0 0 89872 139 0 0 25 0 1 0 894075279 37494784 8476 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9154 8476 1111 63 0 9091 0
vsize: 36616
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 56378 0 0 0 90867 145 0 0 25 0 1 0 894075279 37621760 8463 4294967295 134512640 134716908 3221224576 3221222848 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9185 8463 1111 63 0 9122 0
vsize: 36740
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 57516 0 0 0 91865 147 0 0 25 0 1 0 894075279 40546304 9038 4294967295 134512640 134716908 3221224576 3221221056 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9899 9038 1111 63 0 9836 0
vsize: 39596
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 59970 0 0 0 92859 154 0 0 25 0 1 0 894075279 45797376 9299 4294967295 134512640 134716908 3221224576 3221220576 1075965301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11181 9299 1111 63 0 11118 0
vsize: 44724
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 61058 0 0 0 93856 156 0 0 25 0 1 0 894075279 48721920 8796 4294967295 134512640 134716908 3221224576 3221220784 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11895 8796 1111 63 0 11832 0
vsize: 47580
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 63323 0 0 0 94851 161 0 0 25 0 1 0 894075279 49278976 8903 4294967295 134512640 134716908 3221224576 3221220784 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12031 8903 1111 63 0 11968 0
vsize: 48124
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 64552 0 0 0 95849 164 0 0 25 0 1 0 894075279 45768704 9283 4294967295 134512640 134716908 3221224576 3221220752 1074882614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11174 9283 1111 63 0 11111 0
vsize: 44696
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 66639 0 0 0 96842 170 0 0 25 0 1 0 894075279 37265408 8421 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9098 8421 1111 63 0 9035 0
vsize: 36392
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 68540 0 0 0 97838 174 0 0 25 0 1 0 894075279 45768704 9281 4294967295 134512640 134716908 3221224576 3221221696 1074834346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11174 9281 1111 63 0 11111 0
vsize: 44696
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 70058 0 0 0 98836 177 0 0 25 0 1 0 894075279 40628224 9033 4294967295 134512640 134716908 3221224576 3221220680 1074883029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9919 9033 1111 63 0 9856 0
vsize: 39676
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 71519 0 0 0 99833 179 0 0 25 0 1 0 894075279 49901568 9067 4294967295 134512640 134716908 3221224576 3221220724 1075964386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12183 9067 1111 63 0 12120 0
vsize: 48732
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 72728 0 0 0 100830 182 0 0 25 0 1 0 894075279 46391296 9431 4294967295 134512640 134716908 3221224576 3221220848 1074961496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11326 9431 1111 63 0 11263 0
vsize: 45304
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 73533 0 0 0 101828 185 0 0 25 0 1 0 894075279 37298176 8429 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9106 8429 1111 63 0 9043 0
vsize: 36424
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 75705 0 0 0 102824 190 0 0 25 0 1 0 894075279 46354432 9434 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11317 9434 1111 63 0 11254 0
vsize: 45268
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 76530 0 0 0 103821 192 0 0 25 0 1 0 894075279 37134336 8389 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9066 8389 1111 63 0 9003 0
vsize: 36264
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 78839 0 0 0 104815 198 0 0 25 0 1 0 894075279 46358528 9422 4294967295 134512640 134716908 3221224576 3221220736 1075094874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11318 9422 1111 63 0 11255 0
vsize: 45272
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 78841 0 0 0 105816 198 0 0 25 0 1 0 894075279 46358528 9423 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11318 9423 1111 63 0 11255 0
vsize: 45272
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 79597 0 0 0 106814 200 0 0 25 0 1 0 894075279 37773312 8507 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9222 8507 1111 63 0 9159 0
vsize: 36888
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 81017 0 0 0 107811 203 0 0 25 0 1 0 894075279 41955328 9298 4294967295 134512640 134716908 3221224576 3221220688 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10243 9298 1111 63 0 10180 0
vsize: 40972
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 83992 0 0 0 108804 210 0 0 25 0 1 0 894075279 46522368 9448 4294967295 134512640 134716908 3221224576 3221220676 1075964252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11358 9448 1111 63 0 11295 0
vsize: 45432
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 84014 0 0 0 109804 210 0 0 25 0 1 0 894075279 46522368 9470 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11358 9470 1111 63 0 11295 0
vsize: 45432
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 84752 0 0 0 110803 212 0 0 25 0 1 0 894075279 37507072 8480 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9157 8480 1111 63 0 9094 0
vsize: 36628
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 86877 0 0 0 111798 217 0 0 25 0 1 0 894075279 46473216 9451 4294967295 134512640 134716908 3221224576 3221220784 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11346 9451 1111 63 0 11283 0
vsize: 45384
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 86883 0 0 0 112798 217 0 0 25 0 1 0 894075279 46473216 9456 4294967295 134512640 134716908 3221224576 3221220676 1075964218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11346 9456 1111 63 0 11283 0
vsize: 45384
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 87529 0 0 0 113797 219 0 0 25 0 1 0 894075279 37933056 8584 4294967295 134512640 134716908 3221224576 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9261 8584 1111 63 0 9198 0
vsize: 37044
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 88950 0 0 0 114794 221 0 0 25 0 1 0 894075279 42000384 9265 4294967295 134512640 134716908 3221224576 3221221016 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10254 9265 1111 63 0 10191 0
vsize: 41016
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 91903 0 0 0 115787 228 0 0 25 0 1 0 894075279 50008064 10287 4294967295 134512640 134716908 3221224576 3221220784 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12209 10287 1111 63 0 12146 0
vsize: 48836
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 91926 0 0 0 116787 229 0 0 25 0 1 0 894075279 46497792 9460 4294967295 134512640 134716908 3221224576 3221221016 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11352 9460 1111 63 0 11289 0
vsize: 45408
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 94629 0 0 0 117781 235 0 0 25 0 1 0 894075279 46014464 9338 4294967295 134512640 134716908 3221224576 3221221088 1075240419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11234 9338 1111 63 0 11171 0
vsize: 44936
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 94634 0 0 0 118781 235 0 0 25 0 1 0 894075279 46014464 9343 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11234 9343 1111 63 0 11171 0
vsize: 44936
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) R 6134 7266 7265 0 -1 0 96132 0 0 0 119778 239 0 0 25 0 1 0 894075279 41390080 9100 4294967295 134512640 134716908 3221224576 3221220756 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10105 9100 1111 63 0 10042 0
vsize: 40420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6135
Raw data (stat): 6135 (bsolo_lpr-v2) Z 6134 7266 7265 0 -1 1036 96132 0 0 0 119778 241 0 0 25 0 1 0 894075279 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.05
CPU time (s): 1200.19
CPU user time (s): 1197.78
CPU system time (s): 2.41163
CPU usage (%): 100.012
Max. virtual memory (Kb): 48836
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####