PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d2q06c.opb
MD5SUM	91ef78d459f6272891a68c3f1abe1bde
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	89670
Biggest coefficient in the objective function	36281708852543488
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	-1012211575040220109
Number of bits of the sum of numbers in the objective function	64
Biggest number in a constraint	1246989811751845888
Number of bits of the biggest number in a constraint	61
Biggest sum of numbers in a constraint	-1012211575040220109
Number of bits of the biggest sum of numbers	64
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42378
Number of variables	155010
Total number of constraints	2171
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2171
Minimum length of a constraint	30
Maximum length of a constraint	3270
Trace number 29036

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        846976 kB
Buffers:         12532 kB
Cached:         149304 kB
SwapCached:        412 kB
Active:          82004 kB
Inactive:        82112 kB
HighTotal:      131008 kB
HighFree:        27328 kB
LowTotal:       903652 kB
LowFree:        819648 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5696 kB
Slab:            17800 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:47:36 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 10662 7 1200.47 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.98 0.97 0.92 2/54 3720
Raw data (stat): 3720 (runsolver) R 3719 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777772771 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0086 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 1151 0 0 0 995 3 0 0 25 0 1 0 777772771 15511552 1075 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1075 1111 63 0 3724 0
vsize: 15148
[startup+20.0172 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 1262 0 0 0 1996 3 0 0 25 0 1 0 777772771 15945728 1186 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 1186 1111 63 0 3830 0
vsize: 15572
[startup+30.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 1371 0 0 0 2996 4 0 0 25 0 1 0 777772771 16388096 1295 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4001 1295 1111 63 0 3938 0
vsize: 16004
[startup+40.0171 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 1475 0 0 0 3996 4 0 0 25 0 1 0 777772771 16838656 1399 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 1399 1111 63 0 4048 0
vsize: 16444
[startup+50.0173 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 1594 0 0 0 4996 4 0 0 25 0 1 0 777772771 17272832 1518 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4217 1518 1111 63 0 4154 0
vsize: 16868
[startup+60.0174 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 1698 0 0 0 5997 4 0 0 25 0 1 0 777772771 17702912 1622 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4322 1622 1111 63 0 4259 0
vsize: 17288
[startup+70.0176 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 1801 0 0 0 6997 5 0 0 25 0 1 0 777772771 18145280 1725 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4430 1725 1111 63 0 4367 0
vsize: 17720
[startup+80.0177 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 1918 0 0 0 7997 5 0 0 25 0 1 0 777772771 18591744 1842 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4539 1842 1111 63 0 4476 0
vsize: 18156
[startup+90.0179 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 2021 0 0 0 8997 5 0 0 25 0 1 0 777772771 19046400 1945 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4650 1945 1111 63 0 4587 0
vsize: 18600
[startup+100.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 2130 0 0 0 9996 6 0 0 25 0 1 0 777772771 19488768 2054 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4758 2054 1111 63 0 4695 0
vsize: 19032
[startup+110.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 2203 0 0 0 10997 6 0 0 25 0 1 0 777772771 19795968 2127 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4833 2127 1111 63 0 4770 0
vsize: 19332
[startup+120.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 2269 0 0 0 11997 6 0 0 25 0 1 0 777772771 20094976 2193 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4906 2193 1111 63 0 4843 0
vsize: 19624
[startup+130.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 2350 0 0 0 12997 6 0 0 25 0 1 0 777772771 20393984 2274 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4979 2274 1111 63 0 4916 0
vsize: 19916
[startup+140.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 2439 0 0 0 13997 6 0 0 25 0 1 0 777772771 20844544 2363 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5089 2363 1111 63 0 5026 0
vsize: 20356
[startup+150.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 2541 0 0 0 14997 7 0 0 25 0 1 0 777772771 21143552 2465 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 2465 1111 63 0 5099 0
vsize: 20648
[startup+160.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 2637 0 0 0 15997 7 0 0 25 0 1 0 777772771 21602304 2561 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5274 2561 1111 63 0 5211 0
vsize: 21096
[startup+170.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 2732 0 0 0 16997 7 0 0 25 0 1 0 777772771 22048768 2656 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5383 2656 1111 63 0 5320 0
vsize: 21532
[startup+180.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 2828 0 0 0 17997 7 0 0 25 0 1 0 777772771 22351872 2752 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 2752 1111 63 0 5394 0
vsize: 21828
[startup+190.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 2930 0 0 0 18997 8 0 0 25 0 1 0 777772771 22802432 2854 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5567 2854 1111 63 0 5504 0
vsize: 22268
[startup+200.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 3048 0 0 0 19997 8 0 0 25 0 1 0 777772771 23265280 2972 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5680 2972 1111 63 0 5617 0
vsize: 22720
[startup+210.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 3150 0 0 0 20997 9 0 0 25 0 1 0 777772771 23695360 3074 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5785 3074 1111 63 0 5722 0
vsize: 23140
[startup+220.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 3253 0 0 0 21998 9 0 0 25 0 1 0 777772771 24145920 3177 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5895 3177 1111 63 0 5832 0
vsize: 23580
[startup+230.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 3342 0 0 0 22998 9 0 0 25 0 1 0 777772771 24444928 3266 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5968 3266 1111 63 0 5905 0
vsize: 23872
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 3438 0 0 0 23998 9 0 0 25 0 1 0 777772771 24895488 3362 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6078 3362 1111 63 0 6015 0
vsize: 24312
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 3549 0 0 0 24998 9 0 0 25 0 1 0 777772771 25350144 3473 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6189 3473 1111 63 0 6126 0
vsize: 24756
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 3638 0 0 0 25998 9 0 0 25 0 1 0 777772771 25649152 3562 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6262 3562 1111 63 0 6199 0
vsize: 25048
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 3741 0 0 0 26998 10 0 0 25 0 1 0 777772771 26103808 3665 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 3665 1111 63 0 6310 0
vsize: 25492
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 3850 0 0 0 27998 10 0 0 25 0 1 0 777772771 26550272 3774 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6482 3774 1111 63 0 6419 0
vsize: 25928
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 3932 0 0 0 28998 10 0 0 25 0 1 0 777772771 26849280 3856 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6555 3856 1111 63 0 6492 0
vsize: 26220
[startup+300.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 4043 0 0 0 29999 10 0 0 25 0 1 0 777772771 27426816 3967 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6696 3967 1111 63 0 6633 0
vsize: 26784
[startup+310.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 4168 0 0 0 30999 10 0 0 25 0 1 0 777772771 27881472 4092 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6807 4092 1111 63 0 6744 0
vsize: 27228
[startup+320.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 4271 0 0 0 32000 11 0 0 25 0 1 0 777772771 28327936 4195 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6916 4195 1111 63 0 6853 0
vsize: 27664
[startup+330.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 4374 0 0 0 33001 11 0 0 25 0 1 0 777772771 28782592 4298 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7027 4298 1111 63 0 6964 0
vsize: 28108
[startup+340.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 4478 0 0 0 34001 11 0 0 25 0 1 0 777772771 29081600 4402 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4402 1111 63 0 7037 0
vsize: 28400
[startup+350.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 4568 0 0 0 35001 11 0 0 25 0 1 0 777772771 29532160 4492 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 4492 1111 63 0 7147 0
vsize: 28840
[startup+360.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 4670 0 0 0 36001 12 0 0 25 0 1 0 777772771 29982720 4594 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7320 4594 1111 63 0 7257 0
vsize: 29280
[startup+370.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 4779 0 0 0 37001 12 0 0 25 0 1 0 777772771 30433280 4703 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7430 4703 1111 63 0 7367 0
vsize: 29720
[startup+380.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 4889 0 0 0 38002 12 0 0 25 0 1 0 777772771 30887936 4813 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7541 4813 1111 63 0 7478 0
vsize: 30164
[startup+390.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 4970 0 0 0 39002 12 0 0 25 0 1 0 777772771 31186944 4894 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7614 4894 1111 63 0 7551 0
vsize: 30456
[startup+400.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 5092 0 0 0 40001 13 0 0 25 0 1 0 777772771 31678464 5016 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7734 5016 1111 63 0 7671 0
vsize: 30936
[startup+410.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 5209 0 0 0 41001 14 0 0 25 0 1 0 777772771 32124928 5133 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7843 5133 1111 63 0 7780 0
vsize: 31372
[startup+420.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 5328 0 0 0 42001 14 0 0 25 0 1 0 777772771 32731136 5252 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7991 5252 1111 63 0 7928 0
vsize: 31964
[startup+430.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 5438 0 0 0 43001 15 0 0 25 0 1 0 777772771 33181696 5362 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8101 5362 1111 63 0 8038 0
vsize: 32404
[startup+440.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 5550 0 0 0 44001 15 0 0 25 0 1 0 777772771 33632256 5474 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8211 5474 1111 63 0 8148 0
vsize: 32844
[startup+450.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 5660 0 0 0 45001 15 0 0 25 0 1 0 777772771 34082816 5584 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8321 5584 1111 63 0 8258 0
vsize: 33284
[startup+460.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 5771 0 0 0 46001 15 0 0 25 0 1 0 777772771 34537472 5695 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8432 5695 1111 63 0 8369 0
vsize: 33728
[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 5880 0 0 0 47001 15 0 0 25 0 1 0 777772771 34988032 5804 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8542 5804 1111 63 0 8479 0
vsize: 34168
[startup+480.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 5993 0 0 0 48001 16 0 0 25 0 1 0 777772771 35438592 5917 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8652 5917 1111 63 0 8589 0
vsize: 34608
[startup+490.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 6095 0 0 0 49001 16 0 0 25 0 1 0 777772771 35737600 6019 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8725 6019 1111 63 0 8662 0
vsize: 34900
[startup+500.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 6199 0 0 0 50002 16 0 0 25 0 1 0 777772771 36192256 6123 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8836 6123 1111 63 0 8773 0
vsize: 35344
[startup+510.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 6315 0 0 0 51002 16 0 0 25 0 1 0 777772771 36642816 6239 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8946 6239 1111 63 0 8883 0
vsize: 35784
[startup+520.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 6428 0 0 0 52002 16 0 0 25 0 1 0 777772771 37097472 6352 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9057 6352 1111 63 0 8994 0
vsize: 36228
[startup+530.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 6545 0 0 0 53002 16 0 0 25 0 1 0 777772771 37695488 6469 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9203 6469 1111 63 0 9140 0
vsize: 36812
[startup+540.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 6663 0 0 0 54002 17 0 0 25 0 1 0 777772771 38146048 6587 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9313 6587 1111 63 0 9250 0
vsize: 37252
[startup+550.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 6759 0 0 0 55002 17 0 0 25 0 1 0 777772771 38445056 6683 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9386 6683 1111 63 0 9323 0
vsize: 37544
[startup+560.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 6863 0 0 0 56002 17 0 0 25 0 1 0 777772771 38903808 6787 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 6787 1111 63 0 9435 0
vsize: 37992
[startup+570.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 6981 0 0 0 57002 18 0 0 25 0 1 0 777772771 39350272 6905 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9607 6905 1111 63 0 9544 0
vsize: 38428
[startup+580.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 7092 0 0 0 58002 18 0 0 25 0 1 0 777772771 39804928 7016 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9718 7016 1111 63 0 9655 0
vsize: 38872
[startup+590.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 7194 0 0 0 59003 18 0 0 25 0 1 0 777772771 40251392 7118 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9827 7118 1111 63 0 9764 0
vsize: 39308
[startup+600.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 7291 0 0 0 60003 18 0 0 25 0 1 0 777772771 40710144 7215 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9939 7215 1111 63 0 9876 0
vsize: 39756
[startup+610.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 7408 0 0 0 61003 18 0 0 25 0 1 0 777772771 41156608 7332 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 7332 1111 63 0 9985 0
vsize: 40192
[startup+620.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 7528 0 0 0 62003 19 0 0 25 0 1 0 777772771 41611264 7452 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10159 7452 1111 63 0 10096 0
vsize: 40636
[startup+630.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 7629 0 0 0 63003 19 0 0 25 0 1 0 777772771 42057728 7553 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10268 7553 1111 63 0 10205 0
vsize: 41072
[startup+640.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 7726 0 0 0 64004 19 0 0 25 0 1 0 777772771 42491904 7650 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10374 7650 1111 63 0 10311 0
vsize: 41496
[startup+650.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 7836 0 0 0 65004 19 0 0 25 0 1 0 777772771 42934272 7760 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10482 7760 1111 63 0 10419 0
vsize: 41928
[startup+660.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 7956 0 0 0 66004 20 0 0 25 0 1 0 777772771 43384832 7880 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10592 7880 1111 63 0 10529 0
vsize: 42368
[startup+670.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 8073 0 0 0 67005 20 0 0 25 0 1 0 777772771 43835392 7997 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10702 7997 1111 63 0 10639 0
vsize: 42808
[startup+680.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 8205 0 0 0 68005 20 0 0 25 0 1 0 777772771 44441600 8129 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10850 8129 1111 63 0 10787 0
vsize: 43400
[startup+690.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 8322 0 0 0 69005 20 0 0 25 0 1 0 777772771 44888064 8246 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10959 8246 1111 63 0 10896 0
vsize: 43836
[startup+700.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 8440 0 0 0 70005 20 0 0 25 0 1 0 777772771 45342720 8364 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11070 8364 1111 63 0 11007 0
vsize: 44280
[startup+710.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 8557 0 0 0 71005 20 0 0 25 0 1 0 777772771 45789184 8481 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11179 8481 1111 63 0 11116 0
vsize: 44716
[startup+720.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 8676 0 0 0 72006 20 0 0 25 0 1 0 777772771 46395392 8600 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11327 8600 1111 63 0 11264 0
vsize: 45308
[startup+730.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 8785 0 0 0 73006 21 0 0 25 0 1 0 777772771 46845952 8709 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11437 8709 1111 63 0 11374 0
vsize: 45748
[startup+740.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 8911 0 0 0 74006 21 0 0 25 0 1 0 777772771 47296512 8835 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11547 8835 1111 63 0 11484 0
vsize: 46188
[startup+750.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 9063 0 0 0 75006 21 0 0 25 0 1 0 777772771 48005120 8987 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11720 8987 1111 63 0 11657 0
vsize: 46880
[startup+760.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 9193 0 0 0 76006 21 0 0 25 0 1 0 777772771 48603136 9117 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11866 9118 1111 63 0 11803 0
vsize: 47464
[startup+770.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 9313 0 0 0 77006 22 0 0 25 0 1 0 777772771 49029120 9237 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11970 9237 1111 63 0 11907 0
vsize: 47880
[startup+780.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 9430 0 0 0 78006 22 0 0 25 0 1 0 777772771 49475584 9354 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12079 9354 1111 63 0 12016 0
vsize: 48316
[startup+790.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 9535 0 0 0 79006 22 0 0 25 0 1 0 777772771 49930240 9459 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12190 9459 1111 63 0 12127 0
vsize: 48760
[startup+800.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 9651 0 0 0 80006 23 0 0 25 0 1 0 777772771 50376704 9575 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12299 9575 1111 63 0 12236 0
vsize: 49196
[startup+810.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 9770 0 0 0 81006 23 0 0 25 0 1 0 777772771 50954240 9694 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12440 9694 1111 63 0 12377 0
vsize: 49760
[startup+820.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 9873 0 0 0 82006 23 0 0 25 0 1 0 777772771 51400704 9797 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12549 9797 1111 63 0 12486 0
vsize: 50196
[startup+830.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 10006 0 0 0 83006 24 0 0 25 0 1 0 777772771 51855360 9930 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12660 9930 1111 63 0 12597 0
vsize: 50640
[startup+840.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 10131 0 0 0 84007 24 0 0 25 0 1 0 777772771 52453376 10055 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12806 10055 1111 63 0 12743 0
vsize: 51224
[startup+850.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 10250 0 0 0 85007 24 0 0 25 0 1 0 777772771 52908032 10174 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12917 10174 1111 63 0 12854 0
vsize: 51668
[startup+860.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 10358 0 0 0 86007 24 0 0 25 0 1 0 777772771 53358592 10282 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13027 10282 1111 63 0 12964 0
vsize: 52108
[startup+870.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 10479 0 0 0 87007 24 0 0 25 0 1 0 777772771 53809152 10403 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13137 10403 1111 63 0 13074 0
vsize: 52548
[startup+880.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 10611 0 0 0 88008 24 0 0 25 0 1 0 777772771 54415360 10535 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13285 10535 1111 63 0 13222 0
vsize: 53140
[startup+890.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 10736 0 0 0 89008 24 0 0 25 0 1 0 777772771 54865920 10660 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13395 10660 1111 63 0 13332 0
vsize: 53580
[startup+900.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 10861 0 0 0 90008 25 0 0 25 0 1 0 777772771 55316480 10785 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13505 10785 1111 63 0 13442 0
vsize: 54020
[startup+910.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 10980 0 0 0 91008 25 0 0 25 0 1 0 777772771 55914496 10904 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 10904 1111 63 0 13588 0
vsize: 54604
[startup+920.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 11106 0 0 0 92008 25 0 0 25 0 1 0 777772771 56373248 11030 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13763 11030 1111 63 0 13700 0
vsize: 55052
[startup+930.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 11237 0 0 0 93008 25 0 0 25 0 1 0 777772771 56971264 11161 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13909 11161 1111 63 0 13846 0
vsize: 55636
[startup+940.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 11363 0 0 0 94008 26 0 0 25 0 1 0 777772771 57421824 11287 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14019 11287 1111 63 0 13956 0
vsize: 56076
[startup+950.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 11483 0 0 0 95008 26 0 0 25 0 1 0 777772771 57872384 11407 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14129 11407 1111 63 0 14066 0
vsize: 56516
[startup+960.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 11600 0 0 0 96008 26 0 0 25 0 1 0 777772771 58327040 11524 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14240 11524 1111 63 0 14177 0
vsize: 56960
[startup+970.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 11717 0 0 0 97008 26 0 0 25 0 1 0 777772771 58929152 11641 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14387 11641 1111 63 0 14324 0
vsize: 57548
[startup+980.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 11821 0 0 0 98008 27 0 0 25 0 1 0 777772771 59228160 11745 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14460 11745 1111 63 0 14397 0
vsize: 57840
[startup+990.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 11969 0 0 0 99009 27 0 0 25 0 1 0 777772771 59834368 11893 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14608 11893 1111 63 0 14545 0
vsize: 58432
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 12094 0 0 0 100008 27 0 0 25 0 1 0 777772771 60432384 12018 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14754 12018 1111 63 0 14691 0
vsize: 59016
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 12212 0 0 0 101008 28 0 0 25 0 1 0 777772771 60887040 12136 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14865 12136 1111 63 0 14802 0
vsize: 59460
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 12336 0 0 0 102008 28 0 0 25 0 1 0 777772771 61333504 12260 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14974 12260 1111 63 0 14911 0
vsize: 59896
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 12456 0 0 0 103009 28 0 0 25 0 1 0 777772771 61939712 12380 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15122 12380 1111 63 0 15059 0
vsize: 60488
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 12574 0 0 0 104009 29 0 0 25 0 1 0 777772771 62390272 12498 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15232 12498 1111 63 0 15169 0
vsize: 60928
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 12699 0 0 0 105009 29 0 0 25 0 1 0 777772771 62840832 12623 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15342 12623 1111 63 0 15279 0
vsize: 61368
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 12824 0 0 0 106009 29 0 0 25 0 1 0 777772771 63447040 12748 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15490 12748 1111 63 0 15427 0
vsize: 61960
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 12943 0 0 0 107009 29 0 0 25 0 1 0 777772771 63897600 12867 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15600 12867 1111 63 0 15537 0
vsize: 62400
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 13061 0 0 0 108009 30 0 0 25 0 1 0 777772771 64348160 12985 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15710 12985 1111 63 0 15647 0
vsize: 62840
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 13178 0 0 0 109009 30 0 0 25 0 1 0 777772771 64798720 13102 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15820 13102 1111 63 0 15757 0
vsize: 63280
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 13289 0 0 0 110009 30 0 0 25 0 1 0 777772771 65253376 13213 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15931 13213 1111 63 0 15868 0
vsize: 63724
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 13408 0 0 0 111009 30 0 0 25 0 1 0 777772771 65699840 13332 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16040 13332 1111 63 0 15977 0
vsize: 64160
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 13533 0 0 0 112009 31 0 0 25 0 1 0 777772771 66306048 13457 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16188 13457 1111 63 0 16125 0
vsize: 64752
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 13658 0 0 0 113010 31 0 0 25 0 1 0 777772771 66752512 13582 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16297 13582 1111 63 0 16234 0
vsize: 65188
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 13783 0 0 0 114010 31 0 0 25 0 1 0 777772771 67354624 13707 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16444 13707 1111 63 0 16381 0
vsize: 65776
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 13909 0 0 0 115010 31 0 0 25 0 1 0 777772771 67805184 13833 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16554 13833 1111 63 0 16491 0
vsize: 66216
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 14035 0 0 0 116010 31 0 0 25 0 1 0 777772771 68259840 13959 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16665 13959 1111 63 0 16602 0
vsize: 66660
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 14160 0 0 0 117011 31 0 0 25 0 1 0 777772771 68861952 14084 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16812 14084 1111 63 0 16749 0
vsize: 67248
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 14285 0 0 0 118011 31 0 0 25 0 1 0 777772771 69312512 14209 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16922 14209 1111 63 0 16859 0
vsize: 67688
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 14412 0 0 0 119011 32 0 0 25 0 1 0 777772771 69918720 14336 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17070 14336 1111 63 0 17007 0
vsize: 68280
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) R 3719 25568 25567 0 -1 0 14543 0 0 0 120011 32 0 0 25 0 1 0 777772771 70365184 14467 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17179 14467 1111 63 0 17116 0
vsize: 68716
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 3720
Raw data (stat): 3720 (bsolo_lpr_cuts) Z 3719 25568 25567 0 -1 1036 14543 0 0 0 120011 35 0 0 25 0 1 0 777772771 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.47
CPU user time (s): 1200.11
CPU system time (s): 0.352946
CPU usage (%): 100.031
Max. virtual memory (Kb): 68716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####