PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd8.opb
MD5SUM	63dde7c8c3b02bd89e3e065c5bd58b69
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	82500
Biggest coefficient in the objective function	221357547985043456
Number of bits for the biggest coefficient in the objective function	58
Sum of the numbers in the objective function	595796164546237562880
Number of bits of the sum of numbers in the objective function	70
Biggest number in a constraint	221357547985043456
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	595796164546237562880
Number of bits of the biggest sum of numbers	70
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.744886
Number of variables	82500
Total number of constraints	397
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	397
Minimum length of a constraint	300
Maximum length of a constraint	720
Trace number 41028

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        820244 kB
Buffers:         28192 kB
Cached:         161764 kB
SwapCached:       4048 kB
Active:          42532 kB
Inactive:       152588 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        819992 kB
SwapTotal:     2097136 kB
SwapFree:      2092080 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13560 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:42:36 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 29086 7 1200.43 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.94 0.90 1/54 6604
Raw data (stat): 6604 (runsolver) R 6603 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907359974 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.0002 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1144 0 0 0 993 4 0 0 25 0 1 0 907359974 15364096 1064 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3751 1064 1111 63 0 3688 0
vsize: 15004
[startup+20.0099 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1188 0 0 0 1995 4 0 0 25 0 1 0 907359974 15511552 1108 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1108 1111 63 0 3724 0
vsize: 15148
[startup+30.0098 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1233 0 0 0 2995 4 0 0 25 0 1 0 907359974 15663104 1153 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 1153 1111 63 0 3761 0
vsize: 15296
[startup+40.0102 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1321 0 0 0 3995 5 0 0 25 0 1 0 907359974 16089088 1241 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3928 1241 1111 63 0 3865 0
vsize: 15712
[startup+50.0101 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1381 0 0 0 4995 5 0 0 25 0 1 0 907359974 16236544 1301 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1301 1111 63 0 3901 0
vsize: 15856
[startup+60.0102 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1437 0 0 0 5995 5 0 0 25 0 1 0 907359974 16535552 1357 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 1357 1111 63 0 3974 0
vsize: 16148
[startup+70.0104 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1498 0 0 0 6995 5 0 0 25 0 1 0 907359974 16838656 1418 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1418 1111 63 0 4048 0
vsize: 16444
[startup+80.0105 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1578 0 0 0 7995 6 0 0 25 0 1 0 907359974 17137664 1498 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 1498 1111 63 0 4121 0
vsize: 16736
[startup+90.0103 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1633 0 0 0 8996 6 0 0 25 0 1 0 907359974 17272832 1553 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1553 1111 63 0 4154 0
vsize: 16868
[startup+100.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1708 0 0 0 9996 6 0 0 25 0 1 0 907359974 17702912 1628 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4322 1628 1111 63 0 4259 0
vsize: 17288
[startup+110.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1780 0 0 0 10996 6 0 0 25 0 1 0 907359974 17993728 1700 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 1700 1111 63 0 4330 0
vsize: 17572
[startup+120.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1846 0 0 0 11996 6 0 0 25 0 1 0 907359974 18145280 1766 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 1766 1111 63 0 4367 0
vsize: 17720
[startup+130.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 1926 0 0 0 12996 6 0 0 25 0 1 0 907359974 18591744 1846 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 1846 1111 63 0 4476 0
vsize: 18156
[startup+140.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2001 0 0 0 13997 6 0 0 25 0 1 0 907359974 18894848 1921 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 1921 1111 63 0 4550 0
vsize: 18452
[startup+150.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2093 0 0 0 14997 7 0 0 25 0 1 0 907359974 19193856 2013 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 2013 1111 63 0 4623 0
vsize: 18744
[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2151 0 0 0 15997 7 0 0 25 0 1 0 907359974 19488768 2071 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 2071 1111 63 0 4695 0
vsize: 19032
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2197 0 0 0 16997 7 0 0 25 0 1 0 907359974 19644416 2117 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 2117 1111 63 0 4733 0
vsize: 19184
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2242 0 0 0 17997 7 0 0 25 0 1 0 907359974 19795968 2162 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4833 2162 1111 63 0 4770 0
vsize: 19332
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2314 0 0 0 18997 7 0 0 25 0 1 0 907359974 20094976 2234 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4906 2234 1111 63 0 4843 0
vsize: 19624
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2403 0 0 0 19997 7 0 0 25 0 1 0 907359974 20545536 2323 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 2323 1111 63 0 4953 0
vsize: 20064
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2448 0 0 0 20998 7 0 0 25 0 1 0 907359974 20697088 2368 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 2368 1111 63 0 4990 0
vsize: 20212
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2512 0 0 0 21998 8 0 0 25 0 1 0 907359974 20996096 2432 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5126 2432 1111 63 0 5063 0
vsize: 20504
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2579 0 0 0 22998 8 0 0 25 0 1 0 907359974 21143552 2499 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 2499 1111 63 0 5099 0
vsize: 20648
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2653 0 0 0 23998 8 0 0 25 0 1 0 907359974 21450752 2573 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 2573 1111 63 0 5174 0
vsize: 20948
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2712 0 0 0 24998 8 0 0 25 0 1 0 907359974 21749760 2632 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5310 2632 1111 63 0 5247 0
vsize: 21240
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2784 0 0 0 25999 8 0 0 25 0 1 0 907359974 22048768 2704 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 2704 1111 63 0 5320 0
vsize: 21532
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2859 0 0 0 26999 9 0 0 25 0 1 0 907359974 22351872 2779 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5457 2779 1111 63 0 5394 0
vsize: 21828
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 2946 0 0 0 27999 9 0 0 25 0 1 0 907359974 22650880 2866 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 2866 1111 63 0 5467 0
vsize: 22120
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3013 0 0 0 28999 9 0 0 25 0 1 0 907359974 22949888 2933 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 2933 1111 63 0 5540 0
vsize: 22412
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3115 0 0 0 29999 9 0 0 25 0 1 0 907359974 23400448 3035 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 3035 1111 63 0 5650 0
vsize: 22852
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3174 0 0 0 30999 10 0 0 25 0 1 0 907359974 23695360 3094 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5785 3094 1111 63 0 5722 0
vsize: 23140
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3225 0 0 0 31999 10 0 0 25 0 1 0 907359974 23842816 3145 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 3145 1111 63 0 5758 0
vsize: 23284
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3277 0 0 0 32999 10 0 0 25 0 1 0 907359974 24145920 3197 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 3197 1111 63 0 5832 0
vsize: 23580
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3336 0 0 0 34000 10 0 0 25 0 1 0 907359974 24297472 3256 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5932 3256 1111 63 0 5869 0
vsize: 23728
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3424 0 0 0 35000 10 0 0 25 0 1 0 907359974 24743936 3344 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 3344 1111 63 0 5978 0
vsize: 24164
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3483 0 0 0 36000 10 0 0 25 0 1 0 907359974 24895488 3403 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6078 3403 1111 63 0 6015 0
vsize: 24312
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3543 0 0 0 37000 10 0 0 25 0 1 0 907359974 25202688 3463 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6153 3463 1111 63 0 6090 0
vsize: 24612
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3616 0 0 0 38001 10 0 0 25 0 1 0 907359974 25501696 3536 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 3536 1111 63 0 6163 0
vsize: 24904
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3690 0 0 0 39001 11 0 0 25 0 1 0 907359974 25800704 3610 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 3610 1111 63 0 6236 0
vsize: 25196
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3750 0 0 0 40001 11 0 0 25 0 1 0 907359974 25952256 3670 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 3670 1111 63 0 6273 0
vsize: 25344
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3823 0 0 0 41001 11 0 0 25 0 1 0 907359974 26251264 3743 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 3743 1111 63 0 6346 0
vsize: 25636
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3896 0 0 0 42001 11 0 0 25 0 1 0 907359974 26550272 3816 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 3816 1111 63 0 6419 0
vsize: 25928
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 3993 0 0 0 43001 11 0 0 25 0 1 0 907359974 26984448 3913 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6588 3913 1111 63 0 6525 0
vsize: 26352
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4060 0 0 0 44002 12 0 0 25 0 1 0 907359974 27275264 3980 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 3980 1111 63 0 6596 0
vsize: 26636
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4155 0 0 0 45002 12 0 0 25 0 1 0 907359974 27725824 4075 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6769 4075 1111 63 0 6706 0
vsize: 27076
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4221 0 0 0 46002 12 0 0 25 0 1 0 907359974 27881472 4141 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6807 4141 1111 63 0 6744 0
vsize: 27228
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4266 0 0 0 47002 12 0 0 25 0 1 0 907359974 28180480 4186 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6880 4186 1111 63 0 6817 0
vsize: 27520
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4317 0 0 0 48003 12 0 0 25 0 1 0 907359974 28327936 4237 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6916 4237 1111 63 0 6853 0
vsize: 27664
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4391 0 0 0 49003 12 0 0 25 0 1 0 907359974 28626944 4311 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6989 4311 1111 63 0 6926 0
vsize: 27956
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4472 0 0 0 50003 12 0 0 25 0 1 0 907359974 28934144 4392 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7064 4392 1111 63 0 7001 0
vsize: 28256
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4530 0 0 0 51003 12 0 0 25 0 1 0 907359974 29233152 4450 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7137 4450 1111 63 0 7074 0
vsize: 28548
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4590 0 0 0 52004 12 0 0 25 0 1 0 907359974 29380608 4510 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7173 4510 1111 63 0 7110 0
vsize: 28692
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4678 0 0 0 53004 13 0 0 25 0 1 0 907359974 29835264 4598 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7284 4598 1111 63 0 7221 0
vsize: 29136
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4737 0 0 0 54004 13 0 0 25 0 1 0 907359974 29982720 4657 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7320 4657 1111 63 0 7257 0
vsize: 29280
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4823 0 0 0 55004 13 0 0 25 0 1 0 907359974 30433280 4743 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 4743 1111 63 0 7367 0
vsize: 29720
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4898 0 0 0 56004 13 0 0 25 0 1 0 907359974 30740480 4818 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7505 4818 1111 63 0 7442 0
vsize: 30020
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 4971 0 0 0 57004 14 0 0 25 0 1 0 907359974 31039488 4891 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 4891 1111 63 0 7515 0
vsize: 30312
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5057 0 0 0 58004 14 0 0 25 0 1 0 907359974 31375360 4977 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7660 4977 1111 63 0 7597 0
vsize: 30640
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5145 0 0 0 59005 14 0 0 25 0 1 0 907359974 31825920 5065 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7770 5065 1111 63 0 7707 0
vsize: 31080
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5232 0 0 0 60005 14 0 0 25 0 1 0 907359974 32124928 5152 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7843 5152 1111 63 0 7780 0
vsize: 31372
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5285 0 0 0 61005 14 0 0 25 0 1 0 907359974 32276480 5205 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 5205 1111 63 0 7817 0
vsize: 31520
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5336 0 0 0 62005 14 0 0 25 0 1 0 907359974 32583680 5256 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7955 5256 1111 63 0 7892 0
vsize: 31820
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5394 0 0 0 63006 14 0 0 25 0 1 0 907359974 32731136 5314 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7991 5314 1111 63 0 7928 0
vsize: 31964
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5489 0 0 0 64006 14 0 0 25 0 1 0 907359974 33181696 5409 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8101 5409 1111 63 0 8038 0
vsize: 32404
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5557 0 0 0 65006 15 0 0 25 0 1 0 907359974 33484800 5477 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 5477 1111 63 0 8112 0
vsize: 32700
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5616 0 0 0 66006 15 0 0 25 0 1 0 907359974 33632256 5536 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8211 5536 1111 63 0 8148 0
vsize: 32844
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5689 0 0 0 67006 15 0 0 25 0 1 0 907359974 33931264 5609 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8284 5609 1111 63 0 8221 0
vsize: 33136
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5764 0 0 0 68007 15 0 0 25 0 1 0 907359974 34238464 5684 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 5684 1111 63 0 8296 0
vsize: 33436
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5837 0 0 0 69007 15 0 0 25 0 1 0 907359974 34537472 5757 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8432 5757 1111 63 0 8369 0
vsize: 33728
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5910 0 0 0 70007 15 0 0 25 0 1 0 907359974 34836480 5830 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 5830 1111 63 0 8442 0
vsize: 34020
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 5992 0 0 0 71007 16 0 0 25 0 1 0 907359974 35291136 5912 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8616 5912 1111 63 0 8553 0
vsize: 34464
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6081 0 0 0 72007 16 0 0 25 0 1 0 907359974 35590144 6001 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8689 6001 1111 63 0 8626 0
vsize: 34756
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6162 0 0 0 73008 16 0 0 25 0 1 0 907359974 35889152 6082 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8762 6082 1111 63 0 8699 0
vsize: 35048
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6251 0 0 0 74008 16 0 0 25 0 1 0 907359974 36343808 6171 4294967295 134512640 134716908 3221224560 3221222428 1077246271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8873 6171 1111 63 0 8810 0
vsize: 35492
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6309 0 0 0 75008 16 0 0 25 0 1 0 907359974 36491264 6229 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 6229 1111 63 0 8846 0
vsize: 35636
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6367 0 0 0 76008 16 0 0 25 0 1 0 907359974 36790272 6287 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8982 6287 1111 63 0 8919 0
vsize: 35928
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6420 0 0 0 77008 17 0 0 25 0 1 0 907359974 36945920 6340 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9020 6340 1111 63 0 8957 0
vsize: 36080
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6517 0 0 0 78008 17 0 0 25 0 1 0 907359974 37396480 6437 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9130 6437 1111 63 0 9067 0
vsize: 36520
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6589 0 0 0 79008 17 0 0 25 0 1 0 907359974 37695488 6509 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9203 6509 1111 63 0 9140 0
vsize: 36812
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6650 0 0 0 80009 17 0 0 25 0 1 0 907359974 37847040 6570 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9240 6570 1111 63 0 9177 0
vsize: 36960
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6723 0 0 0 81009 17 0 0 25 0 1 0 907359974 38146048 6643 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9313 6643 1111 63 0 9250 0
vsize: 37252
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6803 0 0 0 82009 18 0 0 25 0 1 0 907359974 38596608 6723 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9423 6723 1111 63 0 9360 0
vsize: 37692
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6884 0 0 0 83009 18 0 0 25 0 1 0 907359974 38903808 6804 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9498 6804 1111 63 0 9435 0
vsize: 37992
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 6959 0 0 0 84009 18 0 0 25 0 1 0 907359974 39202816 6879 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9571 6879 1111 63 0 9508 0
vsize: 38284
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7040 0 0 0 85010 18 0 0 25 0 1 0 907359974 39501824 6960 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9644 6960 1111 63 0 9581 0
vsize: 38576
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7122 0 0 0 86010 18 0 0 25 0 1 0 907359974 39804928 7042 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9718 7042 1111 63 0 9655 0
vsize: 38872
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7223 0 0 0 87010 18 0 0 25 0 1 0 907359974 40251392 7143 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 7143 1111 63 0 9764 0
vsize: 39308
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7299 0 0 0 88010 18 0 0 25 0 1 0 907359974 40558592 7219 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9902 7219 1111 63 0 9839 0
vsize: 39608
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7357 0 0 0 89011 18 0 0 25 0 1 0 907359974 40857600 7277 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9975 7277 1111 63 0 9912 0
vsize: 39900
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7415 0 0 0 90011 19 0 0 25 0 1 0 907359974 41009152 7335 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10012 7335 1111 63 0 9949 0
vsize: 40048
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7489 0 0 0 91011 19 0 0 25 0 1 0 907359974 41308160 7409 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10085 7409 1111 63 0 10022 0
vsize: 40340
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7580 0 0 0 92011 19 0 0 25 0 1 0 907359974 41758720 7500 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 7500 1111 63 0 10132 0
vsize: 40780
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7638 0 0 0 93012 19 0 0 25 0 1 0 907359974 41910272 7558 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 7558 1111 63 0 10169 0
vsize: 40928
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7710 0 0 0 94012 19 0 0 25 0 1 0 907359974 42209280 7630 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10305 7630 1111 63 0 10242 0
vsize: 41220
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7800 0 0 0 95012 19 0 0 25 0 1 0 907359974 42635264 7720 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10409 7720 1111 63 0 10346 0
vsize: 41636
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7859 0 0 0 96012 19 0 0 25 0 1 0 907359974 42782720 7779 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10445 7779 1111 63 0 10382 0
vsize: 41780
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 7947 0 0 0 97012 19 0 0 25 0 1 0 907359974 43233280 7867 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10555 7867 1111 63 0 10492 0
vsize: 42220
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8036 0 0 0 98013 19 0 0 25 0 1 0 907359974 43536384 7956 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 7956 1111 63 0 10566 0
vsize: 42516
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8125 0 0 0 99013 20 0 0 25 0 1 0 907359974 43982848 8045 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10738 8045 1111 63 0 10675 0
vsize: 42952
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8213 0 0 0 100013 20 0 0 25 0 1 0 907359974 44290048 8133 4294967295 134512640 134716908 3221224560 3221222788 1077414372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10813 8133 1111 63 0 10750 0
vsize: 43252
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8315 0 0 0 101013 20 0 0 25 0 1 0 907359974 44740608 8235 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10923 8235 1111 63 0 10860 0
vsize: 43692
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8373 0 0 0 102013 21 0 0 25 0 1 0 907359974 44888064 8293 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10959 8293 1111 63 0 10896 0
vsize: 43836
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8427 0 0 0 103013 21 0 0 25 0 1 0 907359974 45191168 8347 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11033 8347 1111 63 0 10970 0
vsize: 44132
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8486 0 0 0 104014 21 0 0 25 0 1 0 907359974 45342720 8406 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11070 8406 1111 63 0 11007 0
vsize: 44280
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8588 0 0 0 105014 21 0 0 25 0 1 0 907359974 45789184 8508 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11179 8508 1111 63 0 11116 0
vsize: 44716
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8655 0 0 0 106014 21 0 0 25 0 1 0 907359974 46096384 8575 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11254 8575 1111 63 0 11191 0
vsize: 45016
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8728 0 0 0 107014 22 0 0 25 0 1 0 907359974 46395392 8648 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11327 8648 1111 63 0 11264 0
vsize: 45308
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8815 0 0 0 108014 22 0 0 25 0 1 0 907359974 46694400 8735 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11400 8735 1111 63 0 11337 0
vsize: 45600
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8883 0 0 0 109014 22 0 0 25 0 1 0 907359974 46997504 8803 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11474 8803 1111 63 0 11411 0
vsize: 45896
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 8964 0 0 0 110014 22 0 0 25 0 1 0 907359974 47296512 8884 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11547 8884 1111 63 0 11484 0
vsize: 46188
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 9072 0 0 0 111015 22 0 0 25 0 1 0 907359974 47849472 8992 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11682 8992 1111 63 0 11619 0
vsize: 46728
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 9160 0 0 0 112015 22 0 0 25 0 1 0 907359974 48304128 9080 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11793 9080 1111 63 0 11730 0
vsize: 47172
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 9247 0 0 0 113015 23 0 0 25 0 1 0 907359974 48603136 9167 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11866 9167 1111 63 0 11803 0
vsize: 47464
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 9351 0 0 0 114015 23 0 0 25 0 1 0 907359974 49029120 9271 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11970 9271 1111 63 0 11907 0
vsize: 47880
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 9423 0 0 0 115015 23 0 0 25 0 1 0 907359974 49328128 9343 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12043 9343 1111 63 0 11980 0
vsize: 48172
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 9476 0 0 0 116015 23 0 0 25 0 1 0 907359974 49627136 9396 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12116 9396 1111 63 0 12053 0
vsize: 48464
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 9543 0 0 0 117016 24 0 0 25 0 1 0 907359974 49774592 9463 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12152 9463 1111 63 0 12089 0
vsize: 48608
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 9645 0 0 0 118016 24 0 0 25 0 1 0 907359974 50229248 9565 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12263 9565 1111 63 0 12200 0
vsize: 49052
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 9705 0 0 0 119016 24 0 0 25 0 1 0 907359974 50528256 9625 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12336 9625 1111 63 0 12273 0
vsize: 49344
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) R 6603 25568 25567 0 -1 0 9779 0 0 0 120016 24 0 0 25 0 1 0 907359974 50810880 9699 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12405 9699 1111 63 0 12342 0
vsize: 49620
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6604
Raw data (stat): 6604 (bsolo_lpr_cuts-) Z 6603 25568 25567 0 -1 1036 9779 0 0 0 120016 26 0 0 25 0 1 0 907359974 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.05
CPU time (s): 1200.43
CPU user time (s): 1200.17
CPU system time (s): 0.264959
CPU usage (%): 100.032
Max. virtual memory (Kb): 49620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####