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-ship04l.opb
MD5SUM	2c68ccb202caa7ec35d2be2cf2e849d9
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	63540
Biggest coefficient in the objective function	1977295568896000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	435915316225983825
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1977295568896000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	435915316225983825
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	0.556914
Number of variables	63540
Total number of constraints	352
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	352
Minimum length of a constraint	30
Maximum length of a constraint	2520
Trace number 28890

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-25 04:05:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11403 boxname=wulflinc17 idbench=878 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  2c68ccb202caa7ec35d2be2cf2e849d9  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-ship04l.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-ship04l.opb
IDLAUNCH: 11403
/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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        808920 kB
Buffers:         22140 kB
Cached:         180620 kB
SwapCached:        492 kB
Active:          60468 kB
Inactive:       144484 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        808668 kB
SwapTotal:     2097892 kB
SwapFree:      2096592 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15192 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:25:16 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 11403 7 1200.22 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.74 0.93 0.90 2/54 18501
Raw data (stat): 18501 (runsolver) R 18500 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835872622 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.78 0.94 0.90 2/54 18501
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 1008 0 0 0 984 3 0 0 25 0 1 0 835872622 15663104 932 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 932 1111 63 0 3761 0
vsize: 15296
[startup+20.0005 s]
Raw data (loadavg): 0.81 0.94 0.90 2/54 18501
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 1142 0 0 0 1983 4 0 0 25 0 1 0 835872622 16236544 1066 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1066 1111 63 0 3901 0
vsize: 15856
[startup+30.0007 s]
Raw data (loadavg): 0.84 0.94 0.90 2/54 18501
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 1296 0 0 0 2983 5 0 0 25 0 1 0 835872622 16838656 1220 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1220 1111 63 0 4048 0
vsize: 16444
[startup+40.0003 s]
Raw data (loadavg): 0.86 0.94 0.90 2/54 18501
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 1453 0 0 0 3982 6 0 0 25 0 1 0 835872622 17420288 1377 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4253 1377 1111 63 0 4190 0
vsize: 17012
[startup+50.0009 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 1614 0 0 0 4981 6 0 0 25 0 1 0 835872622 18145280 1538 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 1538 1111 63 0 4367 0
vsize: 17720
[startup+60.0005 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 1763 0 0 0 5980 7 0 0 25 0 1 0 835872622 18747392 1687 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4577 1687 1111 63 0 4514 0
vsize: 18308
[startup+70.0001 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 1928 0 0 0 6980 8 0 0 25 0 1 0 835872622 19341312 1852 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4722 1852 1111 63 0 4659 0
vsize: 18888
[startup+80.0011 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 2090 0 0 0 7979 9 0 0 25 0 1 0 835872622 20094976 2014 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4906 2014 1111 63 0 4843 0
vsize: 19624
[startup+90.0003 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 2246 0 0 0 8979 10 0 0 25 0 1 0 835872622 20697088 2170 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 2170 1111 63 0 4990 0
vsize: 20212
[startup+99.9999 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 2407 0 0 0 9978 11 0 0 25 0 1 0 835872622 21295104 2331 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5199 2331 1111 63 0 5136 0
vsize: 20796
[startup+110.003 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 2562 0 0 0 10977 12 0 0 25 0 1 0 835872622 22048768 2486 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 2486 1111 63 0 5320 0
vsize: 21532
[startup+120.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 2724 0 0 0 11976 12 0 0 25 0 1 0 835872622 22650880 2648 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 2648 1111 63 0 5467 0
vsize: 22120
[startup+130.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 2892 0 0 0 12975 13 0 0 25 0 1 0 835872622 23400448 2816 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 2816 1111 63 0 5650 0
vsize: 22852
[startup+140.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 3053 0 0 0 13975 14 0 0 25 0 1 0 835872622 23994368 2977 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5858 2977 1111 63 0 5795 0
vsize: 23432
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 3215 0 0 0 14974 15 0 0 25 0 1 0 835872622 24743936 3139 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 3139 1111 63 0 5978 0
vsize: 24164
[startup+160.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 3385 0 0 0 15974 15 0 0 25 0 1 0 835872622 25350144 3309 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 3309 1111 63 0 6126 0
vsize: 24756
[startup+170.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 3554 0 0 0 16973 16 0 0 25 0 1 0 835872622 26103808 3478 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 3478 1111 63 0 6310 0
vsize: 25492
[startup+180.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 3716 0 0 0 17973 17 0 0 25 0 1 0 835872622 26701824 3640 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 3640 1111 63 0 6456 0
vsize: 26076
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 3880 0 0 0 18972 17 0 0 25 0 1 0 835872622 27426816 3804 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6696 3804 1111 63 0 6633 0
vsize: 26784
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 4056 0 0 0 19971 18 0 0 25 0 1 0 835872622 28176384 3980 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6879 3980 1111 63 0 6816 0
vsize: 27516
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 4219 0 0 0 20971 19 0 0 25 0 1 0 835872622 28782592 4143 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7027 4143 1111 63 0 6964 0
vsize: 28108
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 4394 0 0 0 21971 19 0 0 25 0 1 0 835872622 29532160 4318 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 4318 1111 63 0 7147 0
vsize: 28840
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 4557 0 0 0 22970 20 0 0 25 0 1 0 835872622 30134272 4481 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7357 4481 1111 63 0 7294 0
vsize: 29428
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 4733 0 0 0 23970 20 0 0 25 0 1 0 835872622 30887936 4657 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7541 4657 1111 63 0 7478 0
vsize: 30164
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 4907 0 0 0 24970 21 0 0 25 0 1 0 835872622 31678464 4831 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7734 4831 1111 63 0 7671 0
vsize: 30936
[startup+260.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 5083 0 0 0 25970 21 0 0 25 0 1 0 835872622 32432128 5007 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7918 5007 1111 63 0 7855 0
vsize: 31672
[startup+270.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 5253 0 0 0 26969 21 0 0 25 0 1 0 835872622 33030144 5177 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8064 5177 1111 63 0 8001 0
vsize: 32256
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 5430 0 0 0 27969 22 0 0 25 0 1 0 835872622 33783808 5354 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8248 5354 1111 63 0 8185 0
vsize: 32992
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 5600 0 0 0 28969 22 0 0 25 0 1 0 835872622 34537472 5524 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8432 5524 1111 63 0 8369 0
vsize: 33728
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 5778 0 0 0 29968 23 0 0 25 0 1 0 835872622 35139584 5702 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8579 5702 1111 63 0 8516 0
vsize: 34316
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 5954 0 0 0 30968 23 0 0 25 0 1 0 835872622 35889152 5878 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8762 5878 1111 63 0 8699 0
vsize: 35048
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 6130 0 0 0 31968 24 0 0 25 0 1 0 835872622 36642816 6054 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8946 6054 1111 63 0 8883 0
vsize: 35784
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 6309 0 0 0 32968 24 0 0 25 0 1 0 835872622 37396480 6233 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9130 6233 1111 63 0 9067 0
vsize: 36520
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 6486 0 0 0 33967 25 0 0 25 0 1 0 835872622 38146048 6410 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9313 6410 1111 63 0 9250 0
vsize: 37252
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 6669 0 0 0 34967 25 0 0 25 0 1 0 835872622 38903808 6593 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 6593 1111 63 0 9435 0
vsize: 37992
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 6848 0 0 0 35967 26 0 0 25 0 1 0 835872622 39501824 6772 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9644 6772 1111 63 0 9581 0
vsize: 38576
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 7030 0 0 0 36966 26 0 0 25 0 1 0 835872622 40251392 6954 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9827 6954 1111 63 0 9764 0
vsize: 39308
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 7207 0 0 0 37966 27 0 0 25 0 1 0 835872622 41009152 7131 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10012 7131 1111 63 0 9949 0
vsize: 40048
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 7386 0 0 0 38966 27 0 0 25 0 1 0 835872622 41758720 7310 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10195 7310 1111 63 0 10132 0
vsize: 40780
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 7570 0 0 0 39966 27 0 0 25 0 1 0 835872622 42491904 7494 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10374 7494 1111 63 0 10311 0
vsize: 41496
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 7753 0 0 0 40965 28 0 0 25 0 1 0 835872622 43233280 7677 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10555 7677 1111 63 0 10492 0
vsize: 42220
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 7931 0 0 0 41965 28 0 0 25 0 1 0 835872622 43982848 7855 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10738 7855 1111 63 0 10675 0
vsize: 42952
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 8115 0 0 0 42966 28 0 0 25 0 1 0 835872622 44740608 8039 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10923 8039 1111 63 0 10860 0
vsize: 43692
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 8299 0 0 0 43966 28 0 0 25 0 1 0 835872622 45490176 8223 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11106 8223 1111 63 0 11043 0
vsize: 44424
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 8489 0 0 0 44965 29 0 0 25 0 1 0 835872622 46247936 8413 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11291 8413 1111 63 0 11228 0
vsize: 45164
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 8674 0 0 0 45965 29 0 0 25 0 1 0 835872622 46997504 8598 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11474 8598 1111 63 0 11411 0
vsize: 45896
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 8884 0 0 0 46965 30 0 0 25 0 1 0 835872622 48005120 8808 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11720 8808 1111 63 0 11657 0
vsize: 46880
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 9074 0 0 0 47965 30 0 0 25 0 1 0 835872622 48750592 8998 4294967295 134512640 134714508 3221224576 3221223220 1077374461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11902 8998 1111 63 0 11839 0
vsize: 47608
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 9266 0 0 0 48965 30 0 0 25 0 1 0 835872622 49627136 9190 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12116 9190 1111 63 0 12053 0
vsize: 48464
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 9465 0 0 0 49964 31 0 0 25 0 1 0 835872622 50376704 9389 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12299 9389 1111 63 0 12236 0
vsize: 49196
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 9657 0 0 0 50964 31 0 0 25 0 1 0 835872622 51101696 9581 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 9581 1111 63 0 12413 0
vsize: 49904
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 9858 0 0 0 51964 32 0 0 25 0 1 0 835872622 52006912 9782 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12697 9782 1111 63 0 12634 0
vsize: 50788
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 10056 0 0 0 52963 32 0 0 25 0 1 0 835872622 52760576 9980 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 9980 1111 63 0 12818 0
vsize: 51524
[startup+540.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 10256 0 0 0 53963 32 0 0 25 0 1 0 835872622 53661696 10180 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13101 10180 1111 63 0 13038 0
vsize: 52404
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 10456 0 0 0 54963 33 0 0 25 0 1 0 835872622 54415360 10380 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13285 10380 1111 63 0 13222 0
vsize: 53140
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 10661 0 0 0 55963 33 0 0 25 0 1 0 835872622 55316480 10585 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13505 10585 1111 63 0 13442 0
vsize: 54020
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 10861 0 0 0 56963 34 0 0 25 0 1 0 835872622 56066048 10785 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13688 10785 1111 63 0 13625 0
vsize: 54752
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 11066 0 0 0 57964 34 0 0 25 0 1 0 835872622 56971264 10990 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13909 10990 1111 63 0 13846 0
vsize: 55636
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 11274 0 0 0 58963 35 0 0 25 0 1 0 835872622 57720832 11198 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14092 11198 1111 63 0 14029 0
vsize: 56368
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 11480 0 0 0 59963 35 0 0 25 0 1 0 835872622 58626048 11404 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14313 11404 1111 63 0 14250 0
vsize: 57252
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 11686 0 0 0 60963 36 0 0 25 0 1 0 835872622 59379712 11610 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14497 11610 1111 63 0 14434 0
vsize: 57988
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 11900 0 0 0 61963 36 0 0 25 0 1 0 835872622 60284928 11824 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14718 11824 1111 63 0 14655 0
vsize: 58872
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 12107 0 0 0 62963 36 0 0 25 0 1 0 835872622 61186048 12031 4294967295 134512640 134714508 3221224576 3221222808 1077414469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14938 12031 1111 63 0 14875 0
vsize: 59752
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 12322 0 0 0 63964 36 0 0 25 0 1 0 835872622 62091264 12246 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15159 12246 1111 63 0 15096 0
vsize: 60636
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 12536 0 0 0 64964 37 0 0 25 0 1 0 835872622 62840832 12460 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15342 12460 1111 63 0 15279 0
vsize: 61368
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 12757 0 0 0 65964 37 0 0 25 0 1 0 835872622 63746048 12681 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15563 12681 1111 63 0 15500 0
vsize: 62252
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 12977 0 0 0 66963 37 0 0 25 0 1 0 835872622 64647168 12901 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15783 12901 1111 63 0 15720 0
vsize: 63132
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 13198 0 0 0 67963 38 0 0 25 0 1 0 835872622 65552384 13122 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16004 13122 1111 63 0 15941 0
vsize: 64016
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 13420 0 0 0 68963 38 0 0 25 0 1 0 835872622 66453504 13344 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16224 13344 1111 63 0 16161 0
vsize: 64896
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 13641 0 0 0 69962 39 0 0 25 0 1 0 835872622 67354624 13565 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16444 13565 1111 63 0 16381 0
vsize: 65776
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 13864 0 0 0 70962 40 0 0 25 0 1 0 835872622 68259840 13788 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16665 13788 1111 63 0 16602 0
vsize: 66660
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 14092 0 0 0 71961 40 0 0 25 0 1 0 835872622 69312512 14016 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16922 14016 1111 63 0 16859 0
vsize: 67688
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 14321 0 0 0 72961 40 0 0 25 0 1 0 835872622 70217728 14245 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17143 14246 1111 63 0 17080 0
vsize: 68572
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 14550 0 0 0 73961 41 0 0 25 0 1 0 835872622 71118848 14474 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17363 14474 1111 63 0 17300 0
vsize: 69452
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 14780 0 0 0 74960 42 0 0 25 0 1 0 835872622 72024064 14704 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17584 14704 1111 63 0 17521 0
vsize: 70336
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 15014 0 0 0 75960 42 0 0 25 0 1 0 835872622 73072640 14938 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17840 14938 1111 63 0 17777 0
vsize: 71360
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 15252 0 0 0 76960 42 0 0 25 0 1 0 835872622 73949184 15176 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18054 15176 1111 63 0 17991 0
vsize: 72216
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 15493 0 0 0 77960 43 0 0 25 0 1 0 835872622 74997760 15417 4294967295 134512640 134714508 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18310 15417 1111 63 0 18247 0
vsize: 73240
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 15736 0 0 0 78960 43 0 0 25 0 1 0 835872622 75902976 15660 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18531 15660 1111 63 0 18468 0
vsize: 74124
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 15982 0 0 0 79960 43 0 0 25 0 1 0 835872622 76955648 15906 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18788 15906 1111 63 0 18725 0
vsize: 75152
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 16225 0 0 0 80959 43 0 0 25 0 1 0 835872622 78012416 16149 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19046 16149 1111 63 0 18983 0
vsize: 76184
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 16475 0 0 0 81959 44 0 0 25 0 1 0 835872622 78917632 16399 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19267 16399 1111 63 0 19204 0
vsize: 77068
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 16771 0 0 0 82959 45 0 0 25 0 1 0 835872622 80478208 16695 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19648 16695 1111 63 0 19585 0
vsize: 78592
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 17022 0 0 0 83959 45 0 0 25 0 1 0 835872622 81502208 16946 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19898 16946 1111 63 0 19835 0
vsize: 79592
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 17288 0 0 0 84959 46 0 0 25 0 1 0 835872622 82550784 17212 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20154 17212 1111 63 0 20091 0
vsize: 80616
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 17552 0 0 0 85959 46 0 0 25 0 1 0 835872622 83607552 17476 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20412 17476 1111 63 0 20349 0
vsize: 81648
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 17821 0 0 0 86958 47 0 0 25 0 1 0 835872622 84664320 17745 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20670 17745 1111 63 0 20607 0
vsize: 82680
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 18099 0 0 0 87958 48 0 0 25 0 1 0 835872622 85864448 18023 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20963 18023 1111 63 0 20900 0
vsize: 83852
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 18365 0 0 0 88958 48 0 0 25 0 1 0 835872622 86921216 18289 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21221 18289 1111 63 0 21158 0
vsize: 84884
[startup+900.039 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 18645 0 0 0 89957 49 0 0 25 0 1 0 835872622 88121344 18569 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21514 18569 1111 63 0 21451 0
vsize: 86056
[startup+910.039 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 18927 0 0 0 90957 49 0 0 25 0 1 0 835872622 89174016 18851 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21771 18851 1111 63 0 21708 0
vsize: 87084
[startup+920.038 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 19221 0 0 0 91956 50 0 0 25 0 1 0 835872622 90501120 19145 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22095 19145 1111 63 0 22032 0
vsize: 88380
[startup+930.038 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 19508 0 0 0 92956 51 0 0 25 0 1 0 835872622 91553792 19432 4294967295 134512640 134714508 3221224576 3221222664 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22352 19432 1111 63 0 22289 0
vsize: 89408
[startup+940.049 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 19811 0 0 0 93956 52 0 0 25 0 1 0 835872622 92909568 19735 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22683 19735 1111 63 0 22620 0
vsize: 90732
[startup+950.058 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 20107 0 0 0 94957 52 0 0 25 0 1 0 835872622 94113792 20031 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22977 20031 1111 63 0 22914 0
vsize: 91908
[startup+960.058 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 20416 0 0 0 95956 53 0 0 25 0 1 0 835872622 95313920 20340 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23270 20340 1111 63 0 23207 0
vsize: 93080
[startup+970.065 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 20727 0 0 0 96957 53 0 0 25 0 1 0 835872622 96522240 20651 4294967295 134512640 134714508 3221224576 3221223232 134527953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23565 20651 1111 63 0 23502 0
vsize: 94260
[startup+980.065 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 21042 0 0 0 97957 53 0 0 25 0 1 0 835872622 97873920 20966 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23895 20966 1111 63 0 23832 0
vsize: 95580
[startup+990.065 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 21361 0 0 0 98956 54 0 0 25 0 1 0 835872622 99229696 21285 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24226 21285 1111 63 0 24163 0
vsize: 96904
[startup+1000.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 21692 0 0 0 99956 55 0 0 25 0 1 0 835872622 100585472 21616 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24557 21616 1111 63 0 24494 0
vsize: 98228
[startup+1010.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 22024 0 0 0 100955 55 0 0 25 0 1 0 835872622 101941248 21948 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24888 21948 1111 63 0 24825 0
vsize: 99552
[startup+1020.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 22363 0 0 0 101954 56 0 0 25 0 1 0 835872622 103292928 22287 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25218 22287 1111 63 0 25155 0
vsize: 100872
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 22711 0 0 0 102953 58 0 0 25 0 1 0 835872622 104648704 22635 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25549 22635 1111 63 0 25486 0
vsize: 102196
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 23055 0 0 0 103952 59 0 0 25 0 1 0 835872622 106151936 22979 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25916 22979 1111 63 0 25853 0
vsize: 103664
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 23410 0 0 0 104952 59 0 0 25 0 1 0 835872622 107511808 23334 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26248 23334 1111 63 0 26185 0
vsize: 104992
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 23765 0 0 0 105952 60 0 0 25 0 1 0 835872622 109010944 23689 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26614 23689 1111 63 0 26551 0
vsize: 106456
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 24135 0 0 0 106951 61 0 0 25 0 1 0 835872622 110518272 24059 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26982 24059 1111 63 0 26919 0
vsize: 107928
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 24510 0 0 0 107950 61 0 0 25 0 1 0 835872622 112025600 24434 4294967295 134512640 134714508 3221224576 3221222428 1076880029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27350 24434 1111 63 0 27287 0
vsize: 109400
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 24902 0 0 0 108950 63 0 0 25 0 1 0 835872622 113680384 24826 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27754 24826 1111 63 0 27691 0
vsize: 111016
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 25300 0 0 0 109949 64 0 0 25 0 1 0 835872622 115179520 25224 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28120 25224 1111 63 0 28057 0
vsize: 112480
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 25713 0 0 0 110948 64 0 0 25 0 1 0 835872622 116985856 25637 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28561 25637 1111 63 0 28498 0
vsize: 114244
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 26127 0 0 0 111948 65 0 0 25 0 1 0 835872622 118644736 26051 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28966 26051 1111 63 0 28903 0
vsize: 115864
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 26547 0 0 0 112947 66 0 0 25 0 1 0 835872622 120299520 26471 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29370 26471 1111 63 0 29307 0
vsize: 117480
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 26981 0 0 0 113947 66 0 0 25 0 1 0 835872622 122077184 26905 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29804 26905 1111 63 0 29741 0
vsize: 119216
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 27425 0 0 0 114946 67 0 0 25 0 1 0 835872622 123883520 27349 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30245 27349 1111 63 0 30182 0
vsize: 120980
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 27896 0 0 0 115946 68 0 0 25 0 1 0 835872622 125837312 27820 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30722 27820 1111 63 0 30659 0
vsize: 122888
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 28368 0 0 0 116945 69 0 0 25 0 1 0 835872622 127795200 28292 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31200 28292 1111 63 0 31137 0
vsize: 124800
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 28855 0 0 0 117944 70 0 0 25 0 1 0 835872622 129748992 28779 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31677 28779 1111 63 0 31614 0
vsize: 126708
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 29344 0 0 0 118944 71 0 0 25 0 1 0 835872622 131706880 29268 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32155 29268 1111 63 0 32092 0
vsize: 128620
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) R 18500 7475 7474 0 -1 0 29859 0 0 0 119944 71 0 0 25 0 1 0 835872622 133816320 29783 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32670 29783 1111 63 0 32607 0
vsize: 130680
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 18503
Raw data (stat): 18501 (bsolo_lpr_cuts) Z 18500 7475 7474 0 -1 1036 29859 0 0 0 119944 77 0 0 21 0 1 0 835872622 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.2
CPU time (s): 1200.22
CPU user time (s): 1199.44
CPU system time (s): 0.774882
CPU usage (%): 100.001
Max. virtual memory (Kb): 130680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####