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-n370d.opb
MD5SUM	c845e5aae635eb663462a0603eb54605
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	29652813254765
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	29652813254765
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 28125

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-25 00:38:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14172 boxname=wulflinc7 idbench=1091 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c845e5aae635eb663462a0603eb54605  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-n370d.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-n370d.opb
IDLAUNCH: 14172
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        902944 kB
Buffers:           232 kB
Cached:         110416 kB
SwapCached:        396 kB
Active:          35796 kB
Inactive:        77332 kB
HighTotal:      131008 kB
HighFree:        87192 kB
LowTotal:       903652 kB
LowFree:        815752 kB
SwapTotal:     2097136 kB
SwapFree:      2096224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5984 kB
Slab:            12584 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:58:20 (client local time) WITH STATUS 0 IN 1200.08 SECONDS
stats: 14172 7 1200.08 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.71 0.89 0.89 2/54 2694
Raw data (stat): 2694 (runsolver) R 2693 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776405848 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 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+9.99985 s]
Raw data (loadavg): 0.75 0.89 0.89 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 1285 0 4 0 952 5 0 0 25 0 1 0 776405848 15511552 1213 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1213 1111 63 0 3724 0
vsize: 15148
[startup+20.0014 s]
Raw data (loadavg): 0.79 0.90 0.89 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 1401 0 4 0 1952 5 0 0 25 0 1 0 776405848 15941632 1329 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1329 1111 63 0 3829 0
vsize: 15568
[startup+30.0015 s]
Raw data (loadavg): 0.82 0.90 0.89 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 1504 0 4 0 2952 5 0 0 25 0 1 0 776405848 16379904 1432 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1432 1111 63 0 3936 0
vsize: 15996
[startup+40.0061 s]
Raw data (loadavg): 0.85 0.90 0.89 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 1615 0 4 0 3952 6 0 0 25 0 1 0 776405848 16834560 1543 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1543 1111 63 0 4047 0
vsize: 16440
[startup+50.0113 s]
Raw data (loadavg): 0.87 0.91 0.89 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 1726 0 4 0 4952 6 0 0 25 0 1 0 776405848 17264640 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1654 1111 63 0 4152 0
vsize: 16860
[startup+60.0195 s]
Raw data (loadavg): 0.89 0.91 0.90 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 1837 0 4 0 5953 6 0 0 25 0 1 0 776405848 17715200 1765 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1765 1111 63 0 4262 0
vsize: 17300
[startup+70.0205 s]
Raw data (loadavg): 0.91 0.91 0.90 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 1946 0 4 0 6953 6 0 0 25 0 1 0 776405848 18161664 1874 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1874 1111 63 0 4371 0
vsize: 17736
[startup+80.0211 s]
Raw data (loadavg): 0.92 0.91 0.90 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 2056 0 4 0 7953 7 0 0 25 0 1 0 776405848 18616320 1984 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1984 1111 63 0 4482 0
vsize: 18180
[startup+90.0228 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 2165 0 4 0 8953 7 0 0 25 0 1 0 776405848 19058688 2093 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2093 1111 63 0 4590 0
vsize: 18612
[startup+100.028 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 2281 0 4 0 9954 7 0 0 25 0 1 0 776405848 19656704 2209 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4799 2209 1111 63 0 4736 0
vsize: 19196
[startup+110.027 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 2391 0 4 0 10954 7 0 0 25 0 1 0 776405848 20103168 2319 4294967295 134512640 134714508 3221224592 3221222820 1077414370 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.029 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 2501 0 4 0 11954 7 0 0 25 0 1 0 776405848 20557824 2429 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 2429 1111 63 0 4956 0
vsize: 20076
[startup+130.029 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 2610 0 4 0 12954 7 0 0 25 0 1 0 776405848 21004288 2538 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5128 2538 1111 63 0 5065 0
vsize: 20512
[startup+140.029 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 2721 0 4 0 13954 7 0 0 25 0 1 0 776405848 21434368 2649 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 2649 1111 63 0 5170 0
vsize: 20932
[startup+150.033 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 2830 0 4 0 14955 8 0 0 25 0 1 0 776405848 21872640 2758 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5340 2758 1111 63 0 5277 0
vsize: 21360
[startup+160.034 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 2940 0 4 0 15955 8 0 0 25 0 1 0 776405848 22323200 2868 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 2868 1111 63 0 5387 0
vsize: 21800
[startup+170.034 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 3049 0 4 0 16955 8 0 0 25 0 1 0 776405848 22773760 2977 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 2977 1111 63 0 5497 0
vsize: 22240
[startup+180.034 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 3168 0 4 0 17955 8 0 0 25 0 1 0 776405848 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.041 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 3276 0 4 0 18955 9 0 0 25 0 1 0 776405848 23662592 3204 4294967295 134512640 134714508 3221224592 3221222820 1077414370 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.041 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 3387 0 4 0 19955 9 0 0 25 0 1 0 776405848 24113152 3315 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3315 1111 63 0 5824 0
vsize: 23548
[startup+210.041 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 3497 0 4 0 20955 9 0 0 25 0 1 0 776405848 24559616 3425 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3425 1111 63 0 5933 0
vsize: 23984
[startup+220.045 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 3607 0 4 0 21956 9 0 0 25 0 1 0 776405848 25010176 3535 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.045 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 3718 0 4 0 22956 9 0 0 25 0 1 0 776405848 25460736 3646 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3646 1111 63 0 6153 0
vsize: 24864
[startup+240.046 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 3834 0 4 0 23956 10 0 0 25 0 1 0 776405848 25911296 3762 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3762 1111 63 0 6263 0
vsize: 25304
[startup+250.053 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 3937 0 4 0 24956 10 0 0 25 0 1 0 776405848 26357760 3865 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3865 1111 63 0 6372 0
vsize: 25740
[startup+260.052 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 4055 0 4 0 25956 10 0 0 25 0 1 0 776405848 26804224 3983 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3983 1111 63 0 6481 0
vsize: 26176
[startup+270.059 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 4165 0 4 0 26956 11 0 0 25 0 1 0 776405848 27258880 4093 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4093 1111 63 0 6592 0
vsize: 26620
[startup+280.162 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 4276 0 4 0 27967 11 0 0 25 0 1 0 776405848 27705344 4204 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4204 1111 63 0 6701 0
vsize: 27056
[startup+290.162 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 4392 0 4 0 28966 12 0 0 25 0 1 0 776405848 28307456 4320 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6911 4320 1111 63 0 6848 0
vsize: 27644
[startup+300.162 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 4497 0 4 0 29966 12 0 0 25 0 1 0 776405848 28602368 4425 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4425 1111 63 0 6920 0
vsize: 27932
[startup+310.162 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 4613 0 4 0 30966 12 0 0 25 0 1 0 776405848 29175808 4541 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7123 4541 1111 63 0 7060 0
vsize: 28492
[startup+320.162 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 4724 0 4 0 31966 12 0 0 25 0 1 0 776405848 29626368 4652 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 4652 1111 63 0 7170 0
vsize: 28932
[startup+330.165 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 4833 0 4 0 32966 13 0 0 25 0 1 0 776405848 30076928 4761 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7343 4761 1111 63 0 7280 0
vsize: 29372
[startup+340.166 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 4950 0 4 0 33966 13 0 0 25 0 1 0 776405848 30527488 4878 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 4878 1111 63 0 7390 0
vsize: 29812
[startup+350.166 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 5059 0 4 0 34966 13 0 0 25 0 1 0 776405848 30973952 4987 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7562 4987 1111 63 0 7499 0
vsize: 30248
[startup+360.172 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 5181 0 4 0 35966 14 0 0 25 0 1 0 776405848 31461376 5109 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7681 5109 1111 63 0 7618 0
vsize: 30724
[startup+370.174 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 5297 0 4 0 36967 14 0 0 25 0 1 0 776405848 32059392 5225 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7827 5225 1111 63 0 7764 0
vsize: 31308
[startup+380.174 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 5403 0 4 0 37967 14 0 0 25 0 1 0 776405848 32362496 5331 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7901 5331 1111 63 0 7838 0
vsize: 31604
[startup+390.182 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 5518 0 4 0 38967 14 0 0 25 0 1 0 776405848 32956416 5446 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8046 5446 1111 63 0 7983 0
vsize: 32184
[startup+400.188 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 5630 0 4 0 39968 14 0 0 25 0 1 0 776405848 33411072 5558 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8157 5558 1111 63 0 8094 0
vsize: 32628
[startup+410.187 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 5740 0 4 0 40968 15 0 0 25 0 1 0 776405848 33857536 5668 4294967295 134512640 134714508 3221224592 3221223248 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8266 5668 1111 63 0 8203 0
vsize: 33064
[startup+420.187 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 5858 0 4 0 41968 15 0 0 25 0 1 0 776405848 34312192 5786 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8377 5786 1111 63 0 8314 0
vsize: 33508
[startup+430.188 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 5967 0 4 0 42968 15 0 0 25 0 1 0 776405848 34758656 5895 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8486 5895 1111 63 0 8423 0
vsize: 33944
[startup+440.188 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 6084 0 4 0 43968 15 0 0 25 0 1 0 776405848 35213312 6012 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8597 6012 1111 63 0 8534 0
vsize: 34388
[startup+450.187 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 6195 0 4 0 44968 16 0 0 25 0 1 0 776405848 35655680 6123 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8705 6123 1111 63 0 8642 0
vsize: 34820
[startup+460.187 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 6312 0 4 0 45967 16 0 0 25 0 1 0 776405848 36110336 6240 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8816 6240 1111 63 0 8753 0
vsize: 35264
[startup+470.194 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 6422 0 4 0 46968 16 0 0 25 0 1 0 776405848 36556800 6350 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8925 6350 1111 63 0 8862 0
vsize: 35700
[startup+480.194 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 6533 0 4 0 47968 16 0 0 25 0 1 0 776405848 37011456 6461 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9036 6461 1111 63 0 8973 0
vsize: 36144
[startup+490.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 6650 0 4 0 48969 17 0 0 25 0 1 0 776405848 37453824 6578 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9144 6578 1111 63 0 9081 0
vsize: 36576
[startup+500.205 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 6761 0 4 0 49969 17 0 0 25 0 1 0 776405848 37908480 6689 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9255 6689 1111 63 0 9192 0
vsize: 37020
[startup+510.204 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 6872 0 4 0 50969 17 0 0 25 0 1 0 776405848 38354944 6800 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 6800 1111 63 0 9301 0
vsize: 37456
[startup+520.204 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 6989 0 4 0 51969 17 0 0 25 0 1 0 776405848 38957056 6917 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9511 6917 1111 63 0 9448 0
vsize: 38044
[startup+530.204 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 7106 0 4 0 52969 17 0 0 25 0 1 0 776405848 39403520 7034 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9620 7034 1111 63 0 9557 0
vsize: 38480
[startup+540.204 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 7217 0 4 0 53969 17 0 0 25 0 1 0 776405848 39854080 7145 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9730 7145 1111 63 0 9667 0
vsize: 38920
[startup+550.205 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 7326 0 4 0 54969 18 0 0 25 0 1 0 776405848 40304640 7254 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9840 7254 1111 63 0 9777 0
vsize: 39360
[startup+560.205 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 7445 0 4 0 55969 18 0 0 25 0 1 0 776405848 40755200 7373 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9950 7373 1111 63 0 9887 0
vsize: 39800
[startup+570.205 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 7560 0 4 0 56969 18 0 0 25 0 1 0 776405848 41205760 7488 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10060 7488 1111 63 0 9997 0
vsize: 40240
[startup+580.205 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 7673 0 4 0 57969 19 0 0 25 0 1 0 776405848 41656320 7601 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10170 7601 1111 63 0 10107 0
vsize: 40680
[startup+590.205 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 7788 0 4 0 58969 19 0 0 25 0 1 0 776405848 42102784 7716 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10279 7716 1111 63 0 10216 0
vsize: 41116
[startup+600.206 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 7901 0 4 0 59969 19 0 0 25 0 1 0 776405848 42553344 7829 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10389 7829 1111 63 0 10326 0
vsize: 41556
[startup+610.207 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 8018 0 4 0 60969 19 0 0 25 0 1 0 776405848 43151360 7946 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10535 7946 1111 63 0 10472 0
vsize: 42140
[startup+620.207 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 8134 0 4 0 61969 19 0 0 25 0 1 0 776405848 43606016 8062 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 8062 1111 63 0 10583 0
vsize: 42584
[startup+630.207 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 8245 0 4 0 62969 20 0 0 25 0 1 0 776405848 44048384 8173 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10754 8173 1111 63 0 10691 0
vsize: 43016
[startup+640.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 8362 0 4 0 63969 20 0 0 25 0 1 0 776405848 44470272 8290 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10857 8290 1111 63 0 10794 0
vsize: 43428
[startup+650.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 8473 0 4 0 64969 20 0 0 25 0 1 0 776405848 44920832 8401 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10967 8401 1111 63 0 10904 0
vsize: 43868
[startup+660.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 8589 0 4 0 65969 20 0 0 25 0 1 0 776405848 45371392 8517 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11077 8517 1111 63 0 11014 0
vsize: 44308
[startup+670.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 8707 0 4 0 66969 20 0 0 25 0 1 0 776405848 45973504 8635 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 8635 1111 63 0 11161 0
vsize: 44896
[startup+680.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 8822 0 4 0 67969 21 0 0 25 0 1 0 776405848 46419968 8750 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11333 8750 1111 63 0 11270 0
vsize: 45332
[startup+690.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 8934 0 4 0 68969 21 0 0 25 0 1 0 776405848 46874624 8862 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11444 8862 1111 63 0 11381 0
vsize: 45776
[startup+700.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 9070 0 4 0 69969 21 0 0 25 0 1 0 776405848 47579136 8998 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 8998 1111 63 0 11553 0
vsize: 46464
[startup+710.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 9181 0 4 0 70969 21 0 0 25 0 1 0 776405848 47996928 9109 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11718 9109 1111 63 0 11655 0
vsize: 46872
[startup+720.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 9297 0 4 0 71969 22 0 0 25 0 1 0 776405848 48439296 9225 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11826 9225 1111 63 0 11763 0
vsize: 47304
[startup+730.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 9415 0 4 0 72969 22 0 0 25 0 1 0 776405848 48893952 9343 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11937 9343 1111 63 0 11874 0
vsize: 47748
[startup+740.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 9531 0 4 0 73969 22 0 0 25 0 1 0 776405848 49340416 9459 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12046 9459 1111 63 0 11983 0
vsize: 48184
[startup+750.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 9650 0 4 0 74969 22 0 0 25 0 1 0 776405848 49942528 9578 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9578 1111 63 0 12130 0
vsize: 48772
[startup+760.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 9766 0 4 0 75969 23 0 0 25 0 1 0 776405848 50388992 9694 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9694 1111 63 0 12239 0
vsize: 49208
[startup+770.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 9878 0 4 0 76969 23 0 0 25 0 1 0 776405848 50814976 9806 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12406 9806 1111 63 0 12343 0
vsize: 49624
[startup+780.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 9994 0 4 0 77969 23 0 0 25 0 1 0 776405848 51257344 9922 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12514 9922 1111 63 0 12451 0
vsize: 50056
[startup+790.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 10114 0 4 0 78969 23 0 0 25 0 1 0 776405848 51712000 10042 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12625 10042 1111 63 0 12562 0
vsize: 50500
[startup+800.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 10230 0 4 0 79969 23 0 0 25 0 1 0 776405848 52310016 10158 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10158 1111 63 0 12708 0
vsize: 51084
[startup+810.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 10341 0 4 0 80969 23 0 0 25 0 1 0 776405848 52760576 10269 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10269 1111 63 0 12818 0
vsize: 51524
[startup+820.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 10458 0 4 0 81969 24 0 0 25 0 1 0 776405848 53207040 10386 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10386 1111 63 0 12927 0
vsize: 51960
[startup+830.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 10576 0 4 0 82969 24 0 0 25 0 1 0 776405848 53657600 10504 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10504 1111 63 0 13037 0
vsize: 52400
[startup+840.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 10695 0 4 0 83969 24 0 0 25 0 1 0 776405848 54108160 10623 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10623 1111 63 0 13147 0
vsize: 52840
[startup+850.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 10811 0 4 0 84969 24 0 0 25 0 1 0 776405848 54558720 10739 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13320 10739 1111 63 0 13257 0
vsize: 53280
[startup+860.216 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 10929 0 4 0 85969 24 0 0 25 0 1 0 776405848 55160832 10857 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10857 1111 63 0 13404 0
vsize: 53868
[startup+870.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 11046 0 4 0 86969 25 0 0 25 0 1 0 776405848 55607296 10974 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10974 1111 63 0 13513 0
vsize: 54304
[startup+880.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 11165 0 4 0 87969 25 0 0 25 0 1 0 776405848 56057856 11093 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11093 1111 63 0 13623 0
vsize: 54744
[startup+890.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 11281 0 4 0 88969 26 0 0 25 0 1 0 776405848 56508416 11209 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11209 1111 63 0 13733 0
vsize: 55184
[startup+900.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 11399 0 4 0 89968 26 0 0 25 0 1 0 776405848 56958976 11327 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 11327 1111 63 0 13843 0
vsize: 55624
[startup+910.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 11516 0 4 0 90968 27 0 0 25 0 1 0 776405848 57552896 11444 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11444 1111 63 0 13988 0
vsize: 56204
[startup+920.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 11635 0 4 0 91968 27 0 0 25 0 1 0 776405848 58007552 11563 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11563 1111 63 0 14099 0
vsize: 56648
[startup+930.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 11751 0 4 0 92968 27 0 0 25 0 1 0 776405848 58454016 11679 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11679 1111 63 0 14208 0
vsize: 57084
[startup+940.228 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 11869 0 4 0 93969 28 0 0 25 0 1 0 776405848 58908672 11797 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11797 1111 63 0 14319 0
vsize: 57528
[startup+950.228 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 11986 0 4 0 94969 28 0 0 25 0 1 0 776405848 59351040 11914 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11914 1111 63 0 14427 0
vsize: 57960
[startup+960.247 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 12106 0 4 0 95971 28 0 0 25 0 1 0 776405848 59953152 12034 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12034 1111 63 0 14574 0
vsize: 58548
[startup+970.247 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 12222 0 4 0 96971 28 0 0 25 0 1 0 776405848 60403712 12150 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12150 1111 63 0 14684 0
vsize: 58988
[startup+980.247 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 12340 0 4 0 97970 29 0 0 25 0 1 0 776405848 60854272 12268 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12268 1111 63 0 14794 0
vsize: 59428
[startup+990.247 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 12458 0 4 0 98970 29 0 0 25 0 1 0 776405848 61300736 12386 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12386 1111 63 0 14903 0
vsize: 59864
[startup+1000.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 12580 0 4 0 99970 29 0 0 25 0 1 0 776405848 61902848 12508 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15113 12508 1111 63 0 15050 0
vsize: 60452
[startup+1010.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 12699 0 4 0 100970 30 0 0 25 0 1 0 776405848 62353408 12627 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15223 12627 1111 63 0 15160 0
vsize: 60892
[startup+1020.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 12816 0 4 0 101970 30 0 0 25 0 1 0 776405848 62803968 12744 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12744 1111 63 0 15270 0
vsize: 61332
[startup+1030.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 12934 0 4 0 102970 30 0 0 25 0 1 0 776405848 63254528 12862 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12862 1111 63 0 15380 0
vsize: 61772
[startup+1040.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 13058 0 4 0 103970 31 0 0 25 0 1 0 776405848 63848448 12986 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15588 12986 1111 63 0 15525 0
vsize: 62352
[startup+1050.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 13177 0 4 0 104969 31 0 0 25 0 1 0 776405848 64303104 13105 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15699 13105 1111 63 0 15636 0
vsize: 62796
[startup+1060.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 13293 0 4 0 105969 32 0 0 25 0 1 0 776405848 64749568 13221 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 13221 1111 63 0 15745 0
vsize: 63232
[startup+1070.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 13411 0 4 0 106969 32 0 0 25 0 1 0 776405848 65204224 13339 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13339 1111 63 0 15856 0
vsize: 63676
[startup+1080.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 13529 0 4 0 107969 32 0 0 25 0 1 0 776405848 65650688 13457 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13457 1111 63 0 15965 0
vsize: 64112
[startup+1090.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 13648 0 4 0 108969 32 0 0 25 0 1 0 776405848 66248704 13576 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16174 13576 1111 63 0 16111 0
vsize: 64696
[startup+1100.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 13771 0 4 0 109969 33 0 0 25 0 1 0 776405848 66699264 13699 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16284 13699 1111 63 0 16221 0
vsize: 65136
[startup+1110.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 13889 0 4 0 110969 33 0 0 25 0 1 0 776405848 67149824 13817 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13817 1111 63 0 16331 0
vsize: 65576
[startup+1120.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 14014 0 4 0 111969 33 0 0 25 0 1 0 776405848 67751936 13942 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16541 13942 1111 63 0 16478 0
vsize: 66164
[startup+1130.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 14132 0 4 0 112969 33 0 0 25 0 1 0 776405848 68198400 14060 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16650 14060 1111 63 0 16587 0
vsize: 66600
[startup+1140.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 14250 0 4 0 113969 34 0 0 25 0 1 0 776405848 68653056 14178 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16761 14178 1111 63 0 16698 0
vsize: 67044
[startup+1150.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 14367 0 4 0 114969 34 0 0 25 0 1 0 776405848 69099520 14295 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16870 14295 1111 63 0 16807 0
vsize: 67480
[startup+1160.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 14492 0 4 0 115969 34 0 0 25 0 1 0 776405848 69701632 14420 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17017 14420 1111 63 0 16954 0
vsize: 68068
[startup+1170.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 14609 0 4 0 116969 34 0 0 25 0 1 0 776405848 70148096 14537 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17126 14537 1111 63 0 17063 0
vsize: 68504
[startup+1180.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 14734 0 4 0 117969 34 0 0 25 0 1 0 776405848 70598656 14662 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17236 14662 1111 63 0 17173 0
vsize: 68944
[startup+1190.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 14851 0 4 0 118969 35 0 0 25 0 1 0 776405848 71045120 14779 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 14779 1111 63 0 17282 0
vsize: 69380
[startup+1200.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) R 2693 24300 24299 0 -1 0 14970 0 4 0 119969 35 0 0 25 0 1 0 776405848 71647232 14898 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17492 14898 1111 63 0 17429 0
vsize: 69968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.28 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 2694
Raw data (stat): 2694 (bsolo_lpr_cuts) Z 2693 24300 24299 0 -1 1036 14970 0 4 0 119969 38 0 0 25 0 1 0 776405848 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.28
CPU time (s): 1200.08
CPU user time (s): 1199.69
CPU system time (s): 0.382941
CPU usage (%): 99.9827
Max. virtual memory (Kb): 69968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####