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-ship12s.opb
MD5SUM	8b36f38cb0ceb42bd2113a818ef52485
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	82890
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	204819735955723812
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	204819735955723812
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.776881
Number of variables	82890
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	1470
Trace number 26823

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        443532 kB
Buffers:          3772 kB
Cached:         555176 kB
SwapCached:        556 kB
Active:          28900 kB
Inactive:       532212 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        443280 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5228 kB
Slab:            24244 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:16:52 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 11468 7 1200.25 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.65 0.89 1.03 1/54 24687
Raw data (stat): 24687 (runsolver) D 24686 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 831845023 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 3225161850 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.70 0.90 1.03 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1097 0 0 0 986 3 0 0 25 0 1 0 831845023 15511552 1021 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1021 1111 63 0 3724 0
vsize: 15148
[startup+20 s]
Raw data (loadavg): 0.75 0.90 1.03 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1199 0 0 0 1986 3 0 0 25 0 1 0 831845023 15945728 1123 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 1123 1111 63 0 3830 0
vsize: 15572
[startup+30.0001 s]
Raw data (loadavg): 0.78 0.90 1.03 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1288 0 0 0 2986 3 0 0 25 0 1 0 831845023 16236544 1212 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1212 1111 63 0 3901 0
vsize: 15856
[startup+40.001 s]
Raw data (loadavg): 0.82 0.90 1.03 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1392 0 0 0 3986 4 0 0 25 0 1 0 831845023 16687104 1316 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 1316 1111 63 0 4011 0
vsize: 16296
[startup+50.0017 s]
Raw data (loadavg): 0.84 0.91 1.03 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1519 0 0 0 4986 4 0 0 25 0 1 0 831845023 17272832 1443 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1443 1111 63 0 4154 0
vsize: 16868
[startup+60.0016 s]
Raw data (loadavg): 0.87 0.91 1.03 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1644 0 0 0 5986 4 0 0 25 0 1 0 831845023 17702912 1568 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4322 1568 1111 63 0 4259 0
vsize: 17288
[startup+70.0013 s]
Raw data (loadavg): 0.89 0.91 1.02 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1761 0 0 0 6986 5 0 0 25 0 1 0 831845023 18292736 1685 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4466 1685 1111 63 0 4403 0
vsize: 17864
[startup+80.0021 s]
Raw data (loadavg): 0.90 0.91 1.02 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1893 0 0 0 7986 5 0 0 25 0 1 0 831845023 18747392 1817 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4577 1817 1111 63 0 4514 0
vsize: 18308
[startup+90.0019 s]
Raw data (loadavg): 0.92 0.92 1.02 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2016 0 0 0 8986 5 0 0 25 0 1 0 831845023 19341312 1940 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4722 1940 1111 63 0 4659 0
vsize: 18888
[startup+100.003 s]
Raw data (loadavg): 0.93 0.92 1.02 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2142 0 0 0 9985 5 0 0 25 0 1 0 831845023 19795968 2066 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4833 2066 1111 63 0 4770 0
vsize: 19332
[startup+110.004 s]
Raw data (loadavg): 0.94 0.92 1.02 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2267 0 0 0 10985 6 0 0 25 0 1 0 831845023 20242432 2191 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4942 2191 1111 63 0 4879 0
vsize: 19768
[startup+120.003 s]
Raw data (loadavg): 0.95 0.92 1.02 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2392 0 0 0 11985 6 0 0 25 0 1 0 831845023 20844544 2316 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 2316 1111 63 0 5026 0
vsize: 20356
[startup+130.003 s]
Raw data (loadavg): 0.96 0.92 1.02 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2517 0 0 0 12985 6 0 0 25 0 1 0 831845023 21295104 2441 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5199 2441 1111 63 0 5136 0
vsize: 20796
[startup+140.003 s]
Raw data (loadavg): 0.96 0.93 1.02 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2641 0 0 0 13985 6 0 0 25 0 1 0 831845023 21901312 2565 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5347 2565 1111 63 0 5284 0
vsize: 21388
[startup+150.004 s]
Raw data (loadavg): 0.97 0.93 1.02 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2767 0 0 0 14985 7 0 0 25 0 1 0 831845023 22351872 2691 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 2691 1111 63 0 5394 0
vsize: 21828
[startup+160.005 s]
Raw data (loadavg): 0.97 0.93 1.02 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2898 0 0 0 15985 7 0 0 25 0 1 0 831845023 22949888 2822 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 2822 1111 63 0 5540 0
vsize: 22412
[startup+170.004 s]
Raw data (loadavg): 0.98 0.93 1.01 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3030 0 0 0 16985 7 0 0 25 0 1 0 831845023 23400448 2954 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 2954 1111 63 0 5650 0
vsize: 22852
[startup+180.005 s]
Raw data (loadavg): 0.98 0.93 1.01 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3155 0 0 0 17985 7 0 0 25 0 1 0 831845023 23994368 3079 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5858 3079 1111 63 0 5795 0
vsize: 23432
[startup+190.006 s]
Raw data (loadavg): 0.98 0.94 1.01 2/54 24687
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3287 0 0 0 18985 8 0 0 25 0 1 0 831845023 24444928 3211 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5968 3211 1111 63 0 5905 0
vsize: 23872
[startup+200.007 s]
Raw data (loadavg): 0.98 0.94 1.01 3/59 24739
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3414 0 0 0 19985 8 0 0 25 0 1 0 831845023 25051136 3338 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 3338 1111 63 0 6053 0
vsize: 24464
[startup+210.008 s]
Raw data (loadavg): 1.06 0.96 1.02 2/54 24740
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3539 0 0 0 20985 8 0 0 25 0 1 0 831845023 25501696 3463 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 3463 1111 63 0 6163 0
vsize: 24904
[startup+220.008 s]
Raw data (loadavg): 1.05 0.96 1.02 2/54 24740
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3672 0 0 0 21984 9 0 0 25 0 1 0 831845023 26103808 3596 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 3596 1111 63 0 6310 0
vsize: 25492
[startup+230.008 s]
Raw data (loadavg): 1.04 0.96 1.01 2/54 24740
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3796 0 0 0 22984 9 0 0 25 0 1 0 831845023 26550272 3720 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 3720 1111 63 0 6419 0
vsize: 25928
[startup+240.008 s]
Raw data (loadavg): 1.04 0.96 1.01 2/54 24740
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3923 0 0 0 23984 9 0 0 25 0 1 0 831845023 27127808 3847 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 3847 1111 63 0 6560 0
vsize: 26492
[startup+250.008 s]
Raw data (loadavg): 1.03 0.96 1.01 2/54 24740
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4055 0 0 0 24984 9 0 0 25 0 1 0 831845023 27574272 3979 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6732 3979 1111 63 0 6669 0
vsize: 26928
[startup+260.008 s]
Raw data (loadavg): 1.02 0.96 1.01 2/54 24740
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4188 0 0 0 25984 10 0 0 25 0 1 0 831845023 28176384 4112 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6879 4112 1111 63 0 6816 0
vsize: 27516
[startup+270.009 s]
Raw data (loadavg): 1.02 0.96 1.01 2/54 24740
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4314 0 0 0 26984 10 0 0 25 0 1 0 831845023 28626944 4238 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6989 4238 1111 63 0 6926 0
vsize: 27956
[startup+280.009 s]
Raw data (loadavg): 1.02 0.96 1.01 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4446 0 0 0 27984 10 0 0 25 0 1 0 831845023 29233152 4370 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7137 4370 1111 63 0 7074 0
vsize: 28548
[startup+290.009 s]
Raw data (loadavg): 1.01 0.96 1.01 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4572 0 0 0 28984 11 0 0 25 0 1 0 831845023 29683712 4496 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7247 4496 1111 63 0 7184 0
vsize: 28988
[startup+300.01 s]
Raw data (loadavg): 1.01 0.97 1.01 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4703 0 0 0 29984 11 0 0 25 0 1 0 831845023 30281728 4627 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 4627 1111 63 0 7330 0
vsize: 29572
[startup+310.009 s]
Raw data (loadavg): 1.01 0.97 1.01 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4835 0 0 0 30984 11 0 0 25 0 1 0 831845023 30887936 4759 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7541 4759 1111 63 0 7478 0
vsize: 30164
[startup+320.009 s]
Raw data (loadavg): 1.01 0.97 1.01 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4980 0 0 0 31984 11 0 0 25 0 1 0 831845023 31526912 4904 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 4904 1111 63 0 7634 0
vsize: 30788
[startup+330.009 s]
Raw data (loadavg): 1.01 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5111 0 0 0 32983 12 0 0 25 0 1 0 831845023 31977472 5035 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7807 5035 1111 63 0 7744 0
vsize: 31228
[startup+340.009 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5244 0 0 0 33983 12 0 0 25 0 1 0 831845023 32583680 5168 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7955 5168 1111 63 0 7892 0
vsize: 31820
[startup+350.01 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5376 0 0 0 34983 12 0 0 25 0 1 0 831845023 33030144 5300 4294967295 134512640 134714508 3221224576 3221222908 1077399564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 5300 1111 63 0 8001 0
vsize: 32256
[startup+360.01 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5510 0 0 0 35983 12 0 0 25 0 1 0 831845023 33632256 5434 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8211 5434 1111 63 0 8148 0
vsize: 32844
[startup+370.01 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5643 0 0 0 36983 12 0 0 25 0 1 0 831845023 34238464 5567 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 5567 1111 63 0 8296 0
vsize: 33436
[startup+380.01 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5774 0 0 0 37983 13 0 0 25 0 1 0 831845023 34689024 5698 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8469 5698 1111 63 0 8406 0
vsize: 33876
[startup+390.01 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5909 0 0 0 38983 13 0 0 25 0 1 0 831845023 35291136 5833 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8616 5833 1111 63 0 8553 0
vsize: 34464
[startup+400.011 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6041 0 0 0 39983 13 0 0 25 0 1 0 831845023 35737600 5965 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 5965 1111 63 0 8662 0
vsize: 34900
[startup+410.01 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6175 0 0 0 40983 13 0 0 25 0 1 0 831845023 36343808 6099 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8873 6099 1111 63 0 8810 0
vsize: 35492
[startup+420.01 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6314 0 0 0 41983 14 0 0 25 0 1 0 831845023 36945920 6238 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9020 6238 1111 63 0 8957 0
vsize: 36080
[startup+430.011 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6454 0 0 0 42983 14 0 0 25 0 1 0 831845023 37543936 6378 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 6378 1111 63 0 9103 0
vsize: 36664
[startup+440.011 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6588 0 0 0 43983 14 0 0 25 0 1 0 831845023 37998592 6512 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9277 6512 1111 63 0 9214 0
vsize: 37108
[startup+450.012 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6720 0 0 0 44983 15 0 0 25 0 1 0 831845023 38596608 6644 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9423 6644 1111 63 0 9360 0
vsize: 37692
[startup+460.021 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6859 0 0 0 45983 15 0 0 25 0 1 0 831845023 39202816 6783 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9571 6783 1111 63 0 9508 0
vsize: 38284
[startup+470.02 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7001 0 0 0 46983 16 0 0 25 0 1 0 831845023 39653376 6925 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9681 6925 1111 63 0 9618 0
vsize: 38724
[startup+480.02 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7133 0 0 0 47983 16 0 0 25 0 1 0 831845023 40251392 7057 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 7057 1111 63 0 9764 0
vsize: 39308
[startup+490.02 s]
Raw data (loadavg): 1.07 0.99 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7273 0 0 0 48982 16 0 0 25 0 1 0 831845023 40857600 7197 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9975 7197 1111 63 0 9912 0
vsize: 39900
[startup+500.021 s]
Raw data (loadavg): 1.06 0.99 1.00 2/54 24742
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7415 0 0 0 49983 17 0 0 25 0 1 0 831845023 41459712 7339 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10122 7339 1111 63 0 10059 0
vsize: 40488
[startup+510.021 s]
Raw data (loadavg): 1.05 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7547 0 0 0 50982 17 0 0 25 0 1 0 831845023 41910272 7471 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 7471 1111 63 0 10169 0
vsize: 40928
[startup+520.02 s]
Raw data (loadavg): 1.04 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7687 0 0 0 51982 17 0 0 25 0 1 0 831845023 42491904 7611 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10374 7611 1111 63 0 10311 0
vsize: 41496
[startup+530.021 s]
Raw data (loadavg): 1.03 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7825 0 0 0 52982 18 0 0 25 0 1 0 831845023 43081728 7749 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10518 7749 1111 63 0 10455 0
vsize: 42072
[startup+540.021 s]
Raw data (loadavg): 1.03 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7961 0 0 0 53982 18 0 0 25 0 1 0 831845023 43683840 7885 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10665 7885 1111 63 0 10602 0
vsize: 42660
[startup+550.022 s]
Raw data (loadavg): 1.02 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8108 0 0 0 54982 18 0 0 25 0 1 0 831845023 44290048 8032 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10813 8032 1111 63 0 10750 0
vsize: 43252
[startup+560.022 s]
Raw data (loadavg): 1.02 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8246 0 0 0 55982 18 0 0 25 0 1 0 831845023 44740608 8170 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10923 8170 1111 63 0 10860 0
vsize: 43692
[startup+570.034 s]
Raw data (loadavg): 1.02 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8387 0 0 0 56983 19 0 0 25 0 1 0 831845023 45342720 8311 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11070 8311 1111 63 0 11007 0
vsize: 44280
[startup+580.035 s]
Raw data (loadavg): 1.01 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8534 0 0 0 57983 19 0 0 25 0 1 0 831845023 45940736 8458 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11216 8458 1111 63 0 11153 0
vsize: 44864
[startup+590.035 s]
Raw data (loadavg): 1.01 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8666 0 0 0 58983 19 0 0 25 0 1 0 831845023 46546944 8590 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11364 8590 1111 63 0 11301 0
vsize: 45456
[startup+600.036 s]
Raw data (loadavg): 1.01 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8813 0 0 0 59983 19 0 0 25 0 1 0 831845023 47149056 8737 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11511 8737 1111 63 0 11448 0
vsize: 46044
[startup+610.035 s]
Raw data (loadavg): 1.01 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8977 0 0 0 60983 20 0 0 25 0 1 0 831845023 47849472 8901 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11682 8901 1111 63 0 11619 0
vsize: 46728
[startup+620.044 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9111 0 0 0 61983 20 0 0 25 0 1 0 831845023 48451584 9035 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11829 9035 1111 63 0 11766 0
vsize: 47316
[startup+630.053 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9259 0 0 0 62984 20 0 0 25 0 1 0 831845023 49029120 9183 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11970 9183 1111 63 0 11907 0
vsize: 47880
[startup+640.053 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9406 0 0 0 63984 21 0 0 25 0 1 0 831845023 49627136 9330 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12116 9330 1111 63 0 12053 0
vsize: 48464
[startup+650.054 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9553 0 0 0 64984 21 0 0 25 0 1 0 831845023 50229248 9477 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12263 9477 1111 63 0 12200 0
vsize: 49052
[startup+660.054 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9700 0 0 0 65984 21 0 0 25 0 1 0 831845023 50810880 9624 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12405 9624 1111 63 0 12342 0
vsize: 49620
[startup+670.055 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9841 0 0 0 66984 21 0 0 25 0 1 0 831845023 51400704 9765 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 9765 1111 63 0 12486 0
vsize: 50196
[startup+680.06 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9989 0 0 0 67985 21 0 0 25 0 1 0 831845023 52006912 9913 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12697 9913 1111 63 0 12634 0
vsize: 50788
[startup+690.068 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 10136 0 0 0 68985 22 0 0 25 0 1 0 831845023 52609024 10060 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12844 10060 1111 63 0 12781 0
vsize: 51376
[startup+700.069 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 10282 0 0 0 69985 22 0 0 25 0 1 0 831845023 53207040 10206 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10206 1111 63 0 12927 0
vsize: 51960
[startup+710.069 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 10432 0 0 0 70985 22 0 0 25 0 1 0 831845023 53809152 10356 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13137 10356 1111 63 0 13074 0
vsize: 52548
[startup+720.068 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 10580 0 0 0 71985 23 0 0 25 0 1 0 831845023 54415360 10504 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13285 10504 1111 63 0 13222 0
vsize: 53140
[startup+730.069 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 10726 0 0 0 72985 23 0 0 25 0 1 0 831845023 55013376 10650 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13431 10650 1111 63 0 13368 0
vsize: 53724
[startup+740.069 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 10875 0 0 0 73984 23 0 0 25 0 1 0 831845023 55615488 10799 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13578 10799 1111 63 0 13515 0
vsize: 54312
[startup+750.07 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11023 0 0 0 74985 23 0 0 25 0 1 0 831845023 56221696 10947 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13726 10947 1111 63 0 13663 0
vsize: 54904
[startup+760.071 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11169 0 0 0 75985 24 0 0 25 0 1 0 831845023 56819712 11093 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13872 11093 1111 63 0 13809 0
vsize: 55488
[startup+770.07 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11323 0 0 0 76985 24 0 0 25 0 1 0 831845023 57421824 11247 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14019 11247 1111 63 0 13956 0
vsize: 56076
[startup+780.07 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11473 0 0 0 77985 24 0 0 25 0 1 0 831845023 58028032 11397 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14167 11397 1111 63 0 14104 0
vsize: 56668
[startup+790.07 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11620 0 0 0 78984 24 0 0 25 0 1 0 831845023 58626048 11544 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14313 11544 1111 63 0 14250 0
vsize: 57252
[startup+800.075 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11780 0 0 0 79985 25 0 0 25 0 1 0 831845023 59379712 11704 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14497 11704 1111 63 0 14434 0
vsize: 57988
[startup+810.075 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11931 0 0 0 80984 25 0 0 25 0 1 0 831845023 59985920 11855 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14645 11855 1111 63 0 14582 0
vsize: 58580
[startup+820.074 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 12084 0 0 0 81984 26 0 0 25 0 1 0 831845023 60583936 12008 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14791 12008 1111 63 0 14728 0
vsize: 59164
[startup+830.075 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 12238 0 0 0 82984 26 0 0 25 0 1 0 831845023 61186048 12162 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14938 12162 1111 63 0 14875 0
vsize: 59752
[startup+840.075 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 12389 0 0 0 83984 26 0 0 25 0 1 0 831845023 61792256 12313 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15086 12313 1111 63 0 15023 0
vsize: 60344
[startup+850.076 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 12550 0 0 0 84984 26 0 0 25 0 1 0 831845023 62541824 12474 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15269 12474 1111 63 0 15206 0
vsize: 61076
[startup+860.076 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 12703 0 0 0 85984 26 0 0 25 0 1 0 831845023 63139840 12627 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15415 12627 1111 63 0 15352 0
vsize: 61660
[startup+870.077 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 12860 0 0 0 86984 26 0 0 25 0 1 0 831845023 63746048 12784 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15563 12784 1111 63 0 15500 0
vsize: 62252
[startup+880.082 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13021 0 0 0 87985 27 0 0 25 0 1 0 831845023 64348160 12945 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15710 12945 1111 63 0 15647 0
vsize: 62840
[startup+890.087 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13175 0 0 0 88985 27 0 0 25 0 1 0 831845023 65097728 13099 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15893 13099 1111 63 0 15830 0
vsize: 63572
[startup+900.093 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13332 0 0 0 89986 27 0 0 25 0 1 0 831845023 65699840 13256 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16040 13256 1111 63 0 15977 0
vsize: 64160
[startup+910.093 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13494 0 0 0 90985 28 0 0 25 0 1 0 831845023 66306048 13418 4294967295 134512640 134714508 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16188 13418 1111 63 0 16125 0
vsize: 64752
[startup+920.093 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13649 0 0 0 91985 28 0 0 25 0 1 0 831845023 66904064 13573 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16334 13573 1111 63 0 16271 0
vsize: 65336
[startup+930.094 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13810 0 0 0 92985 28 0 0 25 0 1 0 831845023 67653632 13734 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16517 13734 1111 63 0 16454 0
vsize: 66068
[startup+940.094 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13973 0 0 0 93985 29 0 0 25 0 1 0 831845023 68259840 13897 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16665 13897 1111 63 0 16602 0
vsize: 66660
[startup+950.095 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 14129 0 0 0 94985 29 0 0 25 0 1 0 831845023 68861952 14053 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16812 14053 1111 63 0 16749 0
vsize: 67248
[startup+960.095 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 14289 0 0 0 95985 30 0 0 25 0 1 0 831845023 69611520 14213 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16995 14213 1111 63 0 16932 0
vsize: 67980
[startup+970.094 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 14453 0 0 0 96985 30 0 0 25 0 1 0 831845023 70217728 14377 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17143 14377 1111 63 0 17080 0
vsize: 68572
[startup+980.095 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 14615 0 0 0 97984 30 0 0 25 0 1 0 831845023 70967296 14539 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17326 14539 1111 63 0 17263 0
vsize: 69304
[startup+990.094 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 14777 0 0 0 98984 31 0 0 25 0 1 0 831845023 71573504 14701 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17474 14701 1111 63 0 17411 0
vsize: 69896
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 14940 0 0 0 99983 31 0 0 25 0 1 0 831845023 72171520 14864 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17620 14864 1111 63 0 17557 0
vsize: 70480
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 15103 0 0 0 100983 32 0 0 25 0 1 0 831845023 72925184 15027 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17804 15027 1111 63 0 17741 0
vsize: 71216
[startup+1020.1 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 15271 0 0 0 101983 32 0 0 25 0 1 0 831845023 73650176 15195 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17981 15195 1111 63 0 17918 0
vsize: 71924
[startup+1030.1 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 15442 0 0 0 102983 32 0 0 25 0 1 0 831845023 74248192 15366 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18127 15366 1111 63 0 18064 0
vsize: 72508
[startup+1040.1 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 15603 0 0 0 103983 33 0 0 25 0 1 0 831845023 74997760 15527 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18310 15527 1111 63 0 18247 0
vsize: 73240
[startup+1050.1 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 15766 0 0 0 104983 33 0 0 25 0 1 0 831845023 75603968 15690 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 15690 1111 63 0 18395 0
vsize: 73832
[startup+1060.1 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 15943 0 0 0 105982 34 0 0 25 0 1 0 831845023 76357632 15867 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18642 15867 1111 63 0 18579 0
vsize: 74568
[startup+1070.11 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 16107 0 0 0 106983 34 0 0 25 0 1 0 831845023 76955648 16031 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18788 16031 1111 63 0 18725 0
vsize: 75152
[startup+1080.11 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 16280 0 0 0 107983 34 0 0 25 0 1 0 831845023 77709312 16204 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18972 16204 1111 63 0 18909 0
vsize: 75888
[startup+1090.11 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 16444 0 0 0 108983 35 0 0 25 0 1 0 831845023 78311424 16368 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19119 16368 1111 63 0 19056 0
vsize: 76476
[startup+1100.11 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 16619 0 0 0 109983 35 0 0 25 0 1 0 831845023 79069184 16543 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19304 16543 1111 63 0 19241 0
vsize: 77216
[startup+1110.11 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 16832 0 0 0 110983 36 0 0 25 0 1 0 831845023 80183296 16756 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19576 16756 1111 63 0 19513 0
vsize: 78304
[startup+1120.11 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 16991 0 0 0 111983 36 0 0 25 0 1 0 831845023 80924672 16915 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19757 16915 1111 63 0 19694 0
vsize: 79028
[startup+1130.11 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 17167 0 0 0 112983 36 0 0 25 0 1 0 831845023 81649664 17091 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19934 17091 1111 63 0 19871 0
vsize: 79736
[startup+1140.11 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 17339 0 0 0 113982 37 0 0 25 0 1 0 831845023 82251776 17263 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20081 17263 1111 63 0 20018 0
vsize: 80324
[startup+1150.11 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 17509 0 0 0 114982 37 0 0 25 0 1 0 831845023 83009536 17433 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20266 17433 1111 63 0 20203 0
vsize: 81064
[startup+1160.11 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 17686 0 0 0 115982 38 0 0 25 0 1 0 831845023 83759104 17610 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20449 17610 1111 63 0 20386 0
vsize: 81796
[startup+1170.11 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 17862 0 0 0 116982 38 0 0 25 0 1 0 831845023 84357120 17786 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20595 17786 1111 63 0 20532 0
vsize: 82380
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 18039 0 0 0 117981 38 0 0 25 0 1 0 831845023 85114880 17963 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20780 17963 1111 63 0 20717 0
vsize: 83120
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 18217 0 0 0 118982 39 0 0 25 0 1 0 831845023 85864448 18141 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20963 18141 1111 63 0 20900 0
vsize: 83852
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 18395 0 0 0 119982 39 0 0 25 0 1 0 831845023 86622208 18319 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21148 18319 1111 63 0 21085 0
vsize: 84592
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.00 0.99 1.00 1/54 24744
Raw data (stat): 24687 (bsolo_lpr_cuts) Z 24686 22056 22055 0 -1 1036 18395 0 0 0 119982 42 0 0 25 0 1 0 831845023 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.15
CPU time (s): 1200.25
CPU user time (s): 1199.82
CPU system time (s): 0.425935
CPU usage (%): 100.008
Max. virtual memory (Kb): 84592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####