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/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb
MD5SUM	ec9eb8bc5f0ce888f87dfc271da55db8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-5109
Optimality of the best value was proved	NO
Number of terms in the objective function	773
Biggest coefficient in the objective function	1000
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	76861
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1999
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	76861
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.05
Number of variables	11247
Total number of constraints	19739
Number of constraints which are clauses	77
Number of constraints which are cardinality constraints (but not clauses)	15744
Number of constraints which are nor clauses,nor cardinality constraints	3918
Minimum length of a constraint	1
Maximum length of a constraint	68
Trace number 40349

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 07:40:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28413 boxname=wulflinc2 idbench=1369 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ec9eb8bc5f0ce888f87dfc271da55db8  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-mzzv11.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-mzzv11.opb
IDLAUNCH: 28413
/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:        744100 kB
Buffers:         20800 kB
Cached:         247276 kB
SwapCached:       1340 kB
Active:          27796 kB
Inactive:       242296 kB
HighTotal:      131008 kB
HighFree:        28672 kB
LowTotal:       903652 kB
LowFree:        715428 kB
SwapTotal:     2097136 kB
SwapFree:      2094732 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            14996 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:00:27 (client local time) WITH STATUS 0 IN 1200.49 SECONDS
stats: 28413 7 1200.49 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 11247 variables and 13116 constraints.
c After prepocess the problem consists of 10816 variables and 12496 constraints.
c preprocess terminated 533.313 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.92 0.90 1/54 7331
Raw data (stat): 7331 (runsolver) R 7330 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899910668 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+9.99986 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 58164 0 0 0 876 120 0 0 25 0 1 0 899910668 251482112 58084 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61397 58084 1111 63 0 61334 0
vsize: 245588
[startup+20.001 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 63685 0 0 0 1865 132 0 0 25 0 1 0 899910668 273997824 63605 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66894 63605 1111 63 0 66831 0
vsize: 267576
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 110646 0 0 0 2756 240 0 0 25 0 1 0 899910668 456581120 110560 4294967295 134512640 134716908 3221224576 3221223448 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+40.0012 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 110646 0 0 0 3757 240 0 0 25 0 1 0 899910668 456581120 110560 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+50.0019 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 110646 0 0 0 4757 240 0 0 25 0 1 0 899910668 456581120 110560 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+60.0016 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 110646 0 0 0 5757 240 0 0 25 0 1 0 899910668 456581120 110560 4294967295 134512640 134716908 3221224576 3221223312 134625459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+70.0027 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 110646 0 0 0 6757 240 0 0 25 0 1 0 899910668 456581120 110560 4294967295 134512640 134716908 3221224576 3221223008 134523171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+80.003 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 110646 0 0 0 7757 240 0 0 25 0 1 0 899910668 456581120 110560 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+90.0027 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 110646 0 0 0 8757 240 0 0 25 0 1 0 899910668 456581120 110560 4294967295 134512640 134716908 3221224576 3221223152 134535821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+100.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 112395 0 0 0 9753 245 0 0 25 0 1 0 899910668 456671232 110592 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111492 110592 1111 63 0 111429 0
vsize: 445968
[startup+110.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 112395 0 0 0 10753 245 0 0 25 0 1 0 899910668 456671232 110592 4294967295 134512640 134716908 3221224576 3221222940 134539246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111492 110592 1111 63 0 111429 0
vsize: 445968
[startup+120.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 119090 0 0 0 11736 263 0 0 25 0 1 0 899910668 456671232 110592 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111492 110592 1111 63 0 111429 0
vsize: 445968
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 163702 0 0 0 12628 370 0 0 25 0 1 0 899910668 474046464 114834 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115734 114834 1111 63 0 115671 0
vsize: 462936
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 171583 0 0 0 13610 389 0 0 25 0 1 0 899910668 474046464 114834 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115734 114834 1111 63 0 115671 0
vsize: 462936
[startup+150.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 189076 0 0 0 14570 429 0 0 25 0 1 0 899910668 541908992 131402 4294967295 134512640 134716908 3221224576 3221223048 1077377227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132302 131402 1111 63 0 132239 0
vsize: 529208
[startup+160.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 15528 471 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 16528 471 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+180.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 17528 471 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223004 134542823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 18528 471 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223056 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 19529 471 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 20529 471 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221222960 134542342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 21529 471 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+230.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 22529 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 23529 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 24529 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223104 134543700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+260.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 25530 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+270.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 26530 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223320 134630821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+280.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 27530 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+290.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 28530 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+300.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 29531 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221222992 134542680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+310.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 30531 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+320.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 31531 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+330.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 32531 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 33532 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 34532 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 35532 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 36532 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 37532 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 38533 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 39533 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 40533 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 41533 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 42534 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 43534 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 44534 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 45534 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 46534 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 47535 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 48535 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 49535 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223224 134558609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 50535 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 51536 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208182 0 0 0 52536 472 0 0 25 0 1 0 899910668 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208206 0 0 0 53535 472 0 0 25 0 1 0 899910668 620163072 150531 4294967295 134512640 134716908 3221224576 3221222864 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208206 0 0 0 54536 472 0 0 25 0 1 0 899910668 620163072 150531 4294967295 134512640 134716908 3221224576 3221222864 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208206 0 0 0 55536 472 0 0 25 0 1 0 899910668 620163072 150531 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208206 0 0 0 56536 472 0 0 25 0 1 0 899910668 620163072 150531 4294967295 134512640 134716908 3221224576 3221222256 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208206 0 0 0 57536 472 0 0 25 0 1 0 899910668 620163072 150531 4294967295 134512640 134716908 3221224576 3221222784 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208206 0 0 0 58537 472 0 0 25 0 1 0 899910668 620163072 150531 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208206 0 0 0 59537 472 0 0 25 0 1 0 899910668 620163072 150531 4294967295 134512640 134716908 3221224576 3221222688 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208206 0 0 0 60537 472 0 0 25 0 1 0 899910668 620163072 150531 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208206 0 0 0 61537 472 0 0 25 0 1 0 899910668 620163072 150531 4294967295 134512640 134716908 3221224576 3221222688 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208206 0 0 0 62537 472 0 0 25 0 1 0 899910668 620163072 150531 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208310 0 0 0 63537 472 0 0 25 0 1 0 899910668 620163072 150635 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150635 1111 63 0 151344 0
vsize: 605628
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 64537 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 65538 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 66538 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220624 1074969440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 67538 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 68538 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220688 1074815247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 69539 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 70539 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 71539 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 72539 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 73539 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220444 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 74539 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 75540 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221221440 1074790228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 76540 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 77540 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 78540 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221221024 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 79540 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221221136 1075967892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 80540 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220752 1074961264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 81541 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 82541 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 83541 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+850.033 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 84541 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221221424 1074620369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+860.034 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 85542 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221221520 1075971386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+870.034 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 86542 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116719 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+880.035 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 87542 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220640 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+890.036 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 88542 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+900.037 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 89543 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+910.037 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 90543 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+920.038 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 91543 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+930.039 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 92543 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220444 1074787549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+940.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 93543 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220720 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+950.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 94544 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+960.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 95544 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+970.041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 96544 472 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+980.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 97544 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+990.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 98544 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220640 1074794460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 99545 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 100545 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 101545 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220348 1074787813 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 102545 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 103545 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1050.04 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 104545 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220536 1074860223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1060.04 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 105545 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221221136 1075967916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1070.04 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 106546 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1080.04 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 107546 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1090.04 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 108546 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1100.04 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 109546 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1110.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 110546 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1120.05 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 111545 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1130.05 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 112545 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220816 1075113487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1140.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 113546 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221221248 1076083342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1150.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 114546 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221221136 1075967916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1160.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 115546 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1170.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7331
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 116546 473 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1180.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/58 7335
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 117546 474 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1190.05 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 7384
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 118546 474 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220624 1074969449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1200.05 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 7384
Raw data (stat): 7331 (bsolo_lpr-v2) R 7330 31399 31398 0 -1 0 208313 0 0 0 119547 474 0 0 25 0 1 0 899910668 620163072 150638 4294967295 134512640 134716908 3221224576 3221220440 1074789806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.38 s]
Raw data (loadavg): 1.07 1.02 0.93 1/54 7384
Raw data (stat): 7331 (bsolo_lpr-v2) Z 7330 31399 31398 0 -1 1036 208313 0 0 0 119547 501 0 0 24 0 1 0 899910668 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.38
CPU time (s): 1200.49
CPU user time (s): 1195.47
CPU system time (s): 5.01424
CPU usage (%): 100.009
Max. virtual memory (Kb): 605628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####