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-n3705.opb
MD5SUM	8eea845826d64e6d5753fad916c185c9
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	29593306649763
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	29593306649763
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.43278
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 40061

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 01:45:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28127 boxname=wulflinc3 idbench=1083 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  8eea845826d64e6d5753fad916c185c9  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-n3705.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-n3705.opb
IDLAUNCH: 28127
/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:        877636 kB
Buffers:         30808 kB
Cached:         103356 kB
SwapCached:        680 kB
Active:          42504 kB
Inactive:        93668 kB
HighTotal:      131008 kB
HighFree:        31920 kB
LowTotal:       903652 kB
LowFree:        845716 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            15096 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 02:05:33 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 28127 7 1200.26 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.92 0.95 0.90 1/54 19020
Raw data (stat): 19020 (runsolver) R 19019 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897768825 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.0006 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 1298 0 0 0 992 5 0 0 25 0 1 0 897768825 15511552 1218 4294967295 134512640 134716908 3221224576 3221222804 1077414407 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.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 1408 0 0 0 1992 5 0 0 25 0 1 0 897768825 15941632 1328 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 1510 0 0 0 2992 6 0 0 25 0 1 0 897768825 16379904 1430 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 1620 0 0 0 3992 6 0 0 25 0 1 0 897768825 16834560 1540 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 1732 0 0 0 4992 6 0 0 25 0 1 0 897768825 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.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 1836 0 0 0 5992 6 0 0 25 0 1 0 897768825 17715200 1756 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 1951 0 0 0 6992 6 0 0 25 0 1 0 897768825 18161664 1871 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 2055 0 0 0 7992 7 0 0 25 0 1 0 897768825 18616320 1975 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 2164 0 0 0 8992 7 0 0 25 0 1 0 897768825 19058688 2084 4294967295 134512640 134716908 3221224576 3221222804 1077414395 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.012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 2279 0 0 0 9993 7 0 0 25 0 1 0 897768825 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.013 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 2383 0 0 0 10993 7 0 0 25 0 1 0 897768825 19955712 2303 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 2493 0 0 0 11993 7 0 0 25 0 1 0 897768825 20402176 2413 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 2602 0 0 0 12993 8 0 0 25 0 1 0 897768825 20856832 2522 4294967295 134512640 134716908 3221224576 3221222804 1077414383 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 2712 0 0 0 13993 8 0 0 25 0 1 0 897768825 21299200 2632 4294967295 134512640 134716908 3221224576 3221222804 1077414385 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 2821 0 0 0 14993 8 0 0 25 0 1 0 897768825 21725184 2741 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 2926 0 0 0 15993 8 0 0 25 0 1 0 897768825 22171648 2846 4294967295 134512640 134716908 3221224576 3221222804 1077414426 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 3040 0 0 0 16993 9 0 0 25 0 1 0 897768825 22622208 2960 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 3145 0 0 0 17993 9 0 0 25 0 1 0 897768825 23072768 3065 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 3260 0 0 0 18993 9 0 0 25 0 1 0 897768825 23662592 3180 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 3371 0 0 0 19993 9 0 0 25 0 1 0 897768825 24113152 3291 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 3481 0 0 0 20993 9 0 0 25 0 1 0 897768825 24559616 3401 4294967295 134512640 134716908 3221224576 3221222804 1077414358 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 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 3591 0 0 0 21993 9 0 0 25 0 1 0 897768825 25010176 3511 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 3701 0 0 0 22993 10 0 0 25 0 1 0 897768825 25460736 3621 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 3812 0 0 0 23993 10 0 0 25 0 1 0 897768825 25911296 3732 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 3921 0 0 0 24993 11 0 0 25 0 1 0 897768825 26357760 3841 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 4032 0 0 0 25992 11 0 0 25 0 1 0 897768825 26804224 3952 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 4142 0 0 0 26992 11 0 0 25 0 1 0 897768825 27258880 4062 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 4253 0 0 0 27992 12 0 0 25 0 1 0 897768825 27705344 4173 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 4362 0 0 0 28992 12 0 0 25 0 1 0 897768825 28160000 4282 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 4472 0 0 0 29992 12 0 0 25 0 1 0 897768825 28602368 4392 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 4582 0 0 0 30992 13 0 0 25 0 1 0 897768825 29028352 4502 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 4693 0 0 0 31992 13 0 0 25 0 1 0 897768825 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 4802 0 0 0 32991 14 0 0 25 0 1 0 897768825 29925376 4722 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 4913 0 0 0 33991 14 0 0 25 0 1 0 897768825 30375936 4833 4294967295 134512640 134716908 3221224576 3221222804 1077414433 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 5022 0 0 0 34991 14 0 0 25 0 1 0 897768825 30826496 4942 4294967295 134512640 134716908 3221224576 3221222804 1077414376 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.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 5144 0 0 0 35991 14 0 0 25 0 1 0 897768825 31309824 5064 4294967295 134512640 134716908 3221224576 3221222804 1077414426 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.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 5253 0 0 0 36991 15 0 0 25 0 1 0 897768825 31760384 5173 4294967295 134512640 134716908 3221224576 3221222804 1077414370 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.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 5365 0 0 0 37991 15 0 0 25 0 1 0 897768825 32210944 5285 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 5480 0 0 0 38991 15 0 0 25 0 1 0 897768825 32661504 5400 4294967295 134512640 134716908 3221224576 3221222804 1077414407 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 5585 0 0 0 39991 16 0 0 25 0 1 0 897768825 33107968 5505 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 5701 0 0 0 40991 16 0 0 25 0 1 0 897768825 33558528 5621 4294967295 134512640 134716908 3221224576 3221222804 1077414345 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.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 5812 0 0 0 41991 16 0 0 25 0 1 0 897768825 34009088 5732 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 5922 0 0 0 42991 16 0 0 25 0 1 0 897768825 34459648 5842 4294967295 134512640 134716908 3221224576 3221222804 1077414370 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.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 6033 0 0 0 43990 17 0 0 25 0 1 0 897768825 34906112 5953 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 6143 0 0 0 44990 17 0 0 25 0 1 0 897768825 35360768 6063 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 6260 0 0 0 45990 17 0 0 25 0 1 0 897768825 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 6370 0 0 0 46990 18 0 0 25 0 1 0 897768825 36409344 6290 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 6481 0 0 0 47990 18 0 0 25 0 1 0 897768825 36859904 6401 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 6596 0 0 0 48990 18 0 0 25 0 1 0 897768825 37306368 6516 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 6702 0 0 0 49990 18 0 0 25 0 1 0 897768825 37761024 6622 4294967295 134512640 134716908 3221224576 3221222804 1077414410 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 6818 0 0 0 50990 18 0 0 25 0 1 0 897768825 38207488 6738 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 6930 0 0 0 51990 19 0 0 25 0 1 0 897768825 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.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 7039 0 0 0 52990 19 0 0 25 0 1 0 897768825 39108608 6959 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 7157 0 0 0 53990 19 0 0 25 0 1 0 897768825 39559168 7077 4294967295 134512640 134716908 3221224576 3221222804 1077414370 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 7266 0 0 0 54990 20 0 0 25 0 1 0 897768825 40005632 7186 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 7378 0 0 0 55990 20 0 0 25 0 1 0 897768825 40456192 7298 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 7494 0 0 0 56990 20 0 0 25 0 1 0 897768825 40906752 7414 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 7606 0 0 0 57990 20 0 0 25 0 1 0 897768825 41357312 7526 4294967295 134512640 134716908 3221224576 3221222804 1077414383 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 7715 0 0 0 58990 20 0 0 25 0 1 0 897768825 41803776 7635 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 7832 0 0 0 59989 21 0 0 25 0 1 0 897768825 42250240 7752 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 7752 1111 63 0 10252 0
vsize: 41260
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 7949 0 0 0 60989 21 0 0 25 0 1 0 897768825 42852352 7869 4294967295 134512640 134716908 3221224576 3221222804 1077414435 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 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 8060 0 0 0 61989 21 0 0 25 0 1 0 897768825 43307008 7980 4294967295 134512640 134716908 3221224576 3221222804 1077414370 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.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 8170 0 0 0 62989 22 0 0 25 0 1 0 897768825 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.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 8287 0 0 0 63989 22 0 0 25 0 1 0 897768825 44183552 8207 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 8397 0 0 0 64989 22 0 0 25 0 1 0 897768825 44621824 8317 4294967295 134512640 134716908 3221224576 3221222804 1077414345 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.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 8509 0 0 0 65989 22 0 0 25 0 1 0 897768825 45072384 8429 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 8624 0 0 0 66989 22 0 0 25 0 1 0 897768825 45522944 8544 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 8741 0 0 0 67989 22 0 0 25 0 1 0 897768825 45973504 8661 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 8851 0 0 0 68989 23 0 0 25 0 1 0 897768825 46419968 8771 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 8968 0 0 0 69989 23 0 0 25 0 1 0 897768825 47022080 8888 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 8888 1111 63 0 11417 0
vsize: 45920
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 9097 0 0 0 70989 23 0 0 25 0 1 0 897768825 47579136 9017 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 9215 0 0 0 71989 24 0 0 25 0 1 0 897768825 48144384 9135 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 9331 0 0 0 72989 24 0 0 25 0 1 0 897768825 48590848 9251 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9251 1111 63 0 11800 0
vsize: 47452
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 9442 0 0 0 73989 24 0 0 25 0 1 0 897768825 49041408 9362 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 9553 0 0 0 74989 24 0 0 25 0 1 0 897768825 49491968 9473 4294967295 134512640 134716908 3221224576 3221222804 1077414395 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 9671 0 0 0 75989 25 0 0 25 0 1 0 897768825 49942528 9591 4294967295 134512640 134716908 3221224576 3221222804 1077414357 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 9787 0 0 0 76988 25 0 0 25 0 1 0 897768825 50388992 9707 4294967295 134512640 134716908 3221224576 3221222804 1077414435 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 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 9905 0 0 0 77989 25 0 0 25 0 1 0 897768825 50958336 9825 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 9825 1111 63 0 12378 0
vsize: 49764
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 10014 0 0 0 78988 26 0 0 25 0 1 0 897768825 51408896 9934 4294967295 134512640 134716908 3221224576 3221222804 1077414376 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.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 10134 0 0 0 79989 26 0 0 25 0 1 0 897768825 51859456 10054 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10054 1111 63 0 12598 0
vsize: 50644
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 10244 0 0 0 80989 26 0 0 25 0 1 0 897768825 52310016 10164 4294967295 134512640 134716908 3221224576 3221222804 1077414432 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.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 10361 0 0 0 81989 26 0 0 25 0 1 0 897768825 52760576 10281 4294967295 134512640 134716908 3221224576 3221222804 1077414370 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 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 10479 0 0 0 82989 26 0 0 25 0 1 0 897768825 53207040 10399 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10399 1111 63 0 12927 0
vsize: 51960
[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 10596 0 0 0 83989 27 0 0 25 0 1 0 897768825 53657600 10516 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10516 1111 63 0 13037 0
vsize: 52400
[startup+850.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 10708 0 0 0 84988 27 0 0 25 0 1 0 897768825 54108160 10628 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 10824 0 0 0 85988 27 0 0 25 0 1 0 897768825 54710272 10744 4294967295 134512640 134716908 3221224576 3221222804 1077414358 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.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19020
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 10942 0 0 0 86988 28 0 0 25 0 1 0 897768825 55160832 10862 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10862 1111 63 0 13404 0
vsize: 53868
[startup+880.047 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 19073
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 11059 0 0 0 87988 28 0 0 25 0 1 0 897768825 55607296 10979 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10979 1111 63 0 13513 0
vsize: 54304
[startup+890.047 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 19073
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 11178 0 0 0 88988 28 0 0 25 0 1 0 897768825 56057856 11098 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11098 1111 63 0 13623 0
vsize: 54744
[startup+900.048 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 19073
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 11288 0 0 0 89988 29 0 0 25 0 1 0 897768825 56508416 11208 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11208 1111 63 0 13733 0
vsize: 55184
[startup+910.049 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 19073
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 11406 0 0 0 90988 29 0 0 25 0 1 0 897768825 56958976 11326 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13906 11326 1111 63 0 13843 0
vsize: 55624
[startup+920.049 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 19073
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 11529 0 0 0 91988 29 0 0 25 0 1 0 897768825 57552896 11449 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11449 1111 63 0 13988 0
vsize: 56204
[startup+930.05 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 19073
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 11648 0 0 0 92988 29 0 0 25 0 1 0 897768825 58007552 11568 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11568 1111 63 0 14099 0
vsize: 56648
[startup+940.05 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 19073
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 11764 0 0 0 93988 29 0 0 25 0 1 0 897768825 58454016 11684 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11684 1111 63 0 14208 0
vsize: 57084
[startup+950.05 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 11882 0 0 0 94988 30 0 0 25 0 1 0 897768825 58908672 11802 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11802 1111 63 0 14319 0
vsize: 57528
[startup+960.05 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 11999 0 0 0 95988 30 0 0 25 0 1 0 897768825 59502592 11919 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14527 11919 1111 63 0 14464 0
vsize: 58108
[startup+970.05 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 12118 0 0 0 96987 30 0 0 25 0 1 0 897768825 59953152 12038 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12038 1111 63 0 14574 0
vsize: 58548
[startup+980.05 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 12235 0 0 0 97987 31 0 0 25 0 1 0 897768825 60403712 12155 4294967295 134512640 134716908 3221224576 3221223232 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12155 1111 63 0 14684 0
vsize: 58988
[startup+990.051 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 12353 0 0 0 98987 31 0 0 25 0 1 0 897768825 60854272 12273 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12273 1111 63 0 14794 0
vsize: 59428
[startup+1000.05 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 12471 0 0 0 99987 31 0 0 25 0 1 0 897768825 61300736 12391 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12391 1111 63 0 14903 0
vsize: 59864
[startup+1010.05 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 12593 0 0 0 100987 31 0 0 25 0 1 0 897768825 61902848 12513 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15113 12513 1111 63 0 15050 0
vsize: 60452
[startup+1020.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 12712 0 0 0 101987 32 0 0 25 0 1 0 897768825 62353408 12632 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12632 1111 63 0 15160 0
vsize: 60892
[startup+1030.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 12829 0 0 0 102987 32 0 0 25 0 1 0 897768825 62803968 12749 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12749 1111 63 0 15270 0
vsize: 61332
[startup+1040.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 12947 0 0 0 103987 32 0 0 25 0 1 0 897768825 63254528 12867 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12867 1111 63 0 15380 0
vsize: 61772
[startup+1050.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 13065 0 0 0 104987 32 0 0 25 0 1 0 897768825 63848448 12985 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15588 12985 1111 63 0 15525 0
vsize: 62352
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 13184 0 0 0 105987 33 0 0 25 0 1 0 897768825 64303104 13104 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15699 13104 1111 63 0 15636 0
vsize: 62796
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 13300 0 0 0 106987 33 0 0 25 0 1 0 897768825 64749568 13220 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13220 1111 63 0 15745 0
vsize: 63232
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 13424 0 0 0 107987 33 0 0 25 0 1 0 897768825 65204224 13344 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13344 1111 63 0 15856 0
vsize: 63676
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 13542 0 0 0 108987 34 0 0 25 0 1 0 897768825 65798144 13462 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16064 13462 1111 63 0 16001 0
vsize: 64256
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 13667 0 0 0 109986 34 0 0 25 0 1 0 897768825 66248704 13587 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16174 13587 1111 63 0 16111 0
vsize: 64696
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 13784 0 0 0 110986 34 0 0 25 0 1 0 897768825 66699264 13704 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16284 13704 1111 63 0 16221 0
vsize: 65136
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 13902 0 0 0 111986 35 0 0 25 0 1 0 897768825 67149824 13822 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13822 1111 63 0 16331 0
vsize: 65576
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 14021 0 0 0 112986 35 0 0 25 0 1 0 897768825 67751936 13941 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16541 13941 1111 63 0 16478 0
vsize: 66164
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 14145 0 0 0 113986 35 0 0 25 0 1 0 897768825 68198400 14065 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16650 14065 1111 63 0 16587 0
vsize: 66600
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 14263 0 0 0 114986 35 0 0 25 0 1 0 897768825 68653056 14183 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14183 1111 63 0 16698 0
vsize: 67044
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 14386 0 0 0 115986 36 0 0 25 0 1 0 897768825 69246976 14306 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16906 14306 1111 63 0 16843 0
vsize: 67624
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 14505 0 0 0 116986 36 0 0 25 0 1 0 897768825 69701632 14425 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17017 14425 1111 63 0 16954 0
vsize: 68068
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 14623 0 0 0 117986 36 0 0 25 0 1 0 897768825 70148096 14543 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17126 14543 1111 63 0 17063 0
vsize: 68504
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 14742 0 0 0 118986 36 0 0 25 0 1 0 897768825 70598656 14662 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17236 14662 1111 63 0 17173 0
vsize: 68944
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) R 19019 20224 20223 0 -1 0 14864 0 0 0 119986 36 0 0 25 0 1 0 897768825 71196672 14784 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17382 14784 1111 63 0 17319 0
vsize: 69528
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 19075
Raw data (stat): 19020 (bsolo_lpr-v2) Z 19019 20224 20223 0 -1 1036 14864 0 0 0 119986 39 0 0 25 0 1 0 897768825 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.26
CPU user time (s): 1199.87
CPU system time (s): 0.395939
CPU usage (%): 100.015
Max. virtual memory (Kb): 69528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####