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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-sp97ar.opb
MD5SUM	d98db64f69c8547ad0880486d1128dd0
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	183313
Biggest coefficient in the objective function	19194096394240
Number of bits for the biggest coefficient in the objective function	45
Sum of the numbers in the objective function	127830561163966644
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	19194096394240
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	127830561163966644
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	1.68874
Number of variables	183313
Total number of constraints	1761
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	1761
Minimum length of a constraint	13
Maximum length of a constraint	32019
Trace number 27201

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 19:59:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18020 boxname=wulflinc20 idbench=1387 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  d98db64f69c8547ad0880486d1128dd0  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-sp97ar.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-sp97ar.opb
IDLAUNCH: 18020
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 3
cpu MHz		: 451.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        768608 kB
Buffers:         13712 kB
Cached:         230744 kB
SwapCached:        684 kB
Active:          86884 kB
Inactive:       159644 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        768356 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            13804 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:20:01 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 18020 7 1200.19 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): 1.02 0.97 0.95 2/54 29614
Raw data (stat): 29614 (runsolver) R 29613 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832948640 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): 1.10 0.99 0.95 3/58 29664
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 1626 0 0 0 980 17 0 0 25 0 1 0 832948640 15360000 1550 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3750 1550 1111 63 0 3687 0
vsize: 15000
[startup+20.0009 s]
Raw data (loadavg): 1.08 0.99 0.95 2/54 29667
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 1683 0 0 0 1978 18 0 0 25 0 1 0 832948640 15503360 1607 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3785 1607 1111 63 0 3722 0
vsize: 15140
[startup+30.0007 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 29667
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 1739 0 0 0 2978 18 0 0 25 0 1 0 832948640 15794176 1663 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3856 1663 1111 63 0 3793 0
vsize: 15424
[startup+40.0017 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 29667
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 1804 0 0 0 3978 18 0 0 25 0 1 0 832948640 16093184 1728 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3929 1728 1111 63 0 3866 0
vsize: 15716
[startup+50.002 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 29667
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 1861 0 0 0 4978 18 0 0 25 0 1 0 832948640 16236544 1785 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 1785 1111 63 0 3901 0
vsize: 15856
[startup+60.0018 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 29667
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 1918 0 0 0 5978 18 0 0 25 0 1 0 832948640 16527360 1842 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4035 1842 1111 63 0 3972 0
vsize: 16140
[startup+70.0018 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 29667
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 1982 0 0 0 6978 19 0 0 25 0 1 0 832948640 16818176 1906 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 1906 1111 63 0 4043 0
vsize: 16424
[startup+80.0023 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2040 0 0 0 7978 19 0 0 25 0 1 0 832948640 16969728 1964 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4143 1964 1111 63 0 4080 0
vsize: 16572
[startup+90.0022 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2104 0 0 0 8978 19 0 0 25 0 1 0 832948640 17260544 2028 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4214 2028 1111 63 0 4151 0
vsize: 16856
[startup+100.003 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2164 0 0 0 9978 19 0 0 25 0 1 0 832948640 17563648 2088 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4288 2088 1111 63 0 4225 0
vsize: 17152
[startup+110.003 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2220 0 0 0 10979 19 0 0 25 0 1 0 832948640 17711104 2144 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 2144 1111 63 0 4261 0
vsize: 17296
[startup+120.003 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2279 0 0 0 11979 19 0 0 25 0 1 0 832948640 18006016 2203 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4396 2203 1111 63 0 4333 0
vsize: 17584
[startup+130.003 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2336 0 0 0 12979 19 0 0 25 0 1 0 832948640 18296832 2260 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4467 2260 1111 63 0 4404 0
vsize: 17868
[startup+140.003 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2392 0 0 0 13978 19 0 0 25 0 1 0 832948640 18440192 2316 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4502 2316 1111 63 0 4439 0
vsize: 18008
[startup+150.004 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2449 0 0 0 14979 20 0 0 25 0 1 0 832948640 18731008 2373 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4573 2373 1111 63 0 4510 0
vsize: 18292
[startup+160.003 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2507 0 0 0 15979 20 0 0 25 0 1 0 832948640 18878464 2431 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4609 2431 1111 63 0 4546 0
vsize: 18436
[startup+170.003 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2564 0 0 0 16979 20 0 0 25 0 1 0 832948640 19173376 2488 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 2488 1111 63 0 4618 0
vsize: 18724
[startup+180.002 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2620 0 0 0 17979 20 0 0 25 0 1 0 832948640 19464192 2544 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 2544 1111 63 0 4689 0
vsize: 19008
[startup+190.002 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2684 0 0 0 18979 20 0 0 25 0 1 0 832948640 19611648 2608 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4788 2608 1111 63 0 4725 0
vsize: 19152
[startup+200.003 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2739 0 0 0 19979 20 0 0 25 0 1 0 832948640 19898368 2663 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4858 2663 1111 63 0 4795 0
vsize: 19432
[startup+210.003 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2798 0 0 0 20979 20 0 0 25 0 1 0 832948640 20193280 2722 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4930 2722 1111 63 0 4867 0
vsize: 19720
[startup+220.004 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2861 0 0 0 21979 20 0 0 25 0 1 0 832948640 20340736 2785 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4966 2785 1111 63 0 4903 0
vsize: 19864
[startup+230.004 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2918 0 0 0 22979 20 0 0 25 0 1 0 832948640 20631552 2842 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5037 2842 1111 63 0 4974 0
vsize: 20148
[startup+240.004 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 2975 0 0 0 23979 21 0 0 25 0 1 0 832948640 20922368 2899 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5108 2899 1111 63 0 5045 0
vsize: 20432
[startup+250.005 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3034 0 0 0 24979 21 0 0 25 0 1 0 832948640 21073920 2958 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5145 2958 1111 63 0 5082 0
vsize: 20580
[startup+260.004 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3091 0 0 0 25979 21 0 0 25 0 1 0 832948640 21364736 3015 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5216 3015 1111 63 0 5153 0
vsize: 20864
[startup+270.004 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3148 0 0 0 26979 21 0 0 25 0 1 0 832948640 21508096 3072 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5251 3072 1111 63 0 5188 0
vsize: 21004
[startup+280.005 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3205 0 0 0 27980 21 0 0 25 0 1 0 832948640 21798912 3129 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5322 3129 1111 63 0 5259 0
vsize: 21288
[startup+290.005 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3270 0 0 0 28979 21 0 0 25 0 1 0 832948640 22093824 3194 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 3194 1111 63 0 5331 0
vsize: 21576
[startup+300.006 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3327 0 0 0 29980 22 0 0 25 0 1 0 832948640 22241280 3251 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5430 3251 1111 63 0 5367 0
vsize: 21720
[startup+310.006 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3384 0 0 0 30979 22 0 0 25 0 1 0 832948640 22532096 3308 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 3308 1111 63 0 5438 0
vsize: 22004
[startup+320.006 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29669
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3441 0 0 0 31980 22 0 0 25 0 1 0 832948640 22822912 3365 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5572 3365 1111 63 0 5509 0
vsize: 22288
[startup+330.006 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3499 0 0 0 32980 22 0 0 25 0 1 0 832948640 22966272 3423 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5607 3423 1111 63 0 5544 0
vsize: 22428
[startup+340.005 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3562 0 0 0 33980 22 0 0 25 0 1 0 832948640 23265280 3486 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5680 3486 1111 63 0 5617 0
vsize: 22720
[startup+350.006 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3619 0 0 0 34980 22 0 0 25 0 1 0 832948640 23556096 3543 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5751 3543 1111 63 0 5688 0
vsize: 23004
[startup+360.007 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3676 0 0 0 35980 22 0 0 25 0 1 0 832948640 23699456 3600 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5786 3600 1111 63 0 5723 0
vsize: 23144
[startup+370.007 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3735 0 0 0 36980 22 0 0 25 0 1 0 832948640 23998464 3659 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5859 3659 1111 63 0 5796 0
vsize: 23436
[startup+380.007 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3806 0 0 0 37980 22 0 0 25 0 1 0 832948640 24293376 3730 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5931 3730 1111 63 0 5868 0
vsize: 23724
[startup+390.007 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3862 0 0 0 38980 22 0 0 25 0 1 0 832948640 24567808 3786 4294967295 134512640 134714508 3221224576 3221222664 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5998 3786 1111 63 0 5935 0
vsize: 23992
[startup+400.008 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3918 0 0 0 39980 23 0 0 25 0 1 0 832948640 24715264 3842 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6034 3842 1111 63 0 5971 0
vsize: 24136
[startup+410.008 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 3977 0 0 0 40981 23 0 0 25 0 1 0 832948640 25006080 3901 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6105 3901 1111 63 0 6042 0
vsize: 24420
[startup+420.008 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4035 0 0 0 41981 23 0 0 25 0 1 0 832948640 25157632 3959 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6142 3959 1111 63 0 6079 0
vsize: 24568
[startup+430.009 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4098 0 0 0 42981 23 0 0 25 0 1 0 832948640 25448448 4022 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6213 4022 1111 63 0 6150 0
vsize: 24852
[startup+440.008 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4155 0 0 0 43980 23 0 0 25 0 1 0 832948640 25739264 4079 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6284 4079 1111 63 0 6221 0
vsize: 25136
[startup+450.009 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4214 0 0 0 44981 23 0 0 25 0 1 0 832948640 25882624 4138 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6319 4138 1111 63 0 6256 0
vsize: 25276
[startup+460.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4277 0 0 0 45981 24 0 0 25 0 1 0 832948640 26181632 4201 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6392 4201 1111 63 0 6329 0
vsize: 25568
[startup+470.009 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4334 0 0 0 46981 24 0 0 25 0 1 0 832948640 26472448 4258 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6463 4258 1111 63 0 6400 0
vsize: 25852
[startup+480.009 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4392 0 0 0 47981 24 0 0 25 0 1 0 832948640 26615808 4316 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6498 4316 1111 63 0 6435 0
vsize: 25992
[startup+490.009 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4456 0 0 0 48981 24 0 0 25 0 1 0 832948640 26906624 4380 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6569 4380 1111 63 0 6506 0
vsize: 26276
[startup+500.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4514 0 0 0 49981 24 0 0 25 0 1 0 832948640 27205632 4438 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6642 4438 1111 63 0 6579 0
vsize: 26568
[startup+510.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4571 0 0 0 50981 24 0 0 25 0 1 0 832948640 27348992 4495 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 4495 1111 63 0 6614 0
vsize: 26708
[startup+520.009 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4635 0 0 0 51981 24 0 0 25 0 1 0 832948640 27639808 4559 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6748 4559 1111 63 0 6685 0
vsize: 26992
[startup+530.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4693 0 0 0 52981 25 0 0 25 0 1 0 832948640 27930624 4617 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6819 4617 1111 63 0 6756 0
vsize: 27276
[startup+540.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4751 0 0 0 53981 25 0 0 25 0 1 0 832948640 28082176 4675 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6856 4675 1111 63 0 6793 0
vsize: 27424
[startup+550.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4808 0 0 0 54981 25 0 0 25 0 1 0 832948640 28372992 4732 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6927 4732 1111 63 0 6864 0
vsize: 27708
[startup+560.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4872 0 0 0 55981 26 0 0 25 0 1 0 832948640 28663808 4796 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6998 4796 1111 63 0 6935 0
vsize: 27992
[startup+570.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4930 0 0 0 56981 26 0 0 25 0 1 0 832948640 28807168 4854 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7033 4854 1111 63 0 6970 0
vsize: 28132
[startup+580.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 4994 0 0 0 57981 26 0 0 25 0 1 0 832948640 29106176 4918 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7106 4918 1111 63 0 7043 0
vsize: 28424
[startup+590.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5052 0 0 0 58981 26 0 0 25 0 1 0 832948640 29396992 4976 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7177 4976 1111 63 0 7114 0
vsize: 28708
[startup+600.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5109 0 0 0 59981 26 0 0 25 0 1 0 832948640 29540352 5033 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7212 5033 1111 63 0 7149 0
vsize: 28848
[startup+610.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5167 0 0 0 60981 27 0 0 25 0 1 0 832948640 29831168 5091 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7283 5091 1111 63 0 7220 0
vsize: 29132
[startup+620.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5231 0 0 0 61981 27 0 0 25 0 1 0 832948640 30130176 5155 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 5155 1111 63 0 7293 0
vsize: 29424
[startup+630.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5288 0 0 0 62981 27 0 0 25 0 1 0 832948640 30273536 5212 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7391 5212 1111 63 0 7328 0
vsize: 29564
[startup+640.015 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5352 0 0 0 63981 27 0 0 25 0 1 0 832948640 30564352 5276 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7462 5276 1111 63 0 7399 0
vsize: 29848
[startup+650.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5409 0 0 0 64981 27 0 0 25 0 1 0 832948640 30855168 5333 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7533 5333 1111 63 0 7470 0
vsize: 30132
[startup+660.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5474 0 0 0 65981 27 0 0 25 0 1 0 832948640 31154176 5398 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7606 5398 1111 63 0 7543 0
vsize: 30424
[startup+670.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5538 0 0 0 66981 27 0 0 25 0 1 0 832948640 31297536 5462 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7641 5462 1111 63 0 7578 0
vsize: 30564
[startup+680.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5595 0 0 0 67981 27 0 0 25 0 1 0 832948640 31588352 5519 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7712 5519 1111 63 0 7649 0
vsize: 30848
[startup+690.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5652 0 0 0 68981 28 0 0 25 0 1 0 832948640 31879168 5576 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7783 5576 1111 63 0 7720 0
vsize: 31132
[startup+700.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5710 0 0 0 69981 28 0 0 25 0 1 0 832948640 32030720 5634 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7820 5634 1111 63 0 7757 0
vsize: 31280
[startup+710.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5767 0 0 0 70981 28 0 0 25 0 1 0 832948640 32321536 5691 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7891 5691 1111 63 0 7828 0
vsize: 31564
[startup+720.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5831 0 0 0 71981 28 0 0 25 0 1 0 832948640 32612352 5755 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7962 5755 1111 63 0 7899 0
vsize: 31848
[startup+730.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5894 0 0 0 72981 28 0 0 25 0 1 0 832948640 32759808 5818 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7998 5818 1111 63 0 7935 0
vsize: 31992
[startup+740.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 5953 0 0 0 73981 29 0 0 25 0 1 0 832948640 33054720 5877 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8070 5877 1111 63 0 8007 0
vsize: 32280
[startup+750.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6022 0 0 0 74981 29 0 0 25 0 1 0 832948640 33386496 5946 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8151 5946 1111 63 0 8088 0
vsize: 32604
[startup+760.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6085 0 0 0 75981 29 0 0 25 0 1 0 832948640 33673216 6009 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8221 6009 1111 63 0 8158 0
vsize: 32884
[startup+770.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6149 0 0 0 76981 29 0 0 25 0 1 0 832948640 33964032 6073 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8292 6073 1111 63 0 8229 0
vsize: 33168
[startup+780.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6208 0 0 0 77981 30 0 0 25 0 1 0 832948640 34115584 6132 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8329 6132 1111 63 0 8266 0
vsize: 33316
[startup+790.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6271 0 0 0 78981 30 0 0 25 0 1 0 832948640 34406400 6195 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8400 6195 1111 63 0 8337 0
vsize: 33600
[startup+800.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6335 0 0 0 79981 30 0 0 25 0 1 0 832948640 34697216 6259 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8471 6259 1111 63 0 8408 0
vsize: 33884
[startup+810.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6393 0 0 0 80981 30 0 0 25 0 1 0 832948640 34844672 6317 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8507 6317 1111 63 0 8444 0
vsize: 34028
[startup+820.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6458 0 0 0 81981 30 0 0 25 0 1 0 832948640 35139584 6382 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8579 6382 1111 63 0 8516 0
vsize: 34316
[startup+830.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6515 0 0 0 82980 30 0 0 25 0 1 0 832948640 35430400 6439 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8650 6439 1111 63 0 8587 0
vsize: 34600
[startup+840.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6573 0 0 0 83980 31 0 0 25 0 1 0 832948640 35577856 6497 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8686 6497 1111 63 0 8623 0
vsize: 34744
[startup+850.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6636 0 0 0 84980 31 0 0 25 0 1 0 832948640 35868672 6560 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8757 6560 1111 63 0 8694 0
vsize: 35028
[startup+860.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6695 0 0 0 85980 31 0 0 25 0 1 0 832948640 36163584 6619 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8829 6619 1111 63 0 8766 0
vsize: 35316
[startup+870.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6758 0 0 0 86980 31 0 0 25 0 1 0 832948640 36454400 6682 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8900 6682 1111 63 0 8837 0
vsize: 35600
[startup+880.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6816 0 0 0 87980 32 0 0 25 0 1 0 832948640 36601856 6740 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8936 6740 1111 63 0 8873 0
vsize: 35744
[startup+890.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6880 0 0 0 88979 32 0 0 25 0 1 0 832948640 36892672 6804 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9007 6804 1111 63 0 8944 0
vsize: 36028
[startup+900.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 6939 0 0 0 89979 32 0 0 25 0 1 0 832948640 37187584 6863 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9079 6863 1111 63 0 9016 0
vsize: 36316
[startup+910.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7002 0 0 0 90980 32 0 0 25 0 1 0 832948640 37335040 6926 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 6926 1111 63 0 9052 0
vsize: 36460
[startup+920.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7060 0 0 0 91980 32 0 0 25 0 1 0 832948640 37621760 6984 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9185 6984 1111 63 0 9122 0
vsize: 36740
[startup+930.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7124 0 0 0 92979 32 0 0 25 0 1 0 832948640 37912576 7048 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9256 7048 1111 63 0 9193 0
vsize: 37024
[startup+940.011 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7176 0 0 0 93980 32 0 0 25 0 1 0 832948640 38060032 7100 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9292 7100 1111 63 0 9229 0
vsize: 37168
[startup+950.011 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7232 0 0 0 94979 33 0 0 25 0 1 0 832948640 38354944 7156 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7156 1111 63 0 9301 0
vsize: 37456
[startup+960.011 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7289 0 0 0 95979 33 0 0 25 0 1 0 832948640 38502400 7213 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9400 7213 1111 63 0 9337 0
vsize: 37600
[startup+970.011 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7353 0 0 0 96979 33 0 0 25 0 1 0 832948640 38793216 7277 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9471 7277 1111 63 0 9408 0
vsize: 37884
[startup+980.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7411 0 0 0 97979 33 0 0 25 0 1 0 832948640 39084032 7335 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9542 7335 1111 63 0 9479 0
vsize: 38168
[startup+990.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7475 0 0 0 98979 33 0 0 25 0 1 0 832948640 39378944 7399 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9614 7399 1111 63 0 9551 0
vsize: 38456
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7533 0 0 0 99980 33 0 0 25 0 1 0 832948640 39526400 7457 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9650 7457 1111 63 0 9587 0
vsize: 38600
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7590 0 0 0 100980 33 0 0 25 0 1 0 832948640 39817216 7514 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9721 7514 1111 63 0 9658 0
vsize: 38884
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7655 0 0 0 101980 34 0 0 25 0 1 0 832948640 40112128 7579 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9793 7579 1111 63 0 9730 0
vsize: 39172
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7712 0 0 0 102980 34 0 0 25 0 1 0 832948640 40259584 7636 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9829 7636 1111 63 0 9766 0
vsize: 39316
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7776 0 0 0 103980 34 0 0 25 0 1 0 832948640 40550400 7700 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9900 7700 1111 63 0 9837 0
vsize: 39600
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7839 0 0 0 104980 34 0 0 25 0 1 0 832948640 40841216 7763 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9971 7763 1111 63 0 9908 0
vsize: 39884
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7905 0 0 0 105980 34 0 0 25 0 1 0 832948640 41136128 7829 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10043 7829 1111 63 0 9980 0
vsize: 40172
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 7969 0 0 0 106980 34 0 0 25 0 1 0 832948640 41283584 7893 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10079 7893 1111 63 0 10016 0
vsize: 40316
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8033 0 0 0 107980 34 0 0 25 0 1 0 832948640 41574400 7957 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10150 7957 1111 63 0 10087 0
vsize: 40600
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8090 0 0 0 108980 35 0 0 25 0 1 0 832948640 41865216 8014 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10221 8014 1111 63 0 10158 0
vsize: 40884
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8149 0 0 0 109980 35 0 0 25 0 1 0 832948640 42008576 8073 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10256 8073 1111 63 0 10193 0
vsize: 41024
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8213 0 0 0 110980 35 0 0 25 0 1 0 832948640 42307584 8137 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10329 8137 1111 63 0 10266 0
vsize: 41316
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8271 0 0 0 111980 35 0 0 25 0 1 0 832948640 42598400 8195 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10400 8195 1111 63 0 10337 0
vsize: 41600
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8334 0 0 0 112980 35 0 0 25 0 1 0 832948640 42889216 8258 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10471 8258 1111 63 0 10408 0
vsize: 41884
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8393 0 0 0 113980 35 0 0 25 0 1 0 832948640 43032576 8317 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10506 8317 1111 63 0 10443 0
vsize: 42024
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8450 0 0 0 114980 35 0 0 25 0 1 0 832948640 43331584 8374 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10579 8374 1111 63 0 10516 0
vsize: 42316
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8513 0 0 0 115980 36 0 0 25 0 1 0 832948640 43622400 8437 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10650 8437 1111 63 0 10587 0
vsize: 42600
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8578 0 0 0 116980 36 0 0 25 0 1 0 832948640 43765760 8502 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10685 8502 1111 63 0 10622 0
vsize: 42740
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8637 0 0 0 117980 36 0 0 25 0 1 0 832948640 44056576 8561 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10756 8561 1111 63 0 10693 0
vsize: 43024
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8700 0 0 0 118980 36 0 0 25 0 1 0 832948640 44351488 8624 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10828 8624 1111 63 0 10765 0
vsize: 43312
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) R 29613 25399 25398 0 -1 0 8765 0 0 0 119980 36 0 0 25 0 1 0 832948640 44642304 8689 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10899 8689 1111 63 0 10836 0
vsize: 43596
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.95 1/54 29671
Raw data (stat): 29614 (bsolo_lpr_cuts) Z 29613 25399 25398 0 -1 1036 8765 0 0 0 119980 38 0 0 25 0 1 0 832948640 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.03
CPU time (s): 1200.19
CPU user time (s): 1199.81
CPU system time (s): 0.383941
CPU usage (%): 100.014
Max. virtual memory (Kb): 43596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####