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/fctp/normalized-mps-v2-20-10-n370b.opb
MD5SUM	8298f3392c738b735ea9c7e42f541654
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29694485111877
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29694485111877
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.44378
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 40087

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 02:05:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28133 boxname=wulflinc3 idbench=1089 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  8298f3392c738b735ea9c7e42f541654  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-n370b.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-n370b.opb
IDLAUNCH: 28133
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        866008 kB
Buffers:         30908 kB
Cached:         114884 kB
SwapCached:        680 kB
Active:          43340 kB
Inactive:       104480 kB
HighTotal:      131008 kB
HighFree:        20356 kB
LowTotal:       903652 kB
LowFree:        845652 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            14996 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 02:25:47 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 28133 7 1200.39 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.97 0.91 2/54 19169
Raw data (stat): 19169 (runsolver) R 19168 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897890258 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 1298 0 0 0 993 4 0 0 25 0 1 0 897890258 15511552 1218 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1218 1111 63 0 3724 0
vsize: 15148
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 1408 0 0 0 1992 5 0 0 25 0 1 0 897890258 15941632 1328 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1328 1111 63 0 3829 0
vsize: 15568
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 1510 0 0 0 2992 5 0 0 25 0 1 0 897890258 16379904 1430 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1430 1111 63 0 3936 0
vsize: 15996
[startup+40.0021 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 1620 0 0 0 3992 5 0 0 25 0 1 0 897890258 16834560 1540 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1540 1111 63 0 4047 0
vsize: 16440
[startup+50.0026 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 1732 0 0 0 4993 5 0 0 25 0 1 0 897890258 17264640 1652 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1652 1111 63 0 4152 0
vsize: 16860
[startup+60.0028 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 1836 0 0 0 5993 5 0 0 25 0 1 0 897890258 17715200 1756 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1756 1111 63 0 4262 0
vsize: 17300
[startup+70.0026 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 1951 0 0 0 6993 6 0 0 25 0 1 0 897890258 18161664 1871 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1871 1111 63 0 4371 0
vsize: 17736
[startup+80.0021 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 2055 0 0 0 7992 6 0 0 25 0 1 0 897890258 18616320 1975 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1975 1111 63 0 4482 0
vsize: 18180
[startup+90.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 2164 0 0 0 8992 6 0 0 25 0 1 0 897890258 19058688 2084 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2084 1111 63 0 4590 0
vsize: 18612
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 2279 0 0 0 9992 7 0 0 25 0 1 0 897890258 19501056 2199 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 2199 1111 63 0 4698 0
vsize: 19044
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 2383 0 0 0 10992 7 0 0 25 0 1 0 897890258 19955712 2303 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2303 1111 63 0 4809 0
vsize: 19488
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 2493 0 0 0 11992 7 0 0 25 0 1 0 897890258 20402176 2413 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2413 1111 63 0 4918 0
vsize: 19924
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 2602 0 0 0 12992 7 0 0 25 0 1 0 897890258 20856832 2522 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2522 1111 63 0 5029 0
vsize: 20368
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 2712 0 0 0 13992 8 0 0 25 0 1 0 897890258 21299200 2632 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2632 1111 63 0 5137 0
vsize: 20800
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 2821 0 0 0 14992 8 0 0 25 0 1 0 897890258 21725184 2741 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2741 1111 63 0 5241 0
vsize: 21216
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 2926 0 0 0 15992 8 0 0 25 0 1 0 897890258 22171648 2846 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2846 1111 63 0 5350 0
vsize: 21652
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 3040 0 0 0 16992 8 0 0 25 0 1 0 897890258 22622208 2960 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 2960 1111 63 0 5460 0
vsize: 22092
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 3145 0 0 0 17991 9 0 0 25 0 1 0 897890258 23072768 3065 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3065 1111 63 0 5570 0
vsize: 22532
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 3260 0 0 0 18992 9 0 0 25 0 1 0 897890258 23662592 3180 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3180 1111 63 0 5714 0
vsize: 23108
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 3371 0 0 0 19992 9 0 0 25 0 1 0 897890258 24113152 3291 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3291 1111 63 0 5824 0
vsize: 23548
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 3481 0 0 0 20992 9 0 0 25 0 1 0 897890258 24559616 3401 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3401 1111 63 0 5933 0
vsize: 23984
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 3591 0 0 0 21993 10 0 0 25 0 1 0 897890258 25010176 3511 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3511 1111 63 0 6043 0
vsize: 24424
[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 3701 0 0 0 22993 10 0 0 25 0 1 0 897890258 25460736 3621 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3621 1111 63 0 6153 0
vsize: 24864
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 3812 0 0 0 23992 10 0 0 25 0 1 0 897890258 25911296 3732 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3732 1111 63 0 6263 0
vsize: 25304
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 3921 0 0 0 24992 11 0 0 25 0 1 0 897890258 26357760 3841 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3841 1111 63 0 6372 0
vsize: 25740
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 4032 0 0 0 25992 11 0 0 25 0 1 0 897890258 26804224 3952 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3952 1111 63 0 6481 0
vsize: 26176
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 4142 0 0 0 26992 11 0 0 25 0 1 0 897890258 27258880 4062 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4062 1111 63 0 6592 0
vsize: 26620
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 4253 0 0 0 27992 12 0 0 25 0 1 0 897890258 27705344 4173 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4173 1111 63 0 6701 0
vsize: 27056
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 4362 0 0 0 28992 12 0 0 25 0 1 0 897890258 28160000 4282 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4282 1111 63 0 6812 0
vsize: 27500
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 4472 0 0 0 29992 12 0 0 25 0 1 0 897890258 28602368 4392 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4392 1111 63 0 6920 0
vsize: 27932
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 4582 0 0 0 30992 12 0 0 25 0 1 0 897890258 29028352 4502 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4502 1111 63 0 7024 0
vsize: 28348
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 4693 0 0 0 31992 12 0 0 25 0 1 0 897890258 29474816 4613 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4613 1111 63 0 7133 0
vsize: 28784
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 4802 0 0 0 32992 12 0 0 25 0 1 0 897890258 29925376 4722 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4722 1111 63 0 7243 0
vsize: 29224
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 4913 0 0 0 33992 13 0 0 25 0 1 0 897890258 30375936 4833 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 4833 1111 63 0 7353 0
vsize: 29664
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 5022 0 0 0 34992 13 0 0 25 0 1 0 897890258 30826496 4942 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 4942 1111 63 0 7463 0
vsize: 30104
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 5144 0 0 0 35992 13 0 0 25 0 1 0 897890258 31309824 5064 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7644 5064 1111 63 0 7581 0
vsize: 30576
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 5253 0 0 0 36992 13 0 0 25 0 1 0 897890258 31760384 5173 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5173 1111 63 0 7691 0
vsize: 31016
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 5365 0 0 0 37992 13 0 0 25 0 1 0 897890258 32210944 5285 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7864 5285 1111 63 0 7801 0
vsize: 31456
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 5480 0 0 0 38992 13 0 0 25 0 1 0 897890258 32661504 5400 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7974 5400 1111 63 0 7911 0
vsize: 31896
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 5585 0 0 0 39992 14 0 0 25 0 1 0 897890258 33107968 5505 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8083 5505 1111 63 0 8020 0
vsize: 32332
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 5701 0 0 0 40992 14 0 0 25 0 1 0 897890258 33558528 5621 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8193 5621 1111 63 0 8130 0
vsize: 32772
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 5812 0 0 0 41992 15 0 0 25 0 1 0 897890258 34009088 5732 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8303 5732 1111 63 0 8240 0
vsize: 33212
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 5922 0 0 0 42992 15 0 0 25 0 1 0 897890258 34459648 5842 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8413 5842 1111 63 0 8350 0
vsize: 33652
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 6033 0 0 0 43992 15 0 0 25 0 1 0 897890258 34906112 5953 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8522 5953 1111 63 0 8459 0
vsize: 34088
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 6143 0 0 0 44992 15 0 0 25 0 1 0 897890258 35360768 6063 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8633 6063 1111 63 0 8570 0
vsize: 34532
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 6260 0 0 0 45992 15 0 0 25 0 1 0 897890258 35958784 6180 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8779 6180 1111 63 0 8716 0
vsize: 35116
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 6370 0 0 0 46992 15 0 0 25 0 1 0 897890258 36409344 6290 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6290 1111 63 0 8826 0
vsize: 35556
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 6481 0 0 0 47992 16 0 0 25 0 1 0 897890258 36859904 6401 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 6401 1111 63 0 8936 0
vsize: 35996
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 6596 0 0 0 48992 16 0 0 25 0 1 0 897890258 37306368 6516 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6516 1111 63 0 9045 0
vsize: 36432
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 6702 0 0 0 49992 16 0 0 25 0 1 0 897890258 37761024 6622 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 6622 1111 63 0 9156 0
vsize: 36876
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 6818 0 0 0 50992 16 0 0 25 0 1 0 897890258 38207488 6738 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9328 6738 1111 63 0 9265 0
vsize: 37312
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 6930 0 0 0 51992 16 0 0 25 0 1 0 897890258 38658048 6850 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6850 1111 63 0 9375 0
vsize: 37752
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 7039 0 0 0 52992 16 0 0 25 0 1 0 897890258 39108608 6959 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 6959 1111 63 0 9485 0
vsize: 38192
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 7157 0 0 0 53992 16 0 0 25 0 1 0 897890258 39559168 7077 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 7077 1111 63 0 9595 0
vsize: 38632
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 7266 0 0 0 54992 17 0 0 25 0 1 0 897890258 40005632 7186 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9767 7186 1111 63 0 9704 0
vsize: 39068
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 7378 0 0 0 55992 17 0 0 25 0 1 0 897890258 40456192 7298 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9877 7298 1111 63 0 9814 0
vsize: 39508
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 7494 0 0 0 56992 17 0 0 25 0 1 0 897890258 40906752 7414 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9987 7414 1111 63 0 9924 0
vsize: 39948
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 7606 0 0 0 57992 17 0 0 25 0 1 0 897890258 41357312 7526 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7526 1111 63 0 10034 0
vsize: 40388
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 7715 0 0 0 58992 17 0 0 25 0 1 0 897890258 41803776 7635 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10206 7635 1111 63 0 10143 0
vsize: 40824
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 7833 0 0 0 59992 18 0 0 25 0 1 0 897890258 42250240 7753 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 7753 1111 63 0 10252 0
vsize: 41260
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 7949 0 0 0 60992 18 0 0 25 0 1 0 897890258 42852352 7869 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7869 1111 63 0 10399 0
vsize: 41848
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 8060 0 0 0 61992 18 0 0 25 0 1 0 897890258 43307008 7980 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7980 1111 63 0 10510 0
vsize: 42292
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 8170 0 0 0 62992 19 0 0 25 0 1 0 897890258 43753472 8090 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8090 1111 63 0 10619 0
vsize: 42728
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 8287 0 0 0 63992 19 0 0 25 0 1 0 897890258 44183552 8207 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 8207 1111 63 0 10724 0
vsize: 43148
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 8397 0 0 0 64992 19 0 0 25 0 1 0 897890258 44621824 8317 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 8317 1111 63 0 10831 0
vsize: 43576
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 8509 0 0 0 65992 19 0 0 25 0 1 0 897890258 45072384 8429 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11004 8429 1111 63 0 10941 0
vsize: 44016
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 8624 0 0 0 66992 20 0 0 25 0 1 0 897890258 45522944 8544 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11114 8544 1111 63 0 11051 0
vsize: 44456
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 8741 0 0 0 67991 20 0 0 25 0 1 0 897890258 45973504 8661 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 8661 1111 63 0 11161 0
vsize: 44896
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 8851 0 0 0 68991 20 0 0 25 0 1 0 897890258 46419968 8771 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11333 8771 1111 63 0 11270 0
vsize: 45332
[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 8962 0 0 0 69991 21 0 0 25 0 1 0 897890258 46874624 8882 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11444 8882 1111 63 0 11381 0
vsize: 45776
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 9097 0 0 0 70991 21 0 0 25 0 1 0 897890258 47579136 9017 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 9017 1111 63 0 11553 0
vsize: 46464
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 9215 0 0 0 71991 21 0 0 25 0 1 0 897890258 48144384 9135 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11754 9135 1111 63 0 11691 0
vsize: 47016
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 9325 0 0 0 72991 21 0 0 25 0 1 0 897890258 48590848 9245 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9245 1111 63 0 11800 0
vsize: 47452
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 9442 0 0 0 73991 22 0 0 25 0 1 0 897890258 49041408 9362 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 9362 1111 63 0 11910 0
vsize: 47892
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 9553 0 0 0 74991 22 0 0 25 0 1 0 897890258 49491968 9473 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9473 1111 63 0 12020 0
vsize: 48332
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 9671 0 0 0 75991 22 0 0 25 0 1 0 897890258 49942528 9591 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9591 1111 63 0 12130 0
vsize: 48772
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 9787 0 0 0 76991 22 0 0 25 0 1 0 897890258 50388992 9707 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9707 1111 63 0 12239 0
vsize: 49208
[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 9898 0 0 0 77991 23 0 0 25 0 1 0 897890258 50814976 9818 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12406 9818 1111 63 0 12343 0
vsize: 49624
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 10014 0 0 0 78991 23 0 0 25 0 1 0 897890258 51408896 9934 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9934 1111 63 0 12488 0
vsize: 50204
[startup+800.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 10128 0 0 0 79991 23 0 0 25 0 1 0 897890258 51859456 10048 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10048 1111 63 0 12598 0
vsize: 50644
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 10244 0 0 0 80991 23 0 0 25 0 1 0 897890258 52310016 10164 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10164 1111 63 0 12708 0
vsize: 51084
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 10361 0 0 0 81991 23 0 0 25 0 1 0 897890258 52760576 10281 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10281 1111 63 0 12818 0
vsize: 51524
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 10478 0 0 0 82991 24 0 0 25 0 1 0 897890258 53207040 10398 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10398 1111 63 0 12927 0
vsize: 51960
[startup+840.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 10595 0 0 0 83991 24 0 0 25 0 1 0 897890258 53657600 10515 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10515 1111 63 0 13037 0
vsize: 52400
[startup+850.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 10708 0 0 0 84991 25 0 0 25 0 1 0 897890258 54108160 10628 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10628 1111 63 0 13147 0
vsize: 52840
[startup+860.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 10824 0 0 0 85991 25 0 0 25 0 1 0 897890258 54710272 10744 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10744 1111 63 0 13294 0
vsize: 53428
[startup+870.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 10935 0 0 0 86991 25 0 0 25 0 1 0 897890258 55160832 10855 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10855 1111 63 0 13404 0
vsize: 53868
[startup+880.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 11052 0 0 0 87991 26 0 0 25 0 1 0 897890258 55607296 10972 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10972 1111 63 0 13513 0
vsize: 54304
[startup+890.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 11171 0 0 0 88991 26 0 0 25 0 1 0 897890258 56057856 11091 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11091 1111 63 0 13623 0
vsize: 54744
[startup+900.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 11287 0 0 0 89991 26 0 0 25 0 1 0 897890258 56508416 11207 4294967295 134512640 134716908 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11207 1111 63 0 13733 0
vsize: 55184
[startup+910.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 11405 0 0 0 90992 27 0 0 25 0 1 0 897890258 56958976 11325 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 11325 1111 63 0 13843 0
vsize: 55624
[startup+920.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 11522 0 0 0 91993 27 0 0 25 0 1 0 897890258 57552896 11442 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11442 1111 63 0 13988 0
vsize: 56204
[startup+930.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 11640 0 0 0 92992 27 0 0 25 0 1 0 897890258 58007552 11560 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11560 1111 63 0 14099 0
vsize: 56648
[startup+940.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 11750 0 0 0 93993 27 0 0 25 0 1 0 897890258 58454016 11670 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11670 1111 63 0 14208 0
vsize: 57084
[startup+950.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 11868 0 0 0 94993 28 0 0 25 0 1 0 897890258 58908672 11788 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11788 1111 63 0 14319 0
vsize: 57528
[startup+960.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 11984 0 0 0 95993 28 0 0 25 0 1 0 897890258 59351040 11904 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11904 1111 63 0 14427 0
vsize: 57960
[startup+970.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 12103 0 0 0 96993 28 0 0 25 0 1 0 897890258 59805696 12023 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14601 12023 1111 63 0 14538 0
vsize: 58404
[startup+980.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 12220 0 0 0 97993 28 0 0 25 0 1 0 897890258 60403712 12140 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12140 1111 63 0 14684 0
vsize: 58988
[startup+990.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 12338 0 0 0 98993 28 0 0 25 0 1 0 897890258 60854272 12258 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12258 1111 63 0 14794 0
vsize: 59428
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 12448 0 0 0 99993 28 0 0 25 0 1 0 897890258 61300736 12368 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12368 1111 63 0 14903 0
vsize: 59864
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 12566 0 0 0 100993 29 0 0 25 0 1 0 897890258 61755392 12486 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15077 12486 1111 63 0 15014 0
vsize: 60308
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 12684 0 0 0 101993 29 0 0 25 0 1 0 897890258 62201856 12604 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15186 12604 1111 63 0 15123 0
vsize: 60744
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 12801 0 0 0 102993 29 0 0 25 0 1 0 897890258 62652416 12721 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15296 12721 1111 63 0 15233 0
vsize: 61184
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 12919 0 0 0 103993 29 0 0 25 0 1 0 897890258 63254528 12839 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12839 1111 63 0 15380 0
vsize: 61772
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 13036 0 0 0 104993 29 0 0 25 0 1 0 897890258 63700992 12956 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15552 12956 1111 63 0 15489 0
vsize: 62208
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 13155 0 0 0 105993 30 0 0 25 0 1 0 897890258 64155648 13075 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 13075 1111 63 0 15600 0
vsize: 62652
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 13271 0 0 0 106993 30 0 0 25 0 1 0 897890258 64602112 13191 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15772 13191 1111 63 0 15709 0
vsize: 63088
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 13395 0 0 0 107993 30 0 0 25 0 1 0 897890258 65204224 13315 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13315 1111 63 0 15856 0
vsize: 63676
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 13512 0 0 0 108993 30 0 0 25 0 1 0 897890258 65650688 13432 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13432 1111 63 0 15965 0
vsize: 64112
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 13631 0 0 0 109993 31 0 0 25 0 1 0 897890258 66105344 13551 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16139 13551 1111 63 0 16076 0
vsize: 64556
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 13748 0 0 0 110993 31 0 0 25 0 1 0 897890258 66547712 13668 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 13668 1111 63 0 16184 0
vsize: 64988
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 13866 0 0 0 111993 31 0 0 25 0 1 0 897890258 67002368 13786 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16358 13786 1111 63 0 16295 0
vsize: 65432
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 13983 0 0 0 112993 31 0 0 25 0 1 0 897890258 67600384 13903 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13903 1111 63 0 16441 0
vsize: 66016
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 14101 0 0 0 113992 32 0 0 25 0 1 0 897890258 68050944 14021 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14021 1111 63 0 16551 0
vsize: 66456
[startup+1150.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 14225 0 0 0 115002 32 0 0 25 0 1 0 897890258 68497408 14145 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16723 14145 1111 63 0 16660 0
vsize: 66892
[startup+1160.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 14343 0 0 0 116002 32 0 0 25 0 1 0 897890258 68947968 14263 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16833 14263 1111 63 0 16770 0
vsize: 67332
[startup+1170.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 14462 0 0 0 117003 32 0 0 25 0 1 0 897890258 69550080 14382 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14382 1111 63 0 16917 0
vsize: 67920
[startup+1180.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 14578 0 0 0 118002 33 0 0 25 0 1 0 897890258 70000640 14498 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17090 14498 1111 63 0 17027 0
vsize: 68360
[startup+1190.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 14697 0 0 0 119002 33 0 0 25 0 1 0 897890258 70451200 14617 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17200 14617 1111 63 0 17137 0
vsize: 68800
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) R 19168 20224 20223 0 -1 0 14814 0 0 0 120002 34 0 0 25 0 1 0 897890258 70897664 14734 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17309 14734 1111 63 0 17246 0
vsize: 69236
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19169
Raw data (stat): 19169 (bsolo_lpr-v2) Z 19168 20224 20223 0 -1 1036 14814 0 0 0 120002 36 0 0 25 0 1 0 897890258 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.22
CPU time (s): 1200.39
CPU user time (s): 1200.03
CPU system time (s): 0.368943
CPU usage (%): 100.015
Max. virtual memory (Kb): 69236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####