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-ship12l.opb
MD5SUM	bdd9a8da4deb9b8348cff99945476562
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	162810
Biggest coefficient in the objective function	1511023181824000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	426775792258590390
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	426775792258590390
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.53377
Number of variables	162810
Total number of constraints	1042
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	1042
Minimum length of a constraint	30
Maximum length of a constraint	2250
Trace number 26824

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        450256 kB
Buffers:          7000 kB
Cached:         545320 kB
SwapCached:        520 kB
Active:          35644 kB
Inactive:       519056 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        449976 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            23960 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:17:49 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 11455 7 1200.43 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.92 0.95 0.98 2/54 12492
Raw data (stat): 12492 (runsolver) R 12491 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831848297 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.0005 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 1566 0 0 0 992 5 0 0 25 0 1 0 831848297 15364096 1490 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1490 1111 63 0 3688 0
vsize: 15004
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 1611 0 0 0 1992 5 0 0 25 0 1 0 831848297 15511552 1535 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1535 1111 63 0 3724 0
vsize: 15148
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 1662 0 0 0 2992 6 0 0 25 0 1 0 831848297 15663104 1586 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 1586 1111 63 0 3761 0
vsize: 15296
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 1714 0 0 0 3992 6 0 0 25 0 1 0 831848297 15945728 1638 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 1638 1111 63 0 3830 0
vsize: 15572
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 1758 0 0 0 4992 6 0 0 25 0 1 0 831848297 16089088 1682 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3928 1682 1111 63 0 3865 0
vsize: 15712
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 1816 0 0 0 5992 6 0 0 25 0 1 0 831848297 16388096 1740 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4001 1740 1111 63 0 3938 0
vsize: 16004
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 1860 0 0 0 6992 6 0 0 25 0 1 0 831848297 16535552 1784 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 1784 1111 63 0 3974 0
vsize: 16148
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 1919 0 0 0 7993 6 0 0 25 0 1 0 831848297 16838656 1843 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 1843 1111 63 0 4048 0
vsize: 16444
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 1978 0 0 0 8993 6 0 0 25 0 1 0 831848297 16990208 1902 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4148 1902 1111 63 0 4085 0
vsize: 16592
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2040 0 0 0 9992 6 0 0 25 0 1 0 831848297 17272832 1964 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4217 1964 1111 63 0 4154 0
vsize: 16868
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2105 0 0 0 10993 6 0 0 25 0 1 0 831848297 17567744 2029 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4289 2029 1111 63 0 4226 0
vsize: 17156
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2172 0 0 0 11993 7 0 0 25 0 1 0 831848297 17846272 2096 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4357 2096 1111 63 0 4294 0
vsize: 17428
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 12492
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2231 0 0 0 12993 7 0 0 25 0 1 0 831848297 17993728 2155 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4393 2155 1111 63 0 4330 0
vsize: 17572
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 12527
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2290 0 0 0 13992 7 0 0 25 0 1 0 831848297 18292736 2214 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 2214 1111 63 0 4403 0
vsize: 17864
[startup+150.01 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 12545
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2356 0 0 0 14993 7 0 0 25 0 1 0 831848297 18591744 2280 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4539 2280 1111 63 0 4476 0
vsize: 18156
[startup+160.011 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 12545
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2422 0 0 0 15993 8 0 0 25 0 1 0 831848297 18894848 2346 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 2346 1111 63 0 4550 0
vsize: 18452
[startup+170.011 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 12545
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2480 0 0 0 16992 8 0 0 25 0 1 0 831848297 19046400 2404 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4650 2404 1111 63 0 4587 0
vsize: 18600
[startup+180.01 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 12545
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2544 0 0 0 17992 8 0 0 25 0 1 0 831848297 19341312 2468 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 2468 1111 63 0 4659 0
vsize: 18888
[startup+190.011 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 12545
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2611 0 0 0 18992 8 0 0 25 0 1 0 831848297 19644416 2535 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4796 2535 1111 63 0 4733 0
vsize: 19184
[startup+200.011 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 12545
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2671 0 0 0 19992 9 0 0 25 0 1 0 831848297 19795968 2595 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4833 2595 1111 63 0 4770 0
vsize: 19332
[startup+210.012 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 12545
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2736 0 0 0 20992 9 0 0 25 0 1 0 831848297 20094976 2660 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4906 2660 1111 63 0 4843 0
vsize: 19624
[startup+220.018 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2795 0 0 0 21993 9 0 0 25 0 1 0 831848297 20393984 2719 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4979 2719 1111 63 0 4916 0
vsize: 19916
[startup+230.019 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2862 0 0 0 22993 9 0 0 25 0 1 0 831848297 20697088 2786 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5053 2786 1111 63 0 4990 0
vsize: 20212
[startup+240.019 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2927 0 0 0 23993 9 0 0 25 0 1 0 831848297 20844544 2851 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5089 2851 1111 63 0 5026 0
vsize: 20356
[startup+250.019 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 2986 0 0 0 24993 10 0 0 25 0 1 0 831848297 21143552 2910 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 2910 1111 63 0 5099 0
vsize: 20648
[startup+260.02 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3047 0 0 0 25993 10 0 0 25 0 1 0 831848297 21450752 2971 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 2971 1111 63 0 5174 0
vsize: 20948
[startup+270.021 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3112 0 0 0 26993 10 0 0 25 0 1 0 831848297 21602304 3036 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5274 3036 1111 63 0 5211 0
vsize: 21096
[startup+280.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3177 0 0 0 27993 10 0 0 25 0 1 0 831848297 21901312 3101 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5347 3101 1111 63 0 5284 0
vsize: 21388
[startup+290.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3236 0 0 0 28994 10 0 0 25 0 1 0 831848297 22200320 3160 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5420 3160 1111 63 0 5357 0
vsize: 21680
[startup+300.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3303 0 0 0 29994 10 0 0 25 0 1 0 831848297 22503424 3227 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5494 3227 1111 63 0 5431 0
vsize: 21976
[startup+310.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3368 0 0 0 30994 10 0 0 25 0 1 0 831848297 22650880 3292 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5530 3292 1111 63 0 5467 0
vsize: 22120
[startup+320.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3427 0 0 0 31994 11 0 0 25 0 1 0 831848297 22949888 3351 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 3351 1111 63 0 5540 0
vsize: 22412
[startup+330.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3496 0 0 0 32994 11 0 0 25 0 1 0 831848297 23265280 3420 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5680 3420 1111 63 0 5617 0
vsize: 22720
[startup+340.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3559 0 0 0 33994 11 0 0 25 0 1 0 831848297 23543808 3483 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5748 3483 1111 63 0 5685 0
vsize: 22992
[startup+350.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3625 0 0 0 34994 11 0 0 25 0 1 0 831848297 23842816 3549 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5821 3549 1111 63 0 5758 0
vsize: 23284
[startup+360.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3684 0 0 0 35994 11 0 0 25 0 1 0 831848297 23994368 3608 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5858 3608 1111 63 0 5795 0
vsize: 23432
[startup+370.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3750 0 0 0 36994 11 0 0 25 0 1 0 831848297 24297472 3674 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5932 3674 1111 63 0 5869 0
vsize: 23728
[startup+380.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3815 0 0 0 37994 12 0 0 25 0 1 0 831848297 24596480 3739 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6005 3739 1111 63 0 5942 0
vsize: 24020
[startup+390.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3874 0 0 0 38994 12 0 0 25 0 1 0 831848297 24743936 3798 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 3798 1111 63 0 5978 0
vsize: 24164
[startup+400.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 3936 0 0 0 39994 12 0 0 25 0 1 0 831848297 25051136 3860 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6116 3860 1111 63 0 6053 0
vsize: 24464
[startup+410.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4002 0 0 0 40994 12 0 0 25 0 1 0 831848297 25350144 3926 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6189 3926 1111 63 0 6126 0
vsize: 24756
[startup+420.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4068 0 0 0 41994 12 0 0 25 0 1 0 831848297 25649152 3992 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6262 3992 1111 63 0 6199 0
vsize: 25048
[startup+430.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4126 0 0 0 42994 12 0 0 25 0 1 0 831848297 25800704 4050 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6299 4050 1111 63 0 6236 0
vsize: 25196
[startup+440.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4193 0 0 0 43994 12 0 0 25 0 1 0 831848297 26103808 4117 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 4117 1111 63 0 6310 0
vsize: 25492
[startup+450.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4258 0 0 0 44994 13 0 0 25 0 1 0 831848297 26402816 4182 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6446 4182 1111 63 0 6383 0
vsize: 25784
[startup+460.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4317 0 0 0 45995 13 0 0 25 0 1 0 831848297 26550272 4241 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6482 4241 1111 63 0 6419 0
vsize: 25928
[startup+470.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12547
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4378 0 0 0 46995 13 0 0 25 0 1 0 831848297 26849280 4302 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6555 4302 1111 63 0 6492 0
vsize: 26220
[startup+480.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4444 0 0 0 47995 13 0 0 25 0 1 0 831848297 27127808 4368 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6623 4368 1111 63 0 6560 0
vsize: 26492
[startup+490.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4510 0 0 0 48995 13 0 0 25 0 1 0 831848297 27426816 4434 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6696 4434 1111 63 0 6633 0
vsize: 26784
[startup+500.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4570 0 0 0 49995 13 0 0 25 0 1 0 831848297 27574272 4494 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6732 4494 1111 63 0 6669 0
vsize: 26928
[startup+510.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4636 0 0 0 50996 13 0 0 25 0 1 0 831848297 27881472 4560 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6807 4560 1111 63 0 6744 0
vsize: 27228
[startup+520.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4702 0 0 0 51995 14 0 0 25 0 1 0 831848297 28176384 4626 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6879 4626 1111 63 0 6816 0
vsize: 27516
[startup+530.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4761 0 0 0 52995 14 0 0 25 0 1 0 831848297 28475392 4685 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 4685 1111 63 0 6889 0
vsize: 27808
[startup+540.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4827 0 0 0 53996 14 0 0 25 0 1 0 831848297 28626944 4751 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6989 4751 1111 63 0 6926 0
vsize: 27956
[startup+550.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4893 0 0 0 54996 14 0 0 25 0 1 0 831848297 28934144 4817 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7064 4817 1111 63 0 7001 0
vsize: 28256
[startup+560.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 4953 0 0 0 55995 14 0 0 25 0 1 0 831848297 29233152 4877 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7137 4877 1111 63 0 7074 0
vsize: 28548
[startup+570.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5018 0 0 0 56995 15 0 0 25 0 1 0 831848297 29532160 4942 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 4942 1111 63 0 7147 0
vsize: 28840
[startup+580.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5085 0 0 0 57995 15 0 0 25 0 1 0 831848297 29683712 5009 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7247 5009 1111 63 0 7184 0
vsize: 28988
[startup+590.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5145 0 0 0 58996 15 0 0 25 0 1 0 831848297 29982720 5069 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7320 5069 1111 63 0 7257 0
vsize: 29280
[startup+600.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5216 0 0 0 59996 15 0 0 25 0 1 0 831848297 30281728 5140 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7393 5140 1111 63 0 7330 0
vsize: 29572
[startup+610.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5277 0 0 0 60996 15 0 0 25 0 1 0 831848297 30588928 5201 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7468 5201 1111 63 0 7405 0
vsize: 29872
[startup+620.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5342 0 0 0 61996 15 0 0 25 0 1 0 831848297 30740480 5266 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7505 5266 1111 63 0 7442 0
vsize: 30020
[startup+630.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5408 0 0 0 62996 16 0 0 25 0 1 0 831848297 31039488 5332 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7578 5332 1111 63 0 7515 0
vsize: 30312
[startup+640.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5480 0 0 0 63997 16 0 0 25 0 1 0 831848297 31375360 5404 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7660 5404 1111 63 0 7597 0
vsize: 30640
[startup+650.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5552 0 0 0 64997 16 0 0 25 0 1 0 831848297 31678464 5476 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7734 5476 1111 63 0 7671 0
vsize: 30936
[startup+660.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5611 0 0 0 65997 16 0 0 25 0 1 0 831848297 31977472 5535 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7807 5535 1111 63 0 7744 0
vsize: 31228
[startup+670.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5676 0 0 0 66997 16 0 0 25 0 1 0 831848297 32276480 5600 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7880 5600 1111 63 0 7817 0
vsize: 31520
[startup+680.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5743 0 0 0 67997 16 0 0 25 0 1 0 831848297 32432128 5667 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7918 5667 1111 63 0 7855 0
vsize: 31672
[startup+690.056 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5803 0 0 0 68997 16 0 0 25 0 1 0 831848297 32731136 5727 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7991 5727 1111 63 0 7928 0
vsize: 31964
[startup+700.063 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5868 0 0 0 69998 16 0 0 25 0 1 0 831848297 33030144 5792 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8064 5792 1111 63 0 8001 0
vsize: 32256
[startup+710.063 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 5936 0 0 0 70999 16 0 0 25 0 1 0 831848297 33333248 5860 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 5860 1111 63 0 8075 0
vsize: 32552
[startup+720.069 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6002 0 0 0 71999 16 0 0 25 0 1 0 831848297 33484800 5926 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8175 5926 1111 63 0 8112 0
vsize: 32700
[startup+730.069 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6068 0 0 0 72999 17 0 0 25 0 1 0 831848297 33783808 5992 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8248 5992 1111 63 0 8185 0
vsize: 32992
[startup+740.079 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6127 0 0 0 74000 17 0 0 25 0 1 0 831848297 34082816 6051 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8321 6051 1111 63 0 8258 0
vsize: 33284
[startup+750.079 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6194 0 0 0 75000 17 0 0 25 0 1 0 831848297 34390016 6118 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8396 6118 1111 63 0 8333 0
vsize: 33584
[startup+760.079 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6260 0 0 0 75999 18 0 0 25 0 1 0 831848297 34537472 6184 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8432 6184 1111 63 0 8369 0
vsize: 33728
[startup+770.078 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6319 0 0 0 76999 18 0 0 25 0 1 0 831848297 34836480 6243 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8505 6243 1111 63 0 8442 0
vsize: 34020
[startup+780.078 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6393 0 0 0 77999 18 0 0 25 0 1 0 831848297 35139584 6317 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8579 6317 1111 63 0 8516 0
vsize: 34316
[startup+790.078 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6453 0 0 0 78999 18 0 0 25 0 1 0 831848297 35438592 6377 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8652 6377 1111 63 0 8589 0
vsize: 34608
[startup+800.078 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6519 0 0 0 79999 18 0 0 25 0 1 0 831848297 35590144 6443 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8689 6443 1111 63 0 8626 0
vsize: 34756
[startup+810.078 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6584 0 0 0 80999 19 0 0 25 0 1 0 831848297 35889152 6508 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8762 6508 1111 63 0 8699 0
vsize: 35048
[startup+820.083 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6651 0 0 0 82000 19 0 0 25 0 1 0 831848297 36192256 6575 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8836 6575 1111 63 0 8773 0
vsize: 35344
[startup+830.082 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6717 0 0 0 83000 19 0 0 25 0 1 0 831848297 36491264 6641 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8909 6641 1111 63 0 8846 0
vsize: 35636
[startup+840.083 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6776 0 0 0 84000 19 0 0 25 0 1 0 831848297 36642816 6700 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8946 6700 1111 63 0 8883 0
vsize: 35784
[startup+850.087 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6849 0 0 0 85000 19 0 0 25 0 1 0 831848297 36945920 6773 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9020 6773 1111 63 0 8957 0
vsize: 36080
[startup+860.108 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6910 0 0 0 86002 19 0 0 25 0 1 0 831848297 37244928 6834 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9093 6834 1111 63 0 9030 0
vsize: 36372
[startup+870.107 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 6976 0 0 0 87002 20 0 0 25 0 1 0 831848297 37543936 6900 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9166 6900 1111 63 0 9103 0
vsize: 36664
[startup+880.107 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7043 0 0 0 88002 20 0 0 25 0 1 0 831848297 37847040 6967 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9240 6967 1111 63 0 9177 0
vsize: 36960
[startup+890.108 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7109 0 0 0 89002 20 0 0 25 0 1 0 831848297 37998592 7033 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9277 7033 1111 63 0 9214 0
vsize: 37108
[startup+900.108 s]
Raw data (loadavg): 1.00 0.99 0.99 3/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7175 0 0 0 90002 20 0 0 25 0 1 0 831848297 38297600 7099 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9350 7099 1111 63 0 9287 0
vsize: 37400
[startup+910.108 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7234 0 0 0 91002 20 0 0 25 0 1 0 831848297 38596608 7158 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9423 7158 1111 63 0 9360 0
vsize: 37692
[startup+920.216 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7307 0 0 0 92013 21 0 0 25 0 1 0 831848297 38903808 7231 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 7231 1111 63 0 9435 0
vsize: 37992
[startup+930.215 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7367 0 0 0 93013 21 0 0 25 0 1 0 831848297 39051264 7291 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9534 7291 1111 63 0 9471 0
vsize: 38136
[startup+940.215 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7440 0 0 0 94013 21 0 0 25 0 1 0 831848297 39350272 7364 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9607 7364 1111 63 0 9544 0
vsize: 38428
[startup+950.216 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7501 0 0 0 95013 21 0 0 25 0 1 0 831848297 39653376 7425 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9681 7425 1111 63 0 9618 0
vsize: 38724
[startup+960.216 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7567 0 0 0 96013 21 0 0 25 0 1 0 831848297 39952384 7491 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9754 7491 1111 63 0 9691 0
vsize: 39016
[startup+970.215 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7632 0 0 0 97013 21 0 0 25 0 1 0 831848297 40251392 7556 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9827 7556 1111 63 0 9764 0
vsize: 39308
[startup+980.216 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7691 0 0 0 98013 21 0 0 25 0 1 0 831848297 40402944 7615 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9864 7615 1111 63 0 9801 0
vsize: 39456
[startup+990.216 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7765 0 0 0 99013 22 0 0 25 0 1 0 831848297 40710144 7689 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9939 7689 1111 63 0 9876 0
vsize: 39756
[startup+1000.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7824 0 0 0 100013 22 0 0 25 0 1 0 831848297 41009152 7748 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10012 7748 1111 63 0 9949 0
vsize: 40048
[startup+1010.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7890 0 0 0 101013 22 0 0 25 0 1 0 831848297 41308160 7814 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10085 7814 1111 63 0 10022 0
vsize: 40340
[startup+1020.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 7958 0 0 0 102013 22 0 0 25 0 1 0 831848297 41459712 7882 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10122 7882 1111 63 0 10059 0
vsize: 40488
[startup+1030.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8017 0 0 0 103014 22 0 0 25 0 1 0 831848297 41758720 7941 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10195 7941 1111 63 0 10132 0
vsize: 40780
[startup+1040.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8089 0 0 0 104014 22 0 0 25 0 1 0 831848297 42057728 8013 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10268 8013 1111 63 0 10205 0
vsize: 41072
[startup+1050.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8150 0 0 0 105013 23 0 0 25 0 1 0 831848297 42356736 8074 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10341 8074 1111 63 0 10278 0
vsize: 41364
[startup+1060.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8215 0 0 0 106015 23 0 0 25 0 1 0 831848297 42635264 8139 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10409 8139 1111 63 0 10346 0
vsize: 41636
[startup+1070.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8281 0 0 0 107015 23 0 0 25 0 1 0 831848297 42782720 8205 4294967295 134512640 134714508 3221224576 3221222804 1077414397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10445 8205 1111 63 0 10382 0
vsize: 41780
[startup+1080.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8340 0 0 0 108015 23 0 0 25 0 1 0 831848297 43081728 8264 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10518 8264 1111 63 0 10455 0
vsize: 42072
[startup+1090.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8415 0 0 0 109015 23 0 0 25 0 1 0 831848297 43384832 8339 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10592 8339 1111 63 0 10529 0
vsize: 42368
[startup+1100.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8475 0 0 0 110014 24 0 0 25 0 1 0 831848297 43683840 8399 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10665 8399 1111 63 0 10602 0
vsize: 42660
[startup+1110.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8547 0 0 0 111015 24 0 0 25 0 1 0 831848297 43982848 8471 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10738 8471 1111 63 0 10675 0
vsize: 42952
[startup+1120.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8608 0 0 0 112015 24 0 0 25 0 1 0 831848297 44134400 8532 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10775 8532 1111 63 0 10712 0
vsize: 43100
[startup+1130.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8680 0 0 0 113015 24 0 0 25 0 1 0 831848297 44441600 8604 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10850 8604 1111 63 0 10787 0
vsize: 43400
[startup+1140.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8746 0 0 0 114015 24 0 0 25 0 1 0 831848297 44740608 8670 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10923 8670 1111 63 0 10860 0
vsize: 43692
[startup+1150.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8813 0 0 0 115015 24 0 0 25 0 1 0 831848297 45039616 8737 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10996 8737 1111 63 0 10933 0
vsize: 43984
[startup+1160.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8878 0 0 0 116015 24 0 0 25 0 1 0 831848297 45342720 8802 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11070 8802 1111 63 0 11007 0
vsize: 44280
[startup+1170.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 8945 0 0 0 117015 24 0 0 25 0 1 0 831848297 45490176 8869 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11106 8869 1111 63 0 11043 0
vsize: 44424
[startup+1180.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 9010 0 0 0 118015 24 0 0 25 0 1 0 831848297 45789184 8934 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11179 8934 1111 63 0 11116 0
vsize: 44716
[startup+1190.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 9077 0 0 0 119016 24 0 0 25 0 1 0 831848297 46096384 9001 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11254 9001 1111 63 0 11191 0
vsize: 45016
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) R 12491 10795 10794 0 -1 0 9143 0 0 0 120016 24 0 0 25 0 1 0 831848297 46395392 9067 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11327 9067 1111 63 0 11264 0
vsize: 45308
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 12549
Raw data (stat): 12492 (bsolo_lpr_cuts) Z 12491 10795 10794 0 -1 1036 9143 0 0 0 120016 26 0 0 25 0 1 0 831848297 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.25
CPU time (s): 1200.43
CPU user time (s): 1200.16
CPU system time (s): 0.265959
CPU usage (%): 100.015
Max. virtual memory (Kb): 45308
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####