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-A2C1S1.opb
MD5SUM	f3b47743eaaf66ad8d0ab01c3e7b5088
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	25152
Biggest coefficient in the objective function	30395596800
Number of bits for the biggest coefficient in the objective function	35
Sum of the numbers in the objective function	14310357806800
Number of bits of the sum of numbers in the objective function	44
Biggest number in a constraint	30395596800
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	14310357806800
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.625904
Number of variables	69312
Total number of constraints	3504
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	192
Number of constraints which are nor clauses,nor cardinality constraints	3312
Minimum length of a constraint	1
Maximum length of a constraint	485
Trace number 25419

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 06:26:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19879 boxname=wulflinc31 idbench=1530 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  f3b47743eaaf66ad8d0ab01c3e7b5088  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-A2C1S1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-A2C1S1.opb
IDLAUNCH: 19879
/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:        830496 kB
Buffers:         23584 kB
Cached:         155092 kB
SwapCached:       5400 kB
Active:         110416 kB
Inactive:        74920 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        830244 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13176 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 06:45:48 (client local time) WITH STATUS 0 IN 1175.25 SECONDS
stats: 19879 7 1175.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 69312 variables and 4560 constraints.
c After prepocess the problem consists of 50352 variables and 5221 constraints.
c preprocess terminated 289.739 s
c Initial Lower Bound: 2147483344
c Lower Bound Elapsed time: 158.982
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.98 2/55 17597
Raw data (stat): 17597 (runsolver) R 17596 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 784841242 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.0006 s]
Raw data (loadavg): 0.93 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1571 0 0 0 989 5 0 0 25 0 1 0 784841242 19042304 1494 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4649 1494 1111 63 0 4586 0
vsize: 18596
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 2576 0 0 0 1988 7 0 0 25 0 1 0 784841242 23130112 2499 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5647 2499 1111 63 0 5584 0
vsize: 22588
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 3618 0 0 0 2986 9 0 0 25 0 1 0 784841242 27385856 3541 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6686 3541 1111 63 0 6623 0
vsize: 26744
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 4724 0 0 0 3984 11 0 0 25 0 1 0 784841242 31907840 4647 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7790 4647 1111 63 0 7727 0
vsize: 31160
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 5878 0 0 0 4981 14 0 0 25 0 1 0 784841242 36708352 5801 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8962 5801 1111 63 0 8899 0
vsize: 35848
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 7173 0 0 0 5978 17 0 0 25 0 1 0 784841242 42082304 7096 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10274 7096 1111 63 0 10211 0
vsize: 41096
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 8521 0 0 0 6976 20 0 0 25 0 1 0 784841242 47587328 8444 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11618 8444 1111 63 0 11555 0
vsize: 46472
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 9985 0 0 0 7974 22 0 0 25 0 1 0 784841242 53514240 9908 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13065 9908 1111 63 0 13002 0
vsize: 52260
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 11548 0 0 0 8971 26 0 0 25 0 1 0 784841242 59875328 11471 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14618 11471 1111 63 0 14555 0
vsize: 58472
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 13210 0 0 0 9968 29 0 0 25 0 1 0 784841242 66867200 13133 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16325 13133 1111 63 0 16262 0
vsize: 65300
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 14994 0 0 0 10965 32 0 0 25 0 1 0 784841242 74072064 14917 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18084 14917 1111 63 0 18021 0
vsize: 72336
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 16931 0 0 0 11961 36 0 0 25 0 1 0 784841242 81981440 16854 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20015 16854 1111 63 0 19952 0
vsize: 80060
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 37461 0 0 0 12916 81 0 0 25 0 1 0 784841242 166162432 37384 4294967295 134512640 134714508 3221221776 3221219804 1077364321 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40567 37384 1111 63 0 40504 0
vsize: 162268
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 40551 0 0 0 13906 92 0 0 25 0 1 0 784841242 178733056 40474 4294967295 134512640 134714508 3221221776 3221218396 1077244615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43636 40474 1111 63 0 43573 0
vsize: 174544
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 69904 0 0 0 14841 156 0 0 25 0 1 0 784841242 261492736 62414 4294967295 134512640 134714508 3221221776 3221220516 134630827 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63841 62414 1111 63 0 63778 0
vsize: 255364
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 69973 0 0 0 15841 157 0 0 25 0 1 0 784841242 261763072 62483 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63907 62483 1111 63 0 63844 0
vsize: 255628
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 88114 0 0 0 16801 197 0 0 25 0 1 0 784841242 265879552 63488 4294967295 134512640 134714508 3221221776 3221220280 1077377921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64912 63488 1111 63 0 64849 0
vsize: 259648
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 88315 0 0 0 17801 197 0 0 25 0 1 0 784841242 266698752 63689 4294967295 134512640 134714508 3221221776 3221220556 134630764 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65112 63689 1111 63 0 65049 0
vsize: 260448
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 88469 0 0 0 18800 198 0 0 25 0 1 0 784841242 267386880 63843 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65280 63843 1111 63 0 65217 0
vsize: 261120
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 102813 0 0 0 19768 230 0 0 25 0 1 0 784841242 267657216 63907 4294967295 134512640 134714508 3221221776 3221220516 134630783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65346 63907 1111 63 0 65283 0
vsize: 261384
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 225505 0 0 0 20497 502 0 0 25 0 1 0 784841242 268627968 63995 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65583 64002 1111 63 0 65520 0
vsize: 262332
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 325905 0 0 0 21275 724 0 0 25 0 1 0 784841242 268763136 64027 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65616 64034 1111 63 0 65553 0
vsize: 262464
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 434124 0 0 0 22036 962 0 0 25 0 1 0 784841242 268480512 64126 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65547 64126 1111 63 0 65484 0
vsize: 262188
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 434138 0 0 0 23035 963 0 0 25 0 1 0 784841242 268480512 64140 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65547 64140 1111 63 0 65484 0
vsize: 262188
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 434138 0 0 0 24035 964 0 0 25 0 1 0 784841242 268480512 64140 4294967295 134512640 134714508 3221221776 3221220432 134627261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65547 64140 1111 63 0 65484 0
vsize: 262188
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 434138 0 0 0 25035 964 0 0 25 0 1 0 784841242 268480512 64140 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65547 64140 1111 63 0 65484 0
vsize: 262188
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 434138 0 0 0 26035 965 0 0 25 0 1 0 784841242 268480512 64140 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65547 64140 1111 63 0 65484 0
vsize: 262188
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 434138 0 0 0 27034 965 0 0 25 0 1 0 784841242 268480512 64140 4294967295 134512640 134714508 3221221776 3221220440 134627136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65547 64140 1111 63 0 65484 0
vsize: 262188
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 440878 0 0 0 28021 978 0 0 25 0 1 0 784841242 282779648 67344 4294967295 134512640 134714508 3221221776 3221219816 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69038 67355 1111 63 0 68975 0
vsize: 276152
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 573250 0 0 0 28722 1278 0 0 25 0 1 0 784841242 282869760 67456 4294967295 134512640 134714508 3221221776 3221219720 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69060 67456 1111 63 0 68997 0
vsize: 276240
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 693241 0 0 0 29446 1554 0 0 25 0 1 0 784841242 283193344 67427 4294967295 134512640 134714508 3221221776 3221219976 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69139 67437 1111 63 0 69076 0
vsize: 276556
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 801144 0 0 0 30193 1807 0 0 25 0 1 0 784841242 283492352 67596 4294967295 134512640 134714508 3221221776 3221219752 1074138158 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69212 67601 1111 63 0 69149 0
vsize: 276848
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 891513 0 0 0 30974 2027 0 0 25 0 1 0 784841242 283746304 67699 4294967295 134512640 134714508 3221221776 3221219280 1074153654 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69274 67699 1111 63 0 69211 0
vsize: 277096
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 967320 0 0 0 31787 2213 0 0 25 0 1 0 784841242 284483584 67822 4294967295 134512640 134714508 3221221776 3221219192 1074138158 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69454 67826 1111 63 0 69391 0
vsize: 277816
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1032455 0 0 0 32619 2381 0 0 25 0 1 0 784841242 284930048 67949 4294967295 134512640 134714508 3221221776 3221219176 1074138158 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69563 67954 1111 63 0 69500 0
vsize: 278252
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1090380 0 0 0 33475 2526 0 0 25 0 1 0 784841242 284995584 68006 4294967295 134512640 134714508 3221221776 3221219280 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69579 68006 1111 63 0 69516 0
vsize: 278316
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1143099 0 0 0 34341 2660 0 0 25 0 1 0 784841242 285351936 68093 4294967295 134512640 134714508 3221221776 3221219360 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69666 68093 1111 63 0 69603 0
vsize: 278664
[startup+380.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157486 0 0 0 35307 2694 0 0 25 0 1 0 784841242 301035520 71314 4294967295 134512640 134714508 3221221776 3221217660 1074787594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71314 1111 63 0 73432 0
vsize: 293980
[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157506 0 0 0 36307 2694 0 0 25 0 1 0 784841242 301035520 71334 4294967295 134512640 134714508 3221221776 3221217856 1074794557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71334 1111 63 0 73432 0
vsize: 293980
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.98 3/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157512 0 0 0 37307 2695 0 0 25 0 1 0 784841242 301035520 71339 4294967295 134512640 134714508 3221221776 3221217916 1075116535 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71339 1111 63 0 73432 0
vsize: 293980
[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157519 0 0 0 38307 2695 0 0 25 0 1 0 784841242 301035520 71346 4294967295 134512640 134714508 3221221776 3221218288 1074887949 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71346 1111 63 0 73432 0
vsize: 293980
[startup+420.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157521 0 0 0 39306 2696 0 0 25 0 1 0 784841242 301035520 71348 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71348 1111 63 0 73432 0
vsize: 293980
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157521 0 0 0 40306 2696 0 0 25 0 1 0 784841242 301035520 71348 4294967295 134512640 134714508 3221221776 3221217916 1075116866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71348 1111 63 0 73432 0
vsize: 293980
[startup+440.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157521 0 0 0 41306 2696 0 0 25 0 1 0 784841242 301035520 71348 4294967295 134512640 134714508 3221221776 3221217968 1074960958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71348 1111 63 0 73432 0
vsize: 293980
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157521 0 0 0 42305 2697 0 0 25 0 1 0 784841242 301035520 71348 4294967295 134512640 134714508 3221221776 3221218760 1075007302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71348 1111 63 0 73432 0
vsize: 293980
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157521 0 0 0 43305 2697 0 0 25 0 1 0 784841242 301035520 71348 4294967295 134512640 134714508 3221221776 3221217916 1075116869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71348 1111 63 0 73432 0
vsize: 293980
[startup+470.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157521 0 0 0 44305 2698 0 0 25 0 1 0 784841242 301035520 71348 4294967295 134512640 134714508 3221221776 3221217916 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71348 1111 63 0 73432 0
vsize: 293980
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157521 0 0 0 45305 2698 0 0 25 0 1 0 784841242 301035520 71348 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71348 1111 63 0 73432 0
vsize: 293980
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157521 0 0 0 46305 2698 0 0 25 0 1 0 784841242 301035520 71348 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71348 1111 63 0 73432 0
vsize: 293980
[startup+500.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157521 0 0 0 47305 2699 0 0 25 0 1 0 784841242 301035520 71348 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73495 71348 1111 63 0 73432 0
vsize: 293980
[startup+510.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157536 0 0 0 48304 2700 0 0 25 0 1 0 784841242 301752320 71363 4294967295 134512640 134714508 3221221776 3221217752 1074860238 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73670 71363 1111 63 0 73607 0
vsize: 294680
[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157536 0 0 0 49303 2700 0 0 25 0 1 0 784841242 301752320 71363 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73670 71363 1111 63 0 73607 0
vsize: 294680
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157536 0 0 0 50303 2701 0 0 25 0 1 0 784841242 301752320 71363 4294967295 134512640 134714508 3221221776 3221217916 1075116791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73670 71363 1111 63 0 73607 0
vsize: 294680
[startup+540.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157536 0 0 0 51303 2701 0 0 25 0 1 0 784841242 301752320 71363 4294967295 134512640 134714508 3221221776 3221217692 1074860959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73670 71363 1111 63 0 73607 0
vsize: 294680
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157536 0 0 0 52303 2702 0 0 25 0 1 0 784841242 301752320 71363 4294967295 134512640 134714508 3221221776 3221217660 1074860620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73670 71363 1111 63 0 73607 0
vsize: 294680
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157536 0 0 0 53302 2702 0 0 25 0 1 0 784841242 301752320 71363 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73670 71363 1111 63 0 73607 0
vsize: 294680
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157536 0 0 0 54302 2702 0 0 25 0 1 0 784841242 301752320 71363 4294967295 134512640 134714508 3221221776 3221217660 1074860647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73670 71363 1111 63 0 73607 0
vsize: 294680
[startup+580.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1157536 0 0 0 55302 2702 0 0 25 0 1 0 784841242 301752320 71363 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73670 71363 1111 63 0 73607 0
vsize: 294680
[startup+590.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1162605 0 0 0 56291 2714 0 0 25 0 1 0 784841242 292433920 68967 4294967295 134512640 134714508 3221221776 3221219656 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71395 68967 1111 63 0 71332 0
vsize: 285580
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1221051 0 0 0 57155 2850 0 0 25 0 1 0 784841242 292868096 70057 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71501 70057 1111 63 0 71438 0
vsize: 286004
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271461 0 0 0 58035 2970 0 0 25 0 1 0 784841242 355008512 84540 4294967295 134512640 134714508 3221221776 3221218736 1075971273 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86672 84540 1111 63 0 86609 0
vsize: 346688
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271492 0 0 0 59035 2970 0 0 25 0 1 0 784841242 355008512 84571 4294967295 134512640 134714508 3221221776 3221218032 1075113481 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86672 84571 1111 63 0 86609 0
vsize: 346688
[startup+630.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271493 0 0 0 60035 2970 0 0 25 0 1 0 784841242 355008512 84572 4294967295 134512640 134714508 3221221776 3221217768 1074950213 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86672 84572 1111 63 0 86609 0
vsize: 346688
[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271495 0 0 0 61035 2970 0 0 25 0 1 0 784841242 355008512 84574 4294967295 134512640 134714508 3221221776 3221217916 1075116866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86672 84574 1111 63 0 86609 0
vsize: 346688
[startup+650.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271495 0 0 0 62035 2971 0 0 25 0 1 0 784841242 355008512 84574 4294967295 134512640 134714508 3221221776 3221217916 1075116851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86672 84574 1111 63 0 86609 0
vsize: 346688
[startup+660.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271507 0 0 0 63035 2971 0 0 25 0 1 0 784841242 355725312 84586 4294967295 134512640 134714508 3221221776 3221218640 1074620369 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86847 84586 1111 63 0 86784 0
vsize: 347388
[startup+670.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271507 0 0 0 64036 2971 0 0 25 0 1 0 784841242 355725312 84586 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86847 84586 1111 63 0 86784 0
vsize: 347388
[startup+680.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271507 0 0 0 65036 2971 0 0 25 0 1 0 784841242 355725312 84586 4294967295 134512640 134714508 3221221776 3221217904 1076111660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86847 84586 1111 63 0 86784 0
vsize: 347388
[startup+690.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271507 0 0 0 66036 2971 0 0 25 0 1 0 784841242 355725312 84586 4294967295 134512640 134714508 3221221776 3221218640 1074620363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86847 84586 1111 63 0 86784 0
vsize: 347388
[startup+700.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271507 0 0 0 67036 2971 0 0 25 0 1 0 784841242 355725312 84586 4294967295 134512640 134714508 3221221776 3221217660 1074860620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86847 84586 1111 63 0 86784 0
vsize: 347388
[startup+710.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271507 0 0 0 68036 2971 0 0 25 0 1 0 784841242 355725312 84586 4294967295 134512640 134714508 3221221776 3221217832 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86847 84586 1111 63 0 86784 0
vsize: 347388
[startup+720.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271507 0 0 0 69036 2971 0 0 25 0 1 0 784841242 355725312 84586 4294967295 134512640 134714508 3221221776 3221217692 1074860959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86847 84586 1111 63 0 86784 0
vsize: 347388
[startup+730.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1271507 0 0 0 70037 2971 0 0 25 0 1 0 784841242 355725312 84586 4294967295 134512640 134714508 3221221776 3221218720 1074810513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86847 84586 1111 63 0 86784 0
vsize: 347388
[startup+740.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1275904 0 0 0 71028 2980 0 0 25 0 1 0 784841242 349523968 83091 4294967295 134512640 134714508 3221221776 3221218624 1075960519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85333 83091 1111 63 0 85270 0
vsize: 341332
[startup+750.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1299924 0 0 0 71973 3034 0 0 25 0 1 0 784841242 346030080 82960 4294967295 134512640 134714508 3221221776 3221219848 1074950131 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84480 82960 1111 63 0 84417 0
vsize: 337920
[startup+760.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1344577 0 0 0 72873 3135 0 0 25 0 1 0 784841242 407584768 97790 4294967295 134512640 134714508 3221221776 3221220144 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99508 97796 1111 63 0 99445 0
vsize: 398032
[startup+770.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1351018 0 0 0 73858 3150 0 0 25 0 1 0 784841242 412225536 98548 4294967295 134512640 134714508 3221221776 3221217660 1074860598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100641 98548 1111 63 0 100578 0
vsize: 402564
[startup+780.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1351021 0 0 0 74858 3150 0 0 25 0 1 0 784841242 412225536 98551 4294967295 134512640 134714508 3221221776 3221217660 1074860632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100641 98551 1111 63 0 100578 0
vsize: 402564
[startup+790.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1351021 0 0 0 75858 3150 0 0 25 0 1 0 784841242 412225536 98551 4294967295 134512640 134714508 3221221776 3221217768 1074950198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100641 98551 1111 63 0 100578 0
vsize: 402564
[startup+800.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1351021 0 0 0 76859 3150 0 0 25 0 1 0 784841242 412225536 98551 4294967295 134512640 134714508 3221221776 3221217768 1074950204 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100641 98551 1111 63 0 100578 0
vsize: 402564
[startup+810.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1355317 0 0 0 77849 3160 0 0 25 0 1 0 784841242 406687744 97052 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99289 97052 1111 63 0 99226 0
vsize: 397156
[startup+820.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1410046 0 0 0 78717 3292 0 0 25 0 1 0 784841242 402735104 96732 4294967295 134512640 134714508 3221221776 3221220000 1074039267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98324 96732 1111 63 0 98261 0
vsize: 393296
[startup+830.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1469974 0 0 0 79578 3431 0 0 25 0 1 0 784841242 494702592 118619 4294967295 134512640 134714508 3221221776 3221218032 1075113634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120777 118619 1111 63 0 120714 0
vsize: 483108
[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1470046 0 0 0 80578 3431 0 0 25 0 1 0 784841242 494702592 118691 4294967295 134512640 134714508 3221221776 3221217576 1074788437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120777 118691 1111 63 0 120714 0
vsize: 483108
[startup+850.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1470049 0 0 0 81578 3431 0 0 25 0 1 0 784841242 494702592 118694 4294967295 134512640 134714508 3221221776 3221218032 1075113496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120777 118694 1111 63 0 120714 0
vsize: 483108
[startup+860.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1470049 0 0 0 82578 3431 0 0 25 0 1 0 784841242 494702592 118694 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120777 118694 1111 63 0 120714 0
vsize: 483108
[startup+870.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1470049 0 0 0 83579 3431 0 0 25 0 1 0 784841242 494702592 118694 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120777 118694 1111 63 0 120714 0
vsize: 483108
[startup+880.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1470049 0 0 0 84579 3431 0 0 25 0 1 0 784841242 494702592 118694 4294967295 134512640 134714508 3221221776 3221217720 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120777 118694 1111 63 0 120714 0
vsize: 483108
[startup+890.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1470049 0 0 0 85579 3431 0 0 25 0 1 0 784841242 494702592 118694 4294967295 134512640 134714508 3221221776 3221218624 1075960434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120777 118694 1111 63 0 120714 0
vsize: 483108
[startup+900.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1470052 0 0 0 86579 3431 0 0 25 0 1 0 784841242 494702592 118697 4294967295 134512640 134714508 3221221776 3221217916 1075116535 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120777 118697 1111 63 0 120714 0
vsize: 483108
[startup+910.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1470064 0 0 0 87579 3431 0 0 25 0 1 0 784841242 495419392 118709 4294967295 134512640 134714508 3221221776 3221217916 1075116856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120952 118709 1111 63 0 120889 0
vsize: 483808
[startup+920.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1470064 0 0 0 88579 3431 0 0 25 0 1 0 784841242 495419392 118709 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120952 118709 1111 63 0 120889 0
vsize: 483808
[startup+930.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474558 0 0 0 89570 3441 0 0 25 0 1 0 784841242 479174656 115564 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 116986 115564 1111 63 0 116923 0
vsize: 467944
[startup+940.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 90569 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 91570 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+960.029 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 92570 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+970.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 93570 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220576 134597741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+980.029 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 94570 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220568 134597609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+990.029 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 95570 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 96571 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 97571 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 98571 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 99571 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 100571 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 101571 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 102572 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1070.03 s]
Raw data (loadavg): 1.07 1.00 0.99 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 103571 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1080.03 s]
Raw data (loadavg): 1.06 1.00 0.99 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 104572 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1090.03 s]
Raw data (loadavg): 1.05 1.00 0.99 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 105572 3441 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1100.03 s]
Raw data (loadavg): 1.04 1.00 0.99 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 106571 3442 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1110.03 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 107571 3442 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1120.03 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 108571 3442 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1130.03 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 109571 3442 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1140.03 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 110572 3442 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1150.04 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 111572 3442 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1160.04 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 112572 3443 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1170.04 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 113572 3443 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 467944
[startup+1175.13 s]
Raw data (loadavg): 1.01 1.00 0.99 1/54 17597
Raw data (stat): 17597 (bsolo_lpr_cuts) R 17596 7876 7672 0 -1 0 1474559 0 0 0 113572 3443 0 0 25 0 1 0 784841242 479174656 115565 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116986 115565 1111 63 0 116923 0
vsize: 0

Child status: 0
Real time (s): 1175.13
CPU time (s): 1175.25
CPU user time (s): 1140.6
CPU system time (s): 34.6507
CPU usage (%): 100.01
Max. virtual memory (Kb): 483808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####