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-ship08s.opb
MD5SUM	7f0ee4cf0d8dc7a24a6781a6419bf20e
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	71610
Biggest coefficient in the objective function	435455996723200
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	112415039381732472
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	435455996723200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	112415039381732472
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.646901
Number of variables	71610
Total number of constraints	712
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	712
Minimum length of a constraint	30
Maximum length of a constraint	1830
Trace number 28983

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 04:17:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11442 boxname=wulflinc19 idbench=881 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  7f0ee4cf0d8dc7a24a6781a6419bf20e  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-ship08s.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-ship08s.opb
IDLAUNCH: 11442
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        666144 kB
Buffers:         25972 kB
Cached:         315176 kB
SwapCached:        416 kB
Active:          32004 kB
Inactive:       311472 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        665892 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            19472 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:37:09 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 11442 7 1200.18 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.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (runsolver) R 19962 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835924801 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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.0007 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 1050 0 0 0 983 3 0 0 25 0 1 0 835924801 15663104 974 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 974 1111 63 0 3761 0
vsize: 15296
[startup+20.0014 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 1182 0 0 0 1982 3 0 0 25 0 1 0 835924801 16236544 1106 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1106 1111 63 0 3901 0
vsize: 15856
[startup+30.0022 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 1313 0 0 0 2982 3 0 0 25 0 1 0 835924801 16687104 1237 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 1237 1111 63 0 4011 0
vsize: 16296
[startup+40.0019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 1464 0 0 0 3982 4 0 0 25 0 1 0 835924801 17272832 1388 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1388 1111 63 0 4154 0
vsize: 16868
[startup+50.003 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 1611 0 0 0 4981 5 0 0 25 0 1 0 835924801 17993728 1535 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 1535 1111 63 0 4330 0
vsize: 17572
[startup+60.0036 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 1757 0 0 0 5981 6 0 0 25 0 1 0 835924801 18591744 1681 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 1681 1111 63 0 4476 0
vsize: 18156
[startup+70.0044 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 1905 0 0 0 6980 6 0 0 25 0 1 0 835924801 19193856 1829 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 1829 1111 63 0 4623 0
vsize: 18744
[startup+80.0052 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 2058 0 0 0 7980 7 0 0 25 0 1 0 835924801 19795968 1982 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4833 1982 1111 63 0 4770 0
vsize: 19332
[startup+90.0124 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 2205 0 0 0 8980 8 0 0 25 0 1 0 835924801 20393984 2129 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4979 2129 1111 63 0 4916 0
vsize: 19916
[startup+100.018 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 2353 0 0 0 9980 8 0 0 25 0 1 0 835924801 20996096 2277 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5126 2277 1111 63 0 5063 0
vsize: 20504
[startup+110.019 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 2507 0 0 0 10980 9 0 0 25 0 1 0 835924801 21602304 2431 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5274 2431 1111 63 0 5211 0
vsize: 21096
[startup+120.02 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 2661 0 0 0 11979 10 0 0 25 0 1 0 835924801 22200320 2585 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 2585 1111 63 0 5357 0
vsize: 21680
[startup+130.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 2808 0 0 0 12979 11 0 0 25 0 1 0 835924801 22802432 2732 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5567 2732 1111 63 0 5504 0
vsize: 22268
[startup+140.021 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 2963 0 0 0 13978 11 0 0 25 0 1 0 835924801 23543808 2887 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 2887 1111 63 0 5685 0
vsize: 22992
[startup+150.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 3117 0 0 0 14979 11 0 0 25 0 1 0 835924801 24145920 3041 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 3041 1111 63 0 5832 0
vsize: 23580
[startup+160.029 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 3270 0 0 0 15979 12 0 0 25 0 1 0 835924801 24743936 3194 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 3194 1111 63 0 5978 0
vsize: 24164
[startup+170.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 3426 0 0 0 16979 12 0 0 25 0 1 0 835924801 25350144 3350 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 3350 1111 63 0 6126 0
vsize: 24756
[startup+180.03 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 3581 0 0 0 17978 13 0 0 25 0 1 0 835924801 25952256 3505 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 3505 1111 63 0 6273 0
vsize: 25344
[startup+190.031 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 3735 0 0 0 18978 13 0 0 25 0 1 0 835924801 26701824 3659 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 3659 1111 63 0 6456 0
vsize: 26076
[startup+200.032 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 3892 0 0 0 19978 14 0 0 25 0 1 0 835924801 27275264 3816 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 3816 1111 63 0 6596 0
vsize: 26636
[startup+210.038 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 4047 0 0 0 20978 15 0 0 25 0 1 0 835924801 27881472 3971 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6807 3971 1111 63 0 6744 0
vsize: 27228
[startup+220.049 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 4200 0 0 0 21978 15 0 0 25 0 1 0 835924801 28475392 4124 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4124 1111 63 0 6889 0
vsize: 27808
[startup+230.049 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 4363 0 0 0 22978 16 0 0 25 0 1 0 835924801 29233152 4287 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7137 4287 1111 63 0 7074 0
vsize: 28548
[startup+240.05 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 4524 0 0 0 23977 17 0 0 25 0 1 0 835924801 29835264 4448 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7284 4448 1111 63 0 7221 0
vsize: 29136
[startup+250.053 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 4680 0 0 0 24977 18 0 0 25 0 1 0 835924801 30433280 4604 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 4604 1111 63 0 7367 0
vsize: 29720
[startup+260.059 s]
Raw data (loadavg): 0.99 0.99 0.91 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 4833 0 0 0 25977 18 0 0 25 0 1 0 835924801 31186944 4757 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7614 4757 1111 63 0 7551 0
vsize: 30456
[startup+270.059 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 5006 0 0 0 26977 19 0 0 25 0 1 0 835924801 31825920 4930 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7770 4930 1111 63 0 7707 0
vsize: 31080
[startup+280.059 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 5161 0 0 0 27976 19 0 0 25 0 1 0 835924801 32583680 5085 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7955 5085 1111 63 0 7892 0
vsize: 31820
[startup+290.059 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 5322 0 0 0 28975 20 0 0 25 0 1 0 835924801 33181696 5246 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8101 5246 1111 63 0 8038 0
vsize: 32404
[startup+300.059 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 5479 0 0 0 29975 21 0 0 25 0 1 0 835924801 33783808 5403 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8248 5403 1111 63 0 8185 0
vsize: 32992
[startup+310.059 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 5641 0 0 0 30975 21 0 0 25 0 1 0 835924801 34537472 5565 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8432 5565 1111 63 0 8369 0
vsize: 33728
[startup+320.059 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 5804 0 0 0 31974 22 0 0 25 0 1 0 835924801 35139584 5728 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8579 5728 1111 63 0 8516 0
vsize: 34316
[startup+330.06 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 5965 0 0 0 32974 22 0 0 25 0 1 0 835924801 35737600 5889 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8725 5889 1111 63 0 8662 0
vsize: 34900
[startup+340.06 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 6127 0 0 0 33974 22 0 0 25 0 1 0 835924801 36491264 6051 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8909 6051 1111 63 0 8846 0
vsize: 35636
[startup+350.066 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 6289 0 0 0 34975 22 0 0 25 0 1 0 835924801 37097472 6213 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9057 6213 1111 63 0 8994 0
vsize: 36228
[startup+360.073 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 6454 0 0 0 35976 23 0 0 25 0 1 0 835924801 37847040 6378 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9240 6378 1111 63 0 9177 0
vsize: 36960
[startup+370.073 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 6614 0 0 0 36975 23 0 0 25 0 1 0 835924801 38445056 6538 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9386 6538 1111 63 0 9323 0
vsize: 37544
[startup+380.073 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 6777 0 0 0 37975 24 0 0 25 0 1 0 835924801 39051264 6701 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9534 6701 1111 63 0 9471 0
vsize: 38136
[startup+390.073 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 6947 0 0 0 38974 25 0 0 25 0 1 0 835924801 39804928 6871 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9718 6871 1111 63 0 9655 0
vsize: 38872
[startup+400.073 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 7108 0 0 0 39974 25 0 0 25 0 1 0 835924801 40402944 7032 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9864 7032 1111 63 0 9801 0
vsize: 39456
[startup+410.074 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 7270 0 0 0 40974 26 0 0 25 0 1 0 835924801 41156608 7194 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 7194 1111 63 0 9985 0
vsize: 40192
[startup+420.073 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 7441 0 0 0 41973 26 0 0 25 0 1 0 835924801 41758720 7365 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10195 7365 1111 63 0 10132 0
vsize: 40780
[startup+430.074 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 7611 0 0 0 42973 27 0 0 25 0 1 0 835924801 42491904 7535 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10374 7535 1111 63 0 10311 0
vsize: 41496
[startup+440.074 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 7780 0 0 0 43973 27 0 0 25 0 1 0 835924801 43233280 7704 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10555 7704 1111 63 0 10492 0
vsize: 42220
[startup+450.073 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 7943 0 0 0 44972 27 0 0 25 0 1 0 835924801 43835392 7867 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10702 7867 1111 63 0 10639 0
vsize: 42808
[startup+460.073 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 8119 0 0 0 45972 28 0 0 25 0 1 0 835924801 44589056 8043 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10886 8043 1111 63 0 10823 0
vsize: 43544
[startup+470.084 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 8289 0 0 0 46973 28 0 0 25 0 1 0 835924801 45342720 8213 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11070 8213 1111 63 0 11007 0
vsize: 44280
[startup+480.084 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 8458 0 0 0 47973 28 0 0 25 0 1 0 835924801 45940736 8382 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11216 8382 1111 63 0 11153 0
vsize: 44864
[startup+490.084 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 8626 0 0 0 48973 29 0 0 25 0 1 0 835924801 46694400 8550 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11400 8550 1111 63 0 11337 0
vsize: 45600
[startup+500.084 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 8802 0 0 0 49972 29 0 0 25 0 1 0 835924801 47448064 8726 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11584 8726 1111 63 0 11521 0
vsize: 46336
[startup+510.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 8991 0 0 0 50972 30 0 0 25 0 1 0 835924801 48304128 8915 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11793 8915 1111 63 0 11730 0
vsize: 47172
[startup+520.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 9167 0 0 0 51972 30 0 0 25 0 1 0 835924801 49029120 9091 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11970 9091 1111 63 0 11907 0
vsize: 47880
[startup+530.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 9337 0 0 0 52972 31 0 0 25 0 1 0 835924801 49627136 9261 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12116 9261 1111 63 0 12053 0
vsize: 48464
[startup+540.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 9508 0 0 0 53971 31 0 0 25 0 1 0 835924801 50376704 9432 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12299 9432 1111 63 0 12236 0
vsize: 49196
[startup+550.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 9684 0 0 0 54971 31 0 0 25 0 1 0 835924801 51101696 9608 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 9608 1111 63 0 12413 0
vsize: 49904
[startup+560.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 9862 0 0 0 55971 31 0 0 25 0 1 0 835924801 51855360 9786 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12660 9786 1111 63 0 12597 0
vsize: 50640
[startup+570.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 10039 0 0 0 56971 32 0 0 25 0 1 0 835924801 52609024 9963 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12844 9963 1111 63 0 12781 0
vsize: 51376
[startup+580.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 10214 0 0 0 57971 32 0 0 25 0 1 0 835924801 53207040 10138 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10138 1111 63 0 12927 0
vsize: 51960
[startup+590.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 10393 0 0 0 58971 32 0 0 25 0 1 0 835924801 53960704 10317 4294967295 134512640 134714508 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13174 10317 1111 63 0 13111 0
vsize: 52696
[startup+600.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 10577 0 0 0 59971 33 0 0 25 0 1 0 835924801 54714368 10501 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13358 10501 1111 63 0 13295 0
vsize: 53432
[startup+610.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 10762 0 0 0 60971 34 0 0 25 0 1 0 835924801 55468032 10686 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13542 10686 1111 63 0 13479 0
vsize: 54168
[startup+620.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 10940 0 0 0 61970 34 0 0 25 0 1 0 835924801 56221696 10864 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13726 10864 1111 63 0 13663 0
vsize: 54904
[startup+630.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 11130 0 0 0 62970 35 0 0 25 0 1 0 835924801 56971264 11054 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13909 11054 1111 63 0 13846 0
vsize: 55636
[startup+640.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 11308 0 0 0 63970 35 0 0 25 0 1 0 835924801 57720832 11232 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14092 11232 1111 63 0 14029 0
vsize: 56368
[startup+650.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 11492 0 0 0 64970 35 0 0 25 0 1 0 835924801 58478592 11416 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14277 11416 1111 63 0 14214 0
vsize: 57108
[startup+660.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 11676 0 0 0 65970 35 0 0 25 0 1 0 835924801 59228160 11600 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14460 11600 1111 63 0 14397 0
vsize: 57840
[startup+670.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 11869 0 0 0 66969 36 0 0 25 0 1 0 835924801 59985920 11793 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14645 11793 1111 63 0 14582 0
vsize: 58580
[startup+680.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 12060 0 0 0 67969 36 0 0 25 0 1 0 835924801 60735488 11984 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14828 11984 1111 63 0 14765 0
vsize: 59312
[startup+690.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 12251 0 0 0 68969 37 0 0 25 0 1 0 835924801 61640704 12175 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15049 12175 1111 63 0 14986 0
vsize: 60196
[startup+700.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 12436 0 0 0 69968 37 0 0 25 0 1 0 835924801 62390272 12360 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15232 12360 1111 63 0 15169 0
vsize: 60928
[startup+710.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 12627 0 0 0 70968 37 0 0 25 0 1 0 835924801 63139840 12551 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15415 12551 1111 63 0 15352 0
vsize: 61660
[startup+720.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 12821 0 0 0 71968 38 0 0 25 0 1 0 835924801 63897600 12745 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15600 12745 1111 63 0 15537 0
vsize: 62400
[startup+730.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 13018 0 0 0 72968 38 0 0 25 0 1 0 835924801 64647168 12942 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15783 12942 1111 63 0 15720 0
vsize: 63132
[startup+740.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 13210 0 0 0 73968 39 0 0 25 0 1 0 835924801 65552384 13134 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16004 13134 1111 63 0 15941 0
vsize: 64016
[startup+750.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 13404 0 0 0 74968 39 0 0 25 0 1 0 835924801 66306048 13328 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16188 13328 1111 63 0 16125 0
vsize: 64752
[startup+760.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 13595 0 0 0 75967 39 0 0 25 0 1 0 835924801 67055616 13519 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16371 13519 1111 63 0 16308 0
vsize: 65484
[startup+770.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 13795 0 0 0 76967 40 0 0 25 0 1 0 835924801 67805184 13719 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16554 13719 1111 63 0 16491 0
vsize: 66216
[startup+780.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 13992 0 0 0 77967 40 0 0 25 0 1 0 835924801 68710400 13916 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16775 13916 1111 63 0 16712 0
vsize: 67100
[startup+790.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 14185 0 0 0 78966 41 0 0 25 0 1 0 835924801 69459968 14109 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16958 14109 1111 63 0 16895 0
vsize: 67832
[startup+800.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 14392 0 0 0 79966 41 0 0 25 0 1 0 835924801 70365184 14316 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17179 14316 1111 63 0 17116 0
vsize: 68716
[startup+810.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 14597 0 0 0 80965 42 0 0 25 0 1 0 835924801 71118848 14521 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17363 14521 1111 63 0 17300 0
vsize: 69452
[startup+820.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 14798 0 0 0 81965 42 0 0 25 0 1 0 835924801 72024064 14722 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17584 14722 1111 63 0 17521 0
vsize: 70336
[startup+830.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 15004 0 0 0 82965 43 0 0 25 0 1 0 835924801 72773632 14928 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17767 14928 1111 63 0 17704 0
vsize: 71068
[startup+840.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 15210 0 0 0 83965 43 0 0 25 0 1 0 835924801 73650176 15134 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17981 15134 1111 63 0 17918 0
vsize: 71924
[startup+850.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 15424 0 0 0 84964 44 0 0 25 0 1 0 835924801 74551296 15348 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18201 15348 1111 63 0 18138 0
vsize: 72804
[startup+860.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 15631 0 0 0 85964 44 0 0 25 0 1 0 835924801 75304960 15555 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18385 15555 1111 63 0 18322 0
vsize: 73540
[startup+870.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 15839 0 0 0 86964 45 0 0 25 0 1 0 835924801 76206080 15763 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18605 15763 1111 63 0 18542 0
vsize: 74420
[startup+880.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 16052 0 0 0 87964 45 0 0 25 0 1 0 835924801 77111296 15976 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18826 15976 1111 63 0 18763 0
vsize: 75304
[startup+890.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 16266 0 0 0 88964 45 0 0 25 0 1 0 835924801 78012416 16190 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19046 16190 1111 63 0 18983 0
vsize: 76184
[startup+900.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 16485 0 0 0 89963 46 0 0 25 0 1 0 835924801 78917632 16409 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19267 16409 1111 63 0 19204 0
vsize: 77068
[startup+910.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 16756 0 0 0 90963 46 0 0 25 0 1 0 835924801 80183296 16680 4294967295 134512640 134714508 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19576 16680 1111 63 0 19513 0
vsize: 78304
[startup+920.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 16946 0 0 0 91963 47 0 0 25 0 1 0 835924801 80924672 16870 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19757 16870 1111 63 0 19694 0
vsize: 79028
[startup+930.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 17167 0 0 0 92962 47 0 0 25 0 1 0 835924801 81952768 17091 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 17091 1111 63 0 19945 0
vsize: 80032
[startup+940.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 17388 0 0 0 93962 48 0 0 25 0 1 0 835924801 82857984 17312 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20229 17312 1111 63 0 20166 0
vsize: 80916
[startup+950.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 17610 0 0 0 94962 48 0 0 25 0 1 0 835924801 83759104 17534 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20449 17534 1111 63 0 20386 0
vsize: 81796
[startup+960.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 17831 0 0 0 95962 49 0 0 25 0 1 0 835924801 84664320 17755 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20670 17755 1111 63 0 20607 0
vsize: 82680
[startup+970.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 18052 0 0 0 96960 49 0 0 25 0 1 0 835924801 85565440 17976 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20890 17976 1111 63 0 20827 0
vsize: 83560
[startup+980.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 18282 0 0 0 97959 50 0 0 25 0 1 0 835924801 86470656 18206 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21111 18206 1111 63 0 21048 0
vsize: 84444
[startup+990.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 18509 0 0 0 98959 51 0 0 25 0 1 0 835924801 87371776 18433 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21331 18433 1111 63 0 21268 0
vsize: 85324
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 18733 0 0 0 99958 51 0 0 25 0 1 0 835924801 88276992 18657 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21552 18657 1111 63 0 21489 0
vsize: 86208
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 18967 0 0 0 100958 52 0 0 25 0 1 0 835924801 89174016 18891 4294967295 134512640 134714508 3221224576 3221222928 134566799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21771 18891 1111 63 0 21708 0
vsize: 87084
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 19203 0 0 0 101957 52 0 0 25 0 1 0 835924801 90210304 19127 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22024 19127 1111 63 0 21961 0
vsize: 88096
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 19432 0 0 0 102957 53 0 0 25 0 1 0 835924801 91103232 19356 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22242 19356 1111 63 0 22179 0
vsize: 88968
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 19675 0 0 0 103956 54 0 0 25 0 1 0 835924801 92160000 19599 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22500 19599 1111 63 0 22437 0
vsize: 90000
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 19911 0 0 0 104956 54 0 0 25 0 1 0 835924801 93061120 19835 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22720 19835 1111 63 0 22657 0
vsize: 90880
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 20148 0 0 0 105956 55 0 0 25 0 1 0 835924801 94113792 20072 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22977 20072 1111 63 0 22914 0
vsize: 91908
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 20397 0 0 0 106955 55 0 0 25 0 1 0 835924801 95014912 20321 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23197 20321 1111 63 0 23134 0
vsize: 92788
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 20635 0 0 0 107955 55 0 0 25 0 1 0 835924801 96067584 20559 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23454 20559 1111 63 0 23391 0
vsize: 93816
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 20885 0 0 0 108955 56 0 0 25 0 1 0 835924801 97120256 20809 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23711 20809 1111 63 0 23648 0
vsize: 94844
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 21136 0 0 0 109955 56 0 0 25 0 1 0 835924801 98021376 21060 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23931 21060 1111 63 0 23868 0
vsize: 95724
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 21395 0 0 0 110955 56 0 0 25 0 1 0 835924801 99078144 21319 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24189 21319 1111 63 0 24126 0
vsize: 96756
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 21653 0 0 0 111955 57 0 0 25 0 1 0 835924801 100134912 21577 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24447 21577 1111 63 0 24384 0
vsize: 97788
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 21910 0 0 0 112955 57 0 0 25 0 1 0 835924801 101187584 21834 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24704 21834 1111 63 0 24641 0
vsize: 98816
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 22170 0 0 0 113954 58 0 0 25 0 1 0 835924801 102240256 22094 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24961 22094 1111 63 0 24898 0
vsize: 99844
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 22434 0 0 0 114954 59 0 0 25 0 1 0 835924801 103440384 22358 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25254 22358 1111 63 0 25191 0
vsize: 101016
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 3/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 22707 0 0 0 115953 59 0 0 25 0 1 0 835924801 104497152 22631 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25512 22631 1111 63 0 25449 0
vsize: 102048
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 22979 0 0 0 116953 59 0 0 25 0 1 0 835924801 105553920 22903 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25770 22903 1111 63 0 25707 0
vsize: 103080
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 23254 0 0 0 117953 60 0 0 25 0 1 0 835924801 106754048 23178 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26063 23184 1111 63 0 26000 0
vsize: 104252
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 23539 0 0 0 118952 60 0 0 25 0 1 0 835924801 107958272 23463 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26357 23463 1111 63 0 26294 0
vsize: 105428
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) R 19962 10795 10794 0 -1 0 23820 0 0 0 119952 61 0 0 25 0 1 0 835924801 109010944 23744 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26614 23744 1111 63 0 26551 0
vsize: 106456
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 19963
Raw data (stat): 19963 (bsolo_lpr_cuts) Z 19962 10795 10794 0 -1 1036 23820 0 0 0 119952 65 0 0 25 0 1 0 835924801 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.14
CPU time (s): 1200.18
CPU user time (s): 1199.52
CPU system time (s): 0.658899
CPU usage (%): 100.004
Max. virtual memory (Kb): 106456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####