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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08l.opb
MD5SUM	0a05016ca1456223450d9ec498a510c4
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	85660
Biggest coefficient in the objective function	425249996800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	200022778005600
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	425249996800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	200022778005600
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.776881
Number of variables	85660
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	20
Maximum length of a constraint	1700
Trace number 25958

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 15:42:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16421 boxname=wulflinc31 idbench=1264 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  0a05016ca1456223450d9ec498a510c4  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship08l.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship08l.opb
IDLAUNCH: 16421
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        819108 kB
Buffers:         24692 kB
Cached:         167552 kB
SwapCached:        944 kB
Active:         135480 kB
Inactive:        58924 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        818856 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            15420 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 16:02:52 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 16421 7 1200.26 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.82 0.94 0.90 2/55 9945
Raw data (stat): 9945 (runsolver) R 9944 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 822745268 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.85 0.94 0.90 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 1155 0 0 0 989 6 0 0 25 0 1 0 822745268 15777792 1078 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3852 1078 1111 63 0 3789 0
vsize: 15408
[startup+20.0013 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 1341 0 0 0 1988 7 0 0 25 0 1 0 822745268 16625664 1264 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4059 1264 1111 63 0 3996 0
vsize: 16236
[startup+30.0013 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 1548 0 0 0 2987 7 0 0 25 0 1 0 822745268 17477632 1471 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4267 1471 1111 63 0 4204 0
vsize: 17068
[startup+40.0042 s]
Raw data (loadavg): 0.91 0.94 0.90 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 1757 0 0 0 3986 9 0 0 25 0 1 0 822745268 18329600 1680 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4475 1680 1111 63 0 4412 0
vsize: 17900
[startup+50.0051 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 1971 0 0 0 4985 10 0 0 25 0 1 0 822745268 19181568 1894 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4683 1894 1111 63 0 4620 0
vsize: 18732
[startup+60.005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 2185 0 0 0 5985 10 0 0 25 0 1 0 822745268 20029440 2108 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4890 2108 1111 63 0 4827 0
vsize: 19560
[startup+70.0061 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 2404 0 0 0 6985 11 0 0 25 0 1 0 822745268 21012480 2327 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5130 2327 1111 63 0 5067 0
vsize: 20520
[startup+80.0068 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 2623 0 0 0 7985 11 0 0 25 0 1 0 822745268 21856256 2546 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5336 2546 1111 63 0 5273 0
vsize: 21344
[startup+90.0077 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 2832 0 0 0 8985 12 0 0 25 0 1 0 822745268 22704128 2755 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5543 2755 1111 63 0 5480 0
vsize: 22172
[startup+100.009 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 3053 0 0 0 9984 12 0 0 25 0 1 0 822745268 23556096 2976 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5751 2976 1111 63 0 5688 0
vsize: 23004
[startup+110.009 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 3266 0 0 0 10984 13 0 0 25 0 1 0 822745268 24539136 3189 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5991 3194 1111 63 0 5928 0
vsize: 23964
[startup+120.009 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 3480 0 0 0 11983 14 0 0 25 0 1 0 822745268 25387008 3403 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6198 3403 1111 63 0 6135 0
vsize: 24792
[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 3701 0 0 0 12982 15 0 0 25 0 1 0 822745268 26238976 3624 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6406 3624 1111 63 0 6343 0
vsize: 25624
[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 3928 0 0 0 13982 15 0 0 25 0 1 0 822745268 27246592 3851 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6652 3851 1111 63 0 6589 0
vsize: 26608
[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 4142 0 0 0 14982 16 0 0 25 0 1 0 822745268 28090368 4065 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6858 4065 1111 63 0 6795 0
vsize: 27432
[startup+160.011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 4357 0 0 0 15982 16 0 0 25 0 1 0 822745268 28938240 4280 4294967295 134512640 134714508 3221221776 3221220008 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7065 4280 1111 63 0 7002 0
vsize: 28260
[startup+170.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 4578 0 0 0 16981 16 0 0 25 0 1 0 822745268 29929472 4501 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7307 4501 1111 63 0 7244 0
vsize: 29228
[startup+180.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 4801 0 0 0 17981 17 0 0 25 0 1 0 822745268 30777344 4724 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7514 4724 1111 63 0 7451 0
vsize: 30056
[startup+190.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 5026 0 0 0 18980 18 0 0 25 0 1 0 822745268 31760384 4949 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7754 4949 1111 63 0 7691 0
vsize: 31016
[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 5249 0 0 0 19980 18 0 0 25 0 1 0 822745268 32608256 5172 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7961 5172 1111 63 0 7898 0
vsize: 31844
[startup+210.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 5477 0 0 0 20980 18 0 0 25 0 1 0 822745268 33599488 5400 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8203 5400 1111 63 0 8140 0
vsize: 32812
[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 5698 0 0 0 21980 19 0 0 25 0 1 0 822745268 34447360 5621 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8410 5621 1111 63 0 8347 0
vsize: 33640
[startup+230.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 5918 0 0 0 22980 19 0 0 25 0 1 0 822745268 35291136 5841 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8616 5841 1111 63 0 8553 0
vsize: 34464
[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 6139 0 0 0 23979 20 0 0 25 0 1 0 822745268 36282368 6062 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8858 6062 1111 63 0 8795 0
vsize: 35432
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 6367 0 0 0 24979 20 0 0 25 0 1 0 822745268 37130240 6290 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9065 6290 1111 63 0 9002 0
vsize: 36260
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 6606 0 0 0 25979 20 0 0 25 0 1 0 822745268 38268928 6529 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9343 6529 1111 63 0 9280 0
vsize: 37372
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 6826 0 0 0 26979 21 0 0 25 0 1 0 822745268 39112704 6749 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9549 6749 1111 63 0 9486 0
vsize: 38196
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 7054 0 0 0 27979 21 0 0 25 0 1 0 822745268 40103936 6977 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9791 6977 1111 63 0 9728 0
vsize: 39164
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 7283 0 0 0 28979 21 0 0 25 0 1 0 822745268 40951808 7206 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9998 7206 1111 63 0 9935 0
vsize: 39992
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 7504 0 0 0 29978 22 0 0 25 0 1 0 822745268 41943040 7427 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10240 7427 1111 63 0 10177 0
vsize: 40960
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 7726 0 0 0 30978 23 0 0 25 0 1 0 822745268 42782720 7649 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10445 7649 1111 63 0 10382 0
vsize: 41780
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 7947 0 0 0 31977 23 0 0 25 0 1 0 822745268 43634688 7870 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10653 7870 1111 63 0 10590 0
vsize: 42612
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 8175 0 0 0 32977 24 0 0 25 0 1 0 822745268 44625920 8098 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10895 8098 1111 63 0 10832 0
vsize: 43580
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 8403 0 0 0 33977 24 0 0 25 0 1 0 822745268 45613056 8326 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11136 8326 1111 63 0 11073 0
vsize: 44544
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 8626 0 0 0 34977 24 0 0 25 0 1 0 822745268 46460928 8549 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11343 8549 1111 63 0 11280 0
vsize: 45372
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 8859 0 0 0 35977 24 0 0 25 0 1 0 822745268 47443968 8782 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11583 8782 1111 63 0 11520 0
vsize: 46332
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 9088 0 0 0 36977 25 0 0 25 0 1 0 822745268 48295936 9011 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11791 9011 1111 63 0 11728 0
vsize: 47164
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 9323 0 0 0 37977 25 0 0 25 0 1 0 822745268 49283072 9246 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12032 9246 1111 63 0 11969 0
vsize: 48128
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 9558 0 0 0 38976 26 0 0 25 0 1 0 822745268 50274304 9481 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12274 9481 1111 63 0 12211 0
vsize: 49096
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 9794 0 0 0 39976 27 0 0 25 0 1 0 822745268 51261440 9717 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12515 9717 1111 63 0 12452 0
vsize: 50060
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 10027 0 0 0 40975 27 0 0 25 0 1 0 822745268 52248576 9950 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12756 9950 1111 63 0 12693 0
vsize: 51024
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 10262 0 0 0 41975 27 0 0 25 0 1 0 822745268 53096448 10185 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12963 10185 1111 63 0 12900 0
vsize: 51852
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 10497 0 0 0 42975 28 0 0 25 0 1 0 822745268 54083584 10420 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13204 10420 1111 63 0 13141 0
vsize: 52816
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 10733 0 0 0 43975 28 0 0 25 0 1 0 822745268 55074816 10656 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13446 10656 1111 63 0 13383 0
vsize: 53784
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 10967 0 0 0 44975 29 0 0 25 0 1 0 822745268 56057856 10890 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13686 10890 1111 63 0 13623 0
vsize: 54744
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 11202 0 0 0 45975 29 0 0 25 0 1 0 822745268 57049088 11125 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13928 11125 1111 63 0 13865 0
vsize: 55712
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 11437 0 0 0 46974 29 0 0 25 0 1 0 822745268 57896960 11360 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14135 11360 1111 63 0 14072 0
vsize: 56540
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 11678 0 0 0 47974 30 0 0 25 0 1 0 822745268 58884096 11601 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14376 11601 1111 63 0 14313 0
vsize: 57504
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 11913 0 0 0 48974 31 0 0 25 0 1 0 822745268 59875328 11836 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14618 11836 1111 63 0 14555 0
vsize: 58472
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 12174 0 0 0 49973 31 0 0 25 0 1 0 822745268 61083648 12097 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14913 12097 1111 63 0 14850 0
vsize: 59652
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 12415 0 0 0 50973 32 0 0 25 0 1 0 822745268 62066688 12338 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15153 12338 1111 63 0 15090 0
vsize: 60612
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 12656 0 0 0 51972 32 0 0 25 0 1 0 822745268 63057920 12579 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15395 12579 1111 63 0 15332 0
vsize: 61580
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 12899 0 0 0 52972 33 0 0 25 0 1 0 822745268 64045056 12822 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15636 12822 1111 63 0 15573 0
vsize: 62544
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 13141 0 0 0 53972 34 0 0 25 0 1 0 822745268 65036288 13064 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15878 13064 1111 63 0 15815 0
vsize: 63512
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 13383 0 0 0 54971 34 0 0 25 0 1 0 822745268 66027520 13306 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16120 13306 1111 63 0 16057 0
vsize: 64480
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 13629 0 0 0 55971 35 0 0 25 0 1 0 822745268 67010560 13552 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16360 13552 1111 63 0 16297 0
vsize: 65440
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 13872 0 0 0 56971 35 0 0 25 0 1 0 822745268 67997696 13795 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16601 13795 1111 63 0 16538 0
vsize: 66404
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 14114 0 0 0 57971 35 0 0 25 0 1 0 822745268 68988928 14037 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16843 14037 1111 63 0 16780 0
vsize: 67372
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 14364 0 0 0 58971 36 0 0 25 0 1 0 822745268 69976064 14287 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17084 14287 1111 63 0 17021 0
vsize: 68336
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 14606 0 0 0 59971 36 0 0 25 0 1 0 822745268 70967296 14529 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17326 14529 1111 63 0 17263 0
vsize: 69304
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 14849 0 0 0 60970 36 0 0 25 0 1 0 822745268 71958528 14772 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17568 14772 1111 63 0 17505 0
vsize: 70272
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 15096 0 0 0 61970 37 0 0 25 0 1 0 822745268 73080832 15019 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17842 15019 1111 63 0 17779 0
vsize: 71368
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 15338 0 0 0 62970 37 0 0 25 0 1 0 822745268 74072064 15261 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18084 15261 1111 63 0 18021 0
vsize: 72336
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 15581 0 0 0 63969 38 0 0 25 0 1 0 822745268 75059200 15504 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18325 15504 1111 63 0 18262 0
vsize: 73300
[startup+650.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 15830 0 0 0 64969 39 0 0 25 0 1 0 822745268 76050432 15753 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18567 15753 1111 63 0 18504 0
vsize: 74268
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 16079 0 0 0 65969 39 0 0 25 0 1 0 822745268 77037568 16002 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18808 16002 1111 63 0 18745 0
vsize: 75232
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 16328 0 0 0 66969 39 0 0 25 0 1 0 822745268 78028800 16251 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19050 16251 1111 63 0 18987 0
vsize: 76200
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 16591 0 0 0 67968 40 0 0 25 0 1 0 822745268 79159296 16514 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19326 16514 1111 63 0 19263 0
vsize: 77304
[startup+690.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 16838 0 0 0 68968 41 0 0 25 0 1 0 822745268 80142336 16761 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19566 16761 1111 63 0 19503 0
vsize: 78264
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 17095 0 0 0 69968 41 0 0 25 0 1 0 822745268 81133568 17018 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19808 17018 1111 63 0 19745 0
vsize: 79232
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 17351 0 0 0 70968 41 0 0 25 0 1 0 822745268 82264064 17274 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20084 17274 1111 63 0 20021 0
vsize: 80336
[startup+720.04 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 17613 0 0 0 71967 42 0 0 25 0 1 0 822745268 83251200 17536 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20325 17536 1111 63 0 20262 0
vsize: 81300
[startup+730.039 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 17863 0 0 0 72966 43 0 0 25 0 1 0 822745268 84381696 17786 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20601 17786 1111 63 0 20538 0
vsize: 82404
[startup+740.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 18119 0 0 0 73965 44 0 0 25 0 1 0 822745268 85372928 18042 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20843 18042 1111 63 0 20780 0
vsize: 83372
[startup+750.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 18375 0 0 0 74965 45 0 0 25 0 1 0 822745268 86351872 18298 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21082 18298 1111 63 0 21019 0
vsize: 84328
[startup+760.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 18637 0 0 0 75965 45 0 0 25 0 1 0 822745268 87482368 18560 4294967295 134512640 134714508 3221221776 3221220432 134527928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21358 18560 1111 63 0 21295 0
vsize: 85432
[startup+770.042 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 18892 0 0 0 76964 46 0 0 25 0 1 0 822745268 88473600 18815 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21600 18815 1111 63 0 21537 0
vsize: 86400
[startup+780.042 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 19155 0 0 0 77964 47 0 0 25 0 1 0 822745268 89604096 19078 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21876 19078 1111 63 0 21813 0
vsize: 87504
[startup+790.043 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 19418 0 0 0 78963 47 0 0 25 0 1 0 822745268 90734592 19341 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22152 19341 1111 63 0 22089 0
vsize: 88608
[startup+800.044 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 19682 0 0 0 79963 48 0 0 25 0 1 0 822745268 91721728 19605 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22393 19605 1111 63 0 22330 0
vsize: 89572
[startup+810.044 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 19950 0 0 0 80963 48 0 0 25 0 1 0 822745268 92852224 19873 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22669 19873 1111 63 0 22606 0
vsize: 90676
[startup+820.045 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 20213 0 0 0 81963 48 0 0 25 0 1 0 822745268 93982720 20136 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22945 20136 1111 63 0 22882 0
vsize: 91780
[startup+830.045 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 20476 0 0 0 82962 49 0 0 25 0 1 0 822745268 94973952 20399 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23187 20399 1111 63 0 23124 0
vsize: 92748
[startup+840.046 s]
Raw data (loadavg): 1.12 1.02 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 20740 0 0 0 83962 49 0 0 25 0 1 0 822745268 96104448 20663 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23463 20663 1111 63 0 23400 0
vsize: 93852
[startup+850.046 s]
Raw data (loadavg): 1.10 1.02 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 21001 0 0 0 84961 50 0 0 25 0 1 0 822745268 97083392 20924 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23702 20924 1111 63 0 23639 0
vsize: 94808
[startup+860.046 s]
Raw data (loadavg): 1.08 1.01 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 21271 0 0 0 85961 50 0 0 25 0 1 0 822745268 98213888 21194 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23978 21194 1111 63 0 23915 0
vsize: 95912
[startup+870.047 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 21541 0 0 0 86961 51 0 0 25 0 1 0 822745268 99344384 21464 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24254 21464 1111 63 0 24191 0
vsize: 97016
[startup+880.048 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 21804 0 0 0 87961 51 0 0 25 0 1 0 822745268 100474880 21727 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24530 21727 1111 63 0 24467 0
vsize: 98120
[startup+890.049 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 22073 0 0 0 88961 52 0 0 25 0 1 0 822745268 101466112 21996 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24772 21996 1111 63 0 24709 0
vsize: 99088
[startup+900.049 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 22342 0 0 0 89960 52 0 0 25 0 1 0 822745268 102596608 22265 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25048 22265 1111 63 0 24985 0
vsize: 100192
[startup+910.049 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 22605 0 0 0 90960 53 0 0 25 0 1 0 822745268 103727104 22528 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25324 22528 1111 63 0 25261 0
vsize: 101296
[startup+920.05 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 22874 0 0 0 91960 53 0 0 25 0 1 0 822745268 104857600 22797 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25600 22797 1111 63 0 25537 0
vsize: 102400
[startup+930.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 23195 0 0 0 92960 53 0 0 25 0 1 0 822745268 106360832 23118 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25967 23118 1111 63 0 25904 0
vsize: 103868
[startup+940.051 s]
Raw data (loadavg): 1.09 1.02 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 23452 0 0 0 93960 54 0 0 25 0 1 0 822745268 107360256 23375 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26211 23375 1111 63 0 26148 0
vsize: 104844
[startup+950.052 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 23729 0 0 0 94959 54 0 0 25 0 1 0 822745268 108490752 23652 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26487 23652 1111 63 0 26424 0
vsize: 105948
[startup+960.052 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 24007 0 0 0 95959 55 0 0 25 0 1 0 822745268 109617152 23930 4294967295 134512640 134714508 3221221776 3221220432 134527953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26762 23930 1111 63 0 26699 0
vsize: 107048
[startup+970.053 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 24289 0 0 0 96958 56 0 0 25 0 1 0 822745268 110895104 24212 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27074 24212 1111 63 0 27011 0
vsize: 108296
[startup+980.054 s]
Raw data (loadavg): 1.05 1.02 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 24572 0 0 0 97958 57 0 0 25 0 1 0 822745268 112017408 24495 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27348 24495 1111 63 0 27285 0
vsize: 109392
[startup+990.055 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 24848 0 0 0 98958 57 0 0 25 0 1 0 822745268 113147904 24771 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27624 24771 1111 63 0 27561 0
vsize: 110496
[startup+1000.05 s]
Raw data (loadavg): 1.03 1.02 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 25132 0 0 0 99957 58 0 0 25 0 1 0 822745268 114278400 25055 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27900 25055 1111 63 0 27837 0
vsize: 111600
[startup+1010.05 s]
Raw data (loadavg): 1.03 1.02 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 25415 0 0 0 100957 58 0 0 25 0 1 0 822745268 115408896 25338 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28176 25338 1111 63 0 28113 0
vsize: 112704
[startup+1020.06 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 25692 0 0 0 101956 60 0 0 25 0 1 0 822745268 116539392 25615 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28452 25615 1111 63 0 28389 0
vsize: 113808
[startup+1030.06 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 9945
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 25976 0 0 0 102955 60 0 0 25 0 1 0 822745268 117665792 25899 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28727 25899 1111 63 0 28664 0
vsize: 114908
[startup+1040.06 s]
Raw data (loadavg): 1.10 1.03 0.94 2/55 9998
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 26259 0 0 0 103955 61 0 0 25 0 1 0 822745268 118935552 26182 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29037 26182 1111 63 0 28974 0
vsize: 116148
[startup+1050.06 s]
Raw data (loadavg): 1.08 1.03 0.94 2/55 9998
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 26550 0 0 0 104954 62 0 0 25 0 1 0 822745268 120066048 26473 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29313 26473 1111 63 0 29250 0
vsize: 117252
[startup+1060.06 s]
Raw data (loadavg): 1.07 1.03 0.94 2/55 9998
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 26840 0 0 0 105954 62 0 0 25 0 1 0 822745268 121196544 26763 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29589 26763 1111 63 0 29526 0
vsize: 118356
[startup+1070.06 s]
Raw data (loadavg): 1.06 1.03 0.94 2/55 9998
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 27130 0 0 0 106954 63 0 0 25 0 1 0 822745268 122470400 27053 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29900 27053 1111 63 0 29837 0
vsize: 119600
[startup+1080.06 s]
Raw data (loadavg): 1.05 1.03 0.94 2/55 9998
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 27421 0 0 0 107953 63 0 0 25 0 1 0 822745268 123596800 27344 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30175 27344 1111 63 0 30112 0
vsize: 120700
[startup+1090.06 s]
Raw data (loadavg): 1.11 1.04 0.94 2/55 9998
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 27711 0 0 0 108953 64 0 0 25 0 1 0 822745268 124866560 27634 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30485 27634 1111 63 0 30422 0
vsize: 121940
[startup+1100.06 s]
Raw data (loadavg): 1.10 1.04 0.94 2/55 9998
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 28002 0 0 0 109953 64 0 0 25 0 1 0 822745268 125997056 27925 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30761 27925 1111 63 0 30698 0
vsize: 123044
[startup+1110.06 s]
Raw data (loadavg): 1.08 1.04 0.94 2/55 9998
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 28299 0 0 0 110952 65 0 0 25 0 1 0 822745268 127270912 28222 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31072 28222 1111 63 0 31009 0
vsize: 124288
[startup+1120.06 s]
Raw data (loadavg): 1.07 1.04 0.94 2/55 10000
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 28595 0 0 0 111952 66 0 0 25 0 1 0 822745268 128401408 28518 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31348 28518 1111 63 0 31285 0
vsize: 125392
[startup+1130.06 s]
Raw data (loadavg): 1.06 1.03 0.94 2/55 10000
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 28894 0 0 0 112952 66 0 0 25 0 1 0 822745268 129667072 28817 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31657 28817 1111 63 0 31594 0
vsize: 126628
[startup+1140.06 s]
Raw data (loadavg): 1.05 1.03 0.94 2/55 10000
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 29190 0 0 0 113952 66 0 0 25 0 1 0 822745268 130797568 29113 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31933 29113 1111 63 0 31870 0
vsize: 127732
[startup+1150.06 s]
Raw data (loadavg): 1.04 1.03 0.94 2/55 10000
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 29482 0 0 0 114951 67 0 0 25 0 1 0 822745268 132071424 29405 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32244 29405 1111 63 0 32181 0
vsize: 128976
[startup+1160.06 s]
Raw data (loadavg): 1.03 1.03 0.94 2/55 10000
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 29778 0 0 0 115951 67 0 0 25 0 1 0 822745268 133201920 29701 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32520 29701 1111 63 0 32457 0
vsize: 130080
[startup+1170.06 s]
Raw data (loadavg): 1.03 1.03 0.94 2/55 10000
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 30076 0 0 0 116950 68 0 0 25 0 1 0 822745268 134471680 29999 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32830 29999 1111 63 0 32767 0
vsize: 131320
[startup+1180.06 s]
Raw data (loadavg): 1.02 1.03 0.94 2/55 10000
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 30379 0 0 0 117950 68 0 0 25 0 1 0 822745268 135741440 30302 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33140 30302 1111 63 0 33077 0
vsize: 132560
[startup+1190.07 s]
Raw data (loadavg): 1.02 1.03 0.94 2/55 10000
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 30676 0 0 0 118950 69 0 0 25 0 1 0 822745268 136871936 30599 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33416 30599 1111 63 0 33353 0
vsize: 133664
[startup+1200.07 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 10000
Raw data (stat): 9945 (bsolo_lpr_cuts) R 9944 7876 7672 0 -1 0 30981 0 0 0 119950 69 0 0 25 0 1 0 822745268 138141696 30904 4294967295 134512640 134714508 3221221776 3221220108 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33726 30904 1111 63 0 33663 0
vsize: 134904
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.02 1.02 0.94 1/55 10000
Raw data (stat): 9945 (bsolo_lpr_cuts) Z 9944 7876 7672 0 -1 1036 30981 0 0 0 119950 75 0 0 25 0 1 0 822745268 0 0 4294967295 0 0 0 0 0 0 0 1 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.12
CPU time (s): 1200.26
CPU user time (s): 1199.5
CPU system time (s): 0.755885
CPU usage (%): 100.011
Max. virtual memory (Kb): 134904
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####