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-maros-r7.opb
MD5SUM	ebb49febffdfe5475bc23e4ef8d466db
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	188160
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6734508713856
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	536870912000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	4602477289606474
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.65459
Number of variables	282240
Total number of constraints	3136
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	3136
Minimum length of a constraint	150
Maximum length of a constraint	720
Trace number 26840

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        772784 kB
Buffers:         36308 kB
Cached:         201680 kB
SwapCached:        624 kB
Active:         113616 kB
Inactive:       126848 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        772532 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            15716 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:27:28 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 10987 7 1200.32 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.95 0.95 0.97 2/54 6545
Raw data (stat): 6545 (runsolver) R 6544 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831911216 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 1412 0 0 0 994 4 0 0 25 0 1 0 831911216 15511552 1336 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1336 1111 63 0 3724 0
vsize: 15148
[startup+20.0019 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 1501 0 0 0 1993 5 0 0 25 0 1 0 831911216 15806464 1425 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3859 1425 1111 63 0 3796 0
vsize: 15436
[startup+30.0023 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 1595 0 0 0 2993 5 0 0 25 0 1 0 831911216 16232448 1519 4294967295 134512640 134714508 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 1519 1111 63 0 3900 0
vsize: 15852
[startup+40.0069 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 1682 0 0 0 3993 5 0 0 25 0 1 0 831911216 16527360 1606 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4035 1606 1111 63 0 3972 0
vsize: 16140
[startup+50.014 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 1772 0 0 0 4994 6 0 0 25 0 1 0 831911216 16982016 1696 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4146 1696 1111 63 0 4083 0
vsize: 16584
[startup+60.0145 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 1868 0 0 0 5993 7 0 0 25 0 1 0 831911216 17412096 1792 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4251 1792 1111 63 0 4188 0
vsize: 17004
[startup+70.0142 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 1958 0 0 0 6992 8 0 0 25 0 1 0 831911216 17715200 1882 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1882 1111 63 0 4262 0
vsize: 17300
[startup+80.0152 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 2052 0 0 0 7992 8 0 0 25 0 1 0 831911216 18161664 1976 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1976 1111 63 0 4371 0
vsize: 17736
[startup+90.0159 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 2139 0 0 0 8992 8 0 0 25 0 1 0 831911216 18460672 2063 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4507 2063 1111 63 0 4444 0
vsize: 18028
[startup+100.015 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 2235 0 0 0 9991 9 0 0 25 0 1 0 831911216 18915328 2159 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4618 2159 1111 63 0 4555 0
vsize: 18472
[startup+110.016 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 2327 0 0 0 10990 10 0 0 25 0 1 0 831911216 19197952 2251 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4687 2251 1111 63 0 4624 0
vsize: 18748
[startup+120.017 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 2424 0 0 0 11990 11 0 0 25 0 1 0 831911216 19636224 2348 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4794 2348 1111 63 0 4731 0
vsize: 19176
[startup+130.024 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 2512 0 0 0 12990 11 0 0 25 0 1 0 831911216 19927040 2436 4294967295 134512640 134714508 3221224576 3221222804 1077414372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4865 2436 1111 63 0 4802 0
vsize: 19460
[startup+140.024 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 2599 0 0 0 13989 12 0 0 25 0 1 0 831911216 20373504 2523 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 2523 1111 63 0 4911 0
vsize: 19896
[startup+150.031 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 2695 0 0 0 14988 14 0 0 25 0 1 0 831911216 20676608 2619 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5048 2619 1111 63 0 4985 0
vsize: 20192
[startup+160.033 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 2789 0 0 0 15988 14 0 0 25 0 1 0 831911216 21123072 2713 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5157 2713 1111 63 0 5094 0
vsize: 20628
[startup+170.032 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 2878 0 0 0 16988 15 0 0 25 0 1 0 831911216 21426176 2802 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5231 2802 1111 63 0 5168 0
vsize: 20924
[startup+180.033 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 2966 0 0 0 17987 15 0 0 25 0 1 0 831911216 21876736 2890 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5341 2890 1111 63 0 5278 0
vsize: 21364
[startup+190.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 3061 0 0 0 18987 15 0 0 25 0 1 0 831911216 22171648 2985 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2985 1111 63 0 5350 0
vsize: 21652
[startup+200.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 3155 0 0 0 19987 16 0 0 25 0 1 0 831911216 22622208 3079 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 3079 1111 63 0 5460 0
vsize: 22092
[startup+210.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 3243 0 0 0 20986 17 0 0 25 0 1 0 831911216 22921216 3167 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5596 3167 1111 63 0 5533 0
vsize: 22384
[startup+220.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 3345 0 0 0 21986 17 0 0 25 0 1 0 831911216 23367680 3269 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5705 3269 1111 63 0 5642 0
vsize: 22820
[startup+230.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 3433 0 0 0 22985 18 0 0 25 0 1 0 831911216 23810048 3357 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5813 3357 1111 63 0 5750 0
vsize: 23252
[startup+240.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 3530 0 0 0 23985 18 0 0 25 0 1 0 831911216 24113152 3454 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3454 1111 63 0 5824 0
vsize: 23548
[startup+250.034 s]
Raw data (loadavg): 1.07 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 3618 0 0 0 24985 19 0 0 25 0 1 0 831911216 24563712 3542 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5997 3542 1111 63 0 5934 0
vsize: 23988
[startup+260.034 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 3712 0 0 0 25984 19 0 0 25 0 1 0 831911216 24858624 3636 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 3636 1111 63 0 6006 0
vsize: 24276
[startup+270.046 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 3808 0 0 0 26985 20 0 0 25 0 1 0 831911216 25309184 3732 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6179 3732 1111 63 0 6116 0
vsize: 24716
[startup+280.063 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 3896 0 0 0 27986 20 0 0 25 0 1 0 831911216 25608192 3820 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6252 3820 1111 63 0 6189 0
vsize: 25008
[startup+290.082 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 3993 0 0 0 28987 21 0 0 25 0 1 0 831911216 26062848 3917 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6363 3917 1111 63 0 6300 0
vsize: 25452
[startup+300.082 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 4087 0 0 0 29987 21 0 0 25 0 1 0 831911216 26509312 4011 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6472 4011 1111 63 0 6409 0
vsize: 25888
[startup+310.082 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 4176 0 0 0 30987 22 0 0 25 0 1 0 831911216 26804224 4100 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 4100 1111 63 0 6481 0
vsize: 26176
[startup+320.081 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 4265 0 0 0 31987 22 0 0 25 0 1 0 831911216 27230208 4189 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6648 4189 1111 63 0 6585 0
vsize: 26592
[startup+330.083 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 4359 0 0 0 32986 23 0 0 25 0 1 0 831911216 27525120 4283 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6720 4283 1111 63 0 6657 0
vsize: 26880
[startup+340.083 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 4455 0 0 0 33986 24 0 0 25 0 1 0 831911216 27979776 4379 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6831 4379 1111 63 0 6768 0
vsize: 27324
[startup+350.083 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 4544 0 0 0 34985 24 0 0 25 0 1 0 831911216 28278784 4468 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6904 4468 1111 63 0 6841 0
vsize: 27616
[startup+360.083 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 4646 0 0 0 35985 25 0 0 25 0 1 0 831911216 28729344 4570 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7014 4570 1111 63 0 6951 0
vsize: 28056
[startup+370.083 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 4734 0 0 0 36985 25 0 0 25 0 1 0 831911216 29028352 4658 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4658 1111 63 0 7024 0
vsize: 28348
[startup+380.084 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 4830 0 0 0 37985 25 0 0 25 0 1 0 831911216 29474816 4754 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4754 1111 63 0 7133 0
vsize: 28784
[startup+390.083 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 4924 0 0 0 38985 25 0 0 25 0 1 0 831911216 29929472 4848 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 4848 1111 63 0 7244 0
vsize: 29228
[startup+400.083 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 5012 0 0 0 39985 25 0 0 25 0 1 0 831911216 30224384 4936 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7379 4936 1111 63 0 7316 0
vsize: 29516
[startup+410.084 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 5114 0 0 0 40985 26 0 0 25 0 1 0 831911216 30679040 5038 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7490 5038 1111 63 0 7427 0
vsize: 29960
[startup+420.083 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 5203 0 0 0 41985 26 0 0 25 0 1 0 831911216 30978048 5127 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7563 5127 1111 63 0 7500 0
vsize: 30252
[startup+430.084 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 5310 0 0 0 42985 26 0 0 25 0 1 0 831911216 31465472 5234 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7682 5234 1111 63 0 7619 0
vsize: 30728
[startup+440.085 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 5404 0 0 0 43985 26 0 0 25 0 1 0 831911216 31911936 5328 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7791 5328 1111 63 0 7728 0
vsize: 31164
[startup+450.093 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 5500 0 0 0 44985 27 0 0 25 0 1 0 831911216 32210944 5424 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7864 5424 1111 63 0 7801 0
vsize: 31456
[startup+460.093 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 5594 0 0 0 45985 27 0 0 25 0 1 0 831911216 32661504 5518 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 5518 1111 63 0 7911 0
vsize: 31896
[startup+470.096 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 5683 0 0 0 46986 27 0 0 25 0 1 0 831911216 32960512 5607 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8047 5607 1111 63 0 7984 0
vsize: 32188
[startup+480.095 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 5787 0 0 0 47985 27 0 0 25 0 1 0 831911216 33415168 5711 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8158 5711 1111 63 0 8095 0
vsize: 32632
[startup+490.095 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 5875 0 0 0 48985 27 0 0 25 0 1 0 831911216 33861632 5799 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8267 5799 1111 63 0 8204 0
vsize: 33068
[startup+500.095 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 5971 0 0 0 49986 27 0 0 25 0 1 0 831911216 34164736 5895 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8341 5895 1111 63 0 8278 0
vsize: 33364
[startup+510.096 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 6065 0 0 0 50985 28 0 0 25 0 1 0 831911216 34611200 5989 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 5989 1111 63 0 8387 0
vsize: 33800
[startup+520.095 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 6161 0 0 0 51985 28 0 0 25 0 1 0 831911216 34910208 6085 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8523 6085 1111 63 0 8460 0
vsize: 34092
[startup+530.096 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 6258 0 0 0 52985 28 0 0 25 0 1 0 831911216 35360768 6182 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8633 6182 1111 63 0 8570 0
vsize: 34532
[startup+540.096 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 6352 0 0 0 53985 29 0 0 25 0 1 0 831911216 35811328 6276 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8743 6276 1111 63 0 8680 0
vsize: 34972
[startup+550.096 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 6448 0 0 0 54985 29 0 0 25 0 1 0 831911216 36114432 6372 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8817 6372 1111 63 0 8754 0
vsize: 35268
[startup+560.096 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 6542 0 0 0 55985 29 0 0 25 0 1 0 831911216 36560896 6466 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8926 6466 1111 63 0 8863 0
vsize: 35704
[startup+570.097 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 6638 0 0 0 56985 29 0 0 25 0 1 0 831911216 36864000 6562 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9000 6562 1111 63 0 8937 0
vsize: 36000
[startup+580.097 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 6735 0 0 0 57985 30 0 0 25 0 1 0 831911216 37310464 6659 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9109 6659 1111 63 0 9046 0
vsize: 36436
[startup+590.097 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 6831 0 0 0 58985 30 0 0 25 0 1 0 831911216 37761024 6755 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6755 1111 63 0 9156 0
vsize: 36876
[startup+600.097 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 6925 0 0 0 59984 31 0 0 25 0 1 0 831911216 38060032 6849 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9292 6849 1111 63 0 9229 0
vsize: 37168
[startup+610.098 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 7020 0 0 0 60984 31 0 0 25 0 1 0 831911216 38510592 6944 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9402 6944 1111 63 0 9339 0
vsize: 37608
[startup+620.097 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 7116 0 0 0 61984 31 0 0 25 0 1 0 831911216 38813696 7040 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9476 7040 1111 63 0 9413 0
vsize: 37904
[startup+630.098 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 7211 0 0 0 62985 31 0 0 25 0 1 0 831911216 39256064 7135 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9584 7135 1111 63 0 9521 0
vsize: 38336
[startup+640.099 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 7309 0 0 0 63984 31 0 0 25 0 1 0 831911216 39710720 7233 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9695 7233 1111 63 0 9632 0
vsize: 38780
[startup+650.098 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 7403 0 0 0 64984 32 0 0 25 0 1 0 831911216 40009728 7327 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9768 7327 1111 63 0 9705 0
vsize: 39072
[startup+660.098 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 7499 0 0 0 65984 32 0 0 25 0 1 0 831911216 40460288 7423 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9878 7423 1111 63 0 9815 0
vsize: 39512
[startup+670.098 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 7594 0 0 0 66984 32 0 0 25 0 1 0 831911216 40759296 7518 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9951 7518 1111 63 0 9888 0
vsize: 39804
[startup+680.103 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 7688 0 0 0 67985 32 0 0 25 0 1 0 831911216 41205760 7612 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 7612 1111 63 0 9997 0
vsize: 40240
[startup+690.104 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 7786 0 0 0 68985 32 0 0 25 0 1 0 831911216 41660416 7710 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10171 7710 1111 63 0 10108 0
vsize: 40684
[startup+700.105 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 7881 0 0 0 69985 33 0 0 25 0 1 0 831911216 41955328 7805 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10243 7805 1111 63 0 10180 0
vsize: 40972
[startup+710.106 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 7977 0 0 0 70985 33 0 0 25 0 1 0 831911216 42409984 7901 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10354 7901 1111 63 0 10291 0
vsize: 41416
[startup+720.106 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 8072 0 0 0 71984 34 0 0 25 0 1 0 831911216 42708992 7996 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10427 7996 1111 63 0 10364 0
vsize: 41708
[startup+730.107 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 8168 0 0 0 72984 34 0 0 25 0 1 0 831911216 43155456 8092 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 8092 1111 63 0 10473 0
vsize: 42144
[startup+740.107 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 8271 0 0 0 73984 34 0 0 25 0 1 0 831911216 43610112 8195 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10647 8195 1111 63 0 10584 0
vsize: 42588
[startup+750.123 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 8359 0 0 0 74986 34 0 0 25 0 1 0 831911216 43905024 8283 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10719 8283 1111 63 0 10656 0
vsize: 42876
[startup+760.123 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 8462 0 0 0 75986 35 0 0 25 0 1 0 831911216 44355584 8386 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10829 8386 1111 63 0 10766 0
vsize: 43316
[startup+770.123 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 8556 0 0 0 76985 36 0 0 25 0 1 0 831911216 44806144 8480 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10939 8480 1111 63 0 10876 0
vsize: 43756
[startup+780.123 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 8652 0 0 0 77985 36 0 0 25 0 1 0 831911216 45109248 8576 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11013 8576 1111 63 0 10950 0
vsize: 44052
[startup+790.123 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 8747 0 0 0 78985 36 0 0 25 0 1 0 831911216 45555712 8671 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11122 8671 1111 63 0 11059 0
vsize: 44488
[startup+800.123 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 8843 0 0 0 79985 36 0 0 25 0 1 0 831911216 45850624 8767 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11194 8767 1111 63 0 11131 0
vsize: 44776
[startup+810.123 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 8944 0 0 0 80985 36 0 0 25 0 1 0 831911216 46276608 8868 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11298 8868 1111 63 0 11235 0
vsize: 45192
[startup+820.123 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 9040 0 0 0 81985 37 0 0 25 0 1 0 831911216 46723072 8964 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11407 8964 1111 63 0 11344 0
vsize: 45628
[startup+830.124 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 9135 0 0 0 82985 37 0 0 25 0 1 0 831911216 47173632 9059 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11517 9059 1111 63 0 11454 0
vsize: 46068
[startup+840.124 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 9250 0 0 0 83985 37 0 0 25 0 1 0 831911216 47722496 9174 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11651 9174 1111 63 0 11588 0
vsize: 46604
[startup+850.124 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 9346 0 0 0 84985 37 0 0 25 0 1 0 831911216 48148480 9270 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11755 9270 1111 63 0 11692 0
vsize: 47020
[startup+860.124 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 9447 0 0 0 85985 37 0 0 25 0 1 0 831911216 48443392 9371 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11827 9371 1111 63 0 11764 0
vsize: 47308
[startup+870.124 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 9543 0 0 0 86985 38 0 0 25 0 1 0 831911216 48898048 9467 4294967295 134512640 134714508 3221224576 3221223124 1077378722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11938 9467 1111 63 0 11875 0
vsize: 47752
[startup+880.125 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 9638 0 0 0 87985 38 0 0 25 0 1 0 831911216 49344512 9562 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12047 9562 1111 63 0 11984 0
vsize: 48188
[startup+890.125 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 9736 0 0 0 88985 38 0 0 25 0 1 0 831911216 49643520 9660 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12120 9660 1111 63 0 12057 0
vsize: 48480
[startup+900.125 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 9831 0 0 0 89985 38 0 0 25 0 1 0 831911216 50098176 9755 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12231 9755 1111 63 0 12168 0
vsize: 48924
[startup+910.125 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 9932 0 0 0 90985 38 0 0 25 0 1 0 831911216 50540544 9856 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12339 9856 1111 63 0 12276 0
vsize: 49356
[startup+920.125 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 10028 0 0 0 91985 38 0 0 25 0 1 0 831911216 50819072 9952 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12407 9952 1111 63 0 12344 0
vsize: 49628
[startup+930.126 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 10123 0 0 0 92985 38 0 0 25 0 1 0 831911216 51261440 10047 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12515 10047 1111 63 0 12452 0
vsize: 50060
[startup+940.126 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 10227 0 0 0 93986 38 0 0 25 0 1 0 831911216 51716096 10151 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 10151 1111 63 0 12563 0
vsize: 50504
[startup+950.125 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 10322 0 0 0 94986 38 0 0 25 0 1 0 831911216 52015104 10246 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12699 10246 1111 63 0 12636 0
vsize: 50796
[startup+960.126 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 10419 0 0 0 95986 38 0 0 25 0 1 0 831911216 52465664 10343 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12809 10343 1111 63 0 12746 0
vsize: 51236
[startup+970.126 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 10520 0 0 0 96986 38 0 0 25 0 1 0 831911216 52916224 10444 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12919 10444 1111 63 0 12856 0
vsize: 51676
[startup+980.126 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 10616 0 0 0 97986 39 0 0 25 0 1 0 831911216 53211136 10540 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12991 10540 1111 63 0 12928 0
vsize: 51964
[startup+990.127 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 10712 0 0 0 98986 39 0 0 25 0 1 0 831911216 53661696 10636 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13101 10636 1111 63 0 13038 0
vsize: 52404
[startup+1000.13 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 10814 0 0 0 99986 39 0 0 25 0 1 0 831911216 54112256 10738 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13211 10738 1111 63 0 13148 0
vsize: 52844
[startup+1010.13 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 10910 0 0 0 100986 39 0 0 25 0 1 0 831911216 54415360 10834 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13285 10834 1111 63 0 13222 0
vsize: 53140
[startup+1020.13 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 11005 0 0 0 101986 40 0 0 25 0 1 0 831911216 54861824 10929 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13394 10929 1111 63 0 13331 0
vsize: 53576
[startup+1030.13 s]
Raw data (loadavg): 1.08 1.00 0.98 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 11108 0 0 0 102986 40 0 0 25 0 1 0 831911216 55316480 11032 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13505 11032 1111 63 0 13442 0
vsize: 54020
[startup+1040.13 s]
Raw data (loadavg): 1.07 1.00 0.98 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 11204 0 0 0 103986 40 0 0 25 0 1 0 831911216 55615488 11128 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13578 11128 1111 63 0 13515 0
vsize: 54312
[startup+1050.13 s]
Raw data (loadavg): 1.06 1.00 0.98 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 11301 0 0 0 104986 41 0 0 25 0 1 0 831911216 56066048 11225 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13688 11225 1111 63 0 13625 0
vsize: 54752
[startup+1060.13 s]
Raw data (loadavg): 1.13 1.02 0.98 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 11402 0 0 0 105985 41 0 0 25 0 1 0 831911216 56512512 11326 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13797 11326 1111 63 0 13734 0
vsize: 55188
[startup+1070.13 s]
Raw data (loadavg): 1.11 1.02 0.98 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 11499 0 0 0 106985 41 0 0 25 0 1 0 831911216 56811520 11423 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13870 11423 1111 63 0 13807 0
vsize: 55480
[startup+1080.13 s]
Raw data (loadavg): 1.09 1.02 0.98 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 11594 0 0 0 107985 42 0 0 25 0 1 0 831911216 57262080 11518 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13980 11518 1111 63 0 13917 0
vsize: 55920
[startup+1090.13 s]
Raw data (loadavg): 1.08 1.01 0.98 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 11696 0 0 0 108985 42 0 0 25 0 1 0 831911216 57708544 11620 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14089 11620 1111 63 0 14026 0
vsize: 56356
[startup+1100.13 s]
Raw data (loadavg): 1.06 1.01 0.98 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 11800 0 0 0 109985 42 0 0 25 0 1 0 831911216 58163200 11724 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14200 11724 1111 63 0 14137 0
vsize: 56800
[startup+1110.13 s]
Raw data (loadavg): 1.05 1.01 0.98 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 11895 0 0 0 110985 42 0 0 25 0 1 0 831911216 58458112 11819 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14272 11819 1111 63 0 14209 0
vsize: 57088
[startup+1120.13 s]
Raw data (loadavg): 1.04 1.01 0.98 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 11991 0 0 0 111985 42 0 0 25 0 1 0 831911216 58912768 11915 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14383 11915 1111 63 0 14320 0
vsize: 57532
[startup+1130.13 s]
Raw data (loadavg): 1.11 1.03 0.99 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 12092 0 0 0 112985 43 0 0 25 0 1 0 831911216 59359232 12016 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14492 12016 1111 63 0 14429 0
vsize: 57968
[startup+1140.13 s]
Raw data (loadavg): 1.09 1.03 0.99 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 12190 0 0 0 113985 43 0 0 25 0 1 0 831911216 59662336 12114 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14566 12114 1111 63 0 14503 0
vsize: 58264
[startup+1150.13 s]
Raw data (loadavg): 1.08 1.03 0.99 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 12286 0 0 0 114985 43 0 0 25 0 1 0 831911216 60112896 12210 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14676 12210 1111 63 0 14613 0
vsize: 58704
[startup+1160.13 s]
Raw data (loadavg): 1.07 1.02 0.99 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 12389 0 0 0 115984 44 0 0 25 0 1 0 831911216 60563456 12313 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14786 12313 1111 63 0 14723 0
vsize: 59144
[startup+1170.13 s]
Raw data (loadavg): 1.06 1.02 0.99 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 12490 0 0 0 116984 44 0 0 25 0 1 0 831911216 60858368 12414 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14858 12414 1111 63 0 14795 0
vsize: 59432
[startup+1180.13 s]
Raw data (loadavg): 1.05 1.02 0.99 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 12585 0 0 0 117984 44 0 0 25 0 1 0 831911216 61308928 12509 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14968 12509 1111 63 0 14905 0
vsize: 59872
[startup+1190.13 s]
Raw data (loadavg): 1.04 1.02 0.99 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 12683 0 0 0 118984 44 0 0 25 0 1 0 831911216 61759488 12607 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15078 12607 1111 63 0 15015 0
vsize: 60312
[startup+1200.13 s]
Raw data (loadavg): 1.03 1.02 0.99 2/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) R 6544 4613 4612 0 -1 0 12785 0 0 0 119984 44 0 0 25 0 1 0 831911216 62058496 12709 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15151 12709 1111 63 0 15088 0
vsize: 60604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.03 1.02 0.99 1/54 6545
Raw data (stat): 6545 (bsolo_lpr_cuts) Z 6544 4613 4612 0 -1 1036 12785 0 0 0 119984 47 0 0 25 0 1 0 831911216 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.32
CPU user time (s): 1199.85
CPU system time (s): 0.472928
CPU usage (%): 100.014
Max. virtual memory (Kb): 60604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####