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-fast0507.opb
MD5SUM	bc1a4f1c9875fd4d3273e85dcf5e871e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	311
Optimality of the best value was proved	NO
Number of terms in the objective function	63009
Biggest coefficient in the objective function	2
Number of bits for the biggest coefficient in the objective function	2
Sum of the numbers in the objective function	122425
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	122425
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.19
Number of variables	63001
Total number of constraints	489
Number of constraints which are clauses	489
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	7753
Trace number 39763

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 19:58:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27828 boxname=wulflinc2 idbench=386 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  bc1a4f1c9875fd4d3273e85dcf5e871e  /oldhome/oroussel/tmp/wulflinc2/normalized-fast0507.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fast0507.opb
IDLAUNCH: 27828
/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:        901604 kB
Buffers:         34060 kB
Cached:          75560 kB
SwapCached:       1492 kB
Active:          36184 kB
Inactive:        75640 kB
HighTotal:      131008 kB
HighFree:        77336 kB
LowTotal:       903652 kB
LowFree:        824268 kB
SwapTotal:     2097136 kB
SwapFree:      2094668 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            15552 kB
Committed_AS:    71752 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 20:18:05 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 27828 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 63009 variables and 489 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.92 0.95 0.90 2/54 29434
Raw data (stat): 29434 (runsolver) R 29433 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895695908 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.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 29434
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 734 0 0 0 995 3 0 0 25 0 1 0 895695908 15618048 654 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3813 654 1111 63 0 3750 0
vsize: 15252
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 29434
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 849 0 0 0 1995 3 0 0 25 0 1 0 895695908 16023552 769 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3912 769 1111 63 0 3849 0
vsize: 15648
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29434
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 960 0 0 0 2994 4 0 0 25 0 1 0 895695908 16564224 880 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 880 1111 63 0 3981 0
vsize: 16176
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29434
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1080 0 0 0 3993 5 0 0 25 0 1 0 895695908 16977920 1000 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4145 1000 1111 63 0 4082 0
vsize: 16580
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29434
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1209 0 0 0 4993 5 0 0 25 0 1 0 895695908 17506304 1129 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4274 1129 1111 63 0 4211 0
vsize: 17096
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29434
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1328 0 0 0 5993 6 0 0 25 0 1 0 895695908 17981440 1248 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4390 1248 1111 63 0 4327 0
vsize: 17560
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29434
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1456 0 0 0 6993 6 0 0 25 0 1 0 895695908 18575360 1376 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4535 1376 1111 63 0 4472 0
vsize: 18140
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29434
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1575 0 0 0 7992 7 0 0 25 0 1 0 895695908 19038208 1495 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4648 1495 1111 63 0 4585 0
vsize: 18592
[startup+90.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29434
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1699 0 0 0 8992 7 0 0 25 0 1 0 895695908 19525632 1619 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4767 1619 1111 63 0 4704 0
vsize: 19068
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29434
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1836 0 0 0 9992 7 0 0 25 0 1 0 895695908 20066304 1756 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4899 1756 1111 63 0 4836 0
vsize: 19596
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29434
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1962 0 0 0 10992 8 0 0 25 0 1 0 895695908 20557824 1882 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 1882 1111 63 0 4956 0
vsize: 20076
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29435
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 2098 0 0 0 11990 9 0 0 25 0 1 0 895695908 21102592 2018 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5152 2018 1111 63 0 5089 0
vsize: 20608
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29487
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 2350 0 0 0 12989 11 0 0 25 0 1 0 895695908 21753856 2151 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5311 2151 1111 63 0 5248 0
vsize: 21244
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29487
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 3609 0 0 0 13984 15 0 0 25 0 1 0 895695908 22331392 2295 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5452 2295 1111 63 0 5389 0
vsize: 21808
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29487
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 6278 0 0 0 14978 22 0 0 25 0 1 0 895695908 23035904 2438 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5624 2438 1111 63 0 5561 0
vsize: 22496
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29487
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 10466 0 0 0 15969 31 0 0 25 0 1 0 895695908 23379968 2557 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5708 2557 1111 63 0 5645 0
vsize: 22832
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29487
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 16632 0 0 0 16956 44 0 0 25 0 1 0 895695908 24006656 2713 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5861 2713 1111 63 0 5798 0
vsize: 23444
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29487
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 24923 0 0 0 17940 61 0 0 25 0 1 0 895695908 24588288 2858 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6003 2858 1111 63 0 5940 0
vsize: 24012
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29487
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 35643 0 0 0 18919 82 0 0 25 0 1 0 895695908 25317376 3040 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6181 3040 1111 63 0 6118 0
vsize: 24724
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 49183 0 0 0 19891 109 0 0 25 0 1 0 895695908 26210304 3230 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6399 3230 1111 63 0 6336 0
vsize: 25596
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 65130 0 0 0 20857 144 0 0 25 0 1 0 895695908 26939392 3412 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6577 3412 1111 63 0 6514 0
vsize: 26308
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 84019 0 0 0 21818 183 0 0 25 0 1 0 895695908 27840512 3604 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6797 3604 1111 63 0 6734 0
vsize: 27188
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 128111 0 0 0 22731 271 0 0 25 0 1 0 895695908 28385280 3727 4294967295 134512640 134716908 3221224576 3221222824 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6930 3727 1111 63 0 6867 0
vsize: 27720
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 194243 0 0 0 23599 403 0 0 25 0 1 0 895695908 29069312 3901 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7097 3901 1111 63 0 7034 0
vsize: 28388
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 264422 0 0 0 24463 539 0 0 25 0 1 0 895695908 29753344 4078 4294967295 134512640 134716908 3221224576 3221222824 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7264 4078 1111 63 0 7201 0
vsize: 29056
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 339588 0 0 0 25320 682 0 0 25 0 1 0 895695908 30568448 4256 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7463 4256 1111 63 0 7400 0
vsize: 29852
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 421901 0 0 0 26161 841 0 0 25 0 1 0 895695908 31420416 4477 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7671 4483 1111 63 0 7608 0
vsize: 30684
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 507990 0 0 0 26989 1013 0 0 25 0 1 0 895695908 32247808 4657 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7873 4662 1111 63 0 7810 0
vsize: 31492
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 598538 0 0 0 27818 1185 0 0 25 0 1 0 895695908 32940032 4834 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8042 4840 1111 63 0 7979 0
vsize: 32168
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 693171 0 0 0 28637 1366 0 0 25 0 1 0 895695908 33632256 5044 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8164 5000 1111 63 0 8101 0
vsize: 32844
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 794688 0 0 0 29439 1564 0 0 25 0 1 0 895695908 34258944 5195 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8364 5195 1111 63 0 8301 0
vsize: 33456
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 902526 0 0 0 30237 1766 0 0 25 0 1 0 895695908 35082240 5390 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8565 5390 1111 63 0 8502 0
vsize: 34260
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1018013 0 0 0 31017 1986 0 0 25 0 1 0 895695908 35905536 5593 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8766 5593 1111 63 0 8703 0
vsize: 35064
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1142009 0 0 0 31774 2229 0 0 25 0 1 0 895695908 36728832 5799 4294967295 134512640 134716908 3221224576 3221222664 1077377909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8967 5799 1111 63 0 8904 0
vsize: 35868
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1275311 0 0 0 32516 2488 0 0 25 0 1 0 895695908 37552128 6013 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9226 6017 1111 63 0 9163 0
vsize: 36672
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1418369 0 0 0 33236 2768 0 0 25 0 1 0 895695908 38506496 6235 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6235 1111 63 0 9338 0
vsize: 37604
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1518763 0 0 0 34040 2964 0 0 25 0 1 0 895695908 46022656 8093 4294967295 134512640 134716908 3221224576 3221222852 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11236 8093 1111 63 0 11173 0
vsize: 44944
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1521278 0 0 0 35033 2970 0 0 25 0 1 0 895695908 56320000 10608 4294967295 134512640 134716908 3221224576 3221222852 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13750 10608 1111 63 0 13687 0
vsize: 55000
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1522809 0 0 0 36029 2974 0 0 25 0 1 0 895695908 62939136 12139 4294967295 134512640 134716908 3221224576 3221222852 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15366 12139 1111 63 0 15303 0
vsize: 61464
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1523752 0 0 0 37026 2977 0 0 25 0 1 0 895695908 67174400 13070 4294967295 134512640 134716908 3221224576 3221222852 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16400 13070 1111 63 0 16337 0
vsize: 65600
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 38011 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 39011 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29489
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 40011 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223056 134543075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 41011 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223044 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 42011 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 43012 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 44012 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 45012 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223304 134675312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 46012 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 47012 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 48013 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 49013 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223044 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 50013 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 51013 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 52013 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 53014 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 54014 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 55014 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 56014 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 57015 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 58015 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 59015 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 60015 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223036 134535876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 61015 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223036 134536748 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 62015 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 63016 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 64016 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 65016 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 66016 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223056 134543041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 67017 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 68017 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223056 134543043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 69017 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 70017 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 71017 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223044 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 72018 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 73018 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 74018 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 75018 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 76019 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 77019 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 78019 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 79019 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 80019 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 81020 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 82020 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223304 134675312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 83020 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 84020 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 85020 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 86021 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 87021 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 88021 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 89021 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 90022 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 91022 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 92022 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223044 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 93022 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 94023 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 95023 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 96023 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 97023 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 98023 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 99023 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 100023 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529127 0 0 0 101023 2992 0 0 25 0 1 0 895695908 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529128 0 0 0 102024 2992 0 0 25 0 1 0 895695908 80769024 18282 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18282 1111 63 0 19656 0
vsize: 78876
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529130 0 0 0 103024 2992 0 0 25 0 1 0 895695908 80769024 18284 4294967295 134512640 134716908 3221224576 3221223304 134675297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529130 0 0 0 104024 2992 0 0 25 0 1 0 895695908 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529130 0 0 0 105024 2992 0 0 25 0 1 0 895695908 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134536779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529130 0 0 0 106024 2992 0 0 25 0 1 0 895695908 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529130 0 0 0 107025 2992 0 0 25 0 1 0 895695908 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529130 0 0 0 108025 2992 0 0 25 0 1 0 895695908 80769024 18284 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529130 0 0 0 109025 2992 0 0 25 0 1 0 895695908 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134536769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1130.04 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529130 0 0 0 110025 2992 0 0 25 0 1 0 895695908 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1140.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529130 0 0 0 111025 2992 0 0 25 0 1 0 895695908 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1150.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529130 0 0 0 112026 2992 0 0 25 0 1 0 895695908 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1160.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529131 0 0 0 113026 2992 0 0 25 0 1 0 895695908 80769024 18285 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18285 1111 63 0 19656 0
vsize: 78876
[startup+1170.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529132 0 0 0 114026 2992 0 0 25 0 1 0 895695908 80769024 18286 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18286 1111 63 0 19656 0
vsize: 78876
[startup+1180.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529133 0 0 0 115026 2992 0 0 25 0 1 0 895695908 80769024 18287 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18287 1111 63 0 19656 0
vsize: 78876
[startup+1190.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529133 0 0 0 116026 2992 0 0 25 0 1 0 895695908 80769024 18287 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18287 1111 63 0 19656 0
vsize: 78876
[startup+1200.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) R 29433 31399 31398 0 -1 0 1529133 0 0 0 117027 2992 0 0 25 0 1 0 895695908 80769024 18287 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19719 18287 1111 63 0 19656 0
vsize: 78876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.02 0.99 0.91 1/54 29491
Raw data (stat): 29434 (bsolo_lpr-v2) Z 29433 31399 31398 0 -1 1036 1529133 0 0 0 117027 2996 0 0 25 0 1 0 895695908 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.08
CPU time (s): 1200.24
CPU user time (s): 1170.27
CPU system time (s): 29.9644
CPU usage (%): 100.013
Max. virtual memory (Kb): 78876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####