PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
MD5SUM	a18434ce5469ba587063f7e76ce3e080
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4500
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	4500
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4500
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4500
Total number of constraints	72413
Number of constraints which are clauses	72413
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	18
Trace number 39508

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 10:59:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27573 boxname=wulflinc2 idbench=131 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  a18434ce5469ba587063f7e76ce3e080  /oldhome/oroussel/tmp/wulflinc2/normalized-g125.18.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-g125.18.opb
IDLAUNCH: 27573
/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:        264376 kB
Buffers:         34400 kB
Cached:         711620 kB
SwapCached:       1164 kB
Active:          54436 kB
Inactive:       694084 kB
HighTotal:      131008 kB
HighFree:        11396 kB
LowTotal:       903652 kB
LowFree:        252980 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            16132 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 11:19:33 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 27573 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4500 variables and 72413 constraints.
c After prepocess the problem consists of 4500 variables and 72593 constraints.
c preprocess terminated 493.94 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.91 0.95 0.90 1/54 24462
Raw data (stat): 24462 (runsolver) R 24461 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892464229 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 24462
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 44254 0 0 0 888 108 0 0 25 0 1 0 892464229 184471552 44163 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45037 44163 1111 63 0 44974 0
vsize: 180148
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 24462
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 74382 0 0 0 1815 182 0 0 25 0 1 0 892464229 190447616 45622 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46496 45627 1111 63 0 46433 0
vsize: 185984
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24462
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 122090 0 0 0 2700 297 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223248 134606991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+40.0023 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 24515
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 145699 0 0 0 3643 355 0 0 25 0 1 0 892464229 193474560 46357 4294967295 134512640 134716908 3221224576 3221222840 1077377244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47235 46357 1111 63 0 47172 0
vsize: 188940
[startup+50.0031 s]
Raw data (loadavg): 1.11 0.99 0.92 2/54 24515
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 167470 0 0 0 4591 407 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+60.0027 s]
Raw data (loadavg): 1.09 0.99 0.92 2/54 24515
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 190242 0 0 0 5538 460 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223104 134542842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+70.0034 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 24515
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 215490 0 0 0 6475 523 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222940 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+80.0031 s]
Raw data (loadavg): 1.15 1.01 0.92 2/54 24515
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 7460 538 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+90.0039 s]
Raw data (loadavg): 1.12 1.01 0.92 2/54 24515
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 8460 538 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+100.004 s]
Raw data (loadavg): 1.10 1.01 0.92 2/54 24515
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 9460 538 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+110.003 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 24515
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 10460 538 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+120.003 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 11460 538 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+130.003 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 12461 538 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223068 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+140.004 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 13461 538 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223088 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+150.004 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 14461 538 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222992 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+160.004 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 15461 538 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222960 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+170.004 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 16461 538 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+180.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 17461 538 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+190.005 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 18462 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223164 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+200.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 19462 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223088 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+210.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 20462 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+220.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 21462 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+230.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 22462 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+240.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 23463 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223232 134609162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+250.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 24463 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+260.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 25463 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223192 134543830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+270.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 26463 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222928 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+280.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 27463 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222960 134542312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+290.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 28463 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+300.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 29464 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223056 134539460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+310.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 30464 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+320.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 31464 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+330.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 32464 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+340.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 33464 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223052 134542371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+350.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24517
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 34464 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+360.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 35464 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222940 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+370.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 36465 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221222968 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+380.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 37465 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+390.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 38465 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223000 1077377571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+400.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 39465 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+410.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 40465 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+420.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 41465 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+430.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 42465 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+440.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 43466 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+450.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 44466 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+460.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 45466 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223224 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+470.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 46466 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+480.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 222904 0 0 0 47466 539 0 0 25 0 1 0 892464229 184541184 44195 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45054 44195 1111 63 0 44991 0
vsize: 180216
[startup+490.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 223473 0 0 0 48465 540 0 0 25 0 1 0 892464229 186867712 44764 4294967295 134512640 134716908 3221224576 3221223432 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45622 44764 1111 63 0 45559 0
vsize: 182488
[startup+500.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 223780 0 0 0 49463 542 0 0 25 0 1 0 892464229 188592128 45071 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46043 45071 1111 63 0 45980 0
vsize: 184172
[startup+510.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 223899 0 0 0 50462 544 0 0 25 0 1 0 892464229 189181952 45190 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46187 45190 1111 63 0 46124 0
vsize: 184748
[startup+520.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 223941 0 0 0 51461 544 0 0 25 0 1 0 892464229 189329408 45232 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46223 45232 1111 63 0 46160 0
vsize: 184892
[startup+530.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 223975 0 0 0 52460 545 0 0 25 0 1 0 892464229 189460480 45266 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46255 45266 1111 63 0 46192 0
vsize: 185020
[startup+540.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224051 0 0 0 53459 547 0 0 25 0 1 0 892464229 189747200 45342 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46325 45342 1111 63 0 46262 0
vsize: 185300
[startup+550.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224141 0 0 0 54458 548 0 0 25 0 1 0 892464229 190078976 45432 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46406 45432 1111 63 0 46343 0
vsize: 185624
[startup+560.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224168 0 0 0 55457 549 0 0 25 0 1 0 892464229 190185472 45459 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46432 45459 1111 63 0 46369 0
vsize: 185728
[startup+570.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224191 0 0 0 56457 550 0 0 25 0 1 0 892464229 190275584 45482 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46454 45482 1111 63 0 46391 0
vsize: 185816
[startup+580.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224236 0 0 0 57456 551 0 0 25 0 1 0 892464229 190427136 45527 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46491 45527 1111 63 0 46428 0
vsize: 185964
[startup+590.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224258 0 0 0 58456 551 0 0 25 0 1 0 892464229 190513152 45549 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46512 45549 1111 63 0 46449 0
vsize: 186048
[startup+600.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224279 0 0 0 59455 552 0 0 25 0 1 0 892464229 190595072 45570 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46532 45570 1111 63 0 46469 0
vsize: 186128
[startup+610.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224298 0 0 0 60455 553 0 0 25 0 1 0 892464229 190668800 45589 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46550 45589 1111 63 0 46487 0
vsize: 186200
[startup+620.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224368 0 0 0 61454 553 0 0 25 0 1 0 892464229 190836736 45636 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46591 45636 1111 63 0 46528 0
vsize: 186364
[startup+630.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224385 0 0 0 62454 554 0 0 25 0 1 0 892464229 190902272 45653 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46607 45653 1111 63 0 46544 0
vsize: 186428
[startup+640.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224402 0 0 0 63454 555 0 0 25 0 1 0 892464229 190971904 45670 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46624 45670 1111 63 0 46561 0
vsize: 186496
[startup+650.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224418 0 0 0 64453 555 0 0 25 0 1 0 892464229 191033344 45686 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46639 45686 1111 63 0 46576 0
vsize: 186556
[startup+660.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224432 0 0 0 65453 555 0 0 25 0 1 0 892464229 191086592 45700 4294967295 134512640 134716908 3221224576 3221222528 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46652 45700 1111 63 0 46589 0
vsize: 186608
[startup+670.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224447 0 0 0 66453 556 0 0 25 0 1 0 892464229 191143936 45715 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46666 45715 1111 63 0 46603 0
vsize: 186664
[startup+680.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224560 0 0 0 67453 556 0 0 25 0 1 0 892464229 191606784 45828 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46779 45828 1111 63 0 46716 0
vsize: 187116
[startup+690.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224576 0 0 0 68452 557 0 0 25 0 1 0 892464229 191668224 45844 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46794 45844 1111 63 0 46731 0
vsize: 187176
[startup+700.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224591 0 0 0 69452 557 0 0 25 0 1 0 892464229 191725568 45859 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46808 45859 1111 63 0 46745 0
vsize: 187232
[startup+710.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224604 0 0 0 70452 558 0 0 25 0 1 0 892464229 191778816 45872 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46821 45872 1111 63 0 46758 0
vsize: 187284
[startup+720.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224619 0 0 0 71452 558 0 0 25 0 1 0 892464229 191836160 45887 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46835 45887 1111 63 0 46772 0
vsize: 187340
[startup+730.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224631 0 0 0 72452 559 0 0 25 0 1 0 892464229 191885312 45899 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46847 45899 1111 63 0 46784 0
vsize: 187388
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224645 0 0 0 73451 559 0 0 25 0 1 0 892464229 191938560 45913 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46860 45913 1111 63 0 46797 0
vsize: 187440
[startup+750.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224658 0 0 0 74451 560 0 0 25 0 1 0 892464229 191987712 45926 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46872 45926 1111 63 0 46809 0
vsize: 187488
[startup+760.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224670 0 0 0 75451 560 0 0 25 0 1 0 892464229 192036864 45938 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46884 45938 1111 63 0 46821 0
vsize: 187536
[startup+770.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224821 0 0 0 76451 560 0 0 25 0 1 0 892464229 192393216 46026 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46971 46026 1111 63 0 46908 0
vsize: 187884
[startup+780.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224832 0 0 0 77451 561 0 0 25 0 1 0 892464229 192438272 46037 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46982 46037 1111 63 0 46919 0
vsize: 187928
[startup+790.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224845 0 0 0 78450 561 0 0 25 0 1 0 892464229 192487424 46050 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46994 46050 1111 63 0 46931 0
vsize: 187976
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224855 0 0 0 79450 562 0 0 25 0 1 0 892464229 192528384 46060 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47004 46060 1111 63 0 46941 0
vsize: 188016
[startup+810.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224867 0 0 0 80450 562 0 0 25 0 1 0 892464229 192573440 46072 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47015 46072 1111 63 0 46952 0
vsize: 188060
[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224879 0 0 0 81449 563 0 0 25 0 1 0 892464229 192622592 46084 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47027 46084 1111 63 0 46964 0
vsize: 188108
[startup+830.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224890 0 0 0 82449 563 0 0 25 0 1 0 892464229 192663552 46095 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47037 46095 1111 63 0 46974 0
vsize: 188148
[startup+840.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224901 0 0 0 83449 564 0 0 25 0 1 0 892464229 192708608 46106 4294967295 134512640 134716908 3221224576 3221222432 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47048 46106 1111 63 0 46985 0
vsize: 188192
[startup+850.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224911 0 0 0 84449 564 0 0 25 0 1 0 892464229 192745472 46116 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47057 46116 1111 63 0 46994 0
vsize: 188228
[startup+860.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224920 0 0 0 85449 564 0 0 25 0 1 0 892464229 192782336 46125 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47066 46125 1111 63 0 47003 0
vsize: 188264
[startup+870.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224931 0 0 0 86449 565 0 0 25 0 1 0 892464229 192823296 46136 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47076 46136 1111 63 0 47013 0
vsize: 188304
[startup+880.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224940 0 0 0 87449 565 0 0 25 0 1 0 892464229 192860160 46145 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47085 46145 1111 63 0 47022 0
vsize: 188340
[startup+890.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 224952 0 0 0 88449 565 0 0 25 0 1 0 892464229 192905216 46157 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47096 46157 1111 63 0 47033 0
vsize: 188384
[startup+900.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225028 0 0 0 89449 565 0 0 25 0 1 0 892464229 193216512 46233 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47172 46233 1111 63 0 47109 0
vsize: 188688
[startup+910.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225038 0 0 0 90449 565 0 0 25 0 1 0 892464229 193253376 46243 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47181 46243 1111 63 0 47118 0
vsize: 188724
[startup+920.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225047 0 0 0 91449 566 0 0 25 0 1 0 892464229 193290240 46252 4294967295 134512640 134716908 3221224576 3221222816 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47190 46252 1111 63 0 47127 0
vsize: 188760
[startup+930.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225058 0 0 0 92448 566 0 0 25 0 1 0 892464229 193331200 46263 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47200 46263 1111 63 0 47137 0
vsize: 188800
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225066 0 0 0 93448 567 0 0 25 0 1 0 892464229 193363968 46271 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47208 46271 1111 63 0 47145 0
vsize: 188832
[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225076 0 0 0 94448 567 0 0 25 0 1 0 892464229 193400832 46281 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47217 46281 1111 63 0 47154 0
vsize: 188868
[startup+960.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225086 0 0 0 95448 567 0 0 25 0 1 0 892464229 193441792 46291 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47227 46291 1111 63 0 47164 0
vsize: 188908
[startup+970.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225095 0 0 0 96448 567 0 0 25 0 1 0 892464229 193478656 46300 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47236 46300 1111 63 0 47173 0
vsize: 188944
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225107 0 0 0 97448 568 0 0 25 0 1 0 892464229 193523712 46312 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47247 46312 1111 63 0 47184 0
vsize: 188988
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225116 0 0 0 98448 568 0 0 25 0 1 0 892464229 193560576 46321 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47256 46321 1111 63 0 47193 0
vsize: 189024
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225126 0 0 0 99448 568 0 0 25 0 1 0 892464229 193597440 46331 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47265 46331 1111 63 0 47202 0
vsize: 189060
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225135 0 0 0 100448 569 0 0 25 0 1 0 892464229 193634304 46340 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47274 46340 1111 63 0 47211 0
vsize: 189096
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225145 0 0 0 101447 569 0 0 25 0 1 0 892464229 193671168 46350 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47283 46350 1111 63 0 47220 0
vsize: 189132
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225155 0 0 0 102448 569 0 0 25 0 1 0 892464229 193712128 46360 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47293 46360 1111 63 0 47230 0
vsize: 189172
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225163 0 0 0 103448 569 0 0 25 0 1 0 892464229 193744896 46368 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47301 46368 1111 63 0 47238 0
vsize: 189204
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225173 0 0 0 104447 570 0 0 25 0 1 0 892464229 193781760 46378 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47310 46378 1111 63 0 47247 0
vsize: 189240
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225180 0 0 0 105447 570 0 0 25 0 1 0 892464229 193810432 46385 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47317 46385 1111 63 0 47254 0
vsize: 189268
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225190 0 0 0 106447 571 0 0 25 0 1 0 892464229 193847296 46395 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47326 46395 1111 63 0 47263 0
vsize: 189304
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225198 0 0 0 107447 571 0 0 25 0 1 0 892464229 193880064 46403 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47334 46403 1111 63 0 47271 0
vsize: 189336
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225414 0 0 0 108446 572 0 0 25 0 1 0 892464229 194056192 46446 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47377 46446 1111 63 0 47314 0
vsize: 189508
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225424 0 0 0 109446 572 0 0 25 0 1 0 892464229 194093056 46456 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47386 46456 1111 63 0 47323 0
vsize: 189544
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225432 0 0 0 110446 573 0 0 25 0 1 0 892464229 194125824 46464 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47394 46464 1111 63 0 47331 0
vsize: 189576
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225439 0 0 0 111445 573 0 0 25 0 1 0 892464229 194154496 46471 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47401 46471 1111 63 0 47338 0
vsize: 189604
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225449 0 0 0 112445 573 0 0 25 0 1 0 892464229 194191360 46481 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47410 46481 1111 63 0 47347 0
vsize: 189640
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225457 0 0 0 113445 574 0 0 25 0 1 0 892464229 194224128 46489 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47418 46489 1111 63 0 47355 0
vsize: 189672
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225465 0 0 0 114445 574 0 0 25 0 1 0 892464229 194252800 46497 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47425 46497 1111 63 0 47362 0
vsize: 189700
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225473 0 0 0 115445 575 0 0 25 0 1 0 892464229 194285568 46505 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47433 46505 1111 63 0 47370 0
vsize: 189732
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225480 0 0 0 116444 575 0 0 25 0 1 0 892464229 194314240 46512 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47440 46512 1111 63 0 47377 0
vsize: 189760
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225489 0 0 0 117444 575 0 0 25 0 1 0 892464229 194347008 46521 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47448 46521 1111 63 0 47385 0
vsize: 189792
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225496 0 0 0 118444 575 0 0 25 0 1 0 892464229 194375680 46528 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47455 46528 1111 63 0 47392 0
vsize: 189820
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) R 24461 31399 31398 0 -1 0 225504 0 0 0 119444 576 0 0 25 0 1 0 892464229 194408448 46536 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47463 46536 1111 63 0 47400 0
vsize: 189852
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 24519
Raw data (stat): 24462 (bsolo_lpr-v2) Z 24461 31399 31398 0 -1 1036 225504 0 0 0 119444 584 0 0 25 0 1 0 892464229 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.12
CPU time (s): 1200.29
CPU user time (s): 1194.45
CPU system time (s): 5.84411
CPU usage (%): 100.015
Max. virtual memory (Kb): 189852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####