PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb
MD5SUM	3525728b1c2480586834886de2d50400
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	63309
Biggest coefficient in the objective function	53687091200000000000
Number of bits for the biggest coefficient in the objective function	66
Sum of the numbers in the objective function	215947469635884908544
Number of bits of the sum of numbers in the objective function	68
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	215947469635884908544
Number of bits of the biggest sum of numbers	68
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	290.253
Number of variables	63009
Total number of constraints	63518
Number of constraints which are clauses	507
Number of constraints which are cardinality constraints (but not clauses)	63011
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	59416
Trace number 27929

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-24 23:42:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15172 boxname=wulflinc12 idbench=1168 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  3525728b1c2480586834886de2d50400  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-rail507.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-rail507.opb
IDLAUNCH: 15172
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        635976 kB
Buffers:         37236 kB
Cached:         339868 kB
SwapCached:        568 kB
Active:         110024 kB
Inactive:       269600 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        635724 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            13364 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:02:55 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 15172 7 1200.47 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.94 0.90 2/54 5624
Raw data (stat): 5624 (runsolver) R 5623 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776058472 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 1790 0 0 0 992 5 0 0 25 0 1 0 776058472 18817024 1714 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4594 1714 1111 63 0 4531 0
vsize: 18376
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 2725 0 0 0 1991 7 0 0 25 0 1 0 776058472 22695936 2649 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5541 2649 1111 63 0 5478 0
vsize: 22164
[startup+30.0008 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 3660 0 0 0 2990 8 0 0 25 0 1 0 776058472 26427392 3584 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6452 3584 1111 63 0 6389 0
vsize: 25808
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 4595 0 0 0 3988 10 0 0 25 0 1 0 776058472 30310400 4519 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7400 4519 1111 63 0 7337 0
vsize: 29600
[startup+50.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 5531 0 0 0 4987 11 0 0 25 0 1 0 776058472 34193408 5455 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8348 5455 1111 63 0 8285 0
vsize: 33392
[startup+60.0017 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 6473 0 0 0 5985 14 0 0 25 0 1 0 776058472 38076416 6397 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9296 6397 1111 63 0 9233 0
vsize: 37184
[startup+70.0022 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 7424 0 0 0 6983 15 0 0 25 0 1 0 776058472 41947136 7348 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10241 7348 1111 63 0 10178 0
vsize: 40964
[startup+80.0025 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 8365 0 0 0 7982 17 0 0 25 0 1 0 776058472 45826048 8289 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11188 8289 1111 63 0 11125 0
vsize: 44752
[startup+90.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 9319 0 0 0 8980 19 0 0 25 0 1 0 776058472 49709056 9243 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12136 9243 1111 63 0 12073 0
vsize: 48544
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 10267 0 0 0 9979 20 0 0 25 0 1 0 776058472 53592064 10191 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13084 10191 1111 63 0 13021 0
vsize: 52336
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 11221 0 0 0 10978 21 0 0 25 0 1 0 776058472 57475072 11145 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14032 11145 1111 63 0 13969 0
vsize: 56128
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 12175 0 0 0 11977 23 0 0 25 0 1 0 776058472 61358080 12099 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14980 12099 1111 63 0 14917 0
vsize: 59920
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 13140 0 0 0 12975 24 0 0 25 0 1 0 776058472 65363968 13064 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15958 13064 1111 63 0 15895 0
vsize: 63832
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 14099 0 0 0 13974 26 0 0 25 0 1 0 776058472 69238784 14023 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 14023 1111 63 0 16841 0
vsize: 67616
[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 15059 0 0 0 14973 28 0 0 25 0 1 0 776058472 73121792 14983 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17852 14983 1111 63 0 17789 0
vsize: 71408
[startup+160.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 16025 0 0 0 15972 29 0 0 25 0 1 0 776058472 77152256 15949 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18836 15949 1111 63 0 18773 0
vsize: 75344
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 16992 0 0 0 16971 30 0 0 25 0 1 0 776058472 81035264 16916 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19784 16916 1111 63 0 19721 0
vsize: 79136
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 17958 0 0 0 17969 32 0 0 25 0 1 0 776058472 85065728 17882 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20768 17882 1111 63 0 20705 0
vsize: 83072
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 18930 0 0 0 18968 33 0 0 25 0 1 0 776058472 89100288 18854 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21753 18854 1111 63 0 21690 0
vsize: 87012
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 19902 0 0 0 19966 35 0 0 25 0 1 0 776058472 92983296 19826 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22701 19826 1111 63 0 22638 0
vsize: 90804
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 20880 0 0 0 20965 37 0 0 25 0 1 0 776058472 97013760 20804 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23685 20804 1111 63 0 23622 0
vsize: 94740
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 21858 0 0 0 21964 38 0 0 25 0 1 0 776058472 101044224 21782 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24669 21782 1111 63 0 24606 0
vsize: 98676
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 22842 0 0 0 22962 40 0 0 25 0 1 0 776058472 105074688 22766 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25653 22766 1111 63 0 25590 0
vsize: 102612
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 23821 0 0 0 23960 42 0 0 25 0 1 0 776058472 109109248 23745 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26638 23745 1111 63 0 26575 0
vsize: 106552
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 24811 0 0 0 24959 43 0 0 25 0 1 0 776058472 113139712 24735 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27622 24735 1111 63 0 27559 0
vsize: 110488
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 25808 0 0 0 25957 45 0 0 25 0 1 0 776058472 117293056 25732 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28636 25732 1111 63 0 28573 0
vsize: 114544
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 26798 0 0 0 26956 47 0 0 25 0 1 0 776058472 121323520 26722 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29620 26722 1111 63 0 29557 0
vsize: 118480
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 27789 0 0 0 27955 48 0 0 25 0 1 0 776058472 125358080 27713 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30605 27713 1111 63 0 30542 0
vsize: 122420
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 28786 0 0 0 28953 50 0 0 25 0 1 0 776058472 129388544 28710 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31589 28710 1111 63 0 31526 0
vsize: 126356
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 29789 0 0 0 29952 52 0 0 25 0 1 0 776058472 133566464 29713 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32609 29713 1111 63 0 32546 0
vsize: 130436
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 30791 0 0 0 30950 54 0 0 25 0 1 0 776058472 137601024 30715 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33594 30715 1111 63 0 33531 0
vsize: 134376
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 31794 0 0 0 31948 56 0 0 25 0 1 0 776058472 141778944 31718 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34614 31718 1111 63 0 34551 0
vsize: 138456
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 32795 0 0 0 32946 57 0 0 25 0 1 0 776058472 145805312 32719 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35597 32719 1111 63 0 35534 0
vsize: 142388
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 33810 0 0 0 33945 60 0 0 25 0 1 0 776058472 149987328 33734 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36618 33734 1111 63 0 36555 0
vsize: 146472
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 34820 0 0 0 34943 62 0 0 25 0 1 0 776058472 154165248 34744 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37638 34744 1111 63 0 37575 0
vsize: 150552
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 35834 0 0 0 35942 63 0 0 25 0 1 0 776058472 158347264 35758 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38659 35758 1111 63 0 38596 0
vsize: 154636
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 36855 0 0 0 36940 65 0 0 25 0 1 0 776058472 162529280 36779 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39680 36779 1111 63 0 39617 0
vsize: 158720
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 37876 0 0 0 37938 67 0 0 25 0 1 0 776058472 166707200 37800 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40700 37800 1111 63 0 40637 0
vsize: 162800
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 38897 0 0 0 38936 69 0 0 25 0 1 0 776058472 170889216 38821 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41721 38821 1111 63 0 41658 0
vsize: 166884
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 39924 0 0 0 39935 70 0 0 25 0 1 0 776058472 175071232 39848 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42742 39848 1111 63 0 42679 0
vsize: 170968
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 40958 0 0 0 40933 72 0 0 25 0 1 0 776058472 179249152 40882 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43762 40882 1111 63 0 43699 0
vsize: 175048
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 41984 0 0 0 41932 74 0 0 25 0 1 0 776058472 183431168 41908 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44783 41908 1111 63 0 44720 0
vsize: 179132
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 43023 0 0 0 42930 76 0 0 25 0 1 0 776058472 187760640 42947 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45840 42947 1111 63 0 45777 0
vsize: 183360
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 44062 0 0 0 43928 78 0 0 25 0 1 0 776058472 191942656 43986 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46861 43986 1111 63 0 46798 0
vsize: 187444
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 45101 0 0 0 44926 80 0 0 25 0 1 0 776058472 196272128 45025 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47918 45025 1111 63 0 47855 0
vsize: 191672
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 46146 0 0 0 45924 82 0 0 25 0 1 0 776058472 200450048 46070 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48938 46070 1111 63 0 48875 0
vsize: 195752
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 47191 0 0 0 46923 83 0 0 25 0 1 0 776058472 204783616 47115 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49996 47115 1111 63 0 49933 0
vsize: 199984
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 48242 0 0 0 47922 85 0 0 25 0 1 0 776058472 209113088 48166 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51053 48166 1111 63 0 50990 0
vsize: 204212
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 49293 0 0 0 48920 87 0 0 25 0 1 0 776058472 213442560 49217 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52110 49217 1111 63 0 52047 0
vsize: 208440
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 50360 0 0 0 49919 88 0 0 25 0 1 0 776058472 217767936 50284 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53166 50284 1111 63 0 53103 0
vsize: 212664
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 51418 0 0 0 50917 90 0 0 25 0 1 0 776058472 222097408 51342 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54223 51342 1111 63 0 54160 0
vsize: 216892
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 52481 0 0 0 51915 92 0 0 25 0 1 0 776058472 226574336 52405 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55316 52405 1111 63 0 55253 0
vsize: 221264
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 53545 0 0 0 52913 94 0 0 25 0 1 0 776058472 230903808 53469 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56373 53469 1111 63 0 56310 0
vsize: 225492
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 54615 0 0 0 53912 96 0 0 25 0 1 0 776058472 235237376 54539 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57431 54539 1111 63 0 57368 0
vsize: 229724
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 55691 0 0 0 54911 97 0 0 25 0 1 0 776058472 239718400 55615 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58525 55615 1111 63 0 58462 0
vsize: 234100
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 56767 0 0 0 55910 99 0 0 25 0 1 0 776058472 244051968 56691 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59583 56691 1111 63 0 59520 0
vsize: 238332
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 57843 0 0 0 56907 101 0 0 25 0 1 0 776058472 248528896 57767 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60676 57767 1111 63 0 60613 0
vsize: 242704
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 58924 0 0 0 57905 103 0 0 25 0 1 0 776058472 252858368 58848 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61733 58848 1111 63 0 61670 0
vsize: 246932
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 60012 0 0 0 58903 105 0 0 25 0 1 0 776058472 257335296 59936 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62826 59936 1111 63 0 62763 0
vsize: 251304
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 61099 0 0 0 59902 107 0 0 25 0 1 0 776058472 261816320 61023 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63920 61023 1111 63 0 63857 0
vsize: 255680
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 62200 0 0 0 60899 110 0 0 25 0 1 0 776058472 266293248 62124 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65013 62124 1111 63 0 64950 0
vsize: 260052
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 63300 0 0 0 61898 111 0 0 25 0 1 0 776058472 270774272 63224 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66107 63224 1111 63 0 66044 0
vsize: 264428
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 64400 0 0 0 62897 113 0 0 25 0 1 0 776058472 275251200 64324 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67200 64324 1111 63 0 67137 0
vsize: 268800
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 65505 0 0 0 63895 115 0 0 25 0 1 0 776058472 279879680 65429 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68330 65429 1111 63 0 68267 0
vsize: 273320
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 66617 0 0 0 64894 116 0 0 25 0 1 0 776058472 284360704 66541 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69424 66541 1111 63 0 69361 0
vsize: 277696
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 67729 0 0 0 65892 118 0 0 25 0 1 0 776058472 288985088 67653 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70553 67653 1111 63 0 70490 0
vsize: 282212
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 68847 0 0 0 66891 119 0 0 25 0 1 0 776058472 293466112 68771 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71647 68771 1111 63 0 71584 0
vsize: 286588
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 69972 0 0 0 67889 122 0 0 25 0 1 0 776058472 298094592 69896 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72777 69896 1111 63 0 72714 0
vsize: 291108
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 71096 0 0 0 68886 124 0 0 25 0 1 0 776058472 302723072 71020 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73907 71020 1111 63 0 73844 0
vsize: 295628
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 72226 0 0 0 69884 127 0 0 25 0 1 0 776058472 307347456 72150 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75036 72150 1111 63 0 74973 0
vsize: 300144
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 73363 0 0 0 70882 129 0 0 25 0 1 0 776058472 311984128 73287 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76168 73287 1111 63 0 76105 0
vsize: 304672
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 74500 0 0 0 71880 131 0 0 25 0 1 0 776058472 316612608 74424 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77298 74424 1111 63 0 77235 0
vsize: 309192
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 75643 0 0 0 72879 132 0 0 25 0 1 0 776058472 321388544 75567 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78464 75567 1111 63 0 78401 0
vsize: 313856
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 76785 0 0 0 73877 135 0 0 25 0 1 0 776058472 326017024 76709 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79594 76709 1111 63 0 79531 0
vsize: 318376
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 77933 0 0 0 74875 137 0 0 25 0 1 0 776058472 330792960 77857 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80760 77857 1111 63 0 80697 0
vsize: 323040
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 79087 0 0 0 75873 139 0 0 25 0 1 0 776058472 335421440 79011 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81890 79011 1111 63 0 81827 0
vsize: 327560
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 80248 0 0 0 76871 141 0 0 25 0 1 0 776058472 340197376 80172 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83056 80172 1111 63 0 82993 0
vsize: 332224
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 81409 0 0 0 77869 143 0 0 25 0 1 0 776058472 344973312 81333 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84222 81333 1111 63 0 84159 0
vsize: 336888
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 82576 0 0 0 78867 146 0 0 25 0 1 0 776058472 349753344 82500 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85389 82500 1111 63 0 85326 0
vsize: 341556
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 83750 0 0 0 79865 147 0 0 25 0 1 0 776058472 354533376 83674 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86556 83674 1111 63 0 86493 0
vsize: 346224
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 84922 0 0 0 80864 149 0 0 25 0 1 0 776058472 359313408 84846 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87723 84846 1111 63 0 87660 0
vsize: 350892
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 86101 0 0 0 81862 151 0 0 25 0 1 0 776058472 364236800 86025 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88925 86025 1111 63 0 88862 0
vsize: 355700
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 87286 0 0 0 82860 153 0 0 25 0 1 0 776058472 369016832 87210 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90092 87210 1111 63 0 90029 0
vsize: 360368
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 88477 0 0 0 83858 155 0 0 25 0 1 0 776058472 373940224 88401 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91294 88401 1111 63 0 91231 0
vsize: 365176
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 89668 0 0 0 84857 157 0 0 25 0 1 0 776058472 378716160 89592 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92460 89592 1111 63 0 92397 0
vsize: 369840
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 90864 0 0 0 85855 159 0 0 25 0 1 0 776058472 383643648 90788 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93663 90788 1111 63 0 93600 0
vsize: 374652
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 92069 0 0 0 86853 161 0 0 25 0 1 0 776058472 388575232 91993 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94867 91993 1111 63 0 94804 0
vsize: 379468
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 93277 0 0 0 87851 163 0 0 25 0 1 0 776058472 393502720 93201 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96070 93201 1111 63 0 96007 0
vsize: 384280
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 94486 0 0 0 88848 166 0 0 25 0 1 0 776058472 398577664 94410 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97309 94410 1111 63 0 97246 0
vsize: 389236
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 95707 0 0 0 89847 168 0 0 25 0 1 0 776058472 403505152 95631 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98512 95631 1111 63 0 98449 0
vsize: 394048
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 96928 0 0 0 90845 170 0 0 25 0 1 0 776058472 408580096 96852 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99751 96852 1111 63 0 99688 0
vsize: 399004
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 98176 0 0 0 91844 171 0 0 25 0 1 0 776058472 413736960 98100 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101010 98100 1111 63 0 100947 0
vsize: 404040
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 99407 0 0 0 92842 174 0 0 25 0 1 0 776058472 418803712 99331 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102247 99331 1111 63 0 102184 0
vsize: 408988
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 100640 0 0 0 93840 176 0 0 25 0 1 0 776058472 423878656 100564 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103486 100564 1111 63 0 103423 0
vsize: 413944
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 101886 0 0 0 94838 179 0 0 25 0 1 0 776058472 428953600 101810 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104725 101810 1111 63 0 104662 0
vsize: 418900
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 103131 0 0 0 95835 181 0 0 25 0 1 0 776058472 434028544 103055 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105964 103055 1111 63 0 105901 0
vsize: 423856
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 104383 0 0 0 96833 184 0 0 25 0 1 0 776058472 439103488 104307 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107203 104307 1111 63 0 107140 0
vsize: 428812
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 105642 0 0 0 97832 185 0 0 25 0 1 0 776058472 444334080 105566 4294967295 134512640 134714508 3221224592 3221221308 1077197770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108480 105566 1111 63 0 108417 0
vsize: 433920
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 106905 0 0 0 98829 188 0 0 25 0 1 0 776058472 449556480 106829 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109755 106829 1111 63 0 109692 0
vsize: 439020
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 108176 0 0 0 99827 190 0 0 25 0 1 0 776058472 454631424 108100 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110994 108100 1111 63 0 110931 0
vsize: 443976
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 109451 0 0 0 100824 193 0 0 25 0 1 0 776058472 459857920 109375 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112270 109375 1111 63 0 112207 0
vsize: 449080
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 110735 0 0 0 101823 194 0 0 25 0 1 0 776058472 465235968 110659 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113583 110659 1111 63 0 113520 0
vsize: 454332
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5624
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 112023 0 0 0 102821 197 0 0 25 0 1 0 776058472 470462464 111947 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114859 111947 1111 63 0 114796 0
vsize: 459436
[startup+1040.04 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 5677
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 113323 0 0 0 103819 199 0 0 25 0 1 0 776058472 475836416 113247 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116171 113247 1111 63 0 116108 0
vsize: 464684
[startup+1050.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 5677
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 114623 0 0 0 104817 200 0 0 25 0 1 0 776058472 481058816 114547 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117446 114547 1111 63 0 117383 0
vsize: 469784
[startup+1060.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5677
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 115931 0 0 0 105815 203 0 0 25 0 1 0 776058472 486436864 115855 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118759 115855 1111 63 0 118696 0
vsize: 475036
[startup+1070.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5677
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 117243 0 0 0 106813 205 0 0 25 0 1 0 776058472 491810816 117167 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120071 117167 1111 63 0 120008 0
vsize: 480284
[startup+1080.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5677
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 118555 0 0 0 107811 208 0 0 25 0 1 0 776058472 497184768 118479 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121383 118479 1111 63 0 121320 0
vsize: 485532
[startup+1090.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5677
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 119879 0 0 0 108808 211 0 0 25 0 1 0 776058472 502558720 119803 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122695 119803 1111 63 0 122632 0
vsize: 490780
[startup+1100.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5677
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 121212 0 0 0 109805 213 0 0 25 0 1 0 776058472 508088320 121136 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124045 121136 1111 63 0 123982 0
vsize: 496180
[startup+1110.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5679
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 122549 0 0 0 110803 216 0 0 25 0 1 0 776058472 513609728 122473 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125393 122473 1111 63 0 125330 0
vsize: 501572
[startup+1120.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5679
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 123897 0 0 0 111802 218 0 0 25 0 1 0 776058472 519131136 123821 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126741 123821 1111 63 0 126678 0
vsize: 506964
[startup+1130.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5679
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 125247 0 0 0 112799 220 0 0 25 0 1 0 776058472 524660736 125171 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128091 125171 1111 63 0 128028 0
vsize: 512364
[startup+1140.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5679
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 126607 0 0 0 113797 222 0 0 25 0 1 0 776058472 530182144 126531 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129439 126531 1111 63 0 129376 0
vsize: 517756
[startup+1150.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5679
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 127969 0 0 0 114795 225 0 0 25 0 1 0 776058472 535703552 127893 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130787 127893 1111 63 0 130724 0
vsize: 523148
[startup+1160.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5679
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 129344 0 0 0 115792 228 0 0 25 0 1 0 776058472 541380608 129268 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132173 129268 1111 63 0 132110 0
vsize: 528692
[startup+1170.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5679
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 130722 0 0 0 116791 230 0 0 25 0 1 0 776058472 547053568 130646 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133558 130646 1111 63 0 133495 0
vsize: 534232
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5679
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 132107 0 0 0 117788 233 0 0 25 0 1 0 776058472 552726528 132031 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134943 132031 1111 63 0 134880 0
vsize: 539772
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5679
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 133500 0 0 0 118786 235 0 0 25 0 1 0 776058472 558403584 133424 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136329 133424 1111 63 0 136266 0
vsize: 545316
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5679
Raw data (stat): 5624 (bsolo_lpr) R 5623 32284 32283 0 -1 0 134898 0 0 0 119784 237 0 0 25 0 1 0 776058472 564076544 134822 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137714 134822 1111 63 0 137651 0
vsize: 550856
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 5679
Raw data (stat): 5624 (bsolo_lpr) Z 5623 32284 32283 0 -1 1036 134898 0 0 0 119784 262 0 0 25 0 1 0 776058472 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.3
CPU time (s): 1200.47
CPU user time (s): 1197.85
CPU system time (s): 2.6246
CPU usage (%): 100.014
Max. virtual memory (Kb): 550856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####