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-ship08l.opb
MD5SUM	765ea624bde3931069939663462a01e5
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	128490
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	204823519821908064
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	435455996723200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	204823519821908064
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.16382
Number of variables	128490
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	2550
Trace number 26834

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-24 17:01:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11429 boxname=wulflinc29 idbench=880 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  765ea624bde3931069939663462a01e5  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-ship08l.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-ship08l.opb
IDLAUNCH: 11429
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        873144 kB
Buffers:          3400 kB
Cached:         136652 kB
SwapCached:        776 kB
Active:          43300 kB
Inactive:        99336 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        872892 kB
SwapTotal:     2097892 kB
SwapFree:      2096724 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13244 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:21:31 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 11429 7 1200.28 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.86 0.95 0.97 2/54 21986
Raw data (stat): 21986 (runsolver) R 21985 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831873336 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.001 s]
Raw data (loadavg): 0.88 0.95 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 1356 0 0 0 993 5 0 0 25 0 1 0 831873336 15364096 1280 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1280 1111 63 0 3688 0
vsize: 15004
[startup+20.0022 s]
Raw data (loadavg): 0.90 0.96 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 1429 0 0 0 1993 6 0 0 25 0 1 0 831873336 15663104 1353 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 1353 1111 63 0 3761 0
vsize: 15296
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.96 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 1503 0 0 0 2992 6 0 0 25 0 1 0 831873336 15945728 1427 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 1427 1111 63 0 3830 0
vsize: 15572
[startup+40.0013 s]
Raw data (loadavg): 0.93 0.96 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 1575 0 0 0 3992 6 0 0 25 0 1 0 831873336 16236544 1499 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 1499 1111 63 0 3901 0
vsize: 15856
[startup+50.0014 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 1648 0 0 0 4991 7 0 0 25 0 1 0 831873336 16535552 1572 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 1572 1111 63 0 3974 0
vsize: 16148
[startup+60.0018 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 1723 0 0 0 5991 7 0 0 25 0 1 0 831873336 16838656 1647 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 1647 1111 63 0 4048 0
vsize: 16444
[startup+70.0026 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 1807 0 0 0 6991 8 0 0 25 0 1 0 831873336 17272832 1731 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4217 1731 1111 63 0 4154 0
vsize: 16868
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 1887 0 0 0 7991 8 0 0 25 0 1 0 831873336 17567744 1811 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4289 1811 1111 63 0 4226 0
vsize: 17156
[startup+90.0041 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 1969 0 0 0 8991 9 0 0 25 0 1 0 831873336 17846272 1893 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4357 1893 1111 63 0 4294 0
vsize: 17428
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 2049 0 0 0 9990 9 0 0 25 0 1 0 831873336 18292736 1973 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 1973 1111 63 0 4403 0
vsize: 17864
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 2137 0 0 0 10990 10 0 0 25 0 1 0 831873336 18591744 2061 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4539 2061 1111 63 0 4476 0
vsize: 18156
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 2211 0 0 0 11989 10 0 0 25 0 1 0 831873336 18894848 2135 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 2135 1111 63 0 4550 0
vsize: 18452
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 2303 0 0 0 12989 11 0 0 25 0 1 0 831873336 19341312 2227 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 2227 1111 63 0 4659 0
vsize: 18888
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 2378 0 0 0 13989 11 0 0 25 0 1 0 831873336 19644416 2302 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4796 2302 1111 63 0 4733 0
vsize: 19184
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 2466 0 0 0 14989 11 0 0 25 0 1 0 831873336 19943424 2390 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4869 2390 1111 63 0 4806 0
vsize: 19476
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 2546 0 0 0 15989 12 0 0 25 0 1 0 831873336 20242432 2470 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4942 2470 1111 63 0 4879 0
vsize: 19768
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 2628 0 0 0 16989 12 0 0 25 0 1 0 831873336 20545536 2552 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5016 2552 1111 63 0 4953 0
vsize: 20064
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 2709 0 0 0 17988 12 0 0 25 0 1 0 831873336 20996096 2633 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5126 2633 1111 63 0 5063 0
vsize: 20504
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 2789 0 0 0 18988 13 0 0 25 0 1 0 831873336 21295104 2713 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5199 2713 1111 63 0 5136 0
vsize: 20796
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 2877 0 0 0 19987 13 0 0 25 0 1 0 831873336 21602304 2801 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5274 2801 1111 63 0 5211 0
vsize: 21096
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 2952 0 0 0 20987 14 0 0 25 0 1 0 831873336 21901312 2876 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5347 2876 1111 63 0 5284 0
vsize: 21388
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 3040 0 0 0 21987 14 0 0 25 0 1 0 831873336 22351872 2964 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 2964 1111 63 0 5394 0
vsize: 21828
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 3121 0 0 0 22987 14 0 0 25 0 1 0 831873336 22650880 3045 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5530 3045 1111 63 0 5467 0
vsize: 22120
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 3201 0 0 0 23986 15 0 0 25 0 1 0 831873336 22949888 3125 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 3125 1111 63 0 5540 0
vsize: 22412
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21986
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 3296 0 0 0 24986 15 0 0 25 0 1 0 831873336 23400448 3220 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5713 3220 1111 63 0 5650 0
vsize: 22852
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 3370 0 0 0 25986 16 0 0 25 0 1 0 831873336 23695360 3294 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5785 3294 1111 63 0 5722 0
vsize: 23140
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 3457 0 0 0 26985 16 0 0 25 0 1 0 831873336 23994368 3381 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5858 3381 1111 63 0 5795 0
vsize: 23432
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 3546 0 0 0 27984 17 0 0 25 0 1 0 831873336 24444928 3470 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5968 3470 1111 63 0 5905 0
vsize: 23872
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 3626 0 0 0 28985 18 0 0 25 0 1 0 831873336 24743936 3550 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 3550 1111 63 0 5978 0
vsize: 24164
[startup+300.021 s]
Raw data (loadavg): 1.07 0.99 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 3709 0 0 0 29985 18 0 0 25 0 1 0 831873336 25051136 3633 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6116 3633 1111 63 0 6053 0
vsize: 24464
[startup+310.022 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 3791 0 0 0 30984 19 0 0 25 0 1 0 831873336 25350144 3715 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6189 3715 1111 63 0 6126 0
vsize: 24756
[startup+320.023 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 3872 0 0 0 31984 19 0 0 25 0 1 0 831873336 25649152 3796 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6262 3796 1111 63 0 6199 0
vsize: 25048
[startup+330.022 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 3960 0 0 0 32984 20 0 0 25 0 1 0 831873336 26103808 3884 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 3884 1111 63 0 6310 0
vsize: 25492
[startup+340.022 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 4040 0 0 0 33984 20 0 0 25 0 1 0 831873336 26402816 3964 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6446 3964 1111 63 0 6383 0
vsize: 25784
[startup+350.022 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 4121 0 0 0 34983 20 0 0 25 0 1 0 831873336 26701824 4045 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6519 4045 1111 63 0 6456 0
vsize: 26076
[startup+360.023 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 4210 0 0 0 35983 21 0 0 25 0 1 0 831873336 27127808 4134 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6623 4134 1111 63 0 6560 0
vsize: 26492
[startup+370.025 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 4292 0 0 0 36983 21 0 0 25 0 1 0 831873336 27426816 4216 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6696 4216 1111 63 0 6633 0
vsize: 26784
[startup+380.025 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 4374 0 0 0 37983 21 0 0 25 0 1 0 831873336 27725824 4298 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6769 4298 1111 63 0 6706 0
vsize: 27076
[startup+390.026 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 4461 0 0 0 38982 22 0 0 25 0 1 0 831873336 28176384 4385 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6879 4385 1111 63 0 6816 0
vsize: 27516
[startup+400.025 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 4535 0 0 0 39982 22 0 0 25 0 1 0 831873336 28475392 4459 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 4459 1111 63 0 6889 0
vsize: 27808
[startup+410.026 s]
Raw data (loadavg): 1.08 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 4624 0 0 0 40982 23 0 0 25 0 1 0 831873336 28782592 4548 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7027 4548 1111 63 0 6964 0
vsize: 28108
[startup+420.027 s]
Raw data (loadavg): 1.07 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 4711 0 0 0 41982 23 0 0 25 0 1 0 831873336 29081600 4635 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4635 1111 63 0 7037 0
vsize: 28400
[startup+430.027 s]
Raw data (loadavg): 1.06 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 4786 0 0 0 42981 23 0 0 25 0 1 0 831873336 29380608 4710 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7173 4710 1111 63 0 7110 0
vsize: 28692
[startup+440.027 s]
Raw data (loadavg): 1.05 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 4874 0 0 0 43981 24 0 0 25 0 1 0 831873336 29835264 4798 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7284 4798 1111 63 0 7221 0
vsize: 29136
[startup+450.027 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 4961 0 0 0 44981 25 0 0 25 0 1 0 831873336 30134272 4885 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7357 4885 1111 63 0 7294 0
vsize: 29428
[startup+460.028 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 5044 0 0 0 45980 25 0 0 25 0 1 0 831873336 30433280 4968 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7430 4968 1111 63 0 7367 0
vsize: 29720
[startup+470.027 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 5125 0 0 0 46980 26 0 0 25 0 1 0 831873336 30887936 5049 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7541 5049 1111 63 0 7478 0
vsize: 30164
[startup+480.028 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 5212 0 0 0 47980 26 0 0 25 0 1 0 831873336 31186944 5136 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7614 5136 1111 63 0 7551 0
vsize: 30456
[startup+490.029 s]
Raw data (loadavg): 1.10 1.02 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 5312 0 0 0 48979 27 0 0 25 0 1 0 831873336 31678464 5236 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7734 5236 1111 63 0 7671 0
vsize: 30936
[startup+500.029 s]
Raw data (loadavg): 1.08 1.02 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 5392 0 0 0 49979 27 0 0 25 0 1 0 831873336 31977472 5316 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7807 5316 1111 63 0 7744 0
vsize: 31228
[startup+510.029 s]
Raw data (loadavg): 1.07 1.01 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 5475 0 0 0 50979 27 0 0 25 0 1 0 831873336 32276480 5399 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 5399 1111 63 0 7817 0
vsize: 31520
[startup+520.029 s]
Raw data (loadavg): 1.06 1.01 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 5561 0 0 0 51978 28 0 0 25 0 1 0 831873336 32731136 5485 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7991 5485 1111 63 0 7928 0
vsize: 31964
[startup+530.031 s]
Raw data (loadavg): 1.05 1.01 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 5648 0 0 0 52978 28 0 0 25 0 1 0 831873336 33030144 5572 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 5572 1111 63 0 8001 0
vsize: 32256
[startup+540.031 s]
Raw data (loadavg): 1.04 1.01 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 5733 0 0 0 53978 28 0 0 25 0 1 0 831873336 33333248 5657 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8138 5657 1111 63 0 8075 0
vsize: 32552
[startup+550.031 s]
Raw data (loadavg): 1.03 1.01 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 5814 0 0 0 54978 29 0 0 25 0 1 0 831873336 33632256 5738 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8211 5738 1111 63 0 8148 0
vsize: 32844
[startup+560.031 s]
Raw data (loadavg): 1.03 1.01 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 5901 0 0 0 55978 29 0 0 25 0 1 0 831873336 34082816 5825 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8321 5825 1111 63 0 8258 0
vsize: 33284
[startup+570.031 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 5989 0 0 0 56978 29 0 0 25 0 1 0 831873336 34390016 5913 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8396 5913 1111 63 0 8333 0
vsize: 33584
[startup+580.031 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 6070 0 0 0 57978 29 0 0 25 0 1 0 831873336 34689024 5994 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8469 5994 1111 63 0 8406 0
vsize: 33876
[startup+590.03 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 6154 0 0 0 58978 29 0 0 25 0 1 0 831873336 35139584 6078 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8579 6078 1111 63 0 8516 0
vsize: 34316
[startup+600.046 s]
Raw data (loadavg): 1.01 1.01 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 6242 0 0 0 59980 29 0 0 25 0 1 0 831873336 35438592 6166 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8652 6166 1111 63 0 8589 0
vsize: 34608
[startup+610.046 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 6329 0 0 0 60980 30 0 0 25 0 1 0 831873336 35737600 6253 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 6253 1111 63 0 8662 0
vsize: 34900
[startup+620.046 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 6411 0 0 0 61979 30 0 0 25 0 1 0 831873336 36192256 6335 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 6335 1111 63 0 8773 0
vsize: 35344
[startup+630.049 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 6492 0 0 0 62979 30 0 0 25 0 1 0 831873336 36491264 6416 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 6416 1111 63 0 8846 0
vsize: 35636
[startup+640.049 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 6579 0 0 0 63980 31 0 0 25 0 1 0 831873336 36790272 6503 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8982 6503 1111 63 0 8919 0
vsize: 35928
[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 6669 0 0 0 64979 31 0 0 25 0 1 0 831873336 37244928 6593 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 6593 1111 63 0 9030 0
vsize: 36372
[startup+660.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 6751 0 0 0 65979 31 0 0 25 0 1 0 831873336 37543936 6675 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 6675 1111 63 0 9103 0
vsize: 36664
[startup+670.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 6839 0 0 0 66979 31 0 0 25 0 1 0 831873336 37847040 6763 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9240 6763 1111 63 0 9177 0
vsize: 36960
[startup+680.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 6920 0 0 0 67979 31 0 0 25 0 1 0 831873336 38146048 6844 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9313 6844 1111 63 0 9250 0
vsize: 37252
[startup+690.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 7007 0 0 0 68980 31 0 0 25 0 1 0 831873336 38596608 6931 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9423 6931 1111 63 0 9360 0
vsize: 37692
[startup+700.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 7096 0 0 0 69980 32 0 0 25 0 1 0 831873336 38903808 7020 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9498 7020 1111 63 0 9435 0
vsize: 37992
[startup+710.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 7184 0 0 0 70979 32 0 0 25 0 1 0 831873336 39350272 7108 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9607 7108 1111 63 0 9544 0
vsize: 38428
[startup+720.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 7268 0 0 0 71979 32 0 0 25 0 1 0 831873336 39653376 7192 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9681 7192 1111 63 0 9618 0
vsize: 38724
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 7355 0 0 0 72979 32 0 0 25 0 1 0 831873336 39952384 7279 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9754 7279 1111 63 0 9691 0
vsize: 39016
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 7443 0 0 0 73979 33 0 0 25 0 1 0 831873336 40402944 7367 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9864 7367 1111 63 0 9801 0
vsize: 39456
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 7531 0 0 0 74979 33 0 0 25 0 1 0 831873336 40710144 7455 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9939 7455 1111 63 0 9876 0
vsize: 39756
[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 7613 0 0 0 75980 33 0 0 25 0 1 0 831873336 41009152 7537 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10012 7537 1111 63 0 9949 0
vsize: 40048
[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 7703 0 0 0 76980 33 0 0 25 0 1 0 831873336 41459712 7627 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10122 7627 1111 63 0 10059 0
vsize: 40488
[startup+780.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 7791 0 0 0 77980 33 0 0 25 0 1 0 831873336 41758720 7715 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 7715 1111 63 0 10132 0
vsize: 40780
[startup+790.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 7878 0 0 0 78980 33 0 0 25 0 1 0 831873336 42057728 7802 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10268 7802 1111 63 0 10205 0
vsize: 41072
[startup+800.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 7960 0 0 0 79980 34 0 0 25 0 1 0 831873336 42491904 7884 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10374 7884 1111 63 0 10311 0
vsize: 41496
[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 8041 0 0 0 80980 34 0 0 25 0 1 0 831873336 42782720 7965 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10445 7965 1111 63 0 10382 0
vsize: 41780
[startup+820.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 8128 0 0 0 81980 34 0 0 25 0 1 0 831873336 43081728 8052 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10518 8052 1111 63 0 10455 0
vsize: 42072
[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 8219 0 0 0 82980 34 0 0 25 0 1 0 831873336 43536384 8143 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 8143 1111 63 0 10566 0
vsize: 42516
[startup+840.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 8306 0 0 0 83980 35 0 0 25 0 1 0 831873336 43835392 8230 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10702 8230 1111 63 0 10639 0
vsize: 42808
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 8389 0 0 0 84980 35 0 0 25 0 1 0 831873336 44134400 8313 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10775 8313 1111 63 0 10712 0
vsize: 43100
[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 8476 0 0 0 85980 35 0 0 25 0 1 0 831873336 44589056 8400 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10886 8400 1111 63 0 10823 0
vsize: 43544
[startup+870.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 8557 0 0 0 86980 35 0 0 25 0 1 0 831873336 44888064 8481 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10959 8481 1111 63 0 10896 0
vsize: 43836
[startup+880.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 8646 0 0 0 87980 36 0 0 25 0 1 0 831873336 45191168 8570 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11033 8570 1111 63 0 10970 0
vsize: 44132
[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 8733 0 0 0 88980 36 0 0 25 0 1 0 831873336 45641728 8657 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11143 8657 1111 63 0 11080 0
vsize: 44572
[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 8822 0 0 0 89980 36 0 0 25 0 1 0 831873336 45940736 8746 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11216 8746 1111 63 0 11153 0
vsize: 44864
[startup+910.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 8910 0 0 0 90981 36 0 0 25 0 1 0 831873336 46395392 8834 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11327 8834 1111 63 0 11264 0
vsize: 45308
[startup+920.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 8997 0 0 0 91981 36 0 0 25 0 1 0 831873336 46694400 8921 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11400 8921 1111 63 0 11337 0
vsize: 45600
[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 9080 0 0 0 92981 36 0 0 25 0 1 0 831873336 46997504 9004 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11474 9004 1111 63 0 11411 0
vsize: 45896
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 9167 0 0 0 93980 37 0 0 25 0 1 0 831873336 47448064 9091 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11584 9091 1111 63 0 11521 0
vsize: 46336
[startup+950.071 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 9275 0 0 0 94980 37 0 0 25 0 1 0 831873336 48005120 9199 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11720 9199 1111 63 0 11657 0
vsize: 46880
[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 9362 0 0 0 95980 37 0 0 25 0 1 0 831873336 48304128 9286 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11793 9286 1111 63 0 11730 0
vsize: 47172
[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 9449 0 0 0 96980 38 0 0 25 0 1 0 831873336 48603136 9373 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11866 9373 1111 63 0 11803 0
vsize: 47464
[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 9539 0 0 0 97980 38 0 0 25 0 1 0 831873336 49029120 9463 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11970 9463 1111 63 0 11907 0
vsize: 47880
[startup+990.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 9621 0 0 0 98980 38 0 0 25 0 1 0 831873336 49328128 9545 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12043 9545 1111 63 0 11980 0
vsize: 48172
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 9717 0 0 0 99980 39 0 0 25 0 1 0 831873336 49774592 9641 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12152 9641 1111 63 0 12089 0
vsize: 48608
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 9799 0 0 0 100980 39 0 0 25 0 1 0 831873336 50077696 9723 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12226 9723 1111 63 0 12163 0
vsize: 48904
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 9892 0 0 0 101980 39 0 0 25 0 1 0 831873336 50528256 9816 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12336 9816 1111 63 0 12273 0
vsize: 49344
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 9982 0 0 0 102980 40 0 0 25 0 1 0 831873336 50810880 9906 4294967295 134512640 134714508 3221224576 3221223232 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12405 9906 1111 63 0 12342 0
vsize: 49620
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 10069 0 0 0 103979 40 0 0 25 0 1 0 831873336 51253248 9993 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12513 9993 1111 63 0 12450 0
vsize: 50052
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 10159 0 0 0 104980 40 0 0 25 0 1 0 831873336 51552256 10083 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12586 10083 1111 63 0 12523 0
vsize: 50344
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 10248 0 0 0 105980 40 0 0 25 0 1 0 831873336 51855360 10172 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12660 10172 1111 63 0 12597 0
vsize: 50640
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 10336 0 0 0 106981 40 0 0 25 0 1 0 831873336 52305920 10260 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12770 10260 1111 63 0 12707 0
vsize: 51080
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 10431 0 0 0 107981 41 0 0 25 0 1 0 831873336 52609024 10355 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12844 10355 1111 63 0 12781 0
vsize: 51376
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 10519 0 0 0 108982 41 0 0 25 0 1 0 831873336 53059584 10443 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12954 10443 1111 63 0 12891 0
vsize: 51816
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 10610 0 0 0 109982 41 0 0 25 0 1 0 831873336 53358592 10534 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13027 10534 1111 63 0 12964 0
vsize: 52108
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 10699 0 0 0 110982 42 0 0 25 0 1 0 831873336 53809152 10623 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13137 10623 1111 63 0 13074 0
vsize: 52548
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 10786 0 0 0 111981 42 0 0 25 0 1 0 831873336 54108160 10710 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10710 1111 63 0 13147 0
vsize: 52840
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 10875 0 0 0 112981 42 0 0 25 0 1 0 831873336 54415360 10799 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13285 10799 1111 63 0 13222 0
vsize: 53140
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 10963 0 0 0 113981 43 0 0 25 0 1 0 831873336 54865920 10887 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13395 10887 1111 63 0 13332 0
vsize: 53580
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 11052 0 0 0 114981 43 0 0 25 0 1 0 831873336 55164928 10976 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13468 10976 1111 63 0 13405 0
vsize: 53872
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 11147 0 0 0 115981 43 0 0 25 0 1 0 831873336 55615488 11071 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13578 11071 1111 63 0 13515 0
vsize: 54312
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 11236 0 0 0 116981 43 0 0 25 0 1 0 831873336 55914496 11160 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13651 11160 1111 63 0 13588 0
vsize: 54604
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 11326 0 0 0 117981 43 0 0 25 0 1 0 831873336 56373248 11250 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13763 11250 1111 63 0 13700 0
vsize: 55052
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 11420 0 0 0 118980 44 0 0 25 0 1 0 831873336 56672256 11344 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13836 11344 1111 63 0 13773 0
vsize: 55344
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) R 21985 20001 20000 0 -1 0 11509 0 0 0 119980 45 0 0 25 0 1 0 831873336 57122816 11433 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13946 11433 1111 63 0 13883 0
vsize: 55784
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 21988
Raw data (stat): 21986 (bsolo_lpr_cuts) Z 21985 20001 20000 0 -1 1036 11509 0 0 0 119980 47 0 0 25 0 1 0 831873336 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.13
CPU time (s): 1200.28
CPU user time (s): 1199.81
CPU system time (s): 0.471928
CPU usage (%): 100.013
Max. virtual memory (Kb): 55784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####