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/MIPLIB/miplib2003/normalized-mps-v2-20-10-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	-7100
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.04
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 41142

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 06:39:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29202 boxname=wulflinc3 idbench=986 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  bc275113592d0f0914bb7f3c346a4153  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-mzzv42z.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-mzzv42z.opb
IDLAUNCH: 29202
/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:        715052 kB
Buffers:         32132 kB
Cached:         264132 kB
SwapCached:       3480 kB
Active:          45820 kB
Inactive:       255232 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        714800 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            12904 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 06:59:28 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 29202 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 358.584 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.85 0.97 0.92 2/54 4671
Raw data (stat): 4671 (runsolver) R 4670 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908173627 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 68248 0 0 0 860 137 0 0 25 0 1 0 908173627 292704256 68168 4294967295 134512640 134716908 3221224560 3221221036 1077191271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71461 68168 1111 63 0 71398 0
vsize: 285844
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 73907 0 0 0 1845 151 0 0 25 0 1 0 908173627 315899904 73827 4294967295 134512640 134716908 3221224560 3221221320 1077404102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77124 73827 1111 63 0 77061 0
vsize: 308496
[startup+30.0023 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 109583 0 0 0 2760 236 0 0 25 0 1 0 908173627 452308992 109489 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110427 109489 1111 63 0 110364 0
vsize: 441708
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 110801 0 0 0 3758 238 0 0 25 0 1 0 908173627 457146368 110702 4294967295 134512640 134716908 3221224560 3221223040 134539425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111608 110702 1111 63 0 111545 0
vsize: 446432
[startup+50.0033 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 117801 0 0 0 4742 255 0 0 25 0 1 0 908173627 482402304 116861 4294967295 134512640 134716908 3221224560 3221222924 134539246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117774 116861 1111 63 0 117711 0
vsize: 471096
[startup+60.0034 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 117801 0 0 0 5742 255 0 0 25 0 1 0 908173627 482353152 116856 4294967295 134512640 134716908 3221224560 3221223088 134528533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117762 116856 1111 63 0 117699 0
vsize: 471048
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 119073 0 0 0 6739 257 0 0 25 0 1 0 908173627 482353152 116856 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117762 116856 1111 63 0 117699 0
vsize: 471048
[startup+80.0038 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 119073 0 0 0 7739 257 0 0 25 0 1 0 908173627 482353152 116856 4294967295 134512640 134716908 3221224560 3221223136 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117762 116856 1111 63 0 117699 0
vsize: 471048
[startup+90.0041 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 141725 0 0 0 8684 313 0 0 25 0 1 0 908173627 497975296 120670 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 150370 0 0 0 9666 331 0 0 25 0 1 0 908173627 499789824 121106 4294967295 134512640 134716908 3221224560 3221223168 134542598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122019 121106 1111 63 0 121956 0
vsize: 488076
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 154856 0 0 0 10656 342 0 0 25 0 1 0 908173627 497975296 120670 4294967295 134512640 134716908 3221224560 3221222944 134542297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 154856 0 0 0 11656 342 0 0 25 0 1 0 908173627 497975296 120670 4294967295 134512640 134716908 3221224560 3221223040 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 154856 0 0 0 12657 342 0 0 25 0 1 0 908173627 497975296 120670 4294967295 134512640 134716908 3221224560 3221223232 134606864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 154856 0 0 0 13657 342 0 0 25 0 1 0 908173627 497975296 120670 4294967295 134512640 134716908 3221224560 3221222924 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+150.011 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 154856 0 0 0 14657 342 0 0 25 0 1 0 908173627 497975296 120670 4294967295 134512640 134716908 3221224560 3221223040 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 154856 0 0 0 15657 342 0 0 25 0 1 0 908173627 497975296 120670 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 154960 0 0 0 16657 342 0 0 25 0 1 0 908173627 497975296 120670 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 165991 0 0 0 17633 366 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223288 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 165991 0 0 0 18633 366 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223136 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 167730 0 0 0 19629 371 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 167730 0 0 0 20629 371 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221222924 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 21621 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223040 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 22621 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223148 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 23622 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 24622 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223212 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 25622 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 26622 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223232 134627200 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 27623 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 28623 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 29623 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 30623 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 31623 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 32623 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 33623 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170466 0 0 0 34624 379 0 0 25 0 1 0 908173627 538615808 130592 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170490 0 0 0 35624 379 0 0 25 0 1 0 908173627 538615808 130616 4294967295 134512640 134716908 3221224560 3221222472 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170490 0 0 0 36623 379 0 0 25 0 1 0 908173627 538615808 130616 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170490 0 0 0 37624 379 0 0 25 0 1 0 908173627 538615808 130616 4294967295 134512640 134716908 3221224560 3221222408 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170490 0 0 0 38624 379 0 0 25 0 1 0 908173627 538615808 130616 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170490 0 0 0 39624 379 0 0 25 0 1 0 908173627 538615808 130616 4294967295 134512640 134716908 3221224560 3221222848 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170490 0 0 0 40624 379 0 0 25 0 1 0 908173627 538615808 130616 4294967295 134512640 134716908 3221224560 3221222608 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170490 0 0 0 41624 379 0 0 25 0 1 0 908173627 538615808 130616 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170490 0 0 0 42624 379 0 0 25 0 1 0 908173627 538615808 130616 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170490 0 0 0 43624 379 0 0 25 0 1 0 908173627 538615808 130616 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170490 0 0 0 44625 379 0 0 25 0 1 0 908173627 538615808 130616 4294967295 134512640 134716908 3221224560 3221222528 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170490 0 0 0 45625 379 0 0 25 0 1 0 908173627 538615808 130616 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170594 0 0 0 46625 379 0 0 25 0 1 0 908173627 538615808 130720 4294967295 134512640 134716908 3221224560 3221220684 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130720 1111 63 0 131435 0
vsize: 525992
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 47625 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220736 1074961378 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 48625 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 49625 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220624 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 50626 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220520 1074860217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 51626 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220520 1074860223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 52626 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116572 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 53626 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221221056 1074886238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 54626 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 55627 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220332 1074787518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 56627 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220332 1074787568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 57627 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 58627 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221221384 1074950105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 59627 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 60628 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220624 1074794580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 61628 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221221504 1075859942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 62628 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221221584 1074834340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 63628 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220624 1074794457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 64628 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220428 1074860620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 65628 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 66629 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220332 1074787819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 67629 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220520 1074860223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 68629 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 69629 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221221296 1075115790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 70630 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221221616 1075969830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 71630 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 72630 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221221392 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 73630 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 74630 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 75631 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 76631 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 77631 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220332 1074787819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 78631 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 79631 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 80632 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221221408 1074620107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 81632 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 82632 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 83632 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 84632 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 85632 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220736 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 86633 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221221392 1075960263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 87633 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 88633 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220736 1074960970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 89633 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 90633 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220684 1075116549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 91634 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221221468 1074621045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170597 0 0 0 92634 379 0 0 25 0 1 0 908173627 538615808 130723 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170607 0 0 0 93634 379 0 0 25 0 1 0 908173627 538615808 130733 4294967295 134512640 134716908 3221224560 3221221004 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130733 1111 63 0 131435 0
vsize: 525992
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 94634 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221221384 1074950074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 95634 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220672 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 96634 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 97634 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220332 1074787538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 98635 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 99635 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 100635 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 101635 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 102635 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220428 1074787847 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 103636 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 104636 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220608 1074970202 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 105636 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220672 1074815271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 106636 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 107636 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 108637 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 109637 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 110637 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 111637 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 112637 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220520 1074789520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 113638 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221221456 1075110378 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 114638 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 115638 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 116638 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 117639 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221221296 1075115295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 118639 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220536 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130753 1111 63 0 131435 0
vsize: 525992
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) R 4670 20224 20223 0 -1 0 170627 0 0 0 119639 379 0 0 25 0 1 0 908173627 538615808 130753 4294967295 134512640 134716908 3221224560 3221220684 1075116523 0 0 7 0 0 0 0 17 0 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.97 0.92 1/54 4671
Raw data (stat): 4671 (bsolo_lpr_cuts-) Z 4670 20224 20223 0 -1 1036 170627 0 0 0 119639 403 0 0 25 0 1 0 908173627 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.29
CPU time (s): 1200.44
CPU user time (s): 1196.4
CPU system time (s): 4.03939
CPU usage (%): 100.013
Max. virtual memory (Kb): 525992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####