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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb
MD5SUM	2da614f2ff412c1e07d8c65342ffb362
Bench Category	optimization, medium integers (OPTMEDINT)
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	25888
Biggest coefficient in the objective function	340787200
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	293013913600
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	340787200
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	293013913600
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.648901
Number of variables	71968
Total number of constraints	4192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	288
Number of constraints which are nor clauses,nor cardinality constraints	3904
Minimum length of a constraint	1
Maximum length of a constraint	960
Trace number 25413

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 03:05:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19905 boxname=wulflinc31 idbench=1532 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  2da614f2ff412c1e07d8c65342ffb362  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-B2C1S1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-B2C1S1.opb
IDLAUNCH: 19905
/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:        850904 kB
Buffers:         12048 kB
Cached:         146296 kB
SwapCached:       5400 kB
Active:          96260 kB
Inactive:        68724 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        850652 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13208 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 03:25:09 (client local time) WITH STATUS 0 IN 1175.25 SECONDS
stats: 19905 7 1175.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 71968 variables and 5184 constraints.
c After prepocess the problem consists of 52268 variables and 5860 constraints.
c preprocess terminated 291.891 s
c Initial Lower Bound: 54227186
c Lower Bound Elapsed time: 78.8546
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.82 0.93 0.90 2/55 16836
Raw data (stat): 16836 (runsolver) R 16835 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 783637230 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.84 0.93 0.90 2/55 16836
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1536 0 0 0 990 5 0 0 25 0 1 0 783637230 18898944 1459 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4614 1459 1111 63 0 4551 0
vsize: 18456
[startup+20.0008 s]
Raw data (loadavg): 0.87 0.93 0.90 2/55 16836
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 2528 0 0 0 1989 6 0 0 25 0 1 0 783637230 22986752 2451 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5612 2451 1111 63 0 5549 0
vsize: 22448
[startup+30.0011 s]
Raw data (loadavg): 0.89 0.93 0.90 2/55 16836
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 3596 0 0 0 2987 8 0 0 25 0 1 0 783637230 27385856 3519 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6686 3519 1111 63 0 6623 0
vsize: 26744
[startup+40.0017 s]
Raw data (loadavg): 0.90 0.93 0.90 2/55 16836
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 4744 0 0 0 3985 11 0 0 25 0 1 0 783637230 32047104 4667 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7824 4667 1111 63 0 7761 0
vsize: 31296
[startup+50.0026 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 5974 0 0 0 4982 14 0 0 25 0 1 0 783637230 37130240 5897 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9065 5897 1111 63 0 9002 0
vsize: 36260
[startup+60.0029 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 7296 0 0 0 5980 17 0 0 25 0 1 0 783637230 42504192 7219 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10377 7219 1111 63 0 10314 0
vsize: 41508
[startup+70.0035 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 8680 0 0 0 6977 19 0 0 25 0 1 0 783637230 48152576 8603 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11756 8604 1111 63 0 11693 0
vsize: 47024
[startup+80.0034 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 10200 0 0 0 7975 22 0 0 25 0 1 0 783637230 54366208 10123 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13273 10123 1111 63 0 13210 0
vsize: 53092
[startup+90.0047 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 11864 0 0 0 8972 25 0 0 25 0 1 0 783637230 61366272 11787 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14982 11787 1111 63 0 14919 0
vsize: 59928
[startup+100.005 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 13563 0 0 0 9969 28 0 0 25 0 1 0 783637230 68280320 13486 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16670 13486 1111 63 0 16607 0
vsize: 66680
[startup+110.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 15416 0 0 0 10965 32 0 0 25 0 1 0 783637230 75907072 15339 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18532 15339 1111 63 0 18469 0
vsize: 74128
[startup+120.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 17421 0 0 0 11962 35 0 0 25 0 1 0 783637230 84099072 17344 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20532 17344 1111 63 0 20469 0
vsize: 82128
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 38739 0 0 0 12916 81 0 0 25 0 1 0 783637230 171450368 38662 4294967295 134512640 134714508 3221221776 3221220068 134566778 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41858 38662 1111 63 0 41795 0
vsize: 167432
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 41769 0 0 0 13907 90 0 0 25 0 1 0 783637230 183750656 41692 4294967295 134512640 134714508 3221221776 3221218396 1077253582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44861 41692 1111 63 0 44798 0
vsize: 179444
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 64330 0 0 0 14858 139 0 0 25 0 1 0 783637230 267071488 63776 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65203 63776 1111 63 0 65140 0
vsize: 260812
[startup+160.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 64407 0 0 0 15857 139 0 0 25 0 1 0 783637230 267341824 63853 4294967295 134512640 134714508 3221221776 3221220504 134672921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65269 63853 1111 63 0 65206 0
vsize: 261076
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 72928 0 0 0 16838 158 0 0 25 0 1 0 783637230 273477632 65345 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66767 65345 1111 63 0 66704 0
vsize: 267068
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 73017 0 0 0 17838 158 0 0 25 0 1 0 783637230 273883136 65434 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66866 65434 1111 63 0 66803 0
vsize: 267464
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 73056 0 0 0 18838 158 0 0 25 0 1 0 783637230 274018304 65473 4294967295 134512640 134714508 3221221776 3221220512 134630815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66899 65473 1111 63 0 66836 0
vsize: 267596
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 124627 0 0 0 19722 275 0 0 25 0 1 0 783637230 274153472 65498 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66932 65498 1111 63 0 66869 0
vsize: 267728
[startup+210.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 272425 0 0 0 20390 607 0 0 25 0 1 0 783637230 276905984 66113 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67604 66119 1111 63 0 67541 0
vsize: 270416
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 411815 0 0 0 21057 940 0 0 25 0 1 0 783637230 274423808 65562 4294967295 134512640 134714508 3221221776 3221220504 134672933 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66998 65562 1111 63 0 66935 0
vsize: 267992
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 493229 0 0 0 21877 1120 0 0 25 0 1 0 783637230 274558976 65610 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67031 65610 1111 63 0 66968 0
vsize: 268124
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 509560 0 0 0 22842 1155 0 0 25 0 1 0 783637230 275120128 65753 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 509560 0 0 0 23842 1155 0 0 25 0 1 0 783637230 275120128 65753 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+260.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 509560 0 0 0 24843 1155 0 0 25 0 1 0 783637230 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+270.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 509560 0 0 0 25843 1155 0 0 25 0 1 0 783637230 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+280.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 509560 0 0 0 26843 1155 0 0 25 0 1 0 783637230 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+290.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 509560 0 0 0 27843 1155 0 0 25 0 1 0 783637230 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+300.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 623660 0 0 0 28584 1414 0 0 25 0 1 0 783637230 289964032 69169 4294967295 134512640 134714508 3221221776 3221219984 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70792 69169 1111 63 0 70729 0
vsize: 283168
[startup+310.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 750490 0 0 0 29297 1701 0 0 25 0 1 0 783637230 290009088 69196 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70803 69196 1111 63 0 70740 0
vsize: 283212
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 869717 0 0 0 30035 1964 0 0 25 0 1 0 783637230 290430976 69287 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70906 69287 1111 63 0 70843 0
vsize: 283624
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 976994 0 0 0 30789 2209 0 0 25 0 1 0 783637230 290627584 69355 4294967295 134512640 134714508 3221221776 3221219840 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70954 69355 1111 63 0 70891 0
vsize: 283816
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1070840 0 0 0 31569 2430 0 0 25 0 1 0 783637230 291139584 69465 4294967295 134512640 134714508 3221221776 3221219432 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71079 69465 1111 63 0 71016 0
vsize: 284316
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1150395 0 0 0 32375 2624 0 0 25 0 1 0 783637230 291627008 69501 4294967295 134512640 134714508 3221221776 3221219288 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71198 69501 1111 63 0 71135 0
vsize: 284792
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1219044 0 0 0 33211 2788 0 0 25 0 1 0 783637230 292085760 69707 4294967295 134512640 134714508 3221221776 3221219240 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71310 69707 1111 63 0 71247 0
vsize: 285240
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1279917 0 0 0 34060 2939 0 0 25 0 1 0 783637230 292139008 69733 4294967295 134512640 134714508 3221221776 3221219280 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71323 69733 1111 63 0 71260 0
vsize: 285292
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1335517 0 0 0 34917 3082 0 0 25 0 1 0 783637230 292458496 69811 4294967295 134512640 134714508 3221221776 3221219264 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71401 69811 1111 63 0 71338 0
vsize: 285604
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357510 0 0 0 35867 3133 0 0 25 0 1 0 783637230 308957184 73201 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75429 73201 1111 63 0 75366 0
vsize: 301716
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357534 0 0 0 36867 3133 0 0 25 0 1 0 783637230 308957184 73225 4294967295 134512640 134714508 3221221776 3221218600 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75429 73225 1111 63 0 75366 0
vsize: 301716
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357541 0 0 0 37867 3133 0 0 25 0 1 0 783637230 308957184 73232 4294967295 134512640 134714508 3221221776 3221217660 1074860595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75429 73232 1111 63 0 75366 0
vsize: 301716
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357547 0 0 0 38867 3133 0 0 25 0 1 0 783637230 308957184 73238 4294967295 134512640 134714508 3221221776 3221217564 1074787568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75429 73238 1111 63 0 75366 0
vsize: 301716
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357563 0 0 0 39866 3134 0 0 25 0 1 0 783637230 309698560 73254 4294967295 134512640 134714508 3221221776 3221217660 1074860630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75610 73254 1111 63 0 75547 0
vsize: 302440
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357563 0 0 0 40866 3134 0 0 25 0 1 0 783637230 309698560 73254 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75610 73254 1111 63 0 75547 0
vsize: 302440
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357563 0 0 0 41866 3135 0 0 25 0 1 0 783637230 309698560 73254 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75610 73254 1111 63 0 75547 0
vsize: 302440
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357563 0 0 0 42866 3135 0 0 25 0 1 0 783637230 309698560 73254 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75610 73254 1111 63 0 75547 0
vsize: 302440
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357566 0 0 0 43865 3135 0 0 25 0 1 0 783637230 309698560 73257 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75610 73257 1111 63 0 75547 0
vsize: 302440
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357567 0 0 0 44865 3136 0 0 25 0 1 0 783637230 309698560 73258 4294967295 134512640 134714508 3221221776 3221217856 1074794557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75610 73258 1111 63 0 75547 0
vsize: 302440
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357567 0 0 0 45865 3136 0 0 25 0 1 0 783637230 309698560 73258 4294967295 134512640 134714508 3221221776 3221217660 1074860566 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75610 73258 1111 63 0 75547 0
vsize: 302440
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357567 0 0 0 46865 3136 0 0 25 0 1 0 783637230 309698560 73258 4294967295 134512640 134714508 3221221776 3221217720 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75610 73258 1111 63 0 75547 0
vsize: 302440
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357567 0 0 0 47865 3137 0 0 25 0 1 0 783637230 309698560 73258 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75610 73258 1111 63 0 75547 0
vsize: 302440
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357567 0 0 0 48864 3137 0 0 25 0 1 0 783637230 309698560 73258 4294967295 134512640 134714508 3221221776 3221217692 1074860959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75610 73258 1111 63 0 75547 0
vsize: 302440
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1357567 0 0 0 49864 3137 0 0 25 0 1 0 783637230 309698560 73258 4294967295 134512640 134714508 3221221776 3221217692 1074860959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75610 73258 1111 63 0 75547 0
vsize: 302440
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1409510 0 0 0 50741 3260 0 0 25 0 1 0 783637230 301568000 72006 4294967295 134512640 134714508 3221221776 3221220160 134607002 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73625 72006 1111 63 0 73562 0
vsize: 294500
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1470534 0 0 0 51594 3407 0 0 25 0 1 0 783637230 314077184 75126 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76679 75126 1111 63 0 76616 0
vsize: 306716
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1531632 0 0 0 52444 3558 0 0 25 0 1 0 783637230 328036352 78536 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80087 78536 1111 63 0 80024 0
vsize: 320348
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1590706 0 0 0 53307 3695 0 0 25 0 1 0 783637230 337633280 80880 4294967295 134512640 134714508 3221221776 3221219848 1074950077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82430 80880 1111 63 0 82367 0
vsize: 329720
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1602067 0 0 0 54283 3719 0 0 25 0 1 0 783637230 354697216 84439 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86596 84439 1111 63 0 86533 0
vsize: 346384
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1602071 0 0 0 55282 3720 0 0 25 0 1 0 783637230 354697216 84443 4294967295 134512640 134714508 3221221776 3221217660 1074860811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86596 84443 1111 63 0 86533 0
vsize: 346384
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1602073 0 0 0 56282 3721 0 0 25 0 1 0 783637230 354697216 84445 4294967295 134512640 134714508 3221221776 3221217856 1075091081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86596 84445 1111 63 0 86533 0
vsize: 346384
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1602086 0 0 0 57282 3721 0 0 25 0 1 0 783637230 355438592 84458 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86777 84458 1111 63 0 86714 0
vsize: 347108
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1602092 0 0 0 58281 3721 0 0 25 0 1 0 783637230 355438592 84464 4294967295 134512640 134714508 3221221776 3221217900 1075563855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86777 84464 1111 63 0 86714 0
vsize: 347108
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1604732 0 0 0 59275 3728 0 0 25 0 1 0 783637230 347115520 81943 4294967295 134512640 134714508 3221221776 3221218976 1074140055 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84745 81943 1111 63 0 84682 0
vsize: 338980
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1660725 0 0 0 60147 3856 0 0 25 0 1 0 783637230 351322112 84090 4294967295 134512640 134714508 3221221776 3221220032 134554872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85772 84090 1111 63 0 85709 0
vsize: 343088
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1713372 0 0 0 61026 3977 0 0 25 0 1 0 783637230 360538112 86352 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88022 86352 1111 63 0 87959 0
vsize: 352088
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1773242 0 0 0 61881 4122 0 0 25 0 1 0 783637230 378859520 90964 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92495 90964 1111 63 0 92432 0
vsize: 369980
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1824629 0 0 0 62761 4242 0 0 25 0 1 0 783637230 382255104 91688 4294967295 134512640 134714508 3221221776 3221220144 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93324 91688 1111 63 0 93261 0
vsize: 373296
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1884592 0 0 0 63619 4384 0 0 25 0 1 0 783637230 399998976 96124 4294967295 134512640 134714508 3221221776 3221219896 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97656 96124 1111 63 0 97593 0
vsize: 390624
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912510 0 0 0 64555 4448 0 0 25 0 1 0 783637230 391479296 94139 4294967295 134512640 134714508 3221221776 3221220576 134597648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94139 1111 63 0 95513 0
vsize: 382304
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912510 0 0 0 65555 4448 0 0 25 0 1 0 783637230 391479296 94139 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94139 1111 63 0 95513 0
vsize: 382304
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912510 0 0 0 66554 4449 0 0 25 0 1 0 783637230 391479296 94139 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94139 1111 63 0 95513 0
vsize: 382304
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912510 0 0 0 67554 4450 0 0 25 0 1 0 783637230 391479296 94139 4294967295 134512640 134714508 3221221776 3221220556 134600348 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94139 1111 63 0 95513 0
vsize: 382304
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912510 0 0 0 68554 4450 0 0 25 0 1 0 783637230 391479296 94139 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94139 1111 63 0 95513 0
vsize: 382304
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912510 0 0 0 69553 4451 0 0 25 0 1 0 783637230 391479296 94139 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94139 1111 63 0 95513 0
vsize: 382304
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912512 0 0 0 70553 4451 0 0 25 0 1 0 783637230 391479296 94141 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94141 1111 63 0 95513 0
vsize: 382304
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912512 0 0 0 71553 4451 0 0 25 0 1 0 783637230 391479296 94141 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94141 1111 63 0 95513 0
vsize: 382304
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912512 0 0 0 72553 4452 0 0 25 0 1 0 783637230 391479296 94141 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94141 1111 63 0 95513 0
vsize: 382304
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 73552 4452 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 74552 4452 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 75551 4453 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 76551 4454 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 77551 4454 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 78550 4455 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 79550 4456 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 80550 4456 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 81550 4456 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 82549 4457 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 83549 4457 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 84549 4458 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 85548 4458 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 86548 4459 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 87548 4459 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 88547 4459 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220568 134597668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 89547 4460 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 90547 4461 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 91546 4462 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 92546 4462 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 93546 4462 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 94545 4462 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 95545 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 96545 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 97545 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 98545 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 99545 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 100546 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 101546 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 102546 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 103546 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 104546 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 105546 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 106546 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 107546 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 108547 4463 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 109547 4464 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 110547 4464 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 111547 4464 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 112547 4464 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 382304
[startup+1175.18 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 16838
Raw data (stat): 16836 (bsolo_lpr_cuts) R 16835 7876 7672 0 -1 0 1912513 0 0 0 112547 4464 0 0 25 0 1 0 783637230 391479296 94142 4294967295 134512640 134714508 3221221776 3221220552 134613501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95576 94142 1111 63 0 95513 0
vsize: 0

Child status: 0
Real time (s): 1175.18
CPU time (s): 1175.25
CPU user time (s): 1130.43
CPU system time (s): 44.8152
CPU usage (%): 100.006
Max. virtual memory (Kb): 390624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####