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-ssa7552-159.opb
MD5SUM	b7b224de1898888de830ec05fbd5ea69
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1327
Optimality of the best value was proved	NO
Number of terms in the objective function	2726
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	2726
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2726
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07284
Number of variables	2726
Total number of constraints	4395
Number of constraints which are clauses	4395
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	1
Maximum length of a constraint	5
Trace number 39629

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 15:00:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27671 boxname=wulflinc3 idbench=229 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b7b224de1898888de830ec05fbd5ea69  /oldhome/oroussel/tmp/wulflinc3/normalized-ssa7552-159.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ssa7552-159.opb
IDLAUNCH: 27671
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        274528 kB
Buffers:         34484 kB
Cached:         702124 kB
SwapCached:        240 kB
Active:          64472 kB
Inactive:       674628 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        274276 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15260 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:20:25 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 27671 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2726 variables and 4395 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.14 1.03 0.93 1/54 12226
Raw data (stat): 12226 (runsolver) R 12225 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893897524 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.0013 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 12226
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 48379 0 0 0 886 111 0 0 25 0 1 0 893897524 17956864 3540 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4384 3540 1111 63 0 4321 0
vsize: 17536
[startup+20.0027 s]
Raw data (loadavg): 1.18 1.04 0.94 2/54 12226
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 71794 0 0 0 1832 165 0 0 25 0 1 0 893897524 28188672 6038 4294967295 134512640 134716908 3221224576 3221223056 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6882 6038 1111 63 0 6819 0
vsize: 27528
[startup+30.0029 s]
Raw data (loadavg): 1.15 1.04 0.94 2/54 12226
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 92943 0 0 0 2780 217 0 0 25 0 1 0 893897524 33816576 7399 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8256 7399 1111 63 0 8193 0
vsize: 33024
[startup+40.0027 s]
Raw data (loadavg): 1.13 1.04 0.94 2/54 12226
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 104682 0 0 0 3752 246 0 0 25 0 1 0 893897524 38367232 8523 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9367 8523 1111 63 0 9304 0
vsize: 37468
[startup+50.0029 s]
Raw data (loadavg): 1.11 1.04 0.94 2/54 12226
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 113721 0 0 0 4732 266 0 0 25 0 1 0 893897524 43134976 9663 4294967295 134512640 134716908 3221224576 3221223160 134523854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10531 9663 1111 63 0 10468 0
vsize: 42124
[startup+60.0035 s]
Raw data (loadavg): 1.09 1.04 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 122202 0 0 0 5712 286 0 0 25 0 1 0 893897524 46292992 10444 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11302 10444 1111 63 0 11239 0
vsize: 45208
[startup+70.0042 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 129165 0 0 0 6696 302 0 0 25 0 1 0 893897524 49389568 11204 4294967295 134512640 134716908 3221224576 3221223104 134543719 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12058 11204 1111 63 0 11995 0
vsize: 48232
[startup+80.0047 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 132907 0 0 0 7689 310 0 0 25 0 1 0 893897524 51286016 11677 4294967295 134512640 134716908 3221224576 3221223328 134523374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12521 11677 1111 63 0 12458 0
vsize: 50084
[startup+90.0049 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 135952 0 0 0 8682 317 0 0 25 0 1 0 893897524 53485568 12199 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13058 12199 1111 63 0 12995 0
vsize: 52232
[startup+100.005 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 139253 0 0 0 9675 324 0 0 25 0 1 0 893897524 57217024 13123 4294967295 134512640 134716908 3221224576 3221223088 134542968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13969 13123 1111 63 0 13906 0
vsize: 55876
[startup+110.007 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 141831 0 0 0 10670 330 0 0 25 0 1 0 893897524 59568128 13694 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14543 13694 1111 63 0 14480 0
vsize: 58172
[startup+120.007 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 161648 0 0 0 11622 378 0 0 25 0 1 0 893897524 60944384 14035 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14879 14035 1111 63 0 14816 0
vsize: 59516
[startup+130.007 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 162664 0 0 0 12619 380 0 0 25 0 1 0 893897524 61534208 14152 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15023 14152 1111 63 0 14960 0
vsize: 60092
[startup+140.008 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 166597 0 0 0 13611 389 0 0 25 0 1 0 893897524 63184896 14554 4294967295 134512640 134716908 3221224576 3221223056 134539471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15426 14554 1111 63 0 15363 0
vsize: 61704
[startup+150.008 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 170570 0 0 0 14602 398 0 0 25 0 1 0 893897524 64217088 14810 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15678 14810 1111 63 0 15615 0
vsize: 62712
[startup+160.009 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 174692 0 0 0 15593 407 0 0 25 0 1 0 893897524 66809856 15424 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16311 15424 1111 63 0 16248 0
vsize: 65244
[startup+170.009 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 178705 0 0 0 16584 416 0 0 25 0 1 0 893897524 67796992 15685 4294967295 134512640 134716908 3221224576 3221222928 134543035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16552 15685 1111 63 0 16489 0
vsize: 66208
[startup+180.008 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 181173 0 0 0 17579 422 0 0 25 0 1 0 893897524 70139904 16235 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17124 16235 1111 63 0 17061 0
vsize: 68496
[startup+190.009 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 183701 0 0 0 18574 427 0 0 25 0 1 0 893897524 70356992 16311 4294967295 134512640 134716908 3221224576 3221223008 134523184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17177 16311 1111 63 0 17114 0
vsize: 68708
[startup+200.01 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 186404 0 0 0 19569 432 0 0 25 0 1 0 893897524 72495104 16834 4294967295 134512640 134716908 3221224576 3221223040 134536657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17699 16834 1111 63 0 17636 0
vsize: 70796
[startup+210.01 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 188581 0 0 0 20564 437 0 0 25 0 1 0 893897524 73789440 17150 4294967295 134512640 134716908 3221224576 3221222908 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18015 17150 1111 63 0 17952 0
vsize: 72060
[startup+220.011 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 191743 0 0 0 21557 444 0 0 25 0 1 0 893897524 75890688 17664 4294967295 134512640 134716908 3221224576 3221223132 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18528 17664 1111 63 0 18465 0
vsize: 74112
[startup+230.011 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 194836 0 0 0 22551 451 0 0 25 0 1 0 893897524 76849152 17871 4294967295 134512640 134716908 3221224576 3221223000 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18762 17879 1111 63 0 18699 0
vsize: 75048
[startup+240.012 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 197686 0 0 0 23545 457 0 0 25 0 1 0 893897524 77148160 17971 4294967295 134512640 134716908 3221224576 3221222956 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18835 17971 1111 63 0 18772 0
vsize: 75340
[startup+250.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 200942 0 0 0 24539 463 0 0 25 0 1 0 893897524 79888384 18630 4294967295 134512640 134716908 3221224576 3221222988 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19504 18630 1111 63 0 19441 0
vsize: 78016
[startup+260.013 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 201262 0 0 0 25538 464 0 0 25 0 1 0 893897524 79908864 18647 4294967295 134512640 134716908 3221224576 3221223104 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19509 18647 1111 63 0 19446 0
vsize: 78036
[startup+270.013 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 203205 0 0 0 26534 469 0 0 25 0 1 0 893897524 80650240 18800 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19690 18800 1111 63 0 19627 0
vsize: 78760
[startup+280.013 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 208549 0 0 0 27522 481 0 0 25 0 1 0 893897524 82984960 19387 4294967295 134512640 134716908 3221224576 3221223200 134594959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20260 19387 1111 63 0 20197 0
vsize: 81040
[startup+290.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 209639 0 0 0 28520 483 0 0 25 0 1 0 893897524 83693568 19572 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20433 19572 1111 63 0 20370 0
vsize: 81732
[startup+300.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 213314 0 0 0 29511 492 0 0 25 0 1 0 893897524 84992000 19873 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20750 19873 1111 63 0 20687 0
vsize: 83000
[startup+310.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 217250 0 0 0 30503 500 0 0 25 0 1 0 893897524 84996096 19891 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20751 19891 1111 63 0 20688 0
vsize: 83004
[startup+320.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12228
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 219592 0 0 0 31498 506 0 0 25 0 1 0 893897524 87498752 20500 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21362 20500 1111 63 0 21299 0
vsize: 85448
[startup+330.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 223919 0 0 0 32488 516 0 0 25 0 1 0 893897524 88973312 20848 4294967295 134512640 134716908 3221224576 3221223200 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21722 20848 1111 63 0 21659 0
vsize: 86888
[startup+340.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 225102 0 0 0 33486 518 0 0 25 0 1 0 893897524 89849856 21077 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21936 21077 1111 63 0 21873 0
vsize: 87744
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 226034 0 0 0 34484 520 0 0 25 0 1 0 893897524 90812416 21301 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22171 21301 1111 63 0 22108 0
vsize: 88684
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 227425 0 0 0 35480 524 0 0 25 0 1 0 893897524 91774976 21525 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22406 21525 1111 63 0 22343 0
vsize: 89624
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 229129 0 0 0 36477 528 0 0 25 0 1 0 893897524 92655616 21746 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22621 21746 1111 63 0 22558 0
vsize: 90484
[startup+380.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 230315 0 0 0 37474 531 0 0 25 0 1 0 893897524 92717056 21778 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22636 21778 1111 63 0 22573 0
vsize: 90544
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 231474 0 0 0 38471 533 0 0 25 0 1 0 893897524 93974528 22085 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22943 22085 1111 63 0 22880 0
vsize: 91772
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 232511 0 0 0 39469 536 0 0 25 0 1 0 893897524 95109120 22332 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23220 22332 1111 63 0 23157 0
vsize: 92880
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 240824 0 0 0 40449 556 0 0 25 0 1 0 893897524 95735808 22516 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23373 22516 1111 63 0 23310 0
vsize: 93492
[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 242761 0 0 0 41444 562 0 0 25 0 1 0 893897524 96870400 22779 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23650 22779 1111 63 0 23587 0
vsize: 94600
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 244232 0 0 0 42440 565 0 0 25 0 1 0 893897524 96468992 22696 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23552 22696 1111 63 0 23489 0
vsize: 94208
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 246419 0 0 0 43436 570 0 0 25 0 1 0 893897524 98680832 23204 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24092 23204 1111 63 0 24029 0
vsize: 96368
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 250128 0 0 0 44428 578 0 0 25 0 1 0 893897524 99213312 23348 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24222 23348 1111 63 0 24159 0
vsize: 96888
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 252760 0 0 0 45422 584 0 0 25 0 1 0 893897524 100016128 23547 4294967295 134512640 134716908 3221224576 3221223020 134536834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24418 23547 1111 63 0 24355 0
vsize: 97672
[startup+470.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 253431 0 0 0 46421 585 0 0 25 0 1 0 893897524 100007936 23561 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24416 23561 1111 63 0 24353 0
vsize: 97664
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 254651 0 0 0 47419 588 0 0 25 0 1 0 893897524 100868096 23771 4294967295 134512640 134716908 3221224576 3221223056 134524111 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24626 23771 1111 63 0 24563 0
vsize: 98504
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 259309 0 0 0 48407 600 0 0 25 0 1 0 893897524 101568512 23942 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24797 23942 1111 63 0 24734 0
vsize: 99188
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 260438 0 0 0 49405 602 0 0 25 0 1 0 893897524 102891520 24241 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25120 24241 1111 63 0 25057 0
vsize: 100480
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 261237 0 0 0 50404 604 0 0 25 0 1 0 893897524 103600128 24431 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25293 24431 1111 63 0 25230 0
vsize: 101172
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 265017 0 0 0 51395 613 0 0 25 0 1 0 893897524 104194048 24565 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25438 24565 1111 63 0 25375 0
vsize: 101752
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 266944 0 0 0 52391 617 0 0 25 0 1 0 893897524 104497152 24658 4294967295 134512640 134716908 3221224576 3221222972 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25512 24658 1111 63 0 25449 0
vsize: 102048
[startup+540.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 267762 0 0 0 53390 618 0 0 25 0 1 0 893897524 105304064 24856 4294967295 134512640 134716908 3221224576 3221222960 134542362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25709 24856 1111 63 0 25646 0
vsize: 102836
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 268403 0 0 0 54388 620 0 0 25 0 1 0 893897524 106156032 25035 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25917 25035 1111 63 0 25854 0
vsize: 103668
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 277662 0 0 0 55367 642 0 0 25 0 1 0 893897524 107479040 25387 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26240 25387 1111 63 0 26177 0
vsize: 104960
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 278006 0 0 0 56366 643 0 0 25 0 1 0 893897524 108040192 25506 4294967295 134512640 134716908 3221224576 3221223104 134542845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26377 25506 1111 63 0 26314 0
vsize: 105508
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 278288 0 0 0 57365 644 0 0 25 0 1 0 893897524 108249088 25575 4294967295 134512640 134716908 3221224576 3221223040 134536695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26428 25575 1111 63 0 26365 0
vsize: 105712
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 279085 0 0 0 58363 646 0 0 25 0 1 0 893897524 108249088 25576 4294967295 134512640 134716908 3221224576 3221223056 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26428 25576 1111 63 0 26365 0
vsize: 105712
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 280539 0 0 0 59360 649 0 0 25 0 1 0 893897524 109772800 25929 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26800 25929 1111 63 0 26737 0
vsize: 107200
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 285499 0 0 0 60349 660 0 0 25 0 1 0 893897524 110481408 26105 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26973 26105 1111 63 0 26910 0
vsize: 107892
[startup+620.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 286231 0 0 0 61347 662 0 0 25 0 1 0 893897524 110104576 26029 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26881 26029 1111 63 0 26818 0
vsize: 107524
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 287538 0 0 0 62344 665 0 0 25 0 1 0 893897524 111468544 26343 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27214 26343 1111 63 0 27151 0
vsize: 108856
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 288607 0 0 0 63341 668 0 0 25 0 1 0 893897524 110788608 26196 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27048 26196 1111 63 0 26985 0
vsize: 108192
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 291350 0 0 0 64335 675 0 0 25 0 1 0 893897524 112574464 26631 4294967295 134512640 134716908 3221224576 3221223088 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27484 26631 1111 63 0 27421 0
vsize: 109936
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 294937 0 0 0 65327 683 0 0 25 0 1 0 893897524 111878144 26463 4294967295 134512640 134716908 3221224576 3221222960 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27314 26463 1111 63 0 27251 0
vsize: 109256
[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 295910 0 0 0 66326 685 0 0 25 0 1 0 893897524 113565696 26867 4294967295 134512640 134716908 3221224576 3221223056 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27726 26867 1111 63 0 27663 0
vsize: 110904
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 297034 0 0 0 67323 687 0 0 25 0 1 0 893897524 112939008 26705 4294967295 134512640 134716908 3221224576 3221223056 134524111 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27573 26705 1111 63 0 27510 0
vsize: 110292
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 299441 0 0 0 68318 693 0 0 25 0 1 0 893897524 114679808 27142 4294967295 134512640 134716908 3221224576 3221223040 134539460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27998 27142 1111 63 0 27935 0
vsize: 111992
[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 301154 0 0 0 69315 696 0 0 25 0 1 0 893897524 114114560 27009 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27860 27009 1111 63 0 27797 0
vsize: 111440
[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 304946 0 0 0 70307 704 0 0 25 0 1 0 893897524 115679232 27374 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28242 27374 1111 63 0 28179 0
vsize: 112968
[startup+720.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 307736 0 0 0 71300 712 0 0 25 0 1 0 893897524 116170752 27482 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28362 27482 1111 63 0 28299 0
vsize: 113448
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 308345 0 0 0 72299 713 0 0 25 0 1 0 893897524 115748864 27409 4294967295 134512640 134716908 3221224576 3221223008 134523202 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28259 27409 1111 63 0 28196 0
vsize: 113036
[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 310528 0 0 0 73293 718 0 0 25 0 1 0 893897524 117153792 27742 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28602 27742 1111 63 0 28539 0
vsize: 114408
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 310842 0 0 0 74293 719 0 0 25 0 1 0 893897524 117579776 27846 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28706 27846 1111 63 0 28643 0
vsize: 114824
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 311563 0 0 0 75292 721 0 0 25 0 1 0 893897524 117014528 27719 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28568 27719 1111 63 0 28505 0
vsize: 114272
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 314964 0 0 0 76283 729 0 0 25 0 1 0 893897524 117231616 27772 4294967295 134512640 134716908 3221224576 3221223008 134543724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28621 27772 1111 63 0 28558 0
vsize: 114484
[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 317255 0 0 0 77278 734 0 0 25 0 1 0 893897524 118849536 28151 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29016 28151 1111 63 0 28953 0
vsize: 116064
[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 317629 0 0 0 78278 735 0 0 25 0 1 0 893897524 119275520 28253 4294967295 134512640 134716908 3221224576 3221223104 134542851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29120 28253 1111 63 0 29057 0
vsize: 116480
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 319662 0 0 0 79273 740 0 0 25 0 1 0 893897524 119701504 28360 4294967295 134512640 134716908 3221224576 3221223084 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29224 28360 1111 63 0 29161 0
vsize: 116896
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 322285 0 0 0 80267 746 0 0 25 0 1 0 893897524 118870016 28173 4294967295 134512640 134716908 3221224576 3221222932 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29021 28173 1111 63 0 28958 0
vsize: 116084
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 323083 0 0 0 81265 748 0 0 25 0 1 0 893897524 120061952 28464 4294967295 134512640 134716908 3221224576 3221223092 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29312 28464 1111 63 0 29249 0
vsize: 117248
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 323776 0 0 0 82264 750 0 0 25 0 1 0 893897524 120770560 28621 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29485 28621 1111 63 0 29422 0
vsize: 117940
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 326773 0 0 0 83258 756 0 0 25 0 1 0 893897524 121225216 28732 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29596 28732 1111 63 0 29533 0
vsize: 118384
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 333449 0 0 0 84242 773 0 0 25 0 1 0 893897524 122241024 28975 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29844 28975 1111 63 0 29781 0
vsize: 119376
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 333780 0 0 0 85241 773 0 0 25 0 1 0 893897524 122671104 29070 4294967295 134512640 134716908 3221224576 3221223152 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29949 29070 1111 63 0 29886 0
vsize: 119796
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 334480 0 0 0 86240 775 0 0 25 0 1 0 893897524 122953728 29163 4294967295 134512640 134716908 3221224576 3221223192 134543834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30018 29163 1111 63 0 29955 0
vsize: 120072
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 335548 0 0 0 87237 777 0 0 25 0 1 0 893897524 123375616 29255 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30121 29255 1111 63 0 30058 0
vsize: 120484
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 336551 0 0 0 88235 780 0 0 25 0 1 0 893897524 123670528 29346 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30193 29346 1111 63 0 30130 0
vsize: 120772
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 337494 0 0 0 89233 782 0 0 25 0 1 0 893897524 124076032 29436 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30292 29436 1111 63 0 30229 0
vsize: 121168
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 337674 0 0 0 90233 783 0 0 25 0 1 0 893897524 124157952 29465 4294967295 134512640 134716908 3221224576 3221223008 134543698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30312 29465 1111 63 0 30249 0
vsize: 121248
[startup+920.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 338049 0 0 0 91232 784 0 0 25 0 1 0 893897524 124428288 29531 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30378 29531 1111 63 0 30315 0
vsize: 121512
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 338641 0 0 0 92230 785 0 0 25 0 1 0 893897524 124428288 29532 4294967295 134512640 134716908 3221224576 3221222956 134539265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30378 29532 1111 63 0 30315 0
vsize: 121512
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 339573 0 0 0 93228 788 0 0 25 0 1 0 893897524 124428288 29532 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30378 29532 1111 63 0 30315 0
vsize: 121512
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 340785 0 0 0 94225 791 0 0 25 0 1 0 893897524 124780544 29588 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30464 29588 1111 63 0 30401 0
vsize: 121856
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 342021 0 0 0 95224 793 0 0 25 0 1 0 893897524 126251008 29958 4294967295 134512640 134716908 3221224576 3221223200 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30823 29958 1111 63 0 30760 0
vsize: 123292
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 343260 0 0 0 96221 795 0 0 25 0 1 0 893897524 126590976 30042 4294967295 134512640 134716908 3221224576 3221223152 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30906 30042 1111 63 0 30843 0
vsize: 123624
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 345367 0 0 0 97216 801 0 0 25 0 1 0 893897524 126906368 30128 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30983 30128 1111 63 0 30920 0
vsize: 123932
[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 345554 0 0 0 98216 801 0 0 25 0 1 0 893897524 127217664 30209 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31059 30209 1111 63 0 30996 0
vsize: 124236
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 346044 0 0 0 99215 802 0 0 25 0 1 0 893897524 127643648 30289 4294967295 134512640 134716908 3221224576 3221223136 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31163 30289 1111 63 0 31100 0
vsize: 124652
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 346854 0 0 0 100213 804 0 0 25 0 1 0 893897524 127930368 30369 4294967295 134512640 134716908 3221224576 3221223184 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31233 30369 1111 63 0 31170 0
vsize: 124932
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 347968 0 0 0 101211 807 0 0 25 0 1 0 893897524 128249856 30447 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31311 30447 1111 63 0 31248 0
vsize: 125244
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 348910 0 0 0 102209 808 0 0 25 0 1 0 893897524 127295488 30233 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31078 30233 1111 63 0 31015 0
vsize: 124312
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 350268 0 0 0 103207 811 0 0 25 0 1 0 893897524 128598016 30551 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31396 30551 1111 63 0 31333 0
vsize: 125584
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 351394 0 0 0 104204 814 0 0 25 0 1 0 893897524 128696320 30575 4294967295 134512640 134716908 3221224576 3221222964 134542296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31420 30575 1111 63 0 31357 0
vsize: 125680
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 352522 0 0 0 105202 817 0 0 25 0 1 0 893897524 130400256 30939 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31836 30939 1111 63 0 31773 0
vsize: 127344
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 353085 0 0 0 106200 818 0 0 25 0 1 0 893897524 130744320 31013 4294967295 134512640 134716908 3221224576 3221223116 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31920 31013 1111 63 0 31857 0
vsize: 127680
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 353318 0 0 0 107200 819 0 0 25 0 1 0 893897524 131026944 31085 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31989 31085 1111 63 0 31926 0
vsize: 127956
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 353665 0 0 0 108200 819 0 0 25 0 1 0 893897524 130600960 30991 4294967295 134512640 134716908 3221224576 3221223056 134524111 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31885 30991 1111 63 0 31822 0
vsize: 127540
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 354380 0 0 0 109198 820 0 0 25 0 1 0 893897524 130600960 30991 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31885 30991 1111 63 0 31822 0
vsize: 127540
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 354649 0 0 0 110198 821 0 0 25 0 1 0 893897524 131813376 31257 4294967295 134512640 134716908 3221224576 3221223188 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32181 31257 1111 63 0 32118 0
vsize: 128724
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 354864 0 0 0 111198 822 0 0 25 0 1 0 893897524 132096000 31324 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32250 31324 1111 63 0 32187 0
vsize: 129000
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 355195 0 0 0 112197 822 0 0 25 0 1 0 893897524 132014080 31336 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32230 31336 1111 63 0 32167 0
vsize: 128920
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 355541 0 0 0 113197 823 0 0 25 0 1 0 893897524 132014080 31336 4294967295 134512640 134716908 3221224576 3221222940 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32230 31336 1111 63 0 32167 0
vsize: 128920
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 356144 0 0 0 114195 825 0 0 25 0 1 0 893897524 132866048 31518 4294967295 134512640 134716908 3221224576 3221223040 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32438 31518 1111 63 0 32375 0
vsize: 129752
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 357002 0 0 0 115193 827 0 0 25 0 1 0 893897524 133148672 31582 4294967295 134512640 134716908 3221224576 3221223040 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32507 31582 1111 63 0 32444 0
vsize: 130028
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 357805 0 0 0 116191 830 0 0 25 0 1 0 893897524 132014080 31337 4294967295 134512640 134716908 3221224576 3221222960 134539213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32230 31337 1111 63 0 32167 0
vsize: 128920
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 359009 0 0 0 117188 832 0 0 25 0 1 0 893897524 133492736 31676 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32591 31676 1111 63 0 32528 0
vsize: 130364
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 362537 0 0 0 118180 840 0 0 25 0 1 0 893897524 133746688 31739 4294967295 134512640 134716908 3221224576 3221223200 134529222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32653 31739 1111 63 0 32590 0
vsize: 130612
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) R 12225 20224 20223 0 -1 0 363460 0 0 0 119178 843 0 0 25 0 1 0 893897524 132747264 31516 4294967295 134512640 134716908 3221224576 3221222944 134542998 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32409 31516 1111 63 0 32346 0
vsize: 129636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 12230
Raw data (stat): 12226 (bsolo_lpr-v2) Z 12225 20224 20223 0 -1 1036 363460 0 0 0 119178 849 0 0 25 0 1 0 893897524 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.11
CPU time (s): 1200.28
CPU user time (s): 1191.79
CPU system time (s): 8.49071
CPU usage (%): 100.014
Max. virtual memory (Kb): 130612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####