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/een/normalized-mitre.opb
MD5SUM	a32373ce42835aed9464b28f5a9ed13c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8818
Optimality of the best value was proved	NO
Number of terms in the objective function	9324
Biggest coefficient in the objective function	213
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	909647
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1069
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	909647
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	10724
Total number of constraints	2045
Number of constraints which are clauses	523
Number of constraints which are cardinality constraints (but not clauses)	1139
Number of constraints which are nor clauses,nor cardinality constraints	383
Minimum length of a constraint	3
Maximum length of a constraint	98
Trace number 39786

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 20:19:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27837 boxname=wulflinc1 idbench=395 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  a32373ce42835aed9464b28f5a9ed13c  /oldhome/oroussel/tmp/wulflinc1/normalized-mitre.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mitre.opb
IDLAUNCH: 27837
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        911980 kB
Buffers:         31704 kB
Cached:          65976 kB
SwapCached:       1192 kB
Active:          24012 kB
Inactive:        76000 kB
HighTotal:      131008 kB
HighFree:        70448 kB
LowTotal:       903652 kB
LowFree:        841532 kB
SwapTotal:     2097136 kB
SwapFree:      2094852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5724 kB
Slab:            17000 kB
Committed_AS:    92704 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 20:39:38 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 27837 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10724 variables and 2045 constraints.
#### 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.85 0.96 0.91 2/55 9033
Raw data (stat): 9033 (runsolver) R 9032 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 838964629 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.87 0.96 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 6101 0 0 0 981 15 0 0 25 0 1 0 838964629 20971520 4220 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5120 4220 1111 63 0 5057 0
vsize: 20480
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.96 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 11341 0 0 0 1967 31 0 0 25 0 1 0 838964629 25563136 5342 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6241 5342 1111 63 0 6178 0
vsize: 24964
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.96 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 14099 0 0 0 2959 38 0 0 25 0 1 0 838964629 28438528 6043 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6943 6043 1111 63 0 6880 0
vsize: 27772
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.96 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 16050 0 0 0 3952 46 0 0 25 0 1 0 838964629 31182848 6714 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7613 6714 1111 63 0 7550 0
vsize: 30452
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 17495 0 0 0 4948 49 0 0 25 0 1 0 838964629 36204544 7939 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8839 7939 1111 63 0 8776 0
vsize: 35356
[startup+60.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 18694 0 0 0 5945 53 0 0 25 0 1 0 838964629 37879808 8348 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9248 8348 1111 63 0 9185 0
vsize: 36992
[startup+70.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 19666 0 0 0 6942 56 0 0 25 0 1 0 838964629 39034880 8631 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9530 8631 1111 63 0 9467 0
vsize: 38120
[startup+80.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 21010 0 0 0 7937 61 0 0 25 0 1 0 838964629 40194048 8914 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9813 8914 1111 63 0 9750 0
vsize: 39252
[startup+90.0022 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 21937 0 0 0 8934 64 0 0 25 0 1 0 838964629 40796160 9060 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9960 9060 1111 63 0 9897 0
vsize: 39840
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 24320 0 0 0 9925 73 0 0 25 0 1 0 838964629 41738240 9291 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10190 9291 1111 63 0 10127 0
vsize: 40760
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 25808 0 0 0 10920 78 0 0 25 0 1 0 838964629 43155456 9636 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9636 1111 63 0 10473 0
vsize: 42144
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 26794 0 0 0 11918 81 0 0 25 0 1 0 838964629 43548672 9732 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10632 9732 1111 63 0 10569 0
vsize: 42528
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 27186 0 0 0 12917 82 0 0 25 0 1 0 838964629 44879872 10058 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10957 10058 1111 63 0 10894 0
vsize: 43828
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 28366 0 0 0 13913 86 0 0 25 0 1 0 838964629 45477888 10204 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11103 10204 1111 63 0 11040 0
vsize: 44412
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 30136 0 0 0 14908 91 0 0 25 0 1 0 838964629 51785728 11744 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12643 11744 1111 63 0 12580 0
vsize: 50572
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 30302 0 0 0 15907 92 0 0 25 0 1 0 838964629 52342784 11880 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12779 11880 1111 63 0 12716 0
vsize: 51116
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 30302 0 0 0 16907 92 0 0 25 0 1 0 838964629 52342784 11880 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12779 11880 1111 63 0 12716 0
vsize: 51116
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 30522 0 0 0 17907 92 0 0 25 0 1 0 838964629 53030912 12048 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12947 12048 1111 63 0 12884 0
vsize: 51788
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 31813 0 0 0 18903 97 0 0 25 0 1 0 838964629 53673984 12204 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13104 12204 1111 63 0 13041 0
vsize: 52416
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 32393 0 0 0 19901 99 0 0 25 0 1 0 838964629 54534144 12414 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13314 12414 1111 63 0 13251 0
vsize: 53256
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 32582 0 0 0 20901 99 0 0 25 0 1 0 838964629 55304192 12603 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13502 12603 1111 63 0 13439 0
vsize: 54008
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 32843 0 0 0 21901 100 0 0 25 0 1 0 838964629 56377344 12864 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13764 12864 1111 63 0 13701 0
vsize: 55056
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 34030 0 0 0 22896 104 0 0 25 0 1 0 838964629 56979456 13011 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13911 13011 1111 63 0 13848 0
vsize: 55644
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 34944 0 0 0 23894 107 0 0 25 0 1 0 838964629 57364480 13105 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14005 13105 1111 63 0 13942 0
vsize: 56020
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 35153 0 0 0 24893 108 0 0 25 0 1 0 838964629 58134528 13294 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14193 13294 1111 63 0 14130 0
vsize: 56772
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 36294 0 0 0 25889 112 0 0 25 0 1 0 838964629 58994688 13503 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14403 13503 1111 63 0 14340 0
vsize: 57612
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 36888 0 0 0 26887 114 0 0 25 0 1 0 838964629 61095936 14017 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14916 14017 1111 63 0 14853 0
vsize: 59664
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 37336 0 0 0 27886 115 0 0 25 0 1 0 838964629 61095936 14017 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14916 14017 1111 63 0 14853 0
vsize: 59664
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 38767 0 0 0 28882 120 0 0 25 0 1 0 838964629 61739008 14174 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15073 14174 1111 63 0 15010 0
vsize: 60292
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 39706 0 0 0 29879 122 0 0 25 0 1 0 838964629 64401408 14823 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15723 14823 1111 63 0 15660 0
vsize: 62892
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 39706 0 0 0 30880 122 0 0 25 0 1 0 838964629 64401408 14823 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15723 14823 1111 63 0 15660 0
vsize: 62892
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 39706 0 0 0 31880 122 0 0 25 0 1 0 838964629 64401408 14823 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15723 14823 1111 63 0 15660 0
vsize: 62892
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 40038 0 0 0 32879 123 0 0 25 0 1 0 838964629 64405504 14825 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15724 14825 1111 63 0 15661 0
vsize: 62896
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 40411 0 0 0 33878 124 0 0 25 0 1 0 838964629 65392640 15066 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15965 15066 1111 63 0 15902 0
vsize: 63860
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 40710 0 0 0 34877 125 0 0 25 0 1 0 838964629 66207744 15265 4294967295 134512640 134716908 3221224592 3221223344 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16164 15265 1111 63 0 16101 0
vsize: 64656
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 41331 0 0 0 35875 128 0 0 25 0 1 0 838964629 66551808 15349 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16248 15349 1111 63 0 16185 0
vsize: 64992
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 41904 0 0 0 36874 129 0 0 25 0 1 0 838964629 68612096 15852 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16751 15852 1111 63 0 16688 0
vsize: 67004
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 42974 0 0 0 37870 133 0 0 25 0 1 0 838964629 68612096 15852 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16751 15852 1111 63 0 16688 0
vsize: 67004
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 43291 0 0 0 38869 134 0 0 25 0 1 0 838964629 69255168 16009 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16908 16009 1111 63 0 16845 0
vsize: 67632
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 43490 0 0 0 39868 135 0 0 25 0 1 0 838964629 70070272 16208 4294967295 134512640 134716908 3221224592 3221223232 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17107 16208 1111 63 0 17044 0
vsize: 68428
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 44083 0 0 0 40866 138 0 0 25 0 1 0 838964629 70328320 16271 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17170 16271 1111 63 0 17107 0
vsize: 68680
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 44990 0 0 0 41863 141 0 0 25 0 1 0 838964629 70930432 16418 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17317 16418 1111 63 0 17254 0
vsize: 69268
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 45503 0 0 0 42861 142 0 0 25 0 1 0 838964629 71229440 16491 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17390 16491 1111 63 0 17327 0
vsize: 69560
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 46739 0 0 0 43859 145 0 0 25 0 1 0 838964629 73416704 17025 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17924 17025 1111 63 0 17861 0
vsize: 71696
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 46927 0 0 0 44858 146 0 0 25 0 1 0 838964629 74190848 17213 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18113 17213 1111 63 0 18050 0
vsize: 72452
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 47221 0 0 0 45857 147 0 0 25 0 1 0 838964629 74448896 17277 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18176 17277 1111 63 0 18113 0
vsize: 72704
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 48257 0 0 0 46854 150 0 0 25 0 1 0 838964629 75046912 17423 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18322 17423 1111 63 0 18259 0
vsize: 73288
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 48581 0 0 0 47854 151 0 0 25 0 1 0 838964629 75350016 17497 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18396 17497 1111 63 0 18333 0
vsize: 73584
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 49814 0 0 0 48851 154 0 0 25 0 1 0 838964629 75993088 17653 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18553 17653 1111 63 0 18490 0
vsize: 74212
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 49888 0 0 0 49851 155 0 0 25 0 1 0 838964629 76251136 17717 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18616 17717 1111 63 0 18553 0
vsize: 74464
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 50232 0 0 0 50850 155 0 0 25 0 1 0 838964629 77578240 18041 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18940 18041 1111 63 0 18877 0
vsize: 75760
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 50720 0 0 0 51849 157 0 0 25 0 1 0 838964629 79167488 18429 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19328 18429 1111 63 0 19265 0
vsize: 77312
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 51613 0 0 0 52846 159 0 0 25 0 1 0 838964629 79511552 18512 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19412 18512 1111 63 0 19349 0
vsize: 77648
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 51676 0 0 0 53847 159 0 0 25 0 1 0 838964629 79769600 18575 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19475 18575 1111 63 0 19412 0
vsize: 77900
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 51875 0 0 0 54846 160 0 0 25 0 1 0 838964629 80584704 18774 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19674 18774 1111 63 0 19611 0
vsize: 78696
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 52678 0 0 0 55844 162 0 0 25 0 1 0 838964629 82685952 19287 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20187 19287 1111 63 0 20124 0
vsize: 80748
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 52985 0 0 0 56844 163 0 0 25 0 1 0 838964629 83243008 19424 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20323 19424 1111 63 0 20260 0
vsize: 81292
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 53228 0 0 0 57842 164 0 0 25 0 1 0 838964629 83501056 19487 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20386 19487 1111 63 0 20323 0
vsize: 81544
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 54161 0 0 0 58840 167 0 0 25 0 1 0 838964629 83845120 19570 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20470 19570 1111 63 0 20407 0
vsize: 81880
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 54395 0 0 0 59839 168 0 0 25 0 1 0 838964629 84103168 19634 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20533 19634 1111 63 0 20470 0
vsize: 82132
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 54714 0 0 0 60838 169 0 0 25 0 1 0 838964629 84918272 19833 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20732 19833 1111 63 0 20669 0
vsize: 82928
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 54932 0 0 0 61838 170 0 0 25 0 1 0 838964629 85221376 19907 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20806 19907 1111 63 0 20743 0
vsize: 83224
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 55830 0 0 0 62835 172 0 0 25 0 1 0 838964629 85864448 20063 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20963 20063 1111 63 0 20900 0
vsize: 83852
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 55893 0 0 0 63835 172 0 0 25 0 1 0 838964629 86122496 20126 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21026 20126 1111 63 0 20963 0
vsize: 84104
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 56119 0 0 0 64835 173 0 0 25 0 1 0 838964629 86122496 20127 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21026 20127 1111 63 0 20963 0
vsize: 84104
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 56513 0 0 0 65834 174 0 0 25 0 1 0 838964629 86720512 20273 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21172 20273 1111 63 0 21109 0
vsize: 84688
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 56716 0 0 0 66833 175 0 0 25 0 1 0 838964629 86978560 20336 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21235 20336 1111 63 0 21172 0
vsize: 84940
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 57619 0 0 0 67831 178 0 0 25 0 1 0 838964629 87322624 20419 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21319 20419 1111 63 0 21256 0
vsize: 85276
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 57763 0 0 0 68830 178 0 0 25 0 1 0 838964629 87580672 20483 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21382 20483 1111 63 0 21319 0
vsize: 85528
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 58329 0 0 0 69829 180 0 0 25 0 1 0 838964629 88178688 20629 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21528 20629 1111 63 0 21465 0
vsize: 86112
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 58517 0 0 0 70829 180 0 0 25 0 1 0 838964629 88952832 20817 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21717 20817 1111 63 0 21654 0
vsize: 86868
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 58731 0 0 0 71828 181 0 0 25 0 1 0 838964629 89251840 20891 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21790 20891 1111 63 0 21727 0
vsize: 87160
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 58881 0 0 0 72828 182 0 0 25 0 1 0 838964629 89251840 20891 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21790 20891 1111 63 0 21727 0
vsize: 87160
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 59672 0 0 0 73826 183 0 0 25 0 1 0 838964629 89251840 20891 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21790 20891 1111 63 0 21727 0
vsize: 87160
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 60165 0 0 0 74825 185 0 0 25 0 1 0 838964629 89894912 21048 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21947 21048 1111 63 0 21884 0
vsize: 87788
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 60278 0 0 0 75825 185 0 0 25 0 1 0 838964629 90198016 21121 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22021 21121 1111 63 0 21958 0
vsize: 88084
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 60467 0 0 0 76825 185 0 0 25 0 1 0 838964629 90968064 21310 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22209 21310 1111 63 0 22146 0
vsize: 88836
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 61546 0 0 0 77823 188 0 0 25 0 1 0 838964629 95387648 22389 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23288 22389 1111 63 0 23225 0
vsize: 93152
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 61752 0 0 0 78822 189 0 0 25 0 1 0 838964629 95903744 22515 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23414 22515 1111 63 0 23351 0
vsize: 93656
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 62123 0 0 0 79821 190 0 0 25 0 1 0 838964629 96976896 22776 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23676 22776 1111 63 0 23613 0
vsize: 94704
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 62198 0 0 0 80820 190 0 0 25 0 1 0 838964629 97370112 22851 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23772 22851 1111 63 0 23709 0
vsize: 95088
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 62272 0 0 0 81820 191 0 0 25 0 1 0 838964629 97583104 22925 4294967295 134512640 134716908 3221224592 3221223320 134675297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23824 22925 1111 63 0 23761 0
vsize: 95296
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 62397 0 0 0 82820 191 0 0 25 0 1 0 838964629 98099200 23050 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23950 23050 1111 63 0 23887 0
vsize: 95800
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 62688 0 0 0 83819 193 0 0 25 0 1 0 838964629 98099200 23051 4294967295 134512640 134716908 3221224592 3221223240 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23950 23051 1111 63 0 23887 0
vsize: 95800
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63104 0 0 0 84818 194 0 0 25 0 1 0 838964629 98697216 23197 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24096 23197 1111 63 0 24033 0
vsize: 96384
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63167 0 0 0 85818 194 0 0 25 0 1 0 838964629 98955264 23260 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24159 23260 1111 63 0 24096 0
vsize: 96636
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63489 0 0 0 86817 195 0 0 25 0 1 0 838964629 100028416 23522 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24421 23522 1111 63 0 24358 0
vsize: 97684
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63489 0 0 0 87818 195 0 0 25 0 1 0 838964629 100028416 23522 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24421 23522 1111 63 0 24358 0
vsize: 97684
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63625 0 0 0 88817 195 0 0 25 0 1 0 838964629 100585472 23658 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24557 23658 1111 63 0 24494 0
vsize: 98228
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63688 0 0 0 89817 195 0 0 25 0 1 0 838964629 100843520 23721 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24620 23721 1111 63 0 24557 0
vsize: 98480
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63887 0 0 0 90817 196 0 0 25 0 1 0 838964629 101658624 23920 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24819 23920 1111 63 0 24756 0
vsize: 99276
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 63887 0 0 0 91817 196 0 0 25 0 1 0 838964629 101658624 23920 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24819 23920 1111 63 0 24756 0
vsize: 99276
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 64023 0 0 0 92817 196 0 0 25 0 1 0 838964629 102215680 24056 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24955 24056 1111 63 0 24892 0
vsize: 99820
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 64463 0 0 0 93816 198 0 0 25 0 1 0 838964629 104017920 24496 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25395 24496 1111 63 0 25332 0
vsize: 101580
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 94814 200 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223328 134630831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 95814 200 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 96814 200 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223264 134606738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 97814 200 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 98814 201 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 99813 201 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65479 0 0 0 100814 201 0 0 25 0 1 0 838964629 108183552 25512 4294967295 134512640 134716908 3221224592 3221223264 134606991 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 65806 0 0 0 101813 202 0 0 25 0 1 0 838964629 108183552 25513 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26412 25513 1111 63 0 26349 0
vsize: 105648
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 67290 0 0 0 102811 205 0 0 25 0 1 0 838964629 108953600 25701 4294967295 134512640 134716908 3221224592 3221223016 1077377891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26600 25701 1111 63 0 26537 0
vsize: 106400
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 67363 0 0 0 103811 205 0 0 25 0 1 0 838964629 109211648 25764 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26663 25764 1111 63 0 26600 0
vsize: 106652
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 67363 0 0 0 104811 205 0 0 25 0 1 0 838964629 109211648 25764 4294967295 134512640 134716908 3221224592 3221223344 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26663 25764 1111 63 0 26600 0
vsize: 106652
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 67546 0 0 0 105811 205 0 0 25 0 1 0 838964629 109555712 25847 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26747 25847 1111 63 0 26684 0
vsize: 106988
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 67546 0 0 0 106811 205 0 0 25 0 1 0 838964629 109555712 25847 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26747 25847 1111 63 0 26684 0
vsize: 106988
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 67917 0 0 0 107810 206 0 0 25 0 1 0 838964629 109555712 25848 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26747 25848 1111 63 0 26684 0
vsize: 106988
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 68080 0 0 0 108810 206 0 0 25 0 1 0 838964629 109899776 25931 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26831 25931 1111 63 0 26768 0
vsize: 107324
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 68216 0 0 0 109810 207 0 0 25 0 1 0 838964629 110456832 26067 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26967 26067 1111 63 0 26904 0
vsize: 107868
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 68279 0 0 0 110810 207 0 0 25 0 1 0 838964629 110714880 26130 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27030 26130 1111 63 0 26967 0
vsize: 108120
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 68492 0 0 0 111810 207 0 0 25 0 1 0 838964629 110968832 26193 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27092 26193 1111 63 0 27029 0
vsize: 108368
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 69740 0 0 0 112806 211 0 0 25 0 1 0 838964629 112603136 26591 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27491 26591 1111 63 0 27428 0
vsize: 109964
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 70101 0 0 0 113805 212 0 0 25 0 1 0 838964629 113160192 26727 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27627 26727 1111 63 0 27564 0
vsize: 110508
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 70101 0 0 0 114806 212 0 0 25 0 1 0 838964629 113160192 26727 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27627 26727 1111 63 0 27564 0
vsize: 110508
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 70292 0 0 0 115805 213 0 0 25 0 1 0 838964629 113160192 26728 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27627 26728 1111 63 0 27564 0
vsize: 110508
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 71052 0 0 0 116803 214 0 0 25 0 1 0 838964629 113160192 26728 4294967295 134512640 134716908 3221224592 3221223232 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27627 26728 1111 63 0 27564 0
vsize: 110508
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 71378 0 0 0 117802 215 0 0 25 0 1 0 838964629 113758208 26874 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27773 26874 1111 63 0 27710 0
vsize: 111092
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 71637 0 0 0 118802 216 0 0 25 0 1 0 838964629 114532352 27063 4294967295 134512640 134716908 3221224592 3221223240 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27962 27063 1111 63 0 27899 0
vsize: 111848
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) R 9032 8378 8377 0 -1 0 72057 0 0 0 119801 218 0 0 25 0 1 0 838964629 114532352 27063 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27962 27063 1111 63 0 27899 0
vsize: 111848
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9033
Raw data (stat): 9033 (bsolo_lpr-v2) Z 9032 8378 8377 0 -1 1036 72057 0 0 0 119801 223 0 0 25 0 1 0 838964629 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.07
CPU time (s): 1200.24
CPU user time (s): 1198.01
CPU system time (s): 2.23066
CPU usage (%): 100.014
Max. virtual memory (Kb): 111848
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####