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-ssa7552-160.opb
MD5SUM	e6fecce3dd18220c4b3d8965362801d2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1359
Optimality of the best value was proved	NO
Number of terms in the objective function	2782
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	2782
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2782
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04284
Number of variables	2782
Total number of constraints	4517
Number of constraints which are clauses	4517
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	1
Maximum length of a constraint	5
Trace number 40804

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 22:06:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28844 boxname=wulflinc4 idbench=230 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  e6fecce3dd18220c4b3d8965362801d2  /oldhome/oroussel/tmp/wulflinc4/normalized-ssa7552-160.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ssa7552-160.opb
IDLAUNCH: 28844
/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:        856616 kB
Buffers:         30464 kB
Cached:         122232 kB
SwapCached:       5200 kB
Active:          39464 kB
Inactive:       119548 kB
HighTotal:      131008 kB
HighFree:        73444 kB
LowTotal:       903652 kB
LowFree:        783172 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13532 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:26:33 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 28844 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2782 variables and 4517 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.93 0.99 0.94 2/54 4861
Raw data (stat): 4861 (runsolver) R 4860 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905094695 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.0011 s]
Raw data (loadavg): 0.94 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 18389 0 0 0 957 40 0 0 25 0 1 0 905094695 26398720 5585 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6445 5585 1111 63 0 6382 0
vsize: 25780
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 26018 0 0 0 1940 57 0 0 25 0 1 0 905094695 34222080 7498 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8355 7498 1111 63 0 8292 0
vsize: 33420
[startup+30.0022 s]
Raw data (loadavg): 0.96 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 31618 0 0 0 2925 72 0 0 25 0 1 0 905094695 38318080 8492 4294967295 134512640 134716908 3221224576 3221223316 134630799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9355 8492 1111 63 0 9292 0
vsize: 37420
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 35474 0 0 0 3918 79 0 0 25 0 1 0 905094695 43016192 9626 4294967295 134512640 134716908 3221224576 3221223196 134543835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10502 9626 1111 63 0 10439 0
vsize: 42008
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 39826 0 0 0 4908 89 0 0 25 0 1 0 905094695 46088192 10408 4294967295 134512640 134716908 3221224576 3221223092 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11252 10408 1111 63 0 11189 0
vsize: 45008
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 42235 0 0 0 5903 94 0 0 25 0 1 0 905094695 49385472 11205 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12057 11205 1111 63 0 11994 0
vsize: 48228
[startup+70.0029 s]
Raw data (loadavg): 0.98 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 44613 0 0 0 6898 99 0 0 25 0 1 0 905094695 52097024 11873 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12719 11873 1111 63 0 12656 0
vsize: 50876
[startup+80.0126 s]
Raw data (loadavg): 0.98 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 46394 0 0 0 7896 103 0 0 25 0 1 0 905094695 54534144 12468 4294967295 134512640 134716908 3221224576 3221223180 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13314 12468 1111 63 0 13251 0
vsize: 53256
[startup+90.0123 s]
Raw data (loadavg): 0.98 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 47992 0 0 0 8893 106 0 0 25 0 1 0 905094695 57446400 13176 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14025 13176 1111 63 0 13962 0
vsize: 56100
[startup+100.012 s]
Raw data (loadavg): 0.98 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 49216 0 0 0 9890 109 0 0 25 0 1 0 905094695 59088896 13582 4294967295 134512640 134716908 3221224576 3221222976 134542748 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14426 13582 1111 63 0 14363 0
vsize: 57704
[startup+110.013 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 56215 0 0 0 10873 126 0 0 25 0 1 0 905094695 61112320 14044 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14920 14044 1111 63 0 14857 0
vsize: 59680
[startup+120.014 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 57104 0 0 0 11872 128 0 0 25 0 1 0 905094695 61485056 14167 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15011 14167 1111 63 0 14948 0
vsize: 60044
[startup+130.015 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 58511 0 0 0 12869 131 0 0 25 0 1 0 905094695 63012864 14523 4294967295 134512640 134716908 3221224576 3221222960 134542706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15384 14523 1111 63 0 15321 0
vsize: 61536
[startup+140.015 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 60508 0 0 0 13866 134 0 0 25 0 1 0 905094695 65130496 15044 4294967295 134512640 134716908 3221224576 3221223200 134529222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15901 15044 1111 63 0 15838 0
vsize: 63604
[startup+150.014 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 62140 0 0 0 14863 137 0 0 25 0 1 0 905094695 67026944 15496 4294967295 134512640 134716908 3221224576 3221223116 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16364 15496 1111 63 0 16301 0
vsize: 65456
[startup+160.014 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 64055 0 0 0 15859 141 0 0 25 0 1 0 905094695 68464640 15869 4294967295 134512640 134716908 3221224576 3221223328 134630791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16715 15869 1111 63 0 16652 0
vsize: 66860
[startup+170.014 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 65135 0 0 0 16857 144 0 0 25 0 1 0 905094695 69976064 16230 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17084 16230 1111 63 0 17021 0
vsize: 68336
[startup+180.017 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 66200 0 0 0 17855 146 0 0 25 0 1 0 905094695 71278592 16535 4294967295 134512640 134716908 3221224576 3221223056 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17402 16535 1111 63 0 17339 0
vsize: 69608
[startup+190.019 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 68196 0 0 0 18851 151 0 0 25 0 1 0 905094695 72790016 16903 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17771 16903 1111 63 0 17708 0
vsize: 71084
[startup+200.019 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 69661 0 0 0 19848 154 0 0 25 0 1 0 905094695 74465280 17307 4294967295 134512640 134716908 3221224576 3221223200 134529269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18180 17307 1111 63 0 18117 0
vsize: 72720
[startup+210.02 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 71088 0 0 0 20845 157 0 0 25 0 1 0 905094695 75329536 17547 4294967295 134512640 134716908 3221224576 3221222964 134539212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18391 17547 1111 63 0 18328 0
vsize: 73564
[startup+220.019 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 73409 0 0 0 21841 161 0 0 25 0 1 0 905094695 77275136 17990 4294967295 134512640 134716908 3221224576 3221223184 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18866 17990 1111 63 0 18803 0
vsize: 75464
[startup+230.021 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 74342 0 0 0 22839 163 0 0 25 0 1 0 905094695 78327808 18250 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19123 18250 1111 63 0 19060 0
vsize: 76492
[startup+240.02 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 76076 0 0 0 23834 168 0 0 25 0 1 0 905094695 79400960 18517 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19385 18517 1111 63 0 19322 0
vsize: 77540
[startup+250.02 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 77021 0 0 0 24833 169 0 0 25 0 1 0 905094695 80461824 18771 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19644 18771 1111 63 0 19581 0
vsize: 78576
[startup+260.021 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 77910 0 0 0 25832 171 0 0 25 0 1 0 905094695 81756160 19092 4294967295 134512640 134716908 3221224576 3221223376 134617650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19960 19092 1111 63 0 19897 0
vsize: 79840
[startup+270.021 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 80342 0 0 0 26827 176 0 0 25 0 1 0 905094695 82313216 19252 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20096 19252 1111 63 0 20033 0
vsize: 80384
[startup+280.022 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 81280 0 0 0 27825 178 0 0 25 0 1 0 905094695 83845120 19597 4294967295 134512640 134716908 3221224576 3221223152 134523891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20470 19597 1111 63 0 20407 0
vsize: 81880
[startup+290.023 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 82907 0 0 0 28822 181 0 0 25 0 1 0 905094695 84832256 19838 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20711 19838 1111 63 0 20648 0
vsize: 82844
[startup+300.022 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 83723 0 0 0 29820 183 0 0 25 0 1 0 905094695 85954560 20141 4294967295 134512640 134716908 3221224576 3221223056 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20985 20141 1111 63 0 20922 0
vsize: 83940
[startup+310.022 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 84404 0 0 0 30819 185 0 0 25 0 1 0 905094695 87339008 20464 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21323 20464 1111 63 0 21260 0
vsize: 85292
[startup+320.022 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 86135 0 0 0 31815 189 0 0 25 0 1 0 905094695 88829952 20811 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21687 20811 1111 63 0 21624 0
vsize: 86748
[startup+330.023 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 86956 0 0 0 32813 191 0 0 25 0 1 0 905094695 89759744 21038 4294967295 134512640 134716908 3221224576 3221223088 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21914 21038 1111 63 0 21851 0
vsize: 87656
[startup+340.023 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 87776 0 0 0 33812 192 0 0 25 0 1 0 905094695 90685440 21264 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22140 21264 1111 63 0 22077 0
vsize: 88560
[startup+350.023 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 88592 0 0 0 34810 194 0 0 25 0 1 0 905094695 91590656 21487 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22361 21487 1111 63 0 22298 0
vsize: 89444
[startup+360.024 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 89261 0 0 0 35809 195 0 0 25 0 1 0 905094695 91824128 21571 4294967295 134512640 134716908 3221224576 3221222940 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22418 21571 1111 63 0 22355 0
vsize: 89672
[startup+370.024 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 89946 0 0 0 36807 197 0 0 25 0 1 0 905094695 93106176 21860 4294967295 134512640 134716908 3221224576 3221222976 134542817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22731 21860 1111 63 0 22668 0
vsize: 90924
[startup+380.025 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 90437 0 0 0 37807 198 0 0 25 0 1 0 905094695 94015488 22077 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22953 22077 1111 63 0 22890 0
vsize: 91812
[startup+390.025 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 91142 0 0 0 38805 200 0 0 25 0 1 0 905094695 94339072 22188 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23032 22188 1111 63 0 22969 0
vsize: 92128
[startup+400.025 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 96006 0 0 0 39794 211 0 0 25 0 1 0 905094695 97701888 22985 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23853 22985 1111 63 0 23790 0
vsize: 95412
[startup+410.025 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 96006 0 0 0 40794 211 0 0 25 0 1 0 905094695 97701888 22985 4294967295 134512640 134716908 3221224576 3221223200 134529145 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23853 22985 1111 63 0 23790 0
vsize: 95412
[startup+420.025 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 96074 0 0 0 41794 211 0 0 25 0 1 0 905094695 97701888 23009 4294967295 134512640 134716908 3221224576 3221222940 134539273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23853 23009 1111 63 0 23790 0
vsize: 95412
[startup+430.026 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 97351 0 0 0 42791 214 0 0 25 0 1 0 905094695 98779136 23267 4294967295 134512640 134716908 3221224576 3221223304 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24116 23267 1111 63 0 24053 0
vsize: 96464
[startup+440.026 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 98784 0 0 0 43789 217 0 0 25 0 1 0 905094695 99487744 23413 4294967295 134512640 134716908 3221224576 3221223040 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24289 23413 1111 63 0 24226 0
vsize: 97156
[startup+450.025 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 99797 0 0 0 44787 219 0 0 25 0 1 0 905094695 100294656 23612 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24486 23612 1111 63 0 24423 0
vsize: 97944
[startup+460.026 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 100401 0 0 0 45786 221 0 0 25 0 1 0 905094695 100454400 23681 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24525 23681 1111 63 0 24462 0
vsize: 98100
[startup+470.026 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 101062 0 0 0 46785 222 0 0 25 0 1 0 905094695 101138432 23848 4294967295 134512640 134716908 3221224576 3221222924 134535988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24692 23848 1111 63 0 24629 0
vsize: 98768
[startup+480.027 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 103355 0 0 0 47779 228 0 0 25 0 1 0 905094695 102019072 24063 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24907 24063 1111 63 0 24844 0
vsize: 99628
[startup+490.028 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 103986 0 0 0 48778 229 0 0 25 0 1 0 905094695 102584320 24201 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25045 24201 1111 63 0 24982 0
vsize: 100180
[startup+500.028 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 104637 0 0 0 49777 230 0 0 25 0 1 0 905094695 103268352 24358 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25212 24358 1111 63 0 25149 0
vsize: 100848
[startup+510.028 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 106047 0 0 0 50774 233 0 0 25 0 1 0 905094695 103915520 24526 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25370 24526 1111 63 0 25307 0
vsize: 101480
[startup+520.028 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 107840 0 0 0 51771 237 0 0 25 0 1 0 905094695 104685568 24714 4294967295 134512640 134716908 3221224576 3221222992 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25558 24714 1111 63 0 25495 0
vsize: 102232
[startup+530.029 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 109067 0 0 0 52769 239 0 0 25 0 1 0 905094695 105840640 24969 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25840 24969 1111 63 0 25777 0
vsize: 103360
[startup+540.029 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 109692 0 0 0 53767 241 0 0 25 0 1 0 905094695 106393600 25099 4294967295 134512640 134716908 3221224576 3221223056 134543073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25975 25099 1111 63 0 25912 0
vsize: 103900
[startup+550.029 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 113350 0 0 0 54760 248 0 0 25 0 1 0 905094695 108027904 25528 4294967295 134512640 134716908 3221224576 3221223028 134536674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26374 25528 1111 63 0 26311 0
vsize: 105496
[startup+560.03 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 113423 0 0 0 55760 248 0 0 25 0 1 0 905094695 108027904 25530 4294967295 134512640 134716908 3221224576 3221223056 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26374 25530 1111 63 0 26311 0
vsize: 105496
[startup+570.029 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 114031 0 0 0 56760 249 0 0 25 0 1 0 905094695 108965888 25746 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26603 25746 1111 63 0 26540 0
vsize: 106412
[startup+580.03 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 114650 0 0 0 57759 250 0 0 25 0 1 0 905094695 109424640 25871 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26715 25871 1111 63 0 26652 0
vsize: 106860
[startup+590.032 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 116010 0 0 0 58757 252 0 0 25 0 1 0 905094695 109727744 25945 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26789 25945 1111 63 0 26726 0
vsize: 107156
[startup+600.031 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 116695 0 0 0 59755 254 0 0 25 0 1 0 905094695 110751744 26168 4294967295 134512640 134716908 3221224576 3221223132 134542828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27039 26168 1111 63 0 26976 0
vsize: 108156
[startup+610.031 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 116971 0 0 0 60755 254 0 0 25 0 1 0 905094695 111165440 26288 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27140 26288 1111 63 0 27077 0
vsize: 108560
[startup+620.031 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 117493 0 0 0 61754 256 0 0 25 0 1 0 905094695 111341568 26322 4294967295 134512640 134716908 3221224576 3221222956 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27183 26322 1111 63 0 27120 0
vsize: 108732
[startup+630.032 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 118140 0 0 0 62752 257 0 0 25 0 1 0 905094695 112365568 26573 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27433 26573 1111 63 0 27370 0
vsize: 109732
[startup+640.032 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 119050 0 0 0 63751 259 0 0 25 0 1 0 905094695 112381952 26593 4294967295 134512640 134716908 3221224576 3221222984 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27437 26593 1111 63 0 27374 0
vsize: 109748
[startup+650.032 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 120378 0 0 0 64748 262 0 0 25 0 1 0 905094695 113356800 26816 4294967295 134512640 134716908 3221224576 3221223152 134523877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27675 26816 1111 63 0 27612 0
vsize: 110700
[startup+660.032 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 120774 0 0 0 65747 263 0 0 25 0 1 0 905094695 113487872 26845 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27707 26845 1111 63 0 27644 0
vsize: 110828
[startup+670.032 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 121415 0 0 0 66746 265 0 0 25 0 1 0 905094695 114495488 27091 4294967295 134512640 134716908 3221224576 3221223088 134542914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27953 27091 1111 63 0 27890 0
vsize: 111812
[startup+680.033 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 122632 0 0 0 67743 268 0 0 25 0 1 0 905094695 114995200 27201 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28075 27201 1111 63 0 28012 0
vsize: 112300
[startup+690.034 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 123536 0 0 0 68741 270 0 0 25 0 1 0 905094695 114933760 27216 4294967295 134512640 134716908 3221224576 3221223104 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28060 27216 1111 63 0 27997 0
vsize: 112240
[startup+700.034 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 124871 0 0 0 69738 273 0 0 25 0 1 0 905094695 115957760 27434 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28310 27434 1111 63 0 28247 0
vsize: 113240
[startup+710.034 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 125475 0 0 0 70737 274 0 0 25 0 1 0 905094695 116301824 27543 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28394 27543 1111 63 0 28331 0
vsize: 113576
[startup+720.033 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 125774 0 0 0 71737 275 0 0 25 0 1 0 905094695 116436992 27562 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28427 27562 1111 63 0 28364 0
vsize: 113708
[startup+730.034 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 126607 0 0 0 72735 277 0 0 25 0 1 0 905094695 117362688 27801 4294967295 134512640 134716908 3221224576 3221223104 134523350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28653 27801 1111 63 0 28590 0
vsize: 114612
[startup+740.035 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 126808 0 0 0 73735 277 0 0 25 0 1 0 905094695 117760000 27906 4294967295 134512640 134716908 3221224576 3221223080 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28750 27906 1111 63 0 28687 0
vsize: 115000
[startup+750.035 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 127246 0 0 0 74734 278 0 0 25 0 1 0 905094695 117768192 27908 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28752 27908 1111 63 0 28689 0
vsize: 115008
[startup+760.036 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 128649 0 0 0 75731 281 0 0 25 0 1 0 905094695 118784000 28124 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29000 28124 1111 63 0 28937 0
vsize: 116000
[startup+770.036 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 129660 0 0 0 76728 284 0 0 25 0 1 0 905094695 119074816 28211 4294967295 134512640 134716908 3221224576 3221223088 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29071 28211 1111 63 0 29008 0
vsize: 116284
[startup+780.037 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 130003 0 0 0 77728 285 0 0 25 0 1 0 905094695 119422976 28310 4294967295 134512640 134716908 3221224576 3221223152 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29156 28310 1111 63 0 29093 0
vsize: 116624
[startup+790.038 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 131152 0 0 0 78725 288 0 0 25 0 1 0 905094695 119447552 28318 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29162 28318 1111 63 0 29099 0
vsize: 116648
[startup+800.038 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 131940 0 0 0 79724 289 0 0 25 0 1 0 905094695 120254464 28515 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29359 28515 1111 63 0 29296 0
vsize: 117436
[startup+810.038 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 132296 0 0 0 80724 290 0 0 25 0 1 0 905094695 120692736 28622 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29466 28622 1111 63 0 29403 0
vsize: 117864
[startup+820.038 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 132780 0 0 0 81723 291 0 0 25 0 1 0 905094695 121028608 28680 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29548 28680 1111 63 0 29485 0
vsize: 118192
[startup+830.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 134547 0 0 0 82718 295 0 0 25 0 1 0 905094695 121434112 28790 4294967295 134512640 134716908 3221224576 3221223056 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29647 28790 1111 63 0 29584 0
vsize: 118588
[startup+840.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 144489 0 0 0 83698 316 0 0 25 0 1 0 905094695 122195968 28989 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29833 28989 1111 63 0 29770 0
vsize: 119332
[startup+850.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 144910 0 0 0 84697 317 0 0 25 0 1 0 905094695 122490880 29035 4294967295 134512640 134716908 3221224576 3221222908 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29905 29035 1111 63 0 29842 0
vsize: 119620
[startup+860.041 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 145398 0 0 0 85696 318 0 0 25 0 1 0 905094695 122867712 29128 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29997 29128 1111 63 0 29934 0
vsize: 119988
[startup+870.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 145855 0 0 0 86695 319 0 0 25 0 1 0 905094695 123244544 29219 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30089 29219 1111 63 0 30026 0
vsize: 120356
[startup+880.041 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 146342 0 0 0 87695 320 0 0 25 0 1 0 905094695 123621376 29310 4294967295 134512640 134716908 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30181 29310 1111 63 0 30118 0
vsize: 120724
[startup+890.041 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 146829 0 0 0 88693 322 0 0 25 0 1 0 905094695 123990016 29401 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30271 29401 1111 63 0 30208 0
vsize: 121084
[startup+900.041 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 147312 0 0 0 89692 323 0 0 25 0 1 0 905094695 124354560 29489 4294967295 134512640 134716908 3221224576 3221222944 134542992 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30360 29489 1111 63 0 30297 0
vsize: 121440
[startup+910.042 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 147796 0 0 0 90692 324 0 0 25 0 1 0 905094695 124715008 29577 4294967295 134512640 134716908 3221224576 3221223056 134524111 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30448 29577 1111 63 0 30385 0
vsize: 121792
[startup+920.042 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 148254 0 0 0 91691 324 0 0 25 0 1 0 905094695 125075456 29663 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30536 29663 1111 63 0 30473 0
vsize: 122144
[startup+930.042 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 148734 0 0 0 92690 325 0 0 25 0 1 0 905094695 125431808 29749 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30623 29749 1111 63 0 30560 0
vsize: 122492
[startup+940.042 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 149215 0 0 0 93689 327 0 0 25 0 1 0 905094695 125779968 29834 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30708 29834 1111 63 0 30645 0
vsize: 122832
[startup+950.042 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 149695 0 0 0 94688 328 0 0 25 0 1 0 905094695 126124032 29918 4294967295 134512640 134716908 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30792 29918 1111 63 0 30729 0
vsize: 123168
[startup+960.043 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 150174 0 0 0 95688 328 0 0 25 0 1 0 905094695 126468096 30001 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30876 30001 1111 63 0 30813 0
vsize: 123504
[startup+970.043 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 151446 0 0 0 96685 331 0 0 25 0 1 0 905094695 126812160 30085 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30960 30085 1111 63 0 30897 0
vsize: 123840
[startup+980.044 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 151922 0 0 0 97684 332 0 0 25 0 1 0 905094695 127549440 30264 4294967295 134512640 134716908 3221224576 3221223040 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31140 30264 1111 63 0 31077 0
vsize: 124560
[startup+990.043 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 152195 0 0 0 98684 333 0 0 25 0 1 0 905094695 127803392 30345 4294967295 134512640 134716908 3221224576 3221223064 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31202 30345 1111 63 0 31139 0
vsize: 124808
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 152660 0 0 0 99683 334 0 0 25 0 1 0 905094695 128200704 30423 4294967295 134512640 134716908 3221224576 3221223152 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31299 30423 1111 63 0 31236 0
vsize: 125196
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 153135 0 0 0 100682 335 0 0 25 0 1 0 905094695 128524288 30502 4294967295 134512640 134716908 3221224576 3221223184 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31378 30502 1111 63 0 31315 0
vsize: 125512
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 153608 0 0 0 101681 336 0 0 25 0 1 0 905094695 128716800 30579 4294967295 134512640 134716908 3221224576 3221223304 134675294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31425 30579 1111 63 0 31362 0
vsize: 125700
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 154185 0 0 0 102680 337 0 0 25 0 1 0 905094695 129458176 30762 4294967295 134512640 134716908 3221224576 3221223104 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31606 30762 1111 63 0 31543 0
vsize: 126424
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 154639 0 0 0 103679 338 0 0 25 0 1 0 905094695 129695744 30820 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31664 30820 1111 63 0 31601 0
vsize: 126656
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 155108 0 0 0 104679 339 0 0 25 0 1 0 905094695 130400256 30992 4294967295 134512640 134716908 3221224576 3221223088 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31836 30992 1111 63 0 31773 0
vsize: 127344
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 155802 0 0 0 105677 341 0 0 25 0 1 0 905094695 130904064 31065 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31959 31065 1111 63 0 31896 0
vsize: 127836
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 156095 0 0 0 106677 342 0 0 25 0 1 0 905094695 131317760 31137 4294967295 134512640 134716908 3221224576 3221223328 134630814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32060 31137 1111 63 0 31997 0
vsize: 128240
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 156428 0 0 0 107676 342 0 0 25 0 1 0 905094695 130945024 31075 4294967295 134512640 134716908 3221224576 3221222972 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31969 31075 1111 63 0 31906 0
vsize: 127876
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 156892 0 0 0 108676 343 0 0 25 0 1 0 905094695 131223552 31143 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32037 31143 1111 63 0 31974 0
vsize: 128148
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 157358 0 0 0 109675 344 0 0 25 0 1 0 905094695 132042752 31312 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32237 31312 1111 63 0 32174 0
vsize: 128948
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 157813 0 0 0 110674 345 0 0 25 0 1 0 905094695 132317184 31379 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32304 31379 1111 63 0 32241 0
vsize: 129216
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 158871 0 0 0 111672 347 0 0 25 0 1 0 905094695 132325376 31413 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32306 31413 1111 63 0 32243 0
vsize: 129224
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 159129 0 0 0 112671 348 0 0 25 0 1 0 905094695 132325376 31413 4294967295 134512640 134716908 3221224576 3221222940 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32306 31413 1111 63 0 32243 0
vsize: 129224
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 159585 0 0 0 113670 349 0 0 25 0 1 0 905094695 133013504 31573 4294967295 134512640 134716908 3221224576 3221223176 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32474 31573 1111 63 0 32411 0
vsize: 129896
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 160044 0 0 0 114669 350 0 0 25 0 1 0 905094695 133271552 31636 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32537 31636 1111 63 0 32474 0
vsize: 130148
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 160193 0 0 0 115670 350 0 0 25 0 1 0 905094695 133316608 31655 4294967295 134512640 134716908 3221224576 3221223104 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32548 31655 1111 63 0 32485 0
vsize: 130192
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 160411 0 0 0 116669 351 0 0 25 0 1 0 905094695 133701632 31733 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32642 31733 1111 63 0 32579 0
vsize: 130568
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 161576 0 0 0 117668 353 0 0 25 0 1 0 905094695 134017024 31794 4294967295 134512640 134716908 3221224576 3221223376 134617624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32719 31794 1111 63 0 32656 0
vsize: 130876
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 161891 0 0 0 118667 353 0 0 25 0 1 0 905094695 134184960 31853 4294967295 134512640 134716908 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 31853 1111 63 0 32697 0
vsize: 131040
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) R 4860 21152 21151 0 -1 0 162307 0 0 0 119667 353 0 0 25 0 1 0 905094695 134471680 31913 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32830 31913 1111 63 0 32767 0
vsize: 131320
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.99 0.94 1/54 4861
Raw data (stat): 4861 (bsolo_lpr_cuts-) Z 4860 21152 21151 0 -1 1036 162307 0 0 0 119667 359 0 0 25 0 1 0 905094695 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.11
CPU time (s): 1200.28
CPU user time (s): 1196.68
CPU system time (s): 3.59645
CPU usage (%): 100.014
Max. virtual memory (Kb): 131320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####