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-n3702.opb
MD5SUM	8a9d9f3204d778657700e0268ec9ac0e
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	29701186548799
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	29701186548799
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.43078
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 40058

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        876500 kB
Buffers:         17528 kB
Cached:         115176 kB
SwapCached:       1120 kB
Active:          34836 kB
Inactive:       100120 kB
HighTotal:      131008 kB
HighFree:        13580 kB
LowTotal:       903652 kB
LowFree:        862920 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5200 kB
Slab:            17492 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 01:56:39 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 28124 7 1200.23 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.93 0.97 0.91 2/55 15462
Raw data (stat): 15462 (runsolver) R 15461 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 840867013 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99996 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 1298 0 0 0 993 5 0 0 25 0 1 0 840867013 15511552 1218 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1218 1111 63 0 3724 0
vsize: 15148
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 1408 0 0 0 1993 6 0 0 25 0 1 0 840867013 15941632 1328 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1328 1111 63 0 3829 0
vsize: 15568
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 1517 0 0 0 2992 6 0 0 25 0 1 0 840867013 16379904 1437 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1437 1111 63 0 3936 0
vsize: 15996
[startup+40.0002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 1627 0 0 0 3992 6 0 0 25 0 1 0 840867013 16834560 1547 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1547 1111 63 0 4047 0
vsize: 16440
[startup+50.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 1739 0 0 0 4992 6 0 0 25 0 1 0 840867013 17412096 1659 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 1659 1111 63 0 4188 0
vsize: 17004
[startup+60.0008 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 1850 0 0 0 5992 6 0 0 25 0 1 0 840867013 17862656 1770 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 1770 1111 63 0 4298 0
vsize: 17444
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 1952 0 0 0 6992 7 0 0 25 0 1 0 840867013 18161664 1872 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1872 1111 63 0 4371 0
vsize: 17736
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 2069 0 0 0 7992 7 0 0 25 0 1 0 840867013 18763776 1989 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4581 1989 1111 63 0 4518 0
vsize: 18324
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 2178 0 0 0 8992 7 0 0 25 0 1 0 840867013 19197952 2098 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4687 2098 1111 63 0 4624 0
vsize: 18748
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 2294 0 0 0 9992 7 0 0 25 0 1 0 840867013 19656704 2214 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 2214 1111 63 0 4736 0
vsize: 19196
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 2397 0 0 0 10992 7 0 0 25 0 1 0 840867013 20103168 2317 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 2317 1111 63 0 4845 0
vsize: 19632
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 2508 0 0 0 11993 7 0 0 25 0 1 0 840867013 20557824 2428 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 2428 1111 63 0 4956 0
vsize: 20076
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 2617 0 0 0 12992 8 0 0 25 0 1 0 840867013 21004288 2537 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5128 2537 1111 63 0 5065 0
vsize: 20512
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 2727 0 0 0 13992 8 0 0 25 0 1 0 840867013 21434368 2647 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 2647 1111 63 0 5170 0
vsize: 20932
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 2836 0 0 0 14992 9 0 0 25 0 1 0 840867013 21872640 2756 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 2756 1111 63 0 5277 0
vsize: 21360
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 2947 0 0 0 15992 9 0 0 25 0 1 0 840867013 22323200 2867 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 2867 1111 63 0 5387 0
vsize: 21800
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 3056 0 0 0 16992 9 0 0 25 0 1 0 840867013 22773760 2976 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5560 2976 1111 63 0 5497 0
vsize: 22240
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 3174 0 0 0 17991 9 0 0 25 0 1 0 840867013 23232512 3094 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 3094 1111 63 0 5609 0
vsize: 22688
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 3282 0 0 0 18991 10 0 0 25 0 1 0 840867013 23662592 3202 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3202 1111 63 0 5714 0
vsize: 23108
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 3399 0 0 0 19991 10 0 0 25 0 1 0 840867013 24113152 3319 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3319 1111 63 0 5824 0
vsize: 23548
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 3503 0 0 0 20991 10 0 0 25 0 1 0 840867013 24559616 3423 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3423 1111 63 0 5933 0
vsize: 23984
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 3620 0 0 0 21991 10 0 0 25 0 1 0 840867013 25010176 3540 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3540 1111 63 0 6043 0
vsize: 24424
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 3724 0 0 0 22991 10 0 0 25 0 1 0 840867013 25460736 3644 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3644 1111 63 0 6153 0
vsize: 24864
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 3841 0 0 0 23991 11 0 0 25 0 1 0 840867013 25911296 3761 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3761 1111 63 0 6263 0
vsize: 25304
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 3950 0 0 0 24991 11 0 0 25 0 1 0 840867013 26357760 3870 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3870 1111 63 0 6372 0
vsize: 25740
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 4062 0 0 0 25991 11 0 0 25 0 1 0 840867013 26804224 3982 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3982 1111 63 0 6481 0
vsize: 26176
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 4172 0 0 0 26991 11 0 0 25 0 1 0 840867013 27258880 4092 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4092 1111 63 0 6592 0
vsize: 26620
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 4283 0 0 0 27991 11 0 0 25 0 1 0 840867013 27705344 4203 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4203 1111 63 0 6701 0
vsize: 27056
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 4398 0 0 0 28991 11 0 0 25 0 1 0 840867013 28307456 4318 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6911 4318 1111 63 0 6848 0
vsize: 27644
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 4510 0 0 0 29991 12 0 0 25 0 1 0 840867013 28737536 4430 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7016 4430 1111 63 0 6953 0
vsize: 28064
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 4619 0 0 0 30991 12 0 0 25 0 1 0 840867013 29175808 4539 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7123 4539 1111 63 0 7060 0
vsize: 28492
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 4730 0 0 0 31991 12 0 0 25 0 1 0 840867013 29626368 4650 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7233 4650 1111 63 0 7170 0
vsize: 28932
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 4839 0 0 0 32991 12 0 0 25 0 1 0 840867013 30076928 4759 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 4759 1111 63 0 7280 0
vsize: 29372
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 4956 0 0 0 33991 12 0 0 25 0 1 0 840867013 30527488 4876 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 4876 1111 63 0 7390 0
vsize: 29812
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 5065 0 0 0 34991 13 0 0 25 0 1 0 840867013 30973952 4985 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7562 4985 1111 63 0 7499 0
vsize: 30248
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 5188 0 0 0 35991 13 0 0 25 0 1 0 840867013 31461376 5108 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 5108 1111 63 0 7618 0
vsize: 30724
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 5303 0 0 0 36991 13 0 0 25 0 1 0 840867013 32059392 5223 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7827 5223 1111 63 0 7764 0
vsize: 31308
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 5415 0 0 0 37991 14 0 0 25 0 1 0 840867013 32514048 5335 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7938 5335 1111 63 0 7875 0
vsize: 31752
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 5524 0 0 0 38991 14 0 0 25 0 1 0 840867013 32956416 5444 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8046 5444 1111 63 0 7983 0
vsize: 32184
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 5636 0 0 0 39991 14 0 0 25 0 1 0 840867013 33411072 5556 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8157 5556 1111 63 0 8094 0
vsize: 32628
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 5746 0 0 0 40991 14 0 0 25 0 1 0 840867013 33857536 5666 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8266 5666 1111 63 0 8203 0
vsize: 33064
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 5864 0 0 0 41991 14 0 0 25 0 1 0 840867013 34312192 5784 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8377 5784 1111 63 0 8314 0
vsize: 33508
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 5979 0 0 0 42991 14 0 0 25 0 1 0 840867013 34758656 5899 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8486 5899 1111 63 0 8423 0
vsize: 33944
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 6090 0 0 0 43991 15 0 0 25 0 1 0 840867013 35213312 6010 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8597 6010 1111 63 0 8534 0
vsize: 34388
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 6201 0 0 0 44991 15 0 0 25 0 1 0 840867013 35655680 6121 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8705 6121 1111 63 0 8642 0
vsize: 34820
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 6318 0 0 0 45991 15 0 0 25 0 1 0 840867013 36110336 6238 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 6238 1111 63 0 8753 0
vsize: 35264
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 6428 0 0 0 46991 15 0 0 25 0 1 0 840867013 36556800 6348 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8925 6348 1111 63 0 8862 0
vsize: 35700
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 6539 0 0 0 47991 16 0 0 25 0 1 0 840867013 37011456 6459 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9036 6459 1111 63 0 8973 0
vsize: 36144
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 6656 0 0 0 48991 16 0 0 25 0 1 0 840867013 37453824 6576 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9144 6576 1111 63 0 9081 0
vsize: 36576
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 6767 0 0 0 49991 16 0 0 25 0 1 0 840867013 37908480 6687 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9255 6687 1111 63 0 9192 0
vsize: 37020
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 6878 0 0 0 50990 16 0 0 25 0 1 0 840867013 38354944 6798 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9364 6798 1111 63 0 9301 0
vsize: 37456
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 6995 0 0 0 51990 17 0 0 25 0 1 0 840867013 38957056 6915 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9511 6915 1111 63 0 9448 0
vsize: 38044
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 7112 0 0 0 52990 17 0 0 25 0 1 0 840867013 39403520 7032 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7032 1111 63 0 9557 0
vsize: 38480
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 7223 0 0 0 53990 17 0 0 25 0 1 0 840867013 39854080 7143 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9730 7143 1111 63 0 9667 0
vsize: 38920
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 7332 0 0 0 54990 18 0 0 25 0 1 0 840867013 40304640 7252 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9840 7252 1111 63 0 9777 0
vsize: 39360
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 7451 0 0 0 55989 18 0 0 25 0 1 0 840867013 40755200 7371 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9950 7371 1111 63 0 9887 0
vsize: 39800
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 7566 0 0 0 56989 19 0 0 25 0 1 0 840867013 41205760 7486 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 7486 1111 63 0 9997 0
vsize: 40240
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 7679 0 0 0 57989 19 0 0 25 0 1 0 840867013 41656320 7599 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10170 7599 1111 63 0 10107 0
vsize: 40680
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 7794 0 0 0 58989 19 0 0 25 0 1 0 840867013 42102784 7714 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10279 7714 1111 63 0 10216 0
vsize: 41116
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 7907 0 0 0 59989 19 0 0 25 0 1 0 840867013 42553344 7827 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10389 7827 1111 63 0 10326 0
vsize: 41556
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 8024 0 0 0 60989 20 0 0 25 0 1 0 840867013 43151360 7944 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 7944 1111 63 0 10472 0
vsize: 42140
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 8140 0 0 0 61989 20 0 0 25 0 1 0 840867013 43606016 8060 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10646 8060 1111 63 0 10583 0
vsize: 42584
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 8251 0 0 0 62989 20 0 0 25 0 1 0 840867013 44048384 8171 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10754 8171 1111 63 0 10691 0
vsize: 43016
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 8368 0 0 0 63989 20 0 0 25 0 1 0 840867013 44470272 8288 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 8288 1111 63 0 10794 0
vsize: 43428
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 8479 0 0 0 64989 20 0 0 25 0 1 0 840867013 44920832 8399 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10967 8399 1111 63 0 10904 0
vsize: 43868
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 8595 0 0 0 65989 21 0 0 25 0 1 0 840867013 45371392 8515 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11077 8515 1111 63 0 11014 0
vsize: 44308
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 8713 0 0 0 66989 21 0 0 25 0 1 0 840867013 45973504 8633 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11224 8633 1111 63 0 11161 0
vsize: 44896
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 8829 0 0 0 67989 21 0 0 25 0 1 0 840867013 46419968 8749 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11333 8749 1111 63 0 11270 0
vsize: 45332
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 8940 0 0 0 68989 21 0 0 25 0 1 0 840867013 46874624 8860 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 8860 1111 63 0 11381 0
vsize: 45776
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 9076 0 0 0 69989 21 0 0 25 0 1 0 840867013 47579136 8996 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 8996 1111 63 0 11553 0
vsize: 46464
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 9193 0 0 0 70989 22 0 0 25 0 1 0 840867013 47996928 9113 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11718 9113 1111 63 0 11655 0
vsize: 46872
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 9303 0 0 0 71988 22 0 0 25 0 1 0 840867013 48439296 9223 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11826 9223 1111 63 0 11763 0
vsize: 47304
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 9421 0 0 0 72988 23 0 0 25 0 1 0 840867013 48893952 9341 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11937 9341 1111 63 0 11874 0
vsize: 47748
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 9537 0 0 0 73988 23 0 0 25 0 1 0 840867013 49340416 9457 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12046 9457 1111 63 0 11983 0
vsize: 48184
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 9656 0 0 0 74988 23 0 0 25 0 1 0 840867013 49942528 9576 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9576 1111 63 0 12130 0
vsize: 48772
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 9772 0 0 0 75987 24 0 0 25 0 1 0 840867013 50388992 9692 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9692 1111 63 0 12239 0
vsize: 49208
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 9890 0 0 0 76988 24 0 0 25 0 1 0 840867013 50814976 9810 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12406 9810 1111 63 0 12343 0
vsize: 49624
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 10000 0 0 0 77988 24 0 0 25 0 1 0 840867013 51257344 9920 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12514 9920 1111 63 0 12451 0
vsize: 50056
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 10120 0 0 0 78988 24 0 0 25 0 1 0 840867013 51712000 10040 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12625 10040 1111 63 0 12562 0
vsize: 50500
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 10236 0 0 0 79988 24 0 0 25 0 1 0 840867013 52310016 10156 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10156 1111 63 0 12708 0
vsize: 51084
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 10353 0 0 0 80988 24 0 0 25 0 1 0 840867013 52760576 10273 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10273 1111 63 0 12818 0
vsize: 51524
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 10470 0 0 0 81988 25 0 0 25 0 1 0 840867013 53207040 10390 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10390 1111 63 0 12927 0
vsize: 51960
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 10582 0 0 0 82988 25 0 0 25 0 1 0 840867013 53657600 10502 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10502 1111 63 0 13037 0
vsize: 52400
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 10701 0 0 0 83987 25 0 0 25 0 1 0 840867013 54108160 10621 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10621 1111 63 0 13147 0
vsize: 52840
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 10817 0 0 0 84987 26 0 0 25 0 1 0 840867013 54558720 10737 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13320 10737 1111 63 0 13257 0
vsize: 53280
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 10935 0 0 0 85987 26 0 0 25 0 1 0 840867013 55160832 10855 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10855 1111 63 0 13404 0
vsize: 53868
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 11052 0 0 0 86988 26 0 0 25 0 1 0 840867013 55607296 10972 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10972 1111 63 0 13513 0
vsize: 54304
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 11171 0 0 0 87988 26 0 0 25 0 1 0 840867013 56057856 11091 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11091 1111 63 0 13623 0
vsize: 54744
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 11287 0 0 0 88987 27 0 0 25 0 1 0 840867013 56508416 11207 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11207 1111 63 0 13733 0
vsize: 55184
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 11405 0 0 0 89987 27 0 0 25 0 1 0 840867013 56958976 11325 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13906 11325 1111 63 0 13843 0
vsize: 55624
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 11523 0 0 0 90987 27 0 0 25 0 1 0 840867013 57552896 11443 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11443 1111 63 0 13988 0
vsize: 56204
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 11641 0 0 0 91987 27 0 0 25 0 1 0 840867013 58007552 11561 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11561 1111 63 0 14099 0
vsize: 56648
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 11758 0 0 0 92987 27 0 0 25 0 1 0 840867013 58454016 11678 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11678 1111 63 0 14208 0
vsize: 57084
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 11876 0 0 0 93987 28 0 0 25 0 1 0 840867013 58908672 11796 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11796 1111 63 0 14319 0
vsize: 57528
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 11992 0 0 0 94987 28 0 0 25 0 1 0 840867013 59351040 11912 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 11912 1111 63 0 14427 0
vsize: 57960
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 12112 0 0 0 95987 28 0 0 25 0 1 0 840867013 59953152 12032 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12032 1111 63 0 14574 0
vsize: 58548
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 12234 0 0 0 96987 28 0 0 25 0 1 0 840867013 60403712 12154 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12154 1111 63 0 14684 0
vsize: 58988
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 12352 0 0 0 97987 28 0 0 25 0 1 0 840867013 60854272 12272 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12272 1111 63 0 14794 0
vsize: 59428
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 12470 0 0 0 98987 29 0 0 25 0 1 0 840867013 61300736 12390 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12390 1111 63 0 14903 0
vsize: 59864
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 12587 0 0 0 99987 29 0 0 25 0 1 0 840867013 61902848 12507 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15113 12507 1111 63 0 15050 0
vsize: 60452
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 12706 0 0 0 100986 30 0 0 25 0 1 0 840867013 62353408 12626 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12626 1111 63 0 15160 0
vsize: 60892
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 12828 0 0 0 101987 30 0 0 25 0 1 0 840867013 62803968 12748 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12748 1111 63 0 15270 0
vsize: 61332
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 12946 0 0 0 102987 30 0 0 25 0 1 0 840867013 63254528 12866 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12866 1111 63 0 15380 0
vsize: 61772
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 13064 0 0 0 103987 30 0 0 25 0 1 0 840867013 63848448 12984 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15588 12984 1111 63 0 15525 0
vsize: 62352
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 13183 0 0 0 104987 30 0 0 25 0 1 0 840867013 64303104 13103 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15699 13103 1111 63 0 15636 0
vsize: 62796
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 13300 0 0 0 105986 30 0 0 25 0 1 0 840867013 64749568 13220 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13220 1111 63 0 15745 0
vsize: 63232
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 13418 0 0 0 106986 31 0 0 25 0 1 0 840867013 65204224 13338 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13338 1111 63 0 15856 0
vsize: 63676
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 13541 0 0 0 107986 31 0 0 25 0 1 0 840867013 65798144 13461 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16064 13461 1111 63 0 16001 0
vsize: 64256
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 13661 0 0 0 108986 31 0 0 25 0 1 0 840867013 66248704 13581 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16174 13581 1111 63 0 16111 0
vsize: 64696
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 13777 0 0 0 109986 31 0 0 25 0 1 0 840867013 66699264 13697 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16284 13697 1111 63 0 16221 0
vsize: 65136
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 13902 0 0 0 110986 31 0 0 25 0 1 0 840867013 67149824 13822 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13822 1111 63 0 16331 0
vsize: 65576
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 14021 0 0 0 111986 32 0 0 25 0 1 0 840867013 67751936 13941 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16541 13941 1111 63 0 16478 0
vsize: 66164
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 14138 0 0 0 112986 32 0 0 25 0 1 0 840867013 68198400 14058 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16650 14058 1111 63 0 16587 0
vsize: 66600
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 14257 0 0 0 113986 32 0 0 25 0 1 0 840867013 68653056 14177 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14177 1111 63 0 16698 0
vsize: 67044
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 14379 0 0 0 114986 32 0 0 25 0 1 0 840867013 69099520 14299 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14299 1111 63 0 16807 0
vsize: 67480
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 14505 0 0 0 115986 33 0 0 25 0 1 0 840867013 69701632 14425 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17017 14425 1111 63 0 16954 0
vsize: 68068
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 14623 0 0 0 116986 34 0 0 25 0 1 0 840867013 70148096 14543 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17126 14543 1111 63 0 17063 0
vsize: 68504
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 14741 0 0 0 117985 34 0 0 25 0 1 0 840867013 70598656 14661 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17236 14661 1111 63 0 17173 0
vsize: 68944
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 14858 0 0 0 118985 35 0 0 25 0 1 0 840867013 71045120 14778 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14778 1111 63 0 17282 0
vsize: 69380
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) R 15461 8378 8377 0 -1 0 14983 0 0 0 119985 35 0 0 25 0 1 0 840867013 71647232 14903 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17492 14903 1111 63 0 17429 0
vsize: 69968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 15462
Raw data (stat): 15462 (bsolo_lpr-v2) Z 15461 8378 8377 0 -1 1036 14983 0 0 0 119985 37 0 0 25 0 1 0 840867013 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.05
CPU time (s): 1200.23
CPU user time (s): 1199.85
CPU system time (s): 0.379942
CPU usage (%): 100.015
Max. virtual memory (Kb): 69968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####