PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb
MD5SUM	b74fb9cd57e8b4068255c4ac98aa23ca
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3191
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	12800
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	416734
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.12
Number of variables	5932
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	453
Trace number 41490

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 13:45:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29555 boxname=wulflinc5 idbench=1339 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b74fb9cd57e8b4068255c4ac98aa23ca  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-aflow30a.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-aflow30a.opb
IDLAUNCH: 29555
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        504536 kB
Buffers:         27096 kB
Cached:         481696 kB
SwapCached:        664 kB
Active:          34020 kB
Inactive:       476788 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        504284 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13592 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 14:04:36 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 29555 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5932 variables and 958 constraints.
c After prepocess the problem consists of 5910 variables and 1000 constraints.
c preprocess terminated 91.551 s
c Initial Lower Bound: 986
c Lower Bound Elapsed time: 2.28475
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.92 0.95 0.90 2/54 2602
Raw data (stat): 2602 (runsolver) R 2601 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910736098 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.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 27738 0 0 0 930 67 0 0 25 0 1 0 910736098 61190144 14074 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14939 14074 1111 63 0 14876 0
vsize: 59756
[startup+19.9997 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 33585 0 0 0 1918 80 0 0 25 0 1 0 910736098 84201472 19666 4294967295 134512640 134716908 3221224560 3221223064 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20557 19666 1111 63 0 20494 0
vsize: 82228
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 35479 0 0 0 2915 83 0 0 25 0 1 0 910736098 91750400 21526 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22400 21526 1111 63 0 22337 0
vsize: 89600
[startup+40.0007 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 35479 0 0 0 3915 83 0 0 25 0 1 0 910736098 91750400 21526 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22400 21526 1111 63 0 22337 0
vsize: 89600
[startup+50.001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 35480 0 0 0 4916 83 0 0 25 0 1 0 910736098 91750400 21527 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22400 21527 1111 63 0 22337 0
vsize: 89600
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 35485 0 0 0 5916 83 0 0 25 0 1 0 910736098 91750400 21532 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22400 21532 1111 63 0 22337 0
vsize: 89600
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 35492 0 0 0 6916 83 0 0 25 0 1 0 910736098 91885568 21539 4294967295 134512640 134716908 3221224560 3221223208 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22433 21539 1111 63 0 22370 0
vsize: 89732
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 35500 0 0 0 7916 83 0 0 25 0 1 0 910736098 91885568 21547 4294967295 134512640 134716908 3221224560 3221223232 134627247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22433 21547 1111 63 0 22370 0
vsize: 89732
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 35506 0 0 0 8916 83 0 0 25 0 1 0 910736098 91885568 21553 4294967295 134512640 134716908 3221224560 3221223212 134558618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22433 21553 1111 63 0 22370 0
vsize: 89732
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41017 0 0 0 9902 96 0 0 25 0 1 0 910736098 97968128 23196 4294967295 134512640 134716908 3221224560 3221221568 1074139046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23918 23196 1111 63 0 23855 0
vsize: 95672
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41956 0 0 0 10899 99 0 0 25 0 1 0 910736098 96542720 22853 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23570 22853 1111 63 0 23507 0
vsize: 94280
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 11898 99 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 12898 100 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223280 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 13898 100 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221222956 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 14898 101 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 15897 101 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 16897 102 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223200 134698727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 17897 102 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223312 134592441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 18896 103 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223312 134592373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 19895 103 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223060 134699444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 20895 104 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 21895 104 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223100 134539254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 22894 105 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223152 134539422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 23894 106 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223068 134699854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 24893 106 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 25893 107 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 26893 107 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223188 134698582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 27893 107 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 28893 108 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223148 134552072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 29893 108 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223264 134528481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 30893 108 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223248 134524469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 31892 109 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 32892 110 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223128 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 33892 110 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 34891 111 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 35890 112 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223232 134543707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 36889 113 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223224 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41961 0 0 0 37888 114 0 0 25 0 1 0 910736098 96542720 22858 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22858 1111 63 0 23507 0
vsize: 94280
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 41995 0 0 0 38887 115 0 0 25 0 1 0 910736098 96583680 22868 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23580 22868 1111 63 0 23517 0
vsize: 94320
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42013 0 0 0 39886 116 0 0 25 0 1 0 910736098 96718848 22886 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23613 22886 1111 63 0 23550 0
vsize: 94452
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42230 0 0 0 40885 118 0 0 25 0 1 0 910736098 97087488 22978 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23703 22978 1111 63 0 23640 0
vsize: 94812
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42230 0 0 0 41883 120 0 0 25 0 1 0 910736098 96960512 22960 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23672 22960 1111 63 0 23609 0
vsize: 94688
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42230 0 0 0 42882 121 0 0 25 0 1 0 910736098 96960512 22960 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23672 22960 1111 63 0 23609 0
vsize: 94688
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42230 0 0 0 43882 121 0 0 25 0 1 0 910736098 96960512 22960 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23672 22960 1111 63 0 23609 0
vsize: 94688
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42230 0 0 0 44882 122 0 0 25 0 1 0 910736098 96960512 22960 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23672 22960 1111 63 0 23609 0
vsize: 94688
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42239 0 0 0 45881 122 0 0 25 0 1 0 910736098 97095680 22969 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23705 22969 1111 63 0 23642 0
vsize: 94820
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42408 0 0 0 46881 123 0 0 25 0 1 0 910736098 97550336 23104 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23816 23104 1111 63 0 23753 0
vsize: 95264
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42408 0 0 0 47880 124 0 0 25 0 1 0 910736098 97550336 23104 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23816 23104 1111 63 0 23753 0
vsize: 95264
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42408 0 0 0 48880 124 0 0 25 0 1 0 910736098 97550336 23104 4294967295 134512640 134716908 3221224560 3221223068 134535906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23816 23104 1111 63 0 23753 0
vsize: 95264
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42408 0 0 0 49879 125 0 0 25 0 1 0 910736098 97550336 23104 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23816 23104 1111 63 0 23753 0
vsize: 95264
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42533 0 0 0 50878 127 0 0 25 0 1 0 910736098 98091008 23229 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23948 23229 1111 63 0 23885 0
vsize: 95792
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42597 0 0 0 51878 127 0 0 25 0 1 0 910736098 98054144 23224 4294967295 134512640 134716908 3221224560 3221222956 1077379846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23939 23224 1111 63 0 23876 0
vsize: 95756
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42743 0 0 0 52878 127 0 0 25 0 1 0 910736098 98492416 23334 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24046 23334 1111 63 0 23983 0
vsize: 96184
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 53877 129 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223124 134551988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 54877 129 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223264 134528538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+560.012 s]
Raw data (loadavg): 1.22 1.02 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 55876 130 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223248 134524583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+570.012 s]
Raw data (loadavg): 1.19 1.02 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 56876 130 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+580.011 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 57875 131 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223144 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+590.012 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 58875 131 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+600.012 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 59875 132 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+610.013 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 60875 132 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+620.013 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 61875 132 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+630.013 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 62875 133 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+640.013 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 63875 133 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+650.013 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 64875 133 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+660.013 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 65874 133 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223296 134591951 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+670.012 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 66874 134 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223128 1077377888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+680.013 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 67874 134 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+690.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 68874 134 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+700.012 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 69874 134 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+710.013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 70874 135 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223068 134699854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+720.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 71874 135 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+730.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 72874 135 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223132 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+740.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 73874 135 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+750.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 74873 136 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+760.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 75874 136 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+770.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 76874 136 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221222964 134699695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+780.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 77874 136 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+790.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 78874 136 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+800.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 79874 136 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+810.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 80874 136 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+820.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 81874 137 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+830.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 82874 137 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+840.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 83874 137 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+850.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 84873 137 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+860.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 85873 138 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+870.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 86873 138 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221222552 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+880.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 87873 138 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+890.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 88873 139 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+900.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2602
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 89873 139 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+910.012 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 2655
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 90872 139 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+920.012 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 2655
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 91871 140 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+930.011 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 2655
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 92871 140 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+940.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 2655
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 93871 141 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+950.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 2655
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 94870 141 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+960.012 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 2655
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 95870 142 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+970.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 2655
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 96869 143 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223100 134539276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+980.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 97869 144 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223212 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+990.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 98868 145 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1000.01 s]
Raw data (loadavg): 1.01 1.01 0.93 3/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 99868 145 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1010.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 100867 146 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1020.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 101867 146 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1030.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 102866 147 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1040.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 103866 147 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 104866 148 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 105866 148 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223164 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 106864 150 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 107864 150 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 108864 151 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 109864 151 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221222956 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 110863 152 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 111862 152 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 112862 153 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 113862 154 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 114861 154 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223308 134558545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 115861 155 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 116860 155 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223188 1077374123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 96292
[startup+1174.92 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 2657
Raw data (stat): 2602 (bsolo_lpr_cuts-) R 2601 7266 7265 0 -1 0 42761 0 0 0 116860 155 0 0 25 0 1 0 910736098 98603008 23352 4294967295 134512640 134716908 3221224560 3221223188 1077374123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24073 23352 1111 63 0 24010 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.07
CPU user time (s): 1173.46
CPU system time (s): 1.60876
CPU usage (%): 100.013
Max. virtual memory (Kb): 96292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####