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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM	bc275113592d0f0914bb7f3c346a4153
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7100
Optimality of the best value was proved	NO
Number of terms in the objective function	714
Biggest coefficient in the objective function	559
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	66891
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1117
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	66891
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.04
Number of variables	12596
Total number of constraints	22177
Number of constraints which are clauses	4
Number of constraints which are cardinality constraints (but not clauses)	17162
Number of constraints which are nor clauses,nor cardinality constraints	5011
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 26544

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-24 16:04:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12806 boxname=wulflinc6 idbench=986 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  bc275113592d0f0914bb7f3c346a4153  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-mzzv42z.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-mzzv42z.opb
IDLAUNCH: 12806
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        449644 kB
Buffers:          3752 kB
Cached:         550040 kB
SwapCached:        408 kB
Active:          22320 kB
Inactive:       533776 kB
HighTotal:      131008 kB
HighFree:        10612 kB
LowTotal:       903652 kB
LowFree:        439032 kB
SwapTotal:     2097136 kB
SwapFree:      2096040 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5704 kB
Slab:            23252 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:24:31 (client local time) WITH STATUS 0 IN 1201 SECONDS
stats: 12806 7 1201 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12596 variables and 15189 constraints.
c After prepocess the problem consists of 11943 variables and 14113 constraints.
c preprocess terminated 359.941 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
Raw data (loadavg): 0.93 1.01 1.15 2/54 26598
Raw data (stat): 26598 (runsolver) R 26597 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773313568 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.94 1.01 1.15 2/54 26598
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 68194 0 0 0 851 145 0 0 25 0 1 0 773313568 292569088 68118 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71428 68118 1111 63 0 71365 0
vsize: 285712
[startup+20.0015 s]
Raw data (loadavg): 0.95 1.00 1.15 2/54 26598
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 73638 0 0 0 1839 158 0 0 25 0 1 0 773313568 314773504 73562 4294967295 134512640 134714508 3221224592 3221223236 1077374550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76849 73563 1111 63 0 76786 0
vsize: 307396
[startup+30.0033 s]
Raw data (loadavg): 0.95 1.00 1.14 2/54 26598
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 109580 0 0 0 2757 240 0 0 25 0 1 0 773313568 452308992 109490 4294967295 134512640 134714508 3221224592 3221223084 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110427 109490 1111 63 0 110364 0
vsize: 441708
[startup+40.0039 s]
Raw data (loadavg): 0.96 1.00 1.14 2/54 26598
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 110798 0 0 0 3753 243 0 0 25 0 1 0 773313568 457146368 110703 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111608 110703 1111 63 0 111545 0
vsize: 446432
[startup+50.005 s]
Raw data (loadavg): 0.97 1.00 1.14 2/54 26598
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 111639 0 0 0 4751 245 0 0 25 0 1 0 773313568 457146368 110703 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111608 110703 1111 63 0 111545 0
vsize: 446432
[startup+60.0056 s]
Raw data (loadavg): 0.97 1.00 1.14 2/54 26598
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 117798 0 0 0 5737 261 0 0 25 0 1 0 773313568 482353152 116857 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117762 116857 1111 63 0 117699 0
vsize: 471048
[startup+70.0063 s]
Raw data (loadavg): 0.97 1.00 1.14 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 119144 0 0 0 6733 264 0 0 25 0 1 0 773313568 482353152 116857 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117762 116857 1111 63 0 117699 0
vsize: 471048
[startup+80.0104 s]
Raw data (loadavg): 0.98 1.00 1.14 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 119144 0 0 0 7734 264 0 0 25 0 1 0 773313568 482353152 116857 4294967295 134512640 134714508 3221224592 3221223072 134539356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117762 116857 1111 63 0 117699 0
vsize: 471048
[startup+90.0158 s]
Raw data (loadavg): 0.98 1.00 1.13 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 143043 0 0 0 8678 322 0 0 25 0 1 0 773313568 497975296 120671 4294967295 134512640 134714508 3221224592 3221223208 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+100.016 s]
Raw data (loadavg): 0.98 1.00 1.13 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 150523 0 0 0 9660 340 0 0 25 0 1 0 773313568 497975296 120671 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+110.032 s]
Raw data (loadavg): 0.99 1.00 1.13 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 156409 0 0 0 10648 353 0 0 25 0 1 0 773313568 497975296 120671 4294967295 134512640 134714508 3221224592 3221223320 134672944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+120.039 s]
Raw data (loadavg): 0.99 1.00 1.13 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 156409 0 0 0 11649 353 0 0 25 0 1 0 773313568 497975296 120671 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+130.039 s]
Raw data (loadavg): 0.99 1.00 1.13 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 156409 0 0 0 12650 353 0 0 25 0 1 0 773313568 497975296 120671 4294967295 134512640 134714508 3221224592 3221223124 134542835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+140.047 s]
Raw data (loadavg): 0.99 1.00 1.12 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 156409 0 0 0 13651 353 0 0 25 0 1 0 773313568 497975296 120671 4294967295 134512640 134714508 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+150.157 s]
Raw data (loadavg): 0.99 1.00 1.12 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 156409 0 0 0 14662 353 0 0 25 0 1 0 773313568 497975296 120671 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+160.157 s]
Raw data (loadavg): 0.99 1.00 1.12 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 156409 0 0 0 15662 353 0 0 25 0 1 0 773313568 497975296 120671 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+170.158 s]
Raw data (loadavg): 0.99 1.00 1.12 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 156512 0 0 0 16663 353 0 0 25 0 1 0 773313568 497975296 120671 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+180.158 s]
Raw data (loadavg): 0.99 1.00 1.12 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 167556 0 0 0 17635 381 0 0 25 0 1 0 773313568 538603520 130590 4294967295 134512640 134714508 3221224592 3221223064 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131495 130590 1111 63 0 131432 0
vsize: 525980
[startup+190.163 s]
Raw data (loadavg): 0.99 1.00 1.11 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 167556 0 0 0 18636 381 0 0 25 0 1 0 773313568 538603520 130590 4294967295 134512640 134714508 3221224592 3221222956 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131495 130590 1111 63 0 131432 0
vsize: 525980
[startup+200.164 s]
Raw data (loadavg): 0.99 1.00 1.11 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 169308 0 0 0 19632 385 0 0 25 0 1 0 773313568 538603520 130590 4294967295 134512640 134714508 3221224592 3221223208 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131495 130590 1111 63 0 131432 0
vsize: 525980
[startup+210.165 s]
Raw data (loadavg): 0.99 1.00 1.11 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 169308 0 0 0 20633 385 0 0 25 0 1 0 773313568 538603520 130590 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131495 130590 1111 63 0 131432 0
vsize: 525980
[startup+220.166 s]
Raw data (loadavg): 0.99 1.00 1.11 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 21627 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221222976 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+230.167 s]
Raw data (loadavg): 0.99 1.00 1.11 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 22627 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+240.167 s]
Raw data (loadavg): 0.99 1.00 1.10 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 23628 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223316 134625453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+250.179 s]
Raw data (loadavg): 0.99 1.00 1.10 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 24629 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+260.283 s]
Raw data (loadavg): 0.99 1.00 1.10 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 25640 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+270.389 s]
Raw data (loadavg): 1.07 1.02 1.10 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 26651 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+280.39 s]
Raw data (loadavg): 1.06 1.02 1.10 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 27651 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+290.39 s]
Raw data (loadavg): 1.05 1.01 1.10 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 28652 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223244 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+300.398 s]
Raw data (loadavg): 1.04 1.01 1.10 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 29653 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+310.398 s]
Raw data (loadavg): 1.03 1.01 1.10 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 30653 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223248 134627264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+320.398 s]
Raw data (loadavg): 1.03 1.01 1.09 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 31653 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+330.401 s]
Raw data (loadavg): 1.02 1.01 1.09 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 32654 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+340.403 s]
Raw data (loadavg): 1.02 1.01 1.09 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 33654 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+350.403 s]
Raw data (loadavg): 1.02 1.01 1.09 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172046 0 0 0 34655 392 0 0 25 0 1 0 773313568 549949440 133328 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+360.405 s]
Raw data (loadavg): 1.01 1.01 1.09 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172071 0 0 0 35655 392 0 0 25 0 1 0 773313568 549949440 133353 4294967295 134512640 134714508 3221224592 3221221896 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+370.406 s]
Raw data (loadavg): 1.01 1.01 1.09 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172071 0 0 0 36655 392 0 0 25 0 1 0 773313568 549949440 133353 4294967295 134512640 134714508 3221224592 3221222896 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+380.406 s]
Raw data (loadavg): 1.01 1.01 1.09 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172071 0 0 0 37654 393 0 0 25 0 1 0 773313568 549949440 133353 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+390.406 s]
Raw data (loadavg): 1.01 1.00 1.09 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172071 0 0 0 38654 393 0 0 25 0 1 0 773313568 549949440 133353 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+400.408 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172071 0 0 0 39654 394 0 0 25 0 1 0 773313568 549949440 133353 4294967295 134512640 134714508 3221224592 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+410.408 s]
Raw data (loadavg): 1.00 1.00 1.08 3/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172071 0 0 0 40653 394 0 0 25 0 1 0 773313568 549949440 133353 4294967295 134512640 134714508 3221224592 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+420.408 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172071 0 0 0 41654 394 0 0 25 0 1 0 773313568 549949440 133353 4294967295 134512640 134714508 3221224592 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+430.41 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172071 0 0 0 42654 394 0 0 25 0 1 0 773313568 549949440 133353 4294967295 134512640 134714508 3221224592 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+440.411 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172071 0 0 0 43655 394 0 0 25 0 1 0 773313568 549949440 133353 4294967295 134512640 134714508 3221224592 3221222848 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+450.411 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172071 0 0 0 44655 394 0 0 25 0 1 0 773313568 549949440 133353 4294967295 134512640 134714508 3221224592 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+460.41 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172071 0 0 0 45655 394 0 0 25 0 1 0 773313568 549949440 133353 4294967295 134512640 134714508 3221224592 3221222768 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+470.41 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 46656 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220584 1074950180 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+480.409 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 47656 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221280 1076083342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+490.409 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 48656 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+500.408 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 49656 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220380 1074787594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+510.408 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 50656 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221432 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+520.407 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 51657 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1076111369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+530.407 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 52657 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221344 1075115840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+540.407 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 53657 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220672 1074794666 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+550.407 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 54658 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221168 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+560.406 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 55658 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220576 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+570.407 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 56658 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221008 1075859966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+580.406 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 57659 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220568 1074860243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+590.406 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 58659 394 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+600.405 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 59659 395 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220568 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+610.406 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 60659 395 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+620.405 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 61659 395 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220784 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+630.404 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 62659 395 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+640.405 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 63660 395 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220568 1074860246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+650.405 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 64660 395 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221168 1075967692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+660.404 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 65660 395 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+670.404 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 66660 395 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+680.403 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 67661 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+690.402 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 68661 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221104 1074886928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+700.402 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 69661 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220568 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+710.402 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 70661 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221776 1075894372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+720.401 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 71662 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+730.415 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 72663 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+740.414 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 73663 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+750.428 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 74665 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221056 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+760.428 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 75665 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116719 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+770.427 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 76666 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220784 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+780.428 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 77666 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+790.427 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 78666 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220844 1076111494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+800.427 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 79667 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220476 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+810.426 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 80667 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+820.427 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 81667 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+830.426 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 82667 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221664 1075969861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+840.426 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 83668 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221168 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+850.426 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 84668 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220476 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+860.426 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 85668 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220784 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+870.425 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 86669 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221168 1075967945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+880.424 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 87669 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220476 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+890.424 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 88669 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220380 1074787558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+900.423 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 89669 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+910.423 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 90670 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221168 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+920.424 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 91670 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+930.423 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 92670 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221632 1074834317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+940.422 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172178 0 0 0 93670 396 0 0 25 0 1 0 773313568 549949440 133460 4294967295 134512640 134714508 3221224592 3221221584 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+950.422 s]
Raw data (loadavg): 1.00 1.00 1.03 3/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 94671 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220576 1075084528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+960.422 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 95671 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+970.422 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 96671 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+980.422 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 97672 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+990.422 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 98672 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1000.42 s]
Raw data (loadavg): 1.00 1.00 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 99672 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1010.42 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 100672 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220672 1075092591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1020.42 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 101673 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220472 1074789536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1030.42 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 102673 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1040.42 s]
Raw data (loadavg): 1.00 1.00 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 103673 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220476 1074787594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1050.42 s]
Raw data (loadavg): 1.07 1.02 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 104674 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1060.42 s]
Raw data (loadavg): 1.06 1.02 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 105674 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1070.42 s]
Raw data (loadavg): 1.05 1.01 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 106675 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220476 1074787813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1080.42 s]
Raw data (loadavg): 1.04 1.01 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 107675 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1090.42 s]
Raw data (loadavg): 1.04 1.01 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 108675 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220784 1074961496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1100.42 s]
Raw data (loadavg): 1.03 1.01 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 109675 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1110.42 s]
Raw data (loadavg): 1.10 1.03 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 110676 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1120.42 s]
Raw data (loadavg): 1.08 1.03 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 111676 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221221516 1074621045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1130.42 s]
Raw data (loadavg): 1.07 1.02 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 112676 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220656 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1140.42 s]
Raw data (loadavg): 1.06 1.02 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 113676 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221221168 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1150.42 s]
Raw data (loadavg): 1.05 1.02 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 114677 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220720 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1160.42 s]
Raw data (loadavg): 1.04 1.02 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 115677 396 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221221044 1075863647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1170.42 s]
Raw data (loadavg): 1.11 1.04 1.03 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 116677 397 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221221456 1074620373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1180.42 s]
Raw data (loadavg): 1.09 1.04 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 117678 397 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1190.42 s]
Raw data (loadavg): 1.08 1.03 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 118678 397 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220784 1074961304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1200.42 s]
Raw data (loadavg): 1.06 1.03 1.02 2/54 26600
Raw data (stat): 26598 (bsolo_lpr) R 26597 25568 25567 0 -1 0 172207 0 0 0 119678 397 0 0 25 0 1 0 773313568 549949440 133489 4294967295 134512640 134714508 3221224592 3221220728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.66 s]
Raw data (loadavg): 1.06 1.03 1.02 1/54 26600
Raw data (stat): 26598 (bsolo_lpr) Z 26597 25568 25567 0 -1 1036 172207 0 0 0 119678 421 0 0 25 0 1 0 773313568 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.66
CPU time (s): 1201
CPU user time (s): 1196.78
CPU system time (s): 4.21536
CPU usage (%): 100.028
Max. virtual memory (Kb): 537060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####