PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv11.opb
MD5SUM	ec9eb8bc5f0ce888f87dfc271da55db8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-5109
Optimality of the best value was proved	NO
Number of terms in the objective function	773
Biggest coefficient in the objective function	1000
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	76861
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1999
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	76861
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	11247
Total number of constraints	19739
Number of constraints which are clauses	77
Number of constraints which are cardinality constraints (but not clauses)	15744
Number of constraints which are nor clauses,nor cardinality constraints	3918
Minimum length of a constraint	1
Maximum length of a constraint	68
Trace number 27293

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 20:35:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17786 boxname=wulflinc28 idbench=1369 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ec9eb8bc5f0ce888f87dfc271da55db8  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-mzzv11.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-mzzv11.opb
IDLAUNCH: 17786
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        905092 kB
Buffers:          2356 kB
Cached:         105836 kB
SwapCached:       1016 kB
Active:          18860 kB
Inactive:        91732 kB
HighTotal:      131008 kB
HighFree:        22820 kB
LowTotal:       903652 kB
LowFree:        882272 kB
SwapTotal:     2097640 kB
SwapFree:      2096156 kB
Dirty:            1068 kB
Writeback:           0 kB
Mapped:           5284 kB
Slab:            13208 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:55:27 (client local time) WITH STATUS 0 IN 1210.24 SECONDS
stats: 17786 7 1210.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 11247 variables and 13116 constraints.
c After prepocess the problem consists of 10816 variables and 12496 constraints.
c preprocess terminated 533.25 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.91 0.97 0.92 2/54 28711
Raw data (stat): 28711 (runsolver) R 28710 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833166808 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 58170 0 0 0 877 120 0 0 25 0 1 0 833166808 251482112 58094 4294967295 134512640 134714508 3221224576 3221222492 1077270170 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61397 58094 1111 63 0 61334 0
vsize: 245588
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 63633 0 0 0 1865 131 0 0 25 0 1 0 833166808 273850368 63557 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66858 63557 1111 63 0 66795 0
vsize: 267432
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 110643 0 0 0 2757 239 0 0 25 0 1 0 833166808 456581120 110561 4294967295 134512640 134714508 3221224576 3221223276 134607147 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+40.0001 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 110643 0 0 0 3757 239 0 0 25 0 1 0 833166808 456581120 110561 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+49.9996 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 110643 0 0 0 4757 239 0 0 25 0 1 0 833166808 456581120 110561 4294967295 134512640 134714508 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+59.9993 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 110643 0 0 0 5757 239 0 0 25 0 1 0 833166808 456581120 110561 4294967295 134512640 134714508 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+69.999 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 110643 0 0 0 6758 239 0 0 25 0 1 0 833166808 456581120 110561 4294967295 134512640 134714508 3221224576 3221222960 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+79.9987 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 110643 0 0 0 7758 239 0 0 25 0 1 0 833166808 456581120 110561 4294967295 134512640 134714508 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+89.9984 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 110643 0 0 0 8758 239 0 0 25 0 1 0 833166808 456581120 110561 4294967295 134512640 134714508 3221224576 3221223216 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111470 110561 1111 63 0 111407 0
vsize: 445880
[startup+99.998 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 112392 0 0 0 9754 243 0 0 25 0 1 0 833166808 456671232 110593 4294967295 134512640 134714508 3221224576 3221222868 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111492 110593 1111 63 0 111429 0
vsize: 445968
[startup+109.999 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 112392 0 0 0 10754 243 0 0 25 0 1 0 833166808 456671232 110593 4294967295 134512640 134714508 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111492 110593 1111 63 0 111429 0
vsize: 445968
[startup+119.998 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 119087 0 0 0 11737 260 0 0 25 0 1 0 833166808 456671232 110593 4294967295 134512640 134714508 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111492 110593 1111 63 0 111429 0
vsize: 445968
[startup+129.998 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 162882 0 0 0 12629 368 0 0 25 0 1 0 833166808 474722304 114953 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115899 114959 1111 63 0 115836 0
vsize: 463596
[startup+139.998 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 171580 0 0 0 13608 390 0 0 25 0 1 0 833166808 474046464 114835 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115734 114835 1111 63 0 115671 0
vsize: 462936
[startup+149.997 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 189073 0 0 0 14569 428 0 0 25 0 1 0 833166808 541908992 131403 4294967295 134512640 134714508 3221224576 3221223040 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132302 131403 1111 63 0 132239 0
vsize: 529208
[startup+159.997 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 15524 474 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223216 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+169.997 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 16524 474 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 17525 474 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 18525 474 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221222952 134539340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 19525 474 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223200 134594959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 20525 474 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223196 134536922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 21526 474 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 22526 474 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221222952 134539340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 23526 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 24526 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223056 134539427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 25527 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 26527 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 27527 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223216 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 28528 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223088 134542968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 29528 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 30528 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223084 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 31529 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223200 134529222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+330.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 32531 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223208 134665027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+340.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 33531 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223140 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+350.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 34531 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+360.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 35531 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+370.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 36531 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+380.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 37532 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+390.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 38532 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+400.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 39532 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+410.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 40532 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+420.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 41532 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+430.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 42533 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+440.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 43533 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+450.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 44533 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+460.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 45533 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+470.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 46533 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+480.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 47533 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+490.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 48534 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+500.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 49534 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+510.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 50534 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+520.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 51534 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+530.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208179 0 0 0 52534 475 0 0 25 0 1 0 833166808 620163072 150508 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150508 1111 63 0 151344 0
vsize: 605628
[startup+540.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208204 0 0 0 53534 475 0 0 25 0 1 0 833166808 620163072 150533 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+550.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208204 0 0 0 54533 476 0 0 25 0 1 0 833166808 620163072 150533 4294967295 134512640 134714508 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+560.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208204 0 0 0 55533 476 0 0 25 0 1 0 833166808 620163072 150533 4294967295 134512640 134714508 3221224576 3221222664 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+570.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208204 0 0 0 56534 476 0 0 25 0 1 0 833166808 620163072 150533 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+580.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208204 0 0 0 57534 476 0 0 25 0 1 0 833166808 620163072 150533 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+590.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208204 0 0 0 58534 476 0 0 25 0 1 0 833166808 620163072 150533 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+600.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208204 0 0 0 59534 476 0 0 25 0 1 0 833166808 620163072 150533 4294967295 134512640 134714508 3221224576 3221222592 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+610.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208204 0 0 0 60534 476 0 0 25 0 1 0 833166808 620163072 150533 4294967295 134512640 134714508 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+620.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208204 0 0 0 61534 476 0 0 25 0 1 0 833166808 620163072 150533 4294967295 134512640 134714508 3221224576 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+630.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208204 0 0 0 62535 476 0 0 25 0 1 0 833166808 620163072 150533 4294967295 134512640 134714508 3221224576 3221222800 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150533 1111 63 0 151344 0
vsize: 605628
[startup+640.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208308 0 0 0 63535 476 0 0 25 0 1 0 833166808 620163072 150637 4294967295 134512640 134714508 3221224576 3221220716 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150637 1111 63 0 151344 0
vsize: 605628
[startup+650.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 64510 476 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+660.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 65510 476 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220640 1074969449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+670.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 66510 476 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220768 1074961301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+680.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 67510 476 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220552 1074789792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+690.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 68510 476 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+700.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 69511 476 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+710.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 70511 476 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220460 1074860583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+720.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 71511 476 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+730.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 72511 476 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220768 1074961258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+740.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 73511 476 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+750.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 74511 476 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+760.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 75511 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 76511 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220712 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+780.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 77511 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220712 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+790.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 78511 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+800.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 79511 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221221560 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+810.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 80512 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220704 1074815204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+820.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 81512 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220768 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+830.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 82512 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+840.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 83512 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220460 1074787504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+850.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 84512 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220568 1074950201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+860.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 85512 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+870.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 86512 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220768 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+880.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 87513 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+890.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 88513 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 89513 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220460 1074787832 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+910.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 90513 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+920.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 91513 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116719 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 92513 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221221072 1076049728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+940.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 93513 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220768 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+950.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 94514 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220492 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 95514 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221221464 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 96514 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 97514 477 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 98514 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220704 1074815234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 99514 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220768 1074961212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 100515 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 101515 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221221568 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 102515 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220704 1074815312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 103515 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 104515 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 105515 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220364 1074787650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 106516 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 107516 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 108516 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220460 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 109516 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221221616 1074834317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 110516 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220364 1074787520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 111516 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220656 1075092601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 112517 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 113517 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221221264 1076084226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 114517 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220768 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 115517 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220716 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 116517 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220704 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 117517 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220364 1074787561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 118518 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220460 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 119518 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220568 1074950204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) R 28710 24821 24820 0 -1 0 208309 0 2 0 120518 478 0 0 25 0 1 0 833166808 620163072 150640 4294967295 134512640 134714508 3221224576 3221220704 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150640 1111 63 0 151344 0
vsize: 605628
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.33 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 28711
Raw data (stat): 28711 (bsolo_lpr_cuts) Z 28710 24821 24820 0 -1 1036 208309 0 2 0 120518 506 0 0 25 0 1 0 833166808 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1210.33
CPU time (s): 1210.24
CPU user time (s): 1205.18
CPU system time (s): 5.06023
CPU usage (%): 99.9933
Max. virtual memory (Kb): 605628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####