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/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
MD5SUM	cafd7bd480d889c74d8810dc689bffd8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	736
Optimality of the best value was proved	NO
Number of terms in the objective function	1518
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1518
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1518
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	23.6604
Number of variables	1518
Total number of constraints	21621
Number of constraints which are clauses	21621
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 40702

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 19:17:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28768 boxname=wulflinc5 idbench=154 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  cafd7bd480d889c74d8810dc689bffd8  /oldhome/oroussel/tmp/wulflinc5/normalized-ii32c4.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ii32c4.opb
IDLAUNCH: 28768
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        840480 kB
Buffers:         25712 kB
Cached:         146564 kB
SwapCached:        648 kB
Active:          34752 kB
Inactive:       139532 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        840228 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            14220 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 19:37:50 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 28768 7 1200.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1518 variables and 21621 constraints.
c After prepocess the problem consists of 1518 variables and 21621 constraints.
c preprocess terminated 169.575 s
c Initial Lower Bound: 396
c Lower Bound Elapsed time: 262.574
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 759 @ 483.587
c NEW SOLUTION FOUND: 758 @ 483.619
c NEW SOLUTION FOUND: 757 @ 483.636
c NEW SOLUTION FOUND: 756 @ 483.653
c NEW SOLUTION FOUND: 755 @ 483.671
c NEW SOLUTION FOUND: 754 @ 483.689
c NEW SOLUTION FOUND: 753 @ 483.708
c NEW SOLUTION FOUND: 752 @ 483.727
c NEW SOLUTION FOUND: 751 @ 483.746
c NEW SOLUTION FOUND: 750 @ 483.765
c NEW SOLUTION FOUND: 749 @ 483.823
c NEW SOLUTION FOUND: 748 @ 483.864
c NEW SOLUTION FOUND: 747 @ 483.907
c NEW SOLUTION FOUND: 746 @ 483.929
c NEW SOLUTION FOUND: 745 @ 483.951
c NEW SOLUTION FOUND: 744 @ 483.997
c NEW SOLUTION FOUND: 743 @ 484.02
c NEW SOLUTION FOUND: 742 @ 484.045
c NEW SOLUTION FOUND: 741 @ 484.069
c NEW SOLUTION FOUND: 740 @ 484.093
c NEW SOLUTION FOUND: 739 @ 484.118
c NEW SOLUTION FOUND: 738 @ 484.144
c NEW SOLUTION FOUND: 737 @ 484.22
c NEW SOLUTION FOUND: 736 @ 484.247
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (runsolver) R 21767 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904091859 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99949 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5158 0 0 0 982 15 0 0 25 0 1 0 904091859 24293376 5073 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5931 5073 1111 63 0 5868 0
vsize: 23724
[startup+20.0005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5969 0 0 0 1979 17 0 0 25 0 1 0 904091859 27537408 5884 4294967295 134512640 134716908 3221224576 3221222940 134539246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6723 5884 1111 63 0 6660 0
vsize: 26892
[startup+30.0009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5970 0 0 0 2979 18 0 0 25 0 1 0 904091859 27537408 5885 4294967295 134512640 134716908 3221224576 3221223056 134536635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6723 5885 1111 63 0 6660 0
vsize: 26892
[startup+40.0016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5970 0 0 0 3979 18 0 0 25 0 1 0 904091859 27537408 5885 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6723 5885 1111 63 0 6660 0
vsize: 26892
[startup+50.0017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5971 0 0 0 4980 18 0 0 25 0 1 0 904091859 27672576 5886 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5886 1111 63 0 6693 0
vsize: 27024
[startup+60.0011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5973 0 0 0 5980 18 0 0 25 0 1 0 904091859 27672576 5888 4294967295 134512640 134716908 3221224576 3221223024 134536678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5888 1111 63 0 6693 0
vsize: 27024
[startup+70.0019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5974 0 0 0 6980 18 0 0 25 0 1 0 904091859 27672576 5889 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5889 1111 63 0 6693 0
vsize: 27024
[startup+80.0019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5975 0 0 0 7980 18 0 0 25 0 1 0 904091859 27672576 5890 4294967295 134512640 134716908 3221224576 3221222960 134542365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5890 1111 63 0 6693 0
vsize: 27024
[startup+90.0023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5975 0 0 0 8980 18 0 0 25 0 1 0 904091859 27672576 5890 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5890 1111 63 0 6693 0
vsize: 27024
[startup+100.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5978 0 0 0 9980 18 0 0 25 0 1 0 904091859 27672576 5893 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5893 1111 63 0 6693 0
vsize: 27024
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5978 0 0 0 10980 18 0 0 25 0 1 0 904091859 27672576 5893 4294967295 134512640 134716908 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5893 1111 63 0 6693 0
vsize: 27024
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5982 0 0 0 11981 18 0 0 25 0 1 0 904091859 27672576 5897 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5897 1111 63 0 6693 0
vsize: 27024
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5982 0 0 0 12981 18 0 0 25 0 1 0 904091859 27672576 5897 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5897 1111 63 0 6693 0
vsize: 27024
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5982 0 0 0 13981 18 0 0 25 0 1 0 904091859 27672576 5897 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5897 1111 63 0 6693 0
vsize: 27024
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 5982 0 0 0 14981 18 0 0 25 0 1 0 904091859 27672576 5897 4294967295 134512640 134716908 3221224576 3221223224 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 5897 1111 63 0 6693 0
vsize: 27024
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 6155 0 0 0 15980 19 0 0 25 0 1 0 904091859 28377088 6070 4294967295 134512640 134716908 3221224576 3221223364 134622801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6928 6070 1111 63 0 6865 0
vsize: 27712
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 6345 0 0 0 16980 20 0 0 25 0 1 0 904091859 29245440 6260 4294967295 134512640 134716908 3221224576 3221222880 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7140 6260 1111 63 0 7077 0
vsize: 28560
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 6651 0 0 0 17977 22 0 0 25 0 1 0 904091859 30461952 6566 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7437 6566 1111 63 0 7374 0
vsize: 29748
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 6824 0 0 0 18975 24 0 0 25 0 1 0 904091859 31137792 6739 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7602 6739 1111 63 0 7539 0
vsize: 30408
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 7062 0 0 0 19973 26 0 0 25 0 1 0 904091859 31768576 6919 4294967295 134512640 134716908 3221224576 3221222528 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7756 6919 1111 63 0 7693 0
vsize: 31024
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11160 0 0 0 20964 35 0 0 25 0 1 0 904091859 49504256 9678 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12086 9678 1111 63 0 12023 0
vsize: 48344
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11513 0 0 0 21963 36 0 0 25 0 1 0 904091859 49504256 10013 4294967295 134512640 134716908 3221224576 3221220700 1075116872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12086 10013 1111 63 0 12023 0
vsize: 48344
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11567 0 0 0 22963 37 0 0 25 0 1 0 904091859 49504256 10053 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12086 10053 1111 63 0 12023 0
vsize: 48344
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11582 0 0 0 23963 37 0 0 25 0 1 0 904091859 49504256 10054 4294967295 134512640 134716908 3221224576 3221220700 1075116757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12086 10054 1111 63 0 12023 0
vsize: 48344
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11596 0 0 0 24963 37 0 0 25 0 1 0 904091859 49504256 10054 4294967295 134512640 134716908 3221224576 3221220700 1075116807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12086 10054 1111 63 0 12023 0
vsize: 48344
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11608 0 0 0 25963 37 0 0 25 0 1 0 904091859 49504256 10054 4294967295 134512640 134716908 3221224576 3221220568 1074789413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12086 10054 1111 63 0 12023 0
vsize: 48344
[startup+270.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11678 0 0 0 26963 37 0 0 25 0 1 0 904091859 50069504 10108 4294967295 134512640 134716908 3221224576 3221220624 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 10108 1111 63 0 12161 0
vsize: 48896
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11696 0 0 0 27963 37 0 0 25 0 1 0 904091859 50069504 10112 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 10112 1111 63 0 12161 0
vsize: 48896
[startup+290.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11711 0 0 0 28963 37 0 0 25 0 1 0 904091859 50069504 10113 4294967295 134512640 134716908 3221224576 3221220812 1076111494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 10113 1111 63 0 12161 0
vsize: 48896
[startup+300.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11727 0 0 0 29963 37 0 0 25 0 1 0 904091859 50069504 10113 4294967295 134512640 134716908 3221224576 3221220812 1076111473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 10113 1111 63 0 12161 0
vsize: 48896
[startup+310.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11739 0 0 0 30963 38 0 0 25 0 1 0 904091859 50069504 10113 4294967295 134512640 134716908 3221224576 3221220700 1075116872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 10113 1111 63 0 12161 0
vsize: 48896
[startup+320.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11753 0 0 0 31963 38 0 0 25 0 1 0 904091859 50069504 10113 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 10113 1111 63 0 12161 0
vsize: 48896
[startup+330.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11767 0 0 0 32963 38 0 0 25 0 1 0 904091859 50069504 10113 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 10113 1111 63 0 12161 0
vsize: 48896
[startup+340.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11779 0 0 0 33963 38 0 0 25 0 1 0 904091859 50069504 10113 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 10113 1111 63 0 12161 0
vsize: 48896
[startup+350.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11795 0 0 0 34963 38 0 0 25 0 1 0 904091859 50069504 10113 4294967295 134512640 134716908 3221224576 3221220700 1075116513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 10113 1111 63 0 12161 0
vsize: 48896
[startup+360.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11809 0 0 0 35963 38 0 0 25 0 1 0 904091859 50069504 10113 4294967295 134512640 134716908 3221224576 3221220700 1075116523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 10113 1111 63 0 12161 0
vsize: 48896
[startup+370.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11823 0 0 0 36963 38 0 0 25 0 1 0 904091859 50069504 10113 4294967295 134512640 134716908 3221224576 3221220700 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 10113 1111 63 0 12161 0
vsize: 48896
[startup+380.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 11837 0 0 0 37963 38 0 0 25 0 1 0 904091859 50069504 10113 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 10113 1111 63 0 12161 0
vsize: 48896
[startup+390.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 17768 0 0 0 38949 53 0 0 25 0 1 0 904091859 36229120 8067 4294967295 134512640 134716908 3221224576 3221222784 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8845 8067 1111 63 0 8782 0
vsize: 35380
[startup+400.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 19056 0 0 0 39944 58 0 0 25 0 1 0 904091859 36773888 8071 4294967295 134512640 134716908 3221224576 3221222692 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8978 8071 1111 63 0 8915 0
vsize: 35912
[startup+410.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 20222 0 0 0 40938 64 0 0 25 0 1 0 904091859 36773888 8069 4294967295 134512640 134716908 3221224576 3221222620 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8978 8071 1111 63 0 8915 0
vsize: 35912
[startup+420.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 21392 0 0 0 41933 70 0 0 25 0 1 0 904091859 36229120 8067 4294967295 134512640 134716908 3221224576 3221222632 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8845 8067 1111 63 0 8782 0
vsize: 35380
[startup+430.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 22568 0 0 0 42926 77 0 0 25 0 1 0 904091859 36773888 8071 4294967295 134512640 134716908 3221224576 3221222476 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8978 8071 1111 63 0 8915 0
vsize: 35912
[startup+440 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 22817 0 0 0 43923 79 0 0 25 0 1 0 904091859 36229120 8068 4294967295 134512640 134716908 3221224576 3221223180 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8845 8068 1111 63 0 8782 0
vsize: 35380
[startup+450 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 22817 0 0 0 44923 79 0 0 25 0 1 0 904091859 36229120 8068 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8845 8068 1111 63 0 8782 0
vsize: 35380
[startup+460 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 22845 0 0 0 45923 79 0 0 25 0 1 0 904091859 36229120 8096 4294967295 134512640 134716908 3221224576 3221223132 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8845 8096 1111 63 0 8782 0
vsize: 35380
[startup+470.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 22906 0 0 0 46923 79 0 0 25 0 1 0 904091859 36499456 8157 4294967295 134512640 134716908 3221224576 3221223052 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8911 8157 1111 63 0 8848 0
vsize: 35644
[startup+480 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 22985 0 0 0 47923 80 0 0 25 0 1 0 904091859 36904960 8236 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9010 8236 1111 63 0 8947 0
vsize: 36040
[startup+490 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 23948 0 0 0 48919 83 0 0 25 0 1 0 904091859 32546816 7219 4294967295 134512640 134716908 3221224576 3221222640 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7946 7219 1111 63 0 7883 0
vsize: 31784
[startup+500.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 24046 0 0 0 49918 85 0 0 25 0 1 0 904091859 32948224 7317 4294967295 134512640 134716908 3221224576 3221222976 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8044 7317 1111 63 0 7981 0
vsize: 32176
[startup+510.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 24140 0 0 0 50917 86 0 0 25 0 1 0 904091859 33333248 7411 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7411 1111 63 0 8075 0
vsize: 32552
[startup+520.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 24170 0 0 0 51916 87 0 0 25 0 1 0 904091859 33456128 7441 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8168 7441 1111 63 0 8105 0
vsize: 32672
[startup+530.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 26989 0 0 0 52910 93 0 0 25 0 1 0 904091859 48603136 9378 4294967295 134512640 134716908 3221224576 3221220796 1075116722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11866 9378 1111 63 0 11803 0
vsize: 47464
[startup+540.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 27039 0 0 0 53910 93 0 0 25 0 1 0 904091859 48603136 9428 4294967295 134512640 134716908 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11866 9428 1111 63 0 11803 0
vsize: 47464
[startup+550 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 27042 0 0 0 54911 93 0 0 25 0 1 0 904091859 48603136 9431 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11866 9431 1111 63 0 11803 0
vsize: 47464
[startup+560 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 27085 0 0 0 55911 93 0 0 25 0 1 0 904091859 49025024 9474 4294967295 134512640 134716908 3221224576 3221221408 1075115375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11969 9474 1111 63 0 11906 0
vsize: 47876
[startup+570.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 27087 0 0 0 56911 93 0 0 25 0 1 0 904091859 49025024 9476 4294967295 134512640 134716908 3221224576 3221220796 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11969 9476 1111 63 0 11906 0
vsize: 47876
[startup+580.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 27089 0 0 0 57911 93 0 0 25 0 1 0 904091859 49025024 9478 4294967295 134512640 134716908 3221224576 3221220912 1075113513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11969 9478 1111 63 0 11906 0
vsize: 47876
[startup+590.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 29355 0 0 0 58905 100 0 0 25 0 1 0 904091859 32686080 7274 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7980 7274 1111 63 0 7917 0
vsize: 31920
[startup+600.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 29483 0 0 0 59904 101 0 0 25 0 1 0 904091859 33210368 7402 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8108 7402 1111 63 0 8045 0
vsize: 32432
[startup+610.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 29566 0 0 0 60902 103 0 0 25 0 1 0 904091859 33550336 7485 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8191 7485 1111 63 0 8128 0
vsize: 32764
[startup+620.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32016 0 0 0 61897 108 0 0 25 0 1 0 904091859 47828992 9175 4294967295 134512640 134716908 3221224576 3221220796 1075116722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11677 9175 1111 63 0 11614 0
vsize: 46708
[startup+630.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32024 0 0 0 62897 108 0 0 25 0 1 0 904091859 47828992 9183 4294967295 134512640 134716908 3221224576 3221220796 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11677 9183 1111 63 0 11614 0
vsize: 46708
[startup+640.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32024 0 0 0 63897 108 0 0 25 0 1 0 904091859 47828992 9183 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11677 9183 1111 63 0 11614 0
vsize: 46708
[startup+650.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32063 0 0 0 64897 108 0 0 25 0 1 0 904091859 48205824 9222 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11769 9222 1111 63 0 11706 0
vsize: 47076
[startup+660.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32064 0 0 0 65897 109 0 0 25 0 1 0 904091859 48205824 9223 4294967295 134512640 134716908 3221224576 3221220796 1075116464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11769 9223 1111 63 0 11706 0
vsize: 47076
[startup+670.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32064 0 0 0 66897 109 0 0 25 0 1 0 904091859 48205824 9223 4294967295 134512640 134716908 3221224576 3221220796 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11769 9223 1111 63 0 11706 0
vsize: 47076
[startup+680.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32064 0 0 0 67897 109 0 0 25 0 1 0 904091859 48205824 9223 4294967295 134512640 134716908 3221224576 3221220444 1074787806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11769 9223 1111 63 0 11706 0
vsize: 47076
[startup+690.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32064 0 0 0 68898 109 0 0 25 0 1 0 904091859 48205824 9223 4294967295 134512640 134716908 3221224576 3221220796 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11769 9223 1111 63 0 11706 0
vsize: 47076
[startup+700.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32064 0 0 0 69898 109 0 0 25 0 1 0 904091859 48205824 9223 4294967295 134512640 134716908 3221224576 3221220796 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11769 9223 1111 63 0 11706 0
vsize: 47076
[startup+710.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32064 0 0 0 70898 109 0 0 25 0 1 0 904091859 48205824 9223 4294967295 134512640 134716908 3221224576 3221220796 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11769 9223 1111 63 0 11706 0
vsize: 47076
[startup+720.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32064 0 0 0 71898 109 0 0 25 0 1 0 904091859 48205824 9223 4294967295 134512640 134716908 3221224576 3221220796 1075116464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11769 9223 1111 63 0 11706 0
vsize: 47076
[startup+730.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32065 0 0 0 72898 109 0 0 25 0 1 0 904091859 48205824 9224 4294967295 134512640 134716908 3221224576 3221220796 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11769 9224 1111 63 0 11706 0
vsize: 47076
[startup+740.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 32065 0 0 0 73898 109 0 0 25 0 1 0 904091859 48205824 9224 4294967295 134512640 134716908 3221224576 3221220960 1076116709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11769 9224 1111 63 0 11706 0
vsize: 47076
[startup+750.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 34035 0 0 0 74894 113 0 0 25 0 1 0 904091859 32604160 7236 4294967295 134512640 134716908 3221224576 3221222296 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7960 7243 1111 63 0 7897 0
vsize: 31840
[startup+760.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 34209 0 0 0 75893 115 0 0 25 0 1 0 904091859 33243136 7410 4294967295 134512640 134716908 3221224576 3221222320 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8116 7410 1111 63 0 8053 0
vsize: 32464
[startup+770.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 36299 0 0 0 76888 120 0 0 25 0 1 0 904091859 47337472 8783 4294967295 134512640 134716908 3221224576 3221221232 1075967692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11557 8783 1111 63 0 11494 0
vsize: 46228
[startup+780.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 36544 0 0 0 77887 121 0 0 25 0 1 0 904091859 47480832 9028 4294967295 134512640 134716908 3221224576 3221220796 1075116513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11592 9028 1111 63 0 11529 0
vsize: 46368
[startup+790.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 36546 0 0 0 78887 121 0 0 25 0 1 0 904091859 47480832 9030 4294967295 134512640 134716908 3221224576 3221220796 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11592 9030 1111 63 0 11529 0
vsize: 46368
[startup+800.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 36580 0 0 0 79887 121 0 0 25 0 1 0 904091859 47833088 9063 4294967295 134512640 134716908 3221224576 3221220796 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11678 9063 1111 63 0 11615 0
vsize: 46712
[startup+810.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 36587 0 0 0 80887 121 0 0 25 0 1 0 904091859 47833088 9070 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11678 9070 1111 63 0 11615 0
vsize: 46712
[startup+820.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 38386 0 0 0 81883 126 0 0 25 0 1 0 904091859 32362496 7195 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7901 7195 1111 63 0 7838 0
vsize: 31604
[startup+830.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 38579 0 0 0 82881 128 0 0 25 0 1 0 904091859 33153024 7388 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8094 7388 1111 63 0 8031 0
vsize: 32376
[startup+840.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 40579 0 0 0 83877 132 0 0 25 0 1 0 904091859 46882816 8689 4294967295 134512640 134716908 3221224576 3221221616 1075860073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11446 8689 1111 63 0 11383 0
vsize: 45784
[startup+850.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 40796 0 0 0 84876 133 0 0 25 0 1 0 904091859 47050752 8906 4294967295 134512640 134716908 3221224576 3221221108 1075863647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11487 8906 1111 63 0 11424 0
vsize: 45948
[startup+860.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 40800 0 0 0 85876 133 0 0 25 0 1 0 904091859 47050752 8910 4294967295 134512640 134716908 3221224576 3221220796 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11487 8910 1111 63 0 11424 0
vsize: 45948
[startup+870.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 40836 0 0 0 86876 133 0 0 25 0 1 0 904091859 47259648 8946 4294967295 134512640 134716908 3221224576 3221220796 1075116535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11538 8946 1111 63 0 11475 0
vsize: 46152
[startup+880.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 40847 0 0 0 87877 133 0 0 25 0 1 0 904091859 47259648 8957 4294967295 134512640 134716908 3221224576 3221220720 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11538 8957 1111 63 0 11475 0
vsize: 46152
[startup+890.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 42677 0 0 0 88871 139 0 0 25 0 1 0 904091859 32768000 7294 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8000 7294 1111 63 0 7937 0
vsize: 32000
[startup+900.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 42811 0 0 0 89869 141 0 0 25 0 1 0 904091859 33316864 7428 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8134 7428 1111 63 0 8071 0
vsize: 32536
[startup+910.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 44948 0 0 0 90865 145 0 0 25 0 1 0 904091859 46993408 8876 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11473 8876 1111 63 0 11410 0
vsize: 45892
[startup+920.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 44964 0 0 0 91865 145 0 0 25 0 1 0 904091859 46993408 8892 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11473 8892 1111 63 0 11410 0
vsize: 45892
[startup+930.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 44969 0 0 0 92865 145 0 0 25 0 1 0 904091859 46993408 8897 4294967295 134512640 134716908 3221224576 3221220796 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11473 8897 1111 63 0 11410 0
vsize: 45892
[startup+940.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 44998 0 0 0 93866 145 0 0 25 0 1 0 904091859 47198208 8926 4294967295 134512640 134716908 3221224576 3221220796 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11523 8926 1111 63 0 11460 0
vsize: 46092
[startup+950.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 45007 0 0 0 94866 145 0 0 25 0 1 0 904091859 47198208 8935 4294967295 134512640 134716908 3221224576 3221220796 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11523 8935 1111 63 0 11460 0
vsize: 46092
[startup+960.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 46667 0 0 0 95862 149 0 0 25 0 1 0 904091859 32178176 7150 4294967295 134512640 134716908 3221224576 3221222272 1074056269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7856 7150 1111 63 0 7793 0
vsize: 31424
[startup+970.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 46835 0 0 0 96861 150 0 0 25 0 1 0 904091859 32866304 7318 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8024 7318 1111 63 0 7961 0
vsize: 32096
[startup+980.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 46946 0 0 0 97860 151 0 0 25 0 1 0 904091859 33320960 7429 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8135 7429 1111 63 0 8072 0
vsize: 32540
[startup+990.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 49088 0 0 0 98857 155 0 0 25 0 1 0 904091859 46968832 8890 4294967295 134512640 134716908 3221224576 3221220796 1075116495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11467 8890 1111 63 0 11404 0
vsize: 45868
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 49092 0 0 0 99857 155 0 0 25 0 1 0 904091859 46968832 8894 4294967295 134512640 134716908 3221224576 3221220796 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11467 8894 1111 63 0 11404 0
vsize: 45868
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 49095 0 0 0 100857 155 0 0 25 0 1 0 904091859 46968832 8897 4294967295 134512640 134716908 3221224576 3221220796 1075116504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11467 8897 1111 63 0 11404 0
vsize: 45868
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 49131 0 0 0 101857 155 0 0 25 0 1 0 904091859 47173632 8933 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11517 8933 1111 63 0 11454 0
vsize: 46068
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 49133 0 0 0 102857 155 0 0 25 0 1 0 904091859 47173632 8935 4294967295 134512640 134716908 3221224576 3221220720 1074970369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11517 8935 1111 63 0 11454 0
vsize: 46068
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 50914 0 0 0 103853 160 0 0 25 0 1 0 904091859 32735232 7286 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7992 7286 1111 63 0 7929 0
vsize: 31968
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 50989 0 0 0 104851 162 0 0 25 0 1 0 904091859 33042432 7361 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7361 1111 63 0 8004 0
vsize: 32268
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 53110 0 0 0 105847 166 0 0 25 0 1 0 904091859 47226880 8837 4294967295 134512640 134716908 3221224576 3221221232 1075967926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11530 8837 1111 63 0 11467 0
vsize: 46120
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 53281 0 0 0 106847 167 0 0 25 0 1 0 904091859 47370240 9008 4294967295 134512640 134716908 3221224576 3221220796 1075116820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11565 9008 1111 63 0 11502 0
vsize: 46260
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 53320 0 0 0 107847 167 0 0 25 0 1 0 904091859 47722496 9047 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11651 9047 1111 63 0 11588 0
vsize: 46604
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 53320 0 0 0 108847 167 0 0 25 0 1 0 904091859 47722496 9047 4294967295 134512640 134716908 3221224576 3221220796 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11651 9047 1111 63 0 11588 0
vsize: 46604
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 55156 0 0 0 109842 172 0 0 25 0 1 0 904091859 32665600 7269 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7975 7269 1111 63 0 7912 0
vsize: 31900
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 55300 0 0 0 110841 172 0 0 25 0 1 0 904091859 33255424 7413 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8119 7413 1111 63 0 8056 0
vsize: 32476
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 57317 0 0 0 111837 177 0 0 25 0 1 0 904091859 46993408 8721 4294967295 134512640 134716908 3221224576 3221220720 1074969605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11473 8721 1111 63 0 11410 0
vsize: 45892
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 57511 0 0 0 112837 178 0 0 25 0 1 0 904091859 47161344 8915 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11514 8915 1111 63 0 11451 0
vsize: 46056
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 57545 0 0 0 113837 178 0 0 25 0 1 0 904091859 47370240 8949 4294967295 134512640 134716908 3221224576 3221221520 1074620117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11565 8949 1111 63 0 11502 0
vsize: 46260
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 57576 0 0 0 114837 178 0 0 25 0 1 0 904091859 47370240 8980 4294967295 134512640 134716908 3221224576 3221220848 1074960970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11565 8980 1111 63 0 11502 0
vsize: 46260
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 59411 0 0 0 115831 184 0 0 25 0 1 0 904091859 32743424 7288 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7994 7288 1111 63 0 7931 0
vsize: 31976
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 59464 0 0 0 116830 185 0 0 25 0 1 0 904091859 32960512 7341 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8047 7341 1111 63 0 7984 0
vsize: 32188
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 61453 0 0 0 117826 190 0 0 25 0 1 0 904091859 46829568 8646 4294967295 134512640 134716908 3221224576 3221220736 1075090534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11433 8646 1111 63 0 11370 0
vsize: 45732
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 61672 0 0 0 118825 190 0 0 25 0 1 0 904091859 46997504 8865 4294967295 134512640 134716908 3221224576 3221220848 1074960759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11474 8865 1111 63 0 11411 0
vsize: 45896
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) R 21767 7266 7265 0 -1 0 61699 0 0 0 119825 190 0 0 25 0 1 0 904091859 46997504 8892 4294967295 134512640 134716908 3221224576 3221220848 1074960854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11474 8892 1111 63 0 11411 0
vsize: 45896
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 21768
Raw data (stat): 21768 (bsolo_lpr_cuts-) Z 21767 7266 7265 0 -1 1036 61699 0 0 0 119825 192 0 0 25 0 1 0 904091859 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.03
CPU time (s): 1200.18
CPU user time (s): 1198.26
CPU system time (s): 1.92571
CPU usage (%): 100.013
Max. virtual memory (Kb): 48896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####