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/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb
MD5SUM	978e3479aff123296d0a3461e698e01d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	14101
Biggest coefficient in the objective function	292878668
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	975388850291
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	292878668
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	975388850291
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.9833
Number of variables	14101
Total number of constraints	15862
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15263
Number of constraints which are nor clauses,nor cardinality constraints	418
Minimum length of a constraint	1
Maximum length of a constraint	2463
Trace number 40541

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 13:49:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28601 boxname=wulflinc2 idbench=1557 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  978e3479aff123296d0a3461e698e01d  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sp97ar.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sp97ar.opb
IDLAUNCH: 28601
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        773816 kB
Buffers:         24652 kB
Cached:         213364 kB
SwapCached:       1344 kB
Active:          32968 kB
Inactive:       207044 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        773564 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14944 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 14:09:51 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 28601 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 14101 variables and 1739 constraints.
c After prepocess the problem consists of 14099 variables and 1639 constraints.
c preprocess terminated 290.083 s
c Initial Lower Bound: 2039251223
c Lower Bound Elapsed time: 14.8372
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 405265508 @ 378.28
c NEW SOLUTION FOUND: -2133666157 @ 378.5
#### 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.99 0.97 0.91 1/54 10374
Raw data (stat): 10374 (runsolver) R 10373 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902127322 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 19454 0 0 0 957 40 0 0 25 0 1 0 902127322 92532736 19374 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22591 19374 1111 63 0 22528 0
vsize: 90364
[startup+20.0011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 40241 0 0 0 1919 78 0 0 25 0 1 0 902127322 177758208 40161 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43398 40162 1111 63 0 43335 0
vsize: 173592
[startup+30.0014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 61094 0 0 0 2882 115 0 0 25 0 1 0 902127322 263159808 61014 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64248 61014 1111 63 0 64185 0
vsize: 256992
[startup+40.0011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 81405 0 0 0 3850 148 0 0 25 0 1 0 902127322 346320896 81325 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84551 81325 1111 63 0 84488 0
vsize: 338204
[startup+50.0024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 87057 0 0 0 4838 160 0 0 25 0 1 0 902127322 369418240 86977 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90190 86977 1111 63 0 90127 0
vsize: 360760
[startup+60.0025 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 88020 0 0 0 5835 162 0 0 25 0 1 0 902127322 373346304 87940 4294967295 134512640 134716908 3221224576 3221222852 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91149 87940 1111 63 0 91086 0
vsize: 364596
[startup+70.0033 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 89017 0 0 0 6832 164 0 0 25 0 1 0 902127322 377421824 88937 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92144 88937 1111 63 0 92081 0
vsize: 368576
[startup+80.0043 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 90063 0 0 0 7829 167 0 0 25 0 1 0 902127322 381759488 89983 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93203 89983 1111 63 0 93140 0
vsize: 372812
[startup+90.0037 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 91204 0 0 0 8826 170 0 0 25 0 1 0 902127322 386498560 91124 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94360 91124 1111 63 0 94297 0
vsize: 377440
[startup+100.003 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 92975 0 0 0 9821 174 0 0 25 0 1 0 902127322 384110592 92820 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93777 92820 1111 63 0 93714 0
vsize: 375108
[startup+110.003 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 93109 0 0 0 10821 174 0 0 25 0 1 0 902127322 384651264 92954 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93909 92954 1111 63 0 93846 0
vsize: 375636
[startup+120.004 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 93228 0 0 0 11821 175 0 0 25 0 1 0 902127322 385056768 93073 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94008 93073 1111 63 0 93945 0
vsize: 376032
[startup+130.003 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 93343 0 0 0 12821 175 0 0 25 0 1 0 902127322 385597440 93188 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94140 93188 1111 63 0 94077 0
vsize: 376560
[startup+140.004 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 93490 0 0 0 13821 175 0 0 25 0 1 0 902127322 386138112 93335 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94272 93335 1111 63 0 94209 0
vsize: 377088
[startup+150.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 93608 0 0 0 14821 176 0 0 25 0 1 0 902127322 386678784 93453 4294967295 134512640 134716908 3221224576 3221223020 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94404 93453 1111 63 0 94341 0
vsize: 377616
[startup+160.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 93748 0 0 0 15820 176 0 0 25 0 1 0 902127322 387223552 93593 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94537 93593 1111 63 0 94474 0
vsize: 378148
[startup+170.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 93874 0 0 0 16820 176 0 0 25 0 1 0 902127322 387764224 93719 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94669 93719 1111 63 0 94606 0
vsize: 378676
[startup+180.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 94012 0 0 0 17820 177 0 0 25 0 1 0 902127322 388304896 93857 4294967295 134512640 134716908 3221224576 3221223056 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94801 93857 1111 63 0 94738 0
vsize: 379204
[startup+190.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 94131 0 0 0 18820 177 0 0 25 0 1 0 902127322 388845568 93976 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94933 93976 1111 63 0 94870 0
vsize: 379732
[startup+200.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 94208 0 0 0 19820 177 0 0 25 0 1 0 902127322 389115904 94053 4294967295 134512640 134716908 3221224576 3221223120 134535810 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94999 94053 1111 63 0 94936 0
vsize: 379996
[startup+210.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 94318 0 0 0 20819 178 0 0 25 0 1 0 902127322 389521408 94163 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95098 94163 1111 63 0 95035 0
vsize: 380392
[startup+220.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 94443 0 0 0 21819 178 0 0 25 0 1 0 902127322 390062080 94288 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95230 94288 1111 63 0 95167 0
vsize: 380920
[startup+230.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 94596 0 0 0 22819 178 0 0 25 0 1 0 902127322 390737920 94441 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95395 94441 1111 63 0 95332 0
vsize: 381580
[startup+240.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 94660 0 0 0 23819 178 0 0 25 0 1 0 902127322 391008256 94505 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94505 1111 63 0 95398 0
vsize: 381844
[startup+250.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 94664 0 0 0 24819 178 0 0 25 0 1 0 902127322 391008256 94509 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94509 1111 63 0 95398 0
vsize: 381844
[startup+260.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 94669 0 0 0 25819 178 0 0 25 0 1 0 902127322 391008256 94514 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94514 1111 63 0 95398 0
vsize: 381844
[startup+270.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 94674 0 0 0 26819 179 0 0 25 0 1 0 902127322 391008256 94519 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95461 94519 1111 63 0 95398 0
vsize: 381844
[startup+280.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 94677 0 0 0 27819 179 0 0 25 0 1 0 902127322 391008256 94522 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95461 94522 1111 63 0 95398 0
vsize: 381844
[startup+290.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 94918 0 0 0 28818 180 0 0 25 0 1 0 902127322 392196096 94753 4294967295 134512640 134716908 3221224576 3221223440 134613026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95751 94753 1111 63 0 95688 0
vsize: 383004
[startup+300.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 96284 0 0 0 29813 184 0 0 25 0 1 0 902127322 396988416 95986 4294967295 134512640 134716908 3221224576 3221222688 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96921 95986 1111 63 0 96858 0
vsize: 387684
[startup+310.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 96309 0 0 0 30813 184 0 0 25 0 1 0 902127322 397090816 96011 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96946 96011 1111 63 0 96883 0
vsize: 387784
[startup+320.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 100946 0 0 0 31803 194 0 0 25 0 1 0 902127322 405684224 98023 4294967295 134512640 134716908 3221224576 3221220444 1074860630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99044 98023 1111 63 0 98981 0
vsize: 396176
[startup+330.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 100978 0 0 0 32803 194 0 0 25 0 1 0 902127322 405684224 98055 4294967295 134512640 134716908 3221224576 3221220708 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99044 98055 1111 63 0 98981 0
vsize: 396176
[startup+340.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 100979 0 0 0 33803 194 0 0 25 0 1 0 902127322 405684224 98056 4294967295 134512640 134716908 3221224576 3221220444 1074860632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99044 98056 1111 63 0 98981 0
vsize: 396176
[startup+350.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 128032 0 0 0 34744 254 0 0 25 0 1 0 902127322 397524992 96237 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97052 96237 1111 63 0 96989 0
vsize: 388208
[startup+360.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 128032 0 0 0 35743 254 0 0 25 0 1 0 902127322 397524992 96237 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97052 96237 1111 63 0 96989 0
vsize: 388208
[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 128602 0 0 0 36736 261 0 0 25 0 1 0 902127322 398508032 96466 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97292 96466 1111 63 0 97229 0
vsize: 389168
[startup+380.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 131907 0 0 0 37720 277 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222872 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+390.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 146987 0 0 0 38686 312 0 0 25 0 1 0 902127322 396267520 95772 4294967295 134512640 134716908 3221224576 3221222400 1075823337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96745 95772 1111 63 0 96682 0
vsize: 386980
[startup+400.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 159236 0 0 0 39660 338 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+410.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 170004 0 0 0 40636 361 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+420.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 179812 0 0 0 41616 382 0 0 25 0 1 0 902127322 396537856 95889 4294967295 134512640 134716908 3221224576 3221221696 1074865092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96811 95889 1111 63 0 96748 0
vsize: 387244
[startup+430.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 188526 0 0 0 42596 402 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222816 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+440.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 196241 0 0 0 43577 421 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 203359 0 0 0 44562 437 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 210335 0 0 0 45545 454 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+470.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 216648 0 0 0 46530 469 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222784 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+480.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 223411 0 0 0 47513 486 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222960 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 230184 0 0 0 48497 502 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+500.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 236652 0 0 0 49483 517 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222864 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+510.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 242900 0 0 0 50469 531 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+520.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 249402 0 0 0 51455 545 0 0 25 0 1 0 902127322 395583488 95666 4294967295 134512640 134716908 3221224576 3221222576 1074056601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95673 1111 63 0 96515 0
vsize: 386312
[startup+530.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 255790 0 0 0 52441 559 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+540.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 261814 0 0 0 53426 574 0 0 25 0 1 0 902127322 396554240 95836 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96815 95836 1111 63 0 96752 0
vsize: 387260
[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 268177 0 0 0 54412 589 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222928 1074142688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+560.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 273825 0 0 0 55398 602 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 279780 0 0 0 56386 615 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 285386 0 0 0 57373 628 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222784 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+590.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 290966 0 0 0 58361 641 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222816 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+600.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 296554 0 0 0 59348 653 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222112 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+610.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10374
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 301597 0 0 0 60336 666 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222744 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+620.017 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 10427
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 306575 0 0 0 61324 678 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222680 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+630.018 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 10427
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 311607 0 0 0 62312 689 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222960 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+640.017 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 10427
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 316254 0 0 0 63304 698 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+650.018 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 10427
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 320979 0 0 0 64293 709 0 0 25 0 1 0 902127322 396570624 95838 4294967295 134512640 134716908 3221224576 3221222400 1075823363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96819 95838 1111 63 0 96756 0
vsize: 387276
[startup+660.019 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 10427
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 325708 0 0 0 65283 719 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+670.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10427
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 330710 0 0 0 66271 731 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221223032 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+680.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10427
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 335686 0 0 0 67260 743 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222696 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+690.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 340238 0 0 0 68249 754 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222864 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+700.021 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 344740 0 0 0 69238 765 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222840 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+710.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 349243 0 0 0 70229 775 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+720.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 353518 0 0 0 71220 784 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+730.022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 357793 0 0 0 72210 794 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222728 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+740.022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 362062 0 0 0 73201 803 0 0 25 0 1 0 902127322 397389824 95911 4294967295 134512640 134716908 3221224576 3221221520 1074620040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97019 95911 1111 63 0 96956 0
vsize: 388076
[startup+750.022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 366339 0 0 0 74191 813 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222784 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 370247 0 0 0 75183 821 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222768 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 374156 0 0 0 76175 830 0 0 25 0 1 0 902127322 395603968 95773 4294967295 134512640 134716908 3221224576 3221222396 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96583 95773 1111 63 0 96520 0
vsize: 386332
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 378225 0 0 0 77166 839 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 382385 0 0 0 78156 849 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222816 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 386337 0 0 0 79147 858 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 390737 0 0 0 80138 868 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222768 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+820.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 394895 0 0 0 81128 878 0 0 25 0 1 0 902127322 395677696 95791 4294967295 134512640 134716908 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96601 95791 1111 63 0 96538 0
vsize: 386404
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 399098 0 0 0 82118 888 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 403076 0 0 0 83109 897 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222816 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 407065 0 0 0 84100 907 0 0 25 0 1 0 902127322 396570624 95838 4294967295 134512640 134716908 3221224576 3221222496 1075799814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96819 95838 1111 63 0 96756 0
vsize: 387276
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 411262 0 0 0 85090 917 0 0 25 0 1 0 902127322 396644352 95893 4294967295 134512640 134716908 3221224576 3221221328 1074247397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96837 95893 1111 63 0 96774 0
vsize: 387348
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 415188 0 0 0 86081 926 0 0 25 0 1 0 902127322 395632640 95780 4294967295 134512640 134716908 3221224576 3221222576 1074915850 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96590 95780 1111 63 0 96527 0
vsize: 386360
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 419156 0 0 0 87073 935 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222680 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 423187 0 0 0 88063 944 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222680 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 427295 0 0 0 89055 953 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222728 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 431222 0 0 0 90046 962 0 0 25 0 1 0 902127322 395632640 95780 4294967295 134512640 134716908 3221224576 3221223040 1074119526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96590 95780 1111 63 0 96527 0
vsize: 386360
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10429
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 435040 0 0 0 91037 971 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 439144 0 0 0 92028 981 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 442761 0 0 0 93020 989 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 446961 0 0 0 94011 998 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222768 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 450629 0 0 0 95003 1006 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 454295 0 0 0 95995 1015 0 0 25 0 1 0 902127322 395624448 95778 4294967295 134512640 134716908 3221224576 3221222364 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96588 95778 1111 63 0 96525 0
vsize: 386352
[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 458454 0 0 0 96984 1025 0 0 25 0 1 0 902127322 395632640 95780 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96590 95780 1111 63 0 96527 0
vsize: 386360
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 462623 0 0 0 97976 1034 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222256 1074050884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 466418 0 0 0 98968 1043 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 470185 0 0 0 99958 1052 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222816 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 473991 0 0 0 100950 1060 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+1030.04 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 477811 0 0 0 101942 1069 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222768 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+1040.04 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 481476 0 0 0 102934 1077 0 0 25 0 1 0 902127322 395960320 95846 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96670 95846 1111 63 0 96607 0
vsize: 386680
[startup+1050.04 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 485205 0 0 0 103926 1085 0 0 25 0 1 0 902127322 395632640 95780 4294967295 134512640 134716908 3221224576 3221222824 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96590 95780 1111 63 0 96527 0
vsize: 386360
[startup+1060.04 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 489202 0 0 0 104917 1095 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+1070.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 493189 0 0 0 105907 1104 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222928 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+1080.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 496624 0 0 0 106900 1112 0 0 25 0 1 0 902127322 396771328 95852 4294967295 134512640 134716908 3221224576 3221222496 1075799685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96868 95852 1111 63 0 96805 0
vsize: 387472
[startup+1090.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 500410 0 0 0 107889 1122 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221223044 134652476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+1100.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 504285 0 0 0 108881 1131 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222816 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+1110.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 507592 0 0 0 109874 1138 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+1120.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 511254 0 0 0 110866 1146 0 0 25 0 1 0 902127322 395726848 95803 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96613 95803 1111 63 0 96550 0
vsize: 386452
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 514781 0 0 0 111859 1153 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222816 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+1140.04 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 518110 0 0 0 112852 1160 0 0 25 0 1 0 902127322 395632640 95780 4294967295 134512640 134716908 3221224576 3221222864 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96590 95780 1111 63 0 96527 0
vsize: 386360
[startup+1150.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 521625 0 0 0 113845 1168 0 0 25 0 1 0 902127322 396668928 95892 4294967295 134512640 134716908 3221224576 3221221680 1074138752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96843 95892 1111 63 0 96780 0
vsize: 387372
[startup+1160.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 525335 0 0 0 114836 1177 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222912 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 528692 0 0 0 115829 1184 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222792 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 532104 0 0 0 116822 1192 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 535648 0 0 0 117814 1200 0 0 25 0 1 0 902127322 395608064 95774 4294967295 134512640 134716908 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96584 95774 1111 63 0 96521 0
vsize: 386336
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) R 10373 31399 31398 0 -1 0 539209 0 0 0 118805 1209 0 0 25 0 1 0 902127322 395583488 95768 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96578 95768 1111 63 0 96515 0
vsize: 386312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 10431
Raw data (stat): 10374 (bsolo_lpr-v2) Z 10373 31399 31398 0 -1 1036 539209 0 0 0 118805 1226 0 0 25 0 1 0 902127322 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.22
CPU time (s): 1200.32
CPU user time (s): 1188.06
CPU system time (s): 12.2671
CPU usage (%): 100.009
Max. virtual memory (Kb): 396176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####