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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb
MD5SUM	40e47c460002545cc2670ca84fd53082
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2606
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2606
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2606
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2606
Total number of constraints	6509
Number of constraints which are clauses	6509
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 24163

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 14:47:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1838 boxname=wulflinc31 idbench=205 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  40e47c460002545cc2670ca84fd53082  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-2-c.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-par32-2-c.opb
IDLAUNCH: 1838
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        139040 kB
Buffers:         41964 kB
Cached:         819292 kB
SwapCached:        644 kB
Active:         493348 kB
Inactive:       370236 kB
HighTotal:      131008 kB
HighFree:         2324 kB
LowTotal:       903652 kB
LowFree:        136716 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26528 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 15:07:07 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 1838 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2606 variables and 6509 constraints.
c After prepocess the problem consists of 2541 variables and 8358 constraints.
c preprocess terminated 57.672 s
c Initial Lower Bound: 803
c Lower Bound Elapsed time: 14.8599
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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
Raw data (loadavg): 0.92 0.98 0.92 2/54 16113
Raw data (stat): 16113 (runsolver) R 16112 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 692798610 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 4766 0 0 0 982 13 0 0 25 0 1 0 692798610 18038784 3561 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3561 1111 63 0 4341 0
vsize: 17616
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 4766 0 0 0 1982 13 0 0 25 0 1 0 692798610 18038784 3561 4294967295 134512640 134714508 3221221776 3221220448 134627231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3561 1111 63 0 4341 0
vsize: 17616
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 4773 0 0 0 2983 13 0 0 25 0 1 0 692798610 18173952 3568 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3568 1111 63 0 4374 0
vsize: 17748
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 4927 0 0 0 3983 13 0 0 25 0 1 0 692798610 18714624 3722 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4569 3722 1111 63 0 4506 0
vsize: 18276
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 5050 0 0 0 4982 14 0 0 25 0 1 0 692798610 19259392 3845 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4702 3845 1111 63 0 4639 0
vsize: 18808
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 6229 0 0 0 5979 17 0 0 25 0 1 0 692798610 24170496 5024 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5901 5024 1111 63 0 5838 0
vsize: 23604
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 7583 0 0 0 6975 21 0 0 25 0 1 0 692798610 30490624 6137 4294967295 134512640 134714508 3221221776 3221217844 1075964406 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6137 1111 63 0 7381 0
vsize: 29776
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 7617 0 0 0 7975 22 0 0 25 0 1 0 692798610 30490624 6171 4294967295 134512640 134714508 3221221776 3221217644 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6171 1111 63 0 7381 0
vsize: 29776
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 7833 0 0 0 8974 22 0 0 25 0 1 0 692798610 30490624 6387 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6387 1111 63 0 7381 0
vsize: 29776
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 7860 0 0 0 9974 22 0 0 25 0 1 0 692798610 29507584 6152 4294967295 134512640 134714508 3221221776 3221217688 1075964737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7204 6152 1111 63 0 7141 0
vsize: 28816
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 8072 0 0 0 10974 23 0 0 25 0 1 0 692798610 31006720 6358 4294967295 134512640 134714508 3221221776 3221217968 1074961396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7570 6358 1111 63 0 7507 0
vsize: 30280
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 8197 0 0 0 11974 23 0 0 25 0 1 0 692798610 29749248 6179 4294967295 134512640 134714508 3221221776 3221218136 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7263 6179 1111 63 0 7200 0
vsize: 29052
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 8197 0 0 0 12974 23 0 0 25 0 1 0 692798610 29749248 6179 4294967295 134512640 134714508 3221221776 3221217924 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7263 6179 1111 63 0 7200 0
vsize: 29052
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 8342 0 0 0 13974 24 0 0 25 0 1 0 692798610 31006720 6324 4294967295 134512640 134714508 3221221776 3221217592 1074789806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7570 6324 1111 63 0 7507 0
vsize: 30280
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 10335 0 0 0 14969 29 0 0 25 0 1 0 692798610 25952256 5623 4294967295 134512640 134714508 3221221776 3221219696 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6336 5623 1111 63 0 6273 0
vsize: 25344
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 16425 0 0 0 15955 43 0 0 25 0 1 0 692798610 31756288 6397 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7753 6397 1111 63 0 7690 0
vsize: 31012
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 22511 0 0 0 16942 56 0 0 25 0 1 0 692798610 32534528 6535 4294967295 134512640 134714508 3221221776 3221217916 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7943 6535 1111 63 0 7880 0
vsize: 31772
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29228 0 0 0 17928 70 0 0 25 0 1 0 692798610 26427392 5741 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6452 5741 1111 63 0 6389 0
vsize: 25808
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29228 0 0 0 18927 71 0 0 25 0 1 0 692798610 26427392 5741 4294967295 134512640 134714508 3221221776 3221220320 134539213 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5741 1111 63 0 6389 0
vsize: 25808
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29228 0 0 0 19927 71 0 0 25 0 1 0 692798610 26427392 5741 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5741 1111 63 0 6389 0
vsize: 25808
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29276 0 0 0 20927 71 0 0 25 0 1 0 692798610 26693632 5789 4294967295 134512640 134714508 3221221776 3221220416 134696066 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6517 5789 1111 63 0 6454 0
vsize: 26068
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29384 0 0 0 21927 72 0 0 25 0 1 0 692798610 27099136 5897 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6616 5897 1111 63 0 6553 0
vsize: 26464
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29491 0 0 0 22927 72 0 0 25 0 1 0 692798610 27504640 6004 4294967295 134512640 134714508 3221221776 3221220316 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6715 6004 1111 63 0 6652 0
vsize: 26860
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29594 0 0 0 23927 73 0 0 25 0 1 0 692798610 28045312 6107 4294967295 134512640 134714508 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6847 6107 1111 63 0 6784 0
vsize: 27388
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29707 0 0 0 24926 74 0 0 25 0 1 0 692798610 28450816 6220 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6946 6220 1111 63 0 6883 0
vsize: 27784
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29804 0 0 0 25925 74 0 0 25 0 1 0 692798610 28856320 6317 4294967295 134512640 134714508 3221221776 3221220424 134543628 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7045 6317 1111 63 0 6982 0
vsize: 28180
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29912 0 0 0 26925 75 0 0 25 0 1 0 692798610 29261824 6425 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7144 6425 1111 63 0 7081 0
vsize: 28576
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30012 0 0 0 27925 75 0 0 25 0 1 0 692798610 29667328 6525 4294967295 134512640 134714508 3221221776 3221220316 134539282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7243 6525 1111 63 0 7180 0
vsize: 28972
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30105 0 0 0 28924 76 0 0 25 0 1 0 692798610 30072832 6618 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7342 6618 1111 63 0 7279 0
vsize: 29368
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30199 0 0 0 29924 77 0 0 25 0 1 0 692798610 30478336 6712 4294967295 134512640 134714508 3221221776 3221220336 134542359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6712 1111 63 0 7378 0
vsize: 29764
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30297 0 0 0 30924 77 0 0 25 0 1 0 692798610 30883840 6810 4294967295 134512640 134714508 3221221776 3221220520 134524381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7540 6810 1111 63 0 7477 0
vsize: 30160
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30392 0 0 0 31924 77 0 0 25 0 1 0 692798610 31289344 6905 4294967295 134512640 134714508 3221221776 3221220284 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7639 6905 1111 63 0 7576 0
vsize: 30556
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30489 0 0 0 32923 78 0 0 25 0 1 0 692798610 31694848 7002 4294967295 134512640 134714508 3221221776 3221220380 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7738 7002 1111 63 0 7675 0
vsize: 30952
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30588 0 0 0 33923 78 0 0 25 0 1 0 692798610 32100352 7101 4294967295 134512640 134714508 3221221776 3221220416 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7837 7101 1111 63 0 7774 0
vsize: 31348
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30684 0 0 0 34923 78 0 0 25 0 1 0 692798610 32505856 7197 4294967295 134512640 134714508 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7936 7197 1111 63 0 7873 0
vsize: 31744
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30783 0 0 0 35923 79 0 0 25 0 1 0 692798610 32911360 7296 4294967295 134512640 134714508 3221221776 3221220448 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8035 7296 1111 63 0 7972 0
vsize: 32140
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30875 0 0 0 36923 79 0 0 25 0 1 0 692798610 33181696 7388 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8101 7388 1111 63 0 8038 0
vsize: 32404
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30981 0 0 0 37923 79 0 0 25 0 1 0 692798610 33722368 7494 4294967295 134512640 134714508 3221221776 3221220260 134697183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8233 7494 1111 63 0 8170 0
vsize: 32932
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31074 0 0 0 38923 80 0 0 25 0 1 0 692798610 33992704 7587 4294967295 134512640 134714508 3221221776 3221220100 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8299 7587 1111 63 0 8236 0
vsize: 33196
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31162 0 0 0 39922 80 0 0 25 0 1 0 692798610 34398208 7675 4294967295 134512640 134714508 3221221776 3221220316 134539251 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8398 7675 1111 63 0 8335 0
vsize: 33592
[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31259 0 0 0 40922 81 0 0 25 0 1 0 692798610 34803712 7772 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8497 7772 1111 63 0 8434 0
vsize: 33988
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31354 0 0 0 41922 81 0 0 25 0 1 0 692798610 35209216 7867 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8596 7867 1111 63 0 8533 0
vsize: 34384
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31445 0 0 0 42922 81 0 0 25 0 1 0 692798610 35614720 7958 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8695 7958 1111 63 0 8632 0
vsize: 34780
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31547 0 0 0 43921 82 0 0 25 0 1 0 692798610 36020224 8060 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8794 8060 1111 63 0 8731 0
vsize: 35176
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31650 0 0 0 44921 82 0 0 25 0 1 0 692798610 36425728 8163 4294967295 134512640 134714508 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8893 8163 1111 63 0 8830 0
vsize: 35572
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31743 0 0 0 45921 83 0 0 25 0 1 0 692798610 36831232 8256 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8992 8256 1111 63 0 8929 0
vsize: 35968
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31833 0 0 0 46921 83 0 0 25 0 1 0 692798610 37101568 8346 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9058 8346 1111 63 0 8995 0
vsize: 36232
[startup+480.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31931 0 0 0 47921 83 0 0 25 0 1 0 692798610 37507072 8444 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9157 8444 1111 63 0 9094 0
vsize: 36628
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32023 0 0 0 48921 84 0 0 25 0 1 0 692798610 37912576 8536 4294967295 134512640 134714508 3221221776 3221220448 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9256 8536 1111 63 0 9193 0
vsize: 37024
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32116 0 0 0 49920 85 0 0 25 0 1 0 692798610 38318080 8629 4294967295 134512640 134714508 3221221776 3221220428 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9355 8629 1111 63 0 9292 0
vsize: 37420
[startup+510.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32201 0 0 0 50919 85 0 0 25 0 1 0 692798610 38723584 8714 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9454 8714 1111 63 0 9391 0
vsize: 37816
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32288 0 0 0 51919 86 0 0 25 0 1 0 692798610 38993920 8801 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9520 8801 1111 63 0 9457 0
vsize: 38080
[startup+530.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32372 0 0 0 52919 86 0 0 25 0 1 0 692798610 39399424 8885 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9619 8885 1111 63 0 9556 0
vsize: 38476
[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32460 0 0 0 53918 87 0 0 25 0 1 0 692798610 39669760 8973 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9685 8973 1111 63 0 9622 0
vsize: 38740
[startup+550.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32553 0 0 0 54918 87 0 0 25 0 1 0 692798610 40075264 9066 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9784 9066 1111 63 0 9721 0
vsize: 39136
[startup+560.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32640 0 0 0 55918 87 0 0 25 0 1 0 692798610 40480768 9153 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9883 9153 1111 63 0 9820 0
vsize: 39532
[startup+570.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32728 0 0 0 56918 87 0 0 25 0 1 0 692798610 40886272 9241 4294967295 134512640 134714508 3221221776 3221220448 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9982 9241 1111 63 0 9919 0
vsize: 39928
[startup+580.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32814 0 0 0 57918 88 0 0 25 0 1 0 692798610 41156608 9327 4294967295 134512640 134714508 3221221776 3221220416 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10048 9327 1111 63 0 9985 0
vsize: 40192
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32904 0 0 0 58918 88 0 0 25 0 1 0 692798610 41562112 9417 4294967295 134512640 134714508 3221221776 3221220460 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10147 9417 1111 63 0 10084 0
vsize: 40588
[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32993 0 0 0 59918 88 0 0 25 0 1 0 692798610 41967616 9506 4294967295 134512640 134714508 3221221776 3221220316 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10246 9506 1111 63 0 10183 0
vsize: 40984
[startup+610.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33078 0 0 0 60917 89 0 0 25 0 1 0 692798610 42237952 9591 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10312 9591 1111 63 0 10249 0
vsize: 41248
[startup+620.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33160 0 0 0 61917 89 0 0 25 0 1 0 692798610 42643456 9673 4294967295 134512640 134714508 3221221776 3221220464 134542898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10411 9673 1111 63 0 10348 0
vsize: 41644
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33251 0 0 0 62916 90 0 0 25 0 1 0 692798610 42913792 9764 4294967295 134512640 134714508 3221221776 3221220336 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10477 9764 1111 63 0 10414 0
vsize: 41908
[startup+640.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33331 0 0 0 63916 90 0 0 25 0 1 0 692798610 43319296 9844 4294967295 134512640 134714508 3221221776 3221220496 134584757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10576 9844 1111 63 0 10513 0
vsize: 42304
[startup+650.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33412 0 0 0 64916 91 0 0 25 0 1 0 692798610 43589632 9925 4294967295 134512640 134714508 3221221776 3221220488 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10642 9925 1111 63 0 10579 0
vsize: 42568
[startup+660.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33488 0 0 0 65915 91 0 0 25 0 1 0 692798610 43999232 10001 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10742 10001 1111 63 0 10679 0
vsize: 42968
[startup+670.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33570 0 0 0 66915 92 0 0 25 0 1 0 692798610 44273664 10083 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10809 10083 1111 63 0 10746 0
vsize: 43236
[startup+680.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33651 0 0 0 67915 93 0 0 25 0 1 0 692798610 44675072 10164 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10907 10164 1111 63 0 10844 0
vsize: 43628
[startup+690.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33731 0 0 0 68914 93 0 0 25 0 1 0 692798610 44945408 10244 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10973 10244 1111 63 0 10910 0
vsize: 43892
[startup+700.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33811 0 0 0 69914 94 0 0 25 0 1 0 692798610 45215744 10324 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11039 10324 1111 63 0 10976 0
vsize: 44156
[startup+710.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33903 0 0 0 70914 94 0 0 25 0 1 0 692798610 45621248 10416 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11138 10416 1111 63 0 11075 0
vsize: 44552
[startup+720.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33987 0 0 0 71913 95 0 0 25 0 1 0 692798610 46026752 10500 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11237 10500 1111 63 0 11174 0
vsize: 44948
[startup+730.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34068 0 0 0 72914 95 0 0 25 0 1 0 692798610 46297088 10581 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11303 10581 1111 63 0 11240 0
vsize: 45212
[startup+740.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34149 0 0 0 73913 95 0 0 25 0 1 0 692798610 46702592 10662 4294967295 134512640 134714508 3221221776 3221220368 134543707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11402 10662 1111 63 0 11339 0
vsize: 45608
[startup+750.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34232 0 0 0 74912 96 0 0 25 0 1 0 692798610 46972928 10745 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11468 10745 1111 63 0 11405 0
vsize: 45872
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34308 0 0 0 75912 97 0 0 25 0 1 0 692798610 47243264 10821 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11534 10821 1111 63 0 11471 0
vsize: 46136
[startup+770.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34382 0 0 0 76912 97 0 0 25 0 1 0 692798610 47648768 10895 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11633 10895 1111 63 0 11570 0
vsize: 46532
[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34459 0 0 0 77912 97 0 0 25 0 1 0 692798610 47919104 10972 4294967295 134512640 134714508 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11699 10972 1111 63 0 11636 0
vsize: 46796
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34536 0 0 0 78912 98 0 0 25 0 1 0 692798610 48193536 11049 4294967295 134512640 134714508 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11766 11049 1111 63 0 11703 0
vsize: 47064
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34612 0 0 0 79912 98 0 0 25 0 1 0 692798610 48599040 11125 4294967295 134512640 134714508 3221221776 3221220344 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11865 11125 1111 63 0 11802 0
vsize: 47460
[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34683 0 0 0 80911 98 0 0 25 0 1 0 692798610 48869376 11196 4294967295 134512640 134714508 3221221776 3221220416 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11931 11196 1111 63 0 11868 0
vsize: 47724
[startup+820.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34762 0 0 0 81911 99 0 0 25 0 1 0 692798610 49139712 11275 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11997 11275 1111 63 0 11934 0
vsize: 47988
[startup+830.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34836 0 0 0 82911 99 0 0 25 0 1 0 692798610 49410048 11349 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12063 11349 1111 63 0 12000 0
vsize: 48252
[startup+840.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34912 0 0 0 83911 99 0 0 25 0 1 0 692798610 49815552 11425 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12162 11425 1111 63 0 12099 0
vsize: 48648
[startup+850.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34986 0 0 0 84911 100 0 0 25 0 1 0 692798610 50085888 11499 4294967295 134512640 134714508 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12228 11499 1111 63 0 12165 0
vsize: 48912
[startup+860.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35061 0 0 0 85911 100 0 0 25 0 1 0 692798610 50356224 11574 4294967295 134512640 134714508 3221221776 3221220600 134590015 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12294 11574 1111 63 0 12231 0
vsize: 49176
[startup+870.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35138 0 0 0 86910 100 0 0 25 0 1 0 692798610 50761728 11651 4294967295 134512640 134714508 3221221776 3221220560 134529288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12393 11651 1111 63 0 12330 0
vsize: 49572
[startup+880.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35213 0 0 0 87910 101 0 0 25 0 1 0 692798610 51032064 11726 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12459 11726 1111 63 0 12396 0
vsize: 49836
[startup+890.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35288 0 0 0 88910 102 0 0 25 0 1 0 692798610 51302400 11801 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12525 11801 1111 63 0 12462 0
vsize: 50100
[startup+900.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35359 0 0 0 89910 102 0 0 25 0 1 0 692798610 51572736 11872 4294967295 134512640 134714508 3221221776 3221220416 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12591 11872 1111 63 0 12528 0
vsize: 50364
[startup+910.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35428 0 0 0 90909 102 0 0 25 0 1 0 692798610 51843072 11941 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12657 11941 1111 63 0 12594 0
vsize: 50628
[startup+920.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35500 0 0 0 91910 102 0 0 25 0 1 0 692798610 52248576 12013 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12756 12013 1111 63 0 12693 0
vsize: 51024
[startup+930.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35572 0 0 0 92909 103 0 0 25 0 1 0 692798610 52518912 12085 4294967295 134512640 134714508 3221221776 3221220316 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12822 12085 1111 63 0 12759 0
vsize: 51288
[startup+940.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35634 0 0 0 93909 103 0 0 25 0 1 0 692798610 52789248 12147 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12888 12147 1111 63 0 12825 0
vsize: 51552
[startup+950.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35705 0 0 0 94909 103 0 0 25 0 1 0 692798610 53059584 12218 4294967295 134512640 134714508 3221221776 3221220548 134529375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12954 12218 1111 63 0 12891 0
vsize: 51816
[startup+960.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35772 0 0 0 95909 104 0 0 25 0 1 0 692798610 53329920 12285 4294967295 134512640 134714508 3221221776 3221220324 134696398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13020 12285 1111 63 0 12957 0
vsize: 52080
[startup+970.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35838 0 0 0 96909 104 0 0 25 0 1 0 692798610 53600256 12351 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13086 12351 1111 63 0 13023 0
vsize: 52344
[startup+980.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35904 0 0 0 97909 104 0 0 25 0 1 0 692798610 53870592 12417 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13152 12417 1111 63 0 13089 0
vsize: 52608
[startup+990.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35975 0 0 0 98908 105 0 0 25 0 1 0 692798610 54140928 12488 4294967295 134512640 134714508 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13218 12488 1111 63 0 13155 0
vsize: 52872
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36037 0 0 0 99908 105 0 0 25 0 1 0 692798610 54411264 12550 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13284 12550 1111 63 0 13221 0
vsize: 53136
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36099 0 0 0 100908 106 0 0 25 0 1 0 692798610 54681600 12612 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13350 12612 1111 63 0 13287 0
vsize: 53400
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36161 0 0 0 101908 106 0 0 25 0 1 0 692798610 54951936 12674 4294967295 134512640 134714508 3221221776 3221220444 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13416 12674 1111 63 0 13353 0
vsize: 53664
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36224 0 0 0 102908 106 0 0 25 0 1 0 692798610 55222272 12737 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13482 12737 1111 63 0 13419 0
vsize: 53928
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36287 0 0 0 103908 107 0 0 25 0 1 0 692798610 55357440 12800 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13515 12800 1111 63 0 13452 0
vsize: 54060
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36352 0 0 0 104907 107 0 0 25 0 1 0 692798610 55627776 12865 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13581 12865 1111 63 0 13518 0
vsize: 54324
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36420 0 0 0 105907 107 0 0 25 0 1 0 692798610 55898112 12933 4294967295 134512640 134714508 3221221776 3221220544 134529279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13647 12933 1111 63 0 13584 0
vsize: 54588
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36482 0 0 0 106907 108 0 0 25 0 1 0 692798610 56168448 12995 4294967295 134512640 134714508 3221221776 3221220560 134529234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13713 12995 1111 63 0 13650 0
vsize: 54852
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36542 0 0 0 107907 108 0 0 25 0 1 0 692798610 56438784 13055 4294967295 134512640 134714508 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13779 13055 1111 63 0 13716 0
vsize: 55116
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36607 0 0 0 108907 108 0 0 25 0 1 0 692798610 56709120 13120 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13845 13120 1111 63 0 13782 0
vsize: 55380
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36663 0 0 0 109906 109 0 0 25 0 1 0 692798610 56979456 13176 4294967295 134512640 134714508 3221221776 3221220416 134539437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13911 13176 1111 63 0 13848 0
vsize: 55644
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36722 0 0 0 110906 109 0 0 25 0 1 0 692798610 57249792 13235 4294967295 134512640 134714508 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13977 13235 1111 63 0 13914 0
vsize: 55908
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36783 0 0 0 111906 109 0 0 25 0 1 0 692798610 57384960 13296 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14010 13296 1111 63 0 13947 0
vsize: 56040
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36847 0 0 0 112906 109 0 0 25 0 1 0 692798610 57655296 13360 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14076 13360 1111 63 0 14013 0
vsize: 56304
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36919 0 0 0 113906 110 0 0 25 0 1 0 692798610 58060800 13432 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14175 13432 1111 63 0 14112 0
vsize: 56700
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36984 0 0 0 114906 110 0 0 25 0 1 0 692798610 58331136 13497 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14241 13497 1111 63 0 14178 0
vsize: 56964
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 37047 0 0 0 115905 111 0 0 25 0 1 0 692798610 58466304 13560 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14274 13560 1111 63 0 14211 0
vsize: 57096
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 37105 0 0 0 116905 111 0 0 25 0 1 0 692798610 58736640 13618 4294967295 134512640 134714508 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14340 13618 1111 63 0 14277 0
vsize: 57360
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 16113
Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 37105 0 0 0 116905 111 0 0 25 0 1 0 692798610 58736640 13618 4294967295 134512640 134714508 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14340 13618 1111 63 0 14277 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.05
CPU user time (s): 1173.91
CPU system time (s): 1.14183
CPU usage (%): 100.011
Max. virtual memory (Kb): 57360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####