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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb
MD5SUM	bc275113592d0f0914bb7f3c346a4153
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7060
Optimality of the best value was proved	NO
Number of terms in the objective function	714
Biggest coefficient in the objective function	559
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	66891
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1117
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	66891
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	12596
Total number of constraints	22177
Number of constraints which are clauses	4
Number of constraints which are cardinality constraints (but not clauses)	17162
Number of constraints which are nor clauses,nor cardinality constraints	5011
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 41522

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 14:37:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29586 boxname=wulflinc3 idbench=1370 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  bc275113592d0f0914bb7f3c346a4153  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-mzzv42z.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-mzzv42z.opb
IDLAUNCH: 29586
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        906160 kB
Buffers:          8680 kB
Cached:          99844 kB
SwapCached:        684 kB
Active:          32308 kB
Inactive:        78148 kB
HighTotal:      131008 kB
HighFree:        32452 kB
LowTotal:       903652 kB
LowFree:        873708 kB
SwapTotal:     2097136 kB
SwapFree:      2095376 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            12432 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 14:57:44 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 29586 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12596 variables and 15189 constraints.
c After prepocess the problem consists of 11943 variables and 14113 constraints.
c preprocess terminated 361.729 s
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.98 0.91 2/54 11635
Raw data (stat): 11635 (runsolver) R 11634 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911043529 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 68262 0 0 0 855 142 0 0 25 0 1 0 911043529 292847616 68182 4294967295 134512640 134716908 3221224560 3221223132 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71496 68182 1111 63 0 71433 0
vsize: 285984
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 74020 0 0 0 1841 155 0 0 25 0 1 0 911043529 316305408 73940 4294967295 134512640 134716908 3221224560 3221222604 1077190960 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77223 73940 1111 63 0 77160 0
vsize: 308892
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 109583 0 0 0 2760 236 0 0 25 0 1 0 911043529 452308992 109489 4294967295 134512640 134716908 3221224560 3221222972 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110427 109489 1111 63 0 110364 0
vsize: 441708
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 110801 0 0 0 3757 239 0 0 25 0 1 0 911043529 457146368 110702 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111608 110702 1111 63 0 111545 0
vsize: 446432
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 117801 0 0 0 4741 255 0 0 25 0 1 0 911043529 482402304 116861 4294967295 134512640 134716908 3221224560 3221222944 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117774 116861 1111 63 0 117711 0
vsize: 471096
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 117801 0 0 0 5741 256 0 0 25 0 1 0 911043529 482353152 116856 4294967295 134512640 134716908 3221224560 3221223024 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117762 116856 1111 63 0 117699 0
vsize: 471048
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 119073 0 0 0 6738 259 0 0 25 0 1 0 911043529 482353152 116856 4294967295 134512640 134716908 3221224560 3221223064 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117762 116856 1111 63 0 117699 0
vsize: 471048
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 119073 0 0 0 7738 259 0 0 25 0 1 0 911043529 482353152 116856 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117762 116856 1111 63 0 117699 0
vsize: 471048
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 141725 0 0 0 8684 313 0 0 25 0 1 0 911043529 499036160 120897 4294967295 134512640 134716908 3221224560 3221223040 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121835 120897 1111 63 0 121772 0
vsize: 487340
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 149934 0 0 0 9663 334 0 0 25 0 1 0 911043529 497975296 120670 4294967295 134512640 134716908 3221224560 3221223028 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 154856 0 0 0 10652 346 0 0 25 0 1 0 911043529 497975296 120670 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 154856 0 0 0 11652 346 0 0 25 0 1 0 911043529 497975296 120670 4294967295 134512640 134716908 3221224560 3221223064 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 154856 0 0 0 12652 346 0 0 25 0 1 0 911043529 497975296 120670 4294967295 134512640 134716908 3221224560 3221223024 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 154856 0 0 0 13652 346 0 0 25 0 1 0 911043529 497975296 120670 4294967295 134512640 134716908 3221224560 3221222968 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 154856 0 0 0 14652 346 0 0 25 0 1 0 911043529 497975296 120670 4294967295 134512640 134716908 3221224560 3221222976 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 154856 0 0 0 15652 346 0 0 25 0 1 0 911043529 497975296 120670 4294967295 134512640 134716908 3221224560 3221222924 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 154960 0 0 0 16652 346 0 0 25 0 1 0 911043529 497975296 120670 4294967295 134512640 134716908 3221224560 3221223004 134542656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 165991 0 0 0 17627 372 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223288 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 165991 0 0 0 18627 372 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 167730 0 0 0 19623 376 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221222924 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 167730 0 0 0 20623 376 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 21616 383 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223040 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 22616 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 23616 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 24617 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 25617 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 26617 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 27617 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 28617 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 29617 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 30618 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 31618 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 32618 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 33618 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223232 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 34618 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223212 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170466 0 0 0 35619 384 0 0 25 0 1 0 911043529 538615808 130592 4294967295 134512640 134716908 3221224560 3221223208 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170490 0 0 0 36618 384 0 0 25 0 1 0 911043529 538615808 130616 4294967295 134512640 134716908 3221224560 3221222528 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170490 0 0 0 37618 384 0 0 25 0 1 0 911043529 538615808 130616 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170490 0 0 0 38618 384 0 0 25 0 1 0 911043529 538615808 130616 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170490 0 0 0 39618 384 0 0 25 0 1 0 911043529 538615808 130616 4294967295 134512640 134716908 3221224560 3221222760 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170490 0 0 0 40619 384 0 0 25 0 1 0 911043529 538615808 130616 4294967295 134512640 134716908 3221224560 3221222560 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170490 0 0 0 41619 384 0 0 25 0 1 0 911043529 538615808 130616 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170490 0 0 0 42620 384 0 0 25 0 1 0 911043529 538615808 130616 4294967295 134512640 134716908 3221224560 3221222656 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170490 0 0 0 43620 384 0 0 25 0 1 0 911043529 538615808 130616 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+450.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170490 0 0 0 44620 384 0 0 25 0 1 0 911043529 538615808 130616 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+460.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170490 0 0 0 45620 384 0 0 25 0 1 0 911043529 538615808 130616 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+470.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170490 0 0 0 46621 384 0 0 25 0 1 0 911043529 538615808 130616 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 47621 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221221384 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 48621 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+500.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 49621 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221221408 1074620113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 50621 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221221120 1075967692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+520.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 51621 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221221536 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+530.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 52622 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220536 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+540.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 53622 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+550.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 54622 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220624 1074794557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+560.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 55622 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+570.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 56622 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221221008 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+580.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 57622 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+590.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 58623 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221221384 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+600.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 59623 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+610.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 60623 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+620.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 61623 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221221408 1074620369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+630.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 62623 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+640.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 63624 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1076111356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+650.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 64624 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220520 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+660.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 65624 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221221456 1075338884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+670.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 66624 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+680.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 67624 384 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220488 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+690.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 68624 385 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220736 1074960935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+700.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 69624 385 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220536 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+710.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 70624 385 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221221408 1074620040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+720.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 71624 385 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220332 1074787750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+730.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 72624 385 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221221496 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+740.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 73625 385 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220488 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+750.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 74625 385 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220736 1074960800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+760.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 75625 385 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+770.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 76625 385 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+780.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 77625 385 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+790.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 78625 385 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220736 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+800.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 79625 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220608 1074969469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+810.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 80626 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220332 1074787858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+820.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 81626 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220428 1074860595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+830.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 82626 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+840.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 83626 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220332 1074787561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+850.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 84626 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+860.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 85626 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220428 1074860560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+870.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 86627 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+880.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 87627 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220668 1075563855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+890.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 88627 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220736 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+900.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 89627 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221221296 1075115375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+910.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 90627 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+920.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 91627 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220736 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+930.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 92628 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221221528 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+940.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170597 0 0 0 93628 386 0 0 25 0 1 0 911043529 538615808 130723 4294967295 134512640 134716908 3221224560 3221220996 1075863647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+950.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170607 0 0 0 94628 386 0 0 25 0 1 0 911043529 538615808 130733 4294967295 134512640 134716908 3221224560 3221221584 1074835552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130733 1111 63 0 131435 0
vsize: 525992
[startup+960.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 95628 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220520 1074789534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+970.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 96628 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+980.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 97629 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220668 1075563864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+990.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 98629 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 99629 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 100629 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220612 1075964386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 101629 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220736 1074961149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 102629 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 103630 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220428 1074787561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 104630 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 105630 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 106630 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 107630 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220672 1074815284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 108631 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 109631 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 110631 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221221008 1075088573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 111631 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220736 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 112631 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 113632 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220736 1074961347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 114632 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220428 1074787713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 115632 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 116632 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220428 1074787806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.91 3/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 117632 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 118632 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) R 11634 20224 20223 0 -1 0 170627 0 0 0 119633 386 0 0 25 0 1 0 911043529 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116719 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 11635
Raw data (stat): 11635 (bsolo_lpr_cuts-) Z 11634 20224 20223 0 -1 1036 170627 0 0 0 119633 410 0 0 25 0 1 0 911043529 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.29
CPU time (s): 1200.44
CPU user time (s): 1196.33
CPU system time (s): 4.10938
CPU usage (%): 100.012
Max. virtual memory (Kb): 525992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####