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-n3703.opb
MD5SUM	a137a4431766bfb5dcfb15040aa6f686
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	154999
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	29657420026984
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	29657420026984
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.43978
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 28194

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 00:57:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14042 boxname=wulflinc12 idbench=1081 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a137a4431766bfb5dcfb15040aa6f686  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n3703.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n3703.opb
IDLAUNCH: 14042
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        602528 kB
Buffers:         37388 kB
Cached:         373308 kB
SwapCached:        568 kB
Active:         128648 kB
Inactive:       284556 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        602276 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            13244 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:17:37 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 14042 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.94 0.90 2/54 6716
Raw data (stat): 6716 (runsolver) R 6715 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776506683 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 0.88 0.94 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 1296 0 0 0 992 5 0 0 25 0 1 0 776506683 15511552 1220 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0021 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 1406 0 0 0 1992 5 0 0 25 0 1 0 776506683 15941632 1330 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 1515 0 0 0 2992 5 0 0 25 0 1 0 776506683 16379904 1439 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1439 1111 63 0 3936 0
vsize: 15996
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 1625 0 0 0 3992 6 0 0 25 0 1 0 776506683 16834560 1549 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1549 1111 63 0 4047 0
vsize: 16440
[startup+50.0033 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 1737 0 0 0 4992 6 0 0 25 0 1 0 776506683 17412096 1661 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4251 1661 1111 63 0 4188 0
vsize: 17004
[startup+60.0116 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 1848 0 0 0 5993 6 0 0 25 0 1 0 776506683 17862656 1772 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1772 1111 63 0 4298 0
vsize: 17444
[startup+70.0124 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 1951 0 0 0 6993 6 0 0 25 0 1 0 776506683 18161664 1875 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1875 1111 63 0 4371 0
vsize: 17736
[startup+80.0122 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 2067 0 0 0 7993 6 0 0 25 0 1 0 776506683 18763776 1991 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4581 1991 1111 63 0 4518 0
vsize: 18324
[startup+90.0127 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 2176 0 0 0 8993 7 0 0 25 0 1 0 776506683 19197952 2100 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4687 2100 1111 63 0 4624 0
vsize: 18748
[startup+100.013 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 2292 0 0 0 9992 7 0 0 25 0 1 0 776506683 19656704 2216 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4799 2216 1111 63 0 4736 0
vsize: 19196
[startup+110.013 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 2395 0 0 0 10993 7 0 0 25 0 1 0 776506683 20103168 2319 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2319 1111 63 0 4845 0
vsize: 19632
[startup+120.015 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 2512 0 0 0 11992 8 0 0 25 0 1 0 776506683 20557824 2436 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 2436 1111 63 0 4956 0
vsize: 20076
[startup+130.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 2615 0 0 0 12992 8 0 0 25 0 1 0 776506683 21004288 2539 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5128 2539 1111 63 0 5065 0
vsize: 20512
[startup+140.016 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6716
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 2732 0 0 0 13992 8 0 0 25 0 1 0 776506683 21434368 2656 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 2656 1111 63 0 5170 0
vsize: 20932
[startup+150.016 s]
Raw data (loadavg): 0.98 0.95 0.91 3/57 6751
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 2835 0 0 0 14992 8 0 0 25 0 1 0 776506683 21872640 2759 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5340 2759 1111 63 0 5277 0
vsize: 21360
[startup+160.017 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 6769
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 2951 0 0 0 15992 9 0 0 25 0 1 0 776506683 22323200 2875 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 2875 1111 63 0 5387 0
vsize: 21800
[startup+170.017 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 6769
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 3054 0 0 0 16992 9 0 0 25 0 1 0 776506683 22773760 2978 4294967295 134512640 134714508 3221224576 3221222804 1077414360 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.016 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 6769
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 3178 0 0 0 17992 9 0 0 25 0 1 0 776506683 23232512 3102 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 3102 1111 63 0 5609 0
vsize: 22688
[startup+190.017 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 6769
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 3287 0 0 0 18992 9 0 0 25 0 1 0 776506683 23662592 3211 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3211 1111 63 0 5714 0
vsize: 23108
[startup+200.018 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 6769
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 3398 0 0 0 19992 9 0 0 25 0 1 0 776506683 24113152 3322 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3322 1111 63 0 5824 0
vsize: 23548
[startup+210.018 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 6769
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 3508 0 0 0 20992 9 0 0 25 0 1 0 776506683 24559616 3432 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3432 1111 63 0 5933 0
vsize: 23984
[startup+220.019 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 6769
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 3618 0 0 0 21992 10 0 0 25 0 1 0 776506683 25010176 3542 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3542 1111 63 0 6043 0
vsize: 24424
[startup+230.019 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 3729 0 0 0 22992 10 0 0 25 0 1 0 776506683 25460736 3653 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3653 1111 63 0 6153 0
vsize: 24864
[startup+240.019 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 3839 0 0 0 23992 10 0 0 25 0 1 0 776506683 25911296 3763 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3763 1111 63 0 6263 0
vsize: 25304
[startup+250.02 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 3954 0 0 0 24992 10 0 0 25 0 1 0 776506683 26505216 3878 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 3878 1111 63 0 6408 0
vsize: 25884
[startup+260.021 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 4060 0 0 0 25992 10 0 0 25 0 1 0 776506683 26804224 3984 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3984 1111 63 0 6481 0
vsize: 26176
[startup+270.021 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 4177 0 0 0 26992 11 0 0 25 0 1 0 776506683 27406336 4101 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6691 4101 1111 63 0 6628 0
vsize: 26764
[startup+280.021 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 4287 0 0 0 27992 11 0 0 25 0 1 0 776506683 27860992 4211 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6802 4211 1111 63 0 6739 0
vsize: 27208
[startup+290.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 4397 0 0 0 28992 11 0 0 25 0 1 0 776506683 28307456 4321 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6911 4321 1111 63 0 6848 0
vsize: 27644
[startup+300.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 4508 0 0 0 29992 11 0 0 25 0 1 0 776506683 28737536 4432 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 4432 1111 63 0 6953 0
vsize: 28064
[startup+310.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 4618 0 0 0 30992 11 0 0 25 0 1 0 776506683 29175808 4542 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7123 4542 1111 63 0 7060 0
vsize: 28492
[startup+320.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 4734 0 0 0 31992 12 0 0 25 0 1 0 776506683 29626368 4658 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 4658 1111 63 0 7170 0
vsize: 28932
[startup+330.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 4844 0 0 0 32992 12 0 0 25 0 1 0 776506683 30076928 4768 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7343 4768 1111 63 0 7280 0
vsize: 29372
[startup+340.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 4955 0 0 0 33992 12 0 0 25 0 1 0 776506683 30527488 4879 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 4879 1111 63 0 7390 0
vsize: 29812
[startup+350.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 5070 0 0 0 34992 13 0 0 25 0 1 0 776506683 30973952 4994 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7562 4994 1111 63 0 7499 0
vsize: 30248
[startup+360.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 5192 0 0 0 35992 13 0 0 25 0 1 0 776506683 31612928 5116 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7718 5116 1111 63 0 7655 0
vsize: 30872
[startup+370.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 5302 0 0 0 36992 13 0 0 25 0 1 0 776506683 32059392 5226 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7827 5226 1111 63 0 7764 0
vsize: 31308
[startup+380.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 5420 0 0 0 37992 13 0 0 25 0 1 0 776506683 32514048 5344 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7938 5344 1111 63 0 7875 0
vsize: 31752
[startup+390.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 5523 0 0 0 38992 14 0 0 25 0 1 0 776506683 32956416 5447 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8046 5447 1111 63 0 7983 0
vsize: 32184
[startup+400.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 5641 0 0 0 39991 14 0 0 25 0 1 0 776506683 33411072 5565 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8157 5565 1111 63 0 8094 0
vsize: 32628
[startup+410.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 5757 0 0 0 40991 14 0 0 25 0 1 0 776506683 33857536 5681 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8266 5681 1111 63 0 8203 0
vsize: 33064
[startup+420.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 5869 0 0 0 41991 15 0 0 25 0 1 0 776506683 34312192 5793 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8377 5793 1111 63 0 8314 0
vsize: 33508
[startup+430.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 5978 0 0 0 42991 15 0 0 25 0 1 0 776506683 34758656 5902 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8486 5902 1111 63 0 8423 0
vsize: 33944
[startup+440.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 6095 0 0 0 43991 15 0 0 25 0 1 0 776506683 35213312 6019 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8597 6019 1111 63 0 8534 0
vsize: 34388
[startup+450.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 6206 0 0 0 44991 16 0 0 25 0 1 0 776506683 35655680 6130 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8705 6130 1111 63 0 8642 0
vsize: 34820
[startup+460.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6771
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 6317 0 0 0 45991 16 0 0 25 0 1 0 776506683 36110336 6241 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8816 6241 1111 63 0 8753 0
vsize: 35264
[startup+470.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 6433 0 0 0 46990 17 0 0 25 0 1 0 776506683 36556800 6357 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8925 6357 1111 63 0 8862 0
vsize: 35700
[startup+480.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 6544 0 0 0 47990 17 0 0 25 0 1 0 776506683 37011456 6468 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 6468 1111 63 0 8973 0
vsize: 36144
[startup+490.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 6655 0 0 0 48990 17 0 0 25 0 1 0 776506683 37453824 6579 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9144 6579 1111 63 0 9081 0
vsize: 36576
[startup+500.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 6772 0 0 0 49990 18 0 0 25 0 1 0 776506683 38055936 6696 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9291 6696 1111 63 0 9228 0
vsize: 37164
[startup+510.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 6889 0 0 0 50990 18 0 0 25 0 1 0 776506683 38506496 6813 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9401 6813 1111 63 0 9338 0
vsize: 37604
[startup+520.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 7000 0 0 0 51990 18 0 0 25 0 1 0 776506683 38957056 6924 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9511 6924 1111 63 0 9448 0
vsize: 38044
[startup+530.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 7111 0 0 0 52990 18 0 0 25 0 1 0 776506683 39403520 7035 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9620 7035 1111 63 0 9557 0
vsize: 38480
[startup+540.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 7228 0 0 0 53990 18 0 0 25 0 1 0 776506683 39854080 7152 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9730 7152 1111 63 0 9667 0
vsize: 38920
[startup+550.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 7343 0 0 0 54990 18 0 0 25 0 1 0 776506683 40304640 7267 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9840 7267 1111 63 0 9777 0
vsize: 39360
[startup+560.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 7456 0 0 0 55990 19 0 0 25 0 1 0 776506683 40755200 7380 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9950 7380 1111 63 0 9887 0
vsize: 39800
[startup+570.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 7565 0 0 0 56990 19 0 0 25 0 1 0 776506683 41205760 7489 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10060 7489 1111 63 0 9997 0
vsize: 40240
[startup+580.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 7684 0 0 0 57990 19 0 0 25 0 1 0 776506683 41656320 7608 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10170 7608 1111 63 0 10107 0
vsize: 40680
[startup+590.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 7801 0 0 0 58991 19 0 0 25 0 1 0 776506683 42250240 7725 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 7725 1111 63 0 10252 0
vsize: 41260
[startup+600.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 7912 0 0 0 59990 19 0 0 25 0 1 0 776506683 42704896 7836 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10426 7836 1111 63 0 10363 0
vsize: 41704
[startup+610.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 8029 0 0 0 60991 19 0 0 25 0 1 0 776506683 43151360 7953 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10535 7953 1111 63 0 10472 0
vsize: 42140
[startup+620.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 8139 0 0 0 61990 20 0 0 25 0 1 0 776506683 43606016 8063 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 8063 1111 63 0 10583 0
vsize: 42584
[startup+630.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 8256 0 0 0 62990 20 0 0 25 0 1 0 776506683 44048384 8180 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10754 8180 1111 63 0 10691 0
vsize: 43016
[startup+640.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 8373 0 0 0 63990 20 0 0 25 0 1 0 776506683 44470272 8297 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10857 8297 1111 63 0 10794 0
vsize: 43428
[startup+650.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 8490 0 0 0 64990 21 0 0 25 0 1 0 776506683 45072384 8414 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11004 8414 1111 63 0 10941 0
vsize: 44016
[startup+660.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 8600 0 0 0 65990 21 0 0 25 0 1 0 776506683 45522944 8524 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11114 8524 1111 63 0 11051 0
vsize: 44456
[startup+670.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 8718 0 0 0 66990 21 0 0 25 0 1 0 776506683 45973504 8642 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 8642 1111 63 0 11161 0
vsize: 44896
[startup+680.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 8828 0 0 0 67990 21 0 0 25 0 1 0 776506683 46419968 8752 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11333 8752 1111 63 0 11270 0
vsize: 45332
[startup+690.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 8945 0 0 0 68990 22 0 0 25 0 1 0 776506683 46874624 8869 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11444 8869 1111 63 0 11381 0
vsize: 45776
[startup+700.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 9080 0 0 0 69990 22 0 0 25 0 1 0 776506683 47579136 9004 4294967295 134512640 134714508 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 9004 1111 63 0 11553 0
vsize: 46464
[startup+710.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 9198 0 0 0 70990 22 0 0 25 0 1 0 776506683 47996928 9122 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11718 9122 1111 63 0 11655 0
vsize: 46872
[startup+720.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 9314 0 0 0 71990 22 0 0 25 0 1 0 776506683 48439296 9238 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11826 9238 1111 63 0 11763 0
vsize: 47304
[startup+730.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 9426 0 0 0 72990 22 0 0 25 0 1 0 776506683 48893952 9350 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11937 9350 1111 63 0 11874 0
vsize: 47748
[startup+740.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 9542 0 0 0 73990 23 0 0 25 0 1 0 776506683 49491968 9466 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9466 1111 63 0 12020 0
vsize: 48332
[startup+750.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 9662 0 0 0 74990 23 0 0 25 0 1 0 776506683 49942528 9586 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9586 1111 63 0 12130 0
vsize: 48772
[startup+760.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 9772 0 0 0 75990 23 0 0 25 0 1 0 776506683 50388992 9696 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9696 1111 63 0 12239 0
vsize: 49208
[startup+770.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 9889 0 0 0 76990 23 0 0 25 0 1 0 776506683 50814976 9813 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12406 9813 1111 63 0 12343 0
vsize: 49624
[startup+780.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 10005 0 0 0 77990 24 0 0 25 0 1 0 776506683 51257344 9929 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12514 9929 1111 63 0 12451 0
vsize: 50056
[startup+790.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 10125 0 0 0 78990 24 0 0 25 0 1 0 776506683 51859456 10049 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10049 1111 63 0 12598 0
vsize: 50644
[startup+800.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 10241 0 0 0 79990 24 0 0 25 0 1 0 776506683 52310016 10165 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10165 1111 63 0 12708 0
vsize: 51084
[startup+810.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 10359 0 0 0 80990 24 0 0 25 0 1 0 776506683 52760576 10283 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10283 1111 63 0 12818 0
vsize: 51524
[startup+820.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 10476 0 0 0 81990 25 0 0 25 0 1 0 776506683 53207040 10400 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10400 1111 63 0 12927 0
vsize: 51960
[startup+830.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 10594 0 0 0 82989 25 0 0 25 0 1 0 776506683 53657600 10518 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10518 1111 63 0 13037 0
vsize: 52400
[startup+840.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 10712 0 0 0 83989 25 0 0 25 0 1 0 776506683 54259712 10636 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10636 1111 63 0 13184 0
vsize: 52988
[startup+850.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 10829 0 0 0 84989 26 0 0 25 0 1 0 776506683 54710272 10753 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10753 1111 63 0 13294 0
vsize: 53428
[startup+860.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 10946 0 0 0 85989 26 0 0 25 0 1 0 776506683 55160832 10870 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10870 1111 63 0 13404 0
vsize: 53868
[startup+870.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 11064 0 0 0 86989 26 0 0 25 0 1 0 776506683 55607296 10988 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10988 1111 63 0 13513 0
vsize: 54304
[startup+880.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 11182 0 0 0 87989 26 0 0 25 0 1 0 776506683 56057856 11106 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11106 1111 63 0 13623 0
vsize: 54744
[startup+890.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 11299 0 0 0 88989 27 0 0 25 0 1 0 776506683 56655872 11223 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13832 11223 1111 63 0 13769 0
vsize: 55328
[startup+900.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 11417 0 0 0 89989 27 0 0 25 0 1 0 776506683 57110528 11341 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13943 11341 1111 63 0 13880 0
vsize: 55772
[startup+910.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 11534 0 0 0 90989 27 0 0 25 0 1 0 776506683 57552896 11458 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11458 1111 63 0 13988 0
vsize: 56204
[startup+920.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 11653 0 0 0 91990 27 0 0 25 0 1 0 776506683 58007552 11577 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11577 1111 63 0 14099 0
vsize: 56648
[startup+930.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 11769 0 0 0 92989 27 0 0 25 0 1 0 776506683 58454016 11693 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11693 1111 63 0 14208 0
vsize: 57084
[startup+940.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 11887 0 0 0 93989 28 0 0 25 0 1 0 776506683 59056128 11811 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14418 11811 1111 63 0 14355 0
vsize: 57672
[startup+950.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 12004 0 0 0 94989 28 0 0 25 0 1 0 776506683 59502592 11928 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14527 11928 1111 63 0 14464 0
vsize: 58108
[startup+960.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 12123 0 0 0 95989 28 0 0 25 0 1 0 776506683 59953152 12047 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12047 1111 63 0 14574 0
vsize: 58548
[startup+970.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 12241 0 0 0 96989 28 0 0 25 0 1 0 776506683 60403712 12165 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12165 1111 63 0 14684 0
vsize: 58988
[startup+980.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 12358 0 0 0 97989 28 0 0 25 0 1 0 776506683 60854272 12282 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12282 1111 63 0 14794 0
vsize: 59428
[startup+990.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 12476 0 0 0 98989 29 0 0 25 0 1 0 776506683 61456384 12400 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15004 12400 1111 63 0 14941 0
vsize: 60016
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 12592 0 0 0 99989 29 0 0 25 0 1 0 776506683 61902848 12516 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15113 12516 1111 63 0 15050 0
vsize: 60452
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 12711 0 0 0 100990 29 0 0 25 0 1 0 776506683 62353408 12635 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15223 12635 1111 63 0 15160 0
vsize: 60892
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 12828 0 0 0 101990 29 0 0 25 0 1 0 776506683 62803968 12752 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12752 1111 63 0 15270 0
vsize: 61332
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 12952 0 0 0 102990 29 0 0 25 0 1 0 776506683 63406080 12876 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15480 12876 1111 63 0 15417 0
vsize: 61920
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 13069 0 0 0 103990 29 0 0 25 0 1 0 776506683 63848448 12993 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15588 12993 1111 63 0 15525 0
vsize: 62352
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 13189 0 0 0 104990 29 0 0 25 0 1 0 776506683 64303104 13113 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15699 13113 1111 63 0 15636 0
vsize: 62796
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 13311 0 0 0 105989 30 0 0 25 0 1 0 776506683 64749568 13235 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 13235 1111 63 0 15745 0
vsize: 63232
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 13429 0 0 0 106989 31 0 0 25 0 1 0 776506683 65351680 13353 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15955 13353 1111 63 0 15892 0
vsize: 63820
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 13547 0 0 0 107989 31 0 0 25 0 1 0 776506683 65798144 13471 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16064 13471 1111 63 0 16001 0
vsize: 64256
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 13666 0 0 0 108989 31 0 0 25 0 1 0 776506683 66248704 13590 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16174 13590 1111 63 0 16111 0
vsize: 64696
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 13783 0 0 0 109989 32 0 0 25 0 1 0 776506683 66699264 13707 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16284 13707 1111 63 0 16221 0
vsize: 65136
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 13907 0 0 0 110989 32 0 0 25 0 1 0 776506683 67301376 13831 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16431 13831 1111 63 0 16368 0
vsize: 65724
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 14026 0 0 0 111989 32 0 0 25 0 1 0 776506683 67751936 13950 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16541 13950 1111 63 0 16478 0
vsize: 66164
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 14150 0 0 0 112989 32 0 0 25 0 1 0 776506683 68198400 14074 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16650 14074 1111 63 0 16587 0
vsize: 66600
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 14268 0 0 0 113989 32 0 0 25 0 1 0 776506683 68653056 14192 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16761 14192 1111 63 0 16698 0
vsize: 67044
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 14385 0 0 0 114989 33 0 0 25 0 1 0 776506683 69246976 14309 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16906 14309 1111 63 0 16843 0
vsize: 67624
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 14511 0 0 0 115989 33 0 0 25 0 1 0 776506683 69701632 14435 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17017 14435 1111 63 0 16954 0
vsize: 68068
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 14628 0 0 0 116989 33 0 0 25 0 1 0 776506683 70148096 14552 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17126 14552 1111 63 0 17063 0
vsize: 68504
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 14753 0 0 0 117989 33 0 0 25 0 1 0 776506683 70746112 14677 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17272 14677 1111 63 0 17209 0
vsize: 69088
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 14870 0 0 0 118988 34 0 0 25 0 1 0 776506683 71196672 14794 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17382 14794 1111 63 0 17319 0
vsize: 69528
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) R 6715 32284 32283 0 -1 0 14989 0 0 0 119988 35 0 0 25 0 1 0 776506683 71647232 14913 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17492 14913 1111 63 0 17429 0
vsize: 69968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 6773
Raw data (stat): 6716 (bsolo_lpr_cuts) Z 6715 32284 32283 0 -1 1036 14989 0 0 0 119988 37 0 0 25 0 1 0 776506683 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.09
CPU time (s): 1200.26
CPU user time (s): 1199.88
CPU system time (s): 0.378942
CPU usage (%): 100.014
Max. virtual memory (Kb): 69968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####