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-038.opb
MD5SUM	47daf5749c77d7eb7d5d94fe2374f355
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1448
Optimality of the best value was proved	NO
Number of terms in the objective function	3002
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	3002
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	3002
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.05184
Number of variables	3002
Total number of constraints	5076
Number of constraints which are clauses	5076
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	6
Trace number 39619

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 14:51:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27669 boxname=wulflinc2 idbench=227 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  47daf5749c77d7eb7d5d94fe2374f355  /oldhome/oroussel/tmp/wulflinc2/normalized-ssa7552-038.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ssa7552-038.opb
IDLAUNCH: 27669
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        261000 kB
Buffers:         34624 kB
Cached:         715068 kB
SwapCached:       1164 kB
Active:          62940 kB
Inactive:       689192 kB
HighTotal:      131008 kB
HighFree:         8036 kB
LowTotal:       903652 kB
LowFree:        252964 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15948 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:11:04 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 27669 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3002 variables and 5076 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): 0.82 0.93 0.90 2/54 25990
Raw data (stat): 25990 (runsolver) R 25989 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893853511 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.0006 s]
Raw data (loadavg): 0.85 0.93 0.90 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 11838 0 0 0 967 30 0 0 25 0 1 0 893853511 29683712 6401 4294967295 134512640 134716908 3221224576 3221223008 134523368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7247 6401 1111 63 0 7184 0
vsize: 28988
[startup+20.0002 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 20998 0 0 0 1946 51 0 0 25 0 1 0 893853511 39632896 8830 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9676 8830 1111 63 0 9613 0
vsize: 38704
[startup+30.0009 s]
Raw data (loadavg): 0.97 0.95 0.90 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 24539 0 0 0 2937 61 0 0 25 0 1 0 893853511 43581440 9777 4294967295 134512640 134716908 3221224576 3221223152 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10640 9777 1111 63 0 10577 0
vsize: 42560
[startup+40.0006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 27469 0 0 0 3931 67 0 0 25 0 1 0 893853511 48287744 10943 4294967295 134512640 134716908 3221224576 3221223056 134524108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11789 10943 1111 63 0 11726 0
vsize: 47156
[startup+50.0013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 29296 0 0 0 4927 70 0 0 25 0 1 0 893853511 52101120 11874 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12720 11874 1111 63 0 12657 0
vsize: 50880
[startup+60.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 30697 0 0 0 5923 75 0 0 25 0 1 0 893853511 55529472 12702 4294967295 134512640 134716908 3221224576 3221223152 134523971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13557 12702 1111 63 0 13494 0
vsize: 54228
[startup+70.0008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 32190 0 0 0 6920 77 0 0 25 0 1 0 893853511 58347520 13399 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14245 13399 1111 63 0 14182 0
vsize: 56980
[startup+80.0018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 33206 0 0 0 7919 79 0 0 25 0 1 0 893853511 60825600 14004 4294967295 134512640 134716908 3221224576 3221222908 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14850 14004 1111 63 0 14787 0
vsize: 59400
[startup+90.0011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 34276 0 0 0 8917 82 0 0 25 0 1 0 893853511 63926272 14746 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15607 14746 1111 63 0 15544 0
vsize: 62428
[startup+100.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 35142 0 0 0 9915 83 0 0 25 0 1 0 893853511 66015232 15254 4294967295 134512640 134716908 3221224576 3221223008 134523365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16117 15254 1111 63 0 16054 0
vsize: 64468
[startup+110.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 38664 0 0 0 10907 92 0 0 25 0 1 0 893853511 69939200 16229 4294967295 134512640 134716908 3221224576 3221223152 134523936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17075 16229 1111 63 0 17012 0
vsize: 68300
[startup+120.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 38664 0 0 0 11907 92 0 0 25 0 1 0 893853511 69939200 16229 4294967295 134512640 134716908 3221224576 3221223088 134542977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17075 16229 1111 63 0 17012 0
vsize: 68300
[startup+130.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 39088 0 0 0 12906 93 0 0 25 0 1 0 893853511 70631424 16398 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16398 1111 63 0 17181 0
vsize: 68976
[startup+140.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 40004 0 0 0 13905 94 0 0 25 0 1 0 893853511 72802304 16871 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17774 16871 1111 63 0 17711 0
vsize: 71096
[startup+150.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 40811 0 0 0 14903 96 0 0 25 0 1 0 893853511 74407936 17296 4294967295 134512640 134716908 3221224576 3221222908 134535942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18166 17296 1111 63 0 18103 0
vsize: 72664
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 41668 0 0 0 15901 99 0 0 25 0 1 0 893853511 76210176 17717 4294967295 134512640 134716908 3221224576 3221222944 134542995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18606 17717 1111 63 0 18543 0
vsize: 74424
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 42335 0 0 0 16899 100 0 0 25 0 1 0 893853511 77971456 18146 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19036 18146 1111 63 0 18973 0
vsize: 76144
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 42870 0 0 0 17898 101 0 0 25 0 1 0 893853511 79216640 18472 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19340 18472 1111 63 0 19277 0
vsize: 77360
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 43632 0 0 0 18897 103 0 0 25 0 1 0 893853511 80670720 18828 4294967295 134512640 134716908 3221224576 3221223040 134523872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19695 18828 1111 63 0 19632 0
vsize: 78780
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 44242 0 0 0 19896 104 0 0 25 0 1 0 893853511 82096128 19176 4294967295 134512640 134716908 3221224576 3221222960 134542356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20043 19176 1111 63 0 19980 0
vsize: 80172
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 44850 0 0 0 20895 105 0 0 25 0 1 0 893853511 83652608 19551 4294967295 134512640 134716908 3221224576 3221223136 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20423 19551 1111 63 0 20360 0
vsize: 81692
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 45616 0 0 0 21893 107 0 0 25 0 1 0 893853511 84869120 19828 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20720 19828 1111 63 0 20657 0
vsize: 82880
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 46172 0 0 0 22892 108 0 0 25 0 1 0 893853511 86233088 20155 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21053 20155 1111 63 0 20990 0
vsize: 84212
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 47071 0 0 0 23890 110 0 0 25 0 1 0 893853511 87314432 20423 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21317 20423 1111 63 0 21254 0
vsize: 85268
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 47535 0 0 0 24889 111 0 0 25 0 1 0 893853511 88371200 20678 4294967295 134512640 134716908 3221224576 3221223136 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21575 20678 1111 63 0 21512 0
vsize: 86300
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 48086 0 0 0 25888 112 0 0 25 0 1 0 893853511 89554944 21000 4294967295 134512640 134716908 3221224576 3221223152 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21864 21000 1111 63 0 21801 0
vsize: 87456
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 48525 0 0 0 26887 113 0 0 25 0 1 0 893853511 90456064 21189 4294967295 134512640 134716908 3221224576 3221223088 134543759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22084 21189 1111 63 0 22021 0
vsize: 88336
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 48825 0 0 0 27887 114 0 0 25 0 1 0 893853511 90865664 21307 4294967295 134512640 134716908 3221224576 3221223064 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22184 21307 1111 63 0 22121 0
vsize: 88736
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 49246 0 0 0 28886 115 0 0 25 0 1 0 893853511 91672576 21518 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22381 21518 1111 63 0 22318 0
vsize: 89524
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 49822 0 0 0 29885 116 0 0 25 0 1 0 893853511 92794880 21793 4294967295 134512640 134716908 3221224576 3221223084 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22655 21793 1111 63 0 22592 0
vsize: 90620
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 50443 0 0 0 30884 117 0 0 25 0 1 0 893853511 93921280 22037 4294967295 134512640 134716908 3221224576 3221223056 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22930 22037 1111 63 0 22867 0
vsize: 91720
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 51119 0 0 0 31884 118 0 0 25 0 1 0 893853511 95903744 22535 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23414 22535 1111 63 0 23351 0
vsize: 93656
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 51696 0 0 0 32883 119 0 0 25 0 1 0 893853511 96911360 22766 4294967295 134512640 134716908 3221224576 3221223180 134524382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23660 22766 1111 63 0 23597 0
vsize: 94640
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 52073 0 0 0 33882 120 0 0 25 0 1 0 893853511 97587200 22963 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23825 22963 1111 63 0 23762 0
vsize: 95300
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 52418 0 0 0 34882 120 0 0 25 0 1 0 893853511 98508800 23189 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24050 23189 1111 63 0 23987 0
vsize: 96200
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 52819 0 0 0 35881 121 0 0 25 0 1 0 893853511 99422208 23412 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24273 23412 1111 63 0 24210 0
vsize: 97092
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 53219 0 0 0 36880 122 0 0 25 0 1 0 893853511 100323328 23632 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24493 23632 1111 63 0 24430 0
vsize: 97972
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 53616 0 0 0 37880 123 0 0 25 0 1 0 893853511 101351424 23882 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24744 23882 1111 63 0 24681 0
vsize: 98976
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 54012 0 0 0 38879 124 0 0 25 0 1 0 893853511 102236160 24098 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24960 24098 1111 63 0 24897 0
vsize: 99840
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 57660 0 0 0 39871 132 0 0 25 0 1 0 893853511 105156608 24814 4294967295 134512640 134716908 3221224576 3221223304 134675276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25673 24814 1111 63 0 25610 0
vsize: 102692
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 59776 0 0 0 40867 137 0 0 25 0 1 0 893853511 110014464 25977 4294967295 134512640 134716908 3221224576 3221223192 134536901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25977 1111 63 0 26796 0
vsize: 107436
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 59776 0 0 0 41867 137 0 0 25 0 1 0 893853511 110014464 25977 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25977 1111 63 0 26796 0
vsize: 107436
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 59776 0 0 0 42867 137 0 0 25 0 1 0 893853511 110014464 25977 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25977 1111 63 0 26796 0
vsize: 107436
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 59777 0 0 0 43867 137 0 0 25 0 1 0 893853511 110014464 25978 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25978 1111 63 0 26796 0
vsize: 107436
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 59777 0 0 0 44867 137 0 0 25 0 1 0 893853511 110014464 25978 4294967295 134512640 134716908 3221224576 3221223040 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25978 1111 63 0 26796 0
vsize: 107436
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 59777 0 0 0 45867 138 0 0 25 0 1 0 893853511 110014464 25978 4294967295 134512640 134716908 3221224576 3221223056 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25978 1111 63 0 26796 0
vsize: 107436
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 59789 0 0 0 46867 138 0 0 25 0 1 0 893853511 110014464 25990 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25990 1111 63 0 26796 0
vsize: 107436
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 60316 0 0 0 47866 139 0 0 25 0 1 0 893853511 110874624 26189 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27069 26189 1111 63 0 27006 0
vsize: 108276
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 61945 0 0 0 48863 142 0 0 25 0 1 0 893853511 111669248 26407 4294967295 134512640 134716908 3221224576 3221223104 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27263 26407 1111 63 0 27200 0
vsize: 109052
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 62450 0 0 0 49862 143 0 0 25 0 1 0 893853511 112316416 26542 4294967295 134512640 134716908 3221224576 3221223176 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27421 26542 1111 63 0 27358 0
vsize: 109684
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 63337 0 0 0 50860 146 0 0 25 0 1 0 893853511 113082368 26735 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27608 26735 1111 63 0 27545 0
vsize: 110432
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 65656 0 0 0 51855 151 0 0 25 0 1 0 893853511 113729536 26884 4294967295 134512640 134716908 3221224576 3221223184 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27766 26884 1111 63 0 27703 0
vsize: 111064
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 66212 0 0 0 52854 152 0 0 25 0 1 0 893853511 114405376 27070 4294967295 134512640 134716908 3221224576 3221223056 134539460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27931 27070 1111 63 0 27868 0
vsize: 111724
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25990
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 67285 0 0 0 53852 154 0 0 25 0 1 0 893853511 115052544 27210 4294967295 134512640 134716908 3221224576 3221223040 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28089 27210 1111 63 0 28026 0
vsize: 112356
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26043
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 73086 0 0 0 54839 167 0 0 25 0 1 0 893853511 117080064 27729 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28584 27729 1111 63 0 28521 0
vsize: 114336
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26043
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 82670 0 0 0 55816 190 0 0 25 0 1 0 893853511 119889920 28415 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29270 28415 1111 63 0 29207 0
vsize: 117080
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26043
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 82670 0 0 0 56816 190 0 0 25 0 1 0 893853511 119889920 28415 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29270 28415 1111 63 0 29207 0
vsize: 117080
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26043
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 82670 0 0 0 57817 190 0 0 25 0 1 0 893853511 119889920 28415 4294967295 134512640 134716908 3221224576 3221222956 134539315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29270 28415 1111 63 0 29207 0
vsize: 117080
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26043
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 82670 0 0 0 58817 190 0 0 25 0 1 0 893853511 119889920 28415 4294967295 134512640 134716908 3221224576 3221223152 134523971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29270 28415 1111 63 0 29207 0
vsize: 117080
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26043
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 82670 0 0 0 59817 190 0 0 25 0 1 0 893853511 119889920 28415 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29270 28415 1111 63 0 29207 0
vsize: 117080
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26043
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 83727 0 0 0 60814 193 0 0 25 0 1 0 893853511 122589184 29075 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29929 29075 1111 63 0 29866 0
vsize: 119716
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 83727 0 0 0 61815 193 0 0 25 0 1 0 893853511 122589184 29075 4294967295 134512640 134716908 3221224576 3221223072 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29929 29075 1111 63 0 29866 0
vsize: 119716
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 83727 0 0 0 62815 193 0 0 25 0 1 0 893853511 122589184 29075 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29929 29075 1111 63 0 29866 0
vsize: 119716
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 83727 0 0 0 63815 193 0 0 25 0 1 0 893853511 122589184 29075 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29929 29075 1111 63 0 29866 0
vsize: 119716
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 83728 0 0 0 64815 193 0 0 25 0 1 0 893853511 122589184 29076 4294967295 134512640 134716908 3221224576 3221223040 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29929 29076 1111 63 0 29866 0
vsize: 119716
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 83790 0 0 0 65815 193 0 0 25 0 1 0 893853511 122589184 29076 4294967295 134512640 134716908 3221224576 3221222944 134539213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29929 29076 1111 63 0 29866 0
vsize: 119716
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 84271 0 0 0 66814 194 0 0 25 0 1 0 893853511 123351040 29247 4294967295 134512640 134716908 3221224576 3221223040 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30115 29247 1111 63 0 30052 0
vsize: 120460
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 84682 0 0 0 67813 195 0 0 25 0 1 0 893853511 124067840 29411 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30290 29411 1111 63 0 30227 0
vsize: 121160
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 85635 0 0 0 68811 198 0 0 25 0 1 0 893853511 124411904 29521 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30374 29521 1111 63 0 30311 0
vsize: 121496
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 86285 0 0 0 69810 199 0 0 25 0 1 0 893853511 124710912 29595 4294967295 134512640 134716908 3221224576 3221223056 134524108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30447 29595 1111 63 0 30384 0
vsize: 121788
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 87338 0 0 0 70808 201 0 0 25 0 1 0 893853511 125440000 29759 4294967295 134512640 134716908 3221224576 3221223040 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30625 29759 1111 63 0 30562 0
vsize: 122500
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 87785 0 0 0 71808 202 0 0 25 0 1 0 893853511 125620224 29797 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30669 29797 1111 63 0 30606 0
vsize: 122676
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 88636 0 0 0 72806 204 0 0 25 0 1 0 893853511 126525440 30021 4294967295 134512640 134716908 3221224576 3221223040 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30890 30021 1111 63 0 30827 0
vsize: 123560
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 88990 0 0 0 73805 205 0 0 25 0 1 0 893853511 126951424 30126 4294967295 134512640 134716908 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30994 30126 1111 63 0 30931 0
vsize: 123976
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 89425 0 0 0 74805 205 0 0 25 0 1 0 893853511 126963712 30146 4294967295 134512640 134716908 3221224576 3221223040 134536698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30997 30146 1111 63 0 30934 0
vsize: 123988
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 90504 0 0 0 75802 208 0 0 25 0 1 0 893853511 127852544 30346 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31214 30346 1111 63 0 31151 0
vsize: 124856
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 92764 0 0 0 76798 212 0 0 25 0 1 0 893853511 128413696 30477 4294967295 134512640 134716908 3221224576 3221223152 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31351 30477 1111 63 0 31288 0
vsize: 125404
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 93230 0 0 0 77797 213 0 0 25 0 1 0 893853511 128339968 30460 4294967295 134512640 134716908 3221224576 3221222956 134539329 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31333 30460 1111 63 0 31270 0
vsize: 125332
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 94314 0 0 0 78795 215 0 0 25 0 1 0 893853511 129318912 30722 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31572 30722 1111 63 0 31509 0
vsize: 126288
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 94338 0 0 0 79796 215 0 0 25 0 1 0 893853511 129454080 30746 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31605 30746 1111 63 0 31542 0
vsize: 126420
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 95221 0 0 0 80794 218 0 0 25 0 1 0 893853511 129884160 30849 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31710 30849 1111 63 0 31647 0
vsize: 126840
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 95755 0 0 0 81792 219 0 0 25 0 1 0 893853511 129728512 30822 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31672 30822 1111 63 0 31609 0
vsize: 126688
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 97101 0 0 0 82790 222 0 0 25 0 1 0 893853511 130457600 31000 4294967295 134512640 134716908 3221224576 3221223104 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31850 31000 1111 63 0 31787 0
vsize: 127400
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 114960 0 0 0 83748 263 0 0 25 0 1 0 893853511 132681728 31543 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32393 31543 1111 63 0 32330 0
vsize: 129572
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26045
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 114960 0 0 0 84749 263 0 0 25 0 1 0 893853511 132681728 31543 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32393 31543 1111 63 0 32330 0
vsize: 129572
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 114960 0 0 0 85749 263 0 0 25 0 1 0 893853511 132681728 31543 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32393 31543 1111 63 0 32330 0
vsize: 129572
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 114960 0 0 0 86749 263 0 0 25 0 1 0 893853511 132681728 31543 4294967295 134512640 134716908 3221224576 3221223056 134543070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32393 31543 1111 63 0 32330 0
vsize: 129572
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 114997 0 0 0 87749 264 0 0 25 0 1 0 893853511 132960256 31580 4294967295 134512640 134716908 3221224576 3221223056 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32461 31580 1111 63 0 32398 0
vsize: 129844
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 115324 0 0 0 88748 264 0 0 25 0 1 0 893853511 132816896 31577 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32426 31577 1111 63 0 32363 0
vsize: 129704
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 115782 0 0 0 89748 265 0 0 25 0 1 0 893853511 133185536 31667 4294967295 134512640 134716908 3221224576 3221222960 134542359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32516 31667 1111 63 0 32453 0
vsize: 130064
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 116237 0 0 0 90747 266 0 0 25 0 1 0 893853511 133550080 31756 4294967295 134512640 134716908 3221224576 3221223008 134543728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32605 31756 1111 63 0 32542 0
vsize: 130420
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 116692 0 0 0 91746 267 0 0 25 0 1 0 893853511 133918720 31846 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32695 31846 1111 63 0 32632 0
vsize: 130780
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 117145 0 0 0 92746 268 0 0 25 0 1 0 893853511 134275072 31934 4294967295 134512640 134716908 3221224576 3221222992 134542668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32782 31934 1111 63 0 32719 0
vsize: 131128
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 117589 0 0 0 93745 269 0 0 25 0 1 0 893853511 134627328 32020 4294967295 134512640 134716908 3221224576 3221222992 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32868 32020 1111 63 0 32805 0
vsize: 131472
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 118040 0 0 0 94744 269 0 0 25 0 1 0 893853511 134979584 32106 4294967295 134512640 134716908 3221224576 3221223104 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32954 32106 1111 63 0 32891 0
vsize: 131816
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 118491 0 0 0 95744 271 0 0 25 0 1 0 893853511 135323648 32190 4294967295 134512640 134716908 3221224576 3221223056 134524111 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33038 32190 1111 63 0 32975 0
vsize: 132152
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 118940 0 0 0 96743 272 0 0 25 0 1 0 893853511 135667712 32274 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33122 32274 1111 63 0 33059 0
vsize: 132488
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 120054 0 0 0 97741 274 0 0 25 0 1 0 893853511 136011776 32358 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33206 32358 1111 63 0 33143 0
vsize: 132824
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 120503 0 0 0 98740 275 0 0 25 0 1 0 893853511 136347648 32440 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33288 32440 1111 63 0 33225 0
vsize: 133152
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 120943 0 0 0 99739 276 0 0 25 0 1 0 893853511 136679424 32522 4294967295 134512640 134716908 3221224576 3221222960 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33369 32522 1111 63 0 33306 0
vsize: 133476
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 121387 0 0 0 100738 277 0 0 25 0 1 0 893853511 137293824 32672 4294967295 134512640 134716908 3221224576 3221223056 134523904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33519 32672 1111 63 0 33456 0
vsize: 134076
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 121635 0 0 0 101737 278 0 0 25 0 1 0 893853511 137322496 32679 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33526 32679 1111 63 0 33463 0
vsize: 134104
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 122079 0 0 0 102736 279 0 0 25 0 1 0 893853511 137646080 32758 4294967295 134512640 134716908 3221224576 3221222992 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33605 32758 1111 63 0 33542 0
vsize: 134420
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 122727 0 0 0 103735 281 0 0 25 0 1 0 893853511 138801152 33040 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33887 33040 1111 63 0 33824 0
vsize: 135548
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 123154 0 0 0 104735 281 0 0 25 0 1 0 893853511 139468800 33192 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34050 33192 1111 63 0 33987 0
vsize: 136200
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 123594 0 0 0 105734 283 0 0 25 0 1 0 893853511 139767808 33265 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34123 33265 1111 63 0 34060 0
vsize: 136492
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 123928 0 0 0 106733 283 0 0 25 0 1 0 893853511 140312576 33340 4294967295 134512640 134716908 3221224576 3221223040 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34256 33340 1111 63 0 34193 0
vsize: 137024
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 124135 0 0 0 107733 284 0 0 25 0 1 0 893853511 140591104 33411 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34324 33411 1111 63 0 34261 0
vsize: 137296
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 124436 0 0 0 108733 284 0 0 25 0 1 0 893853511 140292096 33355 4294967295 134512640 134716908 3221224576 3221223056 134524108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34251 33355 1111 63 0 34188 0
vsize: 137004
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 124870 0 0 0 109732 285 0 0 25 0 1 0 893853511 140570624 33423 4294967295 134512640 134716908 3221224576 3221223056 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34319 33423 1111 63 0 34256 0
vsize: 137276
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 125291 0 0 0 110731 286 0 0 25 0 1 0 893853511 140853248 33492 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34388 33492 1111 63 0 34325 0
vsize: 137552
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 125634 0 0 0 111730 287 0 0 25 0 1 0 893853511 141549568 33652 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34558 33652 1111 63 0 34495 0
vsize: 138232
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 125871 0 0 0 112730 287 0 0 25 0 1 0 893853511 141832192 33719 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34627 33719 1111 63 0 34564 0
vsize: 138508
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 126162 0 0 0 113730 288 0 0 25 0 1 0 893853511 141660160 33689 4294967295 134512640 134716908 3221224576 3221223104 134528653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34585 33689 1111 63 0 34522 0
vsize: 138340
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 126593 0 0 0 114729 289 0 0 25 0 1 0 893853511 141922304 33753 4294967295 134512640 134716908 3221224576 3221223008 134523171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34649 33753 1111 63 0 34586 0
vsize: 138596
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 127024 0 0 0 115728 291 0 0 25 0 1 0 893853511 142626816 33909 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34821 33909 1111 63 0 34758 0
vsize: 139284
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 127451 0 0 0 116727 292 0 0 25 0 1 0 893853511 142884864 33971 4294967295 134512640 134716908 3221224576 3221223104 134542939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34884 33971 1111 63 0 34821 0
vsize: 139536
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 127878 0 0 0 117726 293 0 0 25 0 1 0 893853511 143134720 34033 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34945 34033 1111 63 0 34882 0
vsize: 139780
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 128847 0 0 0 118724 295 0 0 25 0 1 0 893853511 142827520 33975 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34870 33975 1111 63 0 34807 0
vsize: 139480
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) R 25989 31399 31398 0 -1 0 129274 0 0 0 119723 296 0 0 25 0 1 0 893853511 143482880 34127 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35030 34127 1111 63 0 34967 0
vsize: 140120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 26047
Raw data (stat): 25990 (bsolo_lpr-v2) Z 25989 31399 31398 0 -1 1036 129274 0 0 0 119723 302 0 0 25 0 1 0 893853511 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.09
CPU time (s): 1200.26
CPU user time (s): 1197.24
CPU system time (s): 3.02554
CPU usage (%): 100.014
Max. virtual memory (Kb): 140120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####