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/een/normalized-air03.opb
MD5SUM	017636577e3ff026b2ea720fb537705b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	10757
Biggest coefficient in the objective function	6873
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	13748961
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	6873
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	13748961
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.22466
Number of variables	10757
Total number of constraints	248
Number of constraints which are clauses	126
Number of constraints which are cardinality constraints (but not clauses)	122
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3861
Trace number 40939

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 03:03:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29002 boxname=wulflinc4 idbench=388 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  017636577e3ff026b2ea720fb537705b  /oldhome/oroussel/tmp/wulflinc4/normalized-air03.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-air03.opb
IDLAUNCH: 29002
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        903548 kB
Buffers:         30480 kB
Cached:          78964 kB
SwapCached:       1192 kB
Active:          28860 kB
Inactive:        82892 kB
HighTotal:      131008 kB
HighFree:        51128 kB
LowTotal:       903652 kB
LowFree:        852420 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13744 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 03:23:18 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 29002 7 1200.41 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10757 variables and 248 constraints.
#### 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.92 0.98 0.91 2/54 7834
Raw data (stat): 7834 (runsolver) R 7833 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906875384 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 1693 0 0 0 993 5 0 0 25 0 1 0 906875384 20013056 1613 4294967295 134512640 134716908 3221224576 3221223120 134535474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4886 1613 1111 63 0 4823 0
vsize: 19544
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 4436 0 0 0 1985 13 0 0 25 0 1 0 906875384 31432704 4356 4294967295 134512640 134716908 3221224576 3221222852 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7674 4356 1111 63 0 7611 0
vsize: 30696
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 13081 0 0 0 2965 33 0 0 25 0 1 0 906875384 56967168 12965 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13908 12965 1111 63 0 13845 0
vsize: 55632
[startup+40.0037 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 13156 0 0 0 3965 33 0 0 25 0 1 0 906875384 56967168 12967 4294967295 134512640 134716908 3221224576 3221223448 134558807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13908 12967 1111 63 0 13845 0
vsize: 55632
[startup+50.0036 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 18867 0 0 0 4951 47 0 0 25 0 1 0 906875384 65269760 14973 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15935 14973 1111 63 0 15872 0
vsize: 63740
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 27585 0 0 0 5932 66 0 0 25 0 1 0 906875384 76288000 17685 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18625 17685 1111 63 0 18562 0
vsize: 74500
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 36144 0 0 0 6912 86 0 0 25 0 1 0 906875384 83251200 19353 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20325 19353 1111 63 0 20262 0
vsize: 81300
[startup+80.0062 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 45721 0 0 0 7893 106 0 0 25 0 1 0 906875384 93724672 21911 4294967295 134512640 134716908 3221224576 3221223032 134536665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22882 21911 1111 63 0 22819 0
vsize: 91528
[startup+90.0065 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 49147 0 0 0 8885 114 0 0 25 0 1 0 906875384 100233216 23531 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24471 23531 1111 63 0 24408 0
vsize: 97884
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 54139 0 0 0 9875 123 0 0 25 0 1 0 906875384 110985216 26124 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27096 26124 1111 63 0 27033 0
vsize: 108384
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 59102 0 0 0 10864 134 0 0 25 0 1 0 906875384 119693312 28282 4294967295 134512640 134716908 3221224576 3221223196 134543835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29222 28282 1111 63 0 29159 0
vsize: 116888
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 66138 0 0 0 11849 150 0 0 25 0 1 0 906875384 127651840 30213 4294967295 134512640 134716908 3221224576 3221223056 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31165 30213 1111 63 0 31102 0
vsize: 124660
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7834
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 71566 0 0 0 12837 162 0 0 25 0 1 0 906875384 136253440 32292 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33265 32292 1111 63 0 33202 0
vsize: 133060
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 78774 0 0 0 13821 178 0 0 25 0 1 0 906875384 146227200 34760 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35700 34760 1111 63 0 35637 0
vsize: 142800
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 81945 0 0 0 14815 184 0 0 25 0 1 0 906875384 155480064 37000 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37959 37000 1111 63 0 37896 0
vsize: 151836
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 88459 0 0 0 15802 197 0 0 25 0 1 0 906875384 161538048 38498 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39438 38498 1111 63 0 39375 0
vsize: 157752
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 94444 0 0 0 16790 209 0 0 25 0 1 0 906875384 170688512 40732 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41672 40732 1111 63 0 41609 0
vsize: 166688
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 100098 0 0 0 17776 223 0 0 25 0 1 0 906875384 182824960 43694 4294967295 134512640 134716908 3221224576 3221223120 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44635 43694 1111 63 0 44572 0
vsize: 178540
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 105618 0 0 0 18763 237 0 0 25 0 1 0 906875384 187305984 44789 4294967295 134512640 134716908 3221224576 3221222976 134542694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45729 44789 1111 63 0 45666 0
vsize: 182916
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 109839 0 0 0 19752 247 0 0 25 0 1 0 906875384 197398528 47242 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48193 47242 1111 63 0 48130 0
vsize: 192772
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 113170 0 0 0 20745 254 0 0 25 0 1 0 906875384 206278656 49421 4294967295 134512640 134716908 3221224576 3221223040 134542344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50361 49421 1111 63 0 50298 0
vsize: 201444
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 119525 0 0 0 21732 267 0 0 25 0 1 0 906875384 217206784 52089 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53029 52089 1111 63 0 52966 0
vsize: 212116
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 123758 0 0 0 22723 276 0 0 25 0 1 0 906875384 225427456 54096 4294967295 134512640 134716908 3221224576 3221222940 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55036 54096 1111 63 0 54973 0
vsize: 220144
[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 128016 0 0 0 23713 286 0 0 25 0 1 0 906875384 231280640 55525 4294967295 134512640 134716908 3221224576 3221223104 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56465 55525 1111 63 0 56402 0
vsize: 225860
[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 130896 0 0 0 24707 292 0 0 25 0 1 0 906875384 241405952 57965 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58937 57965 1111 63 0 58874 0
vsize: 235748
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 134047 0 0 0 25700 300 0 0 25 0 1 0 906875384 249499648 59973 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60913 59973 1111 63 0 60850 0
vsize: 243652
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 140707 0 0 0 26687 313 0 0 25 0 1 0 906875384 264945664 63733 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64684 63733 1111 63 0 64621 0
vsize: 258736
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 144818 0 0 0 27678 322 0 0 25 0 1 0 906875384 266432512 64107 4294967295 134512640 134716908 3221224576 3221223184 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65047 64107 1111 63 0 64984 0
vsize: 260188
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 148810 0 0 0 28668 332 0 0 25 0 1 0 906875384 273887232 65916 4294967295 134512640 134716908 3221224576 3221223056 134539422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66867 65916 1111 63 0 66804 0
vsize: 267468
[startup+300.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 154486 0 0 0 29658 343 0 0 25 0 1 0 906875384 284565504 68501 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69474 68501 1111 63 0 69411 0
vsize: 277896
[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 156528 0 0 0 30654 347 0 0 25 0 1 0 906875384 288243712 69431 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70372 69431 1111 63 0 70309 0
vsize: 281488
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 162990 0 0 0 31640 361 0 0 25 0 1 0 906875384 298508288 71905 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72878 71905 1111 63 0 72815 0
vsize: 291512
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 169731 0 0 0 32624 376 0 0 25 0 1 0 906875384 305963008 73747 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74698 73747 1111 63 0 74635 0
vsize: 298792
[startup+340.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 172174 0 0 0 33620 381 0 0 25 0 1 0 906875384 312758272 75387 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76357 75387 1111 63 0 76294 0
vsize: 305428
[startup+350.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 175308 0 0 0 34613 387 0 0 25 0 1 0 906875384 323440640 77994 4294967295 134512640 134716908 3221224576 3221223288 134675300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78965 77994 1111 63 0 78902 0
vsize: 315860
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 179015 0 0 0 35606 394 0 0 25 0 1 0 906875384 331857920 80080 4294967295 134512640 134716908 3221224576 3221222960 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81020 80080 1111 63 0 80957 0
vsize: 324080
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 181359 0 0 0 36601 400 0 0 25 0 1 0 906875384 338161664 81585 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82559 81585 1111 63 0 82496 0
vsize: 330236
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 184983 0 0 0 37593 408 0 0 25 0 1 0 906875384 348483584 84107 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85079 84107 1111 63 0 85016 0
vsize: 340316
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 187684 0 0 0 38588 413 0 0 25 0 1 0 906875384 354033664 85488 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86434 85488 1111 63 0 86371 0
vsize: 345736
[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 191295 0 0 0 39582 419 0 0 25 0 1 0 906875384 362319872 87517 4294967295 134512640 134716908 3221224576 3221222960 134542342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88457 87517 1111 63 0 88394 0
vsize: 353828
[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 196163 0 0 0 40570 432 0 0 25 0 1 0 906875384 371830784 89839 4294967295 134512640 134716908 3221224576 3221222940 134539270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90779 89839 1111 63 0 90716 0
vsize: 363116
[startup+420.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 199477 0 0 0 41562 439 0 0 25 0 1 0 906875384 378159104 91383 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92324 91383 1111 63 0 92261 0
vsize: 369296
[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 208412 0 0 0 42541 460 0 0 25 0 1 0 906875384 386076672 93316 4294967295 134512640 134716908 3221224576 3221222940 134539309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94257 93316 1111 63 0 94194 0
vsize: 377028
[startup+440.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 213654 0 0 0 43531 471 0 0 25 0 1 0 906875384 391221248 94572 4294967295 134512640 134716908 3221224576 3221223304 134675300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95513 94572 1111 63 0 95450 0
vsize: 382052
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 220085 0 0 0 44518 484 0 0 25 0 1 0 906875384 400400384 96813 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97754 96813 1111 63 0 97691 0
vsize: 391016
[startup+460.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 224073 0 0 0 45508 493 0 0 25 0 1 0 906875384 407097344 98426 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99389 98426 1111 63 0 99326 0
vsize: 397556
[startup+470.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 229548 0 0 0 46497 504 0 0 25 0 1 0 906875384 415670272 100529 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101482 100529 1111 63 0 101419 0
vsize: 405928
[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 235888 0 0 0 47484 518 0 0 25 0 1 0 906875384 418443264 101219 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102159 101219 1111 63 0 102096 0
vsize: 408636
[startup+490.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 242737 0 0 0 48470 532 0 0 25 0 1 0 906875384 423931904 102559 4294967295 134512640 134716908 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103499 102559 1111 63 0 103436 0
vsize: 413996
[startup+500.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 245282 0 0 0 49464 538 0 0 25 0 1 0 906875384 432885760 104745 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105685 104745 1111 63 0 105622 0
vsize: 422740
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 251825 0 0 0 50450 552 0 0 25 0 1 0 906875384 438145024 105996 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106969 105996 1111 63 0 106906 0
vsize: 427876
[startup+520.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 257022 0 0 0 51439 563 0 0 25 0 1 0 906875384 442499072 107091 4294967295 134512640 134716908 3221224576 3221222976 134542689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108032 107091 1111 63 0 107969 0
vsize: 432128
[startup+530.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 260258 0 0 0 52432 570 0 0 25 0 1 0 906875384 451178496 109187 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110151 109187 1111 63 0 110088 0
vsize: 440604
[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 265603 0 0 0 53419 583 0 0 25 0 1 0 906875384 456794112 110529 4294967295 134512640 134716908 3221224576 3221223000 1077377359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111522 110529 1111 63 0 111459 0
vsize: 446088
[startup+550.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 274047 0 0 0 54402 600 0 0 25 0 1 0 906875384 464924672 112554 4294967295 134512640 134716908 3221224576 3221223056 134539576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 113507 112554 1111 63 0 113444 0
vsize: 454028
[startup+560.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 277398 0 0 0 55394 608 0 0 25 0 1 0 906875384 469430272 113634 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114607 113634 1111 63 0 114544 0
vsize: 458428
[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 282198 0 0 0 56384 618 0 0 25 0 1 0 906875384 476352512 115357 4294967295 134512640 134716908 3221224576 3221222764 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116297 115357 1111 63 0 116234 0
vsize: 465188
[startup+580.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 283069 0 0 0 57383 620 0 0 25 0 1 0 906875384 478294016 115800 4294967295 134512640 134716908 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116771 115800 1111 63 0 116708 0
vsize: 467084
[startup+590.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 289501 0 0 0 58369 633 0 0 25 0 1 0 906875384 487747584 118128 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119079 118128 1111 63 0 119016 0
vsize: 476316
[startup+600.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 293207 0 0 0 59361 641 0 0 25 0 1 0 906875384 493305856 119496 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120436 119496 1111 63 0 120373 0
vsize: 481744
[startup+610.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 298773 0 0 0 60349 654 0 0 25 0 1 0 906875384 494899200 119853 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120825 119853 1111 63 0 120762 0
vsize: 483300
[startup+620.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 304062 0 0 0 61338 664 0 0 25 0 1 0 906875384 503189504 121909 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122849 121909 1111 63 0 122786 0
vsize: 491396
[startup+630.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 305810 0 0 0 62334 669 0 0 25 0 1 0 906875384 505298944 122413 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123364 122413 1111 63 0 123301 0
vsize: 493456
[startup+640.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 310856 0 0 0 63323 680 0 0 25 0 1 0 906875384 511234048 123841 4294967295 134512640 134716908 3221224576 3221223104 134535333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124813 123841 1111 63 0 124750 0
vsize: 499252
[startup+650.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 315198 0 0 0 64313 690 0 0 25 0 1 0 906875384 519462912 125882 4294967295 134512640 134716908 3221224576 3221223184 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126822 125882 1111 63 0 126759 0
vsize: 507288
[startup+660.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 322245 0 0 0 65297 706 0 0 25 0 1 0 906875384 524808192 127155 4294967295 134512640 134716908 3221224576 3221223064 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128127 127155 1111 63 0 128064 0
vsize: 512508
[startup+670.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 326479 0 0 0 66288 715 0 0 25 0 1 0 906875384 526888960 127695 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128635 127695 1111 63 0 128572 0
vsize: 514540
[startup+680.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 329251 0 0 0 67281 722 0 0 25 0 1 0 906875384 532938752 129150 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130112 129150 1111 63 0 130049 0
vsize: 520448
[startup+690.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 332456 0 0 0 68274 729 0 0 25 0 1 0 906875384 540540928 130997 4294967295 134512640 134716908 3221224576 3221223160 1077374049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131968 130997 1111 63 0 131905 0
vsize: 527872
[startup+700.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 334393 0 0 0 69270 733 0 0 25 0 1 0 906875384 544026624 131872 4294967295 134512640 134716908 3221224576 3221223080 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132819 131872 1111 63 0 132756 0
vsize: 531276
[startup+710.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 340762 0 0 0 70257 747 0 0 25 0 1 0 906875384 553103360 134084 4294967295 134512640 134716908 3221224576 3221223104 134535477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135035 134084 1111 63 0 134972 0
vsize: 540140
[startup+720.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 346005 0 0 0 71246 757 0 0 25 0 1 0 906875384 558084096 135290 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136251 135290 1111 63 0 136188 0
vsize: 545004
[startup+730.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 351073 0 0 0 72235 768 0 0 25 0 1 0 906875384 559411200 135605 4294967295 134512640 134716908 3221224576 3221223000 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136575 135605 1111 63 0 136512 0
vsize: 546300
[startup+740.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 356613 0 0 0 73223 780 0 0 25 0 1 0 906875384 566026240 137219 4294967295 134512640 134716908 3221224576 3221223040 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138190 137219 1111 63 0 138127 0
vsize: 552760
[startup+750.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 360409 0 0 0 74214 789 0 0 25 0 1 0 906875384 569643008 138101 4294967295 134512640 134716908 3221224576 3221223108 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139073 138101 1111 63 0 139010 0
vsize: 556292
[startup+760.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 365889 0 0 0 75203 800 0 0 25 0 1 0 906875384 570327040 138300 4294967295 134512640 134716908 3221224576 3221222988 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139240 138300 1111 63 0 139177 0
vsize: 556960
[startup+770.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 369958 0 0 0 76194 809 0 0 25 0 1 0 906875384 579612672 140567 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141507 140567 1111 63 0 141444 0
vsize: 566028
[startup+780.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 369958 0 0 0 77193 810 0 0 25 0 1 0 906875384 579608576 140566 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141506 140566 1111 63 0 141443 0
vsize: 566024
[startup+790.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 375856 0 0 0 78180 823 0 0 25 0 1 0 906875384 587460608 142451 4294967295 134512640 134716908 3221224576 3221223056 134539427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143423 142451 1111 63 0 143360 0
vsize: 573692
[startup+800.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 385579 0 0 0 79160 843 0 0 25 0 1 0 906875384 590147584 143128 4294967295 134512640 134716908 3221224576 3221223084 134539583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144079 143128 1111 63 0 144016 0
vsize: 576316
[startup+810.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 386343 0 0 0 80158 845 0 0 25 0 1 0 906875384 589709312 143032 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143972 143032 1111 63 0 143909 0
vsize: 575888
[startup+820.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 389706 0 0 0 81151 852 0 0 25 0 1 0 906875384 593358848 143912 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144863 143912 1111 63 0 144800 0
vsize: 579452
[startup+830.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 392389 0 0 0 82144 859 0 0 25 0 1 0 906875384 598515712 145182 4294967295 134512640 134716908 3221224576 3221223104 134543700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146122 145182 1111 63 0 146059 0
vsize: 584488
[startup+840.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 394312 0 0 0 83140 863 0 0 25 0 1 0 906875384 598515712 145182 4294967295 134512640 134716908 3221224576 3221222940 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146122 145182 1111 63 0 146059 0
vsize: 584488
[startup+850.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 396565 0 0 0 84135 868 0 0 25 0 1 0 906875384 601862144 145998 4294967295 134512640 134716908 3221224576 3221222992 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146939 145998 1111 63 0 146876 0
vsize: 587756
[startup+860.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 399738 0 0 0 85128 875 0 0 25 0 1 0 906875384 609009664 147732 4294967295 134512640 134716908 3221224576 3221223296 134618245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 148684 147732 1111 63 0 148621 0
vsize: 594736
[startup+870.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 401798 0 0 0 86123 880 0 0 25 0 1 0 906875384 614936576 149170 4294967295 134512640 134716908 3221224576 3221223056 134536624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150131 149170 1111 63 0 150068 0
vsize: 600524
[startup+880.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 404662 0 0 0 87117 886 0 0 25 0 1 0 906875384 622796800 151110 4294967295 134512640 134716908 3221224576 3221223056 134539112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152050 151110 1111 63 0 151987 0
vsize: 608200
[startup+890.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 406854 0 0 0 88112 891 0 0 25 0 1 0 906875384 625356800 151709 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152675 151709 1111 63 0 152612 0
vsize: 610700
[startup+900.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 411950 0 0 0 89103 900 0 0 25 0 1 0 906875384 630771712 153056 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153997 153056 1111 63 0 153934 0
vsize: 615988
[startup+910.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 417781 0 0 0 90089 914 0 0 25 0 1 0 906875384 638803968 155007 4294967295 134512640 134716908 3221224576 3221223140 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155958 155007 1111 63 0 155895 0
vsize: 623832
[startup+920.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 421574 0 0 0 91081 922 0 0 25 0 1 0 906875384 642252800 155838 4294967295 134512640 134716908 3221224576 3221223184 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 156800 155838 1111 63 0 156737 0
vsize: 627200
[startup+930.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 425191 0 0 0 92072 931 0 0 25 0 1 0 906875384 644444160 156384 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157335 156384 1111 63 0 157272 0
vsize: 629340
[startup+940.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 429526 0 0 0 93063 941 0 0 25 0 1 0 906875384 655036416 158964 4294967295 134512640 134716908 3221224576 3221223108 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 159921 158964 1111 63 0 159858 0
vsize: 639684
[startup+950.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 430315 0 0 0 94061 942 0 0 25 0 1 0 906875384 655626240 159123 4294967295 134512640 134716908 3221224576 3221223120 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 160065 159123 1111 63 0 160002 0
vsize: 640260
[startup+960.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 432119 0 0 0 95057 946 0 0 25 0 1 0 906875384 660226048 160246 4294967295 134512640 134716908 3221224576 3221223152 134535844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161188 160246 1111 63 0 161125 0
vsize: 644752
[startup+970.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 434393 0 0 0 96053 951 0 0 25 0 1 0 906875384 665456640 161491 4294967295 134512640 134716908 3221224576 3221223072 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162465 161491 1111 63 0 162402 0
vsize: 649860
[startup+980.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 439586 0 0 0 97040 963 0 0 25 0 1 0 906875384 671391744 162940 4294967295 134512640 134716908 3221224576 3221223184 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 163914 162940 1111 63 0 163851 0
vsize: 655656
[startup+990.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 445048 0 0 0 98027 976 0 0 25 0 1 0 906875384 674422784 163693 4294967295 134512640 134716908 3221224576 3221223292 134675317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164654 163693 1111 63 0 164591 0
vsize: 658616
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 448502 0 0 0 99021 983 0 0 25 0 1 0 906875384 679833600 165035 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165975 165035 1111 63 0 165912 0
vsize: 663900
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 452585 0 0 0 100011 993 0 0 25 0 1 0 906875384 681377792 165412 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 166352 165412 1111 63 0 166289 0
vsize: 665408
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 455449 0 0 0 101005 999 0 0 25 0 1 0 906875384 687763456 166971 4294967295 134512640 134716908 3221224576 3221223232 134609361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167911 166971 1111 63 0 167848 0
vsize: 671644
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 456635 0 0 0 102002 1002 0 0 25 0 1 0 906875384 691900416 167961 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168921 167961 1111 63 0 168858 0
vsize: 675684
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 459656 0 0 0 102995 1009 0 0 25 0 1 0 906875384 697507840 169328 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170290 169328 1111 63 0 170227 0
vsize: 681160
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 462041 0 0 0 103990 1015 0 0 25 0 1 0 906875384 701403136 170279 4294967295 134512640 134716908 3221224576 3221223056 134539202 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171241 170279 1111 63 0 171178 0
vsize: 684964
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 463985 0 0 0 104986 1018 0 0 25 0 1 0 906875384 704913408 171137 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172098 171137 1111 63 0 172035 0
vsize: 688392
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 466132 0 0 0 105982 1023 0 0 25 0 1 0 906875384 710500352 172510 4294967295 134512640 134716908 3221224576 3221223088 134523171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173462 172510 1111 63 0 173399 0
vsize: 693848
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 468564 0 0 0 106977 1028 0 0 25 0 1 0 906875384 715870208 173810 4294967295 134512640 134716908 3221224576 3221223040 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174773 173810 1111 63 0 174710 0
vsize: 699092
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 470842 0 0 0 107972 1032 0 0 25 0 1 0 906875384 716939264 174033 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175034 174040 1111 63 0 174971 0
vsize: 700136
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 473805 0 0 0 108967 1038 0 0 25 0 1 0 906875384 721838080 175257 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176230 175257 1111 63 0 176167 0
vsize: 704920
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 475105 0 0 0 109964 1042 0 0 25 0 1 0 906875384 722694144 175498 4294967295 134512640 134716908 3221224576 3221223140 1077374207 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176439 175498 1111 63 0 176376 0
vsize: 705756
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 478525 0 0 0 110957 1049 0 0 25 0 1 0 906875384 727547904 176683 4294967295 134512640 134716908 3221224576 3221223232 134609347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177624 176683 1111 63 0 177561 0
vsize: 710496
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 482382 0 0 0 111948 1057 0 0 25 0 1 0 906875384 730660864 177415 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178384 177415 1111 63 0 178321 0
vsize: 713536
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 488307 0 0 0 112936 1070 0 0 25 0 1 0 906875384 739979264 179719 4294967295 134512640 134716908 3221224576 3221223064 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180659 179719 1111 63 0 180596 0
vsize: 722636
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 488416 0 0 0 113936 1070 0 0 25 0 1 0 906875384 740126720 179755 4294967295 134512640 134716908 3221224576 3221223056 134539411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180695 179755 1111 63 0 180632 0
vsize: 722780
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 488450 0 0 0 114936 1070 0 0 25 0 1 0 906875384 740298752 179789 4294967295 134512640 134716908 3221224576 3221223164 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180737 179789 1111 63 0 180674 0
vsize: 722948
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 490417 0 0 0 115933 1073 0 0 25 0 1 0 906875384 746180608 181232 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182173 181232 1111 63 0 182110 0
vsize: 728692
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 491874 0 0 0 116931 1076 0 0 25 0 1 0 906875384 749768704 182101 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183049 182101 1111 63 0 182986 0
vsize: 732196
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 492240 0 0 0 117930 1077 0 0 25 0 1 0 906875384 750858240 182363 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183315 182363 1111 63 0 183252 0
vsize: 733260
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) R 7833 21152 21151 0 -1 0 493039 0 0 0 118928 1079 0 0 25 0 1 0 906875384 751878144 182613 4294967295 134512640 134716908 3221224576 3221223184 134542598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183564 182613 1111 63 0 183501 0
vsize: 734256
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.39 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 7836
Raw data (stat): 7834 (bsolo_lpr_cuts-) Z 7833 21152 21151 0 -1 1036 493039 0 0 0 118928 1112 0 0 25 0 1 0 906875384 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.39
CPU time (s): 1200.41
CPU user time (s): 1189.28
CPU system time (s): 11.1283
CPU usage (%): 100.002
Max. virtual memory (Kb): 734256
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####