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-n3707.opb
MD5SUM	9a33380ca74da1778d689b1fccd15cfc
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	29764190431236
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	29764190431236
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.42078
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 40063

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 01:49:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28129 boxname=wulflinc5 idbench=1085 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  9a33380ca74da1778d689b1fccd15cfc  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-n3707.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-n3707.opb
IDLAUNCH: 28129
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        839100 kB
Buffers:          9448 kB
Cached:         163384 kB
SwapCached:        704 kB
Active:          32592 kB
Inactive:       142304 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        838820 kB
SwapTotal:     2097136 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            14952 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 02:09:14 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 28129 7 1200.25 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): 1.00 0.97 0.91 1/54 11996
Raw data (stat): 11996 (runsolver) R 11995 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897799473 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 1298 0 0 0 993 5 0 0 25 0 1 0 897799473 15511552 1218 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 1408 0 0 0 1993 5 0 0 25 0 1 0 897799473 15941632 1328 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.0007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 1517 0 0 0 2993 5 0 0 25 0 1 0 897799473 16379904 1437 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.0014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 1627 0 0 0 3993 5 0 0 25 0 1 0 897799473 16834560 1547 4294967295 134512640 134716908 3221224576 3221222804 1077414351 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.0022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 1739 0 0 0 4993 5 0 0 25 0 1 0 897799473 17412096 1659 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 1850 0 0 0 5993 6 0 0 25 0 1 0 897799473 17862656 1770 4294967295 134512640 134716908 3221224576 3221222804 1077414345 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.0027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 1953 0 0 0 6993 6 0 0 25 0 1 0 897799473 18161664 1873 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1873 1111 63 0 4371 0
vsize: 17736
[startup+80.0035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 2069 0 0 0 7993 6 0 0 25 0 1 0 897799473 18763776 1989 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.0042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 2178 0 0 0 8993 7 0 0 25 0 1 0 897799473 19197952 2098 4294967295 134512640 134716908 3221224576 3221222804 1077414357 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.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 2294 0 0 0 9992 7 0 0 25 0 1 0 897799473 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.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 2397 0 0 0 10992 7 0 0 25 0 1 0 897799473 20103168 2317 4294967295 134512640 134716908 3221224576 3221222804 1077414385 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.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 2514 0 0 0 11992 8 0 0 25 0 1 0 897799473 20557824 2434 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 2434 1111 63 0 4956 0
vsize: 20076
[startup+130.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 2617 0 0 0 12992 8 0 0 25 0 1 0 897799473 21004288 2537 4294967295 134512640 134716908 3221224576 3221222804 1077414351 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.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 2733 0 0 0 13992 8 0 0 25 0 1 0 897799473 21434368 2653 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 2653 1111 63 0 5170 0
vsize: 20932
[startup+150.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 2836 0 0 0 14992 8 0 0 25 0 1 0 897799473 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.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 2953 0 0 0 15992 9 0 0 25 0 1 0 897799473 22323200 2873 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 2873 1111 63 0 5387 0
vsize: 21800
[startup+170.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 3056 0 0 0 16992 9 0 0 25 0 1 0 897799473 22773760 2976 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 3180 0 0 0 17992 9 0 0 25 0 1 0 897799473 23232512 3100 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 3100 1111 63 0 5609 0
vsize: 22688
[startup+190.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 3283 0 0 0 18992 9 0 0 25 0 1 0 897799473 23662592 3203 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3203 1111 63 0 5714 0
vsize: 23108
[startup+200.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 3399 0 0 0 19992 9 0 0 25 0 1 0 897799473 24113152 3319 4294967295 134512640 134716908 3221224576 3221222804 1077414336 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.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 3509 0 0 0 20992 9 0 0 25 0 1 0 897799473 24559616 3429 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3429 1111 63 0 5933 0
vsize: 23984
[startup+220.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 3620 0 0 0 21992 10 0 0 25 0 1 0 897799473 25010176 3540 4294967295 134512640 134716908 3221224576 3221222804 1077414357 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.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 3730 0 0 0 22993 10 0 0 25 0 1 0 897799473 25460736 3650 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3650 1111 63 0 6153 0
vsize: 24864
[startup+240.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 3841 0 0 0 23993 10 0 0 25 0 1 0 897799473 25911296 3761 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 3950 0 0 0 24993 10 0 0 25 0 1 0 897799473 26357760 3870 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 4062 0 0 0 25992 10 0 0 25 0 1 0 897799473 26804224 3982 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 4178 0 0 0 26993 11 0 0 25 0 1 0 897799473 27406336 4098 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6691 4098 1111 63 0 6628 0
vsize: 26764
[startup+280.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 4283 0 0 0 27993 11 0 0 25 0 1 0 897799473 27705344 4203 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 4398 0 0 0 28993 11 0 0 25 0 1 0 897799473 28307456 4318 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 4510 0 0 0 29993 11 0 0 25 0 1 0 897799473 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.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 4619 0 0 0 30993 11 0 0 25 0 1 0 897799473 29175808 4539 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 4736 0 0 0 31993 12 0 0 25 0 1 0 897799473 29626368 4656 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7233 4656 1111 63 0 7170 0
vsize: 28932
[startup+330.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 4845 0 0 0 32993 12 0 0 25 0 1 0 897799473 30076928 4765 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 4765 1111 63 0 7280 0
vsize: 29372
[startup+340.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 4956 0 0 0 33993 12 0 0 25 0 1 0 897799473 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.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 5066 0 0 0 34993 12 0 0 25 0 1 0 897799473 30973952 4986 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7562 4986 1111 63 0 7499 0
vsize: 30248
[startup+360.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 5188 0 0 0 35993 12 0 0 25 0 1 0 897799473 31461376 5108 4294967295 134512640 134716908 3221224576 3221222804 1077414383 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.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 5303 0 0 0 36993 12 0 0 25 0 1 0 897799473 32059392 5223 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 5415 0 0 0 37993 12 0 0 25 0 1 0 897799473 32514048 5335 4294967295 134512640 134716908 3221224576 3221222804 1077414435 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.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 5525 0 0 0 38993 13 0 0 25 0 1 0 897799473 32956416 5445 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8046 5445 1111 63 0 7983 0
vsize: 32184
[startup+400.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 5643 0 0 0 39994 13 0 0 25 0 1 0 897799473 33411072 5563 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8157 5563 1111 63 0 8094 0
vsize: 32628
[startup+410.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 5752 0 0 0 40994 13 0 0 25 0 1 0 897799473 33857536 5672 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8266 5672 1111 63 0 8203 0
vsize: 33064
[startup+420.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 5864 0 0 0 41994 13 0 0 25 0 1 0 897799473 34312192 5784 4294967295 134512640 134716908 3221224576 3221222804 1077414408 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.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 5980 0 0 0 42994 13 0 0 25 0 1 0 897799473 34758656 5900 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8486 5900 1111 63 0 8423 0
vsize: 33944
[startup+440.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 6091 0 0 0 43994 13 0 0 25 0 1 0 897799473 35213312 6011 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8597 6011 1111 63 0 8534 0
vsize: 34388
[startup+450.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 6201 0 0 0 44993 14 0 0 25 0 1 0 897799473 35655680 6121 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 6318 0 0 0 45993 15 0 0 25 0 1 0 897799473 36110336 6238 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 6429 0 0 0 46993 15 0 0 25 0 1 0 897799473 36556800 6349 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8925 6349 1111 63 0 8862 0
vsize: 35700
[startup+480.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 6546 0 0 0 47993 15 0 0 25 0 1 0 897799473 37011456 6466 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9036 6466 1111 63 0 8973 0
vsize: 36144
[startup+490.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 6657 0 0 0 48993 15 0 0 25 0 1 0 897799473 37453824 6577 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9144 6577 1111 63 0 9081 0
vsize: 36576
[startup+500.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 6774 0 0 0 49993 15 0 0 25 0 1 0 897799473 38055936 6694 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 6694 1111 63 0 9228 0
vsize: 37164
[startup+510.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 6884 0 0 0 50993 16 0 0 25 0 1 0 897799473 38506496 6804 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6804 1111 63 0 9338 0
vsize: 37604
[startup+520.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 6995 0 0 0 51993 16 0 0 25 0 1 0 897799473 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.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 7112 0 0 0 52993 16 0 0 25 0 1 0 897799473 39403520 7032 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 7229 0 0 0 53993 16 0 0 25 0 1 0 897799473 39854080 7149 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9730 7149 1111 63 0 9667 0
vsize: 38920
[startup+550.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 7339 0 0 0 54993 16 0 0 25 0 1 0 897799473 40304640 7259 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9840 7259 1111 63 0 9777 0
vsize: 39360
[startup+560.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 7451 0 0 0 55993 17 0 0 25 0 1 0 897799473 40755200 7371 4294967295 134512640 134716908 3221224576 3221222804 1077414401 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.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 7567 0 0 0 56993 17 0 0 25 0 1 0 897799473 41205760 7487 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 7487 1111 63 0 9997 0
vsize: 40240
[startup+580.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 7685 0 0 0 57993 17 0 0 25 0 1 0 897799473 41656320 7605 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10170 7605 1111 63 0 10107 0
vsize: 40680
[startup+590.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 7795 0 0 0 58993 17 0 0 25 0 1 0 897799473 42102784 7715 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10279 7715 1111 63 0 10216 0
vsize: 41116
[startup+600.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 7913 0 0 0 59993 17 0 0 25 0 1 0 897799473 42704896 7833 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10426 7833 1111 63 0 10363 0
vsize: 41704
[startup+610.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 8025 0 0 0 60993 18 0 0 25 0 1 0 897799473 43151360 7945 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 7945 1111 63 0 10472 0
vsize: 42140
[startup+620.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 8140 0 0 0 61993 18 0 0 25 0 1 0 897799473 43606016 8060 4294967295 134512640 134716908 3221224576 3221222804 1077414360 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.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 8258 0 0 0 62993 18 0 0 25 0 1 0 897799473 44048384 8178 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10754 8178 1111 63 0 10691 0
vsize: 43016
[startup+640.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 8369 0 0 0 63993 18 0 0 25 0 1 0 897799473 44470272 8289 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 8289 1111 63 0 10794 0
vsize: 43428
[startup+650.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11996
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 8486 0 0 0 64993 19 0 0 25 0 1 0 897799473 44920832 8406 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10967 8406 1111 63 0 10904 0
vsize: 43868
[startup+660.029 s]
Raw data (loadavg): 1.16 1.00 0.93 2/54 12049
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 8596 0 0 0 65984 27 0 0 25 0 1 0 897799473 45371392 8516 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11077 8516 1111 63 0 11014 0
vsize: 44308
[startup+670.029 s]
Raw data (loadavg): 1.13 1.00 0.93 2/54 12049
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 8713 0 0 0 66984 27 0 0 25 0 1 0 897799473 45973504 8633 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.029 s]
Raw data (loadavg): 1.11 1.00 0.93 2/54 12049
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 8829 0 0 0 67984 27 0 0 25 0 1 0 897799473 46419968 8749 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.03 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 12049
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 8946 0 0 0 68984 28 0 0 25 0 1 0 897799473 46874624 8866 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 8866 1111 63 0 11381 0
vsize: 45776
[startup+700.03 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 12049
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 9076 0 0 0 69983 28 0 0 25 0 1 0 897799473 47579136 8996 4294967295 134512640 134716908 3221224576 3221223232 134527946 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.03 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 12049
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 9194 0 0 0 70983 28 0 0 25 0 1 0 897799473 47996928 9114 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11718 9114 1111 63 0 11655 0
vsize: 46872
[startup+720.031 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 9310 0 0 0 71983 29 0 0 25 0 1 0 897799473 48439296 9230 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11826 9230 1111 63 0 11763 0
vsize: 47304
[startup+730.03 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 9421 0 0 0 72982 30 0 0 25 0 1 0 897799473 48893952 9341 4294967295 134512640 134716908 3221224576 3221222804 1077414376 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.032 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 9537 0 0 0 73982 30 0 0 25 0 1 0 897799473 49340416 9457 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.032 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 9657 0 0 0 74982 31 0 0 25 0 1 0 897799473 49942528 9577 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9577 1111 63 0 12130 0
vsize: 48772
[startup+760.032 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 9773 0 0 0 75981 31 0 0 25 0 1 0 897799473 50388992 9693 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9693 1111 63 0 12239 0
vsize: 49208
[startup+770.033 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 9890 0 0 0 76981 32 0 0 25 0 1 0 897799473 50814976 9810 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.033 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 10006 0 0 0 77981 32 0 0 25 0 1 0 897799473 51257344 9926 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12514 9926 1111 63 0 12451 0
vsize: 50056
[startup+790.034 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 10120 0 0 0 78980 33 0 0 25 0 1 0 897799473 51712000 10040 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.034 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 10236 0 0 0 79980 33 0 0 25 0 1 0 897799473 52310016 10156 4294967295 134512640 134716908 3221224576 3221222804 1077414351 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.034 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 10354 0 0 0 80979 34 0 0 25 0 1 0 897799473 52760576 10274 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10274 1111 63 0 12818 0
vsize: 51524
[startup+820.035 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 10471 0 0 0 81979 35 0 0 25 0 1 0 897799473 53207040 10391 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10391 1111 63 0 12927 0
vsize: 51960
[startup+830.034 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 10589 0 0 0 82979 35 0 0 25 0 1 0 897799473 53657600 10509 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10509 1111 63 0 13037 0
vsize: 52400
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 10701 0 0 0 83978 36 0 0 25 0 1 0 897799473 54108160 10621 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 10817 0 0 0 84978 37 0 0 25 0 1 0 897799473 54558720 10737 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 10935 0 0 0 85978 37 0 0 25 0 1 0 897799473 55160832 10855 4294967295 134512640 134716908 3221224576 3221222804 1077414360 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.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 11052 0 0 0 86978 37 0 0 25 0 1 0 897799473 55607296 10972 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 11171 0 0 0 87977 38 0 0 25 0 1 0 897799473 56057856 11091 4294967295 134512640 134716908 3221224576 3221223232 134527946 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.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 11287 0 0 0 88977 39 0 0 25 0 1 0 897799473 56508416 11207 4294967295 134512640 134716908 3221224576 3221222804 1077414401 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.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 11405 0 0 0 89977 39 0 0 25 0 1 0 897799473 56958976 11325 4294967295 134512640 134716908 3221224576 3221222804 1077414433 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.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 11523 0 0 0 90976 39 0 0 25 0 1 0 897799473 57552896 11443 4294967295 134512640 134716908 3221224576 3221223232 134527932 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.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 11641 0 0 0 91976 40 0 0 25 0 1 0 897799473 58007552 11561 4294967295 134512640 134716908 3221224576 3221223232 134527932 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.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 11758 0 0 0 92975 41 0 0 25 0 1 0 897799473 58454016 11678 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 11876 0 0 0 93975 41 0 0 25 0 1 0 897799473 58908672 11796 4294967295 134512640 134716908 3221224576 3221222804 1077414351 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.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 11992 0 0 0 94975 42 0 0 25 0 1 0 897799473 59351040 11912 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 12112 0 0 0 95974 42 0 0 25 0 1 0 897799473 59953152 12032 4294967295 134512640 134716908 3221224576 3221222804 1077414395 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.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 12228 0 0 0 96974 43 0 0 25 0 1 0 897799473 60403712 12148 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12148 1111 63 0 14684 0
vsize: 58988
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 12352 0 0 0 97974 43 0 0 25 0 1 0 897799473 60854272 12272 4294967295 134512640 134716908 3221224576 3221222804 1077414345 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.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 12470 0 0 0 98973 44 0 0 25 0 1 0 897799473 61300736 12390 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 12587 0 0 0 99973 45 0 0 25 0 1 0 897799473 61902848 12507 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12051
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 12706 0 0 0 100973 45 0 0 25 0 1 0 897799473 62353408 12626 4294967295 134512640 134716908 3221224576 3221222804 1077414420 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.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 12822 0 0 0 101972 46 0 0 25 0 1 0 897799473 62803968 12742 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12742 1111 63 0 15270 0
vsize: 61332
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 12946 0 0 0 102972 46 0 0 25 0 1 0 897799473 63254528 12866 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 13064 0 0 0 103971 47 0 0 25 0 1 0 897799473 63848448 12984 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 13183 0 0 0 104971 48 0 0 25 0 1 0 897799473 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.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 13299 0 0 0 105970 48 0 0 25 0 1 0 897799473 64749568 13219 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13219 1111 63 0 15745 0
vsize: 63232
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 13418 0 0 0 106970 49 0 0 25 0 1 0 897799473 65204224 13338 4294967295 134512640 134716908 3221224576 3221222804 1077414420 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.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 13535 0 0 0 107970 49 0 0 25 0 1 0 897799473 65650688 13455 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16028 13455 1111 63 0 15965 0
vsize: 64112
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 13660 0 0 0 108969 50 0 0 25 0 1 0 897799473 66248704 13580 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16174 13580 1111 63 0 16111 0
vsize: 64696
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 13777 0 0 0 109970 50 0 0 25 0 1 0 897799473 66699264 13697 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 13901 0 0 0 110969 50 0 0 25 0 1 0 897799473 67149824 13821 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13821 1111 63 0 16331 0
vsize: 65576
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 14020 0 0 0 111968 51 0 0 25 0 1 0 897799473 67751936 13940 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16541 13940 1111 63 0 16478 0
vsize: 66164
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 14138 0 0 0 112968 52 0 0 25 0 1 0 897799473 68198400 14058 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 14256 0 0 0 113968 52 0 0 25 0 1 0 897799473 68653056 14176 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14176 1111 63 0 16698 0
vsize: 67044
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 14373 0 0 0 114968 52 0 0 25 0 1 0 897799473 69099520 14293 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14293 1111 63 0 16807 0
vsize: 67480
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 14498 0 0 0 115968 53 0 0 25 0 1 0 897799473 69701632 14418 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17017 14418 1111 63 0 16954 0
vsize: 68068
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 14622 0 0 0 116968 53 0 0 25 0 1 0 897799473 70148096 14542 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17126 14542 1111 63 0 17063 0
vsize: 68504
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 14741 0 0 0 117968 53 0 0 25 0 1 0 897799473 70598656 14661 4294967295 134512640 134716908 3221224576 3221222804 1077414433 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.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 14857 0 0 0 118967 54 0 0 25 0 1 0 897799473 71045120 14777 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14777 1111 63 0 17282 0
vsize: 69380
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) R 11995 7266 7265 0 -1 0 14983 0 0 0 119967 54 0 0 25 0 1 0 897799473 71647232 14903 4294967295 134512640 134716908 3221224576 3221222804 1077414336 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.07 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 12053
Raw data (stat): 11996 (bsolo_lpr-v2) Z 11995 7266 7265 0 -1 1036 14983 0 0 0 119967 57 0 0 25 0 1 0 897799473 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.25
CPU user time (s): 1199.68
CPU system time (s): 0.570913
CPU usage (%): 100.015
Max. virtual memory (Kb): 69968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####