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-n3706.opb
MD5SUM	9e0552681bd542cf776486fc35ee9977
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	29645337650291
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	29645337650291
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 28166

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 00:54:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14081 boxname=wulflinc9 idbench=1084 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  9e0552681bd542cf776486fc35ee9977  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-n3706.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-n3706.opb
IDLAUNCH: 14081
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        654364 kB
Buffers:         18628 kB
Cached:         340864 kB
SwapCached:        364 kB
Active:          99656 kB
Inactive:       262360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        654112 kB
SwapTotal:     2097136 kB
SwapFree:      2096368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6352 kB
Slab:            12640 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:15:01 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 14081 7 1200.24 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
Raw data (loadavg): 0.88 0.95 0.91 2/54 13967
Raw data (stat): 13967 (runsolver) R 13966 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776496782 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 1296 0 0 0 993 4 0 0 25 0 1 0 776496782 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.002 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 1406 0 0 0 1992 5 0 0 25 0 1 0 776496782 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0014 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 1515 0 0 0 2992 6 0 0 25 0 1 0 776496782 16379904 1439 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1439 1111 63 0 3936 0
vsize: 15996
[startup+40.0026 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 1625 0 0 0 3992 6 0 0 25 0 1 0 776496782 16834560 1549 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1549 1111 63 0 4047 0
vsize: 16440
[startup+50.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 1737 0 0 0 4992 6 0 0 25 0 1 0 776496782 17412096 1661 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 1661 1111 63 0 4188 0
vsize: 17004
[startup+60.0038 s]
Raw data (loadavg): 0.95 0.96 0.91 3/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 1848 0 0 0 5991 7 0 0 25 0 1 0 776496782 17862656 1772 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 1772 1111 63 0 4298 0
vsize: 17444
[startup+70.0039 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 1951 0 0 0 6991 8 0 0 25 0 1 0 776496782 18161664 1875 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1875 1111 63 0 4371 0
vsize: 17736
[startup+80.0043 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 2067 0 0 0 7990 8 0 0 25 0 1 0 776496782 18763776 1991 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4581 1991 1111 63 0 4518 0
vsize: 18324
[startup+90.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 2176 0 0 0 8990 9 0 0 25 0 1 0 776496782 19197952 2100 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4687 2100 1111 63 0 4624 0
vsize: 18748
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 2291 0 0 0 9989 9 0 0 25 0 1 0 776496782 19656704 2215 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 2215 1111 63 0 4736 0
vsize: 19196
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 2395 0 0 0 10989 10 0 0 25 0 1 0 776496782 20103168 2319 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 2319 1111 63 0 4845 0
vsize: 19632
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 2506 0 0 0 11989 10 0 0 25 0 1 0 776496782 20557824 2430 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 2430 1111 63 0 4956 0
vsize: 20076
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 2615 0 0 0 12989 11 0 0 25 0 1 0 776496782 21004288 2539 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5128 2539 1111 63 0 5065 0
vsize: 20512
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 2725 0 0 0 13988 11 0 0 25 0 1 0 776496782 21434368 2649 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 2649 1111 63 0 5170 0
vsize: 20932
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 2834 0 0 0 14987 12 0 0 25 0 1 0 776496782 21872640 2758 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 2758 1111 63 0 5277 0
vsize: 21360
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 2951 0 0 0 15987 13 0 0 25 0 1 0 776496782 22323200 2875 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 2875 1111 63 0 5387 0
vsize: 21800
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 3054 0 0 0 16987 13 0 0 25 0 1 0 776496782 22773760 2978 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 2978 1111 63 0 5497 0
vsize: 22240
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 3172 0 0 0 17987 13 0 0 25 0 1 0 776496782 23232512 3096 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 3096 1111 63 0 5609 0
vsize: 22688
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 3280 0 0 0 18987 14 0 0 25 0 1 0 776496782 23662592 3204 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3204 1111 63 0 5714 0
vsize: 23108
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 3390 0 0 0 19987 14 0 0 25 0 1 0 776496782 24113152 3314 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3314 1111 63 0 5824 0
vsize: 23548
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 3500 0 0 0 20987 14 0 0 25 0 1 0 776496782 24559616 3424 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3424 1111 63 0 5933 0
vsize: 23984
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 3611 0 0 0 21986 15 0 0 25 0 1 0 776496782 25010176 3535 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3535 1111 63 0 6043 0
vsize: 24424
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 3721 0 0 0 22986 15 0 0 25 0 1 0 776496782 25460736 3645 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3645 1111 63 0 6153 0
vsize: 24864
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 3831 0 0 0 23986 15 0 0 25 0 1 0 776496782 25911296 3755 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3755 1111 63 0 6263 0
vsize: 25304
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 3940 0 0 0 24986 15 0 0 25 0 1 0 776496782 26357760 3864 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3864 1111 63 0 6372 0
vsize: 25740
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 4046 0 0 0 25986 16 0 0 25 0 1 0 776496782 26804224 3970 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3970 1111 63 0 6481 0
vsize: 26176
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 4162 0 0 0 26986 16 0 0 25 0 1 0 776496782 27258880 4086 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4086 1111 63 0 6592 0
vsize: 26620
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 4266 0 0 0 27986 16 0 0 25 0 1 0 776496782 27705344 4190 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4190 1111 63 0 6701 0
vsize: 27056
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 4381 0 0 0 28986 16 0 0 25 0 1 0 776496782 28160000 4305 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4305 1111 63 0 6812 0
vsize: 27500
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13967
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 4493 0 0 0 29985 17 0 0 25 0 1 0 776496782 28602368 4417 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4417 1111 63 0 6920 0
vsize: 27932
[startup+310.01 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 14020
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 4602 0 0 0 30985 17 0 0 25 0 1 0 776496782 29028352 4526 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4526 1111 63 0 7024 0
vsize: 28348
[startup+320.011 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 14020
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 4713 0 0 0 31985 18 0 0 25 0 1 0 776496782 29474816 4637 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4637 1111 63 0 7133 0
vsize: 28784
[startup+330.012 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 14020
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 4822 0 0 0 32984 19 0 0 25 0 1 0 776496782 29925376 4746 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4746 1111 63 0 7243 0
vsize: 29224
[startup+340.012 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 14020
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 4933 0 0 0 33984 19 0 0 25 0 1 0 776496782 30375936 4857 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 4857 1111 63 0 7353 0
vsize: 29664
[startup+350.013 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 14020
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 5042 0 0 0 34983 20 0 0 25 0 1 0 776496782 30826496 4966 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 4966 1111 63 0 7463 0
vsize: 30104
[startup+360.013 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 14020
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 5164 0 0 0 35983 20 0 0 25 0 1 0 776496782 31461376 5088 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7681 5088 1111 63 0 7618 0
vsize: 30724
[startup+370.013 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 14020
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 5273 0 0 0 36983 21 0 0 25 0 1 0 776496782 31911936 5197 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7791 5197 1111 63 0 7728 0
vsize: 31164
[startup+380.013 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 14020
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 5391 0 0 0 37982 21 0 0 25 0 1 0 776496782 32362496 5315 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7901 5315 1111 63 0 7838 0
vsize: 31604
[startup+390.013 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 5494 0 0 0 38982 22 0 0 25 0 1 0 776496782 32813056 5418 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8011 5418 1111 63 0 7948 0
vsize: 32044
[startup+400.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 5611 0 0 0 39981 23 0 0 25 0 1 0 776496782 33263616 5535 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8121 5535 1111 63 0 8058 0
vsize: 32484
[startup+410.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 5721 0 0 0 40981 23 0 0 25 0 1 0 776496782 33710080 5645 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8230 5645 1111 63 0 8167 0
vsize: 32920
[startup+420.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 5832 0 0 0 41981 23 0 0 25 0 1 0 776496782 34160640 5756 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8340 5756 1111 63 0 8277 0
vsize: 33360
[startup+430.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 5942 0 0 0 42981 24 0 0 25 0 1 0 776496782 34611200 5866 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8450 5866 1111 63 0 8387 0
vsize: 33800
[startup+440.015 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 6053 0 0 0 43981 24 0 0 25 0 1 0 776496782 35061760 5977 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8560 5977 1111 63 0 8497 0
vsize: 34240
[startup+450.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 6169 0 0 0 44980 25 0 0 25 0 1 0 776496782 35508224 6093 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8669 6093 1111 63 0 8606 0
vsize: 34676
[startup+460.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 6280 0 0 0 45980 25 0 0 25 0 1 0 776496782 35958784 6204 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8779 6204 1111 63 0 8716 0
vsize: 35116
[startup+470.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 6390 0 0 0 46980 25 0 0 25 0 1 0 776496782 36409344 6314 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6314 1111 63 0 8826 0
vsize: 35556
[startup+480.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 6501 0 0 0 47980 26 0 0 25 0 1 0 776496782 36859904 6425 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 6425 1111 63 0 8936 0
vsize: 35996
[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 6611 0 0 0 48980 26 0 0 25 0 1 0 776496782 37306368 6535 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6535 1111 63 0 9045 0
vsize: 36432
[startup+500.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 6728 0 0 0 49979 27 0 0 25 0 1 0 776496782 37761024 6652 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 6652 1111 63 0 9156 0
vsize: 36876
[startup+510.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 6838 0 0 0 50979 28 0 0 25 0 1 0 776496782 38207488 6762 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9328 6762 1111 63 0 9265 0
vsize: 37312
[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 6950 0 0 0 51978 28 0 0 25 0 1 0 776496782 38658048 6874 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6874 1111 63 0 9375 0
vsize: 37752
[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 7065 0 0 0 52978 29 0 0 25 0 1 0 776496782 39256064 6989 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9584 6989 1111 63 0 9521 0
vsize: 38336
[startup+540.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 7177 0 0 0 53978 29 0 0 25 0 1 0 776496782 39710720 7101 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9695 7101 1111 63 0 9632 0
vsize: 38780
[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 7286 0 0 0 54977 30 0 0 25 0 1 0 776496782 40153088 7210 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9803 7210 1111 63 0 9740 0
vsize: 39212
[startup+560.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 7404 0 0 0 55976 31 0 0 25 0 1 0 776496782 40607744 7328 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9914 7328 1111 63 0 9851 0
vsize: 39656
[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 7514 0 0 0 56976 31 0 0 25 0 1 0 776496782 41054208 7438 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10023 7438 1111 63 0 9960 0
vsize: 40092
[startup+580.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 7626 0 0 0 57975 32 0 0 25 0 1 0 776496782 41508864 7550 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10134 7550 1111 63 0 10071 0
vsize: 40536
[startup+590.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 7741 0 0 0 58974 33 0 0 25 0 1 0 776496782 41951232 7665 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 7665 1111 63 0 10179 0
vsize: 40968
[startup+600.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 7852 0 0 0 59974 33 0 0 25 0 1 0 776496782 42405888 7776 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10353 7776 1111 63 0 10290 0
vsize: 41412
[startup+610.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 7963 0 0 0 60974 34 0 0 25 0 1 0 776496782 42852352 7887 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7887 1111 63 0 10399 0
vsize: 41848
[startup+620.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 8080 0 0 0 61973 35 0 0 25 0 1 0 776496782 43307008 8004 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 8004 1111 63 0 10510 0
vsize: 42292
[startup+630.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 8196 0 0 0 62972 36 0 0 25 0 1 0 776496782 43753472 8120 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8120 1111 63 0 10619 0
vsize: 42728
[startup+640.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 8307 0 0 0 63972 36 0 0 25 0 1 0 776496782 44326912 8231 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10822 8231 1111 63 0 10759 0
vsize: 43288
[startup+650.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 8417 0 0 0 64972 37 0 0 25 0 1 0 776496782 44769280 8341 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10930 8341 1111 63 0 10867 0
vsize: 43720
[startup+660.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 8535 0 0 0 65971 38 0 0 25 0 1 0 776496782 45223936 8459 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11041 8459 1111 63 0 10978 0
vsize: 44164
[startup+670.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14022
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 8644 0 0 0 66971 38 0 0 25 0 1 0 776496782 45670400 8568 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11150 8568 1111 63 0 11087 0
vsize: 44600
[startup+680.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 8761 0 0 0 67971 39 0 0 25 0 1 0 776496782 46125056 8685 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8685 1111 63 0 11198 0
vsize: 45044
[startup+690.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 8871 0 0 0 68971 39 0 0 25 0 1 0 776496782 46567424 8795 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8795 1111 63 0 11306 0
vsize: 45476
[startup+700.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 8988 0 0 0 69970 40 0 0 25 0 1 0 776496782 47022080 8912 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 8912 1111 63 0 11417 0
vsize: 45920
[startup+710.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 9124 0 0 0 70970 41 0 0 25 0 1 0 776496782 47718400 9048 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11650 9048 1111 63 0 11587 0
vsize: 46600
[startup+720.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 9235 0 0 0 71969 41 0 0 25 0 1 0 776496782 48144384 9159 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11754 9159 1111 63 0 11691 0
vsize: 47016
[startup+730.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 9345 0 0 0 72969 42 0 0 25 0 1 0 776496782 48590848 9269 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9269 1111 63 0 11800 0
vsize: 47452
[startup+740.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 9462 0 0 0 73969 42 0 0 25 0 1 0 776496782 49041408 9386 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 9386 1111 63 0 11910 0
vsize: 47892
[startup+750.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 9579 0 0 0 74968 43 0 0 25 0 1 0 776496782 49639424 9503 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12119 9503 1111 63 0 12056 0
vsize: 48476
[startup+760.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 9691 0 0 0 75968 43 0 0 25 0 1 0 776496782 50094080 9615 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12230 9615 1111 63 0 12167 0
vsize: 48920
[startup+770.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 9809 0 0 0 76968 44 0 0 25 0 1 0 776496782 50536448 9733 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12338 9733 1111 63 0 12275 0
vsize: 49352
[startup+780.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 9919 0 0 0 77967 44 0 0 25 0 1 0 776496782 50958336 9843 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 9843 1111 63 0 12378 0
vsize: 49764
[startup+790.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 10036 0 0 0 78967 45 0 0 25 0 1 0 776496782 51408896 9960 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9960 1111 63 0 12488 0
vsize: 50204
[startup+800.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 10154 0 0 0 79967 45 0 0 25 0 1 0 776496782 51859456 10078 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10078 1111 63 0 12598 0
vsize: 50644
[startup+810.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 10271 0 0 0 80967 46 0 0 25 0 1 0 776496782 52461568 10195 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12808 10195 1111 63 0 12745 0
vsize: 51232
[startup+820.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 10381 0 0 0 81967 46 0 0 25 0 1 0 776496782 52908032 10305 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12917 10305 1111 63 0 12854 0
vsize: 51668
[startup+830.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 10499 0 0 0 82966 46 0 0 25 0 1 0 776496782 53362688 10423 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13028 10423 1111 63 0 12965 0
vsize: 52112
[startup+840.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 10610 0 0 0 83966 47 0 0 25 0 1 0 776496782 53809152 10534 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13137 10534 1111 63 0 13074 0
vsize: 52548
[startup+850.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 10728 0 0 0 84966 47 0 0 25 0 1 0 776496782 54259712 10652 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10652 1111 63 0 13184 0
vsize: 52988
[startup+860.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 10844 0 0 0 85966 48 0 0 25 0 1 0 776496782 54710272 10768 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10768 1111 63 0 13294 0
vsize: 53428
[startup+870.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 10961 0 0 0 86964 49 0 0 25 0 1 0 776496782 55160832 10885 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10885 1111 63 0 13404 0
vsize: 53868
[startup+880.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 11078 0 0 0 87964 49 0 0 25 0 1 0 776496782 55754752 11002 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13612 11002 1111 63 0 13549 0
vsize: 54448
[startup+890.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 11197 0 0 0 88964 50 0 0 25 0 1 0 776496782 56209408 11121 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13723 11121 1111 63 0 13660 0
vsize: 54892
[startup+900.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 11307 0 0 0 89964 50 0 0 25 0 1 0 776496782 56655872 11231 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13832 11231 1111 63 0 13769 0
vsize: 55328
[startup+910.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 11425 0 0 0 90964 50 0 0 25 0 1 0 776496782 57110528 11349 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13943 11349 1111 63 0 13880 0
vsize: 55772
[startup+920.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 11542 0 0 0 91964 51 0 0 25 0 1 0 776496782 57552896 11466 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11466 1111 63 0 13988 0
vsize: 56204
[startup+930.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 11660 0 0 0 92963 51 0 0 25 0 1 0 776496782 58007552 11584 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11584 1111 63 0 14099 0
vsize: 56648
[startup+940.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 11770 0 0 0 93963 51 0 0 25 0 1 0 776496782 58454016 11694 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11694 1111 63 0 14208 0
vsize: 57084
[startup+950.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 11888 0 0 0 94963 52 0 0 25 0 1 0 776496782 59056128 11812 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14418 11812 1111 63 0 14355 0
vsize: 57672
[startup+960.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 12005 0 0 0 95963 52 0 0 25 0 1 0 776496782 59502592 11929 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14527 11929 1111 63 0 14464 0
vsize: 58108
[startup+970.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 12124 0 0 0 96962 53 0 0 25 0 1 0 776496782 59953152 12048 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12048 1111 63 0 14574 0
vsize: 58548
[startup+980.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 12242 0 0 0 97962 53 0 0 25 0 1 0 776496782 60403712 12166 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12166 1111 63 0 14684 0
vsize: 58988
[startup+990.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 12358 0 0 0 98962 54 0 0 25 0 1 0 776496782 60854272 12282 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12282 1111 63 0 14794 0
vsize: 59428
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 12476 0 0 0 99961 55 0 0 25 0 1 0 776496782 61456384 12400 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15004 12400 1111 63 0 14941 0
vsize: 60016
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 12592 0 0 0 100961 55 0 0 25 0 1 0 776496782 61902848 12516 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15113 12516 1111 63 0 15050 0
vsize: 60452
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 12711 0 0 0 101961 55 0 0 25 0 1 0 776496782 62353408 12635 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15223 12635 1111 63 0 15160 0
vsize: 60892
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 12827 0 0 0 102960 56 0 0 25 0 1 0 776496782 62803968 12751 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12751 1111 63 0 15270 0
vsize: 61332
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 12945 0 0 0 103960 57 0 0 25 0 1 0 776496782 63254528 12869 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12869 1111 63 0 15380 0
vsize: 61772
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 13062 0 0 0 104959 58 0 0 25 0 1 0 776496782 63848448 12986 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15588 12986 1111 63 0 15525 0
vsize: 62352
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 13181 0 0 0 105959 58 0 0 25 0 1 0 776496782 64303104 13105 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15699 13105 1111 63 0 15636 0
vsize: 62796
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 13297 0 0 0 106959 58 0 0 25 0 1 0 776496782 64749568 13221 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 13221 1111 63 0 15745 0
vsize: 63232
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 13415 0 0 0 107958 59 0 0 25 0 1 0 776496782 65204224 13339 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13339 1111 63 0 15856 0
vsize: 63676
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 13533 0 0 0 108958 59 0 0 25 0 1 0 776496782 65650688 13457 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13457 1111 63 0 15965 0
vsize: 64112
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 13651 0 0 0 109957 60 0 0 25 0 1 0 776496782 66248704 13575 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16174 13575 1111 63 0 16111 0
vsize: 64696
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 13768 0 0 0 110957 61 0 0 25 0 1 0 776496782 66699264 13692 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16284 13692 1111 63 0 16221 0
vsize: 65136
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 13886 0 0 0 111957 61 0 0 25 0 1 0 776496782 67149824 13810 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13810 1111 63 0 16331 0
vsize: 65576
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 14003 0 0 0 112956 62 0 0 25 0 1 0 776496782 67600384 13927 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13927 1111 63 0 16441 0
vsize: 66016
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 14122 0 0 0 113956 62 0 0 25 0 1 0 776496782 68050944 14046 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14046 1111 63 0 16551 0
vsize: 66456
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 14246 0 0 0 114956 63 0 0 25 0 1 0 776496782 68653056 14170 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16761 14170 1111 63 0 16698 0
vsize: 67044
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 14363 0 0 0 115955 64 0 0 25 0 1 0 776496782 69099520 14287 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16870 14287 1111 63 0 16807 0
vsize: 67480
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 14482 0 0 0 116954 65 0 0 25 0 1 0 776496782 69550080 14406 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14406 1111 63 0 16917 0
vsize: 67920
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 14605 0 0 0 117954 65 0 0 25 0 1 0 776496782 70148096 14529 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17126 14529 1111 63 0 17063 0
vsize: 68504
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 14724 0 0 0 118953 66 0 0 25 0 1 0 776496782 70598656 14648 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17236 14648 1111 63 0 17173 0
vsize: 68944
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) R 13966 3944 3943 0 -1 0 14840 0 0 0 119953 67 0 0 25 0 1 0 776496782 71045120 14764 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 14764 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 14024
Raw data (stat): 13967 (bsolo_lpr_cuts) Z 13966 3944 3943 0 -1 1036 14840 0 0 0 119953 69 0 0 23 0 1 0 776496782 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.1
CPU time (s): 1200.24
CPU user time (s): 1199.54
CPU system time (s): 0.699893
CPU usage (%): 100.012
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####