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-czprob.opb
MD5SUM	8225997c3fd9c39c0ae1e7fa3d3e4160
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	98250
Biggest coefficient in the objective function	16496969383936000
Number of bits for the biggest coefficient in the objective function	54
Sum of the numbers in the objective function	33458351340667289600
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	16496969383936000
Number of bits of the biggest number in a constraint	54
Biggest sum of numbers in a constraint	33458351340667289600
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.886864
Number of variables	98820
Total number of constraints	927
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	927
Minimum length of a constraint	30
Maximum length of a constraint	11190
Trace number 29042

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        867800 kB
Buffers:         19792 kB
Cached:         126748 kB
SwapCached:          0 kB
Active:          53432 kB
Inactive:        95740 kB
HighTotal:      131008 kB
HighFree:         2912 kB
LowTotal:       903652 kB
LowFree:        864888 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6576 kB
Slab:            12052 kB
Committed_AS:    71760 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:51:37 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 10649 7 1200.21 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.85 0.92 0.95 2/54 30084
Raw data (stat): 30084 (runsolver) R 30083 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777790192 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.0003 s]
Raw data (loadavg): 0.87 0.92 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1331 0 0 0 993 4 0 0 25 0 1 0 777790192 15364096 1255 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1255 1111 63 0 3688 0
vsize: 15004
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.92 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1391 0 0 0 1992 5 0 0 25 0 1 0 777790192 15667200 1315 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3825 1315 1111 63 0 3762 0
vsize: 15300
[startup+30.0099 s]
Raw data (loadavg): 0.91 0.93 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1465 0 0 0 2993 5 0 0 25 0 1 0 777790192 15949824 1389 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3894 1389 1111 63 0 3831 0
vsize: 15576
[startup+40.01 s]
Raw data (loadavg): 0.92 0.93 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1525 0 0 0 3992 6 0 0 25 0 1 0 777790192 16240640 1449 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3965 1449 1111 63 0 3902 0
vsize: 15860
[startup+50.0112 s]
Raw data (loadavg): 0.93 0.93 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1598 0 0 0 4992 6 0 0 25 0 1 0 777790192 16543744 1522 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 1522 1111 63 0 3976 0
vsize: 16156
[startup+60.0189 s]
Raw data (loadavg): 0.94 0.93 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1665 0 0 0 5992 7 0 0 25 0 1 0 777790192 16695296 1589 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4076 1589 1111 63 0 4013 0
vsize: 16304
[startup+70.0278 s]
Raw data (loadavg): 0.95 0.93 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1731 0 0 0 6993 7 0 0 25 0 1 0 777790192 17002496 1655 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4151 1655 1111 63 0 4088 0
vsize: 16604
[startup+80.0297 s]
Raw data (loadavg): 0.96 0.94 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1794 0 0 0 7993 7 0 0 25 0 1 0 777790192 17285120 1718 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4220 1718 1111 63 0 4157 0
vsize: 16880
[startup+90.0295 s]
Raw data (loadavg): 0.96 0.94 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1866 0 0 0 8992 8 0 0 25 0 1 0 777790192 17584128 1790 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4293 1790 1111 63 0 4230 0
vsize: 17172
[startup+100.031 s]
Raw data (loadavg): 0.97 0.94 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1927 0 0 0 9992 8 0 0 25 0 1 0 777790192 17862656 1851 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1851 1111 63 0 4298 0
vsize: 17444
[startup+110.031 s]
Raw data (loadavg): 0.97 0.94 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 1999 0 0 0 10992 9 0 0 25 0 1 0 777790192 18165760 1923 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4435 1923 1111 63 0 4372 0
vsize: 17740
[startup+120.031 s]
Raw data (loadavg): 0.98 0.94 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2059 0 0 0 11992 9 0 0 25 0 1 0 777790192 18313216 1983 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4471 1983 1111 63 0 4408 0
vsize: 17884
[startup+130.031 s]
Raw data (loadavg): 0.98 0.94 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2133 0 0 0 12992 9 0 0 25 0 1 0 777790192 18612224 2057 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4544 2057 1111 63 0 4481 0
vsize: 18176
[startup+140.031 s]
Raw data (loadavg): 0.98 0.94 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2199 0 0 0 13991 10 0 0 25 0 1 0 777790192 18890752 2123 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 2123 1111 63 0 4549 0
vsize: 18448
[startup+150.032 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2270 0 0 0 14991 10 0 0 25 0 1 0 777790192 19189760 2194 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4685 2194 1111 63 0 4622 0
vsize: 18740
[startup+160.032 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2338 0 0 0 15991 10 0 0 25 0 1 0 777790192 19484672 2262 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 2262 1111 63 0 4694 0
vsize: 19028
[startup+170.032 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2404 0 0 0 16991 10 0 0 25 0 1 0 777790192 19787776 2328 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4831 2328 1111 63 0 4768 0
vsize: 19324
[startup+180.032 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2477 0 0 0 17991 11 0 0 25 0 1 0 777790192 20090880 2401 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4905 2401 1111 63 0 4842 0
vsize: 19620
[startup+190.037 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2543 0 0 0 18991 11 0 0 25 0 1 0 777790192 20389888 2467 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4978 2467 1111 63 0 4915 0
vsize: 19912
[startup+200.038 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2612 0 0 0 19991 12 0 0 25 0 1 0 777790192 20668416 2536 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 2536 1111 63 0 4983 0
vsize: 20184
[startup+210.038 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2684 0 0 0 20990 12 0 0 25 0 1 0 777790192 20967424 2608 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5119 2608 1111 63 0 5056 0
vsize: 20476
[startup+220.038 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2744 0 0 0 21990 13 0 0 25 0 1 0 777790192 21114880 2668 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5155 2668 1111 63 0 5092 0
vsize: 20620
[startup+230.038 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2818 0 0 0 22989 13 0 0 25 0 1 0 777790192 21422080 2742 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5230 2742 1111 63 0 5167 0
vsize: 20920
[startup+240.038 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2884 0 0 0 23989 14 0 0 25 0 1 0 777790192 21721088 2808 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5303 2808 1111 63 0 5240 0
vsize: 21212
[startup+250.039 s]
Raw data (loadavg): 0.99 0.95 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 2950 0 0 0 24989 14 0 0 25 0 1 0 777790192 22024192 2874 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5377 2874 1111 63 0 5314 0
vsize: 21508
[startup+260.04 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3018 0 0 0 25989 15 0 0 25 0 1 0 777790192 22327296 2942 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5451 2942 1111 63 0 5388 0
vsize: 21804
[startup+270.04 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3083 0 0 0 26989 15 0 0 25 0 1 0 777790192 22630400 3007 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5525 3007 1111 63 0 5462 0
vsize: 22100
[startup+280.041 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3143 0 0 0 27988 15 0 0 25 0 1 0 777790192 22781952 3067 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5562 3067 1111 63 0 5499 0
vsize: 22248
[startup+290.041 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3215 0 0 0 28988 16 0 0 25 0 1 0 777790192 23080960 3139 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 3139 1111 63 0 5572 0
vsize: 22540
[startup+300.043 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3296 0 0 0 29987 17 0 0 25 0 1 0 777790192 23523328 3220 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5743 3220 1111 63 0 5680 0
vsize: 22972
[startup+310.043 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3357 0 0 0 30987 17 0 0 25 0 1 0 777790192 23674880 3281 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5780 3281 1111 63 0 5717 0
vsize: 23120
[startup+320.043 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3430 0 0 0 31987 17 0 0 25 0 1 0 777790192 23977984 3354 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 3354 1111 63 0 5791 0
vsize: 23416
[startup+330.044 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3497 0 0 0 32987 18 0 0 25 0 1 0 777790192 24281088 3421 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5928 3421 1111 63 0 5865 0
vsize: 23712
[startup+340.044 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3563 0 0 0 33986 18 0 0 25 0 1 0 777790192 24584192 3487 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6002 3487 1111 63 0 5939 0
vsize: 24008
[startup+350.044 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3629 0 0 0 34986 19 0 0 25 0 1 0 777790192 24883200 3553 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6075 3553 1111 63 0 6012 0
vsize: 24300
[startup+360.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3697 0 0 0 35986 19 0 0 25 0 1 0 777790192 25030656 3621 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6111 3621 1111 63 0 6048 0
vsize: 24444
[startup+370.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3771 0 0 0 36986 19 0 0 25 0 1 0 777790192 25456640 3695 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6215 3695 1111 63 0 6152 0
vsize: 24860
[startup+380.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3837 0 0 0 37986 19 0 0 25 0 1 0 777790192 25608192 3761 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6252 3761 1111 63 0 6189 0
vsize: 25008
[startup+390.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3906 0 0 0 38985 20 0 0 25 0 1 0 777790192 25911296 3830 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3830 1111 63 0 6263 0
vsize: 25304
[startup+400.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 3978 0 0 0 39985 21 0 0 25 0 1 0 777790192 26214400 3902 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6400 3902 1111 63 0 6337 0
vsize: 25600
[startup+410.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4045 0 0 0 40984 21 0 0 25 0 1 0 777790192 26517504 3969 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6474 3969 1111 63 0 6411 0
vsize: 25896
[startup+420.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4111 0 0 0 41984 21 0 0 25 0 1 0 777790192 26816512 4035 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6547 4035 1111 63 0 6484 0
vsize: 26188
[startup+430.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4185 0 0 0 42984 22 0 0 25 0 1 0 777790192 27123712 4109 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6622 4109 1111 63 0 6559 0
vsize: 26488
[startup+440.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4259 0 0 0 43984 22 0 0 25 0 1 0 777790192 27422720 4183 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6695 4183 1111 63 0 6632 0
vsize: 26780
[startup+450.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4326 0 0 0 44984 23 0 0 25 0 1 0 777790192 27721728 4250 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6768 4250 1111 63 0 6705 0
vsize: 27072
[startup+460.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4401 0 0 0 45983 23 0 0 25 0 1 0 777790192 28028928 4325 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 4325 1111 63 0 6780 0
vsize: 27372
[startup+470.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4468 0 0 0 46983 23 0 0 25 0 1 0 777790192 28176384 4392 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6879 4392 1111 63 0 6816 0
vsize: 27516
[startup+480.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4541 0 0 0 47983 23 0 0 25 0 1 0 777790192 28475392 4465 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 4465 1111 63 0 6889 0
vsize: 27808
[startup+490.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4615 0 0 0 48983 24 0 0 25 0 1 0 777790192 28782592 4539 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7027 4539 1111 63 0 6964 0
vsize: 28108
[startup+500.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4688 0 0 0 49983 24 0 0 25 0 1 0 777790192 29085696 4612 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7101 4612 1111 63 0 7038 0
vsize: 28404
[startup+510.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4755 0 0 0 50983 24 0 0 25 0 1 0 777790192 29384704 4679 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7174 4679 1111 63 0 7111 0
vsize: 28696
[startup+520.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4823 0 0 0 51983 24 0 0 25 0 1 0 777790192 29691904 4747 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7249 4747 1111 63 0 7186 0
vsize: 28996
[startup+530.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4896 0 0 0 52983 25 0 0 25 0 1 0 777790192 29990912 4820 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7322 4820 1111 63 0 7259 0
vsize: 29288
[startup+540.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 4969 0 0 0 53983 25 0 0 25 0 1 0 777790192 30289920 4893 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7395 4893 1111 63 0 7332 0
vsize: 29580
[startup+550.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5044 0 0 0 54982 25 0 0 25 0 1 0 777790192 30597120 4968 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 4968 1111 63 0 7407 0
vsize: 29880
[startup+560.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5117 0 0 0 55982 26 0 0 25 0 1 0 777790192 30896128 5041 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7543 5041 1111 63 0 7480 0
vsize: 30172
[startup+570.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5190 0 0 0 56981 27 0 0 25 0 1 0 777790192 31195136 5114 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7616 5114 1111 63 0 7553 0
vsize: 30464
[startup+580.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5275 0 0 0 57981 27 0 0 25 0 1 0 777790192 31657984 5199 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7729 5199 1111 63 0 7666 0
vsize: 30916
[startup+590.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5348 0 0 0 58981 28 0 0 25 0 1 0 777790192 31961088 5272 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7803 5272 1111 63 0 7740 0
vsize: 31212
[startup+600.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5421 0 0 0 59981 28 0 0 25 0 1 0 777790192 32260096 5345 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7876 5345 1111 63 0 7813 0
vsize: 31504
[startup+610.054 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5497 0 0 0 60981 28 0 0 25 0 1 0 777790192 32567296 5421 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7951 5421 1111 63 0 7888 0
vsize: 31804
[startup+620.054 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5571 0 0 0 61981 28 0 0 25 0 1 0 777790192 32866304 5495 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8024 5495 1111 63 0 7961 0
vsize: 32096
[startup+630.054 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5644 0 0 0 62980 29 0 0 25 0 1 0 777790192 33165312 5568 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8097 5568 1111 63 0 8034 0
vsize: 32388
[startup+640.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5719 0 0 0 63980 29 0 0 25 0 1 0 777790192 33472512 5643 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8172 5643 1111 63 0 8109 0
vsize: 32688
[startup+650.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5793 0 0 0 64980 30 0 0 25 0 1 0 777790192 33771520 5717 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 5717 1111 63 0 8182 0
vsize: 32980
[startup+660.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5866 0 0 0 65979 30 0 0 25 0 1 0 777790192 34074624 5790 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8319 5790 1111 63 0 8256 0
vsize: 33276
[startup+670.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 5934 0 0 0 66979 31 0 0 25 0 1 0 777790192 34226176 5858 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8356 5858 1111 63 0 8293 0
vsize: 33424
[startup+680.056 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6002 0 0 0 67979 31 0 0 25 0 1 0 777790192 34529280 5926 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5926 1111 63 0 8367 0
vsize: 33720
[startup+690.056 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6075 0 0 0 68979 32 0 0 25 0 1 0 777790192 34832384 5999 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8504 5999 1111 63 0 8441 0
vsize: 34016
[startup+700.057 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6150 0 0 0 69978 33 0 0 25 0 1 0 777790192 35131392 6074 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8577 6074 1111 63 0 8514 0
vsize: 34308
[startup+710.057 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6224 0 0 0 70978 33 0 0 25 0 1 0 777790192 35438592 6148 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8652 6148 1111 63 0 8589 0
vsize: 34608
[startup+720.057 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6304 0 0 0 71977 33 0 0 25 0 1 0 777790192 35737600 6228 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8725 6228 1111 63 0 8662 0
vsize: 34900
[startup+730.057 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6379 0 0 0 72977 34 0 0 25 0 1 0 777790192 36036608 6303 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8798 6303 1111 63 0 8735 0
vsize: 35192
[startup+740.057 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6445 0 0 0 73977 34 0 0 25 0 1 0 777790192 36343808 6369 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8873 6369 1111 63 0 8810 0
vsize: 35492
[startup+750.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6526 0 0 0 74977 34 0 0 25 0 1 0 777790192 36642816 6450 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8946 6450 1111 63 0 8883 0
vsize: 35784
[startup+760.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6601 0 0 0 75976 35 0 0 25 0 1 0 777790192 36945920 6525 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9020 6525 1111 63 0 8957 0
vsize: 36080
[startup+770.057 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6675 0 0 0 76976 35 0 0 25 0 1 0 777790192 37253120 6599 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9095 6599 1111 63 0 9032 0
vsize: 36380
[startup+780.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6755 0 0 0 77975 36 0 0 25 0 1 0 777790192 37699584 6679 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9204 6679 1111 63 0 9141 0
vsize: 36816
[startup+790.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6830 0 0 0 78975 36 0 0 25 0 1 0 777790192 38006784 6754 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9279 6754 1111 63 0 9216 0
vsize: 37116
[startup+800.059 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6903 0 0 0 79975 37 0 0 25 0 1 0 777790192 38305792 6827 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9352 6827 1111 63 0 9289 0
vsize: 37408
[startup+810.059 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 6978 0 0 0 80975 37 0 0 25 0 1 0 777790192 38604800 6902 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9425 6902 1111 63 0 9362 0
vsize: 37700
[startup+820.059 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7053 0 0 0 81974 37 0 0 25 0 1 0 777790192 38912000 6977 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9500 6977 1111 63 0 9437 0
vsize: 38000
[startup+830.059 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7127 0 0 0 82974 37 0 0 25 0 1 0 777790192 39211008 7051 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9573 7051 1111 63 0 9510 0
vsize: 38292
[startup+840.059 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7200 0 0 0 83974 38 0 0 25 0 1 0 777790192 39514112 7124 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9647 7124 1111 63 0 9584 0
vsize: 38588
[startup+850.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7276 0 0 0 84974 38 0 0 25 0 1 0 777790192 39817216 7200 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9721 7200 1111 63 0 9658 0
vsize: 38884
[startup+860.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7356 0 0 0 85974 39 0 0 25 0 1 0 777790192 40120320 7280 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9795 7280 1111 63 0 9732 0
vsize: 39180
[startup+870.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7436 0 0 0 86974 39 0 0 25 0 1 0 777790192 40419328 7360 4294967295 134512640 134714508 3221224592 3221222460 1077245976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9868 7360 1111 63 0 9805 0
vsize: 39472
[startup+880.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7512 0 0 0 87974 39 0 0 25 0 1 0 777790192 40726528 7436 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9943 7436 1111 63 0 9880 0
vsize: 39772
[startup+890.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7586 0 0 0 88974 39 0 0 25 0 1 0 777790192 41025536 7510 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10016 7510 1111 63 0 9953 0
vsize: 40064
[startup+900.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7659 0 0 0 89974 39 0 0 25 0 1 0 777790192 41324544 7583 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10089 7583 1111 63 0 10026 0
vsize: 40356
[startup+910.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7735 0 0 0 90974 39 0 0 25 0 1 0 777790192 41631744 7659 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10164 7659 1111 63 0 10101 0
vsize: 40656
[startup+920.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7816 0 0 0 91974 39 0 0 25 0 1 0 777790192 41930752 7740 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10237 7740 1111 63 0 10174 0
vsize: 40948
[startup+930.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7889 0 0 0 92974 39 0 0 25 0 1 0 777790192 42233856 7813 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10311 7813 1111 63 0 10248 0
vsize: 41244
[startup+940.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 7964 0 0 0 93974 40 0 0 25 0 1 0 777790192 42541056 7888 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10386 7888 1111 63 0 10323 0
vsize: 41544
[startup+950.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8044 0 0 0 94974 40 0 0 25 0 1 0 777790192 42840064 7968 4294967295 134512640 134714508 3221224592 3221222460 1077245976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10459 7968 1111 63 0 10396 0
vsize: 41836
[startup+960.062 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8118 0 0 0 95974 40 0 0 25 0 1 0 777790192 43139072 8042 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10532 8042 1111 63 0 10469 0
vsize: 42128
[startup+970.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8201 0 0 0 96974 40 0 0 25 0 1 0 777790192 43597824 8125 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10644 8125 1111 63 0 10581 0
vsize: 42576
[startup+980.066 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8282 0 0 0 97975 40 0 0 25 0 1 0 777790192 43896832 8206 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10717 8206 1111 63 0 10654 0
vsize: 42868
[startup+990.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8356 0 0 0 98975 41 0 0 25 0 1 0 777790192 44199936 8280 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10791 8280 1111 63 0 10728 0
vsize: 43164
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8438 0 0 0 99975 41 0 0 25 0 1 0 777790192 44503040 8362 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10865 8362 1111 63 0 10802 0
vsize: 43460
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8519 0 0 0 100975 41 0 0 25 0 1 0 777790192 44806144 8443 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10939 8443 1111 63 0 10876 0
vsize: 43756
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8594 0 0 0 101975 41 0 0 25 0 1 0 777790192 45105152 8518 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11012 8518 1111 63 0 10949 0
vsize: 44048
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8668 0 0 0 102975 41 0 0 25 0 1 0 777790192 45412352 8592 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11087 8592 1111 63 0 11024 0
vsize: 44348
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8740 0 0 0 103975 41 0 0 25 0 1 0 777790192 45711360 8664 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11160 8664 1111 63 0 11097 0
vsize: 44640
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8799 0 0 0 104975 42 0 0 25 0 1 0 777790192 46010368 8723 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11233 8723 1111 63 0 11170 0
vsize: 44932
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8873 0 0 0 105975 42 0 0 25 0 1 0 777790192 46317568 8797 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11308 8797 1111 63 0 11245 0
vsize: 45232
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 8947 0 0 0 106974 42 0 0 25 0 1 0 777790192 46616576 8871 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11381 8871 1111 63 0 11318 0
vsize: 45524
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9021 0 0 0 107974 42 0 0 25 0 1 0 777790192 46919680 8945 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11455 8945 1111 63 0 11392 0
vsize: 45820
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9102 0 0 0 108974 42 0 0 25 0 1 0 777790192 47222784 9026 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11529 9026 1111 63 0 11466 0
vsize: 46116
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9209 0 0 0 109974 42 0 0 25 0 1 0 777790192 47714304 9133 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11649 9133 1111 63 0 11586 0
vsize: 46596
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9275 0 0 0 110974 43 0 0 25 0 1 0 777790192 48013312 9199 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11722 9199 1111 63 0 11659 0
vsize: 46888
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9355 0 0 0 111974 43 0 0 25 0 1 0 777790192 48316416 9279 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11796 9279 1111 63 0 11733 0
vsize: 47184
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9429 0 0 0 112974 43 0 0 25 0 1 0 777790192 48615424 9353 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11869 9353 1111 63 0 11806 0
vsize: 47476
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9511 0 0 0 113974 43 0 0 25 0 1 0 777790192 49070080 9435 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11980 9435 1111 63 0 11917 0
vsize: 47920
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9584 0 0 0 114974 44 0 0 25 0 1 0 777790192 49369088 9508 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12053 9508 1111 63 0 11990 0
vsize: 48212
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9671 0 0 0 115974 44 0 0 25 0 1 0 777790192 49668096 9595 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12126 9595 1111 63 0 12063 0
vsize: 48504
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9747 0 0 0 116974 44 0 0 25 0 1 0 777790192 49971200 9671 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12200 9671 1111 63 0 12137 0
vsize: 48800
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9827 0 0 0 117973 44 0 0 25 0 1 0 777790192 50270208 9751 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12273 9751 1111 63 0 12210 0
vsize: 49092
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9907 0 0 0 118973 45 0 0 25 0 1 0 777790192 50569216 9831 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12346 9831 1111 63 0 12283 0
vsize: 49384
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) R 30083 20224 20223 0 -1 0 9984 0 0 0 119973 45 0 0 25 0 1 0 777790192 50876416 9908 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12421 9908 1111 63 0 12358 0
vsize: 49684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.95 1/54 30084
Raw data (stat): 30084 (bsolo_lpr_cuts) Z 30083 20224 20223 0 -1 1036 9984 0 0 0 119973 47 0 0 25 0 1 0 777790192 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.1
CPU time (s): 1200.21
CPU user time (s): 1199.74
CPU system time (s): 0.470928
CPU usage (%): 100.01
Max. virtual memory (Kb): 49684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####